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-2704600-1278563603.opb>
2.39/2.40 c [src/scip/reader_opb.c:3100] Warning: there might be <43562> coefficients or weight out of range!
2.39/2.40 c original problem has 45751 variables (45751 bin, 0 int, 0 impl, 0 cont) and 135901 constraints
2.39/2.40 c problem read
2.39/2.40 c presolving settings loaded
3.20/3.23 c presolving:
8.09/8.13 c (5.7s) probing: 101/45750 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.09/8.13 c (5.7s) probing aborted: 100/100 successive totally useless probings
9.08/9.17 c (round 1) 1 del vars, 2 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 135899 upgd conss, 181202 impls, 0 clqs
9.08/9.19 c presolving (2 rounds):
9.08/9.19 c 1 deleted vars, 2 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
9.08/9.19 c 181202 implications, 0 cliques
9.18/9.24 c presolving detected infeasibility
9.18/9.24 c Presolving Time: 6.34
9.18/9.24 c - non default parameters ----------------------------------------------------------------------
9.18/9.24 c # SCIP version 1.2.1.3
9.18/9.24 c
9.18/9.24 c # frequency for displaying node information lines
9.18/9.24 c # [type: int, range: [-1,2147483647], default: 100]
9.18/9.24 c display/freq = 10000
9.18/9.24 c
9.18/9.24 c # maximal time in seconds to run
9.18/9.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.18/9.24 c limits/time = 1787.6
9.18/9.24 c
9.18/9.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.18/9.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.18/9.24 c limits/memory = 1620
9.18/9.24 c
9.18/9.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
9.18/9.24 c # [type: int, range: [1,2], default: 1]
9.18/9.24 c timing/clocktype = 2
9.18/9.24 c
9.18/9.24 c # should presolving try to simplify inequalities
9.18/9.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.18/9.24 c constraints/linear/simplifyinequalities = TRUE
9.18/9.24 c
9.18/9.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
9.18/9.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.18/9.24 c constraints/indicator/addCouplingCons = TRUE
9.18/9.24 c
9.18/9.24 c # should presolving try to simplify knapsacks
9.18/9.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.18/9.24 c constraints/knapsack/simplifyinequalities = TRUE
9.18/9.24 c
9.18/9.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.18/9.24 c # [type: int, range: [-1,2147483647], default: -1]
9.18/9.24 c separating/rapidlearning/freq = 0
9.18/9.24 c
9.18/9.24 c -----------------------------------------------------------------------------------------------
9.18/9.24 c start solving
9.18/9.24 c
9.18/9.24 c SCIP Status : problem is solved [infeasible]
9.18/9.24 c Solving Time (sec) : 6.83
9.18/9.24 c Solving Nodes : 0
9.18/9.24 c Primal Bound : +1.00000000000000e+20 (1 solutions)
9.18/9.24 c Dual Bound : -1.00000000000000e+20
9.18/9.24 c Gap : infinite
9.28/9.30 s UNSATISFIABLE
9.28/9.30 c SCIP Status : problem is solved [infeasible]
9.28/9.30 c Solving Time : 6.83
9.28/9.30 c Original Problem :
9.28/9.30 c Problem name : HOME/instance-2704600-1278563603.opb
9.28/9.30 c Variables : 45751 (45751 binary, 0 integer, 0 implicit integer, 0 continuous)
9.28/9.30 c Constraints : 135901 initial, 135901 maximal
9.28/9.30 c Presolved Problem :
9.28/9.30 c Problem name : t_HOME/instance-2704600-1278563603.opb
9.28/9.30 c Variables : 45750 (45750 binary, 0 integer, 0 implicit integer, 0 continuous)
9.28/9.30 c Constraints : 135899 initial, 135899 maximal
9.28/9.30 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
9.28/9.30 c trivial : 0.02 0 0 0 0 0 0 0 0
9.28/9.30 c dualfix : 0.02 0 0 0 0 0 0 0 0
9.28/9.30 c boundshift : 0.00 0 0 0 0 0 0 0 0
9.28/9.30 c inttobinary : 0.00 0 0 0 0 0 0 0 0
9.28/9.30 c implics : 0.01 0 0 0 0 0 0 0 0
9.28/9.30 c probing : 4.15 0 0 0 0 0 0 0 0
9.28/9.30 c knapsack : 0.00 0 0 0 0 0 0 0 0
9.28/9.30 c setppc : 0.00 0 0 0 0 0 0 0 0
9.28/9.30 c linear : 1.58 1 0 0 0 0 2 0 0
9.28/9.30 c logicor : 0.00 0 0 0 0 0 0 0 0
9.28/9.30 c root node : - 0 - - 0 - - - -
9.28/9.30 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
9.28/9.30 c integral : 0 0 0 0 0 0 0 0 0 0
9.28/9.30 c knapsack : 1 0 0 0 0 0 0 0 0 0
9.28/9.30 c setppc : 90599 0 0 0 0 0 0 0 0 0
9.28/9.30 c logicor : 45299 0 0 0 0 0 0 0 0 0
9.28/9.30 c countsols : 0 0 0 0 0 0 0 0 0 0
9.28/9.30 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
9.28/9.30 c integral : 0.00 0.00 0.00 0.00 0.00
9.28/9.30 c knapsack : 0.00 0.00 0.00 0.00 0.00
9.28/9.30 c setppc : 0.00 0.00 0.00 0.00 0.00
9.28/9.30 c logicor : 0.00 0.00 0.00 0.00 0.00
9.28/9.30 c countsols : 0.00 0.00 0.00 0.00 0.00
9.28/9.30 c Propagators : Time Calls Cutoffs DomReds
9.28/9.30 c vbounds : 0.00 1 0 0
9.28/9.30 c rootredcost : 0.00 0 0 0
9.28/9.30 c pseudoobj : 0.00 0 0 0
9.28/9.30 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
9.28/9.30 c propagation : 0.00 0 0 0 0.0 0 0.0 -
9.28/9.30 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
9.28/9.30 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
9.28/9.30 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
9.28/9.30 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
9.28/9.30 c applied globally : - - - 0 0.0 - - -
9.28/9.30 c applied locally : - - - 0 0.0 - - -
9.28/9.30 c Separators : Time Calls Cutoffs DomReds Cuts Conss
9.28/9.30 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
9.28/9.30 c redcost : 0.00 0 0 0 0 0
9.28/9.30 c impliedbounds : 0.00 0 0 0 0 0
9.28/9.30 c intobj : 0.00 0 0 0 0 0
9.28/9.30 c cgmip : 0.00 0 0 0 0 0
9.28/9.30 c gomory : 0.00 0 0 0 0 0
9.28/9.30 c strongcg : 0.00 0 0 0 0 0
9.28/9.30 c cmir : 0.00 0 0 0 0 0
9.28/9.30 c flowcover : 0.00 0 0 0 0 0
9.28/9.30 c clique : 0.00 0 0 0 0 0
9.28/9.30 c zerohalf : 0.00 0 0 0 0 0
9.28/9.30 c mcf : 0.00 0 0 0 0 0
9.28/9.30 c rapidlearning : 0.00 0 0 0 0 0
9.28/9.30 c Pricers : Time Calls Vars
9.28/9.30 c problem variables: 0.00 0 0
9.28/9.30 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
9.28/9.30 c pscost : 0.00 0 0 0 0 0 0
9.28/9.30 c inference : 0.00 0 0 0 0 0 0
9.28/9.30 c mostinf : 0.00 0 0 0 0 0 0
9.28/9.30 c leastinf : 0.00 0 0 0 0 0 0
9.28/9.30 c fullstrong : 0.00 0 0 0 0 0 0
9.28/9.30 c allfullstrong : 0.00 0 0 0 0 0 0
9.28/9.30 c random : 0.00 0 0 0 0 0 0
9.28/9.30 c relpscost : 0.00 0 0 0 0 0 0
9.28/9.30 c Primal Heuristics : Time Calls Found
9.28/9.30 c LP solutions : 0.00 - 0
9.28/9.30 c pseudo solutions : 0.00 - 0
9.28/9.30 c trivial : 0.19 1 1
9.28/9.30 c simplerounding : 0.00 0 0
9.28/9.30 c zirounding : 0.00 0 0
9.28/9.30 c rounding : 0.00 0 0
9.28/9.30 c shifting : 0.00 0 0
9.28/9.30 c intshifting : 0.00 0 0
9.28/9.30 c oneopt : 0.00 0 0
9.28/9.30 c twoopt : 0.00 0 0
9.28/9.30 c fixandinfer : 0.00 0 0
9.28/9.30 c feaspump : 0.00 0 0
9.28/9.30 c coefdiving : 0.00 0 0
9.28/9.30 c pscostdiving : 0.00 0 0
9.28/9.30 c fracdiving : 0.00 0 0
9.28/9.30 c veclendiving : 0.00 0 0
9.28/9.30 c intdiving : 0.00 0 0
9.28/9.30 c actconsdiving : 0.00 0 0
9.28/9.30 c objpscostdiving : 0.00 0 0
9.28/9.30 c rootsoldiving : 0.00 0 0
9.28/9.30 c linesearchdiving : 0.00 0 0
9.28/9.30 c guideddiving : 0.00 0 0
9.28/9.30 c octane : 0.00 0 0
9.28/9.30 c rens : 0.00 0 0
9.28/9.30 c rins : 0.00 0 0
9.28/9.30 c localbranching : 0.00 0 0
9.28/9.30 c mutation : 0.00 0 0
9.28/9.30 c crossover : 0.00 0 0
9.28/9.30 c dins : 0.00 0 0
9.28/9.30 c undercover : 0.00 0 0
9.28/9.30 c nlp : 0.00 0 0
9.28/9.30 c trysol : 0.00 0 0
9.28/9.30 c LP : Time Calls Iterations Iter/call Iter/sec
9.28/9.30 c primal LP : 0.00 0 0 0.00 -
9.28/9.30 c dual LP : 0.00 0 0 0.00 -
9.28/9.30 c lex dual LP : 0.00 0 0 0.00 -
9.28/9.30 c barrier LP : 0.00 0 0 0.00 -
9.28/9.30 c diving/probing LP: 0.00 0 0 0.00 -
9.28/9.30 c strong branching : 0.00 0 0 0.00 -
9.28/9.30 c (at root node) : - 0 0 0.00 -
9.28/9.30 c conflict analysis: 0.00 0 0 0.00 -
9.28/9.30 c B&B Tree :
9.28/9.30 c number of runs : 1
9.28/9.30 c nodes : 0
9.28/9.30 c nodes (total) : 0
9.28/9.30 c nodes left : 1
9.28/9.30 c max depth : -1
9.28/9.30 c max depth (total): -1
9.28/9.30 c backtracks : 0 (0.0%)
9.28/9.30 c delayed cutoffs : 0
9.28/9.30 c repropagations : 0 (0 domain reductions, 0 cutoffs)
9.28/9.30 c avg switch length: 0.00
9.28/9.30 c switching time : 0.00
9.28/9.30 c Solution :
9.28/9.30 c Solutions found : 1 (0 improvements)
9.28/9.30 c Primal Bound : unbounded
9.28/9.30 c Dual Bound : -
9.28/9.30 c Gap : infinite
9.28/9.30 c Root Dual Bound : -
9.28/9.30 c Root Iterations : 0
9.69/9.75 c Time complete: 9.74.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704600-1278563603/watcher-2704600-1278563603 -o /tmp/evaluation-result-2704600-1278563603/solver-2704600-1278563603 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704600-1278563603.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 29297
/proc/meminfo: memFree=1849096/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=7904 CPUtime=0
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 24567825 8093696 972 1992294400 4194304 8395647 140733426410240 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 1976 980 365 1026 0 946 0
[startup+0.0740691 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 29297
/proc/meminfo: memFree=1849096/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=13744 CPUtime=0.06
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 2746 0 0 0 6 0 0 0 20 0 1 0 24567825 14073856 2657 1992294400 4194304 8395647 140733426410240 18446744073709551615 4245998 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 3436 2657 393 1026 0 2406 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13744
[startup+0.101071 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 29297
/proc/meminfo: memFree=1849096/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=16280 CPUtime=0.09
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 3363 0 0 0 9 0 0 0 20 0 1 0 24567825 16670720 3274 1992294400 4194304 8395647 140733426410240 18446744073709551615 7277024 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 4070 3274 393 1026 0 3040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16280
[startup+0.301092 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 29297
/proc/meminfo: memFree=1849096/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=23096 CPUtime=0.29
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 5055 0 0 0 28 1 0 0 20 0 1 0 24567825 23650304 4966 1992294400 4194304 8395647 140733426410240 18446744073709551615 6349002 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 5774 4966 393 1026 0 4744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23096
[startup+0.701138 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 29297
/proc/meminfo: memFree=1849096/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=39852 CPUtime=0.69
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 9220 0 0 0 66 3 0 0 21 0 1 0 24567825 40808448 9131 1992294400 4194304 8395647 140733426410240 18446744073709551615 7301554 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 9963 9131 393 1026 0 8933 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39852
[startup+1.50022 s]
/proc/loadavg: 0.92 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1802340/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=69740 CPUtime=1.49
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 16678 0 0 0 143 6 0 0 23 0 1 0 24567825 71413760 16589 1992294400 4194304 8395647 140733426410240 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 17435 16589 393 1026 0 16405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69740
[startup+3.1004 s]
/proc/loadavg: 0.92 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1762660/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=235820 CPUtime=3.09
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 56979 0 0 0 290 19 0 0 25 0 1 0 24567825 241479680 56497 1992294400 4194304 8395647 140733426410240 18446744073709551615 4999779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29297/statm: 58955 56497 445 1026 0 57925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 235820
[startup+6.30075 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1609148/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=251852 CPUtime=6.28
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 61269 0 0 0 608 20 0 0 25 0 1 0 24567825 257896448 60738 1992294400 4194304 8395647 140733426410240 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29297/statm: 62963 60738 502 1026 0 61933 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 251852
Solver just ended. Dumping a history of the last processes samples
[startup+7.90093 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1605056/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=254928 CPUtime=7.89
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 62038 0 0 0 768 21 0 0 25 0 1 0 24567825 261046272 61507 1992294400 4194304 8395647 140733426410240 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29297/statm: 63732 61507 502 1026 0 62702 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 254928
[startup+8.70102 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1550620/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=309044 CPUtime=8.69
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 78902 0 0 0 843 26 0 0 25 0 1 0 24567825 316461056 74939 1992294400 4194304 8395647 140733426410240 18446744073709551615 7385017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29297/statm: 77261 74939 496 1026 0 76231 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 309044
[startup+9.5011 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1550620/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=338000 CPUtime=9.48
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 86050 0 0 0 920 28 0 0 25 0 1 0 24567825 346112000 82087 1992294400 4194304 8395647 140733426410240 18446744073709551615 6345879 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 84500 82087 524 1026 0 83470 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 338000
[startup+9.70113 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 29298
/proc/meminfo: memFree=1550620/2059040 swapFree=4139756/4192956
[pid=29297] ppid=29295 vsize=295052 CPUtime=9.69
/proc/29297/stat : 29297 (pbscip.linux.x8) R 29295 29297 28610 0 -1 4202496 86050 0 0 0 940 29 0 0 25 0 1 0 24567825 302133248 71403 1992294400 4194304 8395647 140733426410240 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29297/statm: 73763 71403 524 1026 0 72733 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 295052
Child status: 0
Real time (s): 9.75513
CPU time (s): 9.75152
CPU user time (s): 9.42357
CPU system time (s): 0.32795
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 338000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.42357
system time used= 0.32795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86058
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= 120
runsolver used 0.026995 second user time and 0.049992 second system time
The end