| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.22 | 1802.94 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb |
| MD5SUM | 14c93c93dc53353f81a889ada18ba601 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 81558 |
| Total number of constraints | 240469 |
| Number of constraints which are clauses | 235865 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 4604 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| 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 | 68 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 257 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-2664028-1276336165.opb>
4.49/4.55 c original problem has 81558 variables (81558 bin, 0 int, 0 impl, 0 cont) and 240469 constraints
4.49/4.55 c problem read
4.49/4.56 c No objective function, only one solution is needed.
4.49/4.56 c presolving settings loaded
4.49/4.57 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
5.79/5.80 c presolving:
10.99/11.08 c (round 1) 913 del vars, 298 del conss, 113 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001050 impls, 0 clqs
11.39/11.45 c (round 2) 945 del vars, 2004 del conss, 117 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001702 impls, 0 clqs
11.89/11.95 c (round 3) 955 del vars, 2039 del conss, 127 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001718 impls, 0 clqs
12.20/12.23 c (round 4) 963 del vars, 2056 del conss, 134 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001784 impls, 0 clqs
12.48/12.52 c (round 5) 971 del vars, 2077 del conss, 142 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001812 impls, 0 clqs
12.79/12.81 c (round 6) 984 del vars, 2102 del conss, 154 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001952 impls, 0 clqs
12.98/13.09 c (round 7) 995 del vars, 2136 del conss, 165 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002240 impls, 0 clqs
13.30/13.38 c (round 8) 1007 del vars, 2164 del conss, 177 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002348 impls, 0 clqs
13.59/13.67 c (round 9) 1023 del vars, 2199 del conss, 192 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002494 impls, 0 clqs
13.89/13.96 c (round 10) 1036 del vars, 2240 del conss, 205 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002948 impls, 0 clqs
14.19/14.24 c (round 11) 1050 del vars, 2273 del conss, 219 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6003244 impls, 0 clqs
14.49/14.53 c (round 12) 1070 del vars, 2315 del conss, 236 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6003774 impls, 0 clqs
14.79/14.82 c (round 13) 1089 del vars, 2366 del conss, 253 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6004334 impls, 0 clqs
15.09/15.11 c (round 14) 1105 del vars, 2413 del conss, 268 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6004692 impls, 0 clqs
15.28/15.39 c (round 15) 1123 del vars, 2459 del conss, 284 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005144 impls, 0 clqs
15.59/15.68 c (round 16) 1142 del vars, 2504 del conss, 302 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005594 impls, 0 clqs
15.88/15.97 c (round 17) 1158 del vars, 2551 del conss, 317 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005998 impls, 0 clqs
16.18/16.25 c (round 18) 1179 del vars, 2600 del conss, 337 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6006206 impls, 0 clqs
16.49/16.54 c (round 19) 1198 del vars, 2651 del conss, 355 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6006857 impls, 0 clqs
16.79/16.83 c (round 20) 1211 del vars, 2695 del conss, 368 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007269 impls, 0 clqs
17.08/17.11 c (round 21) 1232 del vars, 2734 del conss, 388 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007351 impls, 0 clqs
17.38/17.40 c (round 22) 1253 del vars, 2791 del conss, 408 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007830 impls, 0 clqs
17.59/17.69 c (round 23) 1271 del vars, 2840 del conss, 426 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007980 impls, 0 clqs
17.88/17.97 c (round 24) 1296 del vars, 2894 del conss, 450 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6008485 impls, 0 clqs
18.18/18.26 c (round 25) 1314 del vars, 2953 del conss, 467 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009213 impls, 0 clqs
18.49/18.55 c (round 26) 1332 del vars, 2998 del conss, 485 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009375 impls, 0 clqs
18.79/18.83 c (round 27) 1355 del vars, 3051 del conss, 507 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009944 impls, 0 clqs
19.09/19.12 c (round 28) 1372 del vars, 3106 del conss, 524 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010396 impls, 0 clqs
19.38/19.41 c (round 29) 1389 del vars, 3148 del conss, 540 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010706 impls, 0 clqs
19.58/19.69 c (round 30) 1409 del vars, 3195 del conss, 559 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010848 impls, 0 clqs
19.89/19.98 c (round 31) 1428 del vars, 3247 del conss, 578 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011422 impls, 0 clqs
20.18/20.26 c (round 32) 1447 del vars, 3294 del conss, 596 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011628 impls, 0 clqs
20.48/20.55 c (round 33) 1469 del vars, 3346 del conss, 617 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011920 impls, 0 clqs
20.79/20.84 c (round 34) 1491 del vars, 3406 del conss, 639 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012341 impls, 0 clqs
21.08/21.12 c (round 35) 1510 del vars, 3457 del conss, 657 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012553 impls, 0 clqs
21.39/21.41 c (round 36) 1531 del vars, 3509 del conss, 678 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012695 impls, 0 clqs
21.58/21.69 c (round 37) 1552 del vars, 3566 del conss, 699 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013152 impls, 0 clqs
21.88/21.98 c (round 38) 1569 del vars, 3614 del conss, 715 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013352 impls, 0 clqs
22.19/22.26 c (round 39) 1586 del vars, 3658 del conss, 732 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013488 impls, 0 clqs
22.49/22.55 c (round 40) 1603 del vars, 3704 del conss, 749 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013939 impls, 0 clqs
22.78/22.83 c (round 41) 1616 del vars, 3741 del conss, 761 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014113 impls, 0 clqs
23.09/23.12 c (round 42) 1627 del vars, 3773 del conss, 772 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014227 impls, 0 clqs
23.38/23.40 c (round 43) 1637 del vars, 3800 del conss, 782 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014389 impls, 0 clqs
23.88/23.90 c (round 44) 1650 del vars, 3840 del conss, 794 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014581 impls, 0 clqs
24.08/24.19 c (round 45) 1658 del vars, 3856 del conss, 802 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014649 impls, 0 clqs
24.58/24.68 c (round 46) 1667 del vars, 3886 del conss, 810 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014775 impls, 0 clqs
25.29/25.40 c (round 47) 1676 del vars, 3913 del conss, 819 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014878 impls, 0 clqs
27.68/27.75 c (round 48) 1679 del vars, 3942 del conss, 822 chg bounds, 2302 chg sides, 4716 chg coeffs, 236527 upgd conss, 6015033 impls, 0 clqs
28.48/28.52 c presolving (49 rounds):
28.48/28.52 c 1679 deleted vars, 3942 deleted constraints, 822 tightened bounds, 0 added holes, 2302 changed sides, 4716 changed coefficients
28.48/28.52 c 6015033 implications, 0 cliques
28.48/28.52 c presolved problem has 79879 variables (79879 bin, 0 int, 0 impl, 0 cont) and 236527 constraints
28.48/28.52 c 4596 constraints of type <knapsack>
28.48/28.52 c 231931 constraints of type <logicor>
28.48/28.52 c transformed objective value is always integral (scale: 1)
28.48/28.52 c Presolving Time: 16.73
28.48/28.52 c - non default parameters ----------------------------------------------------------------------
28.48/28.52 c # SCIP version 1.2.1.2
28.48/28.52 c
28.48/28.52 c # frequency for displaying node information lines
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 100]
28.48/28.52 c display/freq = 10000
28.48/28.52 c
28.48/28.52 c # maximal time in seconds to run
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
28.48/28.52 c limits/time = 1795.44
28.48/28.52 c
28.48/28.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
28.48/28.52 c limits/memory = 1620
28.48/28.52 c
28.48/28.52 c # solving stops, if the given number of solutions were found (-1: no limit)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: -1]
28.48/28.52 c limits/solutions = 1
28.48/28.52 c
28.48/28.52 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c lp/solvefreq = -1
28.48/28.52 c
28.48/28.52 c # maximal number of separation rounds per node (-1: unlimited)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 5]
28.48/28.52 c separating/maxrounds = 1
28.48/28.52 c
28.48/28.52 c # maximal number of separation rounds in the root node (-1: unlimited)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: -1]
28.48/28.52 c separating/maxroundsroot = 5
28.48/28.52 c
28.48/28.52 c # should presolving try to simplify inequalities
28.48/28.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.48/28.52 c constraints/linear/simplifyinequalities = TRUE
28.48/28.52 c
28.48/28.52 c # should disaggregation of knapsack constraints be allowed in preprocessing?
28.48/28.52 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
28.48/28.52 c constraints/knapsack/disaggregation = FALSE
28.48/28.52 c
28.48/28.52 c # should presolving try to simplify knapsacks
28.48/28.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.48/28.52 c constraints/knapsack/simplifyinequalities = TRUE
28.48/28.52 c
28.48/28.52 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: -1]
28.48/28.52 c presolving/probing/maxrounds = 0
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/coefdiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/coefdiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/coefdiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 30]
28.48/28.52 c heuristics/crossover/freq = -1
28.48/28.52 c
28.48/28.52 c # number of nodes added to the contingent of the total nodes
28.48/28.52 c # [type: longint, range: [0,9223372036854775807], default: 500]
28.48/28.52 c heuristics/crossover/nodesofs = 750
28.48/28.52 c
28.48/28.52 c # number of nodes without incumbent change that heuristic should wait
28.48/28.52 c # [type: longint, range: [0,9223372036854775807], default: 200]
28.48/28.52 c heuristics/crossover/nwaitingnodes = 100
28.48/28.52 c
28.48/28.52 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
28.48/28.52 c # [type: real, range: [0,1], default: 0.1]
28.48/28.52 c heuristics/crossover/nodesquot = 0.15
28.48/28.52 c
28.48/28.52 c # minimum percentage of integer variables that have to be fixed
28.48/28.52 c # [type: real, range: [0,1], default: 0.666]
28.48/28.52 c heuristics/crossover/minfixingrate = 0.5
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 20]
28.48/28.52 c heuristics/feaspump/freq = -1
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/feaspump/maxlpiterofs = 2000
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/fracdiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/fracdiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/fracdiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/guideddiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/guideddiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/guideddiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/intdiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/intshifting/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/linesearchdiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/linesearchdiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/linesearchdiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c heuristics/nlp/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 20]
28.48/28.52 c heuristics/objpscostdiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to total iteration number
28.48/28.52 c # [type: real, range: [0,1], default: 0.01]
28.48/28.52 c heuristics/objpscostdiving/maxlpiterquot = 0.015
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/objpscostdiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c heuristics/oneopt/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/pscostdiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/pscostdiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/pscostdiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 0]
28.48/28.52 c heuristics/rens/freq = -1
28.48/28.52 c
28.48/28.52 c # minimum percentage of integer variables that have to be fixable
28.48/28.52 c # [type: real, range: [0,1], default: 0.5]
28.48/28.52 c heuristics/rens/minfixingrate = 0.3
28.48/28.52 c
28.48/28.52 c # number of nodes added to the contingent of the total nodes
28.48/28.52 c # [type: longint, range: [0,9223372036854775807], default: 500]
28.48/28.52 c heuristics/rens/nodesofs = 2000
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 20]
28.48/28.52 c heuristics/rootsoldiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
28.48/28.52 c heuristics/rootsoldiving/maxlpiterquot = 0.015
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/rootsoldiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c heuristics/rounding/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/shifting/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c heuristics/simplerounding/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 0]
28.48/28.52 c heuristics/trivial/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c heuristics/trysol/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 10]
28.48/28.52 c heuristics/veclendiving/freq = -1
28.48/28.52 c
28.48/28.52 c # maximal fraction of diving LP iterations compared to node LP iterations
28.48/28.52 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.48/28.52 c heuristics/veclendiving/maxlpiterquot = 0.075
28.48/28.52 c
28.48/28.52 c # additional number of allowed LP iterations
28.48/28.52 c # [type: int, range: [0,2147483647], default: 1000]
28.48/28.52 c heuristics/veclendiving/maxlpiterofs = 1500
28.48/28.52 c
28.48/28.52 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 1]
28.48/28.52 c heuristics/zirounding/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 0]
28.48/28.52 c separating/cmir/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: 0]
28.48/28.52 c separating/flowcover/freq = -1
28.48/28.52 c
28.48/28.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
28.48/28.52 c # [type: int, range: [-1,2147483647], default: -1]
28.48/28.52 c separating/rapidlearning/freq = 0
28.48/28.52 c
28.48/28.52 c -----------------------------------------------------------------------------------------------
28.48/28.52 c start solving
28.59/28.60 c
28.78/28.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.78/28.89 c 17.6s| 1 | 2 | 0 | - | 504M| 0 | - | 79k| 236k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1004.78/1005.22 c 992s| 10000 | 9176 | 0 | 0.0 | 806M| 465 | - | 79k| 237k| 0 | 0 | 0 |1537 | 0 | 0.000000e+00 | -- | Inf
1800.08/1800.81 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.84 c
1800.08/1800.84 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.84 c Solving Time (sec) : 1786.23
1800.08/1800.84 c Solving Nodes : 18598
1800.08/1800.84 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.84 c Dual Bound : +0.00000000000000e+00
1800.08/1800.84 c Gap : infinite
1800.08/1800.84 s UNKNOWN
1800.08/1800.84 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.84 c Solving Time : 1786.23
1800.08/1800.84 c Original Problem :
1800.08/1800.84 c Problem name : HOME/instance-2664028-1276336165.opb
1800.08/1800.84 c Variables : 81558 (81558 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.84 c Constraints : 240469 initial, 240469 maximal
1800.08/1800.84 c Presolved Problem :
1800.08/1800.84 c Problem name : t_HOME/instance-2664028-1276336165.opb
1800.08/1800.84 c Variables : 79879 (79879 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.84 c Constraints : 236527 initial, 238520 maximal
1800.08/1800.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.84 c trivial : 0.76 20 0 0 0 0 0 0 0
1800.08/1800.84 c dualfix : 0.73 0 0 0 0 0 0 0 0
1800.08/1800.84 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.84 c implics : 2.25 0 828 0 0 0 0 0 0
1800.08/1800.84 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.84 c knapsack : 0.08 0 0 0 0 0 0 0 0
1800.08/1800.84 c linear : 11.59 822 9 0 822 0 3942 2302 4716
1800.08/1800.84 c logicor : 0.48 0 0 0 0 0 0 0 0
1800.08/1800.84 c root node : - 0 - - 0 - - - -
1800.08/1800.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.84 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.84 c knapsack : 4596 0 258798 0 17597 841 72973 0 0 0
1800.08/1800.84 c logicor : 231931+ 0 253693 0 17597 571 11710754 0 0 0
1800.08/1800.84 c countsols : 0 0 0 0 17597 0 0 0 0 0
1800.08/1800.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.84 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.84 c knapsack : 91.77 0.00 91.58 0.00 0.19
1800.08/1800.84 c logicor : 1298.29 0.00 93.04 0.00 1205.25
1800.08/1800.84 c countsols : 0.06 0.00 0.00 0.00 0.06
1800.08/1800.84 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.84 c vbounds : 0.12 1 0 0
1800.08/1800.84 c rootredcost : 0.14 0 0 0
1800.08/1800.84 c pseudoobj : 0.12 0 0 0
1800.08/1800.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.84 c propagation : 0.49 1412 1412 10300 30.2 451 9.3 -
1800.08/1800.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.84 c applied globally : - - - 6148 24.3 - - -
1800.08/1800.84 c applied locally : - - - 0 0.0 - - -
1800.08/1800.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.84 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.84 c redcost : 0.00 0 0 0 0 0
1800.08/1800.84 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.84 c intobj : 0.00 0 0 0 0 0
1800.08/1800.84 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.84 c gomory : 0.00 0 0 0 0 0
1800.08/1800.84 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.84 c cmir : 0.00 0 0 0 0 0
1800.08/1800.84 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.84 c clique : 0.00 0 0 0 0 0
1800.08/1800.84 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.84 c mcf : 0.00 0 0 0 0 0
1800.08/1800.84 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.84 c Pricers : Time Calls Vars
1800.08/1800.84 c problem variables: 0.00 0 0
1800.08/1800.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.84 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.84 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.84 c inference : 245.75 17597 0 0 0 0 35194
1800.08/1800.84 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.84 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.84 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.84 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.84 c random : 0.00 0 0 0 0 0 0
1800.08/1800.84 c Primal Heuristics : Time Calls Found
1800.08/1800.84 c LP solutions : 0.00 - 0
1800.08/1800.84 c pseudo solutions : 0.00 - 0
1800.08/1800.84 c trivial : 0.16 1 0
1800.08/1800.84 c simplerounding : 0.00 0 0
1800.08/1800.84 c zirounding : 0.00 0 0
1800.08/1800.84 c rounding : 0.00 0 0
1800.08/1800.84 c shifting : 0.00 0 0
1800.08/1800.84 c intshifting : 0.00 0 0
1800.08/1800.84 c oneopt : 0.00 0 0
1800.08/1800.84 c twoopt : 0.00 0 0
1800.08/1800.84 c fixandinfer : 0.00 0 0
1800.08/1800.84 c feaspump : 0.00 0 0
1800.08/1800.84 c coefdiving : 0.00 0 0
1800.08/1800.84 c pscostdiving : 0.00 0 0
1800.08/1800.84 c fracdiving : 0.00 0 0
1800.08/1800.84 c veclendiving : 0.00 0 0
1800.08/1800.84 c intdiving : 0.00 0 0
1800.08/1800.84 c actconsdiving : 0.00 0 0
1800.08/1800.84 c objpscostdiving : 0.00 0 0
1800.08/1800.84 c rootsoldiving : 0.00 0 0
1800.08/1800.84 c linesearchdiving : 0.00 0 0
1800.08/1800.84 c guideddiving : 0.00 0 0
1800.08/1800.84 c octane : 0.00 0 0
1800.08/1800.84 c rens : 0.00 0 0
1800.08/1800.84 c rins : 0.00 0 0
1800.08/1800.84 c localbranching : 0.00 0 0
1800.08/1800.84 c mutation : 0.00 0 0
1800.08/1800.84 c crossover : 0.00 0 0
1800.08/1800.84 c dins : 0.00 0 0
1800.08/1800.84 c undercover : 0.00 0 0
1800.08/1800.84 c nlp : 0.00 0 0
1800.08/1800.84 c trysol : 0.00 0 0
1800.08/1800.84 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.84 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.84 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.84 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.84 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.84 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.84 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.84 c (at root node) : - 0 0 0.00 -
1800.08/1800.84 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.84 c B&B Tree :
1800.08/1800.84 c number of runs : 1
1800.08/1800.84 c nodes : 18598
1800.08/1800.84 c nodes (total) : 18598
1800.08/1800.84 c nodes left : 15860
1800.08/1800.84 c max depth : 465
1800.08/1800.84 c max depth (total): 465
1800.08/1800.84 c backtracks : 600 (3.2%)
1800.08/1800.84 c delayed cutoffs : 737
1800.08/1800.84 c repropagations : 7782 (849212 domain reductions, 411 cutoffs)
1800.08/1800.84 c avg switch length: 3.70
1800.08/1800.84 c switching time : 105.09
1800.08/1800.84 c Solution :
1800.08/1800.84 c Solutions found : 0 (0 improvements)
1800.08/1800.84 c Primal Bound : -
1800.08/1800.84 c Dual Bound : +0.00000000000000e+00
1800.08/1800.84 c Gap : infinite
1800.08/1800.84 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.84 c Root Iterations : 0
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-2664028-1276336165/watcher-2664028-1276336165 -o /tmp/evaluation-result-2664028-1276336165/solver-2664028-1276336165 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664028-1276336165.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10103 /proc/meminfo: memFree=1488980/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=6584 CPUtime=0 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 959 0 0 0 0 0 0 0 18 0 1 0 9220010 6742016 882 1992294400 4194304 7136930 140735928800016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 1646 891 254 719 0 925 0 [startup+0.107353 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10103 /proc/meminfo: memFree=1488980/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=13872 CPUtime=0.09 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 2933 0 0 0 9 0 0 0 20 0 1 0 9220010 14204928 2856 1992294400 4194304 7136930 140735928800016 18446744073709551615 6166861 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 3468 2856 268 719 0 2747 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13872 [startup+0.20137 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10103 /proc/meminfo: memFree=1488980/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=17088 CPUtime=0.19 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 3770 0 0 0 18 1 0 0 20 0 1 0 9220010 17498112 3693 1992294400 4194304 7136930 140735928800016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 4272 3693 268 719 0 3551 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17088 [startup+0.301388 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10103 /proc/meminfo: memFree=1488980/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=19496 CPUtime=0.29 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 4349 0 0 0 28 1 0 0 20 0 1 0 9220010 19963904 4272 1992294400 4194304 7136930 140735928800016 18446744073709551615 4907108 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 4874 4272 268 719 0 4153 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19496 [startup+0.701462 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10103 /proc/meminfo: memFree=1488980/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=32736 CPUtime=0.69 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 7636 0 0 0 66 3 0 0 20 0 1 0 9220010 33521664 7559 1992294400 4194304 7136930 140735928800016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 8184 7559 268 719 0 7463 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32736 [startup+1.50161 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10104 /proc/meminfo: memFree=1446316/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=57316 CPUtime=1.49 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 13767 0 0 0 144 5 0 0 23 0 1 0 9220010 58691584 13690 1992294400 4194304 7136930 140735928800016 18446744073709551615 6328247 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 14329 13690 268 719 0 13608 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57316 [startup+3.1009 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10104 /proc/meminfo: memFree=1412464/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=106900 CPUtime=3.09 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 26158 0 0 0 299 10 0 0 25 0 1 0 9220010 109465600 26081 1992294400 4194304 7136930 140735928800016 18446744073709551615 5960229 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 26725 26081 268 719 0 26004 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106900 [startup+6.3015 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10104 /proc/meminfo: memFree=1136688/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=403736 CPUtime=6.29 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 98481 0 0 0 592 37 0 0 25 0 1 0 9220010 413425664 97997 1992294400 4194304 7136930 140735928800016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 100934 97997 341 719 0 100213 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 403736 [startup+12.7007 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10104 /proc/meminfo: memFree=900344/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=606284 CPUtime=12.69 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 148911 0 0 0 1129 140 0 0 25 0 1 0 9220010 620834816 146885 1992294400 4194304 7136930 140735928800016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 151571 146885 347 719 0 150850 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 606284 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10104 /proc/meminfo: memFree=900344/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=606284 CPUtime=25.48 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 160734 0 0 0 1937 611 0 0 25 0 1 0 9220010 620834816 146886 1992294400 4194304 7136930 140735928800016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 151571 146886 347 719 0 150850 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 606284 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10104 /proc/meminfo: memFree=799284/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=715860 CPUtime=51.06 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 213024 0 0 0 4421 685 0 0 25 0 1 0 9220010 733040640 172344 1992294400 4194304 7136930 140735928800016 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 178965 172344 393 719 0 178244 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 715860 [startup+102.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10106 /proc/meminfo: memFree=781056/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=734652 CPUtime=102.25 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 217840 0 0 0 9535 690 0 0 25 0 1 0 9220010 752283648 176900 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 183663 176900 393 719 0 182942 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 734652 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10108 /proc/meminfo: memFree=765556/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=750408 CPUtime=162.21 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 222133 0 0 0 15526 695 0 0 25 0 1 0 9220010 768417792 180738 1992294400 4194304 7136930 140735928800016 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 187602 180738 393 719 0 186881 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 750408 [startup+222.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10110 /proc/meminfo: memFree=746336/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=770908 CPUtime=222.2 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 227196 0 0 0 21518 702 0 0 25 0 1 0 9220010 789409792 185801 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 192727 185801 393 719 0 192006 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 770908 [startup+282.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10110 /proc/meminfo: memFree=718684/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=799928 CPUtime=282.17 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 234051 0 0 0 27507 710 0 0 25 0 1 0 9220010 819126272 192656 1992294400 4194304 7136930 140735928800016 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 199982 192656 393 719 0 199261 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 799928 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10112 /proc/meminfo: memFree=683840/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=834584 CPUtime=342.15 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 242770 0 0 0 33496 719 0 0 25 0 1 0 9220010 854614016 201115 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 208646 201115 393 719 0 207925 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 834584 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10114 /proc/meminfo: memFree=659660/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=859712 CPUtime=402.13 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 249322 0 0 0 39487 726 0 0 25 0 1 0 9220010 880345088 207212 1992294400 4194304 7136930 140735928800016 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 214928 207212 393 719 0 214207 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 859712 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10116 /proc/meminfo: memFree=627420/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=894208 CPUtime=462.11 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 257604 0 0 0 45476 735 0 0 25 0 1 0 9220010 915668992 215299 1992294400 4194304 7136930 140735928800016 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 223552 215299 393 719 0 222831 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 894208 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10118 /proc/meminfo: memFree=607208/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=914292 CPUtime=522.08 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 262544 0 0 0 51468 740 0 0 25 0 1 0 9220010 936235008 220174 1992294400 4194304 7136930 140735928800016 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 228573 220174 393 719 0 227852 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 914292 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10118 /proc/meminfo: memFree=584640/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=938248 CPUtime=582.06 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 268294 0 0 0 57459 747 0 0 25 0 1 0 9220010 960765952 225794 1992294400 4194304 7136930 140735928800016 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 234562 225794 393 719 0 233841 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 938248 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10120 /proc/meminfo: memFree=571248/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=952244 CPUtime=642.03 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 271734 0 0 0 63450 753 0 0 25 0 1 0 9220010 975097856 229169 1992294400 4194304 7136930 140735928800016 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 238061 229169 393 719 0 237340 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 952244 [startup+702.302 s] ################ # More data... # ################ /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 316757 0 0 0 105368 818 0 0 25 0 1 0 9220010 1166012416 273087 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 284671 273087 393 719 0 283950 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1138684 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10143 /proc/meminfo: memFree=367144/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1167544 CPUtime=1121.83 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 323517 0 0 0 111355 828 0 0 25 0 1 0 9220010 1195565056 279847 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 291886 279847 393 719 0 291165 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1167544 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10143 /proc/meminfo: memFree=342716/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1198328 CPUtime=1181.81 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 329781 0 0 0 117342 839 0 0 25 0 1 0 9220010 1227087872 286111 1992294400 4194304 7136930 140735928800016 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 299582 286111 393 719 0 298861 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 1198328 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10145 /proc/meminfo: memFree=319776/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1225216 CPUtime=1241.79 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 335365 0 0 0 123331 848 0 0 25 0 1 0 9220010 1254621184 291695 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 306304 291695 393 719 0 305583 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1225216 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10147 /proc/meminfo: memFree=296340/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1254096 CPUtime=1301.76 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 341272 0 0 0 129317 859 0 0 25 0 1 0 9220010 1284194304 297602 1992294400 4194304 7136930 140735928800016 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 313524 297602 393 719 0 312803 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1254096 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10149 /proc/meminfo: memFree=276996/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1278300 CPUtime=1361.75 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 346002 0 0 0 135305 870 0 0 25 0 1 0 9220010 1308979200 302332 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 319575 302332 393 719 0 318854 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1278300 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10151 /proc/meminfo: memFree=257900/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1301076 CPUtime=1421.72 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 350777 0 0 0 141293 879 0 0 25 0 1 0 9220010 1332301824 307107 1992294400 4194304 7136930 140735928800016 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 325269 307107 393 719 0 324548 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 1301076 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10154 /proc/meminfo: memFree=238928/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1325320 CPUtime=1481.7 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 355493 0 0 0 147280 890 0 0 25 0 1 0 9220010 1357127680 311823 1992294400 4194304 7136930 140735928800016 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 331330 311823 393 719 0 330609 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1325320 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10156 /proc/meminfo: memFree=213260/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1356048 CPUtime=1541.68 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 361859 0 0 0 153266 902 0 0 25 0 1 0 9220010 1388593152 318189 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 339012 318189 393 719 0 338291 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1356048 [startup+1602.3 s] /proc/loadavg: 1.05 1.00 0.99 2/107 10158 /proc/meminfo: memFree=191188/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1382052 CPUtime=1601.65 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 367434 0 0 0 159252 913 0 0 25 0 1 0 9220010 1415221248 323764 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 345513 323764 393 719 0 344792 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1382052 [startup+1662.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 10160 /proc/meminfo: memFree=167752/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1407912 CPUtime=1661.63 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 373231 0 0 0 165238 925 0 0 25 0 1 0 9220010 1441701888 329561 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 351978 329561 393 719 0 351257 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1407912 [startup+1722.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 10162 /proc/meminfo: memFree=146176/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1432940 CPUtime=1721.61 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 378663 0 0 0 171225 936 0 0 25 0 1 0 9220010 1467330560 334993 1992294400 4194304 7136930 140735928800016 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 358235 334993 393 719 0 357514 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 1432940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10162 /proc/meminfo: memFree=122864/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1459680 CPUtime=1781.58 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 384450 0 0 0 177213 945 0 0 25 0 1 0 9220010 1494712320 340780 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 364920 340780 393 719 0 364199 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 1459680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10164 /proc/meminfo: memFree=113936/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1469656 CPUtime=1800.08 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 386674 0 0 0 179061 947 0 0 25 0 1 0 9220010 1504927744 343004 1992294400 4194304 7136930 140735928800016 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10103/statm: 367414 343004 393 719 0 366693 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1469656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10103 Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10164 /proc/meminfo: memFree=113936/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1467480 CPUtime=1800.77 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 386711 0 0 0 179130 947 0 0 25 0 1 0 9220010 1502699520 342874 1992294400 4194304 7136930 140735928800016 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 366870 342874 399 719 0 366149 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (KiB) 1467480 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10165 /proc/meminfo: memFree=113804/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1452532 CPUtime=1801.58 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 386711 0 0 0 179210 948 0 0 25 0 1 0 9220010 1487392768 339137 1992294400 4194304 7136930 140735928800016 18446744073709551615 4221102 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 363133 339137 399 719 0 362412 0 Current children cumulated CPU time (s) 1801.58 Current children cumulated vsize (KiB) 1452532 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10165 /proc/meminfo: memFree=113804/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=1391388 CPUtime=1801.98 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4202496 386711 0 0 0 179249 949 0 0 25 0 1 0 9220010 1424781312 323930 1992294400 4194304 7136930 140735928800016 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10103/statm: 347847 323930 399 719 0 347126 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 1391388 [startup+1802.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10165 /proc/meminfo: memFree=1107076/2059040 swapFree=4192956/4192956 [pid=10103] ppid=10101 vsize=0 CPUtime=1802.18 /proc/10103/stat : 10103 (pbscip.linux.x8) R 10101 10103 10000 0 -1 4203524 386711 0 0 0 179260 958 0 0 25 0 1 0 9220010 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/10103/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.94 CPU time (s): 1802.22 CPU user time (s): 1792.6 CPU system time (s): 9.61654 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (KiB): 1469656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.6 system time used= 9.61654 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 386711 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= 4 involuntary context switches= 23856 runsolver used 2.87856 second user time and 8.62269 second system time The end
Begin job on node007 at 2010-06-12 11:49:26 IDJOB=2664028 IDBENCH=1475 IDSOLVER=1167 FILE ID=node007/2664028-1276336165 PBS_JOBID= 11173175 Free space on /tmp= 62448 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.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-2664028-1276336165/watcher-2664028-1276336165 -o /tmp/evaluation-result-2664028-1276336165/solver-2664028-1276336165 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664028-1276336165.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14c93c93dc53353f81a889ada18ba601 RANDOM SEED=1211193728 node007.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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1489384 kB Buffers: 111340 kB Cached: 328856 kB SwapCached: 0 kB Active: 187084 kB Inactive: 312332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1489384 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10672 kB Writeback: 40 kB AnonPages: 59248 kB Mapped: 15392 kB Slab: 48500 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181888 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= 62444 MiB End job on node007 at 2010-06-12 12:19:29