Trace number 2703487

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1789.83 1790.28

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-bnl1.opb
MD5SUM6c2572528741ab95a20df4da6c9423f7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35250
Total number of constraints624
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 constraints624
Minimum length of a constraint30
Maximum length of a constraint2280
Number of terms in the objective function 29490
Biggest coefficient in the objective function 12938266856652800
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 1063579760735919966
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 12938266856652800
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 1063579760735919966
Number of bits of the biggest sum of numbers60
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703487-1278559302.opb>
0.39/0.48	c original problem has 35250 variables (35250 bin, 0 int, 0 impl, 0 cont) and 624 constraints
0.39/0.48	c problem read
0.39/0.48	c presolving settings loaded
0.79/0.87	c presolving:
1.00/1.06	c (round 1) 13711 del vars, 11 del conss, 13563 chg bounds, 78 chg sides, 827 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.17	c (round 2) 18132 del vars, 57 del conss, 17709 chg bounds, 86 chg sides, 1341 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.19/1.22	c (round 3) 20444 del vars, 78 del conss, 19897 chg bounds, 90 chg sides, 1801 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.19/1.26	c (round 4) 21414 del vars, 80 del conss, 20866 chg bounds, 92 chg sides, 1821 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.19/1.27	c (round 5) 21424 del vars, 80 del conss, 20876 chg bounds, 92 chg sides, 1821 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.29/1.38	c (round 6) 21424 del vars, 80 del conss, 20876 chg bounds, 92 chg sides, 1821 chg coeffs, 360 upgd conss, 0 impls, 0 clqs
1.49/1.56	c (round 7) 21466 del vars, 81 del conss, 20890 chg bounds, 435 chg sides, 9943 chg coeffs, 360 upgd conss, 1284 impls, 908 clqs
1.59/1.62	c (round 8) 21497 del vars, 81 del conss, 20894 chg bounds, 441 chg sides, 9954 chg coeffs, 360 upgd conss, 1538 impls, 752 clqs
1.59/1.65	c (round 9) 21505 del vars, 81 del conss, 20894 chg bounds, 441 chg sides, 9954 chg coeffs, 371 upgd conss, 1546 impls, 718 clqs
1.59/1.69	c (round 10) 21512 del vars, 81 del conss, 20895 chg bounds, 447 chg sides, 10216 chg coeffs, 371 upgd conss, 1632 impls, 764 clqs
1.69/1.70	c (round 11) 21513 del vars, 81 del conss, 20895 chg bounds, 448 chg sides, 10217 chg coeffs, 371 upgd conss, 1632 impls, 808 clqs
1.99/2.05	c (round 12) 21563 del vars, 81 del conss, 20895 chg bounds, 448 chg sides, 10217 chg coeffs, 371 upgd conss, 2130 impls, 492 clqs
2.10/2.10	c (round 13) 21563 del vars, 81 del conss, 20895 chg bounds, 449 chg sides, 10218 chg coeffs, 371 upgd conss, 2134 impls, 492 clqs
2.69/2.74	c (round 14) 21613 del vars, 81 del conss, 20895 chg bounds, 449 chg sides, 10218 chg coeffs, 371 upgd conss, 3718 impls, 427 clqs
2.79/2.84	c (round 15) 21613 del vars, 81 del conss, 20895 chg bounds, 458 chg sides, 10229 chg coeffs, 371 upgd conss, 3734 impls, 427 clqs
2.79/2.85	c (round 16) 21613 del vars, 81 del conss, 20895 chg bounds, 464 chg sides, 10242 chg coeffs, 371 upgd conss, 3734 impls, 428 clqs
2.79/2.86	c (round 17) 21613 del vars, 81 del conss, 20895 chg bounds, 466 chg sides, 10244 chg coeffs, 371 upgd conss, 3734 impls, 428 clqs
3.99/4.03	c (round 18) 21663 del vars, 81 del conss, 20895 chg bounds, 466 chg sides, 10244 chg coeffs, 371 upgd conss, 6568 impls, 422 clqs
4.09/4.13	c (round 19) 21664 del vars, 81 del conss, 20896 chg bounds, 471 chg sides, 10251 chg coeffs, 371 upgd conss, 6740 impls, 424 clqs
4.09/4.15	c (round 20) 21664 del vars, 81 del conss, 20896 chg bounds, 472 chg sides, 10255 chg coeffs, 371 upgd conss, 6740 impls, 425 clqs
4.09/4.16	c (round 21) 21664 del vars, 81 del conss, 20896 chg bounds, 474 chg sides, 10257 chg coeffs, 371 upgd conss, 6740 impls, 425 clqs
6.39/6.47	c    (6.0s) probing: 1000/13737 (7.3%) - 187 fixings, 4 aggregations, 3832 implications, 1 bound changes
9.80/9.83	c (round 22) 21714 del vars, 81 del conss, 20897 chg bounds, 474 chg sides, 10257 chg coeffs, 371 upgd conss, 10497 impls, 425 clqs
9.90/9.92	c (round 23) 21732 del vars, 84 del conss, 20897 chg bounds, 479 chg sides, 10273 chg coeffs, 371 upgd conss, 10601 impls, 450 clqs
9.90/9.95	c (round 24) 21732 del vars, 85 del conss, 20897 chg bounds, 486 chg sides, 10289 chg coeffs, 371 upgd conss, 10601 impls, 463 clqs
9.90/9.96	c (round 25) 21732 del vars, 85 del conss, 20897 chg bounds, 487 chg sides, 10293 chg coeffs, 371 upgd conss, 10601 impls, 464 clqs
10.59/10.62	c    (10.1s) probing: 2000/13737 (14.6%) - 210 fixings, 4 aggregations, 4590 implications, 1 bound changes
13.69/13.79	c    (13.3s) probing: 2839/13737 (20.7%) - 212 fixings, 7 aggregations, 4685 implications, 1 bound changes
13.69/13.79	c    (13.3s) probing aborted: 100/100 successive totally useless probings
13.69/13.79	c (round 26) 21751 del vars, 85 del conss, 20897 chg bounds, 487 chg sides, 10293 chg coeffs, 371 upgd conss, 11629 impls, 464 clqs
13.79/13.85	c (round 27) 21751 del vars, 87 del conss, 20897 chg bounds, 492 chg sides, 10306 chg coeffs, 371 upgd conss, 11659 impls, 480 clqs
13.79/13.86	c (round 28) 21751 del vars, 87 del conss, 20897 chg bounds, 504 chg sides, 10325 chg coeffs, 371 upgd conss, 11659 impls, 484 clqs
13.79/13.87	c (round 29) 21751 del vars, 87 del conss, 20897 chg bounds, 505 chg sides, 10326 chg coeffs, 371 upgd conss, 11659 impls, 485 clqs
14.39/14.45	c    (14.0s) probing: 2991/13737 (21.8%) - 215 fixings, 10 aggregations, 4795 implications, 1 bound changes
14.39/14.45	c    (14.0s) probing aborted: 100/100 successive totally useless probings
14.39/14.45	c (round 30) 21757 del vars, 87 del conss, 20897 chg bounds, 505 chg sides, 10326 chg coeffs, 371 upgd conss, 11885 impls, 485 clqs
14.39/14.48	c (round 31) 21757 del vars, 87 del conss, 20897 chg bounds, 506 chg sides, 10328 chg coeffs, 371 upgd conss, 11889 impls, 486 clqs
14.49/14.52	c    (14.0s) probing: 3000/13737 (21.8%) - 215 fixings, 10 aggregations, 4815 implications, 1 bound changes
14.79/14.87	c    (14.4s) probing: 3097/13737 (22.5%) - 215 fixings, 10 aggregations, 4815 implications, 1 bound changes
14.79/14.87	c    (14.4s) probing aborted: 100/100 successive totally useless probings
14.79/14.87	c presolving (32 rounds):
14.79/14.87	c  21757 deleted vars, 87 deleted constraints, 20897 tightened bounds, 0 added holes, 506 changed sides, 10328 changed coefficients
14.79/14.87	c  11929 implications, 486 cliques
14.79/14.87	c presolved problem has 13493 variables (13493 bin, 0 int, 0 impl, 0 cont) and 565 constraints
14.79/14.87	c     369 constraints of type <knapsack>
14.79/14.87	c      24 constraints of type <setppc>
14.79/14.87	c     170 constraints of type <linear>
14.79/14.87	c       2 constraints of type <logicor>
14.79/14.87	c transformed objective value is always integral (scale: 1)
14.79/14.87	c Presolving Time: 14.21
14.79/14.87	c - non default parameters ----------------------------------------------------------------------
14.79/14.87	c # SCIP version 1.2.1.3
14.79/14.87	c 
14.79/14.87	c # frequency for displaying node information lines
14.79/14.87	c # [type: int, range: [-1,2147483647], default: 100]
14.79/14.87	c display/freq = 10000
14.79/14.87	c 
14.79/14.87	c # maximal time in seconds to run
14.79/14.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.79/14.87	c limits/time = 1789.53
14.79/14.87	c 
14.79/14.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.79/14.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.79/14.87	c limits/memory = 1620
14.79/14.87	c 
14.79/14.87	c # default clock type (1: CPU user seconds, 2: wall clock time)
14.79/14.87	c # [type: int, range: [1,2], default: 1]
14.79/14.87	c timing/clocktype = 2
14.79/14.87	c 
14.79/14.87	c # should presolving try to simplify inequalities
14.79/14.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.79/14.87	c constraints/linear/simplifyinequalities = TRUE
14.79/14.87	c 
14.79/14.87	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.79/14.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.79/14.87	c constraints/indicator/addCouplingCons = TRUE
14.79/14.87	c 
14.79/14.87	c # should presolving try to simplify knapsacks
14.79/14.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.79/14.87	c constraints/knapsack/simplifyinequalities = TRUE
14.79/14.87	c 
14.79/14.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.79/14.87	c # [type: int, range: [-1,2147483647], default: -1]
14.79/14.87	c separating/rapidlearning/freq = 0
14.79/14.87	c 
14.79/14.87	c -----------------------------------------------------------------------------------------------
14.79/14.87	c start solving
14.79/14.89	c 
34.88/34.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.88/34.99	c  34.5s|     1 |     2 | 26303 |     - |  83M|   0 |   - |  13k| 565 |  13k| 565 |   0 |   0 |   0 |-7.218589e+10 |      --      |    Inf 
1789.54/1790.09	c 
1789.54/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.09	c Solving Time (sec) : 1789.61
1789.54/1790.09	c Solving Nodes      : 115
1789.54/1790.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.54/1790.09	c Dual Bound         : -6.65609781360000e+10
1789.54/1790.09	c Gap                : infinite
1789.54/1790.09	s UNKNOWN
1789.54/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.09	c Solving Time       :    1789.61
1789.54/1790.09	c Original Problem   :
1789.54/1790.09	c   Problem name     : HOME/instance-2703487-1278559302.opb
1789.54/1790.09	c   Variables        : 35250 (35250 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.09	c   Constraints      : 624 initial, 624 maximal
1789.54/1790.09	c Presolved Problem  :
1789.54/1790.09	c   Problem name     : t_HOME/instance-2703487-1278559302.opb
1789.54/1790.09	c   Variables        : 13493 (13493 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.09	c   Constraints      : 565 initial, 568 maximal
1789.54/1790.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.54/1790.09	c   trivial          :       0.09          1          0          0          0          0          0          0          0
1789.54/1790.09	c   dualfix          :       0.09         30          0          0          0          0          0          0          0
1789.54/1790.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.09	c   implics          :       0.04          0          1          0          0          0          0          0          0
1789.54/1790.09	c   probing          :      12.56        215         10          0          1          0          0          0          0
1789.54/1790.09	c   knapsack         :       0.61         60          0          0         12          0          0        414       8507
1789.54/1790.09	c   setppc           :       0.01          0          0          0          0          0          4          0          0
1789.54/1790.09	c   linear           :       0.55      20917        523          0      20884          0         83         92       1821
1789.54/1790.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.09	c   root node        :          -         12          -          -         12          -          -          -          -
1789.54/1790.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.54/1790.09	c   knapsack         :        369          0       7431          0         85        109        805          0          0          0
1789.54/1790.09	c   setppc           :         24          0       7322          0         85          0         10          0          0          0
1789.54/1790.09	c   linear           :        170          0       7322          0         85         40        128          0          0          0
1789.54/1790.09	c   logicor          :          2+         0         24          0         85          0         10          0          0          0
1789.54/1790.09	c   countsols        :          0          0          0          0         85          0          0          0          0          0
1789.54/1790.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.54/1790.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.09	c   knapsack         :       0.64       0.00       0.64       0.00       0.01
1789.54/1790.09	c   setppc           :       0.03       0.00       0.03       0.00       0.00
1789.54/1790.09	c   linear           :       3.62       0.00       3.62       0.00       0.00
1789.54/1790.09	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.54/1790.09	c   vbounds          :       0.01          2          0          0
1789.54/1790.09	c   rootredcost      :       0.01          0          0          0
1789.54/1790.09	c   pseudoobj        :       0.57        287          0          0
1789.54/1790.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.54/1790.09	c   propagation      :       0.00          1          0          0        0.0          0        0.0          -
1789.54/1790.09	c   infeasible LP    :       0.17         30          7          8        1.6          0        0.0          0
1789.54/1790.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.54/1790.09	c   applied globally :          -          -          -          8        1.6          -          -          -
1789.54/1790.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.54/1790.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.54/1790.09	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1789.54/1790.09	c   redcost          :       0.00          0          0          0          0          0
1789.54/1790.09	c   impliedbounds    :       0.00          0          0          0          0          0
1789.54/1790.09	c   intobj           :       0.00          0          0          0          0          0
1789.54/1790.09	c   cgmip            :       0.00          0          0          0          0          0
1789.54/1790.09	c   gomory           :       0.00          0          0          0          0          0
1789.54/1790.09	c   strongcg         :       0.00          0          0          0          0          0
1789.54/1790.09	c   cmir             :       0.00          0          0          0          0          0
1789.54/1790.09	c   flowcover        :       0.00          0          0          0          0          0
1789.54/1790.09	c   clique           :       0.00          0          0          0          0          0
1789.54/1790.09	c   zerohalf         :       0.00          0          0          0          0          0
1789.54/1790.09	c   mcf              :       0.00          0          0          0          0          0
1789.54/1790.09	c   rapidlearning    :       0.00          0          0          0          0          0
1789.54/1790.09	c Pricers            :       Time      Calls       Vars
1789.54/1790.09	c   problem variables:       0.00          0          0
1789.54/1790.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.09	c   relpscost        :       0.00          0          0          0          0          0          0
1789.54/1790.09	c   pscost           :       0.00          0          0          0          0          0          0
1789.54/1790.09	c   inference        :       0.56         85          0          0          0          0        170
1789.54/1790.09	c   mostinf          :       0.00          0          0          0          0          0          0
1789.54/1790.09	c   leastinf         :       0.00          0          0          0          0          0          0
1789.54/1790.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.54/1790.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.54/1790.09	c   random           :       0.00          0          0          0          0          0          0
1789.54/1790.09	c Primal Heuristics  :       Time      Calls      Found
1789.54/1790.09	c   LP solutions     :       0.00          -          0
1789.54/1790.09	c   pseudo solutions :       0.00          -          0
1789.54/1790.09	c   oneopt           :       0.00          0          0
1789.54/1790.09	c   coefdiving       :       0.00          0          0
1789.54/1790.09	c   pscostdiving     :       0.00          0          0
1789.54/1790.09	c   fracdiving       :       0.00          0          0
1789.54/1790.09	c   veclendiving     :       0.00          0          0
1789.54/1790.09	c   objpscostdiving  :       0.00          0          0
1789.54/1790.09	c   rootsoldiving    :       0.00          0          0
1789.54/1790.09	c   linesearchdiving :       0.00          0          0
1789.54/1790.09	c   guideddiving     :       0.00          0          0
1789.54/1790.09	c   crossover        :       0.00          0          0
1789.54/1790.09	c   trivial          :       0.08          2          0
1789.54/1790.09	c   simplerounding   :       0.00          0          0
1789.54/1790.09	c   zirounding       :       0.00          0          0
1789.54/1790.09	c   rounding         :       0.00          0          0
1789.54/1790.09	c   shifting         :       0.00          0          0
1789.54/1790.09	c   intshifting      :       0.00          0          0
1789.54/1790.09	c   twoopt           :       0.00          0          0
1789.54/1790.09	c   fixandinfer      :       0.00          0          0
1789.54/1790.09	c   feaspump         :       0.00          0          0
1789.54/1790.09	c   intdiving        :       0.00          0          0
1789.54/1790.09	c   actconsdiving    :       0.00          0          0
1789.54/1790.09	c   octane           :       0.00          0          0
1789.54/1790.09	c   rens             :       0.00          0          0
1789.54/1790.09	c   rins             :       0.00          0          0
1789.54/1790.09	c   localbranching   :       0.00          0          0
1789.54/1790.09	c   mutation         :       0.00          0          0
1789.54/1790.09	c   dins             :       0.00          0          0
1789.54/1790.09	c   undercover       :       0.00          0          0
1789.54/1790.09	c   nlp              :       0.00          0          0
1789.54/1790.09	c   trysol           :       0.00          0          0
1789.54/1790.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.54/1790.09	c   primal LP        :       0.00          0          0       0.00          -
1789.54/1790.09	c   dual LP          :    1772.99        319    1977487    6199.02    1115.34
1789.54/1790.09	c   lex dual LP      :       0.00          0          0       0.00          -
1789.54/1790.09	c   barrier LP       :       0.00          0          0       0.00          -
1789.54/1790.09	c   diving/probing LP:       0.00          0          0       0.00          -
1789.54/1790.09	c   strong branching :       0.00          0          0       0.00          -
1789.54/1790.09	c     (at root node) :          -          0          0       0.00          -
1789.54/1790.09	c   conflict analysis:       0.00          0          0       0.00          -
1789.54/1790.09	c B&B Tree           :
1789.54/1790.09	c   number of runs   :          1
1789.54/1790.09	c   nodes            :        115
1789.54/1790.09	c   nodes (total)    :        115
1789.54/1790.09	c   nodes left       :         55
1789.54/1790.09	c   max depth        :         30
1789.54/1790.09	c   max depth (total):         30
1789.54/1790.09	c   backtracks       :         19 (16.5%)
1789.54/1790.09	c   delayed cutoffs  :          1
1789.54/1790.09	c   repropagations   :         85 (13 domain reductions, 0 cutoffs)
1789.54/1790.09	c   avg switch length:       3.63
1789.54/1790.09	c   switching time   :       0.01
1789.54/1790.09	c Solution           :
1789.54/1790.09	c   Solutions found  :          0 (0 improvements)
1789.54/1790.09	c   Primal Bound     :          -
1789.54/1790.09	c   Dual Bound       : -6.65609781360000e+10
1789.54/1790.09	c   Gap              :   infinite
1789.54/1790.09	c   Root Dual Bound  : -7.21858869360000e+10
1789.54/1790.09	c   Root Iterations  :      26303
1789.74/1790.27	c Time complete: 1789.81.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703487-1278559302/watcher-2703487-1278559302 -o /tmp/evaluation-result-2703487-1278559302/solver-2703487-1278559302 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703487-1278559302.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.08 1.05 1.00 3/106 30837
/proc/meminfo: memFree=1541492/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=7904 CPUtime=0
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 1271 0 0 0 0 0 0 0 18 0 1 0 24138081 8093696 1182 1992294400 4194304 8395647 140735300847120 18446744073709551615 7430048 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30837/statm: 1977 1186 369 1026 0 947 0

[startup+0.020482 s]
/proc/loadavg: 1.08 1.05 1.00 3/106 30837
/proc/meminfo: memFree=1541492/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=10864 CPUtime=0.01
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 1997 0 0 0 1 0 0 0 18 0 1 0 24138081 11124736 1907 1992294400 4194304 8395647 140735300847120 18446744073709551615 7276017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30837/statm: 2716 1907 387 1026 0 1686 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10864

[startup+0.10149 s]
/proc/loadavg: 1.08 1.05 1.00 3/106 30837
/proc/meminfo: memFree=1541492/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=27372 CPUtime=0.09
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 6142 0 0 0 7 2 0 0 18 0 1 0 24138081 28028928 6049 1992294400 4194304 8395647 140735300847120 18446744073709551615 5753715 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30837/statm: 6843 6049 389 1026 0 5813 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27372

[startup+0.30151 s]
/proc/loadavg: 1.08 1.05 1.00 3/106 30837
/proc/meminfo: memFree=1541492/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=36788 CPUtime=0.29
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 8471 0 0 0 26 3 0 0 18 0 1 0 24138081 37670912 8376 1992294400 4194304 8395647 140735300847120 18446744073709551615 6767043 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30837/statm: 9197 8376 394 1026 0 8167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36788

[startup+0.701549 s]
/proc/loadavg: 1.08 1.05 1.00 3/106 30837
/proc/meminfo: memFree=1541492/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=83424 CPUtime=0.69
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 20331 0 0 0 62 7 0 0 18 0 1 0 24138081 85426176 19882 1992294400 4194304 8395647 140735300847120 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 20856 19882 431 1026 0 19826 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83424

[startup+1.50063 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30838
/proc/meminfo: memFree=1456420/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=105752 CPUtime=1.49
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 25222 0 0 0 140 9 0 0 19 0 1 0 24138081 108290048 24755 1992294400 4194304 8395647 140735300847120 18446744073709551615 4483005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 26438 24755 498 1026 0 25408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105752

[startup+3.10079 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30838
/proc/meminfo: memFree=1440672/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=108900 CPUtime=3.09
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 26124 0 0 0 300 9 0 0 23 0 1 0 24138081 111513600 25607 1992294400 4194304 8395647 140735300847120 18446744073709551615 5026725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 27225 25607 514 1026 0 26195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108900

[startup+6.3011 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 30838
/proc/meminfo: memFree=1439556/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=109416 CPUtime=6.29
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 26283 0 0 0 620 9 0 0 25 0 1 0 24138081 112041984 25766 1992294400 4194304 8395647 140735300847120 18446744073709551615 5027224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 27354 25766 514 1026 0 26324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109416

[startup+12.7007 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 30838
/proc/meminfo: memFree=1438688/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=110560 CPUtime=12.69
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 26544 0 0 0 1260 9 0 0 25 0 1 0 24138081 113213440 26027 1992294400 4194304 8395647 140735300847120 18446744073709551615 4911907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 27640 26027 519 1026 0 26610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110560

[startup+25.501 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 30838
/proc/meminfo: memFree=1425296/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=124120 CPUtime=25.49
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30600 0 0 0 2532 17 0 0 25 0 1 0 24138081 127098880 29483 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31030 29483 635 1026 0 30000 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124120

[startup+51.1015 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 30840
/proc/meminfo: memFree=1424924/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=124628 CPUtime=51.08
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30717 0 0 0 5070 38 0 0 25 0 1 0 24138081 127619072 29600 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31157 29600 641 1026 0 30127 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 124628

[startup+102.309 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 30840
/proc/meminfo: memFree=1424924/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=124628 CPUtime=102.27
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30729 0 0 0 10150 77 0 0 25 0 1 0 24138081 127619072 29612 1992294400 4194304 8395647 140735300847120 18446744073709551615 6503554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31157 29612 641 1026 0 30127 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 124628

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30842
/proc/meminfo: memFree=1424676/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=124960 CPUtime=162.25
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30801 0 0 0 16113 112 0 0 25 0 1 0 24138081 127959040 29684 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31240 29684 645 1026 0 30210 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 124960

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30844
/proc/meminfo: memFree=1424676/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=124960 CPUtime=222.23
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30900 0 0 0 22076 147 0 0 25 0 1 0 24138081 127959040 29783 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31240 29783 744 1026 0 30210 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 124960

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30846
/proc/meminfo: memFree=1424552/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=282.22
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30916 0 0 0 28032 190 0 0 25 0 1 0 24138081 128102400 29799 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29799 744 1026 0 30245 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 125100

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30848
/proc/meminfo: memFree=1424552/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=342.21
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30916 0 0 0 33997 224 0 0 25 0 1 0 24138081 128102400 29799 1992294400 4194304 8395647 140735300847120 18446744073709551615 6635201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29799 744 1026 0 30245 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 125100

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30848
/proc/meminfo: memFree=1424552/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=402.19
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30916 0 0 0 39958 261 0 0 25 0 1 0 24138081 128102400 29799 1992294400 4194304 8395647 140735300847120 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29799 744 1026 0 30245 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 125100

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30850
/proc/meminfo: memFree=1424552/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=462.18
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30936 0 0 0 45917 301 0 0 25 0 1 0 24138081 128102400 29819 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29819 744 1026 0 30245 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 125100

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30852
/proc/meminfo: memFree=1424428/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=522.16
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30938 0 0 0 51872 344 0 0 25 0 1 0 24138081 128102400 29821 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29821 744 1026 0 30245 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 125100

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30854
/proc/meminfo: memFree=1424428/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=582.15
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30938 0 0 0 57841 374 0 0 25 0 1 0 24138081 128102400 29821 1992294400 4194304 8395647 140735300847120 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29821 744 1026 0 30245 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 125100

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30856
/proc/meminfo: memFree=1424428/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=642.14
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30940 0 0 0 63801 413 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 744 1026 0 30245 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 125100

[startup+702.302 s]

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

/proc/meminfo: memFree=1424056/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1062.03
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 105519 684 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 125100

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30868
/proc/meminfo: memFree=1424056/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1122.01
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 111477 724 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 125100

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30870
/proc/meminfo: memFree=1424056/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1182
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 117440 760 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6502754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 125100

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30872
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1241.98
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 123400 798 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6501698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 125100

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30872
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1301.97
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 129360 837 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 125100

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30874
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1361.95
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 135319 876 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 125100

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30876
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1421.94
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 141278 916 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 125100

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30878
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1481.92
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 147240 952 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 125100

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30880
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1541.91
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 153206 985 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 125100

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30880
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1601.89
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 159164 1025 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 125100

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=1423808/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1661.87
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 165125 1062 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6663860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 125100

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30884
/proc/meminfo: memFree=1423684/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1721.86
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 171084 1102 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 125100

[startup+1782.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1781.84
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 177049 1135 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6670303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 125100

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

[startup+1785.5 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1785.05
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 177368 1137 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 125100

[startup+1788.7 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1788.24
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 177685 1139 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 6708502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 125100

[startup+1789.5 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1789.04
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 177764 1140 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 125100

[startup+1789.9 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1789.44
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30942 0 0 0 177804 1140 0 0 25 0 1 0 24138081 128102400 29823 1992294400 4194304 8395647 140735300847120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29823 742 1026 0 30245 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 125100

[startup+1790.1 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1789.64
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30947 0 0 0 177824 1140 0 0 25 0 1 0 24138081 128102400 29828 1992294400 4194304 8395647 140735300847120 18446744073709551615 6171029 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29828 747 1026 0 30245 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 125100

[startup+1790.2 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30886
/proc/meminfo: memFree=1423560/2059040 swapFree=4144756/4192956
[pid=30837] ppid=30835 vsize=125100 CPUtime=1789.74
/proc/30837/stat : 30837 (pbscip.linux.x8) R 30835 30837 27087 0 -1 4202496 30950 0 0 0 177834 1140 0 0 25 0 1 0 24138081 128102400 29831 1992294400 4194304 8395647 140735300847120 18446744073709551615 6345887 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30837/statm: 31275 29831 750 1026 0 30245 0
Current children cumulated CPU time (s) 1789.74
Current children cumulated vsize (KiB) 125100

Child status: 0
Real time (s): 1790.28
CPU time (s): 1789.83
CPU user time (s): 1778.41
CPU system time (s): 11.4193
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 125856

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

runsolver used 3.15652 second user time and 8.24775 second system time

The end

Launcher Data 

Begin job on node036 at 2010-07-08 05:21:43
IDJOB=2703487
IDBENCH=2421
IDSOLVER=1213
FILE ID=node036/2703487-1278559302
PBS_JOBID= 11239503
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703487-1278559302/watcher-2703487-1278559302 -o /tmp/evaluation-result-2703487-1278559302/solver-2703487-1278559302 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703487-1278559302.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6c2572528741ab95a20df4da6c9423f7
RANDOM SEED=778656452

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1542020 kB
Buffers:         77064 kB
Cached:         326536 kB
SwapCached:      11800 kB
Active:         187508 kB
Inactive:       239912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1542020 kB
SwapTotal:     4192956 kB
SwapFree:      4144756 kB
Dirty:           13264 kB
Writeback:           0 kB
AnonPages:       15396 kB
Mapped:          12080 kB
Slab:            67616 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node036 at 2010-07-08 05:51:33