Trace number 3485537

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
SCIP spx 2 2011-06-10 (fixed)? 1797.17 1797.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
MD5SUM5946eb43fefc6e626d35d99afd3eec42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1287
Total number of constraints2430
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 constraints2430
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3485537-1307771143.opb>
0.02/0.03	c original problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 2430 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.06	c presolving:
0.02/0.08	c (round 1) 0 del vars, 1210 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 0 impls, 0 clqs
0.19/0.22	c    (0.2s) probing: 112/1287 (8.7%) - 0 fixings, 0 aggregations, 489 implications, 0 bound changes
0.19/0.22	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.22	c presolving (2 rounds):
0.19/0.22	c  0 deleted vars, 1210 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22	c  2530 implications, 0 cliques
0.19/0.22	c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1220 constraints
0.19/0.22	c      10 constraints of type <knapsack>
0.19/0.22	c    1210 constraints of type <linear>
0.19/0.22	c transformed objective value is always integral (scale: 1)
0.19/0.22	c Presolving Time: 0.17
0.19/0.22	c - non default parameters ----------------------------------------------------------------------
0.19/0.22	c # SCIP version 2.0.1.4
0.19/0.22	c 
0.19/0.22	c # frequency for displaying node information lines
0.19/0.22	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22	c display/freq = 10000
0.19/0.22	c 
0.19/0.22	c # maximal time in seconds to run
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/time = 1797
0.19/0.22	c 
0.19/0.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22	c limits/memory = 13950
0.19/0.22	c 
0.19/0.22	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.22	c # [type: int, range: [1,2], default: 1]
0.19/0.22	c timing/clocktype = 2
0.19/0.22	c 
0.19/0.22	c # belongs reading time to solving time?
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c timing/reading = TRUE
0.19/0.22	c 
0.19/0.22	c # should presolving try to simplify inequalities
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/linear/simplifyinequalities = TRUE
0.19/0.22	c 
0.19/0.22	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/indicator/addCouplingCons = TRUE
0.19/0.22	c 
0.19/0.22	c # should presolving try to simplify knapsacks
0.19/0.22	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22	c 
0.19/0.22	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22	c separating/rapidlearning/freq = 0
0.19/0.22	c 
0.19/0.22	c -----------------------------------------------------------------------------------------------
0.19/0.22	c start solving
0.19/0.22	c 
0.19/0.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.27	c   0.3s|     1 |     0 |  1424 |     - |9845k|   0 | 768 |1287 |1237 |1287 |1220 |   0 |  17 |   0 | 1.000000e+01 |      --      |    Inf 
1.39/1.43	c   1.4s|     1 |     0 |  6881 |     - |  11M|   0 | 779 |1287 |1651 |1287 |1334 | 114 |  17 |   0 | 1.000000e+01 |      --      |    Inf 
1.49/1.55	c   1.5s|     1 |     0 |  6966 |     - |  11M|   0 | 783 |1287 |1651 |1287 |1447 | 227 |  17 |   0 | 1.000000e+01 |      --      |    Inf 
1.59/1.69	c   1.7s|     1 |     0 |  7115 |     - |  12M|   0 | 774 |1287 |1651 |1287 |1565 | 345 |  17 |   0 | 1.000000e+01 |      --      |    Inf 
1.79/1.85	c   1.9s|     1 |     0 |  7483 |     - |  13M|   0 | 780 |1287 |1651 |1287 |1677 | 457 |  17 |   0 | 1.000000e+01 |      --      |    Inf 
1.99/2.03	c   2.0s|     1 |     0 |  7781 |     - |  13M|   0 | 795 |1287 |1651 |1287 |1797 | 577 |  17 |   0 | 1.000509e+01 |      --      |    Inf 
2.20/2.22	c   2.2s|     1 |     0 |  8150 |     - |  14M|   0 | 794 |1287 |1651 |1287 |1923 | 703 |  17 |   0 | 1.025000e+01 |      --      |    Inf 
2.49/2.53	c   2.5s|     1 |     0 |  8591 |     - |  14M|   0 | 793 |1287 |1651 |1287 |2031 | 811 |  17 |   0 | 1.025000e+01 |      --      |    Inf 
2.79/2.88	c   2.9s|     1 |     0 | 10184 |     - |  15M|   0 | 797 |1287 |1651 |1287 |2151 | 931 |  17 |   0 | 1.025000e+01 |      --      |    Inf 
3.09/3.17	c   3.2s|     1 |     0 | 10819 |     - |  15M|   0 | 802 |1287 |1651 |1287 |2276 |1056 |  17 |   0 | 1.033333e+01 |      --      |    Inf 
3.39/3.49	c   3.5s|     1 |     0 | 11453 |     - |  16M|   0 | 810 |1287 |1651 |1287 |2404 |1184 |  17 |   0 | 1.033333e+01 |      --      |    Inf 
3.59/3.65	c   3.7s|     1 |     0 | 11869 |     - |  16M|   0 | 787 |1287 |1651 |1287 |2450 |1230 |  17 |   0 | 1.033333e+01 |      --      |    Inf 
3.79/3.81	c   3.8s|     1 |     0 | 12473 |     - |  16M|   0 | 788 |1287 |1651 |1287 |2479 |1259 |  17 |   0 | 1.033333e+01 |      --      |    Inf 
3.89/3.99	c   4.0s|     1 |     0 | 13024 |     - |  16M|   0 | 789 |1287 |1651 |1287 |2524 |1304 |  17 |   0 | 1.033333e+01 |      --      |    Inf 
4.09/4.18	c   4.2s|     1 |     0 | 13809 |     - |  16M|   0 | 781 |1287 |1651 |1287 |2549 |1329 |  17 |   0 | 1.033333e+01 |      --      |    Inf 
8.99/9.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.99/9.08	c   9.1s|     1 |     2 | 13809 |     - |  16M|   0 | 781 |1287 |1651 |1287 |2549 |1329 |  17 |  44 | 1.033333e+01 |      --      |    Inf 
197.59/197.68	c   198s| 10000 |  4580 |  1492k| 147.9 |  30M|  55 | 314 |1287 |3343 |1287 |1488 |1329 |  11k|4756 | 1.500000e+01 |      --      |    Inf 
295.09/295.17	c   295s| 20000 |  6410 |  2344k| 116.5 |  37M|  67 | 379 |1287 |3780 |1287 |1488 |1329 |  24k|7157 | 1.600000e+01 |      --      |    Inf 
386.39/386.41	c   386s| 30000 |  7656 |  3147k| 104.5 |  45M|  67 | 283 |1287 |4374 |1287 |1488 |1329 |  39k|  10k| 1.700000e+01 |      --      |    Inf 
449.20/449.21	c   449s| 40000 |  8423 |  3716k|  92.6 |  51M|  69 | 454 |1287 |6204 |1287 |1488 |1329 |  55k|  11k| 1.700000e+01 |      --      |    Inf 
530.00/530.08	c   530s| 50000 |  9507 |  4392k|  87.6 |  57M|  72 | 342 |1287 |5896 |1287 |1488 |1329 |  69k|  14k| 1.700000e+01 |      --      |    Inf 
592.40/592.46	c   592s| 60000 | 10216 |  4999k|  83.1 |  63M|  75 | 505 |1287 |6144 |1287 |1488 |1329 |  85k|  15k| 1.800000e+01 |      --      |    Inf 
663.80/663.82	c   664s| 70000 | 11070 |  5585k|  79.6 |  68M|  75 |   - |1287 |6152 |1287 |1488 |1329 | 101k|  17k| 1.800000e+01 |      --      |    Inf 
729.40/729.44	c   729s| 80000 | 11681 |  6174k|  77.0 |  73M|  75 | 475 |1287 |6386 |1287 |1488 |1329 | 117k|  19k| 1.800000e+01 |      --      |    Inf 
790.81/790.83	c   791s| 90000 | 12231 |  6732k|  74.7 |  78M|  75 |   - |1287 |6615 |1287 |1488 |1329 | 134k|  20k| 1.860000e+01 |      --      |    Inf 
858.80/858.81	c   859s|100000 | 12633 |  7272k|  72.6 |  81M|  93 |   - |1287 |5844 |1287 |1488 |1329 | 151k|  23k| 1.900000e+01 |      --      |    Inf 
910.81/910.85	c   911s|110000 | 12840 |  7748k|  70.3 |  84M|  93 | 311 |1287 |7497 |1287 |1488 |1329 | 167k|  23k| 1.900000e+01 |      --      |    Inf 
968.21/968.26	c   968s|120000 | 13198 |  8268k|  68.8 |  87M|  93 |   - |1287 |7335 |   0 |   0 |1329 | 184k|  24k| 1.900000e+01 |      --      |    Inf 
1035.70/1035.79	c  1036s|130000 | 13618 |  8832k|  67.8 |  90M|  93 |   - |1287 |8149 |   0 |   0 |1329 | 201k|  27k| 1.900000e+01 |      --      |    Inf 
1098.31/1098.35	c  1098s|140000 | 14208 |  9413k|  67.1 |  96M|  93 | 450 |1287 |7804 |1287 |1488 |1329 | 217k|  28k| 1.900000e+01 |      --      |    Inf 
1152.41/1152.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1152.41/1152.42	c  1152s|150000 | 14691 |  9976k|  66.4 |  98M|  93 | 428 |1287 |6704 |1287 |1488 |1329 | 234k|  28k| 2.000000e+01 |      --      |    Inf 
1208.92/1208.96	c  1209s|160000 | 14944 | 10461k|  65.3 | 102M|  93 | 477 |1287 |7790 |1287 |1488 |1329 | 250k|  30k| 2.000000e+01 |      --      |    Inf 
1273.82/1273.84	c  1274s|170000 | 15257 | 11027k|  64.8 | 105M|  93 | 363 |1287 |7437 |1287 |1488 |1329 | 265k|  32k| 2.000000e+01 |      --      |    Inf 
1337.01/1337.08	c  1337s|180000 | 15717 | 11612k|  64.4 | 108M|  93 | 455 |1287 |7598 |1287 |1488 |1329 | 282k|  34k| 2.033333e+01 |      --      |    Inf 
1383.61/1383.68	c  1384s|190000 | 16006 | 12103k|  63.6 | 111M|  93 |   - |1287 |6990 |   0 |   0 |1329 | 298k|  34k| 2.100000e+01 |      --      |    Inf 
1446.32/1446.32	c  1446s|200000 | 16286 | 12688k|  63.4 | 116M|  93 |   - |1287 |  10k|1287 |1488 |1329 | 315k|  36k| 2.100000e+01 |      --      |    Inf 
1509.22/1509.29	c  1509s|210000 | 16536 | 13217k|  62.9 | 118M|  97 | 308 |1287 |9446 |1287 |1488 |1329 | 330k|  38k| 2.100000e+01 |      --      |    Inf 
1570.12/1570.17	c  1570s|220000 | 16769 | 13720k|  62.3 | 122M|  97 | 285 |1287 |9754 |1287 |1488 |1329 | 346k|  41k| 2.100000e+01 |      --      |    Inf 
1631.73/1631.77	c  1632s|230000 | 16934 | 14275k|  62.0 | 124M|  97 | 317 |1287 |8930 |1287 |1488 |1329 | 362k|  43k| 2.100000e+01 |      --      |    Inf 
1680.93/1680.97	c  1681s|240000 | 17244 | 14807k|  61.6 | 126M|  97 | 317 |1287 |7252 |1287 |1488 |1329 | 377k|  43k| 2.100000e+01 |      --      |    Inf 
1733.93/1733.98	c  1734s|250000 | 17449 | 15330k|  61.3 | 128M|  97 | 414 |1287 |6968 |1287 |1488 |1329 | 393k|  44k| 2.200000e+01 |      --      |    Inf 
1794.72/1794.76	c  1795s|260000 | 17690 | 15912k|  61.2 | 132M|  97 | 209 |1287 |8409 |1287 |1488 |1329 | 408k|  46k| 2.200000e+01 |      --      |    Inf 
1797.03/1797.00	c 
1797.03/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.00	c Solving Time (sec) : 1797.00
1797.03/1797.00	c Solving Nodes      : 260344
1797.03/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00	c Dual Bound         : +2.20000000000000e+01
1797.03/1797.00	c Gap                : infinite
1797.03/1797.00	s UNKNOWN
1797.03/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.00	c Total Time         :    1797.00
1797.03/1797.00	c   solving          :    1797.00
1797.03/1797.00	c   presolving       :       0.17 (included in solving)
1797.03/1797.00	c   reading          :       0.04 (included in solving)
1797.03/1797.00	c Original Problem   :
1797.03/1797.00	c   Problem name     : HOME/instance-3485537-1307771143.opb
1797.03/1797.00	c   Variables        : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00	c   Constraints      : 2430 initial, 2430 maximal
1797.03/1797.00	c Presolved Problem  :
1797.03/1797.00	c   Problem name     : t_HOME/instance-3485537-1307771143.opb
1797.03/1797.00	c   Variables        : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00	c   Constraints      : 1220 initial, 11255 maximal
1797.03/1797.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.03/1797.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   probing          :       0.13          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   linear           :       0.03          0          0          0          0          0       1210          0          0          0
1797.03/1797.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.03/1797.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.00	c   integral         :          0          0          0     161050          0          4          0        332      34573          0          0     306842
1797.03/1797.00	c   knapsack         :         10         14    1449206          0          0          3    1833176       5254     174792        172          0          0
1797.03/1797.00	c   linear           :       1210+        15    1444096          0          0          0    1304063      61241   15952320          2          0          0
1797.03/1797.00	c   logicor          :          0+        14     789227          0          0          0    1788682       4991    1562796          0          0          0
1797.03/1797.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.03/1797.00	c   integral         :     326.86       0.00       0.00     326.86       0.00       0.00       0.00
1797.03/1797.00	c   knapsack         :       9.11       0.00       8.46       0.00       0.00       0.00       0.65
1797.03/1797.00	c   linear           :     156.81       0.00     155.34       0.00       0.00       0.00       1.47
1797.03/1797.00	c   logicor          :      32.91       0.00      31.63       0.00       0.00       0.00       1.29
1797.03/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.03/1797.00	c   vbounds          :          0          0          0          0
1797.03/1797.00	c   rootredcost      :          0          0          0          0
1797.03/1797.00	c   pseudoobj        :    1449155          0          0          0
1797.03/1797.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.03/1797.00	c   vbounds          :       0.19       0.19       0.00
1797.03/1797.00	c   rootredcost      :       0.21       0.21       0.00
1797.03/1797.00	c   pseudoobj        :       0.62       0.62       0.00
1797.03/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.03/1797.00	c   propagation      :       5.59      71486      71469     807342       36.0       3813       22.8          -
1797.03/1797.00	c   infeasible LP    :       9.20      75459      75459     351138       24.5       6158       18.3          0
1797.03/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.03/1797.00	c   applied globally :          -          -          -     409019       24.5          -          -          -
1797.03/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.03/1797.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.03/1797.00	c   cut pool         :       0.01         13          -          -      11088          -    (maximal pool size: 6800)
1797.03/1797.00	c   redcost          :       3.14     161208          0        217          0          0
1797.03/1797.00	c   impliedbounds    :       0.00         14          0          0         29          0
1797.03/1797.00	c   intobj           :       0.00          0          0          0          0          0
1797.03/1797.00	c   gomory           :       0.34         14          0          0        944          0
1797.03/1797.00	c   cgmip            :       0.00          0          0          0          0          0
1797.03/1797.00	c   closecuts        :       0.00          0          0          0          0          0
1797.03/1797.00	c   strongcg         :       0.32         14          0          0        860          0
1797.03/1797.00	c   cmir             :       0.74         10          0          0       5000          0
1797.03/1797.00	c   flowcover        :       0.48         10          0          0       2000          0
1797.03/1797.00	c   clique           :       0.00          1          0          0          0          0
1797.03/1797.00	c   zerohalf         :       0.00          0          0          0          0          0
1797.03/1797.00	c   mcf              :       0.00          1          0          0          0          0
1797.03/1797.00	c   oddcycle         :       0.00          0          0          0          0          0
1797.03/1797.00	c   rapidlearning    :       0.72          1          0          0          0        414
1797.03/1797.00	c Pricers            :       Time      Calls       Vars
1797.03/1797.00	c   problem variables:       0.00          0          0
1797.03/1797.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.00	c   relpscost        :     326.73     161050        332      34573          0          0     306842
1797.03/1797.00	c   pscost           :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   inference        :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   mostinf          :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   leastinf         :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   random           :       0.00          0          0          0          0          0          0
1797.03/1797.00	c Primal Heuristics  :       Time      Calls      Found
1797.03/1797.00	c   LP solutions     :       0.00          -          0
1797.03/1797.00	c   pseudo solutions :       0.00          -          0
1797.03/1797.00	c   oneopt           :       0.09          0          0
1797.03/1797.00	c   crossover        :       0.05          0          0
1797.03/1797.00	c   guideddiving     :       0.01          0          0
1797.03/1797.00	c   intshifting      :       0.01          0          0
1797.03/1797.00	c   objpscostdiving  :      17.52        134          0
1797.03/1797.00	c   rootsoldiving    :       7.59        153          0
1797.03/1797.00	c   fracdiving       :      52.25        306          0
1797.03/1797.00	c   coefdiving       :      66.37        306          0
1797.03/1797.00	c   linesearchdiving :      16.76        331          0
1797.03/1797.00	c   pscostdiving     :      19.40        332          0
1797.03/1797.00	c   veclendiving     :      15.61        332          0
1797.03/1797.00	c   trivial          :       0.00          2          0
1797.03/1797.00	c   shiftandpropagate:       0.03          1          0
1797.03/1797.00	c   simplerounding   :       0.04          0          0
1797.03/1797.00	c   zirounding       :       0.26       1000          0
1797.03/1797.00	c   rounding         :       1.27       5635          0
1797.03/1797.00	c   shifting         :       9.94       1749          0
1797.03/1797.00	c   twoopt           :       0.00          0          0
1797.03/1797.00	c   fixandinfer      :       0.00          0          0
1797.03/1797.00	c   feaspump         :      19.02        140          0
1797.03/1797.00	c   clique           :       0.00          0          0
1797.03/1797.00	c   intdiving        :       0.00          0          0
1797.03/1797.00	c   actconsdiving    :       0.00          0          0
1797.03/1797.00	c   octane           :       0.00          0          0
1797.03/1797.00	c   rens             :       0.00          0          0
1797.03/1797.00	c   rins             :       0.00          0          0
1797.03/1797.00	c   localbranching   :       0.00          0          0
1797.03/1797.00	c   mutation         :       0.00          0          0
1797.03/1797.00	c   dins             :       0.00          0          0
1797.03/1797.00	c   vbounds          :       0.00          0          0
1797.03/1797.00	c   undercover       :       0.00          0          0
1797.03/1797.00	c   subnlp           :       0.04          0          0
1797.03/1797.00	c   trysol           :       0.05          0          0
1797.03/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.03/1797.00	c   primal LP        :       0.00          0          0       0.00          -
1797.03/1797.00	c   dual LP          :     881.64     216954   13790548      63.56   15641.91
1797.03/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1797.03/1797.00	c   barrier LP       :       0.00          0          0       0.00          -
1797.03/1797.00	c   diving/probing LP:     186.35      58278    2143476      36.78   11502.50
1797.03/1797.00	c   strong branching :     312.56      46237    3017981      65.27    9655.68
1797.03/1797.00	c     (at root node) :          -         44      32143     730.52          -
1797.03/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1797.03/1797.00	c B&B Tree           :
1797.03/1797.00	c   number of runs   :          1
1797.03/1797.00	c   nodes            :     260344
1797.03/1797.00	c   nodes (total)    :     260344
1797.03/1797.00	c   nodes left       :      17700
1797.03/1797.00	c   max depth        :         97
1797.03/1797.00	c   max depth (total):         97
1797.03/1797.00	c   backtracks       :      41820 (16.1%)
1797.03/1797.00	c   delayed cutoffs  :      28799
1797.03/1797.00	c   repropagations   :     490550 (5830128 domain reductions, 18108 cutoffs)
1797.03/1797.00	c   avg switch length:       7.62
1797.03/1797.00	c   switching time   :     102.13
1797.03/1797.00	c Solution           :
1797.03/1797.00	c   Solutions found  :          0 (0 improvements)
1797.03/1797.00	c   Primal Bound     :          -
1797.03/1797.00	c   Dual Bound       : +2.20000000000000e+01
1797.03/1797.00	c   Gap              :   infinite
1797.03/1797.00	c   Root Dual Bound  : +1.03333333333333e+01
1797.03/1797.00	c   Root Iterations  :      13809
1797.13/1797.12	c Time complete: 1797.16.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485537-1307771143/watcher-3485537-1307771143 -o /tmp/evaluation-result-3485537-1307771143/solver-3485537-1307771143 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485537-1307771143.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 1/174 19700
/proc/meminfo: memFree=32024816/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=9840 CPUtime=0 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 1475 0 0 0 0 0 0 0 25 0 1 0 621305544 10076160 1429 33554432000 4194304 8979876 140734451582096 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19700/statm: 2460 1429 366 1169 0 1287 0

