Trace number 2665209

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT11 697.863 698.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_1.opb
MD5SUM55d0299800773493d27ef2c1b95d10c5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark398.875
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1248
Sum of products size (including duplicates)2496
Number of different products1248
Sum of products size2496

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665209-1276657264.opb>
0.00/0.02	c original problem has 1348 variables (1348 bin, 0 int, 0 impl, 0 cont) and 1348 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	c presolving:
0.19/0.23	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 35732 impls, 0 clqs
0.39/0.43	c    (0.2s) probing: 101/1348 (7.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.43	c presolving (2 rounds):
0.39/0.43	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.43	c  35732 implications, 0 cliques
0.39/0.43	c presolved problem has 1348 variables (1348 bin, 0 int, 0 impl, 0 cont) and 1348 constraints
0.39/0.43	c    1248 constraints of type <and>
0.39/0.43	c     100 constraints of type <logicor>
0.39/0.43	c transformed objective value is always integral (scale: 1)
0.39/0.43	c Presolving Time: 0.22
0.39/0.43	c - non default parameters ----------------------------------------------------------------------
0.39/0.43	c # SCIP version 1.2.1.2
0.39/0.43	c 
0.39/0.43	c # frequency for displaying node information lines
0.39/0.43	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43	c display/freq = 10000
0.39/0.43	c 
0.39/0.43	c # maximal time in seconds to run
0.39/0.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43	c limits/time = 1799.99
0.39/0.43	c 
0.39/0.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43	c limits/memory = 1620
0.39/0.43	c 
0.39/0.43	c # should presolving try to simplify inequalities
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/linear/simplifyinequalities = TRUE
0.39/0.43	c 
0.39/0.43	c # should presolving try to simplify knapsacks
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43	c 
0.39/0.43	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.43	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43	c heuristics/undercover/freq = 0
0.39/0.43	c 
0.39/0.43	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43	c separating/rapidlearning/freq = 0
0.39/0.43	c 
0.39/0.43	c -----------------------------------------------------------------------------------------------
0.39/0.43	c start solving
0.39/0.43	c 
0.39/0.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.46	c   0.2s|     1 |     0 |   200 |     - |6989k|   0 | 200 |1348 |1348 |1348 |2596 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.47	o 26
0.39/0.47	c s 0.3s|     1 |     0 |   200 |     - |7023k|   0 | 200 |1348 |1348 |1348 |2596 |   0 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
1.00/1.05	c   0.7s|     1 |     0 |   501 |     - |7110k|   0 | 200 |1348 |1348 |1348 |2799 | 203 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
1.00/1.06	o 18
1.00/1.06	c s 0.7s|     1 |     0 |   501 |     - |7127k|   0 | 200 |1348 |1348 |1348 |2799 | 203 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
1.19/1.21	c   0.8s|     1 |     0 |   801 |     - |7214k|   0 | 200 |1348 |1348 |1348 |2999 | 403 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
1.29/1.39	c   1.0s|     1 |     0 |  1103 |     - |7302k|   0 | 200 |1348 |1348 |1348 |3202 | 606 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
1.49/1.58	c   1.2s|     1 |     0 |  1404 |     - |7391k|   0 | 200 |1348 |1348 |1348 |3404 | 808 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
1.79/1.88	c   1.5s|     1 |     0 |  1980 |     - |7478k|   0 | 429 |1348 |1348 |1348 |3606 |1010 |   0 |   0 | 5.650662e+00 | 1.800000e+01 | 218.55%
1.79/1.89	o 16
1.79/1.89	c s 1.5s|     1 |     0 |  1980 |     - |7512k|   0 | 429 |1348 |1348 |1348 |3606 |1010 |   0 |   0 | 5.650662e+00 | 1.600000e+01 | 183.15%
2.49/2.53	c   2.1s|     1 |     0 |  2527 |     - |8073k|   0 | 560 |1348 |1348 |1348 |3690 |1094 |   0 |   0 | 6.767451e+00 | 1.600000e+01 | 136.43%
3.30/3.38	c   2.9s|     1 |     0 |  3151 |     - |8628k|   0 | 683 |1348 |1348 |1348 |3745 |1149 |   0 |   0 | 7.187581e+00 | 1.600000e+01 | 122.61%
4.30/4.39	c   3.9s|     1 |     0 |  3510 |     - |9182k|   0 | 680 |1348 |1348 |1348 |3774 |1178 |   0 |   0 | 7.308322e+00 | 1.600000e+01 | 118.93%
5.39/5.49	c   5.0s|     1 |     0 |  3867 |     - |9607k|   0 | 744 |1348 |1348 |1348 |3789 |1193 |   0 |   0 | 7.423198e+00 | 1.600000e+01 | 115.54%
6.69/6.70	c   6.2s|     1 |     0 |  4143 |     - |  10M|   0 | 706 |1348 |1348 |1348 |3796 |1200 |   0 |   0 | 7.454202e+00 | 1.600000e+01 | 114.64%
7.69/7.71	c   7.2s|     1 |     0 |  4454 |     - |  10M|   0 | 756 |1348 |1348 |1348 |1399 |1211 |   0 |   0 | 7.473545e+00 | 1.600000e+01 | 114.09%
8.29/8.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.29/8.30	c   7.8s|     1 |     0 |  4619 |     - |  10M|   0 | 734 |1348 |1348 |1348 |1407 |1219 |   0 |   0 | 7.478539e+00 | 1.600000e+01 | 113.95%
8.70/8.80	c   8.3s|     1 |     0 |  4741 |     - |  10M|   0 | 755 |1348 |1348 |1348 |1453 |1265 |   0 |   0 | 7.479280e+00 | 1.600000e+01 | 113.92%
9.28/9.39	c   8.9s|     1 |     0 |  4873 |     - |  10M|   0 | 826 |1348 |1348 |1348 |1483 |1295 |   0 |   0 | 7.483815e+00 | 1.600000e+01 | 113.79%
9.99/10.02	c   9.5s|     1 |     0 |  5086 |     - |  10M|   0 | 798 |1348 |1348 |1348 |1497 |1309 |   0 |   0 | 7.491234e+00 | 1.600000e+01 | 113.58%
10.68/10.70	c  10.2s|     1 |     0 |  5308 |     - |  10M|   0 | 791 |1348 |1348 |1348 |1514 |1326 |   0 |   0 | 7.499674e+00 | 1.600000e+01 | 113.34%
11.29/11.32	c  10.8s|     1 |     0 |  5483 |     - |  10M|   0 | 789 |1348 |1348 |1348 |1359 |1345 |   0 |   0 | 7.501776e+00 | 1.600000e+01 | 113.28%
11.79/11.84	c  11.3s|     1 |     0 |  5498 |     - |  10M|   0 | 791 |1348 |1348 |1348 |1370 |1356 |   0 |   0 | 7.501776e+00 | 1.600000e+01 | 113.28%
12.29/12.36	c  11.9s|     1 |     0 |  5502 |     - |  10M|   0 | 789 |1348 |1348 |1348 |1372 |1358 |   0 |   0 | 7.501776e+00 | 1.600000e+01 | 113.28%
12.79/12.88	c  12.4s|     1 |     0 |  5506 |     - |  10M|   0 | 790 |1348 |1348 |1348 |1375 |1361 |   0 |   0 | 7.501776e+00 | 1.600000e+01 | 113.28%
13.09/13.15	c  12.7s|     1 |     0 |  5508 |     - |  10M|   0 | 791 |1348 |1348 |1348 |1377 |1363 |   0 |   0 | 7.501776e+00 | 1.600000e+01 | 113.28%
15.39/15.43	c  14.9s|     1 |     2 |  5508 |     - |  10M|   0 | 791 |1348 |1348 |1348 |1377 |1363 |   0 |  15 | 7.501776e+00 | 1.600000e+01 | 113.28%
39.08/39.10	o 12
39.08/39.10	c *38.1s|    25 |    18 | 12065 | 273.2 |  10M|  13 |   - |1348 |1348 |1348 |1666 |2409 |   0 | 430 | 7.818021e+00 | 1.200000e+01 |  53.49%
54.28/54.31	o 11
54.28/54.31	c *53.1s|    74 |    29 | 25230 | 270.2 |  10M|  15 |   - |1348 |1348 |1348 |1661 |4095 |   0 | 538 | 7.821108e+00 | 1.100000e+01 |  40.65%
697.78/698.04	c 
697.78/698.04	c SCIP Status        : problem is solved [optimal solution found]
697.78/698.04	c Solving Time (sec) : 686.68
697.78/698.04	c Solving Nodes      : 7029
697.78/698.04	c Primal Bound       : +1.10000000000000e+01 (5 solutions)
697.78/698.04	c Dual Bound         : +1.10000000000000e+01
697.78/698.04	c Gap                : 0.00 %
697.78/698.04	s OPTIMUM FOUND
697.78/698.04	v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 
697.78/698.04	v x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 
697.78/698.04	v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 
697.78/698.04	v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 -x1 
697.78/698.04	c SCIP Status        : problem is solved [optimal solution found]
697.78/698.04	c Solving Time       :     686.68
697.78/698.04	c Original Problem   :
697.78/698.04	c   Problem name     : HOME/instance-2665209-1276657264.opb
697.78/698.04	c   Variables        : 1348 (1348 binary, 0 integer, 0 implicit integer, 0 continuous)
697.78/698.04	c   Constraints      : 1348 initial, 1348 maximal
697.78/698.04	c Presolved Problem  :
697.78/698.04	c   Problem name     : t_HOME/instance-2665209-1276657264.opb
697.78/698.04	c   Variables        : 1348 (1348 binary, 0 integer, 0 implicit integer, 0 continuous)
697.78/698.04	c   Constraints      : 1348 initial, 1350 maximal
697.78/698.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
697.78/698.04	c   trivial          :       0.00          0          0          0          0          0          0          0          0
697.78/698.04	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
697.78/698.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
697.78/698.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
697.78/698.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
697.78/698.04	c   probing          :       0.03          0          0          0          0          0          0          0          0
697.78/698.04	c   and              :       0.18          0          0          0          0          0          0          0          0
697.78/698.04	c   logicor          :       0.00          0          0          0          0          0          0          0          0
697.78/698.04	c   root node        :          -         31          -          -         31          -          -          -          -
697.78/698.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
697.78/698.04	c   integral         :          0          0          0       3874          0         70       1174          0          0       7054
697.78/698.04	c   and              :       1248      11880      32409          2          0          1     350316      50573          0          0
697.78/698.04	c   logicor          :        100+        22      15791          2          0          0         16          0          0          0
697.78/698.04	c   countsols        :          0          0          0          2          0          0          0          0          0          0
697.78/698.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
697.78/698.04	c   integral         :     170.58       0.00       0.00     170.58       0.00
697.78/698.04	c   and              :      14.34      10.70       3.63       0.01       0.00
697.78/698.04	c   logicor          :       0.38       0.00       0.38       0.00       0.00
697.78/698.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
697.78/698.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
697.78/698.04	c   vbounds          :       0.05          2          0          0
697.78/698.04	c   rootredcost      :       0.04          2          0          0
697.78/698.04	c   pseudoobj        :       0.30      32445          2          0
697.78/698.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
697.78/698.04	c   propagation      :       0.00          2          2          2        7.5          0        0.0          -
697.78/698.04	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
697.78/698.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
697.78/698.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
697.78/698.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
697.78/698.04	c   applied globally :          -          -          -          2        7.5          -          -          -
697.78/698.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
697.78/698.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
697.78/698.04	c   cut pool         :       0.06         21          -          -        114          -    (maximal pool size: 2346)
697.78/698.04	c   redcost          :       0.64      11915          0      34066          0          0
697.78/698.04	c   impliedbounds    :       0.03         22          0          0       1334          0
697.78/698.04	c   intobj           :       0.00          0          0          0          0          0
697.78/698.04	c   cgmip            :       0.00          0          0          0          0          0
697.78/698.04	c   gomory           :       6.33         22          0          0       2520          0
697.78/698.04	c   strongcg         :       3.36         20          0          0       5498          0
697.78/698.04	c   cmir             :       0.54         10          0          0       1009          0
697.78/698.04	c   flowcover        :       0.40         10          0          0       1094          0
697.78/698.04	c   clique           :       0.13         22          0          0         21          0
697.78/698.04	c   zerohalf         :       0.00          0          0          0          0          0
697.78/698.04	c   mcf              :       0.01          1          0          0          0          0
697.78/698.04	c   rapidlearning    :       0.22          1          0          0          0          0
697.78/698.04	c Pricers            :       Time      Calls       Vars
697.78/698.04	c   problem variables:       0.00          0          0
697.78/698.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
697.78/698.04	c   relpscost        :     170.58       3872         70       1174          0          0       7054
697.78/698.04	c   pscost           :       0.00          0          0          0          0          0          0
697.78/698.04	c   inference        :       0.00          0          0          0          0          0          0
697.78/698.04	c   mostinf          :       0.00          0          0          0          0          0          0
697.78/698.04	c   leastinf         :       0.00          0          0          0          0          0          0
697.78/698.04	c   fullstrong       :       0.00          0          0          0          0          0          0
697.78/698.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
697.78/698.04	c   random           :       0.00          0          0          0          0          0          0
697.78/698.04	c Primal Heuristics  :       Time      Calls      Found
697.78/698.04	c   LP solutions     :       0.00          -          2
697.78/698.04	c   pseudo solutions :       0.00          -          0
697.78/698.04	c   feaspump         :       0.00          0          0
697.78/698.04	c   oneopt           :       0.01          5          0
697.78/698.04	c   crossover        :       0.18          3          0
697.78/698.04	c   objpscostdiving  :       4.93         10          0
697.78/698.04	c   fracdiving       :       6.30         22          0
697.78/698.04	c   veclendiving     :      10.04         22          0
697.78/698.04	c   linesearchdiving :       4.08         23          0
697.78/698.04	c   guideddiving     :       6.59         23          0
697.78/698.04	c   pscostdiving     :       4.46         23          0
697.78/698.04	c   coefdiving       :       2.37         23          0
697.78/698.04	c   rootsoldiving    :       1.22         12          0
697.78/698.04	c   trivial          :       0.00          2          0
697.78/698.04	c   simplerounding   :       0.00          0          0
697.78/698.04	c   zirounding       :       0.28       1000          0
697.78/698.04	c   rounding         :       1.25       1549          0
697.78/698.04	c   shifting         :       1.36       1330          3
697.78/698.04	c   intshifting      :       0.00          0          0
697.78/698.04	c   twoopt           :       0.00          0          0
697.78/698.04	c   fixandinfer      :       0.00          0          0
697.78/698.04	c   intdiving        :       0.00          0          0
697.78/698.04	c   actconsdiving    :       0.00          0          0
697.78/698.04	c   octane           :       0.00          0          0
697.78/698.04	c   rens             :       0.01          0          0
697.78/698.04	c   rins             :       0.00          0          0
697.78/698.04	c   localbranching   :       0.00          0          0
697.78/698.04	c   mutation         :       0.00          0          0
697.78/698.04	c   dins             :       0.00          0          0
697.78/698.04	c   undercover       :       0.00          1          0
697.78/698.04	c   nlp              :       0.01          0          0
697.78/698.04	c   trysol           :       0.00          0          0
697.78/698.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
697.78/698.04	c   primal LP        :      58.03          0          0       0.00       0.00
697.78/698.04	c   dual LP          :     366.97      15938    1208101      75.80    3292.10
697.78/698.04	c   lex dual LP      :       0.00          0          0       0.00          -
697.78/698.04	c   barrier LP       :       0.00          0          0       0.00          -
697.78/698.04	c   diving/probing LP:      36.45       3274     127454      38.93    3496.68
697.78/698.04	c   strong branching :     168.94       3483     624989     179.44    3699.47
697.78/698.04	c     (at root node) :          -         15       7441     496.07          -
697.78/698.04	c   conflict analysis:       0.00          0          0       0.00          -
697.78/698.04	c B&B Tree           :
697.78/698.04	c   number of runs   :          1
697.78/698.04	c   nodes            :       7029
697.78/698.04	c   nodes (total)    :       7029
697.78/698.04	c   nodes left       :          0
697.78/698.04	c   max depth        :         37
697.78/698.04	c   max depth (total):         37
697.78/698.04	c   backtracks       :       1881 (26.8%)
697.78/698.04	c   delayed cutoffs  :          0
697.78/698.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
697.78/698.04	c   avg switch length:       7.79
697.78/698.04	c   switching time   :      61.27
697.78/698.04	c Solution           :
697.78/698.04	c   Solutions found  :          5 (5 improvements)
697.78/698.04	c   First Solution   : +2.60000000000000e+01   (in run 1, after 1 nodes, 0.25 seconds, depth 0, found by <shifting>)
697.78/698.04	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 74 nodes, 53.07 seconds, depth 15, found by <relaxation>)
697.78/698.04	c   Dual Bound       : +1.10000000000000e+01
697.78/698.04	c   Gap              :       0.00 %
697.78/698.04	c   Root Dual Bound  : +7.50177627196976e+00
697.78/698.04	c   Root Iterations  :       5508
697.78/698.07	c Time complete: 697.85.

