Trace number 2664253

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) 1801.11 1801.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
MD5SUMfe9b3ae0ed0deb400897e8cf071ce6eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 95
Optimality of the best value was proved NO
Number of variables1812
Total number of constraints3443
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 constraints3443
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1307
Number of bits of the biggest sum of numbers11
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-2664253-1276588079.opb>
0.19/0.21	c original problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 3443 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
0.19/0.21	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.19/0.28	c presolving:
0.29/0.33	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.37	c (round 2) 0 del vars, 1650 del conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 77 upgd conss, 0 impls, 0 clqs
0.39/0.41	c (round 3) 0 del vars, 1650 del conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 143 upgd conss, 704 impls, 0 clqs
1.39/1.43	c    (1.2s) probing: 111/1812 (6.1%) - 0 fixings, 0 aggregations, 1430 implications, 0 bound changes
1.39/1.43	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.39/1.43	c presolving (4 rounds):
1.39/1.43	c  0 deleted vars, 1650 deleted constraints, 0 tightened bounds, 0 added holes, 132 changed sides, 132 changed coefficients
1.39/1.43	c  3564 implications, 0 cliques
1.39/1.43	c presolved problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 1793 constraints
1.39/1.43	c     143 constraints of type <knapsack>
1.39/1.43	c    1650 constraints of type <linear>
1.39/1.43	c transformed objective value is always integral (scale: 1)
1.39/1.43	c Presolving Time: 1.14
1.39/1.43	c - non default parameters ----------------------------------------------------------------------
1.39/1.43	c # SCIP version 1.2.1.2
1.39/1.43	c 
1.39/1.43	c # frequency for displaying node information lines
1.39/1.43	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.43	c display/freq = 10000
1.39/1.43	c 
1.39/1.43	c # maximal time in seconds to run
1.39/1.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.43	c limits/time = 1799.79
1.39/1.43	c 
1.39/1.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.43	c limits/memory = 1620
1.39/1.43	c 
1.39/1.43	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.43	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.43	c lp/solvefreq = -1
1.39/1.43	c 
1.39/1.43	c # should presolving try to simplify inequalities
1.39/1.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.43	c constraints/linear/simplifyinequalities = TRUE
1.39/1.43	c 
1.39/1.43	c # should presolving try to simplify knapsacks
1.39/1.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.43	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.43	c 
1.39/1.43	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.39/1.43	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.43	c separating/rapidlearning/freq = 0
1.39/1.43	c 
1.39/1.43	c -----------------------------------------------------------------------------------------------
1.39/1.43	c start solving
1.39/1.43	c 
1.39/1.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.44	c   1.2s|     1 |     2 |     0 |     - |  11M|   0 |   - |1812 |1793 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
119.16/119.27	c   119s| 10000 |  4256 |     0 |   0.0 |  30M|1735 |   - |1812 |2769 |   0 |   0 |   0 |6120 |   0 | 0.000000e+00 |      --      |    Inf 
222.84/222.99	c   222s| 20000 |  9832 |     0 |   0.0 |  65M|1735 |   - |1812 |2735 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
294.23/294.36	c   293s| 30000 | 16228 |     0 |   0.0 |  98M|1735 |   - |1812 |3030 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
365.71/365.84	c   364s| 40000 | 22423 |     0 |   0.0 | 128M|1735 |   - |1812 |3352 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
432.10/432.27	c   430s| 50000 | 27972 |     0 |   0.0 | 153M|1735 |   - |1812 |3463 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
499.38/499.58	c   497s| 60000 | 33332 |     0 |   0.0 | 176M|1735 |   - |1812 |3625 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
566.66/566.88	c   564s| 70000 | 39227 |     0 |   0.0 | 203M|1735 |   - |1812 |3248 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
632.64/632.89	c   630s| 80000 | 44645 |     0 |   0.0 | 227M|1735 |   - |1812 |3667 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
698.23/698.50	c   695s| 90000 | 49625 |     0 |   0.0 | 249M|1735 |   - |1812 |3891 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
766.52/766.75	c   763s|100000 | 54246 |     0 |   0.0 | 271M|1735 |   - |1812 |4160 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
835.69/835.98	c   832s|110000 | 58773 |     0 |   0.0 | 292M|1735 |   - |1812 |4363 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
902.36/902.66	c   898s|120000 | 63556 |     0 |   0.0 | 311M|1735 |   - |1812 |4389 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
965.04/965.37	c   960s|130000 | 68774 |     0 |   0.0 | 328M|1735 |   - |1812 |4617 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
1026.83/1027.18	c  1022s|140000 | 74139 |     0 |   0.0 | 348M|1735 |   - |1812 |4897 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
1090.61/1090.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1090.61/1090.93	c  1085s|150000 | 79305 |     0 |   0.0 | 370M|1735 |   - |1812 |4935 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
1156.29/1156.60	c  1151s|160000 | 84816 |     0 |   0.0 | 394M|1735 |   - |1812 |3655 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
1220.57/1221.00	c  1215s|170000 | 90225 |     0 |   0.0 | 414M|1735 |   - |1812 |3868 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
1283.85/1284.26	c  1278s|180000 | 95416 |     0 |   0.0 | 434M|1735 |   - |1812 |4235 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
1347.83/1348.26	c  1341s|190000 |100498 |     0 |   0.0 | 455M|1735 |   - |1812 |4465 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
1414.82/1415.27	c  1408s|200000 |105137 |     0 |   0.0 | 475M|1735 |   - |1812 |4420 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
1483.70/1484.12	c  1476s|210000 |109490 |     0 |   0.0 | 495M|1735 |   - |1812 |4725 |   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
1554.68/1555.10	c  1547s|220000 |113625 |     0 |   0.0 | 514M|1735 |   - |1812 |4865 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 |      --      |    Inf 
1624.27/1624.75	c  1616s|230000 |117849 |     0 |   0.0 | 533M|1735 |   - |1812 |5144 |   0 |   0 |   0 | 147k|   0 | 0.000000e+00 |      --      |    Inf 
1693.46/1693.97	c  1685s|240000 |122102 |     0 |   0.0 | 553M|1735 |   - |1812 |5317 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
1765.74/1766.28	c  1757s|250000 |126163 |     0 |   0.0 | 572M|1735 |   - |1812 |5034 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.51	c 
1800.04/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.51	c Solving Time (sec) : 1791.38
1800.04/1800.51	c Solving Nodes      : 254717
1800.04/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.51	c Gap                : infinite
1800.04/1800.51	s UNKNOWN
1800.04/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.51	c Solving Time       :    1791.38
1800.04/1800.51	c Original Problem   :
1800.04/1800.51	c   Problem name     : HOME/instance-2664253-1276588079.opb
1800.04/1800.51	c   Variables        : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51	c   Constraints      : 3443 initial, 3443 maximal
1800.04/1800.51	c Presolved Problem  :
1800.04/1800.51	c   Problem name     : t_HOME/instance-2664253-1276588079.opb
1800.04/1800.51	c   Variables        : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51	c   Constraints      : 1793 initial, 5535 maximal
1800.04/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   probing          :       1.01          0          0          0          0          0          0          0          0
1800.04/1800.51	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.51	c   linear           :       0.10          0          0          0          0          0       1650        132        132
1800.04/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.51	c   knapsack         :        143          0     687101          0     206889       4662     686044          0          0          0
1800.04/1800.51	c   linear           :       1650          0     682439          0     206889      65752   13233625          0          0          0
1800.04/1800.51	c   logicor          :          0+         0     311781          0          0       3108     126645          0          0          0
1800.04/1800.51	c   countsols        :          0          0          0          0     206889          0          0          0          0          0
1800.04/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.51	c   knapsack         :      68.09       0.00      65.68       0.00       2.41
1800.04/1800.51	c   linear           :    1192.24       0.00    1191.65       0.00       0.59
1800.04/1800.51	c   logicor          :      57.56       0.00      57.56       0.00       0.00
1800.04/1800.51	c   countsols        :       0.13       0.00       0.00       0.00       0.13
1800.04/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.51	c   vbounds          :       0.50          2          0          0
1800.04/1800.51	c   rootredcost      :       0.55          0          0          0
1800.04/1800.51	c   pseudoobj        :       1.36     686871          0          0
1800.04/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.51	c   propagation      :       9.23      73522      72848     654122       36.4       2051       28.5          -
1800.04/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.51	c   applied globally :          -          -          -     167077       31.1          -          -          -
1800.04/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.51	c Pricers            :       Time      Calls       Vars
1800.04/1800.51	c   problem variables:       0.00          0          0
1800.04/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   inference        :      95.28     206889          0          0          0          0     413778
1800.04/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.51	c   LP solutions     :       0.00          -          0
1800.04/1800.51	c   pseudo solutions :       0.00          -          0
1800.04/1800.51	c   oneopt           :       0.31          0          0
1800.04/1800.51	c   trivial          :       0.00          2          0
1800.04/1800.51	c   simplerounding   :       0.00          0          0
1800.04/1800.51	c   zirounding       :       0.00          0          0
1800.04/1800.51	c   rounding         :       0.00          0          0
1800.04/1800.51	c   shifting         :       0.00          0          0
1800.04/1800.51	c   intshifting      :       0.00          0          0
1800.04/1800.51	c   twoopt           :       0.00          0          0
1800.04/1800.51	c   fixandinfer      :       0.00          0          0
1800.04/1800.51	c   feaspump         :       0.00          0          0
1800.04/1800.51	c   coefdiving       :       0.00          0          0
1800.04/1800.51	c   pscostdiving     :       0.00          0          0
1800.04/1800.51	c   fracdiving       :       0.00          0          0
1800.04/1800.51	c   veclendiving     :       0.00          0          0
1800.04/1800.51	c   intdiving        :       0.00          0          0
1800.04/1800.51	c   actconsdiving    :       0.00          0          0
1800.04/1800.51	c   objpscostdiving  :       0.00          0          0
1800.04/1800.51	c   rootsoldiving    :       0.00          0          0
1800.04/1800.51	c   linesearchdiving :       0.00          0          0
1800.04/1800.51	c   guideddiving     :       0.00          0          0
1800.04/1800.51	c   octane           :       0.00          0          0
1800.04/1800.51	c   rens             :       0.00          0          0
1800.04/1800.51	c   rins             :       0.00          0          0
1800.04/1800.51	c   localbranching   :       0.00          0          0
1800.04/1800.51	c   mutation         :       0.00          0          0
1800.04/1800.51	c   crossover        :       0.00          0          0
1800.04/1800.51	c   dins             :       0.00          0          0
1800.04/1800.51	c   undercover       :       0.00          0          0
1800.04/1800.51	c   nlp              :       0.28          0          0
1800.04/1800.51	c   trysol           :       0.11          0          0
1800.04/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.51	c B&B Tree           :
1800.04/1800.51	c   number of runs   :          1
1800.04/1800.51	c   nodes            :     254717
1800.04/1800.51	c   nodes (total)    :     254717
1800.04/1800.51	c   nodes left       :     127867
1800.04/1800.51	c   max depth        :       1735
1800.04/1800.51	c   max depth (total):       1735
1800.04/1800.51	c   backtracks       :      29533 (11.6%)
1800.04/1800.51	c   delayed cutoffs  :      31195
1800.04/1800.51	c   repropagations   :      82897 (2036932 domain reductions, 25694 cutoffs)
1800.04/1800.51	c   avg switch length:       6.37
1800.04/1800.51	c   switching time   :     352.33
1800.04/1800.51	c Solution           :
1800.04/1800.51	c   Solutions found  :          0 (0 improvements)
1800.04/1800.51	c   Primal Bound     :          -
1800.04/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.51	c   Gap              :   infinite
1800.04/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.51	c   Root Iterations  :          0
1801.02/1801.56	c Time complete: 1801.09.

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-2664253-1276588079/watcher-2664253-1276588079 -o /tmp/evaluation-result-2664253-1276588079/solver-2664253-1276588079 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664253-1276588079.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.06 0.02 0.00 3/107 2356
/proc/meminfo: memFree=1699060/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=7852 CPUtime=0
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 1462 0 0 0 0 0 0 0 16 0 1 0 98729 8040448 1385 1992294400 4194304 7136930 140734049155632 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 1996 1391 271 719 0 1275 0

