Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.49 | 1800.99 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randbccf2d.cudf.paranoid.opb |
MD5SUM | 898444e70073216a734242d26361e4ed |
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 | 6128 |
Best CPU time to get the best result obtained on this benchmark | 2.86756 |
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 | 6569 |
Total number of constraints | 28912 |
Number of constraints which are clauses | 28594 |
Number of constraints which are cardinality constraints (but not clauses) | 318 |
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 | 2438 |
Biggest coefficient in the objective function | 1889 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 1042726 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1889 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 1042726 |
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-2683687-1277511287.opb> 0.39/0.49 c original problem has 6569 variables (6569 bin, 0 int, 0 impl, 0 cont) and 28912 constraints 0.39/0.49 c problem read 0.39/0.49 c presolving settings loaded 0.39/0.49 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.59/0.63 c presolving: 0.79/0.82 c (round 1) 734 del vars, 1440 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 62620 impls, 315 clqs 0.79/0.88 c (round 2) 1052 del vars, 1970 del conss, 237 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 70990 impls, 307 clqs 0.89/0.95 c (round 3) 1877 del vars, 9776 del conss, 414 chg bounds, 1 chg sides, 14 chg coeffs, 0 upgd conss, 72056 impls, 301 clqs 0.89/0.99 c (round 4) 1995 del vars, 12902 del conss, 453 chg bounds, 13 chg sides, 40 chg coeffs, 0 upgd conss, 74831 impls, 296 clqs 1.00/1.02 c (round 5) 2050 del vars, 13473 del conss, 461 chg bounds, 18 chg sides, 51 chg coeffs, 0 upgd conss, 75305 impls, 296 clqs 1.00/1.04 c (round 6) 2073 del vars, 13603 del conss, 462 chg bounds, 18 chg sides, 52 chg coeffs, 0 upgd conss, 75454 impls, 296 clqs 1.00/1.06 c (round 7) 2084 del vars, 13661 del conss, 462 chg bounds, 18 chg sides, 53 chg coeffs, 0 upgd conss, 75544 impls, 296 clqs 1.00/1.08 c (round 8) 2085 del vars, 13664 del conss, 463 chg bounds, 18 chg sides, 54 chg coeffs, 0 upgd conss, 75557 impls, 296 clqs 1.00/1.09 c (round 9) 2086 del vars, 13680 del conss, 463 chg bounds, 18 chg sides, 54 chg coeffs, 0 upgd conss, 75557 impls, 296 clqs 1.19/1.28 c (round 10) 2086 del vars, 14840 del conss, 463 chg bounds, 18 chg sides, 54 chg coeffs, 14001 upgd conss, 75557 impls, 296 clqs 1.29/1.33 c (round 11) 2091 del vars, 14845 del conss, 463 chg bounds, 18 chg sides, 54 chg coeffs, 14001 upgd conss, 75557 impls, 296 clqs 1.29/1.38 c (round 12) 2091 del vars, 14846 del conss, 463 chg bounds, 19 chg sides, 54 chg coeffs, 14001 upgd conss, 75557 impls, 296 clqs 1.39/1.40 c (round 13) 2092 del vars, 14847 del conss, 463 chg bounds, 19 chg sides, 54 chg coeffs, 14065 upgd conss, 75557 impls, 296 clqs 1.39/1.44 c (round 14) 2092 del vars, 14849 del conss, 463 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 75557 impls, 296 clqs 1.49/1.51 c (round 15) 2154 del vars, 14849 del conss, 463 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 75696 impls, 288 clqs 1.49/1.54 c (round 16) 2211 del vars, 15204 del conss, 470 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 76707 impls, 288 clqs 1.49/1.56 c (round 17) 2223 del vars, 15232 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 76710 impls, 288 clqs 1.59/1.61 c (round 18) 2224 del vars, 15251 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 76710 impls, 288 clqs 1.59/1.67 c (round 19) 2224 del vars, 15271 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 76710 impls, 288 clqs 1.59/1.70 c (round 20) 2225 del vars, 15272 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 76710 impls, 288 clqs 1.79/1.84 c (round 21) 2276 del vars, 15272 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 82328 impls, 282 clqs 1.79/1.86 c (round 22) 2276 del vars, 15411 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 82328 impls, 282 clqs 2.10/2.13 c (round 23) 2326 del vars, 15412 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 86715 impls, 282 clqs 2.10/2.15 c (round 24) 2326 del vars, 15455 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 86715 impls, 282 clqs 2.29/2.35 c (round 25) 2376 del vars, 15456 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 88521 impls, 278 clqs 2.29/2.37 c (round 26) 2377 del vars, 15522 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 88522 impls, 278 clqs 2.39/2.42 c (round 27) 2378 del vars, 15522 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 88522 impls, 278 clqs 2.59/2.61 c (round 28) 2434 del vars, 15522 del conss, 471 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 91447 impls, 272 clqs 2.59/2.63 c (round 29) 2435 del vars, 15632 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 91450 impls, 272 clqs 2.59/2.68 c (round 30) 2436 del vars, 15640 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 91450 impls, 272 clqs 2.79/2.85 c (2.0s) probing: 1000/4477 (22.3%) - 146 fixings, 165 aggregations, 3603 implications, 0 bound changes 2.79/2.87 c (round 31) 2486 del vars, 15640 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 93556 impls, 270 clqs 2.79/2.89 c (round 32) 2488 del vars, 15664 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 93558 impls, 270 clqs 2.99/3.04 c (round 33) 2488 del vars, 15681 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 93558 impls, 270 clqs 3.29/3.31 c (round 34) 2538 del vars, 15682 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 94796 impls, 269 clqs 3.29/3.34 c (round 35) 2539 del vars, 15718 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 94822 impls, 269 clqs 3.39/3.41 c (round 36) 2539 del vars, 15720 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 94822 impls, 269 clqs 3.59/3.62 c (round 37) 2589 del vars, 15720 del conss, 472 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 95861 impls, 268 clqs 3.59/3.64 c (round 38) 2590 del vars, 15773 del conss, 473 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 95864 impls, 268 clqs 3.59/3.67 c (round 39) 2591 del vars, 15775 del conss, 473 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 95864 impls, 268 clqs 3.69/3.72 c (round 40) 2591 del vars, 15781 del conss, 473 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 95864 impls, 268 clqs 3.69/3.74 c (round 41) 2592 del vars, 15785 del conss, 473 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 95864 impls, 268 clqs 3.89/3.92 c (3.0s) probing: 2000/4477 (44.7%) - 174 fixings, 293 aggregations, 4743 implications, 0 bound changes 3.89/3.93 c (round 42) 2642 del vars, 15786 del conss, 473 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 96082 impls, 267 clqs 3.89/3.95 c (round 43) 2644 del vars, 15802 del conss, 474 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 96089 impls, 267 clqs 3.89/3.97 c (round 44) 2645 del vars, 15804 del conss, 474 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 96089 impls, 267 clqs 3.99/4.01 c (round 45) 2645 del vars, 15806 del conss, 474 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 96089 impls, 267 clqs 4.09/4.12 c (round 46) 2645 del vars, 15825 del conss, 474 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 96089 impls, 267 clqs 4.30/4.31 c (round 47) 2695 del vars, 15825 del conss, 474 chg bounds, 19 chg sides, 54 chg coeffs, 14066 upgd conss, 96704 impls, 266 clqs 4.30/4.33 c (round 48) 2701 del vars, 15849 del conss, 474 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 96986 impls, 266 clqs 4.49/4.52 c (round 49) 2751 del vars, 15849 del conss, 474 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 97788 impls, 266 clqs 4.49/4.55 c (round 50) 2758 del vars, 15879 del conss, 474 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 98280 impls, 266 clqs 4.59/4.60 c (round 51) 2758 del vars, 15883 del conss, 474 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 98280 impls, 266 clqs 4.79/4.83 c (round 52) 2808 del vars, 15883 del conss, 474 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 98977 impls, 266 clqs 4.79/4.85 c (round 53) 2813 del vars, 15942 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 99040 impls, 266 clqs 4.89/4.91 c (round 54) 2814 del vars, 15945 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 99040 impls, 266 clqs 4.89/4.96 c (3.9s) probing: 3000/4477 (67.0%) - 212 fixings, 407 aggregations, 5857 implications, 0 bound changes 5.09/5.11 c (round 55) 2864 del vars, 15945 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 99850 impls, 266 clqs 5.09/5.13 c (round 56) 2874 del vars, 16016 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 100144 impls, 266 clqs 5.09/5.18 c (round 57) 2874 del vars, 16019 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 100144 impls, 266 clqs 5.19/5.23 c (round 58) 2874 del vars, 16026 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 100144 impls, 266 clqs 5.50/5.52 c (round 59) 2924 del vars, 16026 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 102468 impls, 266 clqs 5.50/5.54 c (round 60) 2945 del vars, 16152 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 102950 impls, 266 clqs 5.59/5.68 c (round 61) 2945 del vars, 16222 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 102950 impls, 266 clqs 5.69/5.70 c (round 62) 2947 del vars, 16226 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 102950 impls, 266 clqs 5.79/5.80 c (round 63) 2947 del vars, 16232 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 102950 impls, 266 clqs 5.88/5.95 c (4.8s) probing: 4000/4477 (89.3%) - 327 fixings, 438 aggregations, 8608 implications, 0 bound changes 5.88/5.96 c (round 64) 2997 del vars, 16232 del conss, 475 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 104950 impls, 266 clqs 5.88/5.98 c (round 65) 3050 del vars, 16328 del conss, 477 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 105218 impls, 266 clqs 5.99/6.04 c (round 66) 3052 del vars, 16332 del conss, 477 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 105218 impls, 266 clqs 6.19/6.21 c (round 67) 3096 del vars, 16332 del conss, 477 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 107170 impls, 266 clqs 6.19/6.23 c (round 68) 3141 del vars, 16420 del conss, 477 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 107278 impls, 266 clqs 6.28/6.33 c (round 69) 3141 del vars, 16446 del conss, 477 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 107278 impls, 266 clqs 6.28/6.38 c (round 70) 3142 del vars, 16446 del conss, 477 chg bounds, 20 chg sides, 54 chg coeffs, 14066 upgd conss, 107278 impls, 266 clqs 6.39/6.42 c presolving (71 rounds): 6.39/6.42 c 3142 deleted vars, 16446 deleted constraints, 477 tightened bounds, 0 added holes, 20 changed sides, 54 changed coefficients 6.39/6.42 c 107278 implications, 266 cliques 6.39/6.42 c presolved problem has 3427 variables (3427 bin, 0 int, 0 impl, 0 cont) and 12471 constraints 6.39/6.42 c 273 constraints of type <setppc> 6.39/6.42 c 12198 constraints of type <logicor> 6.39/6.42 c transformed objective value is always integral (scale: 1) 6.39/6.42 c Presolving Time: 5.16 6.39/6.42 c - non default parameters ---------------------------------------------------------------------- 6.39/6.42 c # SCIP version 1.2.1.2 6.39/6.42 c 6.39/6.42 c # frequency for displaying node information lines 6.39/6.42 c # [type: int, range: [-1,2147483647], default: 100] 6.39/6.42 c display/freq = 10000 6.39/6.42 c 6.39/6.42 c # maximal time in seconds to run 6.39/6.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.39/6.42 c limits/time = 1799.52 6.39/6.42 c 6.39/6.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 6.39/6.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.39/6.42 c limits/memory = 1620 6.39/6.42 c 6.39/6.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 6.39/6.42 c # [type: int, range: [-1,2147483647], default: 1] 6.39/6.42 c lp/solvefreq = -1 6.39/6.42 c 6.39/6.42 c # should presolving try to simplify inequalities 6.39/6.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.39/6.42 c constraints/linear/simplifyinequalities = TRUE 6.39/6.42 c 6.39/6.42 c # should presolving try to simplify knapsacks 6.39/6.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.39/6.42 c constraints/knapsack/simplifyinequalities = TRUE 6.39/6.42 c 6.39/6.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 6.39/6.42 c # [type: int, range: [-1,2147483647], default: -1] 6.39/6.42 c separating/rapidlearning/freq = 0 6.39/6.42 c 6.39/6.42 c ----------------------------------------------------------------------------------------------- 6.39/6.42 c start solving 6.39/6.43 c 6.39/6.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.39/6.44 c 5.2s| 1 | 2 | 0 | - | 32M| 0 | - |3427 | 12k| 0 | 0 | 0 | 0 | 0 | 6.093000e+03 | -- | Inf 105.47/105.58 c 104s| 10000 | 9958 | 0 | 0.0 | 38M| 101 | - |3427 | 12k| 0 | 0 | 0 | 24 | 0 | 6.101000e+03 | -- | Inf 203.04/203.16 c 201s| 20000 | 19954 | 0 | 0.0 | 43M| 105 | - |3427 | 12k| 0 | 0 | 0 | 26 | 0 | 6.102000e+03 | -- | Inf 298.41/298.54 c 296s| 30000 | 29931 | 0 | 0.0 | 49M| 169 | - |3427 | 12k| 0 | 0 | 0 | 37 | 0 | 6.103000e+03 | -- | Inf 391.78/392.00 c 390s| 40000 | 39925 | 0 | 0.0 | 54M| 169 | - |3427 | 12k| 0 | 0 | 0 | 41 | 0 | 6.103000e+03 | -- | Inf 483.65/483.84 c 481s| 50000 | 49921 | 0 | 0.0 | 59M| 169 | - |3427 | 12k| 0 | 0 | 0 | 43 | 0 | 6.103000e+03 | -- | Inf 574.93/575.18 c 572s| 60000 | 59903 | 0 | 0.0 | 63M| 169 | - |3427 | 12k| 0 | 0 | 0 | 52 | 0 | 6.103000e+03 | -- | Inf 669.21/669.43 c 666s| 70000 | 69903 | 0 | 0.0 | 68M| 169 | - |3427 | 12k| 0 | 0 | 0 | 52 | 0 | 6.103000e+03 | -- | Inf 762.48/762.70 c 759s| 80000 | 79901 | 0 | 0.0 | 73M| 169 | - |3427 | 12k| 0 | 0 | 0 | 53 | 0 | 6.103000e+03 | -- | Inf 854.46/854.78 c 851s| 90000 | 89901 | 0 | 0.0 | 78M| 169 | - |3427 | 12k| 0 | 0 | 0 | 53 | 0 | 6.103000e+03 | -- | Inf 946.03/946.39 c 942s|100000 | 99901 | 0 | 0.0 | 83M| 169 | - |3427 | 12k| 0 | 0 | 0 | 53 | 0 | 6.104000e+03 | -- | Inf 1036.51/1036.88 c 1032s|110000 |109897 | 0 | 0.0 | 88M| 169 | - |3427 | 12k| 0 | 0 | 0 | 55 | 0 | 6.104000e+03 | -- | Inf 1130.38/1130.73 c 1126s|120000 |119895 | 0 | 0.0 | 93M| 173 | - |3427 | 12k| 0 | 0 | 0 | 55 | 0 | 6.104000e+03 | -- | Inf 1221.15/1221.54 c 1216s|130000 |129891 | 0 | 0.0 | 98M| 191 | - |3427 | 12k| 0 | 0 | 0 | 57 | 0 | 6.104000e+03 | -- | Inf 1312.93/1313.36 c 1308s|140000 |139891 | 0 | 0.0 | 103M| 191 | - |3427 | 12k| 0 | 0 | 0 | 57 | 0 | 6.104000e+03 | -- | Inf 1406.30/1406.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1406.30/1406.72 c 1401s|150000 |149891 | 0 | 0.0 | 107M| 191 | - |3427 | 12k| 0 | 0 | 0 | 57 | 0 | 6.104000e+03 | -- | Inf 1499.07/1499.50 c 1493s|160000 |159891 | 0 | 0.0 | 112M| 191 | - |3427 | 12k| 0 | 0 | 0 | 57 | 0 | 6.104000e+03 | -- | Inf 1591.16/1591.66 c 1585s|170000 |169891 | 0 | 0.0 | 117M| 191 | - |3427 | 12k| 0 | 0 | 0 | 57 | 0 | 6.104000e+03 | -- | Inf 1682.22/1682.78 c 1676s|180000 |179889 | 0 | 0.0 | 122M| 191 | - |3427 | 12k| 0 | 0 | 0 | 58 | 0 | 6.105000e+03 | -- | Inf 1772.60/1773.16 c 1766s|190000 |189883 | 0 | 0.0 | 127M| 191 | - |3427 | 12k| 0 | 0 | 0 | 61 | 0 | 6.105000e+03 | -- | Inf 1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.10/1800.62 c 1800.10/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.62 c Solving Time (sec) : 1793.31 1800.10/1800.62 c Solving Nodes : 193049 1800.10/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.10/1800.62 c Dual Bound : +6.10500000000000e+03 1800.10/1800.62 c Gap : infinite 1800.10/1800.62 s UNKNOWN 1800.10/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.62 c Solving Time : 1793.31 1800.10/1800.62 c Original Problem : 1800.10/1800.62 c Problem name : HOME/instance-2683687-1277511287.opb 1800.10/1800.62 c Variables : 6569 (6569 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.62 c Constraints : 28912 initial, 28912 maximal 1800.10/1800.62 c Presolved Problem : 1800.10/1800.62 c Problem name : t_HOME/instance-2683687-1277511287.opb 1800.10/1800.62 c Variables : 3427 (3427 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.62 c Constraints : 12471 initial, 12513 maximal 1800.10/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.10/1800.62 c trivial : 0.04 53 0 0 0 0 0 0 0 1800.10/1800.62 c dualfix : 0.07 613 0 0 0 0 0 0 0 1800.10/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.62 c implics : 0.10 0 410 0 0 0 0 0 0 1800.10/1800.62 c probing : 2.33 375 438 0 0 0 0 0 0 1800.10/1800.62 c setppc : 0.06 0 2 0 0 0 28 1 0 1800.10/1800.62 c linear : 0.36 427 822 0 463 0 14846 19 54 1800.10/1800.62 c logicor : 2.06 2 0 0 14 0 1572 0 0 1800.10/1800.62 c root node : - 0 - - 0 - - - - 1800.10/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.10/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0 1800.10/1800.62 c setppc : 273 0 555281 0 192991 46 55412 0 0 0 1800.10/1800.62 c logicor : 12198+ 0 502633 0 192991 261 847974 0 0 0 1800.10/1800.62 c countsols : 0 0 0 0 192991 0 0 0 0 0 1800.10/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.10/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00 1800.10/1800.62 c setppc : 41.59 0.00 10.86 0.00 30.73 1800.10/1800.62 c logicor : 1390.50 0.00 8.65 0.00 1381.85 1800.10/1800.62 c countsols : 0.24 0.00 0.00 0.00 0.24 1800.10/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.10/1800.62 c vbounds : 0.25 2 0 0 1800.10/1800.62 c rootredcost : 0.36 0 0 0 1800.10/1800.62 c pseudoobj : 62.64 544196 0 0 1800.10/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.10/1800.62 c propagation : 0.00 58 57 57 2.2 4 2.2 - 1800.10/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.10/1800.62 c applied globally : - - - 61 2.2 - - - 1800.10/1800.62 c applied locally : - - - 0 0.0 - - - 1800.10/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.10/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.10/1800.62 c redcost : 0.00 0 0 0 0 0 1800.10/1800.62 c impliedbounds : 0.00 0 0 0 0 0 1800.10/1800.62 c intobj : 0.00 0 0 0 0 0 1800.10/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.10/1800.62 c gomory : 0.00 0 0 0 0 0 1800.10/1800.62 c strongcg : 0.00 0 0 0 0 0 1800.10/1800.62 c cmir : 0.00 0 0 0 0 0 1800.10/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.10/1800.62 c clique : 0.00 0 0 0 0 0 1800.10/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.10/1800.62 c mcf : 0.00 0 0 0 0 0 1800.10/1800.62 c rapidlearning : 0.00 0 0 0 0 0 1800.10/1800.62 c Pricers : Time Calls Vars 1800.10/1800.62 c problem variables: 0.00 0 0 1800.10/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.10/1800.62 c relpscost : 0.00 0 0 0 0 0 0 1800.10/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.10/1800.62 c inference : 268.58 192991 0 0 0 0 385982 1800.10/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.10/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.10/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.62 c random : 0.00 0 0 0 0 0 0 1800.10/1800.62 c Primal Heuristics : Time Calls Found 1800.10/1800.62 c LP solutions : 0.00 - 0 1800.10/1800.62 c pseudo solutions : 0.00 - 0 1800.10/1800.62 c oneopt : 0.17 0 0 1800.10/1800.62 c trivial : 0.02 2 0 1800.10/1800.62 c simplerounding : 0.00 0 0 1800.10/1800.62 c zirounding : 0.00 0 0 1800.10/1800.62 c rounding : 0.00 0 0 1800.10/1800.62 c shifting : 0.00 0 0 1800.10/1800.62 c intshifting : 0.00 0 0 1800.10/1800.62 c twoopt : 0.00 0 0 1800.10/1800.62 c fixandinfer : 0.00 0 0 1800.10/1800.62 c feaspump : 0.00 0 0 1800.10/1800.62 c coefdiving : 0.00 0 0 1800.10/1800.62 c pscostdiving : 0.00 0 0 1800.10/1800.62 c fracdiving : 0.00 0 0 1800.10/1800.62 c veclendiving : 0.00 0 0 1800.10/1800.62 c intdiving : 0.00 0 0 1800.10/1800.62 c actconsdiving : 0.00 0 0 1800.10/1800.62 c objpscostdiving : 0.00 0 0 1800.10/1800.62 c rootsoldiving : 0.00 0 0 1800.10/1800.62 c linesearchdiving : 0.00 0 0 1800.10/1800.62 c guideddiving : 0.00 0 0 1800.10/1800.62 c octane : 0.00 0 0 1800.10/1800.62 c rens : 0.00 0 0 1800.10/1800.62 c rins : 0.00 0 0 1800.10/1800.62 c localbranching : 0.00 0 0 1800.10/1800.62 c mutation : 0.00 0 0 1800.10/1800.62 c crossover : 0.00 0 0 1800.10/1800.62 c dins : 0.00 0 0 1800.10/1800.62 c undercover : 0.00 0 0 1800.10/1800.62 c nlp : 0.34 0 0 1800.10/1800.62 c trysol : 0.07 0 0 1800.10/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.10/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.10/1800.62 c dual LP : 0.00 0 0 0.00 - 1800.10/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.10/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.10/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.10/1800.62 c strong branching : 0.00 0 0 0.00 - 1800.10/1800.62 c (at root node) : - 0 0 0.00 - 1800.10/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.10/1800.62 c B&B Tree : 1800.10/1800.62 c number of runs : 1 1800.10/1800.62 c nodes : 193049 1800.10/1800.62 c nodes (total) : 193049 1800.10/1800.62 c nodes left : 192932 1800.10/1800.62 c max depth : 191 1800.10/1800.62 c max depth (total): 191 1800.10/1800.62 c backtracks : 2368 (1.2%) 1800.10/1800.62 c delayed cutoffs : 2 1800.10/1800.62 c repropagations : 1825 (201 domain reductions, 0 cutoffs) 1800.10/1800.62 c avg switch length: 2.37 1800.10/1800.62 c switching time : 10.37 1800.10/1800.62 c Solution : 1800.10/1800.62 c Solutions found : 0 (0 improvements) 1800.10/1800.62 c Primal Bound : - 1800.10/1800.62 c Dual Bound : +6.10500000000000e+03 1800.10/1800.62 c Gap : infinite 1800.10/1800.62 c Root Dual Bound : +6.09300000000000e+03 1800.10/1800.62 c Root Iterations : 0 1800.39/1800.99 c Time complete: 1800.49.
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-2683687-1277511287/watcher-2683687-1277511287 -o /tmp/evaluation-result-2683687-1277511287/solver-2683687-1277511287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683687-1277511287.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.16 1.04 1.01 3/105 32369 /proc/meminfo: memFree=1845608/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=6584 CPUtime=0 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 907 0 0 0 0 0 0 0 25 0 1 0 92421899 6742016 829 1992294400 4194304 7136930 140733942145600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32369/statm: 1646 839 254 719 0 925 0 [startup+0.0680259 s] /proc/loadavg: 1.16 1.04 1.01 3/105 32369 /proc/meminfo: memFree=1845608/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=13236 CPUtime=0.05 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 2803 0 0 0 5 0 0 0 25 0 1 0 92421899 13553664 2725 1992294400 4194304 7136930 140733942145600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32369/statm: 3309 2725 271 719 0 2588 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13236 [startup+0.10103 s] /proc/loadavg: 1.16 1.04 1.01 3/105 32369 /proc/meminfo: memFree=1845608/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=15016 CPUtime=0.09 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 3235 0 0 0 8 1 0 0 25 0 1 0 92421899 15376384 3157 1992294400 4194304 7136930 140733942145600 18446744073709551615 4361567 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32369/statm: 3754 3157 271 719 0 3033 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15016 [startup+0.301054 s] /proc/loadavg: 1.16 1.04 1.01 3/105 32369 /proc/meminfo: memFree=1845608/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=19968 CPUtime=0.29 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 4502 0 0 0 28 1 0 0 25 0 1 0 92421899 20447232 4424 1992294400 4194304 7136930 140733942145600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32369/statm: 4992 4424 271 719 0 4271 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19968 [startup+0.701103 s] /proc/loadavg: 1.16 1.04 1.01 3/105 32369 /proc/meminfo: memFree=1845608/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=52412 CPUtime=0.69 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 12638 0 0 0 64 5 0 0 25 0 1 0 92421899 53669888 12206 1992294400 4194304 7136930 140733942145600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 13103 12206 342 719 0 12382 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52412 [startup+1.5012 s] /proc/loadavg: 1.16 1.04 1.01 2/106 32370 /proc/meminfo: memFree=1795132/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=61152 CPUtime=1.49 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 20809 0 0 0 128 21 0 0 25 0 1 0 92421899 62619648 14404 1992294400 4194304 7136930 140733942145600 18446744073709551615 5952735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 15288 14404 368 719 0 14567 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61152 [startup+3.1014 s] /proc/loadavg: 1.14 1.04 1.01 2/106 32370 /proc/meminfo: memFree=1788064/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=61928 CPUtime=3.09 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 30321 0 0 0 270 39 0 0 25 0 1 0 92421899 63414272 14636 1992294400 4194304 7136930 140733942145600 18446744073709551615 5500801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 15482 14636 376 719 0 14761 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 61928 [startup+6.30079 s] /proc/loadavg: 1.14 1.04 1.01 2/106 32370 /proc/meminfo: memFree=1786328/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=63984 CPUtime=6.28 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 46213 0 0 0 559 69 0 0 25 0 1 0 92421899 65519616 15148 1992294400 4194304 7136930 140733942145600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 15996 15148 376 719 0 15275 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 63984 [startup+12.7016 s] /proc/loadavg: 1.12 1.04 1.01 2/106 32370 /proc/meminfo: memFree=1784220/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=65528 CPUtime=12.69 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 47582 0 0 0 1196 73 0 0 25 0 1 0 92421899 67100672 15554 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 16382 15554 392 719 0 15661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65528 [startup+25.5011 s] /proc/loadavg: 1.10 1.04 1.01 2/106 32370 /proc/meminfo: memFree=1783476/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=66288 CPUtime=25.49 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 47781 0 0 0 2472 77 0 0 25 0 1 0 92421899 67878912 15753 1992294400 4194304 7136930 140733942145600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 16572 15753 392 719 0 15851 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66288 [startup+51.1013 s] /proc/loadavg: 1.07 1.04 1.01 2/106 32372 /proc/meminfo: memFree=1781864/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=67900 CPUtime=51.07 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 48182 0 0 0 5023 84 0 0 25 0 1 0 92421899 69529600 16154 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 16975 16154 392 719 0 16254 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 67900 [startup+102.309 s] /proc/loadavg: 1.02 1.03 1.00 2/106 32372 /proc/meminfo: memFree=1778888/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=70832 CPUtime=102.27 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 48941 0 0 0 10128 99 0 0 25 0 1 0 92421899 72531968 16913 1992294400 4194304 7136930 140733942145600 18446744073709551615 4414752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 17708 16913 392 719 0 16987 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70832 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/106 32374 /proc/meminfo: memFree=1775416/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=74144 CPUtime=162.25 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 49782 0 0 0 16106 119 0 0 25 0 1 0 92421899 75923456 17754 1992294400 4194304 7136930 140733942145600 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 18536 17754 392 719 0 17815 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 74144 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 32376 /proc/meminfo: memFree=1771696/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=77796 CPUtime=222.23 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 50723 0 0 0 22086 137 0 0 25 0 1 0 92421899 79663104 18695 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 19449 18695 392 719 0 18728 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 77796 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 32378 /proc/meminfo: memFree=1767356/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=81892 CPUtime=282.21 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 51770 0 0 0 28064 157 0 0 25 0 1 0 92421899 83857408 19742 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 20473 19742 392 719 0 19752 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 81892 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32380 /proc/meminfo: memFree=1763636/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=85376 CPUtime=342.19 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 52686 0 0 0 34046 173 0 0 25 0 1 0 92421899 87425024 20658 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 21344 20658 392 719 0 20623 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 85376 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32380 /proc/meminfo: memFree=1758800/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=90168 CPUtime=402.18 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 53884 0 0 0 40027 191 0 0 25 0 1 0 92421899 92332032 21856 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 22542 21856 392 719 0 21821 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 90168 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32382 /proc/meminfo: memFree=1756940/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=91980 CPUtime=462.16 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 54358 0 0 0 46007 209 0 0 25 0 1 0 92421899 94187520 22330 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 22995 22330 392 719 0 22274 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 91980 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32384 /proc/meminfo: memFree=1753096/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=95640 CPUtime=522.15 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 55298 0 0 0 51988 227 0 0 25 0 1 0 92421899 97935360 23270 1992294400 4194304 7136930 140733942145600 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 23910 23270 392 719 0 23189 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 95640 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32386 /proc/meminfo: memFree=1751732/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=96780 CPUtime=582.13 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 55622 0 0 0 57967 246 0 0 25 0 1 0 92421899 99102720 23594 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 24195 23594 392 719 0 23474 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 96780 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32388 /proc/meminfo: memFree=1747640/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=102884 CPUtime=642.12 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 56646 0 0 0 63948 264 0 0 25 0 1 0 92421899 105353216 24618 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 25721 24618 392 719 0 25000 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 102884 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32394 /proc/meminfo: memFree=1730528/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=119092 CPUtime=942.02 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 60861 0 0 0 93842 360 0 0 25 0 1 0 92421899 121950208 28833 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 29773 28833 392 719 0 29052 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 119092 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32396 /proc/meminfo: memFree=1728544/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=120984 CPUtime=1002.02 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 61358 0 0 0 99820 382 0 0 25 0 1 0 92421899 123887616 29330 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 30246 29330 392 719 0 29525 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 120984 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32398 /proc/meminfo: memFree=1724328/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=125216 CPUtime=1061.99 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 62406 0 0 0 105798 401 0 0 25 0 1 0 92421899 128221184 30378 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 31304 30378 392 719 0 30583 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 125216 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/106 32403 /proc/meminfo: memFree=1720300/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=128212 CPUtime=1121.98 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 63214 0 0 0 111778 420 0 0 25 0 1 0 92421899 131289088 31186 1992294400 4194304 7136930 140733942145600 18446744073709551615 4407945 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 32053 31186 392 719 0 31332 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 128212 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 32405 /proc/meminfo: memFree=1718564/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=129884 CPUtime=1181.96 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 63658 0 0 0 117760 436 0 0 25 0 1 0 92421899 133001216 31630 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 32471 31630 392 719 0 31750 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 129884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32405 /proc/meminfo: memFree=1714472/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=133876 CPUtime=1241.94 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 64683 0 0 0 123737 457 0 0 25 0 1 0 92421899 137089024 32655 1992294400 4194304 7136930 140733942145600 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 33469 32655 392 719 0 32748 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 133876 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32407 /proc/meminfo: memFree=1710256/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=138044 CPUtime=1301.94 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 65749 0 0 0 129716 478 0 0 25 0 1 0 92421899 141357056 33721 1992294400 4194304 7136930 140733942145600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 34511 33721 392 719 0 33790 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 138044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32409 /proc/meminfo: memFree=1706536/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=141712 CPUtime=1361.91 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 66658 0 0 0 135695 496 0 0 25 0 1 0 92421899 145113088 34630 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 35428 34630 392 719 0 34707 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 141712 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32411 /proc/meminfo: memFree=1703808/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=144292 CPUtime=1421.9 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 67362 0 0 0 141677 513 0 0 25 0 1 0 92421899 147755008 35334 1992294400 4194304 7136930 140733942145600 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 36073 35334 392 719 0 35352 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 144292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32413 /proc/meminfo: memFree=1702940/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=144940 CPUtime=1481.88 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 67548 0 0 0 147655 533 0 0 25 0 1 0 92421899 148418560 35520 1992294400 4194304 7136930 140733942145600 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 36235 35520 392 719 0 35514 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 144940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32415 /proc/meminfo: memFree=1698104/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=149712 CPUtime=1541.86 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 68766 0 0 0 153636 550 0 0 25 0 1 0 92421899 153305088 36738 1992294400 4194304 7136930 140733942145600 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 37428 36738 392 719 0 36707 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 149712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32415 /proc/meminfo: memFree=1695252/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=152288 CPUtime=1601.85 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 69438 0 0 0 159615 570 0 0 25 0 1 0 92421899 155942912 37410 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 38072 37410 392 719 0 37351 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 152288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32417 /proc/meminfo: memFree=1693764/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=153716 CPUtime=1661.83 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 69819 0 0 0 165595 588 0 0 25 0 1 0 92421899 157405184 37791 1992294400 4194304 7136930 140733942145600 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 38429 37791 392 719 0 37708 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 153716 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32419 /proc/meminfo: memFree=1690664/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=156764 CPUtime=1721.82 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 70607 0 0 0 171574 608 0 0 25 0 1 0 92421899 160526336 38579 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 39191 38579 392 719 0 38470 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 156764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32421 /proc/meminfo: memFree=1686944/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=160108 CPUtime=1781.8 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 71470 0 0 0 177553 627 0 0 25 0 1 0 92421899 163950592 39442 1992294400 4194304 7136930 140733942145600 18446744073709551615 5507327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 40027 39442 392 719 0 39306 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 160108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32421 /proc/meminfo: memFree=1685208/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=161784 CPUtime=1800.1 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 71897 0 0 0 179377 633 0 0 25 0 1 0 92421899 165666816 39869 1992294400 4194304 7136930 140733942145600 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32369/statm: 40446 39869 392 719 0 39725 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 161784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32421 /proc/meminfo: memFree=1685208/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=161784 CPUtime=1800.29 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 71902 0 0 0 179396 633 0 0 25 0 1 0 92421899 165666816 39874 1992294400 4194304 7136930 140733942145600 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32369/statm: 40446 39874 397 719 0 39725 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 161784 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32421 /proc/meminfo: memFree=1685208/2059040 swapFree=4138724/4192956 [pid=32369] ppid=32367 vsize=134128 CPUtime=1800.39 /proc/32369/stat : 32369 (pbscip.linux.x8) R 32367 32369 31684 0 -1 4202496 71902 0 0 0 179405 634 0 0 25 0 1 0 92421899 137347072 32960 1992294400 4194304 7136930 140733942145600 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32369/statm: 33532 32960 397 719 0 32811 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 134128 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.49 CPU user time (s): 1794.14 CPU system time (s): 6.35303 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 161784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.14 system time used= 6.35303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71909 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= 22840 runsolver used 2.98955 second user time and 8.49671 second system time The end
Begin job on node080 at 2010-06-26 02:14:47 IDJOB=2683687 IDBENCH=72131 IDSOLVER=1167 FILE ID=node080/2683687-1277511287 PBS_JOBID= 11190614 Free space on /tmp= 62284 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-randbccf2d.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-2683687-1277511287/watcher-2683687-1277511287 -o /tmp/evaluation-result-2683687-1277511287/solver-2683687-1277511287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683687-1277511287.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 898444e70073216a734242d26361e4ed RANDOM SEED=180726737 node080.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 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 : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1846136 kB Buffers: 7400 kB Cached: 114500 kB SwapCached: 6836 kB Active: 96204 kB Inactive: 39332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846136 kB SwapTotal: 4192956 kB SwapFree: 4138724 kB Dirty: 4076 kB Writeback: 0 kB AnonPages: 12316 kB Mapped: 11848 kB Slab: 55552 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183652 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= 62280 MiB End job on node080 at 2010-06-26 02:44:50