0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1870056-1245188488.opb>
0.00/0.01 c original problem has 216 variables (216 bin, 0 int, 0 impl, 0 cont) and 153 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 4 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 20 chg coeffs, 0 upgd conss, 744 impls, 0 clqs
0.00/0.02 c (round 2) 4 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 20 chg coeffs, 5 upgd conss, 766 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 154/212 (72.6%) - 0 fixings, 0 aggregations, 33 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 4 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 20 changed coefficients
0.00/0.03 c 832 implications, 0 cliques
0.00/0.03 c presolved problem has 212 variables (212 bin, 0 int, 0 impl, 0 cont) and 153 constraints
0.00/0.03 c 144 constraints of type <and>
0.00/0.03 c 4 constraints of type <linear>
0.00/0.03 c 5 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c OPT-NLC
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 9 | 922k| 0 | 4 | 212 | 153 | 153 | 212 | 296 | 0 | 0 | 0 | 2.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 162 | 938k| 0 | 12 | 212 | 153 | 153 | 212 | 301 | 5 | 0 | 0 | 2.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 184 | 950k| 0 | 27 | 212 | 153 | 153 | 212 | 308 | 12 | 0 | 0 | 2.000000e+00 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 208 | 973k| 0 | 42 | 212 | 153 | 153 | 212 | 320 | 24 | 0 | 0 | 2.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 234 | 982k| 0 | 47 | 212 | 153 | 153 | 212 | 333 | 37 | 0 | 0 | 2.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 247 |1001k| 0 | 47 | 212 | 153 | 153 | 212 | 342 | 46 | 0 | 0 | 2.000000e+00 | -- | Inf
0.18/0.21 c 0.2s| 1 | 0 | 275 |1018k| 0 | 54 | 212 | 153 | 153 | 212 | 350 | 54 | 0 | 0 | 2.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 2 | 275 |1018k| 0 | 54 | 212 | 153 | 153 | 212 | 350 | 54 | 0 | 28 | 2.000000e+00 | -- | Inf
1.99/2.02 o 5
1.99/2.02 c * 1.9s| 458 | 98 | 4696 |1406k| 37 | - | 212 | 556 | 20 | 212 | 178 |1206 | 405 |1184 | 2.000000e+00 | 5.000000e+00 | 150.00%
2.59/2.69 o 3
2.59/2.69 c * 2.6s| 836 | 145 | 8557 |1651k| 37 | - | 212 | 982 | 90 | 212 | 158 |2315 | 851 |1396 | 2.000000e+00 | 3.000000e+00 | 50.00%
2.59/2.69 o 2
2.59/2.69 c * 2.6s| 840 | 0 | 8565 |1483k| 37 | - | 212 | 911 | 290 | 212 | 153 |2317 | 851 |1397 | 2.000000e+00 | 2.000000e+00 | 0.00%
2.59/2.69 c
2.59/2.69 c SCIP Status : problem is solved [optimal solution found]
2.59/2.69 c Solving Time (sec) : 2.57
2.59/2.69 c Solving Nodes : 840
2.59/2.69 c Primal Bound : +2.00000000000000e+00 (3 solutions)
2.59/2.69 c Dual Bound : +2.00000000000000e+00
2.59/2.69 c Gap : 0.00 %
2.59/2.69 c NODE 840
2.59/2.69 c DUAL BOUND 2
2.59/2.69 c PRIMAL BOUND 2
2.59/2.69 c GAP 0
2.59/2.69 s OPTIMUM FOUND
2.59/2.69 v -x72 x71 x70 -x69 x68 -x67 x66 -x65 -x64 x63 x62 x61 x48 -x47 x46 x45 x44 -x43 -x60 x59 -x58 x57 -x56 -x55 x42 x41 x40 x39 x38
2.59/2.69 v -x37 -x54 -x53 -x52 -x51 -x50 x49 -x36 x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 -x26 x25 x24 -x23 x22 -x21 -x20 x19 x18 x17 x16
2.59/2.69 v x15 -x14 x13 x12 -x11 x10 -x9 x8 x7 -x6 -x5 -x4 -x3 x2 -x1
2.59/2.69 c SCIP Status : problem is solved [optimal solution found]
2.59/2.69 c Solving Time : 2.57
2.59/2.69 c Original Problem :
2.59/2.69 c Problem name : HOME/instance-1870056-1245188488.opb
2.59/2.69 c Variables : 216 (216 binary, 0 integer, 0 implicit integer, 0 continuous)
2.59/2.69 c Constraints : 153 initial, 153 maximal
2.59/2.69 c Presolved Problem :
2.59/2.69 c Problem name : t_HOME/instance-1870056-1245188488.opb
2.59/2.69 c Variables : 212 (212 binary, 0 integer, 0 implicit integer, 0 continuous)
2.59/2.69 c Constraints : 153 initial, 982 maximal
2.59/2.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
2.59/2.69 c trivial : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c dualfix : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c implics : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c probing : 0.02 0 0 0 0 0 0 0 0
2.59/2.69 c and : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c linear : 0.00 1 3 0 0 0 0 0 20
2.59/2.69 c logicor : 0.00 0 0 0 0 0 0 0 0
2.59/2.69 c root node : - 58 - - 58 - - - -
2.59/2.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
2.59/2.69 c integral : 0 0 0 642 0 3 104 0 0 1202
2.59/2.69 c and : 144 1444 3445 1 0 121 4711 2287 0 0
2.59/2.69 c linear : 4 6 3321 0 0 240 1736 0 0 0
2.59/2.69 c logicor : 5+ 6 1244 3 0 8 375 0 0 0
2.59/2.69 c countsols : 0 0 0 3 0 0 0 0 0 0
2.59/2.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
2.59/2.69 c integral : 1.30 0.00 0.00 1.30 0.00
2.59/2.69 c and : 0.07 0.02 0.05 0.00 0.00
2.59/2.69 c linear : 0.07 0.00 0.07 0.00 0.00
2.59/2.69 c logicor : 0.00 0.00 0.00 0.00 0.00
2.59/2.69 c countsols : 0.00 0.00 0.00 0.00 0.00
2.59/2.69 c Propagators : Time Calls Cutoffs DomReds
2.59/2.69 c rootredcost : 0.00 2 0 5
2.59/2.69 c pseudoobj : 0.00 3130 0 7
2.59/2.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
2.59/2.69 c propagation : 0.02 369 363 2633 24.4 69 18.3 -
2.59/2.69 c infeasible LP : 0.00 7 7 52 23.4 2 14.0 0
2.59/2.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
2.59/2.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
2.59/2.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
2.59/2.69 c applied globally : - - - 849 16.2 - - -
2.59/2.69 c applied locally : - - - 2 32.5 - - -
2.59/2.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
2.59/2.69 c cut pool : 0.00 5 - - 13 - (maximal pool size: 78)
2.59/2.69 c redcost : 0.01 1447 0 13 0 0
2.59/2.69 c impliedbounds : 0.00 6 0 0 22 0
2.59/2.69 c intobj : 0.00 0 0 0 0 0
2.59/2.69 c gomory : 0.05 6 0 0 24 0
2.59/2.69 c strongcg : 0.07 6 0 0 26 0
2.59/2.69 c cmir : 0.01 6 0 0 41 0
2.59/2.69 c flowcover : 0.02 6 0 0 69 0
2.59/2.69 c clique : 0.00 1 0 0 0 0
2.59/2.69 c zerohalf : 0.00 0 0 0 0 0
2.59/2.69 c mcf : 0.00 1 0 0 0 0
2.59/2.69 c Pricers : Time Calls Vars
2.59/2.69 c problem variables: 0.00 0 0
2.59/2.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
2.59/2.69 c relpscost : 1.30 638 3 104 0 0 1202
2.59/2.69 c pscost : 0.00 0 0 0 0 0 0
2.59/2.69 c inference : 0.00 0 0 0 0 0 0
2.59/2.69 c mostinf : 0.00 0 0 0 0 0 0
2.59/2.69 c leastinf : 0.00 0 0 0 0 0 0
2.59/2.69 c fullstrong : 0.00 0 0 0 0 0 0
2.59/2.69 c allfullstrong : 0.00 0 0 0 0 0 0
2.59/2.69 c random : 0.00 0 0 0 0 0 0
2.59/2.69 c Primal Heuristics : Time Calls Found
2.59/2.69 c LP solutions : 0.00 - 3
2.59/2.69 c pseudo solutions : 0.00 - 0
2.59/2.69 c rootsoldiving : 0.00 0 0
2.59/2.69 c linesearchdiving : 0.00 0 0
2.59/2.69 c guideddiving : 0.00 0 0
2.59/2.69 c crossover : 0.00 0 0
2.59/2.69 c oneopt : 0.00 2 0
2.59/2.69 c coefdiving : 0.00 1 0
2.59/2.69 c pscostdiving : 0.00 1 0
2.59/2.69 c fracdiving : 0.00 1 0
2.59/2.69 c veclendiving : 0.00 1 0
2.59/2.69 c feaspump : 0.01 1 0
2.59/2.69 c objpscostdiving : 0.01 1 0
2.59/2.69 c simplerounding : 0.00 0 0
2.59/2.69 c rounding : 0.01 507 0
2.59/2.69 c shifting : 0.08 148 0
2.59/2.69 c intshifting : 0.00 0 0
2.59/2.69 c fixandinfer : 0.00 0 0
2.59/2.69 c intdiving : 0.00 0 0
2.59/2.69 c actconsdiving : 0.00 0 0
2.59/2.69 c octane : 0.00 0 0
2.59/2.69 c rens : 0.02 1 0
2.59/2.69 c rins : 0.00 0 0
2.59/2.69 c localbranching : 0.00 0 0
2.59/2.69 c mutation : 0.00 0 0
2.59/2.69 c dins : 0.00 0 0
2.59/2.69 c LP : Time Calls Iterations Iter/call Iter/sec
2.59/2.69 c primal LP : 0.02 0 0 0.00 0.00
2.59/2.69 c dual LP : 0.65 1507 8370 5.55 12876.92
2.59/2.69 c barrier LP : 0.00 0 0 0.00 -
2.59/2.69 c diving/probing LP: 0.01 21 195 9.29 19500.00
2.59/2.69 c strong branching : 1.29 1397 16939 12.13 13131.01
2.59/2.69 c (at root node) : - 28 1654 59.07 -
2.59/2.69 c conflict analysis: 0.00 0 0 0.00 -
2.59/2.69 c B&B Tree :
2.59/2.69 c number of runs : 1
2.59/2.69 c nodes : 840
2.59/2.69 c nodes (total) : 840
2.59/2.69 c nodes left : 0
2.59/2.69 c max depth : 37
2.59/2.69 c max depth (total): 37
2.59/2.69 c backtracks : 169 (20.1%)
2.59/2.69 c delayed cutoffs : 167
2.59/2.69 c repropagations : 564 (2110 domain reductions, 131 cutoffs)
2.59/2.69 c avg switch length: 3.61
2.59/2.69 c switching time : 0.04
2.59/2.69 c Solution :
2.59/2.69 c Solutions found : 3 (3 improvements)
2.59/2.69 c Primal Bound : +2.00000000000000e+00 (in run 1, after 840 nodes, 2.57 seconds, depth 29, found by <relaxation>)
2.59/2.69 c Dual Bound : +2.00000000000000e+00
2.59/2.69 c Gap : 0.00 %
2.59/2.69 c Root Dual Bound : +2.00000000000000e+00
2.69/2.70 c Time complete: 2.69.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870056-1245188488/watcher-1870056-1245188488 -o /tmp/evaluation-result-1870056-1245188488/solver-1870056-1245188488 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870056-1245188488.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.86 0.94 0.98 3/65 4966
/proc/meminfo: memFree=1885032/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=6100 CPUtime=0
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 545 0 0 0 0 0 0 0 20 0 1 0 4761033 6246400 528 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/4966/statm: 1525 538 325 886 0 635 0
[startup+0.067111 s]
/proc/loadavg: 0.86 0.94 0.98 3/65 4966
/proc/meminfo: memFree=1885032/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=13332 CPUtime=0.05
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 2886 0 0 0 4 1 0 0 20 0 1 0 4761033 13651968 2510 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3333 2510 562 886 0 2443 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13332
[startup+0.101114 s]
/proc/loadavg: 0.86 0.94 0.98 3/65 4966
/proc/meminfo: memFree=1885032/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=13332 CPUtime=0.09
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 2930 0 0 0 8 1 0 0 20 0 1 0 4761033 13651968 2552 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3333 2552 562 886 0 2443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13332
[startup+0.301132 s]
/proc/loadavg: 0.86 0.94 0.98 3/65 4966
/proc/meminfo: memFree=1885032/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=13848 CPUtime=0.29
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4693 0 0 0 27 2 0 0 22 0 1 0 4761033 14180352 2711 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3462 2711 567 886 0 2572 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13848
[startup+0.70117 s]
/proc/loadavg: 0.86 0.94 0.98 3/65 4966
/proc/meminfo: memFree=1885032/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=13848 CPUtime=0.69
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4698 0 0 0 65 4 0 0 25 0 1 0 4761033 14180352 2716 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3462 2716 571 886 0 2572 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13848
[startup+1.50124 s]
/proc/loadavg: 0.86 0.94 0.98 2/66 4967
/proc/meminfo: memFree=1876192/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=13980 CPUtime=1.49
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4724 0 0 0 142 7 0 0 25 0 1 0 4761033 14315520 2741 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3495 2741 571 886 0 2605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13980
Solver just ended. Dumping a history of the last processes samples
[startup+1.60125 s]
/proc/loadavg: 0.86 0.94 0.98 2/66 4967
/proc/meminfo: memFree=1876192/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=14112 CPUtime=1.58
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4738 0 0 0 151 7 0 0 25 0 1 0 4761033 14450688 2755 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3528 2755 571 886 0 2638 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 14112
[startup+2.40133 s]
/proc/loadavg: 0.86 0.94 0.98 2/66 4967
/proc/meminfo: memFree=1875808/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=14380 CPUtime=2.39
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4822 0 0 0 229 10 0 0 25 0 1 0 4761033 14725120 2838 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3595 2838 573 886 0 2705 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 14380
[startup+2.60135 s]
/proc/loadavg: 0.86 0.94 0.98 2/66 4967
/proc/meminfo: memFree=1875808/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=14548 CPUtime=2.59
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4872 0 0 0 248 11 0 0 25 0 1 0 4761033 14897152 2888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4966/statm: 3637 2888 573 886 0 2747 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 14548
[startup+2.70136 s]
/proc/loadavg: 0.86 0.94 0.98 2/66 4967
/proc/meminfo: memFree=1875808/2055920 swapFree=4192956/4192956
[pid=4966] ppid=4964 vsize=14688 CPUtime=2.69
/proc/4966/stat : 4966 (pbscip.linux.x8) R 4964 4966 3324 0 -1 4194304 4889 0 0 0 257 12 0 0 25 0 1 0 4761033 15040512 2905 1992294400 4194304 7823515 548682068736 18446744073709551615 5099785 0 0 4096 0 0 0 0 17 1 0 0
/proc/4966/statm: 3672 2905 575 886 0 2782 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 14688
Child status: 0
Real time (s): 2.70743
CPU time (s): 2.70259
CPU user time (s): 2.57961
CPU system time (s): 0.122981
CPU usage (%): 99.821
Max. virtual memory (cumulated for all children) (KiB): 14688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.57961
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 6
runsolver used 0.007998 second user time and 0.010998 second system time
The end