Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.45 | 1801.01 |
Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randd1cab2.cudf.paranoid.opb |
MD5SUM | 137fecd474ce86cd9c04fc0f87fcc0d0 |
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 | 15492 |
Best CPU time to get the best result obtained on this benchmark | 8.64268 |
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 | 6492 |
Total number of constraints | 29061 |
Number of constraints which are clauses | 28744 |
Number of constraints which are cardinality constraints (but not clauses) | 317 |
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 | 2420 |
Biggest coefficient in the objective function | 1871 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 1032790 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1871 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 1032790 |
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-2683726-1277511548.opb> 0.50/0.50 c original problem has 6492 variables (6492 bin, 0 int, 0 impl, 0 cont) and 29061 constraints 0.50/0.50 c problem read 0.50/0.50 c presolving settings loaded 0.50/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.64 c presolving: 0.79/0.84 c (round 1) 781 del vars, 1561 del conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 76592 impls, 314 clqs 0.89/0.90 c (round 2) 1087 del vars, 2055 del conss, 247 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 84546 impls, 297 clqs 0.89/0.98 c (round 3) 2112 del vars, 10611 del conss, 553 chg bounds, 6 chg sides, 21 chg coeffs, 0 upgd conss, 87878 impls, 281 clqs 1.00/1.04 c (round 4) 2271 del vars, 14624 del conss, 591 chg bounds, 24 chg sides, 66 chg coeffs, 0 upgd conss, 89231 impls, 278 clqs 1.00/1.06 c (round 5) 2378 del vars, 15318 del conss, 634 chg bounds, 25 chg sides, 71 chg coeffs, 0 upgd conss, 89730 impls, 275 clqs 1.00/1.08 c (round 6) 2471 del vars, 15787 del conss, 671 chg bounds, 26 chg sides, 74 chg coeffs, 0 upgd conss, 90102 impls, 274 clqs 1.00/1.10 c (round 7) 2498 del vars, 15878 del conss, 672 chg bounds, 26 chg sides, 74 chg coeffs, 0 upgd conss, 90212 impls, 274 clqs 1.10/1.12 c (round 8) 2508 del vars, 15908 del conss, 672 chg bounds, 26 chg sides, 74 chg coeffs, 0 upgd conss, 90212 impls, 274 clqs 1.29/1.31 c (round 9) 2508 del vars, 17005 del conss, 672 chg bounds, 26 chg sides, 74 chg coeffs, 11964 upgd conss, 90212 impls, 274 clqs 1.29/1.35 c (round 10) 2513 del vars, 17010 del conss, 672 chg bounds, 26 chg sides, 74 chg coeffs, 11964 upgd conss, 90212 impls, 274 clqs 1.29/1.39 c (round 11) 2513 del vars, 17013 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 11964 upgd conss, 90212 impls, 274 clqs 1.39/1.41 c (round 12) 2516 del vars, 17016 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 11964 upgd conss, 90212 impls, 274 clqs 1.39/1.49 c (round 13) 2516 del vars, 17027 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12052 upgd conss, 90212 impls, 274 clqs 1.59/1.61 c (round 14) 2516 del vars, 17039 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 90212 impls, 274 clqs 1.59/1.69 c (round 15) 2575 del vars, 17039 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 96800 impls, 272 clqs 1.69/1.71 c (round 16) 2577 del vars, 17159 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 96807 impls, 272 clqs 1.69/1.75 c (round 17) 2578 del vars, 17160 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 96807 impls, 272 clqs 1.99/2.03 c (round 18) 2628 del vars, 17160 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 101596 impls, 264 clqs 1.99/2.05 c (round 19) 2633 del vars, 17344 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 101675 impls, 264 clqs 1.99/2.09 c (round 20) 2646 del vars, 17360 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 101675 impls, 263 clqs 2.20/2.28 c (round 21) 2696 del vars, 17360 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 103759 impls, 260 clqs 2.29/2.30 c (round 22) 2697 del vars, 17393 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 103760 impls, 260 clqs 2.29/2.34 c (round 23) 2698 del vars, 17394 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 103760 impls, 260 clqs 2.39/2.49 c (round 24) 2748 del vars, 17394 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 104813 impls, 256 clqs 2.49/2.50 c (round 25) 2751 del vars, 17446 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 104833 impls, 256 clqs 2.59/2.65 c (1.9s) probing: 1000/3976 (25.2%) - 82 fixings, 164 aggregations, 3189 implications, 0 bound changes 2.59/2.69 c (round 26) 2801 del vars, 17447 del conss, 672 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 106427 impls, 252 clqs 2.69/2.71 c (round 27) 2804 del vars, 17635 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 106441 impls, 252 clqs 2.69/2.75 c (round 28) 2807 del vars, 17640 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 106441 impls, 252 clqs 2.79/2.80 c (round 29) 2807 del vars, 17642 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 106441 impls, 252 clqs 2.79/2.81 c (round 30) 2808 del vars, 17645 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 106441 impls, 252 clqs 2.99/3.01 c (round 31) 2858 del vars, 17645 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107506 impls, 251 clqs 2.99/3.03 c (round 32) 2859 del vars, 17669 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107508 impls, 251 clqs 3.20/3.21 c (round 33) 2909 del vars, 17669 del conss, 674 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107955 impls, 250 clqs 3.20/3.23 c (round 34) 2912 del vars, 17697 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107964 impls, 250 clqs 3.20/3.27 c (round 35) 2915 del vars, 17703 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107964 impls, 250 clqs 3.30/3.33 c (round 36) 2915 del vars, 17724 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107964 impls, 250 clqs 3.30/3.35 c (round 37) 2917 del vars, 17728 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 107964 impls, 250 clqs 3.49/3.50 c (round 38) 2968 del vars, 17729 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 108594 impls, 249 clqs 3.49/3.52 c (round 39) 2970 del vars, 17743 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 108610 impls, 249 clqs 3.59/3.60 c (2.7s) probing: 2000/3976 (50.3%) - 103 fixings, 316 aggregations, 4446 implications, 0 bound changes 3.59/3.67 c (round 40) 3020 del vars, 17743 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 109050 impls, 248 clqs 3.59/3.69 c (round 41) 3020 del vars, 17758 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 109062 impls, 248 clqs 3.69/3.79 c (round 42) 3020 del vars, 17772 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 109062 impls, 248 clqs 3.89/3.97 c (round 43) 3070 del vars, 17772 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 109800 impls, 248 clqs 3.89/3.99 c (round 44) 3071 del vars, 17807 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 109802 impls, 248 clqs 3.99/4.04 c (round 45) 3071 del vars, 17809 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 109802 impls, 248 clqs 4.19/4.22 c (round 46) 3121 del vars, 17809 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 110878 impls, 248 clqs 4.19/4.23 c (round 47) 3121 del vars, 17872 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 110878 impls, 248 clqs 4.19/4.27 c (round 48) 3121 del vars, 17874 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 110878 impls, 248 clqs 4.40/4.41 c (3.5s) probing: 3000/3976 (75.5%) - 145 fixings, 439 aggregations, 5769 implications, 0 bound changes 4.40/4.46 c (round 49) 3171 del vars, 17874 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 111756 impls, 248 clqs 4.40/4.48 c (round 50) 3172 del vars, 17970 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 111758 impls, 248 clqs 4.49/4.53 c (round 51) 3172 del vars, 17972 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 111758 impls, 248 clqs 4.69/4.77 c (round 52) 3222 del vars, 17972 del conss, 677 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 114400 impls, 248 clqs 4.69/4.79 c (round 53) 3250 del vars, 18090 del conss, 680 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 114479 impls, 248 clqs 4.79/4.80 c (round 54) 3254 del vars, 18099 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 114486 impls, 248 clqs 4.79/4.84 c (round 55) 3255 del vars, 18103 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 114486 impls, 248 clqs 4.89/4.91 c (round 56) 3255 del vars, 18148 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 114486 impls, 248 clqs 4.89/4.94 c (round 57) 3256 del vars, 18148 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 114486 impls, 248 clqs 5.09/5.13 c (round 58) 3296 del vars, 18148 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 117832 impls, 248 clqs 5.09/5.15 c (round 59) 3334 del vars, 18228 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 117946 impls, 248 clqs 5.09/5.19 c (round 60) 3334 del vars, 18231 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 117946 impls, 248 clqs 5.19/5.28 c (round 61) 3334 del vars, 18259 del conss, 681 chg bounds, 29 chg sides, 74 chg coeffs, 12053 upgd conss, 117946 impls, 248 clqs 5.29/5.32 c presolving (62 rounds): 5.29/5.32 c 3334 deleted vars, 18259 deleted constraints, 681 tightened bounds, 0 added holes, 29 changed sides, 74 changed coefficients 5.29/5.32 c 117946 implications, 248 cliques 5.29/5.32 c presolved problem has 3158 variables (3158 bin, 0 int, 0 impl, 0 cont) and 10809 constraints 5.29/5.32 c 250 constraints of type <setppc> 5.29/5.32 c 10559 constraints of type <logicor> 5.29/5.32 c transformed objective value is always integral (scale: 1) 5.29/5.32 c Presolving Time: 4.21 5.29/5.32 c - non default parameters ---------------------------------------------------------------------- 5.29/5.32 c # SCIP version 1.2.1.2 5.29/5.32 c 5.29/5.32 c # frequency for displaying node information lines 5.29/5.32 c # [type: int, range: [-1,2147483647], default: 100] 5.29/5.32 c display/freq = 10000 5.29/5.32 c 5.29/5.32 c # maximal time in seconds to run 5.29/5.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.29/5.32 c limits/time = 1799.5 5.29/5.32 c 5.29/5.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 5.29/5.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.29/5.32 c limits/memory = 1620 5.29/5.32 c 5.29/5.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 5.29/5.32 c # [type: int, range: [-1,2147483647], default: 1] 5.29/5.32 c lp/solvefreq = -1 5.29/5.32 c 5.29/5.32 c # should presolving try to simplify inequalities 5.29/5.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.29/5.32 c constraints/linear/simplifyinequalities = TRUE 5.29/5.32 c 5.29/5.32 c # should presolving try to simplify knapsacks 5.29/5.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.29/5.32 c constraints/knapsack/simplifyinequalities = TRUE 5.29/5.32 c 5.29/5.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 5.29/5.32 c # [type: int, range: [-1,2147483647], default: -1] 5.29/5.32 c separating/rapidlearning/freq = 0 5.29/5.32 c 5.29/5.32 c ----------------------------------------------------------------------------------------------- 5.29/5.32 c start solving 5.29/5.32 c 5.29/5.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.29/5.33 c 4.3s| 1 | 2 | 0 | - | 31M| 0 | - |3158 | 10k| 0 | 0 | 0 | 0 | 0 | 1.543600e+04 | -- | Inf 90.36/90.48 c 89.1s| 10000 | 9989 | 0 | 0.0 | 36M| 109 | - |3158 | 10k| 0 | 0 | 0 | 9 | 0 | 1.544600e+04 | -- | Inf 174.74/174.84 c 173s| 20000 | 19959 | 0 | 0.0 | 41M| 129 | - |3158 | 10k| 0 | 0 | 0 | 16 | 0 | 1.544800e+04 | -- | Inf 258.60/258.77 c 257s| 30000 | 29913 | 0 | 0.0 | 45M| 139 | - |3158 | 10k| 0 | 0 | 0 | 19 | 0 | 1.544900e+04 | -- | Inf 342.28/342.43 c 340s| 40000 | 39864 | 0 | 0.0 | 50M| 149 | - |3158 | 10k| 0 | 0 | 0 | 27 | 0 | 1.544900e+04 | -- | Inf 424.85/425.07 c 422s| 50000 | 49832 | 0 | 0.0 | 55M| 149 | - |3158 | 10k| 0 | 0 | 0 | 27 | 0 | 1.544900e+04 | -- | Inf 506.63/506.89 c 504s| 60000 | 59832 | 0 | 0.0 | 60M| 189 | - |3158 | 10k| 0 | 0 | 0 | 27 | 0 | 1.545000e+04 | -- | Inf 586.61/586.80 c 584s| 70000 | 69804 | 0 | 0.0 | 64M| 189 | - |3158 | 10k| 0 | 0 | 0 | 39 | 0 | 1.545000e+04 | -- | Inf 665.98/666.22 c 663s| 80000 | 79802 | 0 | 0.0 | 69M| 189 | - |3158 | 10k| 0 | 0 | 0 | 39 | 0 | 1.545000e+04 | -- | Inf 744.96/745.22 c 741s| 90000 | 89801 | 0 | 0.0 | 74M| 195 | - |3158 | 10k| 0 | 0 | 0 | 39 | 0 | 1.545100e+04 | -- | Inf 824.33/824.67 c 820s|100000 | 99799 | 0 | 0.0 | 79M| 195 | - |3158 | 10k| 0 | 0 | 0 | 40 | 0 | 1.545100e+04 | -- | Inf 904.51/904.80 c 900s|110000 |109789 | 0 | 0.0 | 84M| 195 | - |3158 | 10k| 0 | 0 | 0 | 41 | 0 | 1.545100e+04 | -- | Inf 983.58/983.93 c 979s|120000 |119782 | 0 | 0.0 | 89M| 195 | - |3158 | 10k| 0 | 0 | 0 | 43 | 0 | 1.545100e+04 | -- | Inf 1063.66/1064.00 c 1059s|130000 |129782 | 0 | 0.0 | 94M| 195 | - |3158 | 10k| 0 | 0 | 0 | 43 | 0 | 1.545100e+04 | -- | Inf 1143.33/1143.70 c 1138s|140000 |139782 | 0 | 0.0 | 99M| 195 | - |3158 | 10k| 0 | 0 | 0 | 43 | 0 | 1.545200e+04 | -- | Inf 1221.11/1221.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1221.11/1221.57 c 1216s|150000 |149780 | 0 | 0.0 | 103M| 195 | - |3158 | 10k| 0 | 0 | 0 | 45 | 0 | 1.545200e+04 | -- | Inf 1299.99/1300.48 c 1294s|160000 |159765 | 0 | 0.0 | 108M| 195 | - |3158 | 10k| 0 | 0 | 0 | 53 | 0 | 1.545200e+04 | -- | Inf 1379.15/1379.67 c 1373s|170000 |169757 | 0 | 0.0 | 113M| 195 | - |3158 | 10k| 0 | 0 | 0 | 53 | 0 | 1.545200e+04 | -- | Inf 1457.34/1457.88 c 1451s|180000 |179757 | 0 | 0.0 | 118M| 195 | - |3158 | 10k| 0 | 0 | 0 | 53 | 0 | 1.545200e+04 | -- | Inf 1535.31/1535.83 c 1529s|190000 |189757 | 0 | 0.0 | 123M| 195 | - |3158 | 10k| 0 | 0 | 0 | 53 | 0 | 1.545200e+04 | -- | Inf 1613.48/1614.03 c 1607s|200000 |199757 | 0 | 0.0 | 128M| 195 | - |3158 | 10k| 0 | 0 | 0 | 53 | 0 | 1.545200e+04 | -- | Inf 1692.06/1692.64 c 1685s|210000 |209751 | 0 | 0.0 | 133M| 195 | - |3158 | 10k| 0 | 0 | 0 | 56 | 0 | 1.545200e+04 | -- | Inf 1771.64/1772.21 c 1764s|220000 |219751 | 0 | 0.0 | 137M| 195 | - |3158 | 10k| 0 | 0 | 0 | 56 | 0 | 1.545200e+04 | -- | Inf 1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.62 c 1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.62 c Solving Time (sec) : 1792.51 1800.04/1800.62 c Solving Nodes : 223607 1800.04/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.62 c Dual Bound : +1.54520000000000e+04 1800.04/1800.62 c Gap : infinite 1800.04/1800.62 s UNKNOWN 1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.62 c Solving Time : 1792.51 1800.04/1800.62 c Original Problem : 1800.04/1800.62 c Problem name : HOME/instance-2683726-1277511548.opb 1800.04/1800.62 c Variables : 6492 (6492 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.62 c Constraints : 29061 initial, 29061 maximal 1800.04/1800.62 c Presolved Problem : 1800.04/1800.62 c Problem name : t_HOME/instance-2683726-1277511548.opb 1800.04/1800.62 c Variables : 3158 (3158 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.62 c Constraints : 10809 initial, 10849 maximal 1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.62 c trivial : 0.03 96 0 0 0 0 0 0 0 1800.04/1800.62 c dualfix : 0.01 679 0 0 0 0 0 0 0 1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.62 c implics : 0.10 0 341 0 0 0 0 0 0 1800.04/1800.62 c probing : 1.92 256 444 0 0 0 0 0 0 1800.04/1800.62 c setppc : 0.02 0 3 0 0 0 31 0 0 1800.04/1800.62 c linear : 0.41 601 914 0 672 0 17008 29 74 1800.04/1800.62 c logicor : 1.59 0 0 0 9 0 1220 0 0 1800.04/1800.62 c root node : - 0 - - 0 - - - - 1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.62 c setppc : 250 0 628256 0 223566 87 58488 0 0 0 1800.04/1800.62 c logicor : 10559+ 0 568548 0 223566 145 919623 0 0 0 1800.04/1800.62 c countsols : 0 0 0 0 223566 0 0 0 0 0 1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.62 c setppc : 46.71 0.00 12.09 0.00 34.62 1800.04/1800.62 c logicor : 1359.78 0.00 8.46 0.00 1351.32 1800.04/1800.62 c countsols : 0.33 0.00 0.00 0.00 0.33 1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.62 c vbounds : 0.33 2 0 0 1800.04/1800.62 c rootredcost : 0.43 0 0 0 1800.04/1800.62 c pseudoobj : 67.25 618065 0 0 1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.62 c propagation : 0.00 44 44 54 2.3 2 4.0 - 1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.62 c applied globally : - - - 56 2.4 - - - 1800.04/1800.62 c applied locally : - - - 0 0.0 - - - 1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.04/1800.62 c redcost : 0.00 0 0 0 0 0 1800.04/1800.62 c impliedbounds : 0.00 0 0 0 0 0 1800.04/1800.62 c intobj : 0.00 0 0 0 0 0 1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.62 c gomory : 0.00 0 0 0 0 0 1800.04/1800.62 c strongcg : 0.00 0 0 0 0 0 1800.04/1800.62 c cmir : 0.00 0 0 0 0 0 1800.04/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.62 c clique : 0.00 0 0 0 0 0 1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.62 c mcf : 0.00 0 0 0 0 0 1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.62 c Pricers : Time Calls Vars 1800.04/1800.62 c problem variables: 0.00 0 0 1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.62 c relpscost : 0.00 0 0 0 0 0 0 1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.62 c inference : 287.66 223566 0 0 0 0 447132 1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.62 c random : 0.00 0 0 0 0 0 0 1800.04/1800.62 c Primal Heuristics : Time Calls Found 1800.04/1800.62 c LP solutions : 0.00 - 0 1800.04/1800.62 c pseudo solutions : 0.00 - 0 1800.04/1800.62 c oneopt : 0.18 0 0 1800.04/1800.62 c trivial : 0.02 2 0 1800.04/1800.62 c simplerounding : 0.00 0 0 1800.04/1800.62 c zirounding : 0.00 0 0 1800.04/1800.62 c rounding : 0.00 0 0 1800.04/1800.62 c shifting : 0.00 0 0 1800.04/1800.62 c intshifting : 0.00 0 0 1800.04/1800.62 c twoopt : 0.00 0 0 1800.04/1800.62 c fixandinfer : 0.00 0 0 1800.04/1800.62 c feaspump : 0.00 0 0 1800.04/1800.62 c coefdiving : 0.00 0 0 1800.04/1800.62 c pscostdiving : 0.00 0 0 1800.04/1800.62 c fracdiving : 0.00 0 0 1800.04/1800.62 c veclendiving : 0.00 0 0 1800.04/1800.62 c intdiving : 0.00 0 0 1800.04/1800.62 c actconsdiving : 0.00 0 0 1800.04/1800.62 c objpscostdiving : 0.00 0 0 1800.04/1800.62 c rootsoldiving : 0.00 0 0 1800.04/1800.62 c linesearchdiving : 0.00 0 0 1800.04/1800.62 c guideddiving : 0.00 0 0 1800.04/1800.62 c octane : 0.00 0 0 1800.04/1800.62 c rens : 0.00 0 0 1800.04/1800.62 c rins : 0.00 0 0 1800.04/1800.62 c localbranching : 0.00 0 0 1800.04/1800.62 c mutation : 0.00 0 0 1800.04/1800.62 c crossover : 0.00 0 0 1800.04/1800.62 c dins : 0.00 0 0 1800.04/1800.62 c undercover : 0.00 0 0 1800.04/1800.62 c nlp : 0.36 0 0 1800.04/1800.62 c trysol : 0.10 0 0 1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.62 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.62 c dual LP : 0.00 0 0 0.00 - 1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.62 c strong branching : 0.00 0 0 0.00 - 1800.04/1800.62 c (at root node) : - 0 0 0.00 - 1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.62 c B&B Tree : 1800.04/1800.62 c number of runs : 1 1800.04/1800.62 c nodes : 223607 1800.04/1800.62 c nodes (total) : 223607 1800.04/1800.62 c nodes left : 223358 1800.04/1800.62 c max depth : 195 1800.04/1800.62 c max depth (total): 195 1800.04/1800.62 c backtracks : 2721 (1.2%) 1800.04/1800.62 c delayed cutoffs : 168 1800.04/1800.62 c repropagations : 3824 (277 domain reductions, 3 cutoffs) 1800.04/1800.62 c avg switch length: 2.40 1800.04/1800.62 c switching time : 10.37 1800.04/1800.62 c Solution : 1800.04/1800.62 c Solutions found : 0 (0 improvements) 1800.04/1800.62 c Primal Bound : - 1800.04/1800.62 c Dual Bound : +1.54520000000000e+04 1800.04/1800.62 c Gap : infinite 1800.04/1800.62 c Root Dual Bound : +1.54360000000000e+04 1800.04/1800.62 c Root Iterations : 0 1800.43/1801.01 c Time complete: 1800.44.
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-2683726-1277511548/watcher-2683726-1277511548 -o /tmp/evaluation-result-2683726-1277511548/solver-2683726-1277511548 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683726-1277511548.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/105 31402 /proc/meminfo: memFree=1843844/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=6584 CPUtime=0 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 1009 0 0 0 0 0 0 0 25 0 1 0 92448538 6742016 930 1992294400 4194304 7136930 140737405891216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31402/statm: 1646 940 254 719 0 925 0 [startup+0.0884561 s] /proc/loadavg: 0.92 0.98 0.99 2/105 31402 /proc/meminfo: memFree=1843844/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=13372 CPUtime=0.07 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 2825 0 0 0 7 0 0 0 25 0 1 0 92448538 13692928 2746 1992294400 4194304 7136930 140737405891216 18446744073709551615 6340259 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31402/statm: 3343 2746 271 719 0 2622 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13372 [startup+0.101457 s] /proc/loadavg: 0.92 0.98 0.99 2/105 31402 /proc/meminfo: memFree=1843844/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=14868 CPUtime=0.09 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 3225 0 0 0 8 1 0 0 25 0 1 0 92448538 15224832 3146 1992294400 4194304 7136930 140737405891216 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31402/statm: 3717 3146 271 719 0 2996 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14868 [startup+0.301479 s] /proc/loadavg: 0.92 0.98 0.99 2/105 31402 /proc/meminfo: memFree=1843844/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=19816 CPUtime=0.29 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 4464 0 0 0 28 1 0 0 25 0 1 0 92448538 20291584 4385 1992294400 4194304 7136930 140737405891216 18446744073709551615 5651169 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31402/statm: 4954 4385 271 719 0 4233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19816 [startup+0.700524 s] /proc/loadavg: 0.92 0.98 0.99 2/105 31402 /proc/meminfo: memFree=1843844/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=52236 CPUtime=0.69 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 12607 0 0 0 64 5 0 0 25 0 1 0 92448538 53489664 12162 1992294400 4194304 7136930 140737405891216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 13059 12162 342 719 0 12338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52236 [startup+1.50061 s] /proc/loadavg: 0.92 0.98 0.99 2/106 31403 /proc/meminfo: memFree=1792376/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=60720 CPUtime=1.49 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 19894 0 0 0 131 18 0 0 25 0 1 0 92448538 62177280 14277 1992294400 4194304 7136930 140737405891216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 15180 14277 360 719 0 14459 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60720 [startup+3.10079 s] /proc/loadavg: 0.92 0.98 0.99 2/106 31403 /proc/meminfo: memFree=1786548/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=62656 CPUtime=3.09 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 31197 0 0 0 276 33 0 0 25 0 1 0 92448538 64159744 14823 1992294400 4194304 7136930 140737405891216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 15664 14823 376 719 0 14943 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 62656 [startup+6.30114 s] /proc/loadavg: 0.93 0.98 0.99 2/106 31403 /proc/meminfo: memFree=1784440/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=63684 CPUtime=6.29 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 44088 0 0 0 574 55 0 0 25 0 1 0 92448538 65212416 15096 1992294400 4194304 7136930 140737405891216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 15921 15096 392 719 0 15200 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63684 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/106 31403 /proc/meminfo: memFree=1783820/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=64200 CPUtime=12.69 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 44234 0 0 0 1211 58 0 0 25 0 1 0 92448538 65740800 15242 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 16050 15242 392 719 0 15329 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64200 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/106 31403 /proc/meminfo: memFree=1783448/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=64664 CPUtime=25.49 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 44337 0 0 0 2486 63 0 0 25 0 1 0 92448538 66215936 15345 1992294400 4194304 7136930 140737405891216 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 16166 15345 392 719 0 15445 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64664 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/106 31403 /proc/meminfo: memFree=1780968/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=67068 CPUtime=51.07 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 44939 0 0 0 5034 73 0 0 25 0 1 0 92448538 68677632 15947 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 16767 15947 392 719 0 16046 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 67068 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/106 31405 /proc/meminfo: memFree=1778488/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=69360 CPUtime=102.26 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 45546 0 0 0 10136 90 0 0 25 0 1 0 92448538 71024640 16554 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 17340 16554 392 719 0 16619 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69360 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31407 /proc/meminfo: memFree=1774148/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=73456 CPUtime=162.24 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 46608 0 0 0 16113 111 0 0 25 0 1 0 92448538 75218944 17616 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 18364 17616 392 719 0 17643 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 73456 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31409 /proc/meminfo: memFree=1770676/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=76936 CPUtime=222.22 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 47477 0 0 0 22092 130 0 0 25 0 1 0 92448538 78782464 18485 1992294400 4194304 7136930 140737405891216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 19234 18485 392 719 0 18513 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 76936 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31409 /proc/meminfo: memFree=1768568/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=78808 CPUtime=282.2 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 47974 0 0 0 28068 152 0 0 25 0 1 0 92448538 80699392 18982 1992294400 4194304 7136930 140737405891216 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 19702 18982 392 719 0 18981 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 78808 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31411 /proc/meminfo: memFree=1762492/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=84820 CPUtime=342.18 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 49497 0 0 0 34044 174 0 0 25 0 1 0 92448538 86855680 20505 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 21205 20505 392 719 0 20484 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 84820 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31413 /proc/meminfo: memFree=1760384/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=86748 CPUtime=402.16 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 50007 0 0 0 40023 193 0 0 25 0 1 0 92448538 88829952 21015 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 21687 21015 392 719 0 20966 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 86748 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31415 /proc/meminfo: memFree=1758276/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=88560 CPUtime=462.14 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 50523 0 0 0 45999 215 0 0 25 0 1 0 92448538 90685440 21531 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 22140 21531 392 719 0 21419 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 88560 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31417 /proc/meminfo: memFree=1753192/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=93592 CPUtime=522.12 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 51795 0 0 0 51974 238 0 0 25 0 1 0 92448538 95838208 22803 1992294400 4194304 7136930 140737405891216 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 23398 22803 392 719 0 22677 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 93592 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31417 /proc/meminfo: memFree=1746372/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=102204 CPUtime=582.11 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 53472 0 0 0 57951 260 0 0 25 0 1 0 92448538 104656896 24480 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 25551 24480 392 719 0 24830 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 102204 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31419 /proc/meminfo: memFree=1744016/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=104464 CPUtime=642.09 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 54043 0 0 0 63927 282 0 0 25 0 1 0 92448538 106971136 25051 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 26116 25051 392 719 0 25395 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 104464 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.01 1.00 1.00 2/106 31428 /proc/meminfo: memFree=1729884/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=117388 CPUtime=882.01 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 57392 0 0 0 87834 367 0 0 25 0 1 0 92448538 120205312 28400 1992294400 4194304 7136930 140737405891216 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 29347 28400 392 719 0 28626 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 117388 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31430 /proc/meminfo: memFree=1724676/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=122448 CPUtime=942 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 58687 0 0 0 93808 392 0 0 25 0 1 0 92448538 125386752 29695 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 30612 29695 392 719 0 29891 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 122448 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31432 /proc/meminfo: memFree=1720832/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=126032 CPUtime=1001.97 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 59646 0 0 0 99782 415 0 0 25 0 1 0 92448538 129056768 30654 1992294400 4194304 7136930 140737405891216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 31508 30654 392 719 0 30787 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 126032 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31434 /proc/meminfo: memFree=1717980/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=128740 CPUtime=1061.96 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 60352 0 0 0 105757 439 0 0 25 0 1 0 92448538 131829760 31360 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 32185 31360 392 719 0 31464 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 128740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31436 /proc/meminfo: memFree=1714880/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=131708 CPUtime=1121.94 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 61122 0 0 0 111731 463 0 0 25 0 1 0 92448538 134868992 32130 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 32927 32130 392 719 0 32206 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 131708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31436 /proc/meminfo: memFree=1711160/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=135188 CPUtime=1181.92 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 62023 0 0 0 117708 484 0 0 25 0 1 0 92448538 138432512 33031 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 33797 33031 392 719 0 33076 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 135188 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31438 /proc/meminfo: memFree=1708060/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=138156 CPUtime=1241.9 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 62795 0 0 0 123683 507 0 0 25 0 1 0 92448538 141471744 33803 1992294400 4194304 7136930 140737405891216 18446744073709551615 4225322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 34539 33803 392 719 0 33818 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 138156 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31440 /proc/meminfo: memFree=1703100/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=142900 CPUtime=1301.89 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 64011 0 0 0 129659 530 0 0 25 0 1 0 92448538 146329600 35019 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 35725 35019 392 719 0 35004 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 142900 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31442 /proc/meminfo: memFree=1701240/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=144772 CPUtime=1361.86 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 64475 0 0 0 135639 547 0 0 25 0 1 0 92448538 148246528 35483 1992294400 4194304 7136930 140737405891216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 36193 35483 392 719 0 35472 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 144772 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31444 /proc/meminfo: memFree=1694544/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=151156 CPUtime=1421.85 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 66133 0 0 0 141615 570 0 0 25 0 1 0 92448538 154783744 37141 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 37789 37141 392 719 0 37068 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 151156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31444 /proc/meminfo: memFree=1691444/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=154112 CPUtime=1481.83 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 66901 0 0 0 147591 592 0 0 25 0 1 0 92448538 157810688 37909 1992294400 4194304 7136930 140737405891216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 38528 37909 392 719 0 37807 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 154112 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31446 /proc/meminfo: memFree=1688468/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=156964 CPUtime=1541.81 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 67644 0 0 0 153568 613 0 0 25 0 1 0 92448538 160731136 38652 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 39241 38652 392 719 0 38520 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 156964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31448 /proc/meminfo: memFree=1684004/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=165284 CPUtime=1601.79 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 68729 0 0 0 159544 635 0 0 25 0 1 0 92448538 169250816 39737 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 41321 39737 392 719 0 40600 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 165284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31450 /proc/meminfo: memFree=1681772/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=167440 CPUtime=1661.77 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 69270 0 0 0 165521 656 0 0 25 0 1 0 92448538 171458560 40278 1992294400 4194304 7136930 140737405891216 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 41860 40278 392 719 0 41139 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 167440 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31452 /proc/meminfo: memFree=1678052/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=171040 CPUtime=1721.75 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 70200 0 0 0 171497 678 0 0 25 0 1 0 92448538 175144960 41208 1992294400 4194304 7136930 140737405891216 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 42760 41208 392 719 0 42039 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 171040 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31452 /proc/meminfo: memFree=1675324/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=173496 CPUtime=1781.74 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 70869 0 0 0 177474 700 0 0 25 0 1 0 92448538 177659904 41877 1992294400 4194304 7136930 140737405891216 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 43374 41877 392 719 0 42653 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 173496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31454 /proc/meminfo: memFree=1674704/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=174144 CPUtime=1800.04 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 71042 0 0 0 179298 706 0 0 25 0 1 0 92448538 178323456 42050 1992294400 4194304 7136930 140737405891216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31402/statm: 43536 42050 392 719 0 42815 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 174144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31454 /proc/meminfo: memFree=1674704/2059040 swapFree=4135804/4192956 [pid=31402] ppid=31400 vsize=29168 CPUtime=1800.43 /proc/31402/stat : 31402 (pbscip.linux.x8) R 31400 31402 30917 0 -1 4202496 71047 0 0 0 179335 708 0 0 25 0 1 0 92448538 29868032 6762 1992294400 4194304 7136930 140737405891216 18446744073709551615 6166233 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31402/statm: 7292 6762 397 719 0 6571 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 29168 Child status: 0 Real time (s): 1801.01 CPU time (s): 1800.45 CPU user time (s): 1793.36 CPU system time (s): 7.08792 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 174144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.36 system time used= 7.08792 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71054 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 5096 runsolver used 2.71059 second user time and 8.77666 second system time The end
Begin job on node086 at 2010-06-26 02:19:08 IDJOB=2683726 IDBENCH=72134 IDSOLVER=1167 FILE ID=node086/2683726-1277511548 PBS_JOBID= 11190613 Free space on /tmp= 62340 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-randd1cab2.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-2683726-1277511548/watcher-2683726-1277511548 -o /tmp/evaluation-result-2683726-1277511548/solver-2683726-1277511548 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683726-1277511548.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 137fecd474ce86cd9c04fc0f87fcc0d0 RANDOM SEED=1789273493 node086.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.244 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.244 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.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844372 kB Buffers: 6300 kB Cached: 124304 kB SwapCached: 9704 kB Active: 66380 kB Inactive: 76880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844372 kB SwapTotal: 4192956 kB SwapFree: 4135804 kB Dirty: 4140 kB Writeback: 0 kB AnonPages: 11384 kB Mapped: 8256 kB Slab: 49716 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182104 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= 62336 MiB End job on node086 at 2010-06-26 02:49:11