PB'12 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed	?	1796.98	1797.28

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3691679-1338029422.opb>
0.08/0.14	c original problem has 18069 variables (18069 bin, 0 int, 0 impl, 0 cont) and 52475 constraints
0.08/0.14	c problem read in 0.14
0.08/0.14	c No objective function, only one solution is needed.
0.08/0.14	c presolving settings loaded
0.19/0.26	c presolving:
0.69/0.73	c (round 1) 1245 del vars, 976 del conss, 0 add conss, 347 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1024988 impls, 0 clqs
0.69/0.77	c (round 2) 1290 del vars, 3093 del conss, 0 add conss, 372 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025120 impls, 0 clqs
0.69/0.79	c (round 3) 1313 del vars, 3138 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025384 impls, 0 clqs
0.79/0.80	c (round 4) 1314 del vars, 3172 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025486 impls, 0 clqs
0.88/1.00	c (round 5) 1314 del vars, 3191 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49284 upgd conss, 1025486 impls, 0 clqs
1.00/1.09	c (round 6) 1314 del vars, 3191 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49290 upgd conss, 1025486 impls, 0 clqs
1.19/1.26	c (round 7) 1314 del vars, 51469 del conss, 16089 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49290 upgd conss, 1025486 impls, 0 clqs
1.28/1.39	c (round 8) 1445 del vars, 52590 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49290 upgd conss, 1050986 impls, 7 clqs
1.39/1.46	c (round 9) 1532 del vars, 52612 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1042 chg coeffs, 49312 upgd conss, 1066418 impls, 1116 clqs
1.49/1.51	c (round 10) 1544 del vars, 52622 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1050 chg coeffs, 49312 upgd conss, 1067344 impls, 1117 clqs
1.49/1.56	c (round 11) 1553 del vars, 52627 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1055 chg coeffs, 49312 upgd conss, 1067374 impls, 1114 clqs
1.59/1.61	c (round 12) 1564 del vars, 52631 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1056 chg coeffs, 49312 upgd conss, 1068072 impls, 1114 clqs
1.59/1.66	c (round 13) 1571 del vars, 52637 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1062 chg coeffs, 49312 upgd conss, 1068072 impls, 1114 clqs
1.69/1.71	c (round 14) 1576 del vars, 52642 del conss, 17210 add conss, 381 chg bounds, 460 chg sides, 1067 chg coeffs, 49312 upgd conss, 1068072 impls, 1114 clqs
1.89/1.90	c (round 15) 1646 del vars, 52846 del conss, 17410 add conss, 381 chg bounds, 460 chg sides, 1067 chg coeffs, 49312 upgd conss, 1082087 impls, 1112 clqs
1.89/1.90	c (round 16) 1708 del vars, 52865 del conss, 17410 add conss, 381 chg bounds, 460 chg sides, 1084 chg coeffs, 49321 upgd conss, 1082441 impls, 1169 clqs
1.89/1.91	c (round 17) 1722 del vars, 52893 del conss, 17410 add conss, 381 chg bounds, 460 chg sides, 1091 chg coeffs, 49321 upgd conss, 1082589 impls, 1170 clqs
1.89/1.96	c (round 18) 1727 del vars, 52920 del conss, 17410 add conss, 381 chg bounds, 460 chg sides, 1096 chg coeffs, 49321 upgd conss, 1082589 impls, 1170 clqs
1.99/2.03	c (round 19) 1736 del vars, 52978 del conss, 17468 add conss, 381 chg bounds, 460 chg sides, 1096 chg coeffs, 49321 upgd conss, 1082593 impls, 1170 clqs
2.09/2.16	c (round 20) 1770 del vars, 53022 del conss, 17476 add conss, 381 chg bounds, 460 chg sides, 1096 chg coeffs, 49321 upgd conss, 1085685 impls, 1170 clqs
2.19/2.27	c (round 21) 1770 del vars, 53057 del conss, 17476 add conss, 381 chg bounds, 460 chg sides, 1096 chg coeffs, 49321 upgd conss, 1085685 impls, 1170 clqs
2.39/2.42	c presolving (22 rounds):
2.39/2.42	c  1770 deleted vars, 53057 deleted constraints, 17476 added constraints, 381 tightened bounds, 0 added holes, 460 changed sides, 1096 changed coefficients
2.39/2.42	c  1085685 implications, 1170 cliques
2.39/2.42	c presolved problem has 16299 variables (16299 bin, 0 int, 0 impl, 0 cont) and 16796 constraints
2.39/2.42	c     920 constraints of type <knapsack>
2.39/2.42	c    1405 constraints of type <setppc>
2.39/2.42	c   14463 constraints of type <and>
2.39/2.42	c       8 constraints of type <logicor>
2.39/2.42	c transformed objective value is always integral (scale: 1)
2.39/2.42	c Presolving Time: 2.19
2.39/2.42	c - non default parameters ----------------------------------------------------------------------
2.39/2.42	c # SCIP version 2.1.1.4
2.39/2.42	c 
2.39/2.42	c # maximal time in seconds to run
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42	c limits/time = 1797
2.39/2.42	c 
2.39/2.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42	c limits/memory = 13950
2.39/2.42	c 
2.39/2.42	c # solving stops, if the given number of solutions were found (-1: no limit)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42	c limits/solutions = 1
2.39/2.42	c 
2.39/2.42	c # maximal number of separation rounds per node (-1: unlimited)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 5]
2.39/2.42	c separating/maxrounds = 1
2.39/2.42	c 
2.39/2.42	c # maximal number of separation rounds in the root node (-1: unlimited)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42	c separating/maxroundsroot = 5
2.39/2.42	c 
2.39/2.42	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.39/2.42	c # [type: int, range: [1,2], default: 1]
2.39/2.42	c timing/clocktype = 2
2.39/2.42	c 
2.39/2.42	c # belongs reading time to solving time?
2.39/2.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42	c timing/reading = TRUE
2.39/2.42	c 
2.39/2.42	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.39/2.42	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.39/2.42	c constraints/knapsack/disaggregation = FALSE
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/coefdiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/coefdiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/coefdiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 30]
2.39/2.42	c heuristics/crossover/freq = -1
2.39/2.42	c 
2.39/2.42	c # number of nodes added to the contingent of the total nodes
2.39/2.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.39/2.42	c heuristics/crossover/nodesofs = 750
2.39/2.42	c 
2.39/2.42	c # number of nodes without incumbent change that heuristic should wait
2.39/2.42	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.39/2.42	c heuristics/crossover/nwaitingnodes = 100
2.39/2.42	c 
2.39/2.42	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.39/2.42	c # [type: real, range: [0,1], default: 0.1]
2.39/2.42	c heuristics/crossover/nodesquot = 0.15
2.39/2.42	c 
2.39/2.42	c # minimum percentage of integer variables that have to be fixed 
2.39/2.42	c # [type: real, range: [0,1], default: 0.666]
2.39/2.42	c heuristics/crossover/minfixingrate = 0.5
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.42	c heuristics/feaspump/freq = -1
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/feaspump/maxlpiterofs = 2000
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/fracdiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/fracdiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/fracdiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/guideddiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/guideddiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/guideddiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/intdiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/intshifting/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/linesearchdiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/linesearchdiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/linesearchdiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.42	c heuristics/objpscostdiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to total iteration number
2.39/2.42	c # [type: real, range: [0,1], default: 0.01]
2.39/2.42	c heuristics/objpscostdiving/maxlpiterquot = 0.015
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/objpscostdiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/oneopt/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/pscostdiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/pscostdiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/pscostdiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42	c heuristics/rens/freq = -1
2.39/2.42	c 
2.39/2.42	c # minimum percentage of integer variables that have to be fixable 
2.39/2.42	c # [type: real, range: [0,1], default: 0.5]
2.39/2.42	c heuristics/rens/minfixingrate = 0.3
2.39/2.42	c 
2.39/2.42	c # number of nodes added to the contingent of the total nodes
2.39/2.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.39/2.42	c heuristics/rens/nodesofs = 2000
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 20]
2.39/2.42	c heuristics/rootsoldiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.39/2.42	c heuristics/rootsoldiving/maxlpiterquot = 0.015
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/rootsoldiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/rounding/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42	c heuristics/shiftandpropagate/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/shifting/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/simplerounding/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/subnlp/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42	c heuristics/trivial/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/trysol/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42	c heuristics/undercover/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 10]
2.39/2.42	c heuristics/veclendiving/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal fraction of diving LP iterations compared to node LP iterations
2.39/2.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.39/2.42	c heuristics/veclendiving/maxlpiterquot = 0.075
2.39/2.42	c 
2.39/2.42	c # additional number of allowed LP iterations
2.39/2.42	c # [type: int, range: [0,2147483647], default: 1000]
2.39/2.42	c heuristics/veclendiving/maxlpiterofs = 1500
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/zirounding/freq = -1
2.39/2.42	c 
2.39/2.42	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42	c propagating/probing/maxprerounds = 0
2.39/2.42	c 
2.39/2.42	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42	c separating/cmir/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.42	c separating/flowcover/freq = -1
2.39/2.42	c 
2.39/2.42	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42	c separating/rapidlearning/freq = 0
2.39/2.42	c 
2.39/2.42	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
2.39/2.42	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.42	c heuristics/indoneopt/freq = -1
2.39/2.42	c 
2.39/2.42	c -----------------------------------------------------------------------------------------------
2.39/2.42	c start solving
2.39/2.42	c 
2.88/2.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.88/2.94	c   2.9s|     1 |     0 |  2782 |     - | 138M|   0 |1669 |  16k|  16k|  16k|  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.58/5.61	c   5.6s|     1 |     0 |  9552 |     - | 139M|   0 |3447 |  16k|  16k|  16k|  32k|1528 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.38/8.46	c   8.5s|     1 |     0 | 15199 |     - | 140M|   0 |3986 |  16k|  16k|  16k|  34k|3528 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.39/11.40	c  11.4s|     1 |     0 | 20636 |     - | 142M|   0 |4365 |  16k|  16k|  16k|  36k|5528 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.78/14.89	c  14.9s|     1 |     0 | 26460 |     - | 143M|   0 |4677 |  16k|  16k|  16k|  38k|7475 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.87/23.92	c  23.9s|     1 |     0 | 36934 |     - | 144M|   0 |5577 |  16k|  16k|  16k|  40k|9227 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
52.17/52.28	c  52.3s|     1 |     2 | 36934 |     - | 144M|   0 |5577 |  16k|  16k|  16k|  40k|9227 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
262.44/262.58	c   263s|   100 |    84 | 98592 | 622.8 | 150M|  66 | 984 |  16k|  16k|  16k|  37k|  13k|   4 | 321 | 0.000000e+00 |      --      |    Inf 
289.03/289.20	c   289s|   200 |    74 |118507 | 409.9 | 151M|  75 |2537 |  16k|  16k|  16k|  37k|  14k| 158 | 367 | 0.000000e+00 |      --      |    Inf 
340.52/340.68	c   341s|   300 |    79 |176950 | 468.3 | 152M|  75 |   - |  16k|  17k|   0 |   0 |  19k| 329 | 420 | 0.000000e+00 |      --      |    Inf 
389.22/389.36	c   389s|   400 |    78 |233447 | 492.5 | 153M|  75 |   - |  16k|  17k|   0 |   0 |  24k| 449 | 475 | 0.000000e+00 |      --      |    Inf 
429.81/429.94	c   430s|   500 |    83 |283001 | 493.1 | 154M|  75 |   - |  16k|  17k|  16k|  37k|  30k| 580 | 523 | 0.000000e+00 |      --      |    Inf 
484.80/484.99	c   485s|   600 |    80 |345133 | 514.5 | 154M|  75 |2078 |  16k|  17k|  16k|  37k|  36k| 693 | 593 | 0.000000e+00 |      --      |    Inf 
529.69/529.83	c   530s|   700 |    68 |396764 | 514.8 | 154M|  75 |2069 |  16k|  17k|  16k|  37k|  42k| 844 | 651 | 0.000000e+00 |      --      |    Inf 
575.68/575.87	c   576s|   800 |    75 |449427 | 516.3 | 154M|  75 |   - |  16k|  17k|   0 |   0 |  48k|1004 | 699 | 0.000000e+00 |      --      |    Inf 
619.98/620.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
619.98/620.18	c   620s|   900 |    69 |499077 | 514.1 | 154M|  75 |2713 |  16k|  17k|  16k|  36k|  54k|1125 | 757 | 0.000000e+00 |      --      |    Inf 
667.47/667.68	c   668s|  1000 |    64 |548581 | 512.2 | 154M|  75 |3065 |  16k|  17k|  16k|  36k|  61k|1267 | 821 | 0.000000e+00 |      --      |    Inf 
728.46/728.61	c   729s|  1100 |    32 |615175 | 526.2 | 152M|  75 |4504 |  16k|  17k|  16k|  36k|  67k|1385 | 885 | 0.000000e+00 |      --      |    Inf 
817.25/817.40	c   817s|  1200 |    62 |707989 | 559.7 | 153M|  75 |3985 |  16k|  17k|  16k|  36k|  75k|1481 | 997 | 0.000000e+00 |      --      |    Inf 
878.44/878.60	c   879s|  1300 |    72 |769067 | 563.6 | 154M|  75 |   - |  16k|  17k|   0 |   0 |  82k|1622 |1099 | 0.000000e+00 |      --      |    Inf 
932.63/932.89	c   933s|  1400 |    70 |825670 | 563.8 | 154M|  75 |3128 |  16k|  17k|  16k|  35k|  89k|1787 |1163 | 0.000000e+00 |      --      |    Inf 
984.42/984.61	c   985s|  1500 |    70 |878554 | 561.5 | 155M|  75 |   - |  16k|  17k|   0 |   0 |  96k|1922 |1211 | 0.000000e+00 |      --      |    Inf 
1042.91/1043.18	c  1043s|  1600 |    74 |938839 | 564.0 | 154M|  75 |2286 |  16k|  17k|  16k|  35k| 103k|2063 |1275 | 0.000000e+00 |      --      |    Inf 
1102.60/1102.87	c  1103s|  1700 |    75 |  1000k| 567.0 | 154M|  75 |3714 |  16k|  17k|  16k|  35k| 111k|2190 |1353 | 0.000000e+00 |      --      |    Inf 
1153.70/1153.98	c  1154s|  1800 |    69 |  1049k| 562.8 | 154M|  75 |2815 |  16k|  18k|  16k|  34k| 117k|2334 |1438 | 0.000000e+00 |      --      |    Inf 
1191.89/1192.10	c  1192s|  1900 |    78 |  1090k| 554.7 | 154M|  75 |1590 |  16k|  18k|  16k|  35k| 123k|2508 |1470 | 0.000000e+00 |      --      |    Inf 
1273.48/1273.70	c  1274s|  2000 |    90 |  1161k| 562.6 | 155M|  75 |   - |  16k|  18k|  16k|  36k| 130k|2687 |1566 | 0.000000e+00 |      --      |    Inf 
1312.37/1312.61	c  1313s|  2100 |    79 |  1205k| 556.5 | 155M|  75 |   - |  16k|  18k|   0 |   0 | 136k|2836 |1630 | 0.000000e+00 |      --      |    Inf 
1376.76/1377.10	c  1377s|  2200 |    91 |  1271k| 561.2 | 155M|  75 |2277 |  16k|  18k|  16k|  37k| 142k|2991 |1692 | 0.000000e+00 |      --      |    Inf 
1414.85/1415.18	c  1415s|  2300 |    89 |  1309k| 553.5 | 155M|  75 |2473 |  16k|  18k|  16k|  37k| 148k|3254 |1741 | 0.000000e+00 |      --      |    Inf 
1455.85/1456.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1455.85/1456.14	c  1456s|  2400 |    93 |  1353k| 548.9 | 156M|  75 |2360 |  16k|  18k|  16k|  37k| 155k|3453 |1784 | 0.000000e+00 |      --      |    Inf 
1497.95/1498.21	c  1498s|  2500 |    87 |  1398k| 544.7 | 156M|  75 |1977 |  16k|  18k|  16k|  36k| 162k|3737 |1833 | 0.000000e+00 |      --      |    Inf 
1536.74/1537.00	c  1537s|  2600 |    91 |  1440k| 540.2 | 156M|  75 |   - |  16k|  18k|   0 |   0 | 169k|4012 |1892 | 0.000000e+00 |      --      |    Inf 
1587.23/1587.58	c  1588s|  2700 |    86 |  1497k| 541.1 | 156M|  75 |   - |  16k|  18k|   0 |   0 | 175k|4178 |1958 | 0.000000e+00 |      --      |    Inf 
1634.52/1634.85	c  1635s|  2800 |    83 |  1548k| 540.0 | 156M|  75 |   - |  16k|  18k|   0 |   0 | 182k|4372 |2036 | 0.000000e+00 |      --      |    Inf 
1742.00/1742.33	c  1742s|  2900 |    94 |  1647k| 555.6 | 156M|  75 |3255 |  16k|  18k|  16k|  35k| 190k|4549 |2161 | 0.000000e+00 |      --      |    Inf 
1787.19/1787.52	c  1788s|  3000 |    90 |  1699k| 554.4 | 157M|  75 |2412 |  16k|  18k|  16k|  36k| 197k|4700 |2240 | 0.000000e+00 |      --      |    Inf 
1796.69/1797.01	c 
1796.69/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.01	c Solving Time (sec) : 1797.01
1796.69/1797.01	c Solving Nodes      : 3021
1796.69/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01	c Dual Bound         : +0.00000000000000e+00
1796.69/1797.01	c Gap                : infinite
1796.69/1797.01	s UNKNOWN
1796.69/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.01	c Total Time         :    1797.01
1796.69/1797.01	c   solving          :    1797.01
1796.69/1797.01	c   presolving       :       2.19 (included in solving)
1796.69/1797.01	c   reading          :       0.14 (included in solving)
1796.69/1797.01	c   copying          :       0.00 (0 times copied the problem)
1796.69/1797.01	c Original Problem   :
1796.69/1797.01	c   Problem name     : HOME/instance-3691679-1338029422.opb
1796.69/1797.01	c   Variables        : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01	c   Constraints      : 52475 initial, 52475 maximal
1796.69/1797.01	c   Objective sense  : minimize
1796.69/1797.01	c Presolved Problem  :
1796.69/1797.01	c   Problem name     : t_HOME/instance-3691679-1338029422.opb
1796.69/1797.01	c   Variables        : 16299 (16299 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01	c   Constraints      : 16796 initial, 18970 maximal
1796.69/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.69/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   trivial          :       0.02       0.00         93          0          0          0          0          0          0          0          0
1796.69/1797.01	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   gateextraction   :       0.14       0.00          0          0          0          0          0      48275      16089          0          0
1796.69/1797.01	c   implics          :       0.13       0.00          0        911          0          0          0          0          0          0          0
1796.69/1797.01	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   knapsack         :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   setppc           :       0.11       0.00          0         17          0          0          0        102          0          0          0
1796.69/1797.01	c   and              :       1.01       0.00         68        296          0          0          0       1489       1387          0         66
1796.69/1797.01	c   linear           :       0.60       0.02        381          4          0        381          0       3191          0        460       1030
1796.69/1797.01	c   logicor          :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.69/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.01	c   integral         :          0          0          0          0       2196          0          1          0         10        168          0          0       4248
1796.69/1797.01	c   knapsack         :        920        920          5      69446          0          0          0        417         20       2913       1003          0          0
1796.69/1797.01	c   setppc           :       1405       1405          5      69426          0          0          0     238251        313     213429          0          0          0
1796.69/1797.01	c   and              :      14463      14463       2159      69113          0          0          0    1259969       1106    1345097     951287          0          0
1796.69/1797.01	c   logicor          :          8+      2182          5      21809          0          0          0      23086        150      10782          0          0          0
1796.69/1797.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.69/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.69/1797.01	c   integral         :     766.81       0.00       0.00       0.00     766.81       0.00       0.00       0.00
1796.69/1797.01	c   knapsack         :       0.96       0.00       0.01       0.95       0.00       0.00       0.00       0.00
1796.69/1797.01	c   setppc           :       1.41       0.00       0.00       1.22       0.00       0.00       0.00       0.19
1796.69/1797.01	c   and              :      12.52       0.00       4.39       7.36       0.00       0.00       0.00       0.77
1796.69/1797.01	c   logicor          :       0.43       0.00       0.00       0.37       0.00       0.00       0.00       0.06
1796.69/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.69/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.69/1797.01	c   rootredcost      :          0          0          0          0
1796.69/1797.01	c   pseudoobj        :          0          0          0          0
1796.69/1797.01	c   vbounds          :          0          0          0          0
1796.69/1797.01	c   redcost          :       4310          0          0          0
1796.69/1797.01	c   probing          :          0          0          0          0
1796.69/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.69/1797.01	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00
1796.69/1797.01	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00
1796.69/1797.01	c   vbounds          :       0.02       0.00       0.00       0.02       0.00
1796.69/1797.01	c   redcost          :       2.63       0.00       0.00       2.63       0.00
1796.69/1797.01	c   probing          :       0.00       0.00       0.00       0.00       0.00
1796.69/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.01	c   propagation      :       1.74       1589       1560      15656      106.4        181       24.8          -
1796.69/1797.01	c   infeasible LP    :       0.31         49         49        333       88.9         20       26.6          0
1796.69/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.69/1797.01	c   applied globally :          -          -          -       4727       62.7          -          -          -
1796.69/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.01	c   cut pool         :       0.00                     4          -          -        351          -    (maximal pool size: 9632)
1796.69/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   impliedbounds    :       0.05       0.00          5          0          0      15297          0
1796.69/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   gomory           :       0.11       0.00          2          0          0        100          0
1796.69/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   strongcg         :       1.17       0.00          2          0          0       1000          0
1796.69/1797.01	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   clique           :       0.75       0.00          2          0          0         16          0
1796.69/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   mcf              :       0.03       0.00          1          0          0          0          0
1796.69/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.69/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.69/1797.01	c   problem variables:       0.00          -          0          0
1796.69/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.01	c   relpscost        :     766.81       0.00       2196         10        168          0          0       4248
1796.69/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.69/1797.01	c   LP solutions     :       0.00          -          -          0
1796.69/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.69/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.69/1797.01	c   trivial          :       0.01       0.00          1          0
1796.69/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.69/1797.01	c   simplerounding   :       0.00       0.00          0          0
1796.69/1797.01	c   zirounding       :       0.00       0.00          0          0
1796.69/1797.01	c   rounding         :       0.00       0.00          0          0
1796.69/1797.01	c   shifting         :       0.00       0.00          0          0
1796.69/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.69/1797.01	c   oneopt           :       0.00       0.00          0          0
1796.69/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.69/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.69/1797.01	c   indoneopt        :       0.00       0.00          0          0
1796.69/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.69/1797.01	c   feaspump         :       0.00       0.00          0          0
1796.69/1797.01	c   clique           :       0.00       0.00          0          0
1796.69/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.69/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.69/1797.01	c   coefdiving       :       0.00       0.00          0          0
1796.69/1797.01	c   pscostdiving     :       0.00       0.00          0          0
1796.69/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.69/1797.01	c   fracdiving       :       0.00       0.00          0          0
1796.69/1797.01	c   veclendiving     :       0.00       0.00          0          0
1796.69/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.69/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.69/1797.01	c   objpscostdiving  :       0.00       0.00          0          0
1796.69/1797.01	c   rootsoldiving    :       0.00       0.00          0          0
1796.69/1797.01	c   linesearchdiving :       0.00       0.00          0          0
1796.69/1797.01	c   guideddiving     :       0.00       0.00          0          0
1796.69/1797.01	c   octane           :       0.00       0.00          0          0
1796.69/1797.01	c   rens             :       0.00       0.00          0          0
1796.69/1797.01	c   rins             :       0.00       0.00          0          0
1796.69/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.69/1797.01	c   mutation         :       0.00       0.00          0          0
1796.69/1797.01	c   crossover        :       0.00       0.00          0          0
1796.69/1797.01	c   dins             :       0.00       0.00          0          0
1796.69/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.69/1797.01	c   undercover       :       0.00       0.00          0          0
1796.69/1797.01	c   subnlp           :       0.00       0.00          0          0
1796.69/1797.01	c   trysol           :       0.00       0.00          0          0
1796.69/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.69/1797.01	c   primal LP        :       0.01          1          0       0.00       0.00       0.01          1
1796.69/1797.01	c   dual LP          :     952.87       4359    1708923     392.49    1793.45       0.03          5
1796.69/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.69/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.69/1797.01	c   diving/probing LP:       0.00          0          0       0.00          -
1796.69/1797.01	c   strong branching :     764.05       2257     986421     437.05    1291.04
1796.69/1797.01	c     (at root node) :          -         33      31744     961.94          -
1796.69/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.01	c B&B Tree           :
1796.69/1797.01	c   number of runs   :          1
1796.69/1797.01	c   nodes            :       3021
1796.69/1797.01	c   nodes (total)    :       3021
1796.69/1797.01	c   nodes left       :         95
1796.69/1797.01	c   max depth        :         75
1796.69/1797.01	c   max depth (total):         75
1796.69/1797.01	c   backtracks       :        873 (28.9%)
1796.69/1797.01	c   delayed cutoffs  :       1133
1796.69/1797.01	c   repropagations   :       2704 (583078 domain reductions, 769 cutoffs)
1796.69/1797.01	c   avg switch length:       3.88
1796.69/1797.01	c   switching time   :       6.36
1796.69/1797.01	c Solution           :
1796.69/1797.01	c   Solutions found  :          0 (0 improvements)
1796.69/1797.01	c   Primal Bound     :          -
1796.69/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.69/1797.01	c   Gap              :   infinite
1796.69/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.69/1797.01	c   Root Iterations  :      36934
1796.89/1797.27	c Time complete: 1796.96.

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691679-1338029422/watcher-3691679-1338029422 -o /tmp/evaluation-result-3691679-1338029422/solver-3691679-1338029422 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691679-1338029422.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.03 1.06 1.38 3/174 2936
/proc/meminfo: memFree=28414632/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=13000 CPUtime=0 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 1985 0 0 0 0 0 0 0 20 0 1 0 269068250 13312000 1939 33554432000 4194304 10219143 140735620830560 140734392388184 8844210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 3250 1946 419 1471 0 1770 0

[startup+0.0230139 s]
/proc/loadavg: 1.03 1.06 1.38 3/174 2936
/proc/meminfo: memFree=28414632/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=18872 CPUtime=0.01 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 3461 0 0 0 1 0 0 0 20 0 1 0 269068250 19324928 3415 33554432000 4194304 10219143 140735620830560 140734392388184 5347008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 4718 3415 419 1471 0 3238 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18872

[startup+0.100185 s]
/proc/loadavg: 1.03 1.06 1.38 3/174 2936
/proc/meminfo: memFree=28414632/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=39508 CPUtime=0.08 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 8637 0 0 0 8 0 0 0 20 0 1 0 269068250 40456192 8591 33554432000 4194304 10219143 140735620830560 140734392388184 5541619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 9877 8591 419 1471 0 8397 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39508

[startup+0.300226 s]
/proc/loadavg: 1.03 1.06 1.38 3/174 2936
/proc/meminfo: memFree=28414632/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=111632 CPUtime=0.29 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 26138 0 0 0 26 3 0 0 20 0 1 0 269068250 114311168 26033 33554432000 4194304 10219143 140735620830560 140735620826440 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 27908 26033 566 1471 0 26428 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 111632

[startup+0.700222 s]
/proc/loadavg: 1.03 1.06 1.38 3/174 2936
/proc/meminfo: memFree=28414632/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=151248 CPUtime=0.69 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 35860 0 0 0 62 7 0 0 20 0 1 0 269068250 154877952 35755 33554432000 4194304 10219143 140735620830560 140735620826440 5360536 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 37812 35755 567 1471 0 36332 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 151248

[startup+1.50026 s]
/proc/loadavg: 1.10 1.08 1.39 4/178 2947
/proc/meminfo: memFree=27931908/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=178896 CPUtime=1.49 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 46301 0 0 0 133 16 0 0 20 0 1 0 269068250 183189504 42663 33554432000 4194304 10219143 140735620830560 140735620824072 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 44724 42663 612 1471 0 43244 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178896

[startup+3.10024 s]
/proc/loadavg: 1.10 1.08 1.39 4/178 2947
/proc/meminfo: memFree=27715892/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=251320 CPUtime=3.08 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 62434 0 0 0 278 30 0 0 20 0 1 0 269068250 257351680 60407 33554432000 4194304 10219143 140735620830560 140735620824296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 62830 60407 788 1471 0 61350 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 251320

[startup+6.30015 s]
/proc/loadavg: 1.10 1.08 1.39 4/178 2947
/proc/meminfo: memFree=27527984/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=259296 CPUtime=6.28 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 64660 0 0 0 591 37 0 0 20 0 1 0 269068250 265519104 62486 33554432000 4194304 10219143 140735620830560 140735620823080 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 64824 62486 799 1471 0 63344 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 259296

[startup+12.7002 s]
/proc/loadavg: 1.24 1.11 1.39 4/178 2947
/proc/meminfo: memFree=27406956/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=273108 CPUtime=12.68 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 68263 0 0 0 1228 40 0 0 20 0 1 0 269068250 279662592 66107 33554432000 4194304 10219143 140735620830560 140735620824200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 68277 66107 799 1471 0 66797 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 273108

[startup+25.5002 s]
/proc/loadavg: 1.36 1.14 1.40 4/178 2947
/proc/meminfo: memFree=27046224/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=285128 CPUtime=25.48 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 69741 0 0 0 2504 44 0 0 20 0 1 0 269068250 291971072 69110 33554432000 4194304 10219143 140735620830560 140735620824392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 71282 69110 804 1471 0 69802 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 285128

[startup+51.1002 s]
/proc/loadavg: 1.58 1.20 1.41 4/177 2947
/proc/meminfo: memFree=27028344/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=285128 CPUtime=51.07 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 69768 0 0 0 5059 48 0 0 20 0 1 0 269068250 291971072 69144 33554432000 4194304 10219143 140735620830560 140735620824008 8051337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 71282 69144 804 1471 0 69802 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 285128

[startup+102.306 s]
/proc/loadavg: 1.83 1.33 1.45 4/177 2947
/proc/meminfo: memFree=27024004/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=285128 CPUtime=102.26 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 70281 0 0 0 10168 58 0 0 20 0 1 0 269068250 291971072 69802 33554432000 4194304 10219143 140735620830560 140735620824392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 71282 69802 807 1471 0 69802 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 285128

[startup+162.3 s]
/proc/loadavg: 1.93 1.45 1.48 4/177 2948
/proc/meminfo: memFree=27002068/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=285128 CPUtime=162.25 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 70282 0 0 0 16156 69 0 0 20 0 1 0 269068250 291971072 70093 33554432000 4194304 10219143 140735620830560 140735620824104 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 71282 70093 808 1471 0 69802 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 285128

[startup+222.3 s]
/proc/loadavg: 1.97 1.55 1.51 4/177 2948
/proc/meminfo: memFree=26999920/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=285128 CPUtime=222.24 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 70282 0 0 0 22146 78 0 0 20 0 1 0 269068250 291971072 70093 33554432000 4194304 10219143 140735620830560 140735620823816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 71282 70093 808 1471 0 69802 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 285128

[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.54 4/177 2948
/proc/meminfo: memFree=26986824/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=294628 CPUtime=282.23 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 72240 0 0 0 28132 91 0 0 20 0 1 0 269068250 301699072 72051 33554432000 4194304 10219143 140735620830560 140735620823832 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 73657 72051 814 1471 0 72177 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 294628

[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.56 4/177 2948
/proc/meminfo: memFree=26982024/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=297676 CPUtime=342.23 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 73463 0 0 0 34115 108 0 0 20 0 1 0 269068250 304820224 73274 33554432000 4194304 10219143 140735620830560 140735620823816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 74419 73274 814 1471 0 72939 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 297676

[startup+402.3 s]
/proc/loadavg: 1.99 1.75 1.58 4/177 2948
/proc/meminfo: memFree=26977380/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=302216 CPUtime=402.21 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 74576 0 0 0 40096 125 0 0 20 0 1 0 269068250 309469184 74387 33554432000 4194304 10219143 140735620830560 140735620823864 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 75554 74387 814 1471 0 74074 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 302216

[startup+462.3 s]
/proc/loadavg: 1.99 1.79 1.61 4/177 2949
/proc/meminfo: memFree=26957436/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=312424 CPUtime=462.2 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 76617 0 0 0 46076 144 0 0 20 0 1 0 269068250 319922176 76939 33554432000 4194304 10219143 140735620830560 140735620823912 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 78106 76939 814 1471 0 76626 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 312424

[startup+522.3 s]
/proc/loadavg: 1.99 1.83 1.63 4/177 2949
/proc/meminfo: memFree=26951436/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=315064 CPUtime=522.19 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 77271 0 0 0 52059 160 0 0 20 0 1 0 269068250 322625536 77593 33554432000 4194304 10219143 140735620830560 140735620824104 7956080 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 78766 77593 814 1471 0 77286 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 315064

[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.65 4/178 2952
/proc/meminfo: memFree=26942704/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=320128 CPUtime=582.18 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 78032 0 0 0 58043 175 0 0 20 0 1 0 269068250 327811072 78865 33554432000 4194304 10219143 140735620830560 140735620824200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 80032 78865 814 1471 0 78552 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 320128

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=26917800/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=341252 CPUtime=1122.1 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 113323 0 0 0 111884 326 0 0 20 0 1 0 269068250 349442048 84145 33554432000 4194304 10219143 140735620830560 140735620823816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 85313 84145 814 1471 0 83833 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 341252

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.80 4/178 2980
/proc/meminfo: memFree=26915304/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=342896 CPUtime=1182.09 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 113736 0 0 0 117867 342 0 0 20 0 1 0 269068250 351125504 84558 33554432000 4194304 10219143 140735620830560 140735620824392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 85724 84558 814 1471 0 84244 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 342896

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/177 2980
/proc/meminfo: memFree=26910304/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=348844 CPUtime=1242.08 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 114661 0 0 0 123852 356 0 0 20 0 1 0 269068250 357216256 85994 33554432000 4194304 10219143 140735620830560 140735620824056 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 87211 85994 814 1471 0 85731 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 348844

[startup+1302.3 s]
/proc/loadavg: 2.04 1.99 1.83 4/177 2980
/proc/meminfo: memFree=26909188/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=348844 CPUtime=1302.08 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 114726 0 0 0 129836 372 0 0 20 0 1 0 269068250 357216256 86059 33554432000 4194304 10219143 140735620830560 140735620823080 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 87211 86059 814 1471 0 85731 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 348844

[startup+1362.3 s]
/proc/loadavg: 2.08 2.00 1.84 4/177 2981
/proc/meminfo: memFree=26907140/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=351992 CPUtime=1362.07 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 120707 0 0 0 135818 389 0 0 20 0 1 0 269068250 360439808 86833 33554432000 4194304 10219143 140735620830560 140735620823816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 87998 86833 814 1471 0 86518 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 351992

[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.85 4/177 2981
/proc/meminfo: memFree=26905404/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=353436 CPUtime=1422.06 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 131601 0 0 0 141800 406 0 0 20 0 1 0 269068250 361918464 87192 33554432000 4194304 10219143 140735620830560 140735620823816 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 88359 87192 814 1471 0 86879 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 353436

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.85 4/177 2981
/proc/meminfo: memFree=26902364/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=356892 CPUtime=1482.05 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 135368 0 0 0 147784 421 0 0 20 0 1 0 269068250 365457408 87958 33554432000 4194304 10219143 140735620830560 140735620824008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 89223 87958 814 1471 0 87743 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 356892

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 2981
/proc/meminfo: memFree=26883628/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=356892 CPUtime=1542.03 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 135466 0 0 0 153764 439 0 0 20 0 1 0 269068250 365457408 88056 33554432000 4194304 10219143 140735620830560 140735620824392 8090916 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 89223 88056 814 1471 0 87743 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 356892

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 2981
/proc/meminfo: memFree=26873580/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=359848 CPUtime=1602.03 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 139374 0 0 0 159746 457 0 0 20 0 1 0 269068250 368484352 88796 33554432000 4194304 10219143 140735620830560 140735620824424 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 89962 88796 814 1471 0 88482 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 359848

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/176 2981
/proc/meminfo: memFree=26870240/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=363204 CPUtime=1662.02 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 140212 0 0 0 165729 473 0 0 20 0 1 0 269068250 371920896 89634 33554432000 4194304 10219143 140735620830560 140735620823736 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 90801 89634 814 1471 0 89321 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 363204

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/177 2982
/proc/meminfo: memFree=26856072/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=365188 CPUtime=1722.01 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 170853 0 0 0 171710 491 0 0 20 0 1 0 269068250 373952512 90130 33554432000 4194304 10219143 140735620830560 140735620824056 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91297 90130 814 1471 0 89817 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 365188

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 2985
/proc/meminfo: memFree=26854644/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366060 CPUtime=1782 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179111 0 0 0 177691 509 0 0 20 0 1 0 269068250 374845440 90348 33554432000 4194304 10219143 140735620830560 140735620823816 8015476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91515 90348 814 1471 0 90035 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 366060

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855340/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366060 CPUtime=1785.19 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179111 0 0 0 178009 510 0 0 20 0 1 0 269068250 374845440 90348 33554432000 4194304 10219143 140735620830560 140735620823816 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91515 90348 814 1471 0 90035 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 366060

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855272/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366360 CPUtime=1791.6 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179186 0 0 0 178648 512 0 0 20 0 1 0 269068250 375152640 90423 33554432000 4194304 10219143 140735620830560 140735620824392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91590 90423 814 1471 0 90110 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 366360

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855536/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366360 CPUtime=1794.79 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179186 0 0 0 178967 512 0 0 20 0 1 0 269068250 375152640 90423 33554432000 4194304 10219143 140735620830560 140735620824232 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91590 90423 814 1471 0 90110 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 366360

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855536/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366360 CPUtime=1795.59 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179186 0 0 0 179046 513 0 0 20 0 1 0 269068250 375152640 90423 33554432000 4194304 10219143 140735620830560 140735620824200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91590 90423 814 1471 0 90110 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 366360

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855660/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366360 CPUtime=1796.39 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179186 0 0 0 179126 513 0 0 20 0 1 0 269068250 375152640 90423 33554432000 4194304 10219143 140735620830560 140735620823912 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91590 90423 814 1471 0 90110 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 366360

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855660/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=366360 CPUtime=1796.79 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179193 0 0 0 179166 513 0 0 20 0 1 0 269068250 375152640 90430 33554432000 4194304 10219143 140735620830560 140735620823912 5123850 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91590 90430 821 1471 0 90110 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 366360

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 2985
/proc/meminfo: memFree=26855660/32873648 swapFree=6864/6864
[pid=2936] ppid=2934 vsize=365592 CPUtime=1796.89 cores=0,2,4,6
/proc/2936/stat : 2936 (scip-2.1.1.4exp) R 2934 2936 1798 0 -1 4202496 179195 0 0 0 179176 513 0 0 20 0 1 0 269068250 374366208 90244 33554432000 4194304 10219143 140735620830560 140735620829944 5948203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2936/statm: 91398 90244 823 1471 0 89918 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 365592

Child status: 0
Real time (s): 1797.28
CPU time (s): 1796.98
CPU user time (s): 1791.83
CPU system time (s): 5.14722
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 368572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.83
system time used= 5.14722
maximum resident set size= 363724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179208
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= 53
involuntary context switches= 1848

runsolver used 2.70359 second user time and 7.10592 second system time

The end

Launcher Data

Begin job on node120 at 2012-05-26 12:50:23
IDJOB=3691679
IDBENCH=1493
IDSOLVER=2271
FILE ID=node120/3691679-1338029422
RUNJOBID= node120-1338029422-2918
PBS_JOBID= 14624351
Free space on /tmp= 71620 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691679-1338029422/watcher-3691679-1338029422 -o /tmp/evaluation-result-3691679-1338029422/solver-3691679-1338029422 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691679-1338029422.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 631c705feb60dcd8a1b144825a73a754
RANDOM SEED=636013650

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28416020 kB
Buffers:          218796 kB
Cached:          3457188 kB
SwapCached:          492 kB
Active:           610552 kB
Inactive:        3081012 kB
Active(anon):       6136 kB
Inactive(anon):    12388 kB
Active(file):     604416 kB
Inactive(file):  3068624 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:             22112 kB
Writeback:             0 kB
AnonPages:         20220 kB
Mapped:            12584 kB
Shmem:               120 kB
Slab:             629188 kB
SReclaimable:      73820 kB
SUnreclaim:       555368 kB
KernelStack:        1392 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     107704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71584 MiB
End job on node120 at 2012-05-26 13:20:20

Name	normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
MD5SUM	631c705feb60dcd8a1b144825a73a754
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	2.68759
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	18069
Total number of constraints	52475
Number of constraints which are clauses	51555
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	920
Minimum length of a constraint	1
Maximum length of a constraint	11
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	39
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	132
Number of bits of the biggest sum of numbers	8
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 3691679

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data