[startup+0.032193 s]
/proc/loadavg: 2.00 2.00 1.93 1/174 19700
/proc/meminfo: memFree=32024816/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=12508 CPUtime=0.02 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 2116 0 0 0 2 0 0 0 25 0 1 0 621305544 12808192 2070 33554432000 4194304 8979876 140734451582096 18446744073709551615 7718792 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19700/statm: 3127 2070 366 1169 0 1954 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12508

[startup+0.100184 s]
/proc/loadavg: 2.00 2.00 1.93 1/174 19700
/proc/meminfo: memFree=32024816/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=37460 CPUtime=0.09 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 8331 0 0 0 9 0 0 0 25 0 1 0 621305544 38359040 8028 33554432000 4194304 8979876 140734451582096 18446744073709551615 5279512 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 9365 8028 522 1169 0 8192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37460

[startup+0.300163 s]
/proc/loadavg: 2.00 2.00 1.93 1/174 19700
/proc/meminfo: memFree=32024816/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=46432 CPUtime=0.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 11040 0 0 0 27 2 0 0 25 0 1 0 621305544 47546368 10419 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 11608 10419 676 1169 0 10435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46432

[startup+0.701076 s]
/proc/loadavg: 2.00 2.00 1.93 1/174 19700
/proc/meminfo: memFree=32024816/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=46432 CPUtime=0.69 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 11156 0 0 0 66 3 0 0 25 0 1 0 621305544 47546368 10526 33554432000 4194304 8979876 140734451582096 18446744073709551615 7788261 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 11608 10528 694 1169 0 10435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46432

