0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450841-1307082089.opb>
0.03/0.04 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 5250 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.06 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1998 impls, 0 clqs
0.03/0.08 c (round 2) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5232 upgd conss, 1998 impls, 0 clqs
0.03/0.09 c (round 3) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5249 upgd conss, 1998 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (4 rounds):
0.09/0.11 c 1 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 1998 implications, 0 cliques
0.09/0.11 c presolved problem has 1999 variables (1999 bin, 0 int, 0 impl, 0 cont) and 5249 constraints
0.09/0.11 c 999 constraints of type <setppc>
0.09/0.11 c 4250 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.0.1.5
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1800
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
12.29/12.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.37 c 12.4s| 1 | 0 | 19714 | - | 10M| 0 |1984 |1999 |5324 |1999 |5249 | 0 | 75 | 0 | 6.656667e+02 | -- | Inf
96.09/96.18 c 96.2s| 1 | 2 |113677 | - | 10M| 0 |1984 |1999 |5440 |1999 |5249 | 0 | 75 | 19 | 6.656667e+02 | -- | Inf
1800.33/1800.34 c
1800.33/1800.34 c SCIP Status : solving was interrupted [user interrupt]
1800.33/1800.34 c Solving Time (sec) : 1800.34
1800.33/1800.34 c Solving Nodes : 60
1800.33/1800.34 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.33/1800.34 c Dual Bound : +6.72000000000000e+02
1800.33/1800.34 c Gap : infinite
1800.33/1800.34 s UNKNOWN
1800.33/1800.34 c SCIP Status : solving was interrupted [user interrupt]
1800.33/1800.34 c Total Time : 1800.34
1800.33/1800.34 c solving : 1800.34
1800.33/1800.34 c presolving : 0.06 (included in solving)
1800.33/1800.34 c reading : 0.04 (included in solving)
1800.33/1800.34 c Original Problem :
1800.33/1800.34 c Problem name : HOME/instance-3450841-1307082089.opb
1800.33/1800.34 c Variables : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.33/1800.34 c Constraints : 5250 initial, 5250 maximal
1800.33/1800.34 c Presolved Problem :
1800.33/1800.34 c Problem name : t_HOME/instance-3450841-1307082089.opb
1800.33/1800.34 c Variables : 1999 (1999 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.33/1800.34 c Constraints : 5249 initial, 5446 maximal
1800.33/1800.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.33/1800.34 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.33/1800.34 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c linear : 0.02 0 0 0 0 0 1 0 0 0
1800.33/1800.34 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c root node : - 0 - - 0 - - - - -
1800.33/1800.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.33/1800.34 c integral : 0 0 0 60 0 4 0 0 0 0 0 120
1800.33/1800.34 c setppc : 999 1 2101 0 0 3 1856 1 18 0 0 0
1800.33/1800.34 c linear : 0+ 1 1525 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c logicor : 4250+ 1 1273 0 0 1 935 18 8 0 0 0
1800.33/1800.34 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.33/1800.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.33/1800.34 c integral : 373.13 0.00 0.00 373.13 0.00 0.00 0.00
1800.33/1800.34 c setppc : 0.05 0.00 0.05 0.00 0.00 0.00 0.00
1800.33/1800.34 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.33/1800.34 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.33/1800.34 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.33/1800.34 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.33/1800.34 c vbounds : 0 0 0 0
1800.33/1800.34 c rootredcost : 0 0 0 0
1800.33/1800.34 c pseudoobj : 1906 0 0 0
1800.33/1800.34 c Propagator Timings : TotalTime Propagate Resprop
1800.33/1800.34 c vbounds : 0.00 0.00 0.00
1800.33/1800.34 c rootredcost : 0.00 0.00 0.00
1800.33/1800.34 c pseudoobj : 0.04 0.04 0.00
1800.33/1800.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.33/1800.34 c propagation : 0.00 19 19 128 58.9 0 0.0 -
1800.33/1800.34 c infeasible LP : 0.00 2 2 2 19.5 0 0.0 0
1800.33/1800.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.33/1800.34 c applied globally : - - - 81 55.1 - - -
1800.33/1800.34 c applied locally : - - - 0 0.0 - - -
1800.33/1800.34 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.33/1800.34 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.33/1800.34 c redcost : 0.00 60 0 0 0 0
1800.33/1800.34 c impliedbounds : 0.00 1 0 0 0 0
1800.33/1800.34 c intobj : 0.00 0 0 0 0 0
1800.33/1800.34 c gomory : 0.78 1 0 0 0 0
1800.33/1800.34 c cgmip : 0.00 0 0 0 0 0
1800.33/1800.34 c closecuts : 0.00 0 0 0 0 0
1800.33/1800.34 c strongcg : 0.79 1 0 0 0 0
1800.33/1800.34 c cmir : 0.02 1 0 0 0 0
1800.33/1800.34 c flowcover : 0.02 1 0 0 0 0
1800.33/1800.34 c clique : 0.00 1 0 0 0 0
1800.33/1800.34 c zerohalf : 0.00 0 0 0 0 0
1800.33/1800.34 c mcf : 0.00 1 0 0 0 0
1800.33/1800.34 c oddcycle : 0.00 0 0 0 0 0
1800.33/1800.34 c rapidlearning : 0.51 1 0 0 0 116
1800.33/1800.34 c Pricers : Time Calls Vars
1800.33/1800.34 c problem variables: 0.00 0 0
1800.33/1800.34 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.33/1800.34 c relpscost : 373.13 60 0 0 0 0 120
1800.33/1800.34 c pscost : 0.00 0 0 0 0 0 0
1800.33/1800.34 c inference : 0.00 0 0 0 0 0 0
1800.33/1800.34 c mostinf : 0.00 0 0 0 0 0 0
1800.33/1800.34 c leastinf : 0.00 0 0 0 0 0 0
1800.33/1800.34 c fullstrong : 0.00 0 0 0 0 0 0
1800.33/1800.34 c allfullstrong : 0.00 0 0 0 0 0 0
1800.33/1800.34 c random : 0.00 0 0 0 0 0 0
1800.33/1800.34 c Primal Heuristics : Time Calls Found
1800.33/1800.34 c LP solutions : 0.00 - 0
1800.33/1800.34 c pseudo solutions : 0.00 - 0
1800.33/1800.34 c oneopt : 0.00 0 0
1800.33/1800.34 c crossover : 0.00 0 0
1800.33/1800.34 c guideddiving : 0.00 0 0
1800.33/1800.34 c linesearchdiving : 133.46 1 0
1800.33/1800.34 c rootsoldiving : 23.51 1 0
1800.33/1800.34 c coefdiving : 262.71 2 0
1800.33/1800.34 c trivial : 0.00 2 0
1800.33/1800.34 c shiftandpropagate: 0.02 1 0
1800.33/1800.34 c simplerounding : 0.00 0 0
1800.33/1800.34 c zirounding : 0.04 60 0
1800.33/1800.34 c rounding : 0.06 60 0
1800.33/1800.34 c shifting : 0.02 4 0
1800.33/1800.34 c intshifting : 0.00 0 0
1800.33/1800.34 c twoopt : 0.00 0 0
1800.33/1800.34 c fixandinfer : 0.00 0 0
1800.33/1800.34 c feaspump : 68.42 1 0
1800.33/1800.34 c clique : 0.00 0 0
1800.33/1800.34 c pscostdiving : 124.31 2 0
1800.33/1800.34 c fracdiving : 163.31 1 0
1800.33/1800.34 c veclendiving : 132.51 1 0
1800.33/1800.34 c intdiving : 0.00 0 0
1800.33/1800.34 c actconsdiving : 0.00 0 0
1800.33/1800.34 c objpscostdiving : 51.66 2 0
1800.33/1800.34 c octane : 0.00 0 0
1800.33/1800.34 c rens : 0.02 0 0
1800.33/1800.34 c rins : 0.00 0 0
1800.33/1800.34 c localbranching : 0.00 0 0
1800.33/1800.34 c mutation : 0.00 0 0
1800.33/1800.34 c dins : 0.00 0 0
1800.33/1800.34 c vbounds : 0.00 0 0
1800.33/1800.34 c undercover : 0.00 0 0
1800.33/1800.34 c subnlp : 0.00 0 0
1800.33/1800.34 c trysol : 0.00 0 0
1800.33/1800.34 c LP : Time Calls Iterations Iter/call Iter/sec
1800.33/1800.34 c primal LP : 0.00 0 0 0.00 -
1800.33/1800.34 c dual LP : 464.87 60 689455 11490.92 1483.12
1800.33/1800.34 c lex dual LP : 0.00 0 0 0.00 -
1800.33/1800.34 c barrier LP : 0.00 0 0 0.00 -
1800.33/1800.34 c diving/probing LP: 958.98 1163 1866380 1604.80 1946.21
1800.33/1800.34 c strong branching : 373.09 514 513870 999.75 1377.34
1800.33/1800.34 c (at root node) : - 19 19000 1000.00 -
1800.33/1800.34 c conflict analysis: 0.00 0 0 0.00 -
1800.33/1800.34 c B&B Tree :
1800.33/1800.34 c number of runs : 1
1800.33/1800.34 c nodes : 60
1800.33/1800.34 c nodes (total) : 60
1800.33/1800.34 c nodes left : 61
1800.33/1800.34 c max depth : 13
1800.33/1800.34 c max depth (total): 13
1800.33/1800.34 c backtracks : 10 (16.7%)
1800.33/1800.34 c delayed cutoffs : 0
1800.33/1800.34 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.33/1800.34 c avg switch length: 2.43
1800.33/1800.34 c switching time : 0.01
1800.33/1800.34 c Solution :
1800.33/1800.34 c Solutions found : 0 (0 improvements)
1800.33/1800.34 c Primal Bound : -
1800.33/1800.34 c Dual Bound : +6.72000000000000e+02
1800.33/1800.34 c Gap : infinite
1800.33/1800.34 c Root Dual Bound : +6.65666666666668e+02
1800.33/1800.34 c Root Iterations : 113677
1800.33/1800.36 c Time complete: 1800.4.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450841-1307082089/watcher-3450841-1307082089 -o /tmp/evaluation-result-3450841-1307082089/solver-3450841-1307082089 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450841-1307082089.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.08 1.04 1.30 2/535 16344
/proc/meminfo: memFree=29086820/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=14736 CPUtime=0 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 2677 0 0 0 0 0 0 0 25 0 1 0 819806864 15089664 2629 33554432000 4194304 9163163 140736927371504 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16344/statm: 3684 2629 395 1214 0 2466 0
[startup+0.0332149 s]
/proc/loadavg: 1.08 1.04 1.30 2/535 16344
/proc/meminfo: memFree=29086820/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=16624 CPUtime=0.03 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 3142 0 0 0 3 0 0 0 25 0 1 0 819806864 17022976 3094 33554432000 4194304 9163163 140736927371504 18446744073709551615 6137489 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16344/statm: 4156 3094 395 1214 0 2938 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16624
[startup+0.100209 s]
/proc/loadavg: 1.08 1.04 1.30 2/535 16344
/proc/meminfo: memFree=29086820/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=30316 CPUtime=0.09 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 6608 0 0 0 9 0 0 0 25 0 1 0 819806864 31043584 6302 33554432000 4194304 9163163 140736927371504 18446744073709551615 5275715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 7579 6314 532 1214 0 6361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30316
[startup+0.301188 s]
/proc/loadavg: 1.08 1.04 1.30 2/535 16344
/proc/meminfo: memFree=29086820/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=41136 CPUtime=0.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 9557 0 0 0 29 1 0 0 25 0 1 0 819806864 42123264 9091 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 10284 9091 682 1214 0 9066 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 41136
[startup+0.701117 s]
/proc/loadavg: 1.08 1.04 1.30 2/535 16344
/proc/meminfo: memFree=29086820/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=41136 CPUtime=0.69 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 9666 0 0 0 68 1 0 0 25 0 1 0 819806864 42123264 9163 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 10284 9163 645 1214 0 9066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41136
[startup+1.50096 s]
/proc/loadavg: 1.08 1.04 1.30 3/536 16345
/proc/meminfo: memFree=29043200/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=41136 CPUtime=1.49 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 9668 0 0 0 148 1 0 0 25 0 1 0 819806864 42123264 9165 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 10284 9165 645 1214 0 9066 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41136
[startup+3.10068 s]
/proc/loadavg: 1.08 1.04 1.30 3/536 16345
/proc/meminfo: memFree=29037900/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=41136 CPUtime=3.09 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 9671 0 0 0 307 2 0 0 25 0 1 0 819806864 42123264 9168 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 10284 9168 645 1214 0 9066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41136
[startup+6.30112 s]
/proc/loadavg: 1.15 1.06 1.31 3/536 16345
/proc/meminfo: memFree=29036784/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=43720 CPUtime=6.29 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 10404 0 0 0 626 3 0 0 25 0 1 0 819806864 44769280 9724 33554432000 4194304 9163163 140736927371504 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 10930 9724 648 1214 0 9712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43720
[startup+12.701 s]
/proc/loadavg: 1.22 1.07 1.31 3/536 16400
/proc/meminfo: memFree=29055932/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=45108 CPUtime=12.7 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 14046 0 0 0 1266 4 0 0 25 0 1 0 819806864 46190592 9967 33554432000 4194304 9163163 140736927371504 18446744073709551615 7359014 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 11277 9967 668 1214 0 10059 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45108
[startup+25.5007 s]
/proc/loadavg: 1.39 1.12 1.32 3/536 16400
/proc/meminfo: memFree=29056088/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=47164 CPUtime=25.49 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 14936 0 0 0 2543 6 0 0 25 0 1 0 819806864 48295936 10850 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 11791 10850 661 1214 0 10573 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47164
[startup+51.1002 s]
/proc/loadavg: 1.75 1.22 1.35 3/536 16455
/proc/meminfo: memFree=29014796/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=49644 CPUtime=51.1 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 15058 0 0 0 5097 13 0 0 25 0 1 0 819806864 50835456 10972 33554432000 4194304 9163163 140736927371504 18446744073709551615 7318975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 12411 10972 661 1214 0 11193 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 49644
[startup+102.32 s]
/proc/loadavg: 1.97 1.36 1.38 3/536 16456
/proc/meminfo: memFree=28992840/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=102.31 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22063 0 0 0 10205 26 0 0 25 0 1 0 819806864 72966144 16622 33554432000 4194304 9163163 140736927371504 18446744073709551615 7390669 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16622 714 1214 0 16596 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 71256
[startup+162.301 s]
/proc/loadavg: 1.99 1.47 1.42 3/536 16458
/proc/meminfo: memFree=28990996/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=162.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 16191 39 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 71256
[startup+222.301 s]
/proc/loadavg: 1.99 1.56 1.45 3/536 16459
/proc/meminfo: memFree=28989856/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=222.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 22176 54 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 7390669 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 71256
[startup+282.301 s]
/proc/loadavg: 1.99 1.64 1.48 3/536 16461
/proc/meminfo: memFree=28991064/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=282.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 28163 67 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 71256
[startup+342.301 s]
/proc/loadavg: 1.99 1.70 1.51 3/536 16462
/proc/meminfo: memFree=28990432/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=342.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 34151 79 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71256
[startup+402.301 s]
/proc/loadavg: 2.07 1.78 1.55 3/536 16464
/proc/meminfo: memFree=28990164/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=402.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 40136 94 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 7348188 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 71256
[startup+462.301 s]
/proc/loadavg: 2.09 1.85 1.59 3/536 16466
/proc/meminfo: memFree=28989512/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=462.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 46125 105 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 7346248 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 71256
[startup+522.3 s]
/proc/loadavg: 2.03 1.87 1.61 3/536 16467
/proc/meminfo: memFree=28990348/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=522.3 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 52112 118 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 71256
[startup+582.301 s]
/proc/loadavg: 2.01 1.89 1.63 3/536 16469
/proc/meminfo: memFree=28989712/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=582.31 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22064 0 0 0 58095 136 0 0 25 0 1 0 819806864 72966144 16623 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16623 714 1214 0 16596 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 71256
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.75 3/536 16478
/proc/meminfo: memFree=28986684/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=942.32 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22065 0 0 0 94000 232 0 0 25 0 1 0 819806864 72966144 16624 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16624 715 1214 0 16596 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 71256
[startup+1002.3 s]
/proc/loadavg: 2.10 2.02 1.78 3/536 16480
/proc/meminfo: memFree=28987776/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1002.31 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22065 0 0 0 99987 244 0 0 25 0 1 0 819806864 72966144 16624 33554432000 4194304 9163163 140736927371504 18446744073709551615 7370491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16624 715 1214 0 16596 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 71256
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.79 3/536 16482
/proc/meminfo: memFree=28984652/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1062.31 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 105969 262 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7348188 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 71256
[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 1.80 3/536 16483
/proc/meminfo: memFree=28983636/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1122.31 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 111957 274 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 71256
[startup+1182.3 s]
/proc/loadavg: 2.13 2.05 1.83 3/536 16485
/proc/meminfo: memFree=28982624/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1182.32 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 117942 290 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 71256
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 1.84 3/536 16486
/proc/meminfo: memFree=28982232/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1242.32 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 123920 312 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 71256
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 1.84 3/536 16488
/proc/meminfo: memFree=28981720/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1302.33 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 129903 330 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 71256
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.85 3/536 16490
/proc/meminfo: memFree=28982440/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1362.32 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 135885 347 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7348390 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 71256
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.85 3/536 16491
/proc/meminfo: memFree=28983168/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1422.35 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 141871 364 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7376005 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 71256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/536 16493
/proc/meminfo: memFree=28982904/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1482.33 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 147850 383 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 71256
[startup+1542.3 s]
/proc/loadavg: 2.13 2.04 1.88 3/536 16494
/proc/meminfo: memFree=28982884/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1542.33 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 153826 407 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 71256
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 1.89 3/536 16496
/proc/meminfo: memFree=28983968/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1602.33 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 159815 418 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 71256
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 1.89 3/536 16498
/proc/meminfo: memFree=28982952/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1662.33 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 165799 434 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 71256
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/536 16499
/proc/meminfo: memFree=28983172/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1722.34 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 171786 448 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 71256
[startup+1782.3 s]
/proc/loadavg: 2.23 2.08 1.92 3/536 16501
/proc/meminfo: memFree=28981768/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1782.34 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 177772 462 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 71256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.08 1.92 3/536 16501
/proc/meminfo: memFree=28981376/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1800.04 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 179539 465 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7390490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 71256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.16 2.08 1.92 3/536 16501
/proc/meminfo: memFree=28981376/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1800.23 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 179558 465 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 7358024 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 71256
[startup+1800.3 s]
/proc/loadavg: 2.16 2.08 1.92 3/536 16501
/proc/meminfo: memFree=28981376/32951124 swapFree=58212616/67111528
[pid=16344] ppid=16342 vsize=71256 CPUtime=1800.33 cores=0,2,4,6
/proc/16344/stat : 16344 (scip-2.0.1.4b.l) R 16342 16344 13256 0 -1 4202496 22067 0 0 0 179568 465 0 0 25 0 1 0 819806864 72966144 16626 33554432000 4194304 9163163 140736927371504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16344/statm: 17814 16626 717 1214 0 16596 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 71256
Child status: 0
Real time (s): 1800.37
CPU time (s): 1800.41
CPU user time (s): 1795.74
CPU system time (s): 4.66329
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 71256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.75
system time used= 4.66329
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22073
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= 6
involuntary context switches= 2710
runsolver used 10.0315 second user time and 21.2128 second system time
The end