Trace number 2683193

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.47 1801

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5fe62.cudf.paranoid.opb
MD5SUM728d13d02a02ab6fe35cdade8d9e5d55
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1882
Best CPU time to get the best result obtained on this benchmark2.50862
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5756
Total number of constraints25625
Number of constraints which are clauses25334
Number of constraints which are cardinality constraints (but not clauses)291
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 2137
Biggest coefficient in the objective function 1588
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 876574
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1588
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 876574
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-2683193-1277507920.opb>
0.39/0.49	c original problem has 5756 variables (5756 bin, 0 int, 0 impl, 0 cont) and 25625 constraints
0.39/0.49	c problem read
0.39/0.49	c presolving settings loaded
0.39/0.49	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.62	c presolving:
0.69/0.79	c (round 1) 633 del vars, 1252 del conss, 32 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 53894 impls, 286 clqs
0.79/0.84	c (round 2) 736 del vars, 1633 del conss, 74 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 60929 impls, 285 clqs
0.79/0.88	c (round 3) 883 del vars, 4315 del conss, 162 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 61887 impls, 282 clqs
0.89/0.94	c (round 4) 1556 del vars, 8632 del conss, 239 chg bounds, 10 chg sides, 37 chg coeffs, 0 upgd conss, 62630 impls, 276 clqs
0.89/0.96	c (round 5) 1632 del vars, 9219 del conss, 282 chg bounds, 14 chg sides, 44 chg coeffs, 0 upgd conss, 63045 impls, 275 clqs
0.89/0.99	c (round 6) 1679 del vars, 9570 del conss, 294 chg bounds, 15 chg sides, 46 chg coeffs, 0 upgd conss, 63134 impls, 275 clqs
1.00/1.01	c (round 7) 1690 del vars, 9636 del conss, 294 chg bounds, 16 chg sides, 47 chg coeffs, 0 upgd conss, 63136 impls, 275 clqs
1.00/1.03	c (round 8) 1693 del vars, 9637 del conss, 294 chg bounds, 16 chg sides, 47 chg coeffs, 0 upgd conss, 63136 impls, 275 clqs
1.19/1.24	c (round 9) 1693 del vars, 11023 del conss, 294 chg bounds, 32 chg sides, 47 chg coeffs, 14555 upgd conss, 63136 impls, 275 clqs
1.19/1.29	c (round 10) 1695 del vars, 11025 del conss, 294 chg bounds, 32 chg sides, 47 chg coeffs, 14555 upgd conss, 63136 impls, 275 clqs
1.29/1.34	c (round 11) 1695 del vars, 11027 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14555 upgd conss, 63136 impls, 275 clqs
1.29/1.36	c (round 12) 1696 del vars, 11028 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14597 upgd conss, 63136 impls, 275 clqs
1.39/1.41	c (round 13) 1696 del vars, 11029 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 63136 impls, 275 clqs
1.69/1.71	c (round 14) 1746 del vars, 11029 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 79575 impls, 270 clqs
1.69/1.73	c (round 15) 1749 del vars, 11114 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 79708 impls, 270 clqs
1.69/1.75	c (round 16) 1753 del vars, 11131 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 79708 impls, 270 clqs
1.99/2.07	c (round 17) 1803 del vars, 11132 del conss, 294 chg bounds, 34 chg sides, 47 chg coeffs, 14598 upgd conss, 83158 impls, 269 clqs
1.99/2.09	c (round 18) 1803 del vars, 11160 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 83158 impls, 269 clqs
2.29/2.39	c (round 19) 1853 del vars, 11160 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 88517 impls, 268 clqs
2.39/2.41	c (round 20) 1856 del vars, 11182 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 88529 impls, 268 clqs
2.59/2.62	c    (1.9s) probing: 1000/4060 (24.6%) - 27 fixings, 159 aggregations, 6332 implications, 0 bound changes
2.59/2.67	c (round 21) 1906 del vars, 11182 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 91199 impls, 267 clqs
2.59/2.69	c (round 22) 1910 del vars, 11194 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 91237 impls, 267 clqs
2.89/2.92	c (round 23) 1960 del vars, 11194 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 93578 impls, 266 clqs
2.89/2.95	c (round 24) 1964 del vars, 11207 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 93684 impls, 266 clqs
2.99/3.02	c (round 25) 1964 del vars, 11211 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 93684 impls, 266 clqs
3.09/3.20	c (round 26) 2016 del vars, 11211 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 94984 impls, 265 clqs
3.20/3.22	c (round 27) 2021 del vars, 11238 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 95100 impls, 265 clqs
3.39/3.43	c (round 28) 2071 del vars, 11238 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 95962 impls, 265 clqs
3.39/3.45	c (round 29) 2073 del vars, 11258 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 95976 impls, 265 clqs
3.49/3.52	c    (2.7s) probing: 2000/4060 (49.3%) - 51 fixings, 305 aggregations, 8362 implications, 0 bound changes
3.59/3.61	c (round 30) 2123 del vars, 11258 del conss, 294 chg bounds, 35 chg sides, 47 chg coeffs, 14598 upgd conss, 96364 impls, 264 clqs
3.59/3.63	c (round 31) 2125 del vars, 11278 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 96372 impls, 264 clqs
3.69/3.79	c (round 32) 2175 del vars, 11278 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97180 impls, 264 clqs
3.79/3.82	c (round 33) 2176 del vars, 11300 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97202 impls, 264 clqs
3.79/3.87	c (round 34) 2176 del vars, 11305 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97202 impls, 264 clqs
3.99/4.04	c (round 35) 2226 del vars, 11305 del conss, 294 chg bounds, 36 chg sides, 47 chg coeffs, 14598 upgd conss, 97610 impls, 263 clqs
3.99/4.06	c (round 36) 2231 del vars, 11329 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 97722 impls, 263 clqs
4.19/4.27	c    (3.3s) probing: 3000/4060 (73.9%) - 83 fixings, 465 aggregations, 9795 implications, 0 bound changes
4.19/4.28	c (round 37) 2281 del vars, 11329 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 98929 impls, 263 clqs
4.30/4.30	c (round 38) 2283 del vars, 11376 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 98953 impls, 263 clqs
4.49/4.54	c (round 39) 2333 del vars, 11377 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 100871 impls, 263 clqs
4.49/4.56	c (round 40) 2341 del vars, 11470 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 100975 impls, 263 clqs
4.79/4.83	c (round 41) 2391 del vars, 11471 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 105009 impls, 263 clqs
4.79/4.85	c (round 42) 2435 del vars, 11580 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 105603 impls, 263 clqs
4.89/4.99	c    (4.0s) probing: 4000/4060 (98.5%) - 202 fixings, 485 aggregations, 14572 implications, 0 bound changes
4.99/5.01	c (round 43) 2471 del vars, 11580 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 107933 impls, 263 clqs
4.99/5.03	c (round 44) 2507 del vars, 11652 del conss, 294 chg bounds, 37 chg sides, 47 chg coeffs, 14598 upgd conss, 108039 impls, 263 clqs
4.99/5.07	c presolving (45 rounds):
4.99/5.07	c  2507 deleted vars, 11652 deleted constraints, 294 tightened bounds, 0 added holes, 37 changed sides, 47 changed coefficients
4.99/5.07	c  108039 implications, 263 cliques
4.99/5.07	c presolved problem has 3249 variables (3249 bin, 0 int, 0 impl, 0 cont) and 13976 constraints
4.99/5.07	c     264 constraints of type <setppc>
4.99/5.07	c   13712 constraints of type <logicor>
4.99/5.07	c transformed objective value is always integral (scale: 1)
4.99/5.07	c Presolving Time: 4.00
4.99/5.07	c - non default parameters ----------------------------------------------------------------------
4.99/5.07	c # SCIP version 1.2.1.2
4.99/5.07	c 
4.99/5.07	c # frequency for displaying node information lines
4.99/5.07	c # [type: int, range: [-1,2147483647], default: 100]
4.99/5.07	c display/freq = 10000
4.99/5.07	c 
4.99/5.07	c # maximal time in seconds to run
4.99/5.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.07	c limits/time = 1799.51
4.99/5.07	c 
4.99/5.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.99/5.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.07	c limits/memory = 1620
4.99/5.07	c 
4.99/5.07	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.99/5.07	c # [type: int, range: [-1,2147483647], default: 1]
4.99/5.07	c lp/solvefreq = -1
4.99/5.07	c 
4.99/5.07	c # should presolving try to simplify inequalities
4.99/5.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.07	c constraints/linear/simplifyinequalities = TRUE
4.99/5.07	c 
4.99/5.07	c # should presolving try to simplify knapsacks
4.99/5.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.07	c constraints/knapsack/simplifyinequalities = TRUE
4.99/5.07	c 
4.99/5.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.99/5.07	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.07	c separating/rapidlearning/freq = 0
4.99/5.07	c 
4.99/5.07	c -----------------------------------------------------------------------------------------------
4.99/5.07	c start solving
4.99/5.08	c 
4.99/5.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.99/5.09	c   4.1s|     1 |     2 |     0 |     - |  29M|   0 |   - |3249 |  13k|   0 |   0 |   0 |   0 |   0 | 1.841000e+03 |      --      |    Inf 
104.86/104.99	c   104s| 10000 |  9957 |     0 |   0.0 |  35M| 115 |   - |3249 |  14k|   0 |   0 |   0 |  26 |   0 | 1.845000e+03 |      --      |    Inf 
200.33/200.48	c   199s| 20000 | 19953 |     0 |   0.0 |  41M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  28 |   0 | 1.846000e+03 |      --      |    Inf 
297.21/297.38	c   295s| 30000 | 29951 |     0 |   0.0 |  46M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  29 |   0 | 1.846000e+03 |      --      |    Inf 
391.27/391.41	c   389s| 40000 | 39945 |     0 |   0.0 |  51M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  32 |   0 | 1.847000e+03 |      --      |    Inf 
486.95/487.16	c   484s| 50000 | 49921 |     0 |   0.0 |  56M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  45 |   0 | 1.847000e+03 |      --      |    Inf 
581.12/581.33	c   578s| 60000 | 59919 |     0 |   0.0 |  61M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  46 |   0 | 1.847000e+03 |      --      |    Inf 
675.39/675.60	c   672s| 70000 | 69914 |     0 |   0.0 |  66M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  48 |   0 | 1.848000e+03 |      --      |    Inf 
768.16/768.40	c   765s| 80000 | 79912 |     0 |   0.0 |  71M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  49 |   0 | 1.848000e+03 |      --      |    Inf 
862.24/862.58	c   858s| 90000 | 89912 |     0 |   0.0 |  76M| 147 |   - |3249 |  14k|   0 |   0 |   0 |  49 |   0 | 1.848000e+03 |      --      |    Inf 
956.61/956.92	c   952s|100000 | 99910 |     0 |   0.0 |  81M| 149 |   - |3249 |  14k|   0 |   0 |   0 |  50 |   0 | 1.849000e+03 |      --      |    Inf 
1051.48/1051.81	c  1047s|110000 |109910 |     0 |   0.0 |  86M| 149 |   - |3249 |  14k|   0 |   0 |   0 |  50 |   0 | 1.849000e+03 |      --      |    Inf 
1144.55/1144.90	c  1140s|120000 |119908 |     0 |   0.0 |  91M| 149 |   - |3249 |  14k|   0 |   0 |   0 |  51 |   0 | 1.849000e+03 |      --      |    Inf 
1239.42/1239.83	c  1234s|130000 |129906 |     0 |   0.0 |  96M| 151 |   - |3249 |  14k|   0 |   0 |   0 |  52 |   0 | 1.849000e+03 |      --      |    Inf 
1332.59/1333.04	c  1327s|140000 |139906 |     0 |   0.0 | 101M| 151 |   - |3249 |  14k|   0 |   0 |   0 |  52 |   0 | 1.849000e+03 |      --      |    Inf 
1424.87/1425.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1424.87/1425.30	c  1419s|150000 |149906 |     0 |   0.0 | 106M| 151 |   - |3249 |  14k|   0 |   0 |   0 |  52 |   0 | 1.849000e+03 |      --      |    Inf 
1515.94/1516.41	c  1510s|160000 |159906 |     0 |   0.0 | 111M| 151 |   - |3249 |  14k|   0 |   0 |   0 |  52 |   0 | 1.849000e+03 |      --      |    Inf 
1612.91/1613.49	c  1607s|170000 |169904 |     0 |   0.0 | 116M| 151 |   - |3249 |  14k|   0 |   0 |   0 |  53 |   0 | 1.850000e+03 |      --      |    Inf 
1707.98/1708.53	c  1701s|180000 |179904 |     0 |   0.0 | 121M| 151 |   - |3249 |  14k|   0 |   0 |   0 |  53 |   0 | 1.850000e+03 |      --      |    Inf 
1800.07/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61	c 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time (sec) : 1793.12
1800.07/1800.61	c Solving Nodes      : 189718
1800.07/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61	c Dual Bound         : +1.85000000000000e+03
1800.07/1800.61	c Gap                : infinite
1800.07/1800.61	s UNKNOWN
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time       :    1793.12
1800.07/1800.61	c Original Problem   :
1800.07/1800.61	c   Problem name     : HOME/instance-2683193-1277507920.opb
1800.07/1800.61	c   Variables        : 5756 (5756 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 25625 initial, 25625 maximal
1800.07/1800.61	c Presolved Problem  :
1800.07/1800.61	c   Problem name     : t_HOME/instance-2683193-1277507920.opb
1800.07/1800.61	c   Variables        : 3249 (3249 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 13976 initial, 14019 maximal
1800.07/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.61	c   trivial          :       0.04         26          0          0          0          0          0          0          0
1800.07/1800.61	c   dualfix          :       0.04        575          0          0          0          0          0          0          0
1800.07/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   implics          :       0.01          0        274          0          0          0          0          0          0
1800.07/1800.61	c   probing          :       2.41        203        485          0          0          0          0          0          0
1800.07/1800.61	c   setppc           :       0.01          0          1          0          0          0         14          3          0
1800.07/1800.61	c   linear           :       0.38        270        673          0        294          0      11027         34         47
1800.07/1800.61	c   logicor          :       0.99          0          0          0          0          0        611          0          0
1800.07/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.61	c   setppc           :        264          0     550550          0     189672         73      39856          0          0          0
1800.07/1800.61	c   logicor          :      13712+         0     510239          0     189672        154     890771          0          0          0
1800.07/1800.61	c   countsols        :          0          0          0          0     189672          0          0          0          0          0
1800.07/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.61	c   setppc           :      37.75       0.00       9.76       0.00      27.99
1800.07/1800.61	c   logicor          :    1415.29       0.00      10.26       0.00    1405.03
1800.07/1800.62	c   countsols        :       0.13       0.00       0.00       0.00       0.13
1800.07/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.62	c   vbounds          :       0.42          2          0          0
1800.07/1800.62	c   rootredcost      :       0.47          0          0          0
1800.07/1800.62	c   pseudoobj        :      64.15     539387          0          0
1800.07/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.62	c   propagation      :       0.00         46         44         52        2.4          3        2.0          -
1800.07/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.62	c   applied globally :          -          -          -         54        2.4          -          -          -
1800.07/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.62	c Pricers            :       Time      Calls       Vars
1800.07/1800.62	c   problem variables:       0.00          0          0
1800.07/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   inference        :     245.68     189672          0          0          0          0     379344
1800.07/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.62	c   LP solutions     :       0.00          -          0
1800.07/1800.62	c   pseudo solutions :       0.00          -          0
1800.07/1800.62	c   oneopt           :       0.10          0          0
1800.07/1800.62	c   trivial          :       0.03          2          0
1800.07/1800.62	c   simplerounding   :       0.00          0          0
1800.07/1800.62	c   zirounding       :       0.00          0          0
1800.07/1800.62	c   rounding         :       0.00          0          0
1800.07/1800.62	c   shifting         :       0.00          0          0
1800.07/1800.62	c   intshifting      :       0.00          0          0
1800.07/1800.62	c   twoopt           :       0.00          0          0
1800.07/1800.62	c   fixandinfer      :       0.00          0          0
1800.07/1800.62	c   feaspump         :       0.00          0          0
1800.07/1800.62	c   coefdiving       :       0.00          0          0
1800.07/1800.62	c   pscostdiving     :       0.00          0          0
1800.07/1800.62	c   fracdiving       :       0.00          0          0
1800.07/1800.62	c   veclendiving     :       0.00          0          0
1800.07/1800.62	c   intdiving        :       0.00          0          0
1800.07/1800.62	c   actconsdiving    :       0.00          0          0
1800.07/1800.62	c   objpscostdiving  :       0.00          0          0
1800.07/1800.62	c   rootsoldiving    :       0.00          0          0
1800.07/1800.62	c   linesearchdiving :       0.00          0          0
1800.07/1800.62	c   guideddiving     :       0.00          0          0
1800.07/1800.62	c   octane           :       0.00          0          0
1800.07/1800.62	c   rens             :       0.00          0          0
1800.07/1800.62	c   rins             :       0.00          0          0
1800.07/1800.62	c   localbranching   :       0.00          0          0
1800.07/1800.62	c   mutation         :       0.00          0          0
1800.07/1800.62	c   crossover        :       0.00          0          0
1800.07/1800.62	c   dins             :       0.00          0          0
1800.07/1800.62	c   undercover       :       0.00          0          0
1800.07/1800.62	c   nlp              :       0.30          0          0
1800.07/1800.62	c   trysol           :       0.11          0          0
1800.07/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.62	c B&B Tree           :
1800.07/1800.62	c   number of runs   :          1
1800.07/1800.62	c   nodes            :     189718
1800.07/1800.62	c   nodes (total)    :     189718
1800.07/1800.62	c   nodes left       :     189620
1800.07/1800.62	c   max depth        :        151
1800.07/1800.62	c   max depth (total):        151
1800.07/1800.62	c   backtracks       :       2603 (1.4%)
1800.07/1800.62	c   delayed cutoffs  :          7
1800.07/1800.62	c   repropagations   :       1610 (197 domain reductions, 0 cutoffs)
1800.07/1800.62	c   avg switch length:       2.51
1800.07/1800.62	c   switching time   :      11.70
1800.07/1800.62	c Solution           :
1800.07/1800.62	c   Solutions found  :          0 (0 improvements)
1800.07/1800.62	c   Primal Bound     :          -
1800.07/1800.62	c   Dual Bound       : +1.85000000000000e+03
1800.07/1800.62	c   Gap              :   infinite
1800.07/1800.62	c   Root Dual Bound  : +1.84100000000000e+03
1800.07/1800.62	c   Root Iterations  :          0
1800.46/1801.00	c Time complete: 1800.46.

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-2683193-1277507920/watcher-2683193-1277507920 -o /tmp/evaluation-result-2683193-1277507920/solver-2683193-1277507920 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683193-1277507920.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.09 1.02 1.01 3/106 32324
/proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=5556 CPUtime=0
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 885 0 0 0 0 0 0 0 18 0 1 0 92084795 5689344 808 1992294400 4194304 7136930 140734690034832 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32324/statm: 1389 808 249 719 0 668 0

[startup+0.033575 s]
/proc/loadavg: 1.09 1.02 1.01 3/106 32324
/proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=10916 CPUtime=0.02
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 2212 0 0 0 2 0 0 0 18 0 1 0 92084795 11177984 2133 1992294400 4194304 7136930 140734690034832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32324/statm: 2729 2133 271 719 0 2008 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10916

[startup+0.100583 s]
/proc/loadavg: 1.09 1.02 1.01 3/106 32324
/proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=13340 CPUtime=0.09
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 2824 0 0 0 9 0 0 0 21 0 1 0 92084795 13660160 2745 1992294400 4194304 7136930 140734690034832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32324/statm: 3335 2745 271 719 0 2614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13340

[startup+0.300611 s]
/proc/loadavg: 1.09 1.02 1.01 3/106 32324
/proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=18572 CPUtime=0.29
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 4123 0 0 0 28 1 0 0 21 0 1 0 92084795 19017728 4044 1992294400 4194304 7136930 140734690034832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32324/statm: 4643 4044 271 719 0 3922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18572

[startup+0.700668 s]
/proc/loadavg: 1.09 1.02 1.01 3/106 32324
/proc/meminfo: memFree=1832736/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=48936 CPUtime=0.69
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 11797 0 0 0 63 6 0 0 22 0 1 0 92084795 50110464 11359 1992294400 4194304 7136930 140734690034832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 12234 11359 342 719 0 11513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48936

[startup+1.50078 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 32325
/proc/meminfo: memFree=1785856/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=56780 CPUtime=1.49
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 19592 0 0 0 128 21 0 0 25 0 1 0 92084795 58142720 13376 1992294400 4194304 7136930 140734690034832 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 14195 13376 370 719 0 13474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56780

[startup+3.10101 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 32325
/proc/meminfo: memFree=1778664/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=58748 CPUtime=3.09
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 26060 0 0 0 275 34 0 0 25 0 1 0 92084795 60157952 13871 1992294400 4194304 7136930 140734690034832 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 14687 13871 376 719 0 13966 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58748

[startup+6.30147 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 32325
/proc/meminfo: memFree=1776804/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=59964 CPUtime=6.29
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36084 0 0 0 575 54 0 0 25 0 1 0 92084795 61403136 14197 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 14991 14197 392 719 0 14270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59964

[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 32325
/proc/meminfo: memFree=1776556/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=60240 CPUtime=12.69
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36152 0 0 0 1212 57 0 0 25 0 1 0 92084795 61685760 14265 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 15060 14265 392 719 0 14339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60240

[startup+25.5012 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 32325
/proc/meminfo: memFree=1775440/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=61316 CPUtime=25.49
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36445 0 0 0 2488 61 0 0 25 0 1 0 92084795 62787584 14558 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 15329 14558 392 719 0 14608 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61316

[startup+51.1009 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 32325
/proc/meminfo: memFree=1774324/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=62984 CPUtime=51.07
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 36849 0 0 0 5038 69 0 0 25 0 1 0 92084795 64495616 14962 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 15746 14962 392 719 0 15025 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62984

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 32327
/proc/meminfo: memFree=1769860/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=66868 CPUtime=102.27
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 37842 0 0 0 10138 89 0 0 25 0 1 0 92084795 68472832 15955 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 16717 15955 392 719 0 15996 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66868

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32329
/proc/meminfo: memFree=1766140/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=70360 CPUtime=162.25
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 38734 0 0 0 16115 110 0 0 25 0 1 0 92084795 72048640 16847 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 17590 16847 392 719 0 16869 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70360

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32331
/proc/meminfo: memFree=1763412/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=73052 CPUtime=222.22
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 39425 0 0 0 22094 128 0 0 25 0 1 0 92084795 74805248 17538 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 18263 17538 392 719 0 17542 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 73052

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32331
/proc/meminfo: memFree=1759444/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=76868 CPUtime=282.21
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 40400 0 0 0 28072 149 0 0 25 0 1 0 92084795 78712832 18513 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 19217 18513 392 719 0 18496 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 76868

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32333
/proc/meminfo: memFree=1755972/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=80260 CPUtime=342.19
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 41272 0 0 0 34049 170 0 0 25 0 1 0 92084795 82186240 19385 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 20065 19385 392 719 0 19344 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 80260

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32335
/proc/meminfo: memFree=1752500/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=83492 CPUtime=402.17
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 42125 0 0 0 40027 190 0 0 25 0 1 0 92084795 85495808 20238 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 20873 20238 392 719 0 20152 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 83492

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32337
/proc/meminfo: memFree=1747540/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=88276 CPUtime=462.15
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 43343 0 0 0 46002 213 0 0 25 0 1 0 92084795 90394624 21456 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 22069 21456 392 719 0 21348 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 88276

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32339
/proc/meminfo: memFree=1744688/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=90876 CPUtime=522.14
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 44025 0 0 0 51981 233 0 0 25 0 1 0 92084795 93057024 22138 1992294400 4194304 7136930 140734690034832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 22719 22138 392 719 0 21998 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 90876

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32339
/proc/meminfo: memFree=1741588/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=93824 CPUtime=582.11
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 44790 0 0 0 57959 252 0 0 25 0 1 0 92084795 96075776 22903 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 23456 22903 392 719 0 22735 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 93824

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32341
/proc/meminfo: memFree=1737868/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=99476 CPUtime=642.11
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 45717 0 0 0 63938 273 0 0 25 0 1 0 92084795 101863424 23830 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 24869 23830 392 719 0 24148 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 99476

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 32350
/proc/meminfo: memFree=1723236/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=113064 CPUtime=882.02
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 49197 0 0 0 87852 350 0 0 25 0 1 0 92084795 115777536 27310 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 28266 27310 392 719 0 27545 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 113064

[startup+942.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 32352
/proc/meminfo: memFree=1720880/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=115184 CPUtime=942.01
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 49762 0 0 0 93831 370 0 0 25 0 1 0 92084795 117948416 27875 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 28796 27875 392 719 0 28075 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 115184

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32354
/proc/meminfo: memFree=1717904/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=118068 CPUtime=1001.99
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 50511 0 0 0 99809 390 0 0 25 0 1 0 92084795 120901632 28624 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 29517 28624 392 719 0 28796 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 118068

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32356
/proc/meminfo: memFree=1713316/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=122596 CPUtime=1061.98
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 51649 0 0 0 105788 410 0 0 25 0 1 0 92084795 125538304 29762 1992294400 4194304 7136930 140734690034832 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 30649 29762 392 719 0 29928 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 122596

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32358
/proc/meminfo: memFree=1711208/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=124560 CPUtime=1121.96
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 52165 0 0 0 111768 428 0 0 25 0 1 0 92084795 127549440 30278 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 31140 30278 392 719 0 30419 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 124560

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32358
/proc/meminfo: memFree=1706000/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=129684 CPUtime=1181.93
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 53482 0 0 0 117745 448 0 0 25 0 1 0 92084795 132796416 31595 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 32421 31595 392 719 0 31700 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 129684

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32360
/proc/meminfo: memFree=1703396/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=132128 CPUtime=1241.92
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 54128 0 0 0 123723 469 0 0 25 0 1 0 92084795 135299072 32241 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 33032 32241 392 719 0 32311 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 132128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32362
/proc/meminfo: memFree=1699180/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=136120 CPUtime=1301.91
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 55150 0 0 0 129702 489 0 0 25 0 1 0 92084795 139386880 33263 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 34030 33263 392 719 0 33309 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 136120

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32364
/proc/meminfo: memFree=1697072/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=138180 CPUtime=1361.88
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 55690 0 0 0 135678 510 0 0 25 0 1 0 92084795 141496320 33803 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 34545 33803 392 719 0 33824 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 138180

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32366
/proc/meminfo: memFree=1693104/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=141920 CPUtime=1421.88
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 56653 0 0 0 141658 530 0 0 25 0 1 0 92084795 145326080 34766 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 35480 34766 392 719 0 34759 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 141920

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32366
/proc/meminfo: memFree=1690996/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=144496 CPUtime=1481.85
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 57321 0 0 0 147637 548 0 0 25 0 1 0 92084795 147963904 35434 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 36124 35434 392 719 0 35403 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 144496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32368
/proc/meminfo: memFree=1686904/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=147976 CPUtime=1541.83
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 58217 0 0 0 153616 567 0 0 25 0 1 0 92084795 151527424 36330 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 36994 36330 392 719 0 36273 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 147976

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32370
/proc/meminfo: memFree=1683928/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=150956 CPUtime=1601.82
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 58971 0 0 0 159596 586 0 0 25 0 1 0 92084795 154578944 37084 1992294400 4194304 7136930 140734690034832 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 37739 37084 392 719 0 37018 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 150956

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 32372
/proc/meminfo: memFree=1681572/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=153148 CPUtime=1661.8
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 59546 0 0 0 165577 603 0 0 25 0 1 0 92084795 156823552 37659 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 38287 37659 392 719 0 37566 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 153148

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 32374
/proc/meminfo: memFree=1676736/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=157816 CPUtime=1721.78
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 60754 0 0 0 171555 623 0 0 25 0 1 0 92084795 161603584 38867 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 39454 38867 392 719 0 38733 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 157816

[startup+1782.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 32374
/proc/meminfo: memFree=1674256/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=160048 CPUtime=1781.76
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 61337 0 0 0 177534 642 0 0 25 0 1 0 92084795 163889152 39450 1992294400 4194304 7136930 140734690034832 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 40012 39450 392 719 0 39291 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 160048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 32376
/proc/meminfo: memFree=1672892/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=161324 CPUtime=1800.07
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 61664 0 0 0 179359 648 0 0 25 0 1 0 92084795 165195776 39777 1992294400 4194304 7136930 140734690034832 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32324/statm: 40331 39777 392 719 0 39610 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 161324

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

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

[startup+1801 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 32376
/proc/meminfo: memFree=1672892/2059040 swapFree=4140068/4192956
[pid=32324] ppid=32322 vsize=19928 CPUtime=1800.46
/proc/32324/stat : 32324 (pbscip.linux.x8) R 32322 32324 32052 0 -1 4202496 61671 0 0 0 179396 650 0 0 25 0 1 0 92084795 20406272 4496 1992294400 4194304 7136930 140734690034832 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32324/statm: 4982 4020 399 719 0 4261 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 19928

Child status: 0
Real time (s): 1801
CPU time (s): 1800.47
CPU user time (s): 1793.96
CPU system time (s): 6.50701
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 161324

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

runsolver used 3.00154 second user time and 8.48571 second system time

The end

Launcher Data 

Begin job on node039 at 2010-06-26 01:18:40
IDJOB=2683193
IDBENCH=72093
IDSOLVER=1167
FILE ID=node039/2683193-1277507920
PBS_JOBID= 11190593
Free space on /tmp= 62320 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-randc5fe62.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-2683193-1277507920/watcher-2683193-1277507920 -o /tmp/evaluation-result-2683193-1277507920/solver-2683193-1277507920 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683193-1277507920.opb -t 1800 -m 1800

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

MD5SUM BENCH= 728d13d02a02ab6fe35cdade8d9e5d55
RANDOM SEED=843601497

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833016 kB
Buffers:         28620 kB
Cached:         106836 kB
SwapCached:       5404 kB
Active:          71940 kB
Inactive:        75676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833016 kB
SwapTotal:     4192956 kB
SwapFree:      4140068 kB
Dirty:            4160 kB
Writeback:           0 kB
AnonPages:       10952 kB
Mapped:          12152 kB
Slab:            56420 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181944 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= 62316 MiB
End job on node039 at 2010-06-26 01:48:43