[startup+0.0995639 s]
/proc/loadavg: 0.06 0.02 0.00 3/107 2356
/proc/meminfo: memFree=1699060/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=10200 CPUtime=0.09
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 2030 0 0 0 8 1 0 0 18 0 1 0 98729 10444800 1953 1992294400 4194304 7136930 140734049155632 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 2550 1953 271 719 0 1829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10200

[startup+0.101565 s]
/proc/loadavg: 0.06 0.02 0.00 3/107 2356
/proc/meminfo: memFree=1699060/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=10200 CPUtime=0.1
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 2030 0 0 0 9 1 0 0 18 0 1 0 98729 10444800 1953 1992294400 4194304 7136930 140734049155632 18446744073709551615 5651578 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 2550 1953 271 719 0 1829 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10200

[startup+0.300589 s]
/proc/loadavg: 0.06 0.02 0.00 3/107 2356
/proc/meminfo: memFree=1699060/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=42556 CPUtime=0.29
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 10081 0 0 0 26 3 0 0 18 0 1 0 98729 43577344 9650 1992294400 4194304 7136930 140734049155632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 10639 9650 334 719 0 9918 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42556

[startup+0.700637 s]
/proc/loadavg: 0.06 0.02 0.00 3/107 2356
/proc/meminfo: memFree=1699060/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=43644 CPUtime=0.69
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 11661 0 0 0 64 5 0 0 18 0 1 0 98729 44691456 9945 1992294400 4194304 7136930 140734049155632 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 10911 9945 366 719 0 10190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43644

