| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.4 | 1800.89 |
| Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb |
| MD5SUM | 80d4beb6552975b1ad66516326ec7dfd |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8730 |
| Best CPU time to get the best result obtained on this benchmark | 2.6486 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5998 |
| Total number of constraints | 26912 |
| Number of constraints which are clauses | 26598 |
| Number of constraints which are cardinality constraints (but not clauses) | 314 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 553 |
| Number of terms in the objective function | 2216 |
| Biggest coefficient in the objective function | 1667 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 920182 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1667 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 920182 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2683544-1277510469.opb>
0.39/0.50 c original problem has 5998 variables (5998 bin, 0 int, 0 impl, 0 cont) and 26912 constraints
0.39/0.50 c problem read
0.39/0.50 c presolving settings loaded
0.49/0.50 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.63 c presolving:
0.79/0.82 c (round 1) 654 del vars, 1269 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 56784 impls, 311 clqs
0.79/0.87 c (round 2) 856 del vars, 1650 del conss, 131 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 63833 impls, 306 clqs
0.89/0.92 c (round 3) 1090 del vars, 5416 del conss, 284 chg bounds, 1 chg sides, 13 chg coeffs, 0 upgd conss, 65326 impls, 298 clqs
0.89/0.97 c (round 4) 1817 del vars, 9369 del conss, 384 chg bounds, 8 chg sides, 30 chg coeffs, 0 upgd conss, 66524 impls, 292 clqs
1.00/1.01 c (round 5) 1913 del vars, 10445 del conss, 415 chg bounds, 16 chg sides, 43 chg coeffs, 0 upgd conss, 66984 impls, 289 clqs
1.00/1.03 c (round 6) 1947 del vars, 10692 del conss, 419 chg bounds, 16 chg sides, 46 chg coeffs, 0 upgd conss, 67028 impls, 289 clqs
1.00/1.05 c (round 7) 1968 del vars, 10803 del conss, 419 chg bounds, 18 chg sides, 49 chg coeffs, 0 upgd conss, 67038 impls, 289 clqs
1.00/1.07 c (round 8) 1974 del vars, 10815 del conss, 420 chg bounds, 18 chg sides, 50 chg coeffs, 0 upgd conss, 67047 impls, 289 clqs
1.00/1.09 c (round 9) 1976 del vars, 10820 del conss, 420 chg bounds, 18 chg sides, 50 chg coeffs, 0 upgd conss, 67047 impls, 289 clqs
1.29/1.37 c (round 10) 1976 del vars, 12201 del conss, 420 chg bounds, 18 chg sides, 50 chg coeffs, 14701 upgd conss, 67047 impls, 289 clqs
1.39/1.43 c (round 11) 1983 del vars, 12208 del conss, 420 chg bounds, 18 chg sides, 50 chg coeffs, 14701 upgd conss, 67047 impls, 289 clqs
1.39/1.48 c (round 12) 1983 del vars, 12209 del conss, 420 chg bounds, 19 chg sides, 50 chg coeffs, 14701 upgd conss, 67047 impls, 289 clqs
1.69/1.70 c (round 13) 1983 del vars, 12243 del conss, 420 chg bounds, 19 chg sides, 50 chg coeffs, 14753 upgd conss, 67047 impls, 289 clqs
1.69/1.75 c (round 14) 1983 del vars, 12243 del conss, 420 chg bounds, 19 chg sides, 50 chg coeffs, 14755 upgd conss, 67047 impls, 289 clqs
1.79/1.82 c (round 15) 1983 del vars, 12245 del conss, 420 chg bounds, 19 chg sides, 50 chg coeffs, 14755 upgd conss, 67047 impls, 289 clqs
1.79/1.85 c (round 16) 1984 del vars, 12246 del conss, 420 chg bounds, 19 chg sides, 50 chg coeffs, 14755 upgd conss, 67047 impls, 289 clqs
1.99/2.07 c (round 17) 2047 del vars, 12246 del conss, 420 chg bounds, 19 chg sides, 50 chg coeffs, 14755 upgd conss, 79206 impls, 282 clqs
1.99/2.10 c (round 18) 2052 del vars, 12530 del conss, 425 chg bounds, 19 chg sides, 50 chg coeffs, 14755 upgd conss, 79280 impls, 282 clqs
2.10/2.12 c (round 19) 2060 del vars, 12558 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 79307 impls, 282 clqs
2.10/2.18 c (round 20) 2061 del vars, 12564 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 79307 impls, 282 clqs
2.20/2.26 c (round 21) 2061 del vars, 12566 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 79307 impls, 282 clqs
2.39/2.48 c (round 22) 2111 del vars, 12566 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 82081 impls, 280 clqs
2.49/2.51 c (round 23) 2112 del vars, 12611 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 82083 impls, 280 clqs
2.49/2.58 c (round 24) 2112 del vars, 12616 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 82083 impls, 280 clqs
2.69/2.75 c (round 25) 2162 del vars, 12616 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 83884 impls, 274 clqs
2.69/2.77 c (round 26) 2171 del vars, 12747 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 84040 impls, 274 clqs
2.79/2.80 c (round 27) 2172 del vars, 12750 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 84040 impls, 274 clqs
2.79/2.84 c (round 28) 2172 del vars, 12766 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 84040 impls, 274 clqs
2.99/3.09 c (round 29) 2222 del vars, 12766 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 85847 impls, 271 clqs
3.09/3.11 c (round 30) 2224 del vars, 12858 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 85889 impls, 271 clqs
3.09/3.14 c (round 31) 2227 del vars, 12874 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 85889 impls, 270 clqs
3.09/3.16 c (round 32) 2227 del vars, 12877 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 85889 impls, 270 clqs
3.20/3.22 c (round 33) 2227 del vars, 12884 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 85889 impls, 270 clqs
3.39/3.41 c (round 34) 2277 del vars, 12884 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 87007 impls, 270 clqs
3.39/3.44 c (round 35) 2280 del vars, 12962 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 87025 impls, 270 clqs
3.49/3.53 c (2.6s) probing: 1000/4014 (24.9%) - 114 fixings, 160 aggregations, 4575 implications, 0 bound changes
3.59/3.67 c (round 36) 2330 del vars, 12962 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 88902 impls, 269 clqs
3.59/3.70 c (round 37) 2330 del vars, 13001 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 88902 impls, 269 clqs
3.69/3.78 c (round 38) 2330 del vars, 13006 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 88902 impls, 269 clqs
3.99/4.04 c (round 39) 2380 del vars, 13007 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 90760 impls, 269 clqs
3.99/4.06 c (round 40) 2380 del vars, 13030 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 90760 impls, 269 clqs
4.09/4.12 c (round 41) 2380 del vars, 13035 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 90760 impls, 269 clqs
4.19/4.29 c (round 42) 2430 del vars, 13035 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 91472 impls, 267 clqs
4.30/4.32 c (round 43) 2431 del vars, 13061 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 91474 impls, 267 clqs
4.30/4.40 c (round 44) 2431 del vars, 13074 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 91474 impls, 267 clqs
4.49/4.51 c (3.5s) probing: 2000/4014 (49.8%) - 137 fixings, 297 aggregations, 6363 implications, 0 bound changes
4.49/4.59 c (round 45) 2481 del vars, 13074 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 92366 impls, 267 clqs
4.59/4.61 c (round 46) 2481 del vars, 13082 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 92366 impls, 267 clqs
4.69/4.78 c (round 47) 2531 del vars, 13082 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 92642 impls, 267 clqs
4.79/4.81 c (round 48) 2533 del vars, 13126 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 92646 impls, 267 clqs
4.79/4.86 c (round 49) 2533 del vars, 13133 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 92646 impls, 267 clqs
4.99/5.02 c (round 50) 2583 del vars, 13133 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 93294 impls, 267 clqs
4.99/5.04 c (round 51) 2586 del vars, 13174 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 93316 impls, 267 clqs
5.09/5.11 c (round 52) 2586 del vars, 13205 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 93316 impls, 267 clqs
5.29/5.32 c (4.3s) probing: 3000/4014 (74.7%) - 180 fixings, 424 aggregations, 7908 implications, 0 bound changes
5.29/5.34 c (round 53) 2636 del vars, 13205 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 95792 impls, 267 clqs
5.29/5.36 c (round 54) 2638 del vars, 13268 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 95800 impls, 267 clqs
5.40/5.44 c (round 55) 2638 del vars, 13271 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 95800 impls, 267 clqs
5.69/5.75 c (round 56) 2688 del vars, 13271 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 100262 impls, 267 clqs
5.69/5.77 c (round 57) 2706 del vars, 13385 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 100316 impls, 267 clqs
5.79/5.83 c (round 58) 2706 del vars, 13389 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 100316 impls, 267 clqs
5.99/6.00 c (round 59) 2756 del vars, 13389 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 103750 impls, 267 clqs
5.99/6.02 c (round 60) 2809 del vars, 13489 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 103918 impls, 267 clqs
6.19/6.23 c (round 61) 2809 del vars, 13576 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 103918 impls, 267 clqs
6.19/6.26 c (round 62) 2812 del vars, 13578 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 103918 impls, 267 clqs
6.29/6.35 c (5.2s) probing: 4000/4014 (99.7%) - 288 fixings, 438 aggregations, 12245 implications, 0 bound changes
6.29/6.35 c (round 63) 2825 del vars, 13578 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 104768 impls, 267 clqs
6.29/6.37 c (round 64) 2839 del vars, 13604 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 104808 impls, 267 clqs
6.50/6.52 c (round 65) 2839 del vars, 13623 del conss, 426 chg bounds, 20 chg sides, 50 chg coeffs, 14755 upgd conss, 104808 impls, 267 clqs
6.50/6.58 c presolving (66 rounds):
6.50/6.58 c 2839 deleted vars, 13624 deleted constraints, 426 tightened bounds, 0 added holes, 20 changed sides, 50 changed coefficients
6.50/6.58 c 104808 implications, 267 cliques
6.50/6.58 c presolved problem has 3159 variables (3159 bin, 0 int, 0 impl, 0 cont) and 13293 constraints
6.50/6.58 c 271 constraints of type <setppc>
6.50/6.58 c 13022 constraints of type <logicor>
6.50/6.58 c transformed objective value is always integral (scale: 1)
6.50/6.58 c Presolving Time: 5.35
6.50/6.58 c - non default parameters ----------------------------------------------------------------------
6.50/6.58 c # SCIP version 1.2.1.2
6.50/6.58 c
6.50/6.58 c # frequency for displaying node information lines
6.50/6.58 c # [type: int, range: [-1,2147483647], default: 100]
6.50/6.58 c display/freq = 10000
6.50/6.58 c
6.50/6.58 c # maximal time in seconds to run
6.50/6.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.50/6.58 c limits/time = 1799.51
6.50/6.58 c
6.50/6.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.50/6.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.50/6.58 c limits/memory = 1620
6.50/6.58 c
6.50/6.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
6.50/6.58 c # [type: int, range: [-1,2147483647], default: 1]
6.50/6.58 c lp/solvefreq = -1
6.50/6.58 c
6.50/6.58 c # should presolving try to simplify inequalities
6.50/6.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.50/6.58 c constraints/linear/simplifyinequalities = TRUE
6.50/6.58 c
6.50/6.58 c # should presolving try to simplify knapsacks
6.50/6.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.50/6.58 c constraints/knapsack/simplifyinequalities = TRUE
6.50/6.58 c
6.50/6.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.50/6.58 c # [type: int, range: [-1,2147483647], default: -1]
6.50/6.58 c separating/rapidlearning/freq = 0
6.50/6.58 c
6.50/6.58 c -----------------------------------------------------------------------------------------------
6.50/6.58 c start solving
6.50/6.59 c
6.50/6.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.50/6.60 c 5.4s| 1 | 2 | 0 | - | 30M| 0 | - |3159 | 13k| 0 | 0 | 0 | 0 | 0 | 8.664000e+03 | -- | Inf
104.06/104.16 c 103s| 10000 | 9955 | 0 | 0.0 | 35M| 127 | - |3159 | 13k| 0 | 0 | 0 | 27 | 0 | 8.682000e+03 | -- | Inf
199.24/199.36 c 198s| 20000 | 19943 | 0 | 0.0 | 40M| 127 | - |3159 | 13k| 0 | 0 | 0 | 33 | 0 | 8.683000e+03 | -- | Inf
292.52/292.67 c 290s| 30000 | 29927 | 0 | 0.0 | 45M| 139 | - |3159 | 13k| 0 | 0 | 0 | 42 | 0 | 8.683000e+03 | -- | Inf
384.99/385.13 c 383s| 40000 | 39915 | 0 | 0.0 | 49M| 139 | - |3159 | 13k| 0 | 0 | 0 | 49 | 0 | 8.684000e+03 | -- | Inf
477.17/477.38 c 475s| 50000 | 49907 | 0 | 0.0 | 54M| 145 | - |3159 | 13k| 0 | 0 | 0 | 55 | 0 | 8.685000e+03 | -- | Inf
568.45/568.70 c 566s| 60000 | 59900 | 0 | 0.0 | 59M| 145 | - |3159 | 13k| 0 | 0 | 0 | 58 | 0 | 8.685000e+03 | -- | Inf
662.61/662.84 c 659s| 70000 | 69896 | 0 | 0.0 | 63M| 145 | - |3159 | 13k| 0 | 0 | 0 | 61 | 0 | 8.686000e+03 | -- | Inf
755.29/755.54 c 752s| 80000 | 79886 | 0 | 0.0 | 68M| 145 | - |3159 | 13k| 0 | 0 | 0 | 66 | 0 | 8.686000e+03 | -- | Inf
846.86/847.12 c 843s| 90000 | 89886 | 0 | 0.0 | 73M| 145 | - |3159 | 13k| 0 | 0 | 0 | 66 | 0 | 8.686000e+03 | -- | Inf
937.34/937.63 c 933s|100000 | 99886 | 0 | 0.0 | 77M| 145 | - |3159 | 13k| 0 | 0 | 0 | 66 | 0 | 8.686000e+03 | -- | Inf
1028.82/1029.16 c 1024s|110000 |109876 | 0 | 0.0 | 82M| 157 | - |3159 | 13k| 0 | 0 | 0 | 74 | 0 | 8.686000e+03 | -- | Inf
1119.90/1120.20 c 1115s|120000 |119874 | 0 | 0.0 | 86M| 157 | - |3159 | 13k| 0 | 0 | 0 | 75 | 0 | 8.686000e+03 | -- | Inf
1210.97/1211.40 c 1206s|130000 |129870 | 0 | 0.0 | 91M| 157 | - |3159 | 13k| 0 | 0 | 0 | 77 | 0 | 8.687000e+03 | -- | Inf
1302.64/1303.02 c 1297s|140000 |139868 | 0 | 0.0 | 96M| 157 | - |3159 | 13k| 0 | 0 | 0 | 78 | 0 | 8.687000e+03 | -- | Inf
1393.72/1394.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.72/1394.12 c 1388s|150000 |149868 | 0 | 0.0 | 101M| 157 | - |3159 | 13k| 0 | 0 | 0 | 78 | 0 | 8.687000e+03 | -- | Inf
1484.20/1484.69 c 1478s|160000 |159864 | 0 | 0.0 | 106M| 157 | - |3159 | 13k| 0 | 0 | 0 | 80 | 0 | 8.687000e+03 | -- | Inf
1574.37/1574.89 c 1568s|170000 |169864 | 0 | 0.0 | 111M| 157 | - |3159 | 13k| 0 | 0 | 0 | 80 | 0 | 8.687000e+03 | -- | Inf
1663.64/1664.12 c 1657s|180000 |179860 | 0 | 0.0 | 116M| 157 | - |3159 | 13k| 0 | 0 | 0 | 82 | 0 | 8.687000e+03 | -- | Inf
1750.63/1751.13 c 1744s|190000 |189850 | 0 | 0.0 | 121M| 157 | - |3159 | 13k| 0 | 0 | 0 | 87 | 0 | 8.687000e+03 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1792.88
1800.02/1800.50 c Solving Nodes : 195802
1800.02/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50 c Dual Bound : +8.68700000000000e+03
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s UNKNOWN
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1792.88
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2683544-1277510469.opb
1800.02/1800.50 c Variables : 5998 (5998 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 26912 initial, 26912 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2683544-1277510469.opb
1800.02/1800.50 c Variables : 3159 (3159 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 13293 initial, 13368 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.08 28 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.04 598 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.11 0 289 0 0 0 0 0 0
1800.02/1800.50 c probing : 2.26 288 438 0 0 0 0 0 0
1800.02/1800.50 c setppc : 0.04 2 1 0 0 0 23 1 0
1800.02/1800.50 c linear : 0.38 400 793 0 420 0 12157 19 50
1800.02/1800.50 c logicor : 2.33 2 0 0 6 0 1444 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.50 c setppc : 271 0 539972 0 195727 67 57893 0 0 0
1800.02/1800.50 c logicor : 13022+ 0 479205 0 195727 214 767890 0 0 0
1800.02/1800.50 c countsols : 0 0 0 0 195727 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c setppc : 40.33 0.00 10.56 0.00 29.77
1800.02/1800.50 c logicor : 1408.25 0.00 9.07 0.00 1399.18
1800.02/1800.50 c countsols : 0.27 0.00 0.00 0.00 0.27
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 0.35 2 0 0
1800.02/1800.50 c rootredcost : 0.42 0 0 0
1800.02/1800.50 c pseudoobj : 61.35 529420 0 0
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 0.00 75 75 82 2.3 8 2.1 -
1800.02/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 89 2.3 - - -
1800.02/1800.50 c applied locally : - - - 0 0.0 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.50 c redcost : 0.00 0 0 0 0 0
1800.02/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 0.00 0 0 0 0 0
1800.02/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.50 c cmir : 0.00 0 0 0 0 0
1800.02/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.50 c clique : 0.00 0 0 0 0 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.00 0 0 0 0 0
1800.02/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 251.95 195727 0 0 0 0 391454
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c oneopt : 0.13 0 0
1800.02/1800.51 c trivial : 0.02 2 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.38 0 0
1800.02/1800.51 c trysol : 0.08 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 195802
1800.02/1800.51 c nodes (total) : 195802
1800.02/1800.51 c nodes left : 195648
1800.02/1800.51 c max depth : 157
1800.02/1800.51 c max depth (total): 157
1800.02/1800.51 c backtracks : 2674 (1.4%)
1800.02/1800.51 c delayed cutoffs : 5
1800.02/1800.51 c repropagations : 6513 (274 domain reductions, 0 cutoffs)
1800.02/1800.51 c avg switch length: 2.59
1800.02/1800.51 c switching time : 10.55
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +8.68700000000000e+03
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +8.66400000000000e+03
1800.02/1800.51 c Root Iterations : 0
1800.31/1800.88 c Time complete: 1800.39.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683544-1277510469/watcher-2683544-1277510469 -o /tmp/evaluation-result-2683544-1277510469/solver-2683544-1277510469 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683544-1277510469.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.00 1.00 1.00 3/106 27250 /proc/meminfo: memFree=1840340/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=5556 CPUtime=0 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 884 0 0 0 0 0 0 0 18 0 1 0 126650554 5689344 807 1992294400 4194304 7136930 140735448736592 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27250/statm: 1389 808 249 719 0 668 0 [startup+0.0167051 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27250 /proc/meminfo: memFree=1840340/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=9652 CPUtime=0.01 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 1775 0 0 0 1 0 0 0 18 0 1 0 126650554 9883648 1697 1992294400 4194304 7136930 140735448736592 18446744073709551615 6329871 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27250/statm: 2413 1709 266 719 0 1692 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9652 [startup+0.100713 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27250 /proc/meminfo: memFree=1840340/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=13344 CPUtime=0.09 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 2841 0 0 0 8 1 0 0 20 0 1 0 126650554 13664256 2763 1992294400 4194304 7136930 140735448736592 18446744073709551615 5650648 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27250/statm: 3336 2763 271 719 0 2615 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13344 [startup+0.300736 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27250 /proc/meminfo: memFree=1840340/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=18740 CPUtime=0.29 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 4165 0 0 0 28 1 0 0 20 0 1 0 126650554 19189760 4087 1992294400 4194304 7136930 140735448736592 18446744073709551615 6269152 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27250/statm: 4685 4087 271 719 0 3964 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18740 [startup+0.700782 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27250 /proc/meminfo: memFree=1840340/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=51524 CPUtime=0.69 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 12407 0 0 0 64 5 0 0 20 0 1 0 126650554 52760576 11975 1992294400 4194304 7136930 140735448736592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 12881 11975 342 719 0 12160 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51524 [startup+1.50088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27251 /proc/meminfo: memFree=1790980/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=61216 CPUtime=1.49 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 19215 0 0 0 127 22 0 0 23 0 1 0 126650554 62685184 14288 1992294400 4194304 7136930 140735448736592 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 15304 14298 360 719 0 14583 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61216 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27251 /proc/meminfo: memFree=1783788/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=60580 CPUtime=3.09 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 27190 0 0 0 272 37 0 0 25 0 1 0 126650554 62033920 14267 1992294400 4194304 7136930 140735448736592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 15145 14267 370 719 0 14424 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60580 [startup+6.30143 s] /proc/loadavg: 1.08 1.02 1.01 2/107 27251 /proc/meminfo: memFree=1782424/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=61812 CPUtime=6.29 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 41502 0 0 0 562 67 0 0 25 0 1 0 126650554 63295488 14580 1992294400 4194304 7136930 140735448736592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 15453 14580 376 719 0 14732 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61812 [startup+12.7012 s] /proc/loadavg: 1.08 1.02 1.00 2/107 27253 /proc/meminfo: memFree=1781804/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=62840 CPUtime=12.69 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 43015 0 0 0 1198 71 0 0 25 0 1 0 126650554 64348160 14873 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 15710 14873 392 719 0 14989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62840 [startup+25.5007 s] /proc/loadavg: 1.06 1.01 1.00 2/107 27253 /proc/meminfo: memFree=1780688/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=63984 CPUtime=25.49 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 43316 0 0 0 2474 75 0 0 25 0 1 0 126650554 65519616 15174 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 15996 15174 392 719 0 15275 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63984 [startup+51.1006 s] /proc/loadavg: 1.04 1.01 1.00 2/107 27253 /proc/meminfo: memFree=1778952/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=65680 CPUtime=51.07 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 43750 0 0 0 5024 83 0 0 25 0 1 0 126650554 67256320 15608 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 16420 15608 392 719 0 15699 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65680 [startup+102.309 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27255 /proc/meminfo: memFree=1775852/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=68484 CPUtime=102.27 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 44470 0 0 0 10125 102 0 0 25 0 1 0 126650554 70127616 16328 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 17121 16328 392 719 0 16400 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 68484 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27257 /proc/meminfo: memFree=1773000/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=71208 CPUtime=162.25 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 45167 0 0 0 16105 120 0 0 25 0 1 0 126650554 72916992 17025 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 17802 17025 392 719 0 17081 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 71208 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27257 /proc/meminfo: memFree=1769528/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=74580 CPUtime=222.23 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 46022 0 0 0 22083 140 0 0 25 0 1 0 126650554 76369920 17880 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 18645 17880 392 719 0 17924 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 74580 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27259 /proc/meminfo: memFree=1767048/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=76880 CPUtime=282.22 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 46633 0 0 0 28062 160 0 0 25 0 1 0 126650554 78725120 18491 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 19220 18491 392 719 0 18499 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 76880 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27261 /proc/meminfo: memFree=1761592/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=82240 CPUtime=342.19 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 48002 0 0 0 34039 180 0 0 25 0 1 0 126650554 84213760 19860 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 20560 19860 392 719 0 19839 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 82240 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27263 /proc/meminfo: memFree=1758864/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=84916 CPUtime=402.18 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 48676 0 0 0 40017 201 0 0 25 0 1 0 126650554 86953984 20534 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 21229 20534 392 719 0 20508 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 84916 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27265 /proc/meminfo: memFree=1756880/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=86712 CPUtime=462.17 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 49155 0 0 0 45996 221 0 0 25 0 1 0 126650554 88793088 21013 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 21678 21013 392 719 0 20957 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 86712 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27265 /proc/meminfo: memFree=1753532/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=89936 CPUtime=522.15 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 50002 0 0 0 51974 241 0 0 25 0 1 0 126650554 92094464 21860 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 22484 21860 392 719 0 21763 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 89936 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27267 /proc/meminfo: memFree=1750184/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=93176 CPUtime=582.14 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 50816 0 0 0 57954 260 0 0 25 0 1 0 126650554 95412224 22674 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 23294 22674 392 719 0 22573 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 93176 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27269 /proc/meminfo: memFree=1747828/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=97500 CPUtime=642.12 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 51399 0 0 0 63933 279 0 0 25 0 1 0 126650554 99840000 23257 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 24375 23257 392 719 0 23654 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 97500 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27280 /proc/meminfo: memFree=1730716/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=113384 CPUtime=942.04 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 55526 0 0 0 93830 374 0 0 25 0 1 0 126650554 116105216 27384 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 28346 27384 392 719 0 27625 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 113384 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27282 /proc/meminfo: memFree=1727616/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=116344 CPUtime=1002.02 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 56287 0 0 0 99807 395 0 0 25 0 1 0 126650554 119136256 28145 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 29086 28145 392 719 0 28365 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 116344 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27284 /proc/meminfo: memFree=1724640/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=119324 CPUtime=1062.01 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 57037 0 0 0 105786 415 0 0 25 0 1 0 126650554 122187776 28895 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 29831 28895 392 719 0 29110 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 119324 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27284 /proc/meminfo: memFree=1721168/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=122632 CPUtime=1121.99 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 57900 0 0 0 111764 435 0 0 25 0 1 0 126650554 125575168 29758 1992294400 4194304 7136930 140735448736592 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 30658 29758 392 719 0 29937 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 122632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27286 /proc/meminfo: memFree=1717696/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=126088 CPUtime=1181.98 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 58778 0 0 0 117743 455 0 0 25 0 1 0 126650554 129114112 30636 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 31522 30636 392 719 0 30801 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 126088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27288 /proc/meminfo: memFree=1715216/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=128512 CPUtime=1241.96 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 59401 0 0 0 123721 475 0 0 25 0 1 0 126650554 131596288 31259 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 32128 31259 392 719 0 31407 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 128512 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27290 /proc/meminfo: memFree=1711744/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=131856 CPUtime=1301.95 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 60273 0 0 0 129700 495 0 0 25 0 1 0 126650554 135020544 32131 1992294400 4194304 7136930 140735448736592 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 32964 32131 392 719 0 32243 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 131856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27292 /proc/meminfo: memFree=1707652/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=135784 CPUtime=1361.93 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 61300 0 0 0 135680 513 0 0 25 0 1 0 126650554 139042816 33158 1992294400 4194304 7136930 140735448736592 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 33946 33158 392 719 0 33225 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 135784 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27292 /proc/meminfo: memFree=1702816/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=140464 CPUtime=1421.92 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 62496 0 0 0 141662 530 0 0 25 0 1 0 126650554 143835136 34354 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 35116 34354 392 719 0 34395 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 140464 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27294 /proc/meminfo: memFree=1699840/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=143380 CPUtime=1481.89 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 63250 0 0 0 147638 551 0 0 25 0 1 0 126650554 146821120 35108 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 35845 35108 392 719 0 35124 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 143380 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27296 /proc/meminfo: memFree=1697856/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=146264 CPUtime=1541.88 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 63998 0 0 0 153615 573 0 0 25 0 1 0 126650554 149774336 35856 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 36566 35856 392 719 0 35845 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 146264 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27298 /proc/meminfo: memFree=1694756/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=148416 CPUtime=1601.87 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 64562 0 0 0 159593 594 0 0 25 0 1 0 126650554 151977984 36420 1992294400 4194304 7136930 140735448736592 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 37104 36420 392 719 0 36383 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 148416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27300 /proc/meminfo: memFree=1690664/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=152316 CPUtime=1661.84 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 65542 0 0 0 165569 615 0 0 25 0 1 0 126650554 155971584 37400 1992294400 4194304 7136930 140735448736592 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 38079 37400 392 719 0 37358 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 152316 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27300 /proc/meminfo: memFree=1687440/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=155280 CPUtime=1721.83 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 66329 0 0 0 171546 637 0 0 25 0 1 0 126650554 159006720 38187 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 38820 38187 392 719 0 38099 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 155280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27302 /proc/meminfo: memFree=1685084/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=157224 CPUtime=1781.82 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 66840 0 0 0 177522 660 0 0 25 0 1 0 126650554 160997376 38698 1992294400 4194304 7136930 140735448736592 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 39306 38698 392 719 0 38585 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 157224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27302 /proc/meminfo: memFree=1685084/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=157224 CPUtime=1800.02 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 66851 0 0 0 179335 667 0 0 25 0 1 0 126650554 160997376 38709 1992294400 4194304 7136930 140735448736592 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27250/statm: 39306 38709 392 719 0 38585 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 157224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27303 /proc/meminfo: memFree=1685076/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=157224 CPUtime=1800.12 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 66856 0 0 0 179345 667 0 0 25 0 1 0 126650554 160997376 38714 1992294400 4194304 7136930 140735448736592 18446744073709551615 6165624 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27250/statm: 39306 38714 397 719 0 38585 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 157224 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27303 /proc/meminfo: memFree=1685076/2059040 swapFree=4138920/4192956 [pid=27250] ppid=27248 vsize=121304 CPUtime=1800.31 /proc/27250/stat : 27250 (pbscip.linux.x8) R 27248 27250 26864 0 -1 4202496 66856 0 0 0 179363 668 0 0 25 0 1 0 126650554 124215296 29734 1992294400 4194304 7136930 140735448736592 18446744073709551615 5950410 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27250/statm: 30326 29734 397 719 0 29605 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 121304 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.4 CPU user time (s): 1793.71 CPU system time (s): 6.69898 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 157224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 6.69898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66863 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= 3025 runsolver used 2.88556 second user time and 8.60169 second system time The end
Begin job on node006 at 2010-06-26 02:01:09 IDJOB=2683544 IDBENCH=72120 IDSOLVER=1167 FILE ID=node006/2683544-1277510469 PBS_JOBID= 11190601 Free space on /tmp= 62540 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.biglist/normalized-rand0c02bc.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-2683544-1277510469/watcher-2683544-1277510469 -o /tmp/evaluation-result-2683544-1277510469/solver-2683544-1277510469 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683544-1277510469.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80d4beb6552975b1ad66516326ec7dfd RANDOM SEED=1817609554 node006.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.204 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.40 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.204 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: 1840868 kB Buffers: 21028 kB Cached: 100536 kB SwapCached: 6900 kB Active: 56824 kB Inactive: 78592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840868 kB SwapTotal: 4192956 kB SwapFree: 4138920 kB Dirty: 4156 kB Writeback: 0 kB AnonPages: 12516 kB Mapped: 11396 kB Slab: 60876 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182204 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= 62540 MiB End job on node006 at 2010-06-26 02:31:11