Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1802.25 | 1802.71 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
MD5SUM | 8c486f10dc9ea0956b38d79189648654 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 306.9 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 109757 |
Total number of constraints | 313451 |
Number of constraints which are clauses | 295929 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17522 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
4.98/5.01 c SCIP version 1.1.0.7 4.98/5.01 c LP-Solver Clp 1.8.2 4.98/5.01 c user parameter file <scip.set> not found - using default parameters 4.98/5.01 c read problem <HOME/instance-1868645-1245130568.opb> 4.98/5.01 c original problem has 109757 variables (109757 bin, 0 int, 0 impl, 0 cont) and 313451 constraints 6.38/6.46 c No objective function, only one solution is needed. 6.38/6.46 c start presolving problem 6.38/6.46 c presolving: 12.38/12.47 c (round 1) 4622 del vars, 6397 del conss, 2234 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6521941 impls, 0 clqs 12.88/12.90 c (round 2) 4623 del vars, 11996 del conss, 2235 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6521941 impls, 0 clqs 13.48/13.59 c (round 3) 4635 del vars, 12031 del conss, 2248 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6522414 impls, 0 clqs 13.78/13.89 c (round 4) 4700 del vars, 12087 del conss, 2258 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6523891 impls, 0 clqs 14.08/14.19 c (round 5) 4724 del vars, 12238 del conss, 2271 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6524470 impls, 0 clqs 14.38/14.49 c (round 6) 4764 del vars, 12320 del conss, 2285 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6525716 impls, 0 clqs 14.68/14.79 c (round 7) 4824 del vars, 12452 del conss, 2300 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6525988 impls, 0 clqs 14.98/15.09 c (round 8) 4909 del vars, 12647 del conss, 2316 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6527300 impls, 0 clqs 15.29/15.39 c (round 9) 4960 del vars, 12863 del conss, 2331 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6527848 impls, 0 clqs 15.58/15.69 c (round 10) 4990 del vars, 12990 del conss, 2344 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6528393 impls, 0 clqs 15.88/15.99 c (round 11) 5015 del vars, 13078 del conss, 2356 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6528901 impls, 0 clqs 16.18/16.28 c (round 12) 5067 del vars, 13170 del conss, 2364 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6530027 impls, 0 clqs 16.48/16.58 c (round 13) 5094 del vars, 13299 del conss, 2370 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531219 impls, 0 clqs 16.78/16.87 c (round 14) 5104 del vars, 13361 del conss, 2377 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531409 impls, 0 clqs 17.08/17.16 c (round 15) 5127 del vars, 13400 del conss, 2386 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531807 impls, 0 clqs 17.38/17.45 c (round 16) 5175 del vars, 13496 del conss, 2401 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6532291 impls, 0 clqs 17.68/17.76 c (round 17) 5253 del vars, 13669 del conss, 2415 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6534887 impls, 0 clqs 17.98/18.05 c (round 18) 5271 del vars, 13834 del conss, 2423 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6535137 impls, 0 clqs 18.28/18.35 c (round 19) 5300 del vars, 13893 del conss, 2432 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6535941 impls, 0 clqs 18.58/18.65 c (round 20) 5348 del vars, 14000 del conss, 2443 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6536132 impls, 0 clqs 18.88/18.94 c (round 21) 5386 del vars, 14129 del conss, 2451 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6537024 impls, 0 clqs 19.18/19.23 c (round 22) 5398 del vars, 14211 del conss, 2461 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6537504 impls, 0 clqs 19.48/19.53 c (round 23) 5437 del vars, 14270 del conss, 2474 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538171 impls, 0 clqs 19.79/19.82 c (round 24) 5464 del vars, 14373 del conss, 2487 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538547 impls, 0 clqs 20.08/20.11 c (round 25) 5497 del vars, 14456 del conss, 2502 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538969 impls, 0 clqs 20.37/20.40 c (round 26) 5520 del vars, 14537 del conss, 2513 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539237 impls, 0 clqs 20.68/20.70 c (round 27) 5543 del vars, 14609 del conss, 2526 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539519 impls, 0 clqs 20.88/20.99 c (round 28) 5555 del vars, 14657 del conss, 2532 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539577 impls, 0 clqs 21.18/21.27 c (round 29) 5568 del vars, 14700 del conss, 2539 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539805 impls, 0 clqs 21.89/21.96 c (round 30) 5581 del vars, 14771 del conss, 2552 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6540041 impls, 0 clqs 22.18/22.26 c (round 31) 5647 del vars, 14817 del conss, 2559 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6540911 impls, 0 clqs 22.48/22.55 c (round 32) 5659 del vars, 14957 del conss, 2569 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541197 impls, 0 clqs 22.77/22.84 c (round 33) 5679 del vars, 14998 del conss, 2579 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541335 impls, 0 clqs 23.09/23.14 c (round 34) 5707 del vars, 15062 del conss, 2592 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541521 impls, 0 clqs 23.38/23.43 c (round 35) 5751 del vars, 15162 del conss, 2609 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6542746 impls, 0 clqs 23.68/23.73 c (round 36) 5790 del vars, 15284 del conss, 2624 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543446 impls, 0 clqs 23.98/24.02 c (round 37) 5815 del vars, 15383 del conss, 2639 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543732 impls, 0 clqs 24.28/24.31 c (round 38) 5829 del vars, 15436 del conss, 2647 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543808 impls, 0 clqs 24.57/24.60 c (round 39) 5842 del vars, 15483 del conss, 2654 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6544056 impls, 0 clqs 25.19/25.29 c (round 40) 5855 del vars, 15554 del conss, 2667 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6544290 impls, 0 clqs 25.48/25.59 c (round 41) 5921 del vars, 15600 del conss, 2674 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6545160 impls, 0 clqs 25.78/25.88 c (round 42) 5933 del vars, 15740 del conss, 2684 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6545624 impls, 0 clqs 26.07/26.17 c (round 43) 5954 del vars, 15781 del conss, 2694 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6546968 impls, 0 clqs 26.39/26.47 c (round 44) 6012 del vars, 15872 del conss, 2710 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6550112 impls, 0 clqs 26.67/26.75 c (round 45) 6049 del vars, 16034 del conss, 2727 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6550890 impls, 0 clqs 26.98/27.04 c (round 46) 6092 del vars, 16167 del conss, 2753 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6551734 impls, 0 clqs 27.27/27.32 c (round 47) 6111 del vars, 16241 del conss, 2762 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553232 impls, 0 clqs 27.78/27.81 c (round 48) 6114 del vars, 16272 del conss, 2765 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553238 impls, 0 clqs 28.08/28.10 c (round 49) 6148 del vars, 16309 del conss, 2769 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553300 impls, 0 clqs 28.27/28.39 c (round 50) 6182 del vars, 16410 del conss, 2774 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6554108 impls, 0 clqs 28.58/28.68 c (round 51) 6192 del vars, 16485 del conss, 2782 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6554570 impls, 0 clqs 28.88/28.97 c (round 52) 6213 del vars, 16522 del conss, 2792 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6555288 impls, 0 clqs 29.17/29.26 c (round 53) 6259 del vars, 16605 del conss, 2805 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6557746 impls, 0 clqs 29.48/29.55 c (round 54) 6302 del vars, 16746 del conss, 2824 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558346 impls, 0 clqs 29.78/29.84 c (round 55) 6320 del vars, 16837 del conss, 2834 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558542 impls, 0 clqs 30.08/30.13 c (round 56) 6340 del vars, 16889 del conss, 2844 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558750 impls, 0 clqs 30.38/30.41 c (round 57) 6354 del vars, 16939 del conss, 2852 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6559068 impls, 0 clqs 30.58/30.70 c (round 58) 6361 del vars, 16979 del conss, 2859 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6559120 impls, 0 clqs 31.07/31.18 c (round 59) 6371 del vars, 17031 del conss, 2869 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6559282 impls, 0 clqs 31.37/31.47 c (round 60) 6437 del vars, 17077 del conss, 2876 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560220 impls, 0 clqs 31.67/31.76 c (round 61) 6449 del vars, 17217 del conss, 2886 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560506 impls, 0 clqs 31.97/32.04 c (round 62) 6471 del vars, 17259 del conss, 2898 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560648 impls, 0 clqs 32.28/32.33 c (round 63) 6499 del vars, 17327 del conss, 2911 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560802 impls, 0 clqs 32.57/32.62 c (round 64) 6543 del vars, 17427 del conss, 2927 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563004 impls, 0 clqs 32.88/32.91 c (round 65) 6580 del vars, 17546 del conss, 2942 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563620 impls, 0 clqs 33.17/33.20 c (round 66) 6605 del vars, 17643 del conss, 2957 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563978 impls, 0 clqs 33.37/33.48 c (round 67) 6618 del vars, 17696 del conss, 2965 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6564078 impls, 0 clqs 33.68/33.76 c (round 68) 6633 del vars, 17755 del conss, 2980 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6564098 impls, 0 clqs 34.77/34.84 c (round 69) 6643 del vars, 17786 del conss, 2990 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6564318 impls, 0 clqs 37.37/37.48 c (round 70) 6643 del vars, 17850 del conss, 2990 chg bounds, 8761 chg sides, 18368 chg coeffs, 295599 upgd conss, 6564346 impls, 0 clqs 94.56/94.60 c presolving (71 rounds): 94.56/94.60 c 6643 deleted vars, 17850 deleted constraints, 2990 tightened bounds, 0 added holes, 8761 changed sides, 18368 changed coefficients 94.56/94.60 c 6564346 implications, 0 cliques 94.56/94.60 c presolved problem has 103114 variables (103114 bin, 0 int, 0 impl, 0 cont) and 295601 constraints 94.56/94.60 c 17522 constraints of type <knapsack> 94.56/94.60 c 278079 constraints of type <logicor> 94.56/94.60 c transformed objective value is always integral (scale: 1) 94.56/94.60 c Presolving Time: 77.91 94.56/94.60 c SATUNSAT-LIN 94.56/94.60 c ----------------------------------------------------------------------------------------------- 94.56/94.60 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 0] 94.56/94.60 c separating/flowcover/freq = c -1 94.56/94.60 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 0] 94.56/94.60 c separating/cmir/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/veclendiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/veclendiving/maxlpiterquot = c 0.075 94.56/94.60 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/veclendiving/freq = c -1 94.56/94.60 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 1] 94.56/94.60 c heuristics/simplerounding/freq = c -1 94.56/94.60 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/shifting/freq = c -1 94.56/94.60 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 1] 94.56/94.60 c heuristics/rounding/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/rootsoldiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 94.56/94.60 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 94.56/94.60 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 20] 94.56/94.60 c heuristics/rootsoldiving/freq = c -1 94.56/94.60 c # number of nodes added to the contingent of the total nodes 94.56/94.60 c # [type: longint, range: [0,9223372036854775807], default: 500] 94.56/94.60 c heuristics/rens/nodesofs = c 2000 94.56/94.60 c # minimum percentage of integer variables that have to be fixable 94.56/94.60 c # [type: real, range: [0,1], default: 0.5] 94.56/94.60 c heuristics/rens/minfixingrate = c 0.3 94.56/94.60 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 0] 94.56/94.60 c heuristics/rens/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/pscostdiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/pscostdiving/maxlpiterquot = c 0.075 94.56/94.60 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/pscostdiving/freq = c -1 94.56/94.60 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 1] 94.56/94.60 c heuristics/oneopt/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/objpscostdiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to total iteration number 94.56/94.60 c # [type: real, range: [0,1], default: 0.01] 94.56/94.60 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 94.56/94.60 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 20] 94.56/94.60 c heuristics/objpscostdiving/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/linesearchdiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 94.56/94.60 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/linesearchdiving/freq = c -1 94.56/94.60 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/intshifting/freq = c -1 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/intdiving/maxlpiterquot = c 0.075 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/guideddiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/guideddiving/maxlpiterquot = c 0.075 94.56/94.60 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/guideddiving/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/fracdiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/fracdiving/maxlpiterquot = c 0.075 94.56/94.60 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/fracdiving/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/feaspump/maxlpiterofs = c 2000 94.56/94.60 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 20] 94.56/94.60 c heuristics/feaspump/freq = c -1 94.56/94.60 c # minimum percentage of integer variables that have to be fixed 94.56/94.60 c # [type: real, range: [0,1], default: 0.666] 94.56/94.60 c heuristics/crossover/minfixingrate = c 0.5 94.56/94.60 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 94.56/94.60 c # [type: real, range: [0,1], default: 0.1] 94.56/94.60 c heuristics/crossover/nodesquot = c 0.15 94.56/94.60 c # number of nodes without incumbent change that heuristic should wait 94.56/94.60 c # [type: longint, range: [0,9223372036854775807], default: 200] 94.56/94.60 c heuristics/crossover/nwaitingnodes = c 100 94.56/94.60 c # number of nodes added to the contingent of the total nodes 94.56/94.60 c # [type: longint, range: [0,9223372036854775807], default: 500] 94.56/94.60 c heuristics/crossover/nodesofs = c 750 94.56/94.60 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 30] 94.56/94.60 c heuristics/crossover/freq = c -1 94.56/94.60 c # additional number of allowed LP iterations 94.56/94.60 c # [type: int, range: [0,2147483647], default: 1000] 94.56/94.60 c heuristics/coefdiving/maxlpiterofs = c 1500 94.56/94.60 c # maximal fraction of diving LP iterations compared to node LP iterations 94.56/94.60 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 94.56/94.60 c heuristics/coefdiving/maxlpiterquot = c 0.075 94.56/94.60 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: 10] 94.56/94.60 c heuristics/coefdiving/freq = c -1 94.56/94.60 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: -1] 94.56/94.60 c presolving/probing/maxrounds = c 0 94.56/94.60 c # should presolving try to simplify knapsacks 94.56/94.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 94.56/94.60 c constraints/knapsack/simplifyinequalities = c TRUE 94.56/94.60 c # should disaggregation of knapsack constraints be allowed in preprocessing? 94.56/94.60 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 94.56/94.60 c constraints/knapsack/disaggregation = c FALSE 94.56/94.60 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 94.56/94.60 c # [type: int, range: [-1,2147483647], default: -1] 94.56/94.60 c constraints/knapsack/maxnumcardlift = c 0 94.56/94.60 c # should presolving try to simplify inequalities 94.65/94.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 94.65/94.70 c constraints/linear/simplifyinequalities = c TRUE 94.65/94.70 c # maximal number of separation rounds in the root node (-1: unlimited) 94.65/94.70 c # [type: int, range: [-1,2147483647], default: -1] 94.65/94.70 c separating/maxroundsroot = c 5 94.65/94.70 c # maximal number of separation rounds per node (-1: unlimited) 94.65/94.70 c # [type: int, range: [-1,2147483647], default: 5] 94.65/94.70 c separating/maxrounds = c 1 94.65/94.70 c # solving stops, if the given number of solutions were found (-1: no limit) 94.65/94.70 c # [type: int, range: [-1,2147483647], default: -1] 94.65/94.70 c limits/solutions = c 1 94.65/94.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 94.65/94.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 94.65/94.70 c limits/memory = c 1620 94.65/94.70 c # maximal time in seconds to run 94.65/94.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 94.65/94.70 c limits/time = c 1791 94.65/94.70 c # frequency for displaying node information lines 94.65/94.70 c # [type: int, range: [-1,2147483647], default: 100] 94.65/94.70 c display/freq = c 10000 94.65/94.70 c ----------------------------------------------------------------------------------------------- 94.65/94.70 c start solving problem 94.65/94.70 c 127.65/127.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 127.65/127.79 c 112s| 1 | 0 | 15860 | 790M| 0 | 11k| 103k| 295k| 295k| 103k| 295k| 0 | 0 | 0 | 4.155432e+03 | -- | Inf 298.10/298.26 c 280s| 1 | 0 | 17351 | 791M| 0 | 11k| 103k| 295k| 295k| 103k| 295k| 305 | 0 | 0 | 4.270495e+03 | -- | Inf 447.17/447.35 c 429s| 1 | 0 | 19083 | 791M| 0 | 11k| 103k| 295k| 295k| 103k| 296k| 487 | 0 | 0 | 4.315447e+03 | -- | Inf 602.92/603.19 c 585s| 1 | 0 | 21183 | 792M| 0 | 11k| 103k| 295k| 295k| 103k| 296k| 650 | 0 | 0 | 4.344190e+03 | -- | Inf 761.18/761.46 c 743s| 1 | 0 | 23531 | 793M| 0 | 11k| 103k| 295k| 295k| 103k| 296k| 841 | 0 | 0 | 4.362356e+03 | -- | Inf 921.55/921.88 c 904s| 1 | 0 | 25487 | 794M| 0 | 10k| 103k| 295k| 295k| 103k| 296k|1029 | 0 | 0 | 4.383390e+03 | -- | Inf 1309.25/1309.63 c 1290s| 1 | 2 | 25487 | 794M| 0 | 10k| 103k| 295k| 295k| 103k| 296k|1029 | 0 | 33 | 4.383390e+03 | -- | Inf
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-1868645-1245130568/watcher-1868645-1245130568 -o /tmp/evaluation-result-1868645-1245130568/solver-1868645-1245130568 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868645-1245130568.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.97 3/64 1032 /proc/meminfo: memFree=1751080/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=5812 CPUtime=0 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 180656401 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 1453 502 332 1256 0 192 0 [startup+0.072764 s] /proc/loadavg: 1.00 0.99 0.97 3/64 1032 /proc/meminfo: memFree=1751080/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=13460 CPUtime=0.06 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 2346 0 0 0 6 0 0 0 18 0 1 0 180656401 13783040 2330 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 3365 2330 376 1256 0 2104 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13460 [startup+0.101763 s] /proc/loadavg: 1.00 0.99 0.97 3/64 1032 /proc/meminfo: memFree=1751080/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=15936 CPUtime=0.09 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 2958 0 0 0 8 1 0 0 18 0 1 0 180656401 16318464 2942 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 3984 2942 376 1256 0 2723 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15936 [startup+0.301775 s] /proc/loadavg: 1.00 0.99 0.97 3/64 1032 /proc/meminfo: memFree=1751080/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=24816 CPUtime=0.29 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 5186 0 0 0 27 2 0 0 19 0 1 0 180656401 25411584 5170 1992294400 4194304 9342243 548682068736 18446744073709551615 8169829 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 6204 5170 376 1256 0 4943 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24816 [startup+0.7018 s] /proc/loadavg: 1.00 0.99 0.97 3/64 1032 /proc/meminfo: memFree=1751080/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=40336 CPUtime=0.69 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 9052 0 0 0 66 3 0 0 22 0 1 0 180656401 41304064 9036 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 10084 9036 376 1256 0 8823 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40336 [startup+1.50185 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=1704160/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=71332 CPUtime=1.49 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 16784 0 0 0 143 6 0 0 25 0 1 0 180656401 73043968 16768 1992294400 4194304 9342243 548682068736 18446744073709551615 5858565 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 17833 16768 376 1256 0 16572 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 71332 [startup+3.10195 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=1660576/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=134236 CPUtime=3.09 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 32496 0 0 0 295 14 0 0 25 0 1 0 180656401 137457664 32480 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0 /proc/1032/statm: 33559 32480 376 1256 0 32298 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 134236 [startup+6.30115 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=1434272/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=471100 CPUtime=6.28 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 116734 0 0 0 582 46 0 0 25 0 1 0 180656401 482406400 116364 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 117775 116364 426 1256 0 116514 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 471100 [startup+12.7016 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=1076392/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=688916 CPUtime=12.68 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 169496 0 0 0 1170 98 0 0 25 0 1 0 180656401 705449984 169126 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 172229 169126 474 1256 0 170968 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 688916 [startup+25.5013 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=1073064/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=690964 CPUtime=25.48 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 170020 0 0 0 1915 633 0 0 25 0 1 0 180656401 707547136 169650 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 172741 169650 474 1256 0 171480 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 690964 [startup+51.1019 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=918568/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=845436 CPUtime=51.06 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 215846 0 0 0 4019 1087 0 0 25 0 1 0 180656401 865726464 208200 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 211359 208200 485 1256 0 210098 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 845436 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=630376/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1239000 CPUtime=102.25 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 289702 0 0 0 9096 1129 0 0 25 0 1 0 180656401 1268736000 280229 1992294400 4194304 9342243 548682068736 18446744073709551615 5869970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 309750 280229 619 1256 0 308489 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1239000 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=602984/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1248444 CPUtime=162.23 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 296548 0 0 0 15087 1136 0 0 25 0 1 0 180656401 1278406656 287075 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 312111 287075 640 1256 0 310850 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1248444 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=602920/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1248444 CPUtime=222.22 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 296549 0 0 0 21083 1139 0 0 25 0 1 0 180656401 1278406656 287076 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 312111 287076 641 1256 0 310850 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1248444 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=581544/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1248444 CPUtime=282.2 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 301887 0 0 0 26915 1305 0 0 25 0 1 0 180656401 1278406656 292414 1992294400 4194304 9342243 548682068736 18446744073709551615 5650959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 312111 292414 651 1256 0 310850 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1248444 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=556584/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1276416 CPUtime=342.19 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 308115 0 0 0 32910 1309 0 0 25 0 1 0 180656401 1307049984 298642 1992294400 4194304 9342243 548682068736 18446744073709551615 6952978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 319104 298642 653 1256 0 317843 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1276416 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=556584/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1276416 CPUtime=402.17 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 308115 0 0 0 38906 1311 0 0 25 0 1 0 180656401 1307049984 298642 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 319104 298642 653 1256 0 317843 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1276416 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=548776/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1279156 CPUtime=462.16 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 310075 0 0 0 44901 1315 0 0 25 0 1 0 180656401 1309855744 300602 1992294400 4194304 9342243 548682068736 18446744073709551615 6939137 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 319789 300602 653 1256 0 318528 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1279156 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=548712/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1279156 CPUtime=522.14 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 310075 0 0 0 50898 1316 0 0 25 0 1 0 180656401 1309855744 300602 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 319789 300602 653 1256 0 318528 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1279156 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=534504/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1283832 CPUtime=582.13 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 313628 0 0 0 56894 1319 0 0 25 0 1 0 180656401 1314643968 304155 1992294400 4194304 9342243 548682068736 18446744073709551615 7008412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 320958 304155 653 1256 0 319697 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1283832 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1033 /proc/meminfo: memFree=529576/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1286980 CPUtime=642.12 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 314845 0 0 0 62890 1322 0 0 25 0 1 0 180656401 1317867520 305372 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 321745 305372 653 1256 0 320484 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1286980 [startup+702.302 s] ################ # More data... # ################ /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 381126 0 0 0 104841 1361 0 0 25 0 1 0 180656401 1476739072 320831 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 360532 320831 658 1256 0 359271 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1442128 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=467432/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1442128 CPUtime=1122.01 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 405449 0 0 0 110828 1373 0 0 25 0 1 0 180656401 1476739072 320814 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 360532 320814 658 1256 0 359271 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1442128 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=467496/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1442128 CPUtime=1181.99 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 429729 0 0 0 116815 1384 0 0 25 0 1 0 180656401 1476739072 320790 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 360532 320790 658 1256 0 359271 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1442128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=467368/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1442128 CPUtime=1241.97 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 458028 0 0 0 122799 1398 0 0 25 0 1 0 180656401 1476739072 320804 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 360532 320804 658 1256 0 359271 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1442128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=467432/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1442128 CPUtime=1301.96 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 487127 0 0 0 128784 1412 0 0 25 0 1 0 180656401 1476739072 320780 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 360532 320780 658 1256 0 359271 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1442128 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=455656/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1457508 CPUtime=1361.94 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 515941 0 0 0 134768 1426 0 0 25 0 1 0 180656401 1492488192 323735 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 364377 323735 672 1256 0 363116 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1457508 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=455464/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1457508 CPUtime=1421.93 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 542719 0 0 0 140753 1440 0 0 25 0 1 0 180656401 1492488192 323775 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 364377 323775 672 1256 0 363116 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1457508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1035 /proc/meminfo: memFree=455592/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1457508 CPUtime=1481.92 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 576043 0 0 0 146735 1457 0 0 25 0 1 0 180656401 1492488192 323733 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 364377 323733 672 1256 0 363116 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1457508 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1041 /proc/meminfo: memFree=455464/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1457508 CPUtime=1541.9 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 622622 0 0 0 152714 1476 0 0 25 0 1 0 180656401 1492488192 323742 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 364377 323742 672 1256 0 363116 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1457508 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1041 /proc/meminfo: memFree=478568/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1330224 CPUtime=1601.88 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 630173 0 0 0 158706 1482 0 0 25 0 1 0 180656401 1362149376 317971 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 332556 317971 672 1256 0 331295 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1330224 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1041 /proc/meminfo: memFree=478504/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1330224 CPUtime=1661.86 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 630182 0 0 0 164703 1483 0 0 25 0 1 0 180656401 1362149376 317980 1992294400 4194304 9342243 548682068736 18446744073709551615 5874804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 332556 317980 672 1256 0 331295 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1330224 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1041 /proc/meminfo: memFree=453928/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1465408 CPUtime=1721.85 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 636325 0 0 0 170699 1486 0 0 25 0 1 0 180656401 1500577792 324123 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 366352 324123 672 1256 0 365091 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1465408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1041 /proc/meminfo: memFree=458536/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1460764 CPUtime=1781.84 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 656205 0 0 0 176689 1495 0 0 25 0 1 0 180656401 1495822336 322973 1992294400 4194304 9342243 548682068736 18446744073709551615 6977879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 365191 322973 672 1256 0 363930 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1460764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 1041 /proc/meminfo: memFree=458472/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1460764 CPUtime=1800.03 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 661171 0 0 0 178506 1497 0 0 25 0 1 0 180656401 1495822336 322977 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 365191 322977 672 1256 0 363930 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1460764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -1032 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.98 2/66 1042 /proc/meminfo: memFree=458464/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1460764 CPUtime=1800.94 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 661177 0 0 0 178596 1498 0 0 25 0 1 0 180656401 1495822336 322983 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 365191 322983 672 1256 0 363930 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (KiB) 1460764 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.98 2/66 1042 /proc/meminfo: memFree=458400/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=1460764 CPUtime=1801.74 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4194304 661183 0 0 0 178676 1498 0 0 25 0 1 0 180656401 1495822336 322989 1992294400 4194304 9342243 548682068736 18446744073709551615 6960221 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 365191 322989 672 1256 0 363930 0 Current children cumulated CPU time (s) 1801.74 Current children cumulated vsize (KiB) 1460764 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.98 2/66 1042 /proc/meminfo: memFree=458400/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=0 CPUtime=1802.13 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4195332 661183 0 0 0 178706 1507 0 0 25 0 1 0 180656401 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 0.98 2/66 1042 /proc/meminfo: memFree=458400/2055920 swapFree=4191900/4192956 [pid=1032] ppid=1030 vsize=0 CPUtime=1802.23 /proc/1032/stat : 1032 (pbscip.linux.x8) R 1030 1032 32310 0 -1 4195332 661183 0 0 0 178706 1517 0 0 25 0 1 0 180656401 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1032/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.71 CPU time (s): 1802.25 CPU user time (s): 1787.07 CPU system time (s): 15.1787 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1465408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.07 system time used= 15.1787 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 661183 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= 2085 runsolver used 2.12168 second user time and 4.16637 second system time The end
Begin job on node29 at 2009-06-16 07:36:08 IDJOB=1868645 IDBENCH=1489 IDSOLVER=684 FILE ID=node29/1868645-1245130568 PBS_JOBID= 9363703 Free space on /tmp= 66232 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868645-1245130568/watcher-1868645-1245130568 -o /tmp/evaluation-result-1868645-1245130568/solver-1868645-1245130568 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868645-1245130568.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654 RANDOM SEED=1388251699 node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.237 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.237 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1751560 kB Buffers: 34004 kB Cached: 205292 kB SwapCached: 268 kB Active: 95684 kB Inactive: 156372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1751560 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 22960 kB Writeback: 0 kB Mapped: 21256 kB Slab: 38316 kB Committed_AS: 173012 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66220 MiB End job on node29 at 2009-06-16 08:06:11