0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704584-1278563519.opb>
3.49/3.54 c [src/scip/reader_opb.c:3100] Warning: there might be <63452> coefficients or weight out of range!
3.49/3.54 c original problem has 65701 variables (65701 bin, 0 int, 0 impl, 0 cont) and 195481 constraints
3.49/3.54 c problem read
3.49/3.54 c presolving settings loaded
4.69/4.74 c presolving:
11.68/11.71 c (8.2s) probing: 101/65700 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
11.68/11.71 c (8.2s) probing aborted: 100/100 successive totally useless probings
13.19/13.20 c (round 1) 1 del vars, 2 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 195479 upgd conss, 260642 impls, 0 clqs
13.19/13.24 c presolving (2 rounds):
13.19/13.24 c 1 deleted vars, 2 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.19/13.24 c 260642 implications, 0 cliques
13.19/13.30 c presolving detected infeasibility
13.19/13.30 c Presolving Time: 9.05
13.19/13.30 c - non default parameters ----------------------------------------------------------------------
13.19/13.30 c # SCIP version 1.2.1.3
13.19/13.30 c
13.19/13.30 c # frequency for displaying node information lines
13.19/13.30 c # [type: int, range: [-1,2147483647], default: 100]
13.19/13.30 c display/freq = 10000
13.19/13.30 c
13.19/13.30 c # maximal time in seconds to run
13.19/13.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.19/13.30 c limits/time = 1786.46
13.19/13.30 c
13.19/13.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.19/13.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.19/13.30 c limits/memory = 1620
13.19/13.30 c
13.19/13.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
13.19/13.30 c # [type: int, range: [1,2], default: 1]
13.19/13.30 c timing/clocktype = 2
13.19/13.30 c
13.19/13.30 c # should presolving try to simplify inequalities
13.19/13.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.19/13.30 c constraints/linear/simplifyinequalities = TRUE
13.19/13.30 c
13.19/13.30 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
13.19/13.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.19/13.30 c constraints/indicator/addCouplingCons = TRUE
13.19/13.30 c
13.19/13.30 c # should presolving try to simplify knapsacks
13.19/13.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.19/13.30 c constraints/knapsack/simplifyinequalities = TRUE
13.19/13.30 c
13.19/13.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.19/13.30 c # [type: int, range: [-1,2147483647], default: -1]
13.19/13.30 c separating/rapidlearning/freq = 0
13.19/13.30 c
13.19/13.30 c -----------------------------------------------------------------------------------------------
13.19/13.30 c start solving
13.19/13.30 c
13.19/13.30 c SCIP Status : problem is solved [infeasible]
13.19/13.30 c Solving Time (sec) : 9.76
13.19/13.30 c Solving Nodes : 0
13.19/13.30 c Primal Bound : +1.00000000000000e+20 (1 solutions)
13.19/13.30 c Dual Bound : -1.00000000000000e+20
13.19/13.30 c Gap : infinite
13.29/13.39 s UNSATISFIABLE
13.29/13.39 c SCIP Status : problem is solved [infeasible]
13.29/13.39 c Solving Time : 9.76
13.29/13.39 c Original Problem :
13.29/13.39 c Problem name : HOME/instance-2704584-1278563519.opb
13.29/13.39 c Variables : 65701 (65701 binary, 0 integer, 0 implicit integer, 0 continuous)
13.29/13.39 c Constraints : 195481 initial, 195481 maximal
13.29/13.39 c Presolved Problem :
13.29/13.39 c Problem name : t_HOME/instance-2704584-1278563519.opb
13.29/13.39 c Variables : 65700 (65700 binary, 0 integer, 0 implicit integer, 0 continuous)
13.29/13.39 c Constraints : 195479 initial, 195479 maximal
13.29/13.39 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
13.29/13.39 c trivial : 0.03 0 0 0 0 0 0 0 0
13.29/13.39 c dualfix : 0.02 0 0 0 0 0 0 0 0
13.29/13.39 c boundshift : 0.00 0 0 0 0 0 0 0 0
13.29/13.39 c inttobinary : 0.00 0 0 0 0 0 0 0 0
13.29/13.39 c implics : 0.01 0 0 0 0 0 0 0 0
13.29/13.39 c probing : 5.88 0 0 0 0 0 0 0 0
13.29/13.39 c knapsack : 0.00 0 0 0 0 0 0 0 0
13.29/13.39 c setppc : 0.00 0 0 0 0 0 0 0 0
13.29/13.39 c linear : 2.29 1 0 0 0 0 2 0 0
13.29/13.39 c logicor : 0.00 0 0 0 0 0 0 0 0
13.29/13.39 c root node : - 0 - - 0 - - - -
13.29/13.39 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
13.29/13.39 c integral : 0 0 0 0 0 0 0 0 0 0
13.29/13.39 c knapsack : 1 0 0 0 0 0 0 0 0 0
13.29/13.39 c setppc : 130319 0 0 0 0 0 0 0 0 0
13.29/13.39 c logicor : 65159 0 0 0 0 0 0 0 0 0
13.29/13.39 c countsols : 0 0 0 0 0 0 0 0 0 0
13.29/13.39 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
13.29/13.39 c integral : 0.00 0.00 0.00 0.00 0.00
13.29/13.39 c knapsack : 0.00 0.00 0.00 0.00 0.00
13.29/13.39 c setppc : 0.00 0.00 0.00 0.00 0.00
13.29/13.39 c logicor : 0.00 0.00 0.00 0.00 0.00
13.29/13.39 c countsols : 0.00 0.00 0.00 0.00 0.00
13.29/13.39 c Propagators : Time Calls Cutoffs DomReds
13.29/13.39 c vbounds : 0.00 1 0 0
13.29/13.39 c rootredcost : 0.00 0 0 0
13.29/13.39 c pseudoobj : 0.00 0 0 0
13.29/13.39 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
13.29/13.39 c propagation : 0.00 0 0 0 0.0 0 0.0 -
13.29/13.39 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
13.29/13.39 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
13.29/13.39 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
13.29/13.39 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
13.29/13.39 c applied globally : - - - 0 0.0 - - -
13.29/13.39 c applied locally : - - - 0 0.0 - - -
13.29/13.39 c Separators : Time Calls Cutoffs DomReds Cuts Conss
13.29/13.39 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
13.29/13.39 c redcost : 0.00 0 0 0 0 0
13.29/13.39 c impliedbounds : 0.00 0 0 0 0 0
13.29/13.39 c intobj : 0.00 0 0 0 0 0
13.29/13.39 c cgmip : 0.00 0 0 0 0 0
13.29/13.39 c gomory : 0.00 0 0 0 0 0
13.29/13.39 c strongcg : 0.00 0 0 0 0 0
13.29/13.39 c cmir : 0.00 0 0 0 0 0
13.29/13.39 c flowcover : 0.00 0 0 0 0 0
13.29/13.39 c clique : 0.00 0 0 0 0 0
13.29/13.39 c zerohalf : 0.00 0 0 0 0 0
13.29/13.39 c mcf : 0.00 0 0 0 0 0
13.29/13.39 c rapidlearning : 0.00 0 0 0 0 0
13.29/13.39 c Pricers : Time Calls Vars
13.29/13.39 c problem variables: 0.00 0 0
13.29/13.39 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
13.29/13.39 c pscost : 0.00 0 0 0 0 0 0
13.29/13.39 c inference : 0.00 0 0 0 0 0 0
13.29/13.39 c mostinf : 0.00 0 0 0 0 0 0
13.29/13.39 c leastinf : 0.00 0 0 0 0 0 0
13.29/13.39 c fullstrong : 0.00 0 0 0 0 0 0
13.29/13.39 c allfullstrong : 0.00 0 0 0 0 0 0
13.29/13.39 c random : 0.00 0 0 0 0 0 0
13.29/13.39 c relpscost : 0.00 0 0 0 0 0 0
13.29/13.39 c Primal Heuristics : Time Calls Found
13.29/13.39 c LP solutions : 0.00 - 0
13.29/13.40 c pseudo solutions : 0.00 - 0
13.29/13.40 c trivial : 0.28 1 1
13.29/13.40 c simplerounding : 0.00 0 0
13.29/13.40 c zirounding : 0.00 0 0
13.29/13.40 c rounding : 0.00 0 0
13.29/13.40 c shifting : 0.00 0 0
13.29/13.40 c intshifting : 0.00 0 0
13.29/13.40 c oneopt : 0.00 0 0
13.29/13.40 c twoopt : 0.00 0 0
13.29/13.40 c fixandinfer : 0.00 0 0
13.29/13.40 c feaspump : 0.00 0 0
13.29/13.40 c coefdiving : 0.00 0 0
13.29/13.40 c pscostdiving : 0.00 0 0
13.29/13.40 c fracdiving : 0.00 0 0
13.29/13.40 c veclendiving : 0.00 0 0
13.29/13.40 c intdiving : 0.00 0 0
13.29/13.40 c actconsdiving : 0.00 0 0
13.29/13.40 c objpscostdiving : 0.00 0 0
13.29/13.40 c rootsoldiving : 0.00 0 0
13.29/13.40 c linesearchdiving : 0.00 0 0
13.29/13.40 c guideddiving : 0.00 0 0
13.29/13.40 c octane : 0.00 0 0
13.29/13.40 c rens : 0.00 0 0
13.29/13.40 c rins : 0.00 0 0
13.29/13.40 c localbranching : 0.00 0 0
13.29/13.40 c mutation : 0.00 0 0
13.29/13.40 c crossover : 0.00 0 0
13.29/13.40 c dins : 0.00 0 0
13.29/13.40 c undercover : 0.00 0 0
13.29/13.40 c nlp : 0.00 0 0
13.29/13.40 c trysol : 0.00 0 0
13.29/13.40 c LP : Time Calls Iterations Iter/call Iter/sec
13.29/13.40 c primal LP : 0.00 0 0 0.00 -
13.29/13.40 c dual LP : 0.00 0 0 0.00 -
13.29/13.40 c lex dual LP : 0.00 0 0 0.00 -
13.29/13.40 c barrier LP : 0.00 0 0 0.00 -
13.29/13.40 c diving/probing LP: 0.00 0 0 0.00 -
13.29/13.40 c strong branching : 0.00 0 0 0.00 -
13.29/13.40 c (at root node) : - 0 0 0.00 -
13.29/13.40 c conflict analysis: 0.00 0 0 0.00 -
13.29/13.40 c B&B Tree :
13.29/13.40 c number of runs : 1
13.29/13.40 c nodes : 0
13.29/13.40 c nodes (total) : 0
13.29/13.40 c nodes left : 1
13.29/13.40 c max depth : -1
13.29/13.40 c max depth (total): -1
13.29/13.40 c backtracks : 0 (0.0%)
13.29/13.40 c delayed cutoffs : 0
13.29/13.40 c repropagations : 0 (0 domain reductions, 0 cutoffs)
13.29/13.40 c avg switch length: 0.00
13.29/13.40 c switching time : 0.00
13.29/13.40 c Solution :
13.29/13.40 c Solutions found : 1 (0 improvements)
13.29/13.40 c Primal Bound : unbounded
13.29/13.40 c Dual Bound : -
13.29/13.40 c Gap : infinite
13.29/13.40 c Root Dual Bound : -
13.29/13.40 c Root Iterations : 0
13.98/14.07 c Time complete: 14.06.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704584-1278563519/watcher-2704584-1278563519 -o /tmp/evaluation-result-2704584-1278563519/solver-2704584-1278563519 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704584-1278563519.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: 1.05 1.01 1.00 3/106 29476
/proc/meminfo: memFree=1625352/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=7904 CPUtime=0
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 1075 0 0 0 0 0 0 0 20 0 1 0 24558180 8093696 987 1992294400 4194304 8395647 140734316479136 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 1976 995 365 1026 0 946 0
[startup+0.100049 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 29476
/proc/meminfo: memFree=1625352/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=16284 CPUtime=0.09
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 3347 0 0 0 8 1 0 0 20 0 1 0 24558180 16674816 3259 1992294400 4194304 8395647 140734316479136 18446744073709551615 6014177 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 4071 3259 393 1026 0 3041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16284
[startup+0.20106 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 29476
/proc/meminfo: memFree=1625352/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=20752 CPUtime=0.19
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 4465 0 0 0 18 1 0 0 20 0 1 0 24558180 21250048 4377 1992294400 4194304 8395647 140734316479136 18446744073709551615 5754854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 5188 4377 393 1026 0 4158 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20752
[startup+0.30107 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 29476
/proc/meminfo: memFree=1625352/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=23100 CPUtime=0.29
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 5054 0 0 0 28 1 0 0 20 0 1 0 24558180 23654400 4966 1992294400 4194304 8395647 140734316479136 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 5775 4966 393 1026 0 4745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23100
[startup+0.701115 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 29476
/proc/meminfo: memFree=1625352/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=39656 CPUtime=0.69
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 9219 0 0 0 66 3 0 0 21 0 1 0 24558180 40607744 9131 1992294400 4194304 8395647 140734316479136 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 9914 9131 393 1026 0 8884 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39656
[startup+1.5012 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1575868/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=68396 CPUtime=1.49
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 16368 0 0 0 143 6 0 0 23 0 1 0 24558180 70037504 16280 1992294400 4194304 8395647 140734316479136 18446744073709551615 4327605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 17099 16280 393 1026 0 16069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68396
[startup+3.10138 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1534824/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=125244 CPUtime=3.09
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 30503 0 0 0 298 11 0 0 25 0 1 0 24558180 128249856 30415 1992294400 4194304 8395647 140734316479136 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 31311 30415 399 1026 0 30281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125244
[startup+6.30073 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1295876/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=345744 CPUtime=6.29
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 84128 0 0 0 599 30 0 0 25 0 1 0 24558180 354041856 83593 1992294400 4194304 8395647 140734316479136 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29476/statm: 86436 83593 497 1026 0 85406 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 345744
[startup+12.7004 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1251608/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=442884 CPUtime=12.69
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 115411 0 0 0 1228 41 0 0 25 0 1 0 24558180 453513216 107657 1992294400 4194304 8395647 140734316479136 18446744073709551615 4424082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29476/statm: 110721 107657 495 1026 0 109691 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 442884
Solver just ended. Dumping a history of the last processes samples
[startup+12.8005 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1251608/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=451456 CPUtime=12.79
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 117529 0 0 0 1238 41 0 0 25 0 1 0 24558180 462290944 109775 1992294400 4194304 8395647 140734316479136 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29476/statm: 112864 109775 495 1026 0 111834 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 451456
[startup+13.6005 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1172868/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=465300 CPUtime=13.58
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 121018 0 0 0 1316 42 0 0 25 0 1 0 24558180 476467200 113264 1992294400 4194304 8395647 140734316479136 18446744073709551615 4214668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 116325 113264 523 1026 0 115295 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 465300
[startup+14.0006 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 29477
/proc/meminfo: memFree=1172868/2059040 swapFree=4149284/4192956
[pid=29476] ppid=29474 vsize=396700 CPUtime=13.98
/proc/29476/stat : 29476 (pbscip.linux.x8) R 29474 29476 29200 0 -1 4202496 121018 0 0 0 1355 43 0 0 25 0 1 0 24558180 406220800 96266 1992294400 4194304 8395647 140734316479136 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29476/statm: 99175 96266 523 1026 0 98145 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 396700
Child status: 0
Real time (s): 14.0714
CPU time (s): 14.0679
CPU user time (s): 13.5909
CPU system time (s): 0.476927
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 465300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5909
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 151
runsolver used 0.032994 second user time and 0.065989 second system time
The end