[startup+1.50094 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19749
/proc/meminfo: memFree=31920004/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=67136 CPUtime=1.49 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 16457 0 0 0 145 4 0 0 25 0 1 0 621305544 68747264 15472 33554432000 4194304 8979876 140734451582096 18446744073709551615 4669151 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 16784 15472 734 1169 0 15611 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67136

[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19749
/proc/meminfo: memFree=31907852/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=67136 CPUtime=3.09 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 16836 0 0 0 302 7 0 0 25 0 1 0 621305544 68747264 15818 33554432000 4194304 8979876 140734451582096 18446744073709551615 6601194 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 16784 15818 701 1169 0 15611 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67136

[startup+6.30109 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19749
/proc/meminfo: memFree=31900536/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=72548 CPUtime=6.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 18166 0 0 0 616 13 0 0 25 0 1 0 621305544 74289152 17146 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 18137 17146 703 1169 0 16964 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72548

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19788
/proc/meminfo: memFree=31828600/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=72548 CPUtime=12.69 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 18166 0 0 0 1233 36 0 0 25 0 1 0 621305544 74289152 17146 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 18137 17146 703 1169 0 16964 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72548

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19788
/proc/meminfo: memFree=31829448/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=72548 CPUtime=25.49 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 18170 0 0 0 2464 85 0 0 25 0 1 0 621305544 74289152 17150 33554432000 4194304 8979876 140734451582096 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 18137 17150 707 1169 0 16964 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72548

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20017
/proc/meminfo: memFree=31921196/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=72548 CPUtime=51.08 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 18172 0 0 0 4937 171 0 0 25 0 1 0 621305544 74289152 17152 33554432000 4194304 8979876 140734451582096 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19700/statm: 18137 17152 707 1169 0 16964 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72548

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 20056
/proc/meminfo: memFree=31813392/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=73376 CPUtime=102.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 18289 0 0 0 9871 358 0 0 25 0 1 0 621305544 75137024 17268 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19700/statm: 18344 17268 706 1169 0 17171 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 73376

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 20058
/proc/meminfo: memFree=31807408/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=78888 CPUtime=162.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 36422 0 0 0 15684 545 0 0 25 0 1 0 621305544 80781312 18710 33554432000 4194304 8979876 140734451582096 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19700/statm: 19722 18710 706 1169 0 18549 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 78888

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20059
/proc/meminfo: memFree=31794692/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=90320 CPUtime=222.3 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 58821 0 0 0 21473 757 0 0 25 0 1 0 621305544 92487680 21510 33554432000 4194304 8979876 140734451582096 18446744073709551615 5906332 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19700/statm: 22580 21510 706 1169 0 21407 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 90320

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20061
/proc/meminfo: memFree=31781384/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=97812 CPUtime=282.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 82435 0 0 0 27263 966 0 0 25 0 1 0 621305544 100159488 23439 33554432000 4194304 8979876 140734451582096 18446744073709551615 5284768 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19700/statm: 24453 23439 706 1169 0 23280 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 97812

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20062
/proc/meminfo: memFree=31770168/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=105912 CPUtime=342.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 93339 0 0 0 33039 1190 0 0 25 0 1 0 621305544 108453888 25387 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 26478 25387 706 1169 0 25305 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 105912

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20064
/proc/meminfo: memFree=31754360/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=114112 CPUtime=402.29 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 103739 0 0 0 38830 1399 0 0 25 0 1 0 621305544 116850688 27541 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 28528 27541 706 1169 0 27355 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 114112

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20066
/proc/meminfo: memFree=31743136/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=120736 CPUtime=462.3 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 108901 0 0 0 44633 1597 0 0 25 0 1 0 621305544 123633664 29210 33554432000 4194304 8979876 140734451582096 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 30184 29210 706 1169 0 29011 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 120736

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20067
/proc/meminfo: memFree=31730928/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=126020 CPUtime=522.3 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 116299 0 0 0 50422 1808 0 0 25 0 1 0 621305544 129044480 30492 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 31505 30492 706 1169 0 30332 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 126020

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 20069
/proc/meminfo: memFree=31718956/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=135996 CPUtime=582.3 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 123517 0 0 0 56214 2016 0 0 25 0 1 0 621305544 139259904 32902 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 33999 32902 706 1169 0 32826 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 135996

[startup+642.301 s]

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

/proc/meminfo: memFree=31642296/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=182328 CPUtime=1062.31 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 165490 0 0 0 102641 3590 0 0 25 0 1 0 621305544 186703872 44580 33554432000 4194304 8979876 140734451582096 18446744073709551615 5308319 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 45582 44580 706 1169 0 44409 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 182328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 20095
/proc/meminfo: memFree=31633072/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=188148 CPUtime=1122.31 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 170652 0 0 0 108433 3798 0 0 25 0 1 0 621305544 192663552 45992 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 47037 45992 706 1169 0 45864 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 188148

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 20097
/proc/meminfo: memFree=31626564/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=193308 CPUtime=1182.31 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 173926 0 0 0 114244 3987 0 0 25 0 1 0 621305544 197947392 47358 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 48327 47358 706 1169 0 47154 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 193308

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 20098
/proc/meminfo: memFree=31620568/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=196364 CPUtime=1242.31 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 179279 0 0 0 120051 4180 0 0 25 0 1 0 621305544 201076736 48121 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 49091 48121 706 1169 0 47918 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 196364

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 20100
/proc/meminfo: memFree=31615064/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=199408 CPUtime=1302.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 181166 0 0 0 125853 4379 0 0 25 0 1 0 621305544 204193792 48837 33554432000 4194304 8979876 140734451582096 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 49852 48837 706 1169 0 48679 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 199408

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20102
/proc/meminfo: memFree=31606336/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=205020 CPUtime=1362.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 186341 0 0 0 131649 4583 0 0 25 0 1 0 621305544 209940480 50258 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 51255 50258 706 1169 0 50082 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 205020

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20103
/proc/meminfo: memFree=31599956/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=211872 CPUtime=1422.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 188776 0 0 0 137434 4798 0 0 25 0 1 0 621305544 216956928 51964 33554432000 4194304 8979876 140734451582096 18446744073709551615 6489342 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 52968 51964 706 1169 0 51795 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 211872

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 20105
/proc/meminfo: memFree=31594688/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=216088 CPUtime=1482.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 190545 0 0 0 143233 4999 0 0 25 0 1 0 621305544 221274112 53068 33554432000 4194304 8979876 140734451582096 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 54022 53068 706 1169 0 52849 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 216088

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 20106
/proc/meminfo: memFree=31590536/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=220404 CPUtime=1542.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 191636 0 0 0 149039 5193 0 0 25 0 1 0 621305544 225693696 54152 33554432000 4194304 8979876 140734451582096 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 55101 54152 706 1169 0 53928 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 220404

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 20108
/proc/meminfo: memFree=31586136/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=224608 CPUtime=1602.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 192733 0 0 0 154851 5381 0 0 25 0 1 0 621305544 229998592 55218 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 56152 55218 706 1169 0 54979 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 224608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20148
/proc/meminfo: memFree=31756324/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=229160 CPUtime=1662.32 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 194939 0 0 0 160639 5593 0 0 25 0 1 0 621305544 234659840 56268 33554432000 4194304 8979876 140734451582096 18446744073709551615 7164668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 57290 56268 706 1169 0 56117 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 229160

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 20149
/proc/meminfo: memFree=31708788/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=232976 CPUtime=1722.33 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 198689 0 0 0 166410 5823 0 0 25 0 1 0 621305544 238567424 57218 33554432000 4194304 8979876 140734451582096 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 58244 57218 706 1169 0 57071 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 232976

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31673972/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236036 CPUtime=1782.33 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 200227 0 0 0 172166 6067 0 0 25 0 1 0 621305544 241700864 58054 33554432000 4194304 8979876 140734451582096 18446744073709551615 7047651 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 59009 58054 706 1169 0 57836 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 236036

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31672360/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236036 CPUtime=1785.52 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 200227 0 0 0 172472 6080 0 0 25 0 1 0 621305544 241700864 58054 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 59009 58054 706 1169 0 57836 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 236036

[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31670000/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236532 CPUtime=1791.93 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 201751 0 0 0 173089 6104 0 0 25 0 1 0 621305544 242208768 58128 33554432000 4194304 8979876 140734451582096 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 59133 58128 706 1169 0 57960 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 236532

[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31669128/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236816 CPUtime=1795.13 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 201839 0 0 0 173394 6119 0 0 25 0 1 0 621305544 242499584 58216 33554432000 4194304 8979876 140734451582096 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 59204 58216 706 1169 0 58031 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 236816

[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31669128/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236816 CPUtime=1795.93 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 201839 0 0 0 173470 6123 0 0 25 0 1 0 621305544 242499584 58216 33554432000 4194304 8979876 140734451582096 18446744073709551615 7069337 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 59204 58216 706 1169 0 58031 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 236816

[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31668632/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236816 CPUtime=1796.73 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 201839 0 0 0 173546 6127 0 0 25 0 1 0 621305544 242499584 58216 33554432000 4194304 8979876 140734451582096 18446744073709551615 7109044 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19700/statm: 59204 58216 706 1169 0 58031 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 236816

[startup+1797.1 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 20151
/proc/meminfo: memFree=31668632/32951124 swapFree=67055708/67111528
[pid=19700] ppid=19698 vsize=236816 CPUtime=1797.13 cores=1,3,5,7
/proc/19700/stat : 19700 (scip-2.0.1.4_2.) R 19698 19700 17032 0 -1 4202496 201843 0 0 0 173585 6128 0 0 18 0 1 0 621305544 242499584 58220 33554432000 4194304 8979876 140734451582096 18446744073709551615 6549928 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19700/statm: 59204 58220 710 1169 0 58031 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 236816

Child status: 0
Real time (s): 1797.13
CPU time (s): 1797.17
CPU user time (s): 1735.87
CPU system time (s): 61.2947
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 239020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.87
system time used= 61.2947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201848
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= 6
involuntary context switches= 3675

runsolver used 2.54061 second user time and 5.9111 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-11 07:45:43
IDJOB=3485537
IDBENCH=2643
IDSOLVER=1977
FILE ID=node107/3485537-1307771143
RUNJOBID= node107-1307767547-19423
PBS_JOBID= 13550853
Free space on /tmp= 74116 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485537-1307771143/watcher-3485537-1307771143 -o /tmp/evaluation-result-3485537-1307771143/solver-3485537-1307771143 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485537-1307771143.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42
RANDOM SEED=2076509222

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32024848 kB
Buffers:        136600 kB
Cached:         574476 kB
SwapCached:      19468 kB
Active:         261036 kB
Inactive:       478220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32024848 kB
SwapTotal:    67111528 kB
SwapFree:     67055708 kB
Dirty:           17140 kB
Writeback:           8 kB
AnonPages:       25828 kB
Mapped:          12816 kB
Slab:           121384 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node107 at 2011-06-11 08:15:40