[startup+1.50073 s]
/proc/loadavg: 0.06 0.02 0.00 2/108 2357
/proc/meminfo: memFree=1660488/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=44672 CPUtime=1.49
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 11944 0 0 0 143 6 0 0 20 0 1 0 98729 45744128 10228 1992294400 4194304 7136930 140734049155632 18446744073709551615 4407919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 11168 10228 386 719 0 10447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44672

[startup+3.10093 s]
/proc/loadavg: 0.06 0.02 0.00 2/108 2357
/proc/meminfo: memFree=1658380/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=46768 CPUtime=3.09
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 12456 0 0 0 301 8 0 0 23 0 1 0 98729 47890432 10740 1992294400 4194304 7136930 140734049155632 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 11692 10740 394 719 0 10971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46768

[startup+6.30031 s]
/proc/loadavg: 0.14 0.03 0.01 2/108 2357
/proc/meminfo: memFree=1656396/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=47700 CPUtime=6.29
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 12709 0 0 0 621 8 0 0 25 0 1 0 98729 48844800 10993 1992294400 4194304 7136930 140734049155632 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 11925 10993 394 719 0 11204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47700

[startup+12.7011 s]
/proc/loadavg: 0.20 0.05 0.01 2/108 2357
/proc/meminfo: memFree=1654412/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=49700 CPUtime=12.69
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 13140 0 0 0 1259 10 0 0 25 0 1 0 98729 50892800 11424 1992294400 4194304 7136930 140734049155632 18446744073709551615 4981233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 12425 11424 394 719 0 11704 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49700

