Trace number 2683414

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.52 1801.07

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randb54299.cudf.paranoid.opb
MD5SUM10e38bf32434d32a3c213648ff6f5ee4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11142
Best CPU time to get the best result obtained on this benchmark2.18067
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints24731
Number of constraints which are clauses24460
Number of constraints which are cardinality constraints (but not clauses)271
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 2084
Biggest coefficient in the objective function 1535
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 847318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1535
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 847318
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-2683414-1277509529.opb>
0.39/0.45	c original problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 24731 constraints
0.39/0.45	c problem read
0.39/0.45	c presolving settings loaded
0.39/0.45	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.49/0.58	c presolving:
0.69/0.75	c (round 1) 621 del vars, 1191 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 55870 impls, 268 clqs
0.79/0.80	c (round 2) 776 del vars, 1559 del conss, 150 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 62605 impls, 262 clqs
0.79/0.85	c (round 3) 1167 del vars, 5931 del conss, 370 chg bounds, 1 chg sides, 11 chg coeffs, 0 upgd conss, 64857 impls, 255 clqs
0.89/0.91	c (round 4) 1874 del vars, 10541 del conss, 477 chg bounds, 21 chg sides, 54 chg coeffs, 0 upgd conss, 66463 impls, 240 clqs
0.89/0.93	c (round 5) 2034 del vars, 11403 del conss, 545 chg bounds, 24 chg sides, 60 chg coeffs, 0 upgd conss, 66835 impls, 236 clqs
0.89/0.96	c (round 6) 2125 del vars, 11837 del conss, 576 chg bounds, 28 chg sides, 67 chg coeffs, 0 upgd conss, 67096 impls, 234 clqs
0.89/0.98	c (round 7) 2153 del vars, 12107 del conss, 579 chg bounds, 30 chg sides, 69 chg coeffs, 0 upgd conss, 67112 impls, 234 clqs
0.89/0.99	c (round 8) 2157 del vars, 12121 del conss, 579 chg bounds, 30 chg sides, 69 chg coeffs, 0 upgd conss, 67112 impls, 234 clqs
1.10/1.18	c (round 9) 2159 del vars, 13538 del conss, 579 chg bounds, 32 chg sides, 69 chg coeffs, 11125 upgd conss, 67112 impls, 234 clqs
1.19/1.20	c (round 10) 2168 del vars, 13551 del conss, 579 chg bounds, 32 chg sides, 69 chg coeffs, 11125 upgd conss, 67112 impls, 234 clqs
1.19/1.24	c (round 11) 2168 del vars, 13552 del conss, 579 chg bounds, 33 chg sides, 69 chg coeffs, 11125 upgd conss, 67112 impls, 234 clqs
1.19/1.26	c (round 12) 2169 del vars, 13553 del conss, 579 chg bounds, 33 chg sides, 69 chg coeffs, 11183 upgd conss, 67112 impls, 234 clqs
1.29/1.31	c (round 13) 2169 del vars, 13555 del conss, 579 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 67112 impls, 234 clqs
1.39/1.48	c (round 14) 2219 del vars, 13555 del conss, 579 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 74255 impls, 226 clqs
1.49/1.50	c (round 15) 2223 del vars, 13692 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 74272 impls, 226 clqs
1.49/1.52	c (round 16) 2226 del vars, 13696 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 74272 impls, 226 clqs
1.49/1.56	c (round 17) 2226 del vars, 13699 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 74272 impls, 226 clqs
1.79/1.82	c (round 18) 2276 del vars, 13699 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 77802 impls, 221 clqs
1.79/1.83	c (round 19) 2277 del vars, 13731 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 77810 impls, 221 clqs
1.89/1.99	c (round 20) 2327 del vars, 13732 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 79700 impls, 220 clqs
1.99/2.01	c (round 21) 2327 del vars, 13779 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 79700 impls, 220 clqs
2.10/2.19	c (round 22) 2377 del vars, 13780 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 80990 impls, 217 clqs
2.20/2.21	c (round 23) 2377 del vars, 13826 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 80990 impls, 217 clqs
2.20/2.29	c    (1.6s) probing: 1000/3399 (29.4%) - 55 fixings, 157 aggregations, 4039 implications, 0 bound changes
2.29/2.36	c (round 24) 2427 del vars, 13826 del conss, 581 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 82009 impls, 215 clqs
2.29/2.37	c (round 25) 2429 del vars, 13852 del conss, 583 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 82015 impls, 215 clqs
2.29/2.39	c (round 26) 2431 del vars, 13854 del conss, 583 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 82015 impls, 215 clqs
2.39/2.43	c (round 27) 2431 del vars, 13856 del conss, 583 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 82015 impls, 215 clqs
2.49/2.59	c (round 28) 2481 del vars, 13856 del conss, 583 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 83018 impls, 212 clqs
2.59/2.61	c (round 29) 2481 del vars, 13871 del conss, 583 chg bounds, 33 chg sides, 69 chg coeffs, 11184 upgd conss, 83018 impls, 212 clqs
2.59/2.65	c (round 30) 2481 del vars, 13872 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 83018 impls, 212 clqs
2.69/2.77	c (round 31) 2531 del vars, 13872 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 83585 impls, 211 clqs
2.69/2.79	c (round 32) 2531 del vars, 13889 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 83585 impls, 211 clqs
2.79/2.88	c (round 33) 2531 del vars, 13910 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 83585 impls, 211 clqs
2.99/3.01	c (round 34) 2581 del vars, 13910 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 83988 impls, 210 clqs
2.99/3.03	c (round 35) 2584 del vars, 13927 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 84008 impls, 210 clqs
3.09/3.11	c    (2.3s) probing: 2000/3399 (58.8%) - 76 fixings, 332 aggregations, 5246 implications, 0 bound changes
3.09/3.17	c (round 36) 2634 del vars, 13927 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 84455 impls, 210 clqs
3.09/3.19	c (round 37) 2634 del vars, 13948 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 84455 impls, 210 clqs
3.29/3.34	c (round 38) 2684 del vars, 13949 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 85212 impls, 210 clqs
3.29/3.36	c (round 39) 2692 del vars, 14016 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 85256 impls, 210 clqs
3.39/3.40	c (round 40) 2692 del vars, 14019 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 85256 impls, 210 clqs
3.49/3.58	c (round 41) 2742 del vars, 14019 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 87272 impls, 210 clqs
3.49/3.59	c (round 42) 2747 del vars, 14111 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 87284 impls, 210 clqs
3.79/3.81	c (round 43) 2747 del vars, 14199 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 87284 impls, 210 clqs
3.79/3.83	c (round 44) 2748 del vars, 14200 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 87284 impls, 210 clqs
3.89/3.94	c    (3.0s) probing: 3000/3399 (88.3%) - 141 fixings, 416 aggregations, 7482 implications, 0 bound changes
3.99/4.03	c (round 45) 2798 del vars, 14200 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 90232 impls, 210 clqs
3.99/4.05	c (round 46) 2852 del vars, 14298 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 90402 impls, 210 clqs
3.99/4.09	c (round 47) 2852 del vars, 14301 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 90402 impls, 210 clqs
4.09/4.18	c (round 48) 2852 del vars, 14323 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 90402 impls, 210 clqs
4.19/4.20	c (round 49) 2853 del vars, 14324 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 90402 impls, 210 clqs
4.19/4.29	c (round 50) 2869 del vars, 14324 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 91198 impls, 210 clqs
4.29/4.31	c (round 51) 2886 del vars, 14354 del conss, 583 chg bounds, 34 chg sides, 69 chg coeffs, 11184 upgd conss, 91284 impls, 210 clqs
4.29/4.35	c presolving (52 rounds):
4.29/4.35	c  2886 deleted vars, 14355 deleted constraints, 583 tightened bounds, 0 added holes, 34 changed sides, 69 changed coefficients
4.29/4.35	c  91284 implications, 210 cliques
4.29/4.35	c presolved problem has 2682 variables (2682 bin, 0 int, 0 impl, 0 cont) and 10383 constraints
4.29/4.35	c     211 constraints of type <setppc>
4.29/4.35	c   10172 constraints of type <logicor>
4.29/4.35	c transformed objective value is always integral (scale: 1)
4.29/4.35	c Presolving Time: 3.35
4.29/4.35	c - non default parameters ----------------------------------------------------------------------
4.29/4.35	c # SCIP version 1.2.1.2
4.29/4.35	c 
4.29/4.35	c # frequency for displaying node information lines
4.29/4.35	c # [type: int, range: [-1,2147483647], default: 100]
4.29/4.35	c display/freq = 10000
4.29/4.35	c 
4.29/4.35	c # maximal time in seconds to run
4.29/4.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.35	c limits/time = 1799.55
4.29/4.35	c 
4.29/4.35	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.29/4.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.35	c limits/memory = 1620
4.29/4.35	c 
4.29/4.35	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.29/4.35	c # [type: int, range: [-1,2147483647], default: 1]
4.29/4.35	c lp/solvefreq = -1
4.29/4.35	c 
4.29/4.35	c # should presolving try to simplify inequalities
4.29/4.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.29/4.35	c constraints/linear/simplifyinequalities = TRUE
4.29/4.35	c 
4.29/4.35	c # should presolving try to simplify knapsacks
4.29/4.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.29/4.35	c constraints/knapsack/simplifyinequalities = TRUE
4.29/4.35	c 
4.29/4.35	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.29/4.35	c # [type: int, range: [-1,2147483647], default: -1]
4.29/4.35	c separating/rapidlearning/freq = 0
4.29/4.35	c 
4.29/4.35	c -----------------------------------------------------------------------------------------------
4.29/4.35	c start solving
4.29/4.35	c 
4.29/4.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.29/4.36	c   3.4s|     1 |     2 |     0 |     - |  26M|   0 |   - |2682 |  10k|   0 |   0 |   0 |   0 |   0 | 1.111300e+04 |      --      |    Inf 
81.28/81.31	c  80.0s| 10000 |  9975 |     0 |   0.0 |  32M|  83 |   - |2682 |  10k|   0 |   0 |   0 |  15 |   0 | 1.111600e+04 |      --      |    Inf 
155.35/155.47	c   154s| 20000 | 19975 |     0 |   0.0 |  37M| 129 |   - |2682 |  10k|   0 |   0 |   0 |  15 |   0 | 1.111700e+04 |      --      |    Inf 
228.92/229.08	c   227s| 30000 | 29975 |     0 |   0.0 |  41M| 129 |   - |2682 |  10k|   0 |   0 |   0 |  15 |   0 | 1.111700e+04 |      --      |    Inf 
303.51/303.65	c   301s| 40000 | 39975 |     0 |   0.0 |  46M| 129 |   - |2682 |  10k|   0 |   0 |   0 |  15 |   0 | 1.111800e+04 |      --      |    Inf 
378.08/378.23	c   376s| 50000 | 49975 |     0 |   0.0 |  51M| 129 |   - |2682 |  10k|   0 |   0 |   0 |  15 |   0 | 1.111800e+04 |      --      |    Inf 
449.95/450.18	c   447s| 60000 | 59975 |     0 |   0.0 |  56M| 137 |   - |2682 |  10k|   0 |   0 |   0 |  15 |   0 | 1.111800e+04 |      --      |    Inf 
521.04/521.28	c   518s| 70000 | 69969 |     0 |   0.0 |  60M| 147 |   - |2682 |  10k|   0 |   0 |   0 |  19 |   0 | 1.111800e+04 |      --      |    Inf 
593.62/593.82	c   590s| 80000 | 79969 |     0 |   0.0 |  65M| 147 |   - |2682 |  10k|   0 |   0 |   0 |  19 |   0 | 1.111800e+04 |      --      |    Inf 
665.39/665.62	c   662s| 90000 | 89965 |     0 |   0.0 |  69M| 147 |   - |2682 |  10k|   0 |   0 |   0 |  23 |   0 | 1.111800e+04 |      --      |    Inf 
732.97/733.22	c   729s|100000 | 99958 |     0 |   0.0 |  74M| 173 |   - |2682 |  10k|   0 |   0 |   0 |  26 |   0 | 1.111800e+04 |      --      |    Inf 
800.96/801.25	c   797s|110000 |109954 |     0 |   0.0 |  78M| 177 |   - |2682 |  10k|   0 |   0 |   0 |  29 |   0 | 1.111900e+04 |      --      |    Inf 
870.53/870.81	c   866s|120000 |119952 |     0 |   0.0 |  83M| 177 |   - |2682 |  10k|   0 |   0 |   0 |  30 |   0 | 1.111900e+04 |      --      |    Inf 
939.01/939.32	c   934s|130000 |129948 |     0 |   0.0 |  88M| 177 |   - |2682 |  10k|   0 |   0 |   0 |  32 |   0 | 1.111900e+04 |      --      |    Inf 
1006.08/1006.47	c  1001s|140000 |139948 |     0 |   0.0 |  93M| 177 |   - |2682 |  10k|   0 |   0 |   0 |  32 |   0 | 1.111900e+04 |      --      |    Inf 
1071.65/1072.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1071.65/1072.03	c  1066s|150000 |149938 |     0 |   0.0 |  97M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  37 |   0 | 1.111900e+04 |      --      |    Inf 
1136.34/1136.72	c  1131s|160000 |159930 |     0 |   0.0 | 102M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  41 |   0 | 1.111900e+04 |      --      |    Inf 
1200.62/1201.07	c  1195s|170000 |169930 |     0 |   0.0 | 106M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  41 |   0 | 1.111900e+04 |      --      |    Inf 
1265.00/1265.42	c  1259s|180000 |179930 |     0 |   0.0 | 111M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  41 |   0 | 1.111900e+04 |      --      |    Inf 
1328.98/1329.48	c  1322s|190000 |189930 |     0 |   0.0 | 115M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  41 |   0 | 1.111900e+04 |      --      |    Inf 
1392.86/1393.40	c  1386s|200000 |199930 |     0 |   0.0 | 120M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  41 |   0 | 1.111900e+04 |      --      |    Inf 
1456.14/1456.61	c  1449s|210000 |209930 |     0 |   0.0 | 124M| 181 |   - |2682 |  10k|   0 |   0 |   0 |  41 |   0 | 1.111900e+04 |      --      |    Inf 
1522.43/1522.95	c  1515s|220000 |219926 |     0 |   0.0 | 129M| 185 |   - |2682 |  10k|   0 |   0 |   0 |  44 |   0 | 1.111900e+04 |      --      |    Inf 
1592.31/1592.84	c  1585s|230000 |229926 |     0 |   0.0 | 134M| 185 |   - |2682 |  10k|   0 |   0 |   0 |  44 |   0 | 1.111900e+04 |      --      |    Inf 
1661.68/1662.20	c  1654s|240000 |239920 |     0 |   0.0 | 138M| 185 |   - |2682 |  10k|   0 |   0 |   0 |  51 |   0 | 1.111900e+04 |      --      |    Inf 
1730.26/1730.86	c  1722s|250000 |249918 |     0 |   0.0 | 143M| 185 |   - |2682 |  10k|   0 |   0 |   0 |  52 |   0 | 1.111900e+04 |      --      |    Inf 
1798.04/1798.68	c  1789s|260000 |259918 |     0 |   0.0 | 148M| 185 |   - |2682 |  10k|   0 |   0 |   0 |  52 |   0 | 1.111900e+04 |      --      |    Inf 
1800.06/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.62	c 
1800.06/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.62	c Solving Time (sec) : 1791.28
1800.06/1800.62	c Solving Nodes      : 260286
1800.06/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.62	c Dual Bound         : +1.11190000000000e+04
1800.06/1800.62	c Gap                : infinite
1800.06/1800.62	s UNKNOWN
1800.06/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.62	c Solving Time       :    1791.28
1800.06/1800.62	c Original Problem   :
1800.06/1800.62	c   Problem name     : HOME/instance-2683414-1277509529.opb
1800.06/1800.62	c   Variables        : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62	c   Constraints      : 24731 initial, 24731 maximal
1800.06/1800.62	c Presolved Problem  :
1800.06/1800.62	c   Problem name     : t_HOME/instance-2683414-1277509529.opb
1800.06/1800.62	c   Variables        : 2682 (2682 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.62	c   Constraints      : 10383 initial, 10428 maximal
1800.06/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.62	c   trivial          :       0.04        101          0          0          0          0          0          0          0
1800.06/1800.62	c   dualfix          :       0.02        626          0          0          0          0          0          0          0
1800.06/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.62	c   implics          :       0.08          0        303          0          0          0          0          0          0
1800.06/1800.62	c   probing          :       1.48        199        417          0          0          0          0          0          0
1800.06/1800.62	c   setppc           :       0.04          0          1          0          0          0         30          1          0
1800.06/1800.62	c   linear           :       0.37        484        755          0        579          0      13547         33         69
1800.06/1800.62	c   logicor          :       1.19          0          0          0          4          0        778          0          0
1800.06/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.62	c   setppc           :        211          0     716419          0     260245         55      62943          0          0          0
1800.06/1800.62	c   logicor          :      10172+         0     642621          0     260245        141     987342          0          0          0
1800.06/1800.62	c   countsols        :          0          0          0          0     260245          0          0          0          0          0
1800.06/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.62	c   setppc           :      40.08       0.00      10.83       0.00      29.25
1800.06/1800.62	c   logicor          :    1369.57       0.00      10.57       0.00    1359.00
1800.06/1800.62	c   countsols        :       0.26       0.00       0.00       0.00       0.26
1800.06/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.62	c   vbounds          :       0.42          2          0          0
1800.06/1800.62	c   rootredcost      :       0.45          0          0          0
1800.06/1800.62	c   pseudoobj        :      69.38     707481          0          0
1800.06/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.62	c   propagation      :       0.00         41         41         49        2.8          4        3.5          -
1800.06/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.62	c   applied globally :          -          -          -         52        2.8          -          -          -
1800.06/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.62	c Pricers            :       Time      Calls       Vars
1800.06/1800.62	c   problem variables:       0.00          0          0
1800.06/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.62	c   inference        :     276.84     260245          0          0          0          0     520490
1800.06/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.62	c   LP solutions     :       0.00          -          0
1800.06/1800.62	c   pseudo solutions :       0.00          -          0
1800.06/1800.62	c   oneopt           :       0.19          0          0
1800.06/1800.62	c   trivial          :       0.01          2          0
1800.06/1800.62	c   simplerounding   :       0.00          0          0
1800.06/1800.62	c   zirounding       :       0.00          0          0
1800.06/1800.62	c   rounding         :       0.00          0          0
1800.06/1800.62	c   shifting         :       0.00          0          0
1800.06/1800.62	c   intshifting      :       0.00          0          0
1800.06/1800.62	c   twoopt           :       0.00          0          0
1800.06/1800.62	c   fixandinfer      :       0.00          0          0
1800.06/1800.62	c   feaspump         :       0.00          0          0
1800.06/1800.62	c   coefdiving       :       0.00          0          0
1800.06/1800.62	c   pscostdiving     :       0.00          0          0
1800.06/1800.62	c   fracdiving       :       0.00          0          0
1800.06/1800.62	c   veclendiving     :       0.00          0          0
1800.06/1800.62	c   intdiving        :       0.00          0          0
1800.06/1800.62	c   actconsdiving    :       0.00          0          0
1800.06/1800.62	c   objpscostdiving  :       0.00          0          0
1800.06/1800.62	c   rootsoldiving    :       0.00          0          0
1800.06/1800.62	c   linesearchdiving :       0.00          0          0
1800.06/1800.62	c   guideddiving     :       0.00          0          0
1800.06/1800.62	c   octane           :       0.00          0          0
1800.06/1800.62	c   rens             :       0.00          0          0
1800.06/1800.62	c   rins             :       0.00          0          0
1800.06/1800.62	c   localbranching   :       0.00          0          0
1800.06/1800.62	c   mutation         :       0.00          0          0
1800.06/1800.62	c   crossover        :       0.00          0          0
1800.06/1800.62	c   dins             :       0.00          0          0
1800.06/1800.62	c   undercover       :       0.00          0          0
1800.06/1800.62	c   nlp              :       0.48          0          0
1800.06/1800.62	c   trysol           :       0.13          0          0
1800.06/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.62	c B&B Tree           :
1800.06/1800.62	c   number of runs   :          1
1800.06/1800.62	c   nodes            :     260286
1800.06/1800.62	c   nodes (total)    :     260286
1800.06/1800.62	c   nodes left       :     260204
1800.06/1800.62	c   max depth        :        185
1800.06/1800.62	c   max depth (total):        185
1800.06/1800.62	c   backtracks       :       3295 (1.3%)
1800.06/1800.62	c   delayed cutoffs  :          1
1800.06/1800.62	c   repropagations   :       2862 (161 domain reductions, 0 cutoffs)
1800.06/1800.62	c   avg switch length:       2.71
1800.06/1800.62	c   switching time   :      12.62
1800.06/1800.62	c Solution           :
1800.06/1800.62	c   Solutions found  :          0 (0 improvements)
1800.06/1800.62	c   Primal Bound     :          -
1800.06/1800.62	c   Dual Bound       : +1.11190000000000e+04
1800.06/1800.62	c   Gap              :   infinite
1800.06/1800.62	c   Root Dual Bound  : +1.11130000000000e+04
1800.06/1800.62	c   Root Iterations  :          0
1800.43/1801.07	c Time complete: 1800.51.

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-2683414-1277509529/watcher-2683414-1277509529 -o /tmp/evaluation-result-2683414-1277509529/solver-2683414-1277509529 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683414-1277509529.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 1.00 1.00 3/106 30361
/proc/meminfo: memFree=1784980/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=5556 CPUtime=0
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 886 0 0 0 0 0 0 0 20 0 1 0 92243900 5689344 808 1992294400 4194304 7136930 140735412962064 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30361/statm: 1388 807 249 719 0 667 0

[startup+0.0276029 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 30361
/proc/meminfo: memFree=1784980/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=10704 CPUtime=0.01
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 2167 0 0 0 1 0 0 0 20 0 1 0 92243900 10960896 2088 1992294400 4194304 7136930 140735412962064 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30361/statm: 2676 2088 271 719 0 1955 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10704

[startup+0.101613 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 30361
/proc/meminfo: memFree=1784980/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=13468 CPUtime=0.09
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 2847 0 0 0 8 1 0 0 20 0 1 0 92243900 13791232 2768 1992294400 4194304 7136930 140735412962064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30361/statm: 3367 2768 271 719 0 2646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13468

[startup+0.300643 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 30361
/proc/meminfo: memFree=1784980/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=19828 CPUtime=0.29
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 4242 0 0 0 28 1 0 0 20 0 1 0 92243900 20303872 4163 1992294400 4194304 7136930 140735412962064 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30361/statm: 4957 4174 271 719 0 4236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19828

[startup+0.700701 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 30361
/proc/meminfo: memFree=1784980/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=48576 CPUtime=0.69
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 11730 0 0 0 64 5 0 0 20 0 1 0 92243900 49741824 11275 1992294400 4194304 7136930 140735412962064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 12144 11275 348 719 0 11423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48576

[startup+1.50082 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30362
/proc/meminfo: memFree=1739464/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=53968 CPUtime=1.49
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 19034 0 0 0 129 20 0 0 22 0 1 0 92243900 55263232 12702 1992294400 4194304 7136930 140735412962064 18446744073709551615 5491136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 13492 12702 370 719 0 12771 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53968

[startup+3.10105 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30362
/proc/meminfo: memFree=1734132/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=55512 CPUtime=3.09
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 29314 0 0 0 270 39 0 0 25 0 1 0 92243900 56844288 13092 1992294400 4194304 7136930 140735412962064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 13878 13092 376 719 0 13157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55512

[startup+6.30052 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30362
/proc/meminfo: memFree=1732272/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=56972 CPUtime=6.29
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 35666 0 0 0 579 50 0 0 25 0 1 0 92243900 58339328 13440 1992294400 4194304 7136930 140735412962064 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 14243 13440 392 719 0 13522 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56972

[startup+12.7015 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30364
/proc/meminfo: memFree=1732156/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=56972 CPUtime=12.69
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 35674 0 0 0 1217 52 0 0 25 0 1 0 92243900 58339328 13448 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 14243 13448 392 719 0 13522 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56972

[startup+25.5013 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30364
/proc/meminfo: memFree=1731288/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=58124 CPUtime=25.48
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 35963 0 0 0 2492 56 0 0 25 0 1 0 92243900 59518976 13737 1992294400 4194304 7136930 140735412962064 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 14531 13737 392 719 0 13810 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58124

[startup+51.1011 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30364
/proc/meminfo: memFree=1729428/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=59924 CPUtime=51.07
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 36424 0 0 0 5040 67 0 0 25 0 1 0 92243900 61362176 14198 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 14981 14198 392 719 0 14260 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59924

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30366
/proc/meminfo: memFree=1724964/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=64184 CPUtime=102.26
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 37531 0 0 0 10140 86 0 0 25 0 1 0 92243900 65724416 15305 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 16046 15305 392 719 0 15325 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 64184

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30368
/proc/meminfo: memFree=1721120/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=67688 CPUtime=162.25
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 38446 0 0 0 16113 112 0 0 25 0 1 0 92243900 69312512 16220 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 16922 16220 392 719 0 16201 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 67688

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30368
/proc/meminfo: memFree=1718392/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=70340 CPUtime=222.22
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 39135 0 0 0 22087 135 0 0 25 0 1 0 92243900 72028160 16909 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 17585 16909 392 719 0 16864 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 70340

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30370
/proc/meminfo: memFree=1712316/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=76264 CPUtime=282.2
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 40639 0 0 0 28061 159 0 0 25 0 1 0 92243900 78094336 18413 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 19066 18413 392 719 0 18345 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 76264

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30372
/proc/meminfo: memFree=1708356/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=80124 CPUtime=342.18
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 41638 0 0 0 34035 183 0 0 25 0 1 0 92243900 82046976 19412 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 20031 19412 392 719 0 19310 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 80124

[startup+402.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30374
/proc/meminfo: memFree=1705256/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=83012 CPUtime=402.17
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 42391 0 0 0 40008 209 0 0 25 0 1 0 92243900 85004288 20165 1992294400 4194304 7136930 140735412962064 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 20753 20165 392 719 0 20032 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 83012

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30376
/proc/meminfo: memFree=1701536/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=86520 CPUtime=462.15
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 43310 0 0 0 45980 235 0 0 25 0 1 0 92243900 88596480 21084 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 21630 21084 392 719 0 20909 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 86520

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30376
/proc/meminfo: memFree=1696700/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=93204 CPUtime=522.13
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 44499 0 0 0 51954 259 0 0 25 0 1 0 92243900 95440896 22273 1992294400 4194304 7136930 140735412962064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 23301 22273 392 719 0 22580 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 93204

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30378
/proc/meminfo: memFree=1693848/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=95948 CPUtime=582.12
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 45189 0 0 0 57929 283 0 0 25 0 1 0 92243900 98250752 22963 1992294400 4194304 7136930 140735412962064 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 23987 22963 392 719 0 23266 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 95948

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30380
/proc/meminfo: memFree=1687524/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=102104 CPUtime=642.11
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 46772 0 0 0 63905 306 0 0 25 0 1 0 92243900 104554496 24546 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 25526 24546 392 719 0 24805 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 102104

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30386
/proc/meminfo: memFree=1670164/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=118496 CPUtime=882.03
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 51024 0 0 0 87795 408 0 0 25 0 1 0 92243900 121339904 28798 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 29624 28798 392 719 0 28903 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 118496

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 30397
/proc/meminfo: memFree=1667056/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=121032 CPUtime=941.99
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 51682 0 0 0 93764 435 0 0 25 0 1 0 92243900 123936768 29456 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 30258 29456 392 719 0 29537 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 121032

[startup+1002.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 30399
/proc/meminfo: memFree=1662724/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=125196 CPUtime=1001.98
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 52767 0 0 0 99733 465 0 0 25 0 1 0 92243900 128200704 30541 1992294400 4194304 7136930 140735412962064 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 31299 30541 392 719 0 30578 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 125196

[startup+1062.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 30401
/proc/meminfo: memFree=1658880/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=128964 CPUtime=1061.96
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 53710 0 0 0 105703 493 0 0 25 0 1 0 92243900 132059136 31484 1992294400 4194304 7136930 140735412962064 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 32241 31484 392 719 0 31520 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 128964

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30401
/proc/meminfo: memFree=1653920/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=133780 CPUtime=1121.95
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 54950 0 0 0 111671 524 0 0 25 0 1 0 92243900 136990720 32724 1992294400 4194304 7136930 140735412962064 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 33445 32724 392 719 0 32724 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 133780

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30403
/proc/meminfo: memFree=1649580/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=137924 CPUtime=1181.93
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 56058 0 0 0 117642 551 0 0 25 0 1 0 92243900 141234176 33832 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 34481 33832 392 719 0 33760 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 137924

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 30405
/proc/meminfo: memFree=1646480/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=140768 CPUtime=1241.91
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 56804 0 0 0 123612 579 0 0 25 0 1 0 92243900 144146432 34578 1992294400 4194304 7136930 140735412962064 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 35192 34578 392 719 0 34471 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 140768

[startup+1302.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 30407
/proc/meminfo: memFree=1639412/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=147732 CPUtime=1301.9
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 58580 0 0 0 129583 607 0 0 25 0 1 0 92243900 151277568 36354 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 36933 36354 392 719 0 36212 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 147732

[startup+1362.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 30409
/proc/meminfo: memFree=1636560/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=150460 CPUtime=1361.87
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 59298 0 0 0 135552 635 0 0 25 0 1 0 92243900 154071040 37072 1992294400 4194304 7136930 140735412962064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 37615 37072 392 719 0 36894 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 150460

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30409
/proc/meminfo: memFree=1632220/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=158664 CPUtime=1421.86
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 60363 0 0 0 141521 665 0 0 25 0 1 0 92243900 162471936 38137 1992294400 4194304 7136930 140735412962064 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 39666 38137 392 719 0 38945 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 158664

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30411
/proc/meminfo: memFree=1625772/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=164964 CPUtime=1481.83
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 61978 0 0 0 147491 692 0 0 25 0 1 0 92243900 168923136 39752 1992294400 4194304 7136930 140735412962064 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 41241 39752 392 719 0 40520 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 164964

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30413
/proc/meminfo: memFree=1621432/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=169136 CPUtime=1541.82
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 63053 0 0 0 153463 719 0 0 25 0 1 0 92243900 173195264 40827 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 42284 40827 392 719 0 41563 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 169136

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30415
/proc/meminfo: memFree=1618704/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=171844 CPUtime=1601.8
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 63763 0 0 0 159437 743 0 0 25 0 1 0 92243900 175968256 41537 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 42961 41537 392 719 0 42240 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 171844

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30417
/proc/meminfo: memFree=1616224/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=174116 CPUtime=1661.78
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 64365 0 0 0 165409 769 0 0 25 0 1 0 92243900 178294784 42139 1992294400 4194304 7136930 140735412962064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 43529 42139 392 719 0 42808 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 174116

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30417
/proc/meminfo: memFree=1611388/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=178696 CPUtime=1721.77
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 65543 0 0 0 171378 799 0 0 25 0 1 0 92243900 182984704 43317 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 44674 43317 392 719 0 43953 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 178696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30419
/proc/meminfo: memFree=1606180/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=183464 CPUtime=1781.74
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 66769 0 0 0 177348 826 0 0 25 0 1 0 92243900 187867136 44543 1992294400 4194304 7136930 140735412962064 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 45866 44543 392 719 0 45145 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 183464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30419
/proc/meminfo: memFree=1605684/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=183980 CPUtime=1800.06
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 66910 0 0 0 179171 835 0 0 25 0 1 0 92243900 188395520 44684 1992294400 4194304 7136930 140735412962064 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30361/statm: 45995 44684 392 719 0 45274 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 183980

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.00 1.00 1.00 2/107 30419
/proc/meminfo: memFree=1605684/2059040 swapFree=4140520/4192956
[pid=30361] ppid=30359 vsize=132140 CPUtime=1800.43
/proc/30361/stat : 30361 (pbscip.linux.x8) R 30359 30361 29802 0 -1 4202496 66915 0 0 0 179208 835 0 0 25 0 1 0 92243900 135311360 31729 1992294400 4194304 7136930 140735412962064 18446744073709551615 5950366 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30361/statm: 33035 31729 397 719 0 32314 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 132140

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.52
CPU user time (s): 1792.14
CPU system time (s): 8.37473
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 183980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.14
system time used= 8.37473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66922
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= 1
involuntary context switches= 4456

runsolver used 2.98155 second user time and 8.50371 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-26 01:45:29
IDJOB=2683414
IDBENCH=72110
IDSOLVER=1167
FILE ID=node052/2683414-1277509529
PBS_JOBID= 11190596
Free space on /tmp= 62248 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-randb54299.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-2683414-1277509529/watcher-2683414-1277509529 -o /tmp/evaluation-result-2683414-1277509529/solver-2683414-1277509529 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683414-1277509529.opb -t 1800 -m 1800

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

MD5SUM BENCH= 10e38bf32434d32a3c213648ff6f5ee4
RANDOM SEED=1692559791

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1785508 kB
Buffers:         49496 kB
Cached:         127028 kB
SwapCached:       5528 kB
Active:          72656 kB
Inactive:       117004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1785508 kB
SwapTotal:     4192956 kB
SwapFree:      4140520 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:       11760 kB
Mapped:          11844 kB
Slab:            61908 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181424 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= 62244 MiB
End job on node052 at 2010-06-26 02:15:32