Trace number 2683167

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.42 1800.91

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand18b530.cudf.paranoid.opb
MD5SUM7d47423dbe0b5ddfaa03904c8689e004
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6563
Best CPU time to get the best result obtained on this benchmark2.39463
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5740
Total number of constraints25674
Number of constraints which are clauses25378
Number of constraints which are cardinality constraints (but not clauses)296
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2129
Biggest coefficient in the objective function 1580
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 872158
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1580
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 872158
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2683167-1277507596.opb>
0.39/0.47	c original problem has 5740 variables (5740 bin, 0 int, 0 impl, 0 cont) and 25674 constraints
0.39/0.47	c problem read
0.39/0.47	c presolving settings loaded
0.39/0.47	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.59/0.60	c presolving:
0.69/0.78	c (round 1) 617 del vars, 1224 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 53234 impls, 293 clqs
0.79/0.82	c (round 2) 701 del vars, 1467 del conss, 43 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 62466 impls, 292 clqs
0.79/0.88	c (round 3) 1019 del vars, 4763 del conss, 285 chg bounds, 0 chg sides, 4 chg coeffs, 0 upgd conss, 63616 impls, 280 clqs
0.89/0.93	c (round 4) 1671 del vars, 9570 del conss, 341 chg bounds, 9 chg sides, 39 chg coeffs, 0 upgd conss, 64138 impls, 277 clqs
0.89/0.96	c (round 5) 1769 del vars, 10279 del conss, 384 chg bounds, 13 chg sides, 48 chg coeffs, 0 upgd conss, 64702 impls, 274 clqs
0.89/0.98	c (round 6) 1843 del vars, 10553 del conss, 410 chg bounds, 15 chg sides, 52 chg coeffs, 0 upgd conss, 65011 impls, 272 clqs
1.00/1.00	c (round 7) 1864 del vars, 10734 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 0 upgd conss, 65025 impls, 272 clqs
1.00/1.02	c (round 8) 1865 del vars, 10740 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 0 upgd conss, 65025 impls, 272 clqs
1.19/1.20	c (round 9) 1866 del vars, 12162 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13468 upgd conss, 65025 impls, 272 clqs
1.19/1.25	c (round 10) 1871 del vars, 12167 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13468 upgd conss, 65025 impls, 272 clqs
1.29/1.30	c (round 11) 1871 del vars, 12168 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13506 upgd conss, 65025 impls, 272 clqs
1.49/1.59	c (round 12) 1921 del vars, 12168 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 74709 impls, 267 clqs
1.59/1.61	c (round 13) 1923 del vars, 12256 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 74809 impls, 267 clqs
1.59/1.63	c (round 14) 1933 del vars, 12291 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 74809 impls, 267 clqs
1.89/1.93	c (round 15) 1983 del vars, 12292 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 78723 impls, 266 clqs
1.89/1.95	c (round 16) 1984 del vars, 12341 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 78731 impls, 266 clqs
2.10/2.20	c (round 17) 2034 del vars, 12342 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 81039 impls, 265 clqs
2.20/2.22	c (round 18) 2034 del vars, 12348 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 81039 impls, 265 clqs
2.20/2.29	c    (1.6s) probing: 1000/3869 (25.8%) - 26 fixings, 124 aggregations, 4786 implications, 0 bound changes
2.39/2.46	c (round 19) 2084 del vars, 12348 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 83583 impls, 264 clqs
2.39/2.48	c (round 20) 2086 del vars, 12355 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 83589 impls, 264 clqs
2.59/2.69	c (round 21) 2136 del vars, 12355 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 84951 impls, 262 clqs
2.69/2.71	c (round 22) 2137 del vars, 12377 del conss, 410 chg bounds, 16 chg sides, 54 chg coeffs, 13507 upgd conss, 84953 impls, 262 clqs
2.69/2.75	c (round 23) 2137 del vars, 12378 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 84953 impls, 262 clqs
2.79/2.81	c (round 24) 2137 del vars, 12406 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 84953 impls, 262 clqs
2.99/3.01	c (round 25) 2187 del vars, 12406 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 85895 impls, 262 clqs
2.99/3.03	c (round 26) 2187 del vars, 12409 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 85895 impls, 262 clqs
2.99/3.08	c    (2.3s) probing: 2000/3869 (51.7%) - 36 fixings, 264 aggregations, 6943 implications, 0 bound changes
3.09/3.20	c (round 27) 2237 del vars, 12409 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 87017 impls, 262 clqs
3.20/3.22	c (round 28) 2237 del vars, 12437 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 87017 impls, 262 clqs
3.39/3.40	c (round 29) 2287 del vars, 12437 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 88411 impls, 262 clqs
3.39/3.42	c (round 30) 2287 del vars, 12450 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 88411 impls, 262 clqs
3.59/3.65	c    (2.8s) probing: 3000/3869 (77.5%) - 58 fixings, 390 aggregations, 9352 implications, 0 bound changes
3.59/3.65	c (round 31) 2337 del vars, 12450 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 90527 impls, 262 clqs
3.59/3.67	c (round 32) 2337 del vars, 12489 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 90527 impls, 262 clqs
3.79/3.82	c (round 33) 2337 del vars, 12548 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 90527 impls, 262 clqs
4.19/4.20	c (round 34) 2387 del vars, 12548 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 97503 impls, 262 clqs
4.19/4.22	c (round 35) 2410 del vars, 12655 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 97563 impls, 262 clqs
4.19/4.29	c (round 36) 2410 del vars, 12659 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 97563 impls, 262 clqs
4.29/4.40	c (round 37) 2419 del vars, 12659 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 98779 impls, 262 clqs
4.40/4.42	c (round 38) 2428 del vars, 12677 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 98803 impls, 262 clqs
4.40/4.49	c (round 39) 2428 del vars, 12705 del conss, 410 chg bounds, 17 chg sides, 54 chg coeffs, 13507 upgd conss, 98803 impls, 262 clqs
4.49/4.53	c presolving (40 rounds):
4.49/4.53	c  2428 deleted vars, 12705 deleted constraints, 410 tightened bounds, 0 added holes, 17 changed sides, 54 changed coefficients
4.49/4.53	c  98803 implications, 262 cliques
4.49/4.53	c presolved problem has 3312 variables (3312 bin, 0 int, 0 impl, 0 cont) and 12973 constraints
4.49/4.53	c     263 constraints of type <setppc>
4.49/4.53	c   12710 constraints of type <logicor>
4.49/4.53	c transformed objective value is always integral (scale: 1)
4.49/4.53	c Presolving Time: 3.51
4.49/4.53	c - non default parameters ----------------------------------------------------------------------
4.49/4.53	c # SCIP version 1.2.1.2
4.49/4.53	c 
4.49/4.53	c # frequency for displaying node information lines
4.49/4.53	c # [type: int, range: [-1,2147483647], default: 100]
4.49/4.53	c display/freq = 10000
4.49/4.53	c 
4.49/4.53	c # maximal time in seconds to run
4.49/4.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.53	c limits/time = 1799.53
4.49/4.53	c 
4.49/4.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.53	c limits/memory = 1620
4.49/4.53	c 
4.49/4.53	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.49/4.53	c # [type: int, range: [-1,2147483647], default: 1]
4.49/4.53	c lp/solvefreq = -1
4.49/4.53	c 
4.49/4.53	c # should presolving try to simplify inequalities
4.49/4.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.53	c constraints/linear/simplifyinequalities = TRUE
4.49/4.53	c 
4.49/4.53	c # should presolving try to simplify knapsacks
4.49/4.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.53	c constraints/knapsack/simplifyinequalities = TRUE
4.49/4.53	c 
4.49/4.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.49/4.53	c # [type: int, range: [-1,2147483647], default: -1]
4.49/4.53	c separating/rapidlearning/freq = 0
4.49/4.53	c 
4.49/4.53	c -----------------------------------------------------------------------------------------------
4.49/4.53	c start solving
4.49/4.54	c 
4.49/4.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.49/4.55	c   3.6s|     1 |     2 |     0 |     - |  29M|   0 |   - |3312 |  12k|   0 |   0 |   0 |   0 |   0 | 6.533000e+03 |      --      |    Inf 
107.76/107.87	c   107s| 10000 |  9977 |     0 |   0.0 |  36M|  57 |   - |3312 |  12k|   0 |   0 |   0 |  12 |   0 | 6.540000e+03 |      --      |    Inf 
208.42/208.50	c   207s| 20000 | 19966 |     0 |   0.0 |  42M| 129 |   - |3312 |  12k|   0 |   0 |   0 |  18 |   0 | 6.542000e+03 |      --      |    Inf 
302.60/302.76	c   301s| 30000 | 29954 |     0 |   0.0 |  48M| 129 |   - |3312 |  12k|   0 |   0 |   0 |  24 |   0 | 6.542000e+03 |      --      |    Inf 
397.67/397.81	c   395s| 40000 | 39952 |     0 |   0.0 |  54M| 129 |   - |3312 |  12k|   0 |   0 |   0 |  26 |   0 | 6.542000e+03 |      --      |    Inf 
490.95/491.12	c   488s| 50000 | 49944 |     0 |   0.0 |  59M| 129 |   - |3312 |  12k|   0 |   0 |   0 |  30 |   0 | 6.542000e+03 |      --      |    Inf 
581.22/581.44	c   578s| 60000 | 59942 |     0 |   0.0 |  64M| 129 |   - |3312 |  12k|   0 |   0 |   0 |  31 |   0 | 6.543000e+03 |      --      |    Inf 
673.40/673.68	c   670s| 70000 | 69926 |     0 |   0.0 |  70M| 137 |   - |3312 |  13k|   0 |   0 |   0 |  39 |   0 | 6.543000e+03 |      --      |    Inf 
766.67/766.92	c   763s| 80000 | 79920 |     0 |   0.0 |  75M| 163 |   - |3312 |  13k|   0 |   0 |   0 |  42 |   0 | 6.543000e+03 |      --      |    Inf 
856.45/856.77	c   853s| 90000 | 89906 |     0 |   0.0 |  81M| 165 |   - |3312 |  13k|   0 |   0 |   0 |  50 |   0 | 6.543000e+03 |      --      |    Inf 
945.93/946.24	c   942s|100000 | 99899 |     0 |   0.0 |  86M| 165 |   - |3312 |  13k|   0 |   0 |   0 |  54 |   0 | 6.543000e+03 |      --      |    Inf 
1036.91/1037.28	c  1032s|110000 |109885 |     0 |   0.0 |  91M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  62 |   0 | 6.543000e+03 |      --      |    Inf 
1129.29/1129.65	c  1124s|120000 |119885 |     0 |   0.0 |  97M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  62 |   0 | 6.543000e+03 |      --      |    Inf 
1220.85/1221.20	c  1216s|130000 |129881 |     0 |   0.0 | 102M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  64 |   0 | 6.543000e+03 |      --      |    Inf 
1312.03/1312.41	c  1307s|140000 |139881 |     0 |   0.0 | 108M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  64 |   0 | 6.543000e+03 |      --      |    Inf 
1402.91/1403.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1402.91/1403.38	c  1397s|150000 |149881 |     0 |   0.0 | 113M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  64 |   0 | 6.543000e+03 |      --      |    Inf 
1493.58/1494.08	c  1488s|160000 |159879 |     0 |   0.0 | 119M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  65 |   0 | 6.543000e+03 |      --      |    Inf 
1584.06/1584.55	c  1578s|170000 |169879 |     0 |   0.0 | 124M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  65 |   0 | 6.543000e+03 |      --      |    Inf 
1674.34/1674.87	c  1668s|180000 |179879 |     0 |   0.0 | 130M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  65 |   0 | 6.543000e+03 |      --      |    Inf 
1764.31/1764.80	c  1757s|190000 |189879 |     0 |   0.0 | 135M| 171 |   - |3312 |  13k|   0 |   0 |   0 |  65 |   0 | 6.543000e+03 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51	c 
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time (sec) : 1792.79
1800.01/1800.51	c Solving Nodes      : 193990
1800.01/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51	c Dual Bound         : +6.54300000000000e+03
1800.01/1800.51	c Gap                : infinite
1800.01/1800.51	s UNKNOWN
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time       :    1792.79
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2683167-1277507596.opb
1800.01/1800.51	c   Variables        : 5740 (5740 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 25674 initial, 25674 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2683167-1277507596.opb
1800.01/1800.51	c   Variables        : 3312 (3312 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 12973 initial, 13024 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.04         14          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.02        613          0          0          0          0          0          0          0
1800.01/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   implics          :       0.04          0        185          0          0          0          0          0          0
1800.01/1800.51	c   probing          :       1.97        111        398          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :       0.02          0          0          0          0          0         13          1          0
1800.01/1800.51	c   linear           :       0.35        396        711          0        410          0      12167         16         54
1800.01/1800.51	c   logicor          :       0.96          0          0          0          0          0        525          0          0
1800.01/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :        263          0     585653          0     193930         43      40048          0          0          0
1800.01/1800.51	c   logicor          :      12710+         0     542195          0     193930        109    1112938          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0     193930          0          0          0          0          0
1800.01/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c   setppc           :      39.05       0.00       9.98       0.00      29.07
1800.01/1800.51	c   logicor          :    1390.44       0.00      11.72       0.00    1378.72
1800.01/1800.51	c   countsols        :       0.17       0.00       0.00       0.00       0.17
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       0.44          2          0          0
1800.01/1800.51	c   rootredcost      :       0.35          0          0          0
1800.01/1800.51	c   pseudoobj        :      67.65     574997          0          0
1800.01/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.51	c   propagation      :       0.00         62         59         62        2.2          4        2.2          -
1800.01/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.51	c   applied globally :          -          -          -         66        2.2          -          -          -
1800.01/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.51	c Pricers            :       Time      Calls       Vars
1800.01/1800.51	c   problem variables:       0.00          0          0
1800.01/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   inference        :     263.89     193930          0          0          0          0     387860
1800.01/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.51	c   LP solutions     :       0.00          -          0
1800.01/1800.51	c   pseudo solutions :       0.00          -          0
1800.01/1800.51	c   oneopt           :       0.17          0          0
1800.01/1800.51	c   trivial          :       0.02          2          0
1800.01/1800.51	c   simplerounding   :       0.00          0          0
1800.01/1800.51	c   zirounding       :       0.00          0          0
1800.01/1800.51	c   rounding         :       0.00          0          0
1800.01/1800.51	c   shifting         :       0.00          0          0
1800.01/1800.51	c   intshifting      :       0.00          0          0
1800.01/1800.51	c   twoopt           :       0.00          0          0
1800.01/1800.51	c   fixandinfer      :       0.00          0          0
1800.01/1800.51	c   feaspump         :       0.00          0          0
1800.01/1800.51	c   coefdiving       :       0.00          0          0
1800.01/1800.51	c   pscostdiving     :       0.00          0          0
1800.01/1800.51	c   fracdiving       :       0.00          0          0
1800.01/1800.51	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       0.46          0          0
1800.01/1800.51	c   trysol           :       0.11          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :     193990
1800.01/1800.51	c   nodes (total)    :     193990
1800.01/1800.51	c   nodes left       :     193867
1800.01/1800.51	c   max depth        :        171
1800.01/1800.51	c   max depth (total):        171
1800.01/1800.51	c   backtracks       :       2836 (1.5%)
1800.01/1800.51	c   delayed cutoffs  :          4
1800.01/1800.51	c   repropagations   :       3121 (300 domain reductions, 2 cutoffs)
1800.01/1800.51	c   avg switch length:       2.64
1800.01/1800.51	c   switching time   :      11.99
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :          0 (0 improvements)
1800.01/1800.51	c   Primal Bound     :          -
1800.01/1800.51	c   Dual Bound       : +6.54300000000000e+03
1800.01/1800.51	c   Gap              :   infinite
1800.01/1800.51	c   Root Dual Bound  : +6.53300000000000e+03
1800.01/1800.51	c   Root Iterations  :          0
1800.40/1800.90	c Time complete: 1800.4.

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-2683167-1277507596/watcher-2683167-1277507596 -o /tmp/evaluation-result-2683167-1277507596/solver-2683167-1277507596 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683167-1277507596.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31412
/proc/meminfo: memFree=1756768/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=5556 CPUtime=0
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 92052342 5689344 808 1992294400 4194304 7136930 140735206790080 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 1389 811 249 719 0 668 0

[startup+0.084569 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31412
/proc/meminfo: memFree=1756768/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=12332 CPUtime=0.07
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 2566 0 0 0 7 0 0 0 20 0 1 0 92052342 12627968 2488 1992294400 4194304 7136930 140735206790080 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 3083 2491 271 719 0 2362 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12332

[startup+0.10057 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31412
/proc/meminfo: memFree=1756768/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=13344 CPUtime=0.09
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 2839 0 0 0 8 1 0 0 20 0 1 0 92052342 13664256 2760 1992294400 4194304 7136930 140735206790080 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 3336 2760 271 719 0 2615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13344

[startup+0.300591 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31412
/proc/meminfo: memFree=1756768/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=18732 CPUtime=0.29
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 4164 0 0 0 28 1 0 0 20 0 1 0 92052342 19181568 4085 1992294400 4194304 7136930 140735206790080 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 4683 4085 271 719 0 3962 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18732

[startup+0.700636 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 31412
/proc/meminfo: memFree=1756768/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=49008 CPUtime=0.69
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 11835 0 0 0 64 5 0 0 20 0 1 0 92052342 50184192 11402 1992294400 4194304 7136930 140735206790080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 12252 11402 342 719 0 11531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49008

[startup+1.50072 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31413
/proc/meminfo: memFree=1709516/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=55956 CPUtime=1.49
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 18989 0 0 0 129 20 0 0 22 0 1 0 92052342 57298944 13192 1992294400 4194304 7136930 140735206790080 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 13989 13192 370 719 0 13268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55956

[startup+3.1009 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31413
/proc/meminfo: memFree=1703936/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=57500 CPUtime=3.09
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 26572 0 0 0 273 36 0 0 25 0 1 0 92052342 58880000 13582 1992294400 4194304 7136930 140735206790080 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 14375 13582 376 719 0 13654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57500

[startup+6.30125 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31413
/proc/meminfo: memFree=1702324/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=58528 CPUtime=6.29
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 31982 0 0 0 579 50 0 0 25 0 1 0 92052342 59932672 13855 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 14632 13855 392 719 0 13911 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58528

[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31413
/proc/meminfo: memFree=1701828/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=58944 CPUtime=12.68
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 32083 0 0 0 1216 52 0 0 25 0 1 0 92052342 60358656 13956 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 14736 13956 392 719 0 14015 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58944

[startup+25.5004 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31413
/proc/meminfo: memFree=1700588/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=60184 CPUtime=25.47
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 32399 0 0 0 2490 57 0 0 25 0 1 0 92052342 61628416 14272 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 15046 14272 392 719 0 14325 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 60184

[startup+51.1002 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31415
/proc/meminfo: memFree=1699224/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=61772 CPUtime=51.07
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 32777 0 0 0 5042 65 0 0 25 0 1 0 92052342 63254528 14650 1992294400 4194304 7136930 140735206790080 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 15443 14650 392 719 0 14722 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61772

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31415
/proc/meminfo: memFree=1693644/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=66984 CPUtime=102.26
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 34105 0 0 0 10145 81 0 0 25 0 1 0 92052342 68591616 15978 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 16746 15978 392 719 0 16025 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66984

[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31417
/proc/meminfo: memFree=1689676/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=70852 CPUtime=162.23
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 35078 0 0 0 16122 101 0 0 25 0 1 0 92052342 72552448 16951 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 17713 16951 392 719 0 16992 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 70852

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31419
/proc/meminfo: memFree=1686080/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=74444 CPUtime=222.22
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 36012 0 0 0 22100 122 0 0 25 0 1 0 92052342 76230656 17885 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 18611 17885 392 719 0 17890 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74444

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31421
/proc/meminfo: memFree=1680748/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=79592 CPUtime=282.2
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 37310 0 0 0 28077 143 0 0 25 0 1 0 92052342 81502208 19183 1992294400 4194304 7136930 140735206790080 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 19898 19183 392 719 0 19177 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 79592

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31423
/proc/meminfo: memFree=1676036/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=84092 CPUtime=342.19
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 38461 0 0 0 34055 164 0 0 25 0 1 0 92052342 86110208 20334 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 21023 20334 392 719 0 20302 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 84092

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31423
/proc/meminfo: memFree=1672316/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=87604 CPUtime=402.17
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 39378 0 0 0 40032 185 0 0 25 0 1 0 92052342 89706496 21251 1992294400 4194304 7136930 140735206790080 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 21901 21251 392 719 0 21180 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 87604

[startup+462.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31425
/proc/meminfo: memFree=1670208/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=89768 CPUtime=462.16
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 39920 0 0 0 46011 205 0 0 25 0 1 0 92052342 91922432 21793 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 22442 21793 392 719 0 21721 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 89768

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31427
/proc/meminfo: memFree=1665992/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=93664 CPUtime=522.14
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 40929 0 0 0 51987 227 0 0 25 0 1 0 92052342 95911936 22802 1992294400 4194304 7136930 140735206790080 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 23416 22802 392 719 0 22695 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 93664

[startup+582.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31429
/proc/meminfo: memFree=1662272/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=97240 CPUtime=582.12
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 41868 0 0 0 57964 248 0 0 25 0 1 0 92052342 99573760 23741 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 24310 23741 392 719 0 23589 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 97240

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31431
/proc/meminfo: memFree=1657436/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=104072 CPUtime=642.12
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 43087 0 0 0 63941 271 0 0 25 0 1 0 92052342 106569728 24960 1992294400 4194304 7136930 140735206790080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 26018 24960 392 719 0 25297 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 104072

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31439
/proc/meminfo: memFree=1632388/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=128068 CPUtime=1002.01
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 49238 0 0 0 99805 396 0 0 25 0 1 0 92052342 131141632 31111 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 32017 31111 392 719 0 31296 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 128068

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31441
/proc/meminfo: memFree=1627800/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=132504 CPUtime=1062
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 50362 0 0 0 105783 417 0 0 25 0 1 0 92052342 135684096 32235 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 33126 32235 392 719 0 32405 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 132504

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31443
/proc/meminfo: memFree=1624576/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=135612 CPUtime=1121.98
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 51173 0 0 0 111762 436 0 0 25 0 1 0 92052342 138866688 33046 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 33903 33046 392 719 0 33182 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 135612

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31448
/proc/meminfo: memFree=1622220/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=137084 CPUtime=1181.96
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 51565 0 0 0 117740 456 0 0 25 0 1 0 92052342 140374016 33438 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 34271 33438 392 719 0 33550 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 137084

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31450
/proc/meminfo: memFree=1619368/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=140052 CPUtime=1241.94
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 52334 0 0 0 123714 480 0 0 25 0 1 0 92052342 143413248 34207 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 35013 34207 392 719 0 34292 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 140052

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31450
/proc/meminfo: memFree=1616020/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=143184 CPUtime=1301.94
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 53157 0 0 0 129693 501 0 0 25 0 1 0 92052342 146620416 35030 1992294400 4194304 7136930 140735206790080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 35796 35030 392 719 0 35075 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 143184

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31452
/proc/meminfo: memFree=1612300/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=146788 CPUtime=1361.92
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 54083 0 0 0 135670 522 0 0 25 0 1 0 92052342 150310912 35956 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 36697 35956 392 719 0 35976 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 146788

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31454
/proc/meminfo: memFree=1606348/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=152632 CPUtime=1421.91
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 55571 0 0 0 141648 543 0 0 25 0 1 0 92052342 156295168 37444 1992294400 4194304 7136930 140735206790080 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 38158 37444 392 719 0 37437 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 152632

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31456
/proc/meminfo: memFree=1601760/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=157172 CPUtime=1481.89
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 56732 0 0 0 147625 564 0 0 25 0 1 0 92052342 160944128 38605 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 39293 38605 392 719 0 38572 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 157172

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31458
/proc/meminfo: memFree=1598784/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=160112 CPUtime=1541.88
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 57493 0 0 0 153604 584 0 0 25 0 1 0 92052342 163954688 39366 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 40028 39366 392 719 0 39307 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 160112

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31458
/proc/meminfo: memFree=1595684/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=163108 CPUtime=1601.86
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 58267 0 0 0 159579 607 0 0 25 0 1 0 92052342 167022592 40140 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 40777 40140 392 719 0 40056 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 163108

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31460
/proc/meminfo: memFree=1592832/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=165816 CPUtime=1661.84
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 58971 0 0 0 165557 627 0 0 25 0 1 0 92052342 169795584 40844 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 41454 40844 392 719 0 40733 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 165816

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31462
/proc/meminfo: memFree=1587748/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=171828 CPUtime=1721.82
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 60500 0 0 0 171535 647 0 0 25 0 1 0 92052342 175951872 42373 1992294400 4194304 7136930 140735206790080 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 42957 42373 392 719 0 42236 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 171828

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31464
/proc/meminfo: memFree=1585392/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=172784 CPUtime=1781.81
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 60766 0 0 0 177512 669 0 0 25 0 1 0 92052342 176930816 42639 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 43196 42639 392 719 0 42475 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 172784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31464
/proc/meminfo: memFree=1584400/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=173820 CPUtime=1800.01
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 61033 0 0 0 179324 677 0 0 25 0 1 0 92052342 177991680 42906 1992294400 4194304 7136930 140735206790080 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31412/statm: 43455 42906 392 719 0 42734 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 173820

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 31465
/proc/meminfo: memFree=1584392/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=173820 CPUtime=1800.12
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 61038 0 0 0 179335 677 0 0 25 0 1 0 92052342 177991680 42911 1992294400 4194304 7136930 140735206790080 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 43455 42911 397 719 0 42734 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 173820

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 31465
/proc/meminfo: memFree=1584392/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=162944 CPUtime=1800.3
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 61038 0 0 0 179353 677 0 0 25 0 1 0 92052342 166854656 40192 1992294400 4194304 7136930 140735206790080 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 40736 40192 397 719 0 40015 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 162944

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 31465
/proc/meminfo: memFree=1584392/2059040 swapFree=4139444/4192956
[pid=31412] ppid=31410 vsize=24304 CPUtime=1800.4
/proc/31412/stat : 31412 (pbscip.linux.x8) R 31410 31412 30803 0 -1 4202496 61038 0 0 0 179361 679 0 0 25 0 1 0 92052342 24887296 5570 1992294400 4194304 7136930 140735206790080 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31412/statm: 6076 5570 397 719 0 5355 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 24304

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.42
CPU user time (s): 1793.62
CPU system time (s): 6.79897
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 173820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.62
system time used= 6.79897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61045
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= 4
involuntary context switches= 4273

runsolver used 2.81957 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-26 01:13:16
IDJOB=2683167
IDBENCH=72091
IDSOLVER=1167
FILE ID=node038/2683167-1277507596
PBS_JOBID= 11190616
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683167-1277507596/watcher-2683167-1277507596 -o /tmp/evaluation-result-2683167-1277507596/solver-2683167-1277507596 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683167-1277507596.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7d47423dbe0b5ddfaa03904c8689e004
RANDOM SEED=1818699322

node038.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.222
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.44
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.222
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1757296 kB
Buffers:         37796 kB
Cached:         160764 kB
SwapCached:       5940 kB
Active:          90004 kB
Inactive:       121400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1757296 kB
SwapTotal:     4192956 kB
SwapFree:      4139444 kB
Dirty:            4068 kB
Writeback:           0 kB
AnonPages:       11548 kB
Mapped:          11892 kB
Slab:            68364 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181408 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= 62456 MiB
End job on node038 at 2010-06-26 01:43:18