[startup+25.5005 s]
/proc/loadavg: 0.38 0.09 0.03 2/108 2357
/proc/meminfo: memFree=1650320/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=53824 CPUtime=25.48
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 14123 0 0 0 2535 13 0 0 25 0 1 0 98729 55115776 12407 1992294400 4194304 7136930 140734049155632 18446744073709551615 5484165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 13456 12407 394 719 0 12735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53824

[startup+51.1012 s]
/proc/loadavg: 0.59 0.16 0.05 2/108 2357
/proc/meminfo: memFree=1646724/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=57852 CPUtime=51.08
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 15043 0 0 0 5085 23 0 0 25 0 1 0 98729 59240448 13327 1992294400 4194304 7136930 140734049155632 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 14463 13327 394 719 0 13742 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 57852

[startup+102.309 s]
/proc/loadavg: 0.82 0.29 0.10 2/108 2359
/proc/meminfo: memFree=1635316/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=70312 CPUtime=102.27
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 17866 0 0 0 10187 40 0 0 25 0 1 0 98729 71999488 16150 1992294400 4194304 7136930 140734049155632 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 17578 16150 394 719 0 16857 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70312

[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/108 2361
/proc/meminfo: memFree=1615600/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=92984 CPUtime=162.26
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 22818 0 0 0 16161 65 0 0 25 0 1 0 98729 95215616 21102 1992294400 4194304 7136930 140734049155632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 23246 21102 394 719 0 22525 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 92984

[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/108 2363
/proc/meminfo: memFree=1592412/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=119588 CPUtime=222.24
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 28592 0 0 0 22137 87 0 0 25 0 1 0 98729 122458112 26876 1992294400 4194304 7136930 140734049155632 18446744073709551615 4209798 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 29897 26876 394 719 0 29176 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 119588

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/108 2363
/proc/meminfo: memFree=1560668/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=157112 CPUtime=282.23
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 36703 0 0 0 28104 119 0 0 25 0 1 0 98729 160882688 34987 1992294400 4194304 7136930 140734049155632 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 39278 34987 394 719 0 38557 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 157112

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/108 2365
/proc/meminfo: memFree=1531776/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=189656 CPUtime=342.22
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 43701 0 0 0 34077 145 0 0 25 0 1 0 98729 194207744 41985 1992294400 4194304 7136930 140734049155632 18446744073709551615 4947796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 47414 41985 394 719 0 46693 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 189656

[startup+402.301 s]
/proc/loadavg: 1.07 0.75 0.34 2/108 2367
/proc/meminfo: memFree=1501148/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=225420 CPUtime=402.21
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 51444 0 0 0 40046 175 0 0 25 0 1 0 98729 230830080 49728 1992294400 4194304 7136930 140734049155632 18446744073709551615 4923493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 56355 49728 394 719 0 55634 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 225420

[startup+462.301 s]
/proc/loadavg: 1.09 0.81 0.38 2/108 2369
/proc/meminfo: memFree=1477464/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=252724 CPUtime=462.19
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 57347 0 0 0 46014 205 0 0 25 0 1 0 98729 258789376 55631 1992294400 4194304 7136930 140734049155632 18446744073709551615 4924673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 63181 55631 394 719 0 62460 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 252724

[startup+522.301 s]
/proc/loadavg: 1.03 0.84 0.42 2/108 2371
/proc/meminfo: memFree=1452168/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=279652 CPUtime=522.17
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 63579 0 0 0 51983 234 0 0 25 0 1 0 98729 286363648 61863 1992294400 4194304 7136930 140734049155632 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 69913 61863 394 719 0 69192 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 279652

[startup+582.301 s]
/proc/loadavg: 1.01 0.86 0.45 2/108 2371
/proc/meminfo: memFree=1423400/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=312560 CPUtime=582.15
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 70693 0 0 0 57953 262 0 0 25 0 1 0 98729 320061440 68977 1992294400 4194304 7136930 140734049155632 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 78140 68977 394 719 0 77419 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 312560

[startup+642.301 s]
/proc/loadavg: 1.00 0.89 0.48 2/108 2373
/proc/meminfo: memFree=1396864/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=341120 CPUtime=642.14
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 77308 0 0 0 63920 294 0 0 25 0 1 0 98729 349306880 75592 1992294400 4194304 7136930 140734049155632 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 85280 75592 394 719 0 84559 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 341120

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.12 1.03 0.69 2/108 2394
/proc/meminfo: memFree=1241748/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=514772 CPUtime=1062.02
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 115857 0 0 0 105707 495 0 0 25 0 1 0 98729 527126528 114141 1992294400 4194304 7136930 140734049155632 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 128693 114141 394 719 0 127972 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 514772

[startup+1122.3 s]
/proc/loadavg: 1.11 1.04 0.71 2/108 2396
/proc/meminfo: memFree=1217692/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=542628 CPUtime=1122
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 122058 0 0 0 111673 527 0 0 25 0 1 0 98729 555651072 120342 1992294400 4194304 7136930 140734049155632 18446744073709551615 4981228 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 135657 120342 394 719 0 134936 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 542628

[startup+1182.3 s]
/proc/loadavg: 1.10 1.05 0.73 2/108 2396
/proc/meminfo: memFree=1194256/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=568388 CPUtime=1181.98
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 127734 0 0 0 117642 556 0 0 25 0 1 0 98729 582029312 126018 1992294400 4194304 7136930 140734049155632 18446744073709551615 4979085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 142097 126018 394 719 0 141376 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 568388

[startup+1242.3 s]
/proc/loadavg: 1.04 1.03 0.74 2/108 2398
/proc/meminfo: memFree=1169208/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=596260 CPUtime=1241.96
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 133834 0 0 0 123612 584 0 0 25 0 1 0 98729 610570240 132118 1992294400 4194304 7136930 140734049155632 18446744073709551615 4979646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 149065 132118 394 719 0 148344 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 596260

[startup+1302.3 s]
/proc/loadavg: 1.01 1.03 0.75 2/108 2400
/proc/meminfo: memFree=1151228/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=615112 CPUtime=1301.96
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 138297 0 0 0 129583 613 0 0 25 0 1 0 98729 629874688 136581 1992294400 4194304 7136930 140734049155632 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 153778 136581 394 719 0 153057 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 615112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 0.77 2/108 2402
/proc/meminfo: memFree=1122956/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=648308 CPUtime=1361.93
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 145899 0 0 0 135549 644 0 0 25 0 1 0 98729 663867392 144183 1992294400 4194304 7136930 140734049155632 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 162077 144183 394 719 0 161356 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 648308

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 0.78 2/108 2404
/proc/meminfo: memFree=1104356/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=667120 CPUtime=1421.92
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 149996 0 0 0 141518 674 0 0 25 0 1 0 98729 683130880 148280 1992294400 4194304 7136930 140734049155632 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 166780 148280 394 719 0 166059 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 667120

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 0.79 2/108 2404
/proc/meminfo: memFree=1088484/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=685856 CPUtime=1481.9
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 153948 0 0 0 147488 702 0 0 25 0 1 0 98729 702316544 152232 1992294400 4194304 7136930 140734049155632 18446744073709551615 4977981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 171464 152232 394 719 0 170743 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 685856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.80 2/108 2406
/proc/meminfo: memFree=1065420/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=711012 CPUtime=1541.89
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 159714 0 0 0 153458 731 0 0 25 0 1 0 98729 728076288 157998 1992294400 4194304 7136930 140734049155632 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 177753 157998 394 719 0 177032 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 711012

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.81 2/108 2408
/proc/meminfo: memFree=1044712/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=735100 CPUtime=1601.87
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 164845 0 0 0 159429 758 0 0 25 0 1 0 98729 752742400 163129 1992294400 4194304 7136930 140734049155632 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 183775 163129 394 719 0 183054 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 735100

[startup+1662.3 s]
/proc/loadavg: 1.11 1.03 0.83 2/108 2410
/proc/meminfo: memFree=1024872/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=756284 CPUtime=1661.86
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 169776 0 0 0 165401 785 0 0 25 0 1 0 98729 774434816 168060 1992294400 4194304 7136930 140734049155632 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 189071 168060 394 719 0 188350 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 756284

[startup+1722.3 s]
/proc/loadavg: 1.04 1.02 0.84 2/108 2412
/proc/meminfo: memFree=1005652/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=778028 CPUtime=1721.84
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 174547 0 0 0 171371 813 0 0 25 0 1 0 98729 796700672 172831 1992294400 4194304 7136930 140734049155632 18446744073709551615 4980129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 194507 172831 394 719 0 193786 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 778028

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 0.84 2/108 2412
/proc/meminfo: memFree=989408/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=795712 CPUtime=1781.83
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 178523 0 0 0 177344 839 0 0 25 0 1 0 98729 814809088 176807 1992294400 4194304 7136930 140734049155632 18446744073709551615 4925429 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 198928 176807 394 719 0 198207 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 795712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.01 0.84 2/108 2414
/proc/meminfo: memFree=986928/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=798696 CPUtime=1800.04
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 179141 0 0 0 179158 846 0 0 25 0 1 0 98729 817864704 177425 1992294400 4194304 7136930 140734049155632 18446744073709551615 4925146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2356/statm: 199674 177425 394 719 0 198953 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 798696

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.01 1.01 0.84 2/109 2415
/proc/meminfo: memFree=986920/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=798696 CPUtime=1800.15
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 179164 0 0 0 179169 846 0 0 25 0 1 0 98729 817864704 177448 1992294400 4194304 7136930 140734049155632 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 199674 177448 400 719 0 198953 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 798696

[startup+1801 s]
/proc/loadavg: 1.01 1.01 0.84 2/109 2415
/proc/meminfo: memFree=986920/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=798696 CPUtime=1800.53
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 179164 0 0 0 179207 846 0 0 25 0 1 0 98729 817864704 177448 1992294400 4194304 7136930 140734049155632 18446744073709551615 4212411 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 199674 177448 400 719 0 198953 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 798696

[startup+1801.4 s]
/proc/loadavg: 1.01 1.01 0.84 2/109 2415
/proc/meminfo: memFree=986920/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=797672 CPUtime=1800.93
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 179164 0 0 0 179247 846 0 0 25 0 1 0 98729 816816128 177192 1992294400 4194304 7136930 140734049155632 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 199418 177192 400 719 0 198697 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 797672

[startup+1801.5 s]
/proc/loadavg: 1.01 1.01 0.84 2/109 2415
/proc/meminfo: memFree=986920/2059040 swapFree=4192956/4192956
[pid=2356] ppid=2354 vsize=564132 CPUtime=1801.02
/proc/2356/stat : 2356 (pbscip.linux.x8) R 2354 2356 2329 0 -1 4202496 179164 0 0 0 179254 848 0 0 25 0 1 0 98729 577671168 125507 1992294400 4194304 7136930 140734049155632 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2356/statm: 140927 125297 400 719 0 140206 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 564132

Child status: 0
Real time (s): 1801.57
CPU time (s): 1801.11
CPU user time (s): 1792.56
CPU system time (s): 8.5507
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 798696

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

runsolver used 2.97655 second user time and 8.5147 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-15 09:47:59
IDJOB=2664253
IDBENCH=2636
IDSOLVER=1167
FILE ID=node057/2664253-1276588079
PBS_JOBID= 11173556
Free space on /tmp= 62368 MiB

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

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

MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb
RANDOM SEED=1987039856

node057.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.247
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.247
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1701092 kB
Buffers:         14612 kB
Cached:         238548 kB
SwapCached:          0 kB
Active:          94792 kB
Inactive:       217356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1701092 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4188 kB
Writeback:           0 kB
AnonPages:       59000 kB
Mapped:          15284 kB
Slab:            23940 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182116 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= 62368 MiB
End job on node057 at 2010-06-15 10:18:02