Trace number 2663750

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 NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.93 1801.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM08f3a00099e19d384504c40fc611777e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663750-1276653740.opb>
0.03/0.06	c original problem has 6818 variables (6818 bin, 0 int, 0 impl, 0 cont) and 6818 constraints
0.03/0.06	c problem read
0.03/0.06	c presolving settings loaded
0.03/0.07	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.15	c presolving:
0.39/0.49	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184742 impls, 0 clqs
0.89/0.91	c    (0.7s) probing: 101/6818 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.91	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.92	c presolving (2 rounds):
0.89/0.92	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.92	c  184742 implications, 0 cliques
0.89/0.92	c presolved problem has 6818 variables (6818 bin, 0 int, 0 impl, 0 cont) and 6818 constraints
0.89/0.92	c    6318 constraints of type <and>
0.89/0.92	c     500 constraints of type <logicor>
0.89/0.92	c transformed objective value is always integral (scale: 1)
0.89/0.92	c Presolving Time: 0.63
0.89/0.92	c - non default parameters ----------------------------------------------------------------------
0.89/0.92	c # SCIP version 1.2.1.2
0.89/0.92	c 
0.89/0.92	c # frequency for displaying node information lines
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.92	c display/freq = 10000
0.89/0.92	c 
0.89/0.92	c # maximal time in seconds to run
0.89/0.92	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92	c limits/time = 1799.94
0.89/0.92	c 
0.89/0.92	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.92	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92	c limits/memory = 1620
0.89/0.92	c 
0.89/0.92	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.92	c lp/solvefreq = -1
0.89/0.92	c 
0.89/0.92	c # should presolving try to simplify inequalities
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92	c constraints/linear/simplifyinequalities = TRUE
0.89/0.92	c 
0.89/0.92	c # should presolving try to simplify knapsacks
0.89/0.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.92	c 
0.89/0.92	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c heuristics/undercover/freq = 0
0.89/0.92	c 
0.89/0.92	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.92	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92	c separating/rapidlearning/freq = 0
0.89/0.92	c 
0.89/0.92	c -----------------------------------------------------------------------------------------------
0.89/0.92	c start solving
0.89/0.92	c 
0.89/0.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.94	c   0.7s|     1 |     2 |     0 |     - |  21M|   0 |   - |6818 |6818 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
57.07/57.11	c  56.6s| 10000 |  9997 |     0 |   0.0 |  33M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
104.65/104.76	c   104s| 20000 | 19997 |     0 |   0.0 |  44M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
150.34/150.42	c   149s| 30000 | 29995 |     0 |   0.0 |  54M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
206.23/206.38	c   205s| 40000 | 39995 |     0 |   0.0 |  65M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
261.12/261.26	c   260s| 50000 | 49995 |     0 |   0.0 |  75M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
315.30/315.45	c   313s| 60000 | 59995 |     0 |   0.0 |  86M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
369.18/369.39	c   367s| 70000 | 69995 |     0 |   0.0 |  96M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
423.18/423.31	c   421s| 80000 | 79995 |     0 |   0.0 | 107M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
475.86/476.01	c   473s| 90000 | 89995 |     0 |   0.0 | 118M| 335 |   - |6818 |6822 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
528.64/528.87	c   526s|100000 | 99995 |     0 |   0.0 | 128M| 335 |   - |6818 |6821 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
581.23/581.49	c   578s|110000 |109995 |     0 |   0.0 | 139M| 335 |   - |6818 |6821 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
633.52/633.74	c   630s|120000 |119995 |     0 |   0.0 | 149M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
685.90/686.13	c   682s|130000 |129995 |     0 |   0.0 | 160M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
737.90/738.20	c   734s|140000 |139995 |     0 |   0.0 | 170M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
789.98/790.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
789.98/790.20	c   786s|150000 |149995 |     0 |   0.0 | 181M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
841.97/842.24	c   837s|160000 |159995 |     0 |   0.0 | 192M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
894.06/894.31	c   889s|170000 |169995 |     0 |   0.0 | 202M| 335 |   - |6818 |6820 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
945.84/946.10	c   941s|180000 |179995 |     0 |   0.0 | 213M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
997.53/997.85	c   992s|190000 |189995 |     0 |   0.0 | 223M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1048.91/1049.23	c  1043s|200000 |199995 |     0 |   0.0 | 234M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1100.10/1100.48	c  1094s|210000 |209995 |     0 |   0.0 | 244M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1151.19/1151.55	c  1145s|220000 |219995 |     0 |   0.0 | 255M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1202.27/1202.66	c  1196s|230000 |229995 |     0 |   0.0 | 265M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1253.06/1253.47	c  1246s|240000 |239995 |     0 |   0.0 | 276M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1303.85/1304.23	c  1297s|250000 |249995 |     0 |   0.0 | 286M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1354.24/1354.60	c  1347s|260000 |259995 |     0 |   0.0 | 297M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1404.62/1405.01	c  1397s|270000 |269995 |     0 |   0.0 | 307M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1454.92/1455.39	c  1447s|280000 |279995 |     0 |   0.0 | 318M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1505.09/1505.56	c  1497s|290000 |289995 |     0 |   0.0 | 328M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1554.90/1555.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1554.90/1555.31	c  1546s|300000 |299995 |     0 |   0.0 | 339M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1604.67/1605.14	c  1596s|310000 |309995 |     0 |   0.0 | 349M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1654.36/1654.85	c  1645s|320000 |319995 |     0 |   0.0 | 360M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1703.65/1704.13	c  1694s|330000 |329995 |     0 |   0.0 | 371M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1752.94/1753.42	c  1743s|340000 |339995 |     0 |   0.0 | 381M| 335 |   - |6818 |6819 |   0 |   0 |   0 |   4 |   0 | 1.000000e+00 |      --      |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1789.92
1800.03/1800.51	c Solving Nodes      : 349576
1800.03/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51	c Dual Bound         : +1.00000000000000e+00
1800.03/1800.51	c Gap                : infinite
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time       :    1789.92
1800.03/1800.51	c Original Problem   :
1800.03/1800.51	c   Problem name     : HOME/instance-2663750-1276653740.opb
1800.03/1800.51	c   Variables        : 6818 (6818 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 6818 initial, 6818 maximal
1800.03/1800.51	c Presolved Problem  :
1800.03/1800.51	c   Problem name     : t_HOME/instance-2663750-1276653740.opb
1800.03/1800.51	c   Variables        : 6818 (6818 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 6818 initial, 6822 maximal
1800.03/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   probing          :       0.23          0          0          0          0          0          0          0          0
1800.03/1800.51	c   and              :       0.33          0          0          0          0          0          0          0          0
1800.03/1800.51	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.51	c   and              :       6318          0     993110          0     349573          3    4663518          0          0          0
1800.03/1800.51	c   logicor          :        500+         0      67239          0     349573          0       6777          0          0          0
1800.03/1800.51	c   countsols        :          0          0          0          0     349573          0          0          0          0          0
1800.03/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.51	c   and              :     400.31       0.00     358.56       0.00      41.75
1800.03/1800.51	c   logicor          :     274.90       0.00       0.33       0.00     274.57
1800.03/1800.51	c   countsols        :       0.31       0.00       0.00       0.00       0.31
1800.03/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.51	c   vbounds          :       0.77          2          0          0
1800.03/1800.51	c   rootredcost      :       0.83          0          0          0
1800.03/1800.51	c   pseudoobj        :      46.93     992910          0          0
1800.03/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.51	c   propagation      :       0.00          3          3          4        8.0          0        0.0          -
1800.03/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.51	c   applied globally :          -          -          -          4        8.0          -          -          -
1800.03/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.51	c Pricers            :       Time      Calls       Vars
1800.03/1800.51	c   problem variables:       0.00          0          0
1800.03/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   inference        :    1017.68     349573          0          0          0          0     699146
1800.03/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.51	c   LP solutions     :       0.00          -          0
1800.03/1800.51	c   pseudo solutions :       0.00          -          0
1800.03/1800.51	c   oneopt           :       0.35          0          0
1800.03/1800.51	c   trivial          :       0.02          2          0
1800.03/1800.51	c   simplerounding   :       0.00          0          0
1800.03/1800.51	c   zirounding       :       0.00          0          0
1800.03/1800.51	c   rounding         :       0.00          0          0
1800.03/1800.51	c   shifting         :       0.00          0          0
1800.03/1800.51	c   intshifting      :       0.00          0          0
1800.03/1800.51	c   twoopt           :       0.00          0          0
1800.03/1800.51	c   fixandinfer      :       0.00          0          0
1800.03/1800.51	c   feaspump         :       0.00          0          0
1800.03/1800.51	c   coefdiving       :       0.00          0          0
1800.03/1800.51	c   pscostdiving     :       0.00          0          0
1800.03/1800.51	c   fracdiving       :       0.00          0          0
1800.03/1800.51	c   veclendiving     :       0.00          0          0
1800.03/1800.51	c   intdiving        :       0.00          0          0
1800.03/1800.51	c   actconsdiving    :       0.00          0          0
1800.03/1800.51	c   objpscostdiving  :       0.00          0          0
1800.03/1800.51	c   rootsoldiving    :       0.00          0          0
1800.03/1800.51	c   linesearchdiving :       0.00          0          0
1800.03/1800.51	c   guideddiving     :       0.00          0          0
1800.03/1800.51	c   octane           :       0.00          0          0
1800.03/1800.51	c   rens             :       0.00          0          0
1800.03/1800.51	c   rins             :       0.00          0          0
1800.03/1800.51	c   localbranching   :       0.00          0          0
1800.03/1800.51	c   mutation         :       0.00          0          0
1800.03/1800.51	c   crossover        :       0.00          0          0
1800.03/1800.51	c   dins             :       0.00          0          0
1800.03/1800.51	c   undercover       :       0.00          0          0
1800.03/1800.51	c   nlp              :       0.60          0          0
1800.03/1800.51	c   trysol           :       0.16          0          0
1800.03/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.51	c B&B Tree           :
1800.03/1800.51	c   number of runs   :          1
1800.03/1800.51	c   nodes            :     349576
1800.03/1800.51	c   nodes (total)    :     349576
1800.03/1800.51	c   nodes left       :     349571
1800.03/1800.51	c   max depth        :        335
1800.03/1800.51	c   max depth (total):        335
1800.03/1800.51	c   backtracks       :       2122 (0.6%)
1800.03/1800.51	c   delayed cutoffs  :          0
1800.03/1800.51	c   repropagations   :       1559 (42 domain reductions, 0 cutoffs)
1800.03/1800.51	c   avg switch length:       2.43
1800.03/1800.51	c   switching time   :      21.04
1800.03/1800.51	c Solution           :
1800.03/1800.51	c   Solutions found  :          0 (0 improvements)
1800.03/1800.51	c   Primal Bound     :          -
1800.03/1800.51	c   Dual Bound       : +1.00000000000000e+00
1800.03/1800.51	c   Gap              :   infinite
1800.03/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.51	c   Root Iterations  :          0
1800.92/1801.40	c Time complete: 1800.93.

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-2663750-1276653740/watcher-2663750-1276653740 -o /tmp/evaluation-result-2663750-1276653740/solver-2663750-1276653740 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663750-1276653740.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.14 1.03 1.01 3/105 13648
/proc/meminfo: memFree=1762136/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=7612 CPUtime=0
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 1178 0 0 0 0 0 0 0 25 0 1 0 6667856 7794688 1100 1992294400 4194304 7136930 140735075218672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13648/statm: 1903 1110 254 719 0 1182 0

[startup+0.042058 s]
/proc/loadavg: 1.14 1.03 1.01 3/105 13648
/proc/meminfo: memFree=1762136/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=14096 CPUtime=0.03
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 3004 0 0 0 2 1 0 0 25 0 1 0 6667856 14434304 2926 1992294400 4194304 7136930 140735075218672 18446744073709551615 6340379 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13648/statm: 3524 2926 272 719 0 2803 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14096

[startup+0.101064 s]
/proc/loadavg: 1.14 1.03 1.01 3/105 13648
/proc/meminfo: memFree=1762136/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=27564 CPUtime=0.09
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 6732 0 0 0 7 2 0 0 25 0 1 0 6667856 28225536 6300 1992294400 4194304 7136930 140735075218672 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 6891 6300 285 719 0 6170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27564

[startup+0.301084 s]
/proc/loadavg: 1.14 1.03 1.01 3/105 13648
/proc/meminfo: memFree=1762136/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=42120 CPUtime=0.29
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 9931 0 0 0 26 3 0 0 25 0 1 0 6667856 43130880 9499 1992294400 4194304 7136930 140735075218672 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 10530 9509 328 719 0 9809 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42120

[startup+0.701123 s]
/proc/loadavg: 1.14 1.03 1.01 3/105 13648
/proc/meminfo: memFree=1762136/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=41416 CPUtime=0.69
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 11018 0 0 0 49 20 0 0 25 0 1 0 6667856 42409984 9558 1992294400 4194304 7136930 140735075218672 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 10354 9558 362 719 0 9633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41416

[startup+1.5012 s]
/proc/loadavg: 1.13 1.03 1.01 2/106 13649
/proc/meminfo: memFree=1723068/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=43540 CPUtime=1.49
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 11565 0 0 0 129 20 0 0 25 0 1 0 6667856 44584960 10105 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 10885 10105 381 719 0 10164 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43540

[startup+3.10136 s]
/proc/loadavg: 1.13 1.03 1.01 2/106 13649
/proc/meminfo: memFree=1722820/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=45096 CPUtime=3.09
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 11953 0 0 0 288 21 0 0 25 0 1 0 6667856 46178304 10493 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 11274 10493 381 719 0 10553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45096

[startup+6.30168 s]
/proc/loadavg: 1.12 1.03 1.01 2/106 13649
/proc/meminfo: memFree=1720976/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=45404 CPUtime=6.29
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 12031 0 0 0 607 22 0 0 25 0 1 0 6667856 46493696 10571 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 11351 10571 381 719 0 10630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45404

[startup+12.7013 s]
/proc/loadavg: 1.11 1.03 1.01 2/106 13649
/proc/meminfo: memFree=1719736/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=46596 CPUtime=12.69
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 12341 0 0 0 1245 24 0 0 25 0 1 0 6667856 47714304 10881 1992294400 4194304 7136930 140735075218672 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 11649 10881 381 719 0 10928 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46596

[startup+25.5006 s]
/proc/loadavg: 1.09 1.03 1.01 2/106 13649
/proc/meminfo: memFree=1717008/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=49512 CPUtime=25.48
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 13082 0 0 0 2516 32 0 0 25 0 1 0 6667856 50700288 11622 1992294400 4194304 7136930 140735075218672 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 12378 11622 386 719 0 11657 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49512

[startup+51.1011 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 13649
/proc/meminfo: memFree=1709940/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=56304 CPUtime=51.07
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 14781 0 0 0 5065 42 0 0 25 0 1 0 6667856 57655296 13321 1992294400 4194304 7136930 140735075218672 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 14076 13321 386 719 0 13355 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56304

[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/106 13651
/proc/meminfo: memFree=1695928/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=69976 CPUtime=102.26
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 18244 0 0 0 10153 73 0 0 25 0 1 0 6667856 71655424 16784 1992294400 4194304 7136930 140735075218672 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 17494 16784 386 719 0 16773 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69976

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 13653
/proc/meminfo: memFree=1681668/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=84500 CPUtime=162.24
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 21917 0 0 0 16118 106 0 0 25 0 1 0 6667856 86528000 20457 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 21125 20457 387 719 0 20404 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 84500

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 13653
/proc/meminfo: memFree=1669020/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=96616 CPUtime=222.22
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 24984 0 0 0 22085 137 0 0 25 0 1 0 6667856 98934784 23524 1992294400 4194304 7136930 140735075218672 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 24154 23524 387 719 0 23433 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 96616

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13655
/proc/meminfo: memFree=1657116/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=108300 CPUtime=282.21
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 27947 0 0 0 28055 166 0 0 25 0 1 0 6667856 110899200 26487 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 27075 26487 387 719 0 26354 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 108300

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13657
/proc/meminfo: memFree=1644972/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=120076 CPUtime=342.19
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 30947 0 0 0 34022 197 0 0 25 0 1 0 6667856 122957824 29487 1992294400 4194304 7136930 140735075218672 18446744073709551615 4740342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 30019 29487 387 719 0 29298 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 120076

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13659
/proc/meminfo: memFree=1634308/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=132728 CPUtime=402.17
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 33615 0 0 0 39990 227 0 0 25 0 1 0 6667856 135913472 32155 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 33182 32155 387 719 0 32461 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 132728

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13661
/proc/meminfo: memFree=1620172/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=146876 CPUtime=462.16
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 37206 0 0 0 45958 258 0 0 25 0 1 0 6667856 150401024 35746 1992294400 4194304 7136930 140735075218672 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 36719 35746 387 719 0 35998 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 146876

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13661
/proc/meminfo: memFree=1609012/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=158220 CPUtime=522.15
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 40078 0 0 0 51925 290 0 0 25 0 1 0 6667856 162017280 38618 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 39555 38618 387 719 0 38834 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 158220

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13663
/proc/meminfo: memFree=1597604/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=168812 CPUtime=582.13
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 42764 0 0 0 57890 323 0 0 25 0 1 0 6667856 172863488 41304 1992294400 4194304 7136930 140735075218672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 42203 41304 387 719 0 41482 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 168812

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13665
/proc/meminfo: memFree=1585576/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=180716 CPUtime=642.13
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 45778 0 0 0 63860 353 0 0 25 0 1 0 6667856 185053184 44318 1992294400 4194304 7136930 140735075218672 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 45179 44318 387 719 0 44458 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 180716

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13675
/proc/meminfo: memFree=1510432/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=254376 CPUtime=1002.02
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 64463 0 0 0 99649 553 0 0 25 0 1 0 6667856 260481024 63003 1992294400 4194304 7136930 140735075218672 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 63594 63003 387 719 0 62873 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 254376

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13677
/proc/meminfo: memFree=1497040/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=271524 CPUtime=1062.01
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 67785 0 0 0 105614 587 0 0 25 0 1 0 6667856 278040576 66325 1992294400 4194304 7136930 140735075218672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 67881 66325 387 719 0 67160 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 271524

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13677
/proc/meminfo: memFree=1486500/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=282052 CPUtime=1121.99
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 70433 0 0 0 111581 618 0 0 25 0 1 0 6667856 288821248 68973 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 70513 68973 387 719 0 69792 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 282052

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13679
/proc/meminfo: memFree=1474224/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=293940 CPUtime=1181.98
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 73474 0 0 0 117547 651 0 0 25 0 1 0 6667856 300994560 72014 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 73485 72014 387 719 0 72764 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 293940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13681
/proc/meminfo: memFree=1460212/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=307436 CPUtime=1241.96
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 76901 0 0 0 123512 684 0 0 25 0 1 0 6667856 314814464 75441 1992294400 4194304 7136930 140735075218672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 76859 75441 387 719 0 76138 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 307436

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13683
/proc/meminfo: memFree=1448432/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=318964 CPUtime=1301.95
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 79828 0 0 0 129478 717 0 0 25 0 1 0 6667856 326619136 78368 1992294400 4194304 7136930 140735075218672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 79741 78368 387 719 0 79020 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 318964

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13685
/proc/meminfo: memFree=1434668/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=332640 CPUtime=1361.93
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 83264 0 0 0 135441 752 0 0 25 0 1 0 6667856 340623360 81804 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 83160 81804 387 719 0 82439 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 332640

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13685
/proc/meminfo: memFree=1422392/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=344672 CPUtime=1421.93
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 86322 0 0 0 141408 785 0 0 25 0 1 0 6667856 352944128 84862 1992294400 4194304 7136930 140735075218672 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 86168 84862 387 719 0 85447 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 344672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13687
/proc/meminfo: memFree=1408256/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=360700 CPUtime=1481.9
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 90360 0 0 0 147371 819 0 0 25 0 1 0 6667856 369356800 88900 1992294400 4194304 7136930 140735075218672 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 90175 88900 387 719 0 89454 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 360700

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13689
/proc/meminfo: memFree=1395360/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=371248 CPUtime=1541.89
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 93057 0 0 0 153335 854 0 0 25 0 1 0 6667856 380157952 91597 1992294400 4194304 7136930 140735075218672 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 92812 91597 387 719 0 92091 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 371248

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13691
/proc/meminfo: memFree=1382092/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=384276 CPUtime=1601.87
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 96361 0 0 0 159299 888 0 0 25 0 1 0 6667856 393498624 94901 1992294400 4194304 7136930 140735075218672 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 96069 94901 387 719 0 95348 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 384276

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13693
/proc/meminfo: memFree=1366096/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=400196 CPUtime=1661.85
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 100376 0 0 0 165262 923 0 0 25 0 1 0 6667856 409800704 98916 1992294400 4194304 7136930 140735075218672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 100049 98916 387 719 0 99328 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 400196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13693
/proc/meminfo: memFree=1353572/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=412492 CPUtime=1721.85
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 103511 0 0 0 171228 957 0 0 25 0 1 0 6667856 422391808 102051 1992294400 4194304 7136930 140735075218672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 103123 102051 387 719 0 102402 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 412492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13695
/proc/meminfo: memFree=1339560/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=426108 CPUtime=1781.82
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 106945 0 0 0 177187 995 0 0 25 0 1 0 6667856 436334592 105485 1992294400 4194304 7136930 140735075218672 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 106527 105485 387 719 0 105806 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 426108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13697
/proc/meminfo: memFree=1336460/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=429160 CPUtime=1800.03
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 107724 0 0 0 178997 1006 0 0 25 0 1 0 6667856 439459840 106264 1992294400 4194304 7136930 140735075218672 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13648/statm: 107290 106264 387 719 0 106569 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 429160

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13698
/proc/meminfo: memFree=1336452/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=429160 CPUtime=1800.13
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 107730 0 0 0 179007 1006 0 0 25 0 1 0 6667856 439459840 106270 1992294400 4194304 7136930 140735075218672 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13648/statm: 107290 106270 393 719 0 106569 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 429160

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13698
/proc/meminfo: memFree=1336452/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=427480 CPUtime=1800.52
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 107730 0 0 0 179046 1006 0 0 25 0 1 0 6667856 437739520 105850 1992294400 4194304 7136930 140735075218672 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13648/statm: 106870 105850 393 719 0 106149 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 427480

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13698
/proc/meminfo: memFree=1336452/2059040 swapFree=4164948/4192956
[pid=13648] ppid=13646 vsize=17928 CPUtime=1800.92
/proc/13648/stat : 13648 (pbscip.linux.x8) R 13646 13648 11843 0 -1 4202496 107731 0 0 0 179082 1010 0 0 25 0 1 0 6667856 18358272 3133 1992294400 4194304 7136930 140735075218672 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13648/statm: 4482 2987 394 719 0 3761 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 17928

Child status: 0
Real time (s): 1801.4
CPU time (s): 1800.93
CPU user time (s): 1790.82
CPU system time (s): 10.1115
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 429160

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

runsolver used 3.04154 second user time and 8.44871 second system time

The end

Launcher Data 

Begin job on node084 at 2010-06-16 04:02:20
IDJOB=2663750
IDBENCH=48123
IDSOLVER=1167
FILE ID=node084/2663750-1276653740
PBS_JOBID= 11172411
Free space on /tmp= 62512 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663750-1276653740/watcher-2663750-1276653740 -o /tmp/evaluation-result-2663750-1276653740/solver-2663750-1276653740 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663750-1276653740.opb -t 1800 -m 1800

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

MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e
RANDOM SEED=1451228424

node084.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1762540 kB
Buffers:         73104 kB
Cached:         124716 kB
SwapCached:       1440 kB
Active:          96868 kB
Inactive:       134148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762540 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:            7360 kB
Writeback:           0 kB
AnonPages:       31708 kB
Mapped:          15120 kB
Slab:            43820 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62508 MiB
End job on node084 at 2010-06-16 04:32:23