Verifier Data 

OK	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665209-1276657264/watcher-2665209-1276657264 -o /tmp/evaluation-result-2665209-1276657264/solver-2665209-1276657264 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665209-1276657264.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.04 1.02 1.00 3/106 14585
/proc/meminfo: memFree=1756152/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=10316 CPUtime=0
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1289 0 0 0 0 0 0 0 18 0 1 0 7017375 10563584 1211 1992294400 4194304 9819077 140737200379392 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14585/statm: 2579 1219 371 1374 0 1200 0

[startup+0.070926 s]
/proc/loadavg: 1.04 1.02 1.00 3/106 14585
/proc/meminfo: memFree=1756152/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=18800 CPUtime=0.06
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 4081 0 0 0 4 2 0 0 20 0 1 0 7017375 19251200 3391 1992294400 4194304 9819077 140737200379392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 4700 3391 473 1374 0 3321 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18800

[startup+0.100929 s]
/proc/loadavg: 1.04 1.02 1.00 3/106 14585
/proc/meminfo: memFree=1756152/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=18800 CPUtime=0.09
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 4081 0 0 0 6 3 0 0 20 0 1 0 7017375 19251200 3391 1992294400 4194304 9819077 140737200379392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 4700 3391 473 1374 0 3321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18800

[startup+0.300958 s]
/proc/loadavg: 1.04 1.02 1.00 3/106 14585
/proc/meminfo: memFree=1756152/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=18932 CPUtime=0.29
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 4878 0 0 0 16 13 0 0 20 0 1 0 7017375 19386368 3417 1992294400 4194304 9819077 140737200379392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 4733 3417 493 1374 0 3354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18932

