Trace number 2664146

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.72 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44677
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
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.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2664146-1276398704.opb>
0.29/0.37	c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.29/0.37	c problem read
0.29/0.37	c presolving settings loaded
0.29/0.37	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.39/0.44	c presolving:
0.69/0.70	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.10/1.20	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
5.39/5.43	c    (4.9s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
5.39/5.43	c    (4.9s) probing aborted: 100/100 successive totally useless probings
5.39/5.43	c presolving (3 rounds):
5.39/5.43	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
5.39/5.43	c  14784 implications, 392 cliques
5.39/5.43	c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
5.39/5.43	c    7496 constraints of type <knapsack>
5.39/5.43	c     392 constraints of type <setppc>
5.39/5.43	c    8208 constraints of type <logicor>
5.39/5.43	c transformed objective value is always integral (scale: 1)
5.39/5.43	c Presolving Time: 4.88
5.39/5.43	c - non default parameters ----------------------------------------------------------------------
5.39/5.43	c # SCIP version 1.2.1.2
5.39/5.43	c 
5.39/5.43	c # frequency for displaying node information lines
5.39/5.43	c # [type: int, range: [-1,2147483647], default: 100]
5.39/5.43	c display/freq = 10000
5.39/5.43	c 
5.39/5.43	c # maximal time in seconds to run
5.39/5.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.39/5.43	c limits/time = 1799.64
5.39/5.43	c 
5.39/5.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.39/5.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.39/5.43	c limits/memory = 1620
5.39/5.43	c 
5.39/5.43	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.39/5.43	c # [type: int, range: [-1,2147483647], default: 1]
5.39/5.43	c lp/solvefreq = -1
5.39/5.43	c 
5.39/5.43	c # should presolving try to simplify inequalities
5.39/5.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.43	c constraints/linear/simplifyinequalities = TRUE
5.39/5.43	c 
5.39/5.43	c # should presolving try to simplify knapsacks
5.39/5.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.39/5.43	c constraints/knapsack/simplifyinequalities = TRUE
5.39/5.43	c 
5.39/5.43	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.39/5.43	c # [type: int, range: [-1,2147483647], default: -1]
5.39/5.43	c separating/rapidlearning/freq = 0
5.39/5.43	c 
5.39/5.43	c -----------------------------------------------------------------------------------------------
5.39/5.43	c start solving
5.39/5.43	c 
5.39/5.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.39/5.45	c   5.0s|     1 |     2 |     0 |     - |  23M|   0 |   - |1344 |  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
57.28/57.38	c  56.6s| 10000 |  9842 |     0 |   0.0 |  27M| 165 |   - |1344 |  16k|   0 |   0 |   0 | 263 |   0 | 0.000000e+00 |      --      |    Inf 
110.66/110.70	c   110s| 20000 | 19768 |     0 |   0.0 |  33M| 165 |   - |1344 |  16k|   0 |   0 |   0 | 405 |   0 | 0.000000e+00 |      --      |    Inf 
166.05/166.12	c   165s| 30000 | 29600 |     0 |   0.0 |  39M| 165 |   - |1344 |  16k|   0 |   0 |   0 | 755 |   0 | 0.000000e+00 |      --      |    Inf 
222.33/222.41	c   221s| 40000 | 39489 |     0 |   0.0 |  46M| 165 |   - |1344 |  16k|   0 |   0 |   0 | 892 |   0 | 0.000000e+00 |      --      |    Inf 
278.21/278.32	c   276s| 50000 | 49336 |     0 |   0.0 |  53M| 165 |   - |1344 |  16k|   0 |   0 |   0 |1232 |   0 | 0.000000e+00 |      --      |    Inf 
333.99/334.11	c   332s| 60000 | 59192 |     0 |   0.0 |  60M| 165 |   - |1344 |  16k|   0 |   0 |   0 |1561 |   0 | 0.000000e+00 |      --      |    Inf 
391.47/391.61	c   389s| 70000 | 69032 |     0 |   0.0 |  67M| 165 |   - |1344 |  16k|   0 |   0 |   0 |1980 |   0 | 0.000000e+00 |      --      |    Inf 
448.85/449.01	c   446s| 80000 | 78926 |     0 |   0.0 |  74M| 165 |   - |1344 |  16k|   0 |   0 |   0 |2277 |   0 | 0.000000e+00 |      --      |    Inf 
506.13/506.37	c   503s| 90000 | 88746 |     0 |   0.0 |  80M| 165 |   - |1344 |  16k|   0 |   0 |   0 |2710 |   0 | 0.000000e+00 |      --      |    Inf 
563.31/563.55	c   560s|100000 | 98623 |     0 |   0.0 |  87M| 165 |   - |1344 |  16k|   0 |   0 |   0 |3023 |   0 | 0.000000e+00 |      --      |    Inf 
620.90/621.15	c   617s|110000 |108507 |     0 |   0.0 |  95M| 165 |   - |1344 |  16k|   0 |   0 |   0 |3301 |   0 | 0.000000e+00 |      --      |    Inf 
678.98/679.21	c   675s|120000 |118415 |     0 |   0.0 | 102M| 165 |   - |1344 |  16k|   0 |   0 |   0 |3553 |   0 | 0.000000e+00 |      --      |    Inf 
738.56/738.80	c   734s|130000 |128081 |     0 |   0.0 | 109M| 165 |   - |1344 |  16k|   0 |   0 |   0 |4621 |   0 | 0.000000e+00 |      --      |    Inf 
796.74/797.07	c   792s|140000 |137878 |     0 |   0.0 | 116M| 165 |   - |1344 |  16k|   0 |   0 |   0 |5166 |   0 | 0.000000e+00 |      --      |    Inf 
854.93/855.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
854.93/855.23	c   850s|150000 |147618 |     0 |   0.0 | 123M| 165 |   - |1344 |  16k|   0 |   0 |   0 |5881 |   0 | 0.000000e+00 |      --      |    Inf 
912.91/913.25	c   908s|160000 |157392 |     0 |   0.0 | 130M| 165 |   - |1344 |  16k|   0 |   0 |   0 |6579 |   0 | 0.000000e+00 |      --      |    Inf 
971.79/972.10	c   966s|170000 |167014 |     0 |   0.0 | 136M| 165 |   - |1344 |  16k|   0 |   0 |   0 |7645 |   0 | 0.000000e+00 |      --      |    Inf 
1028.77/1029.13	c  1023s|180000 |176812 |     0 |   0.0 | 143M| 165 |   - |1344 |  16k|   0 |   0 |   0 |8271 |   0 | 0.000000e+00 |      --      |    Inf 
1086.06/1086.46	c  1080s|190000 |186661 |     0 |   0.0 | 149M| 165 |   - |1344 |  16k|   0 |   0 |   0 |8743 |   0 | 0.000000e+00 |      --      |    Inf 
1145.44/1145.88	c  1139s|200000 |196331 |     0 |   0.0 | 157M| 165 |   - |1344 |  16k|   0 |   0 |   0 |9778 |   0 | 0.000000e+00 |      --      |    Inf 
1204.32/1204.75	c  1197s|210000 |206024 |     0 |   0.0 | 164M| 165 |   - |1344 |  16k|   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
1264.30/1264.79	c  1257s|220000 |215594 |     0 |   0.0 | 171M| 165 |   - |1344 |  16k|   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
1323.18/1323.60	c  1316s|230000 |225401 |     0 |   0.0 | 178M| 165 |   - |1344 |  16k|   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
1382.57/1383.00	c  1375s|240000 |235087 |     0 |   0.0 | 185M| 165 |   - |1344 |  16k|   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
1441.66/1442.14	c  1433s|250000 |244802 |     0 |   0.0 | 192M| 165 |   - |1344 |  16k|   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
1500.84/1501.30	c  1492s|260000 |254532 |     0 |   0.0 | 199M| 165 |   - |1344 |  16k|   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
1559.81/1560.39	c  1551s|270000 |264199 |     0 |   0.0 | 205M| 183 |   - |1344 |  16k|   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
1618.70/1619.28	c  1610s|280000 |274008 |     0 |   0.0 | 212M| 183 |   - |1344 |  16k|   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
1677.27/1677.83	c  1668s|290000 |283762 |     0 |   0.0 | 219M| 183 |   - |1344 |  16k|   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
1735.37/1735.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1735.37/1735.97	c  1726s|300000 |293514 |     0 |   0.0 | 226M| 187 |   - |1344 |  16k|   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
1795.44/1796.07	c  1785s|310000 |303140 |     0 |   0.0 | 234M| 187 |   - |1344 |  16k|   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.60	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61	c 
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time (sec) : 1789.81
1800.05/1800.61	c Solving Nodes      : 310760
1800.05/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.61	c Gap                : infinite
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time       :    1789.81
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-2664146-1276398704.opb
1800.05/1800.61	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 16096 initial, 16096 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-2664146-1276398704.opb
1800.05/1800.61	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 16096 initial, 16781 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       3.82          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :       0.81          0          0          0          0          0          0      14784      22176
1800.05/1800.61	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.61	c   logicor          :       0.05          0          0          0          0          0          0          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :       7496          0     549808          0     307908        169     231229          0          0          0
1800.05/1800.61	c   setppc           :        392          0     549639          0     307908       3223    1631327          0          0          0
1800.05/1800.61	c   logicor          :       8208+         0     251096          0     307908        548     688732          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0     307908          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c   knapsack         :     562.92       0.00     512.63       0.00      50.29
1800.05/1800.61	c   setppc           :      90.63       0.00      30.16       0.00      60.47
1800.05/1800.61	c   logicor          :     870.15       0.00      18.87       0.00     851.28
1800.05/1800.61	c   countsols        :       0.34       0.00       0.00       0.00       0.34
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   vbounds          :       0.57          2          0          0
1800.05/1800.61	c   rootredcost      :       0.50          0          0          0
1800.05/1800.61	c   pseudoobj        :      23.43     547303          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :       0.51       3940       3940      29733       30.1        197       14.9          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -      20007       26.7          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :     160.73     307908          0          0          0          0     615816
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   oneopt           :       0.23          0          0
1800.05/1800.61	c   trivial          :       0.00          2          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   zirounding       :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   twoopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c   undercover       :       0.00          0          0
1800.05/1800.61	c   nlp              :       0.45          0          0
1800.05/1800.61	c   trysol           :       0.13          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.61	c B&B Tree           :
1800.05/1800.61	c   number of runs   :          1
1800.05/1800.61	c   nodes            :     310760
1800.05/1800.61	c   nodes (total)    :     310760
1800.05/1800.61	c   nodes left       :     303869
1800.05/1800.61	c   max depth        :        187
1800.05/1800.61	c   max depth (total):        187
1800.05/1800.61	c   backtracks       :       4510 (1.5%)
1800.05/1800.61	c   delayed cutoffs  :       1188
1800.05/1800.61	c   repropagations   :       7140 (61003 domain reductions, 1088 cutoffs)
1800.05/1800.61	c   avg switch length:       2.64
1800.05/1800.61	c   switching time   :      50.34
1800.05/1800.61	c Solution           :
1800.05/1800.61	c   Solutions found  :          0 (0 improvements)
1800.05/1800.61	c   Primal Bound     :          -
1800.05/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.61	c   Gap              :   infinite
1800.05/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.61	c   Root Iterations  :          0
1800.64/1801.27	c Time complete: 1800.7.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664146-1276398704/watcher-2664146-1276398704 -o /tmp/evaluation-result-2664146-1276398704/solver-2664146-1276398704 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664146-1276398704.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: 0.92 0.98 0.99 3/106 20426
/proc/meminfo: memFree=1737400/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=7612 CPUtime=0
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 1 0 15474148 7794688 1175 1992294400 4194304 7136930 140736234940896 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 1903 1186 254 719 0 1182 0

[startup+0.108456 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20426
/proc/meminfo: memFree=1737400/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=12640 CPUtime=0.09
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 2472 0 0 0 9 0 0 0 20 0 1 0 15474148 12943360 2396 1992294400 4194304 7136930 140736234940896 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 3160 2408 271 719 0 2439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12640

[startup+0.201466 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20426
/proc/meminfo: memFree=1737400/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=13980 CPUtime=0.19
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 2977 0 0 0 18 1 0 0 20 0 1 0 15474148 14315520 2900 1992294400 4194304 7136930 140736234940896 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 3495 2900 271 719 0 2774 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13980

[startup+0.301477 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20426
/proc/meminfo: memFree=1737400/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=15780 CPUtime=0.29
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 3429 0 0 0 28 1 0 0 20 0 1 0 15474148 16158720 3352 1992294400 4194304 7136930 140736234940896 18446744073709551615 6269113 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 3945 3352 271 719 0 3224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15780

[startup+0.701521 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20426
/proc/meminfo: memFree=1737400/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=52056 CPUtime=0.69
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 14170 0 0 0 62 7 0 0 21 0 1 0 15474148 53305344 12202 1992294400 4194304 7136930 140736234940896 18446744073709551615 4862081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 13014 12202 352 719 0 12293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52056

[startup+1.50161 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20427
/proc/meminfo: memFree=1688536/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=53264 CPUtime=1.5
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 15510 0 0 0 140 10 0 0 23 0 1 0 15474148 54542336 12514 1992294400 4194304 7136930 140736234940896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 13316 12514 361 719 0 12595 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 53264

[startup+3.10179 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 20427
/proc/meminfo: memFree=1687668/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=53524 CPUtime=3.09
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 16114 0 0 0 298 11 0 0 25 0 1 0 15474148 54808576 12604 1992294400 4194304 7136930 140736234940896 18446744073709551615 4855167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 13381 12604 374 719 0 12660 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53524

[startup+6.30115 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 20427
/proc/meminfo: memFree=1685436/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=55984 CPUtime=6.29
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 16751 0 0 0 615 14 0 0 25 0 1 0 15474148 57327616 13241 1992294400 4194304 7136930 140736234940896 18446744073709551615 4854588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 13996 13241 397 719 0 13275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55984

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 20427
/proc/meminfo: memFree=1685320/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=55984 CPUtime=12.69
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 16755 0 0 0 1251 18 0 0 25 0 1 0 15474148 57327616 13245 1992294400 4194304 7136930 140736234940896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 13996 13245 397 719 0 13275 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55984

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 20427
/proc/meminfo: memFree=1684328/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=56924 CPUtime=25.49
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 17002 0 0 0 2523 26 0 0 25 0 1 0 15474148 58290176 13492 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 14231 13492 397 719 0 13510 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56924

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 20427
/proc/meminfo: memFree=1682468/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=58780 CPUtime=51.08
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 17485 0 0 0 5069 39 0 0 25 0 1 0 15474148 60190720 13975 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 14695 13975 397 719 0 13974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58780

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 20429
/proc/meminfo: memFree=1676268/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=64680 CPUtime=102.26
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 19000 0 0 0 10162 64 0 0 25 0 1 0 15474148 66232320 15490 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 16170 15490 397 719 0 15449 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 64680

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20434
/proc/meminfo: memFree=1668456/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=72144 CPUtime=162.24
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 20905 0 0 0 16127 97 0 0 25 0 1 0 15474148 73875456 17395 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 18036 17395 397 719 0 17315 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72144

[startup+222.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20436
/proc/meminfo: memFree=1659652/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=80428 CPUtime=222.23
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 22995 0 0 0 22094 129 0 0 25 0 1 0 15474148 82358272 19485 1992294400 4194304 7136930 140736234940896 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 20107 19485 397 719 0 19386 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 80428

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20436
/proc/meminfo: memFree=1651840/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=88756 CPUtime=282.2
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 25103 0 0 0 28059 161 0 0 25 0 1 0 15474148 90886144 21593 1992294400 4194304 7136930 140736234940896 18446744073709551615 4858676 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 22189 21593 397 719 0 21468 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 88756

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20438
/proc/meminfo: memFree=1642788/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=97180 CPUtime=342.18
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 27223 0 0 0 34024 194 0 0 25 0 1 0 15474148 99512320 23713 1992294400 4194304 7136930 140736234940896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 24295 23713 397 719 0 23574 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 97180

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20440
/proc/meminfo: memFree=1631752/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=110016 CPUtime=402.16
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 29977 0 0 0 39986 230 0 0 25 0 1 0 15474148 112656384 26467 1992294400 4194304 7136930 140736234940896 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 27504 26467 397 719 0 26783 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 110016

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20442
/proc/meminfo: memFree=1622576/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=119100 CPUtime=462.14
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 32246 0 0 0 45950 264 0 0 25 0 1 0 15474148 121958400 28736 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 29775 28736 397 719 0 29054 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 119100

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20444
/proc/meminfo: memFree=1614020/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=127664 CPUtime=522.13
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 34416 0 0 0 51918 295 0 0 25 0 1 0 15474148 130727936 30906 1992294400 4194304 7136930 140736234940896 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 31916 30906 397 719 0 31195 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 127664

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20444
/proc/meminfo: memFree=1605960/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=135664 CPUtime=582.11
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 36467 0 0 0 57883 328 0 0 25 0 1 0 15474148 138919936 32957 1992294400 4194304 7136930 140736234940896 18446744073709551615 4862100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 33916 32957 397 719 0 33195 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 135664

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20446
/proc/meminfo: memFree=1597404/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=144024 CPUtime=642.09
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 38604 0 0 0 63847 362 0 0 25 0 1 0 15474148 147480576 35094 1992294400 4194304 7136930 140736234940896 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 36006 35094 397 719 0 35285 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 144024

[startup+702.302 s]

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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20456
/proc/meminfo: memFree=1549168/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=190936 CPUtime=1001.98
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 50536 0 0 0 99641 557 0 0 25 0 1 0 15474148 195518464 47026 1992294400 4194304 7136930 140736234940896 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 47734 47026 397 719 0 47013 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 190936

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20458
/proc/meminfo: memFree=1541604/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=198420 CPUtime=1061.97
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 52435 0 0 0 105607 590 0 0 25 0 1 0 15474148 203182080 48925 1992294400 4194304 7136930 140736234940896 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 49605 48925 397 719 0 48884 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 198420

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20460
/proc/meminfo: memFree=1529700/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=210140 CPUtime=1121.95
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 55409 0 0 0 111569 626 0 0 25 0 1 0 15474148 215183360 51899 1992294400 4194304 7136930 140736234940896 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 52535 51899 397 719 0 51814 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 210140

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20460
/proc/meminfo: memFree=1521764/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=221972 CPUtime=1181.93
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 57366 0 0 0 117537 656 0 0 25 0 1 0 15474148 227299328 53856 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 55493 53856 397 719 0 54772 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 221972

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20462
/proc/meminfo: memFree=1513952/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=229408 CPUtime=1241.91
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 59249 0 0 0 123502 689 0 0 25 0 1 0 15474148 234913792 55739 1992294400 4194304 7136930 140736234940896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 57352 55739 397 719 0 56631 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 229408

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20464
/proc/meminfo: memFree=1506760/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=236324 CPUtime=1301.89
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 61027 0 0 0 129468 721 0 0 25 0 1 0 15474148 241995776 57517 1992294400 4194304 7136930 140736234940896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 59081 57517 397 719 0 58360 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 236324

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20466
/proc/meminfo: memFree=1497460/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=245372 CPUtime=1361.88
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 63335 0 0 0 135435 753 0 0 25 0 1 0 15474148 251260928 59825 1992294400 4194304 7136930 140736234940896 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 61343 59825 397 719 0 60622 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 245372

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20468
/proc/meminfo: memFree=1491632/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=251240 CPUtime=1421.86
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 64803 0 0 0 141404 782 0 0 25 0 1 0 15474148 257269760 61293 1992294400 4194304 7136930 140736234940896 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 62810 61293 397 719 0 62089 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 251240

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20468
/proc/meminfo: memFree=1482828/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=259848 CPUtime=1481.84
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 66982 0 0 0 147370 814 0 0 25 0 1 0 15474148 266084352 63472 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 64962 63472 397 719 0 64241 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 259848

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20470
/proc/meminfo: memFree=1477248/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=265264 CPUtime=1541.83
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 68398 0 0 0 153337 846 0 0 25 0 1 0 15474148 271630336 64888 1992294400 4194304 7136930 140736234940896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 66316 64888 397 719 0 65595 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 265264

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20472
/proc/meminfo: memFree=1469436/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=272744 CPUtime=1601.8
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 70304 0 0 0 159301 879 0 0 25 0 1 0 15474148 279289856 66794 1992294400 4194304 7136930 140736234940896 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 68186 66794 397 719 0 67465 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 272744

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20474
/proc/meminfo: memFree=1460632/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=281496 CPUtime=1661.78
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 72514 0 0 0 165267 911 0 0 25 0 1 0 15474148 288251904 69004 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 70374 69004 397 719 0 69653 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 281496

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20476
/proc/meminfo: memFree=1451084/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=290812 CPUtime=1721.76
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 74850 0 0 0 171232 944 0 0 25 0 1 0 15474148 297791488 71340 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 72703 71340 397 719 0 71982 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 290812

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20476
/proc/meminfo: memFree=1441784/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=299676 CPUtime=1781.74
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 77124 0 0 0 177197 977 0 0 25 0 1 0 15474148 306868224 73614 1992294400 4194304 7136930 140736234940896 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 74919 73614 397 719 0 74198 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 299676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 20478
/proc/meminfo: memFree=1439552/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=301812 CPUtime=1800.05
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 77676 0 0 0 179016 989 0 0 25 0 1 0 15474148 309055488 74166 1992294400 4194304 7136930 140736234940896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20426/statm: 75453 74166 397 719 0 74732 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 301812

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 3/108 20479
/proc/meminfo: memFree=1439544/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=301812 CPUtime=1800.15
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 77681 0 0 0 179026 989 0 0 25 0 1 0 15474148 309055488 74171 1992294400 4194304 7136930 140736234940896 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 75453 74171 402 719 0 74732 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 301812

[startup+1801.1 s]
/proc/loadavg: 0.99 0.98 0.99 3/108 20479
/proc/meminfo: memFree=1439544/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=292524 CPUtime=1800.54
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 77681 0 0 0 179065 989 0 0 25 0 1 0 15474148 299544576 71849 1992294400 4194304 7136930 140736234940896 18446744073709551615 4670183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 73131 71849 402 719 0 72410 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 292524

[startup+1801.2 s]
/proc/loadavg: 0.99 0.98 0.99 3/108 20479
/proc/meminfo: memFree=1439544/2059040 swapFree=4192956/4192956
[pid=20426] ppid=20424 vsize=230648 CPUtime=1800.64
/proc/20426/stat : 20426 (pbscip.linux.x8) R 20424 20426 13820 0 -1 4202496 77681 0 0 0 179074 990 0 0 25 0 1 0 15474148 236183552 56380 1992294400 4194304 7136930 140736234940896 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20426/statm: 57662 56380 402 719 0 56941 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 230648

Child status: 0
Real time (s): 1801.27
CPU time (s): 1800.72
CPU user time (s): 1790.79
CPU system time (s): 9.92749
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 301812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.79
system time used= 9.92749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77688
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= 3
involuntary context switches= 5476

runsolver used 2.83957 second user time and 8.64668 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-13 05:11:44
IDJOB=2664146
IDBENCH=2008
IDSOLVER=1167
FILE ID=node005/2664146-1276398704
PBS_JOBID= 11173256
Free space on /tmp= 62532 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.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-2664146-1276398704/watcher-2664146-1276398704 -o /tmp/evaluation-result-2664146-1276398704/solver-2664146-1276398704 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664146-1276398704.opb -t 1800 -m 1800

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=1805217235

node005.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.246
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.49
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.246
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1737928 kB
Buffers:         42684 kB
Cached:         152524 kB
SwapCached:          0 kB
Active:         150600 kB
Inactive:       103916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1737928 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4156 kB
Writeback:           0 kB
AnonPages:       59192 kB
Mapped:          15368 kB
Slab:            44896 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180860 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= 62528 MiB
End job on node005 at 2010-06-13 05:41:47