[startup+0.701016 s]
/proc/loadavg: 1.04 1.02 1.00 3/106 14585
/proc/meminfo: memFree=1756152/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=38940 CPUtime=0.69
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 11123 0 0 0 45 24 0 0 20 0 1 0 7017375 39874560 7829 1992294400 4194304 9819077 140737200379392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 9735 7829 680 1374 0 8356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38940

[startup+1.50113 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 14586
/proc/meminfo: memFree=1725888/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=30072 CPUtime=1.49
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 13485 0 0 0 110 39 0 0 23 0 1 0 7017375 30793728 5816 1992294400 4194304 9819077 140737200379392 18446744073709551615 5716606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 7518 5816 690 1374 0 6139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30072

[startup+3.10136 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 14586
/proc/meminfo: memFree=1733452/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=34776 CPUtime=3.09
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 15462 0 0 0 268 41 0 0 25 0 1 0 7017375 35610624 6700 1992294400 4194304 9819077 140737200379392 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 8694 6700 693 1374 0 7315 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34776

[startup+6.30083 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 14586
/proc/meminfo: memFree=1731104/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=35132 CPUtime=6.29
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 17263 0 0 0 585 44 0 0 25 0 1 0 7017375 35975168 6715 1992294400 4194304 9819077 140737200379392 18446744073709551615 8494843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 8783 6715 693 1374 0 7404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35132

[startup+12.7008 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 14586
/proc/meminfo: memFree=1727756/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=36372 CPUtime=12.69
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 20494 0 0 0 1221 48 0 0 25 0 1 0 7017375 37244928 7564 1992294400 4194304 9819077 140737200379392 18446744073709551615 6059679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 9093 7564 700 1374 0 7714 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36372

[startup+25.5006 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 14588
/proc/meminfo: memFree=1727508/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=38656 CPUtime=25.48
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 57531 0 0 0 2482 66 0 0 25 0 1 0 7017375 39583744 7592 1992294400 4194304 9819077 140737200379392 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 9664 7594 715 1374 0 8285 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38656

[startup+51.1004 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 14588
/proc/meminfo: memFree=1727508/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=38688 CPUtime=51.07
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 156098 0 0 0 4992 115 0 0 25 0 1 0 7017375 39616512 7614 1992294400 4194304 9819077 140737200379392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 9672 7614 715 1374 0 8293 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38688

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14590
/proc/meminfo: memFree=1726144/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=40584 CPUtime=102.27
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 350480 0 0 0 10005 222 0 0 25 0 1 0 7017375 41558016 8027 1992294400 4194304 9819077 140737200379392 18446744073709551615 7298818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 10146 8027 727 1374 0 8767 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40584

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14590
/proc/meminfo: memFree=1724656/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=39752 CPUtime=162.25
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 579895 0 0 0 15871 354 0 0 25 0 1 0 7017375 40706048 8378 1992294400 4194304 9819077 140737200379392 18446744073709551615 7311718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 9938 8378 734 1374 0 8559 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39752

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14592
/proc/meminfo: memFree=1720936/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=44180 CPUtime=222.23
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 612395 0 0 0 21829 394 0 0 25 0 1 0 7017375 45240320 9269 1992294400 4194304 9819077 140737200379392 18446744073709551615 6391588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 11045 9269 734 1374 0 9666 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 44180

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14594
/proc/meminfo: memFree=1717464/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=44396 CPUtime=282.21
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 653804 0 0 0 27782 439 0 0 25 0 1 0 7017375 45461504 10064 1992294400 4194304 9819077 140737200379392 18446744073709551615 6396402 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 11099 10064 735 1374 0 9720 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44396

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14596
/proc/meminfo: memFree=1717340/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=44396 CPUtime=342.19
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 662759 0 0 0 33752 467 0 0 25 0 1 0 7017375 45461504 10065 1992294400 4194304 9819077 140737200379392 18446744073709551615 7311663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 11099 10065 735 1374 0 9720 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 44396

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14598
/proc/meminfo: memFree=1717340/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=45976 CPUtime=402.17
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 739396 0 0 0 39683 534 0 0 25 0 1 0 7017375 47079424 10099 1992294400 4194304 9819077 140737200379392 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 11494 10099 735 1374 0 10115 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 45976

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14598
/proc/meminfo: memFree=1717340/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=49232 CPUtime=462.15
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 910517 0 0 0 45581 634 0 0 25 0 1 0 7017375 50413568 10144 1992294400 4194304 9819077 140737200379392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12308 10144 735 1374 0 10929 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 49232

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14600
/proc/meminfo: memFree=1716844/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=47432 CPUtime=522.14
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1130603 0 0 0 51463 751 0 0 25 0 1 0 7017375 48570368 10326 1992294400 4194304 9819077 140737200379392 18446744073709551615 6665891 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 11858 10326 735 1374 0 10479 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 47432

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14602
/proc/meminfo: memFree=1716348/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=47860 CPUtime=582.12
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1348777 0 0 0 57337 875 0 0 25 0 1 0 7017375 49008640 10377 1992294400 4194304 9819077 140737200379392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 11965 10377 735 1374 0 10586 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 47860

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14604
/proc/meminfo: memFree=1716224/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48012 CPUtime=642.11
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1569082 0 0 0 63212 999 0 0 25 0 1 0 7017375 49164288 10437 1992294400 4194304 9819077 140737200379392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12003 10437 735 1374 0 10624 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 48012

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

[startup+665.508 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14604
/proc/meminfo: memFree=1716100/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48196 CPUtime=665.3
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1656364 0 0 0 65482 1048 0 0 25 0 1 0 7017375 49352704 10450 1992294400 4194304 9819077 140737200379392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12049 10450 735 1374 0 10670 0
Current children cumulated CPU time (s) 665.3
Current children cumulated vsize (KiB) 48196

[startup+678.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14604
/proc/meminfo: memFree=1715976/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48016 CPUtime=678.09
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1704520 0 0 0 66738 1071 0 0 25 0 1 0 7017375 49168384 10393 1992294400 4194304 9819077 140737200379392 18446744073709551615 6670453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12004 10393 735 1374 0 10625 0
Current children cumulated CPU time (s) 678.09
Current children cumulated vsize (KiB) 48016

[startup+691.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14604
/proc/meminfo: memFree=1715976/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48076 CPUtime=690.88
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1752513 0 0 0 67991 1097 0 0 25 0 1 0 7017375 49229824 10422 1992294400 4194304 9819077 140737200379392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12019 10422 735 1374 0 10640 0
Current children cumulated CPU time (s) 690.88
Current children cumulated vsize (KiB) 48076

[startup+694.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1715976/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48184 CPUtime=694.09
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1764679 0 0 0 68304 1105 0 0 25 0 1 0 7017375 49340416 10453 1992294400 4194304 9819077 140737200379392 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12046 10453 735 1374 0 10667 0
Current children cumulated CPU time (s) 694.09
Current children cumulated vsize (KiB) 48184

[startup+695.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1715976/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48116 CPUtime=695.68
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1770164 0 0 0 68460 1108 0 0 25 0 1 0 7017375 49270784 10491 1992294400 4194304 9819077 140737200379392 18446744073709551615 7311733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12029 10491 735 1374 0 10650 0
Current children cumulated CPU time (s) 695.68
Current children cumulated vsize (KiB) 48116

[startup+696.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1715852/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48192 CPUtime=696.48
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1772847 0 0 0 68538 1110 0 0 25 0 1 0 7017375 49348608 10428 1992294400 4194304 9819077 140737200379392 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12048 10428 735 1374 0 10669 0
Current children cumulated CPU time (s) 696.48
Current children cumulated vsize (KiB) 48192

[startup+697.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1715852/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48196 CPUtime=697.28
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1775688 0 0 0 68616 1112 0 0 25 0 1 0 7017375 49352704 10443 1992294400 4194304 9819077 140737200379392 18446744073709551615 7311663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12049 10443 735 1374 0 10670 0
Current children cumulated CPU time (s) 697.28
Current children cumulated vsize (KiB) 48196

[startup+697.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1715852/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48208 CPUtime=697.68
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1776919 0 0 0 68655 1113 0 0 25 0 1 0 7017375 49364992 10462 1992294400 4194304 9819077 140737200379392 18446744073709551615 6697188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12052 10462 735 1374 0 10673 0
Current children cumulated CPU time (s) 697.68
Current children cumulated vsize (KiB) 48208

[startup+698.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14606
/proc/meminfo: memFree=1715852/2059040 swapFree=4164948/4192956
[pid=14585] ppid=14583 vsize=48156 CPUtime=697.78
/proc/14585/stat : 14585 (pbscip.linux.x8) R 14583 14585 11912 0 -1 4202496 1777230 0 0 0 68665 1113 0 0 25 0 1 0 7017375 49311744 10453 1992294400 4194304 9819077 140737200379392 18446744073709551615 6361687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14585/statm: 12039 10453 735 1374 0 10660 0
Current children cumulated CPU time (s) 697.78
Current children cumulated vsize (KiB) 48156

Child status: 0
Real time (s): 698.07
CPU time (s): 697.863
CPU user time (s): 686.721
CPU system time (s): 11.1423
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 53936

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

runsolver used 1.13283 second user time and 3.32349 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-16 05:01:04
IDJOB=2665209
IDBENCH=48152
IDSOLVER=1168
FILE ID=node052/2665209-1276657264
PBS_JOBID= 11172443
Free space on /tmp= 62504 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665209-1276657264/watcher-2665209-1276657264 -o /tmp/evaluation-result-2665209-1276657264/solver-2665209-1276657264 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665209-1276657264.opb -t 1800 -m 1800

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

MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5
RANDOM SEED=1416220349

node052.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.262
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.52
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.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1756556 kB
Buffers:         43280 kB
Cached:         146636 kB
SwapCached:       3620 kB
Active:         107820 kB
Inactive:       116976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756556 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:            6364 kB
Writeback:           0 kB
AnonPages:       31196 kB
Mapped:          15060 kB
Slab:            55896 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180800 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= 62500 MiB
End job on node052 at 2010-06-16 05:12:42