0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486299-1307793618.opb>
1.19/1.22 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234464 constraints
1.19/1.22 c problem read
1.19/1.22 c presolving settings loaded
1.89/1.98 c presolving:
9.49/9.50 c (round 1) 4472 del vars, 13310 del conss, 0 add conss, 3093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16053708 impls, 0 clqs
13.20/13.27 c (round 2) 10509 del vars, 35638 del conss, 0 add conss, 8780 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16079537 impls, 0 clqs
14.39/14.48 c (round 3) 12671 del vars, 45320 del conss, 0 add conss, 10059 chg bounds, 66 chg sides, 31 chg coeffs, 0 upgd conss, 16093246 impls, 0 clqs
15.09/15.17 c (round 4) 13691 del vars, 49363 del conss, 0 add conss, 10748 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16099378 impls, 0 clqs
15.49/15.54 c (round 5) 14222 del vars, 51574 del conss, 0 add conss, 11082 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16101685 impls, 0 clqs
15.69/15.71 c (round 6) 14511 del vars, 52717 del conss, 0 add conss, 11210 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16104408 impls, 0 clqs
15.79/15.86 c (round 7) 14651 del vars, 53342 del conss, 0 add conss, 11308 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16105466 impls, 0 clqs
15.89/15.97 c (round 8) 14735 del vars, 53702 del conss, 0 add conss, 11366 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106000 impls, 0 clqs
15.99/16.06 c (round 9) 14793 del vars, 53934 del conss, 0 add conss, 11407 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106400 impls, 0 clqs
16.09/16.14 c (round 10) 14841 del vars, 54118 del conss, 0 add conss, 11437 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106862 impls, 0 clqs
16.19/16.22 c (round 11) 14877 del vars, 54273 del conss, 0 add conss, 11459 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107256 impls, 0 clqs
16.19/16.29 c (round 12) 14897 del vars, 54367 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
16.29/16.34 c (round 13) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
16.99/17.01 c (round 14) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 180073 upgd conss, 16107340 impls, 0 clqs
17.39/17.40 c (round 15) 14897 del vars, 54391 del conss, 17 add conss, 11470 chg bounds, 100 chg sides, 203 chg coeffs, 180073 upgd conss, 16110238 impls, 3651 clqs
17.60/17.66 c (round 16) 14897 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 16110586 impls, 3943 clqs
803.91/803.94 c (803.9s) probing: 1000/57945 (1.7%) - 11 fixings, 1 aggregations, 10839532 implications, 0 bound changes
1340.22/1340.28 c (1340.3s) probing: 2000/57945 (3.5%) - 11 fixings, 1 aggregations, 16733604 implications, 0 bound changes
1422.22/1422.21 c (1422.2s) probing: 2153/57945 (3.7%) - 11 fixings, 1 aggregations, 17512170 implications, 0 bound changes
1422.22/1422.21 c (1422.2s) probing aborted: 2000/2000 successive useless probings
1422.22/1422.21 c (round 17) 14909 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1422.72/1422.70 c (round 18) 14909 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 451 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1797.02/1797.09 c (1797.1s) probing: 2567/57945 (4.4%) - 18 fixings, 7 aggregations, 20519045 implications, 0 bound changes
1797.02/1797.09 c (1797.1s) probing aborted: solving stopped
1797.02/1797.09 c (round 19) 14922 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 452 chg coeffs, 180073 upgd conss, 87932352 impls, 4518 clqs
1797.02/1797.09 c presolving (19 rounds):
1797.02/1797.09 c 14922 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1797.02/1797.09 c 87932352 implications, 4518 cliques
1797.02/1797.09 c presolving was interrupted.
1797.02/1797.09 c Presolving Time: 1795.66
1797.02/1797.09 c - non default parameters ----------------------------------------------------------------------
1797.02/1797.09 c # SCIP version 2.0.1.4
1797.02/1797.09 c
1797.02/1797.09 c # frequency for displaying node information lines
1797.02/1797.09 c # [type: int, range: [-1,2147483647], default: 100]
1797.02/1797.09 c display/freq = 10000
1797.02/1797.09 c
1797.02/1797.09 c # maximal time in seconds to run
1797.02/1797.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.02/1797.09 c limits/time = 1797
1797.02/1797.09 c
1797.02/1797.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.02/1797.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.02/1797.09 c limits/memory = 13950
1797.02/1797.09 c
1797.02/1797.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.02/1797.09 c # [type: int, range: [1,2], default: 1]
1797.02/1797.09 c timing/clocktype = 2
1797.02/1797.09 c
1797.02/1797.09 c # belongs reading time to solving time?
1797.02/1797.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.09 c timing/reading = TRUE
1797.02/1797.09 c
1797.02/1797.09 c # should presolving try to simplify inequalities
1797.02/1797.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.09 c constraints/linear/simplifyinequalities = TRUE
1797.02/1797.09 c
1797.02/1797.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.02/1797.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.09 c constraints/indicator/addCouplingCons = TRUE
1797.02/1797.09 c
1797.02/1797.09 c # should presolving try to simplify knapsacks
1797.02/1797.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.09 c constraints/knapsack/simplifyinequalities = TRUE
1797.02/1797.09 c
1797.02/1797.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.02/1797.09 c # [type: int, range: [-1,2147483647], default: -1]
1797.02/1797.09 c separating/rapidlearning/freq = 0
1797.02/1797.09 c
1797.02/1797.09 c -----------------------------------------------------------------------------------------------
1797.02/1797.09 c start solving
1797.12/1797.13 c presolving:
1797.12/1797.13 c presolving (19 rounds):
1797.12/1797.13 c 14922 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1797.12/1797.13 c 87932352 implications, 4518 cliques
1797.12/1797.13 c presolving was interrupted.
1797.12/1797.13 c Presolving Time: 1795.70
1797.12/1797.13 c
1797.12/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.12/1797.13 c Solving Time (sec) : 1797.13
1797.12/1797.13 c Solving Nodes : 0
1797.12/1797.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.12/1797.13 s UNKNOWN
1797.12/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.12/1797.13 c Total Time : 1797.13
1797.12/1797.13 c solving : 1797.13
1797.12/1797.13 c presolving : 1795.70 (included in solving)
1797.12/1797.13 c reading : 1.22 (included in solving)
1797.12/1797.13 c Original Problem :
1797.12/1797.13 c Problem name : HOME/instance-3486299-1307793618.opb
1797.12/1797.13 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.13 c Constraints : 234464 initial, 234464 maximal
1797.12/1797.13 c Presolved Problem :
1797.12/1797.13 c Problem name : t_HOME/instance-3486299-1307793618.opb
1797.12/1797.13 c Variables : 57920 (57920 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.13 c Constraints : 179349 initial, 179349 maximal
1797.12/1797.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.12/1797.13 c trivial : 0.06 1016 0 0 0 0 0 0 0 0
1797.12/1797.13 c dualfix : 0.10 120 0 0 0 0 0 0 0 0
1797.12/1797.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c implics : 0.79 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c probing : 1778.44 18 7 0 0 0 0 0 0 0
1797.12/1797.13 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c knapsack : 0.63 0 0 0 0 0 4 23 33 405
1797.12/1797.13 c setppc : 0.53 0 0 0 0 0 738 0 0 0
1797.12/1797.13 c linear : 14.23 10454 3307 0 11470 0 54391 0 77 47
1797.12/1797.13 c logicor : 0.14 0 0 0 0 0 5 0 0 0
1797.12/1797.13 c root node : - 0 - - 0 - - - - -
1797.12/1797.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.12/1797.13 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c knapsack : 0+ 0 117145 0 0 0 0 6 0 0 0 0
1797.12/1797.13 c setppc : 0+ 0 117139 0 0 0 0 3 0 0 0 0
1797.12/1797.13 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c logicor : 0+ 0 107902 0 0 0 0 4 0 0 0 0
1797.12/1797.13 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.12/1797.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.12/1797.13 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.13 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.13 c knapsack : 6.21 0.00 6.21 0.00 0.00 0.00 0.00
1797.12/1797.13 c setppc : 759.07 0.00 759.07 0.00 0.00 0.00 0.00
1797.12/1797.13 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.13 c logicor : 8.98 0.00 8.98 0.00 0.00 0.00 0.00
1797.12/1797.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.12/1797.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.12/1797.13 c vbounds : 0 0 0 0
1797.12/1797.13 c rootredcost : 0 0 0 0
1797.12/1797.13 c pseudoobj : 0 0 0 0
1797.12/1797.13 c Propagator Timings : TotalTime Propagate Resprop
1797.12/1797.13 c vbounds : 0.04 0.04 0.00
1797.12/1797.13 c rootredcost : 0.02 0.02 0.00
1797.12/1797.13 c pseudoobj : 0.02 0.02 0.00
1797.12/1797.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.12/1797.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.12/1797.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.12/1797.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.12/1797.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.12/1797.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.12/1797.13 c applied globally : - - - 0 0.0 - - -
1797.12/1797.13 c applied locally : - - - 0 0.0 - - -
1797.62/1797.69 c Time complete: 1797.72.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486299-1307793618/watcher-3486299-1307793618 -o /tmp/evaluation-result-3486299-1307793618/solver-3486299-1307793618 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486299-1307793618.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.96 2.02 1.93 2/173 5910
/proc/meminfo: memFree=31432124/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 1568 0 0 0 0 0 0 0 22 0 1 0 890959971 10567680 1523 33554432000 4194304 8979876 140736579650944 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5910/statm: 2580 1527 366 1169 0 1407 0
[startup+0.032272 s]
/proc/loadavg: 1.96 2.02 1.93 2/173 5910
/proc/meminfo: memFree=31432124/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=16492 CPUtime=0.02 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 3139 0 0 0 2 0 0 0 22 0 1 0 890959971 16887808 3094 33554432000 4194304 8979876 140736579650944 18446744073709551615 4445963 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5910/statm: 4123 3094 366 1169 0 2950 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16492
[startup+0.100263 s]
/proc/loadavg: 1.96 2.02 1.93 2/173 5910
/proc/meminfo: memFree=31432124/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 5903 0 0 0 9 0 0 0 22 0 1 0 890959971 28209152 5858 33554432000 4194304 8979876 140736579650944 18446744073709551615 7807857 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5910/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300234 s]
/proc/loadavg: 1.96 2.02 1.93 2/173 5910
/proc/meminfo: memFree=31432124/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=52524 CPUtime=0.29 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 12128 0 0 0 28 1 0 0 23 0 1 0 890959971 53784576 12083 33554432000 4194304 8979876 140736579650944 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5910/statm: 13131 12083 366 1169 0 11958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52524
[startup+0.700165 s]
/proc/loadavg: 1.96 2.02 1.93 2/173 5910
/proc/meminfo: memFree=31432124/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=78608 CPUtime=0.69 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 18615 0 0 0 67 2 0 0 25 0 1 0 890959971 80494592 18570 33554432000 4194304 8979876 140736579650944 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5910/statm: 19652 18570 366 1169 0 18479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78608
[startup+1.50103 s]
/proc/loadavg: 1.96 2.02 1.93 3/179 5920
/proc/meminfo: memFree=31239900/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=271876 CPUtime=1.49 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 66205 0 0 0 142 7 0 0 25 0 1 0 890959971 278401024 66157 33554432000 4194304 8979876 140736579650944 18446744073709551615 4786452 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5910/statm: 67969 66157 441 1169 0 66796 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 271876
[startup+3.10074 s]
/proc/loadavg: 1.96 2.02 1.93 3/179 5920
/proc/meminfo: memFree=30669376/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=501396 CPUtime=3.09 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 132440 0 0 0 295 14 0 0 25 0 1 0 890959971 513429504 122064 33554432000 4194304 8979876 140736579650944 18446744073709551615 4772784 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5910/statm: 125349 122064 494 1169 0 124176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 501396
[startup+6.30017 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 5920
/proc/meminfo: memFree=30157520/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=732272 CPUtime=6.29 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 188895 0 0 0 608 21 0 0 25 0 1 0 890959971 749846528 178519 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5910/statm: 183068 178519 494 1169 0 181895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 732272
[startup+12.701 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 5921
/proc/meminfo: memFree=29732520/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=870832 CPUtime=12.69 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 223210 0 0 0 1244 25 0 0 25 0 1 0 890959971 891731968 211741 33554432000 4194304 8979876 140736579650944 18446744073709551615 6504310 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5910/statm: 217708 211741 504 1169 0 216535 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 870832
[startup+25.5008 s]
/proc/loadavg: 2.10 2.05 1.94 3/179 5921
/proc/meminfo: memFree=29521080/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=988484 CPUtime=25.49 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 269277 0 0 0 2519 30 0 0 25 0 1 0 890959971 1012207616 240239 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5910/statm: 247121 240239 608 1169 0 245948 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 988484
[startup+51.1002 s]
/proc/loadavg: 2.07 2.05 1.94 3/179 5931
/proc/meminfo: memFree=29451520/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1020432 CPUtime=51.09 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 276871 0 0 0 5079 30 0 0 25 0 1 0 890959971 1044922368 247734 33554432000 4194304 8979876 140736579650944 18446744073709551615 6499235 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 255108 247734 608 1169 0 253935 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1020432
[startup+102.307 s]
/proc/loadavg: 2.07 2.05 1.95 3/179 5932
/proc/meminfo: memFree=29343288/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1080028 CPUtime=102.3 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 291477 0 0 0 10198 32 0 0 25 0 1 0 890959971 1105948672 262340 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 270007 262340 608 1169 0 268834 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1080028
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/179 5934
/proc/meminfo: memFree=29096124/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1215500 CPUtime=162.3 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 324966 0 0 0 16194 36 0 0 25 0 1 0 890959971 1244672000 295829 33554432000 4194304 8979876 140736579650944 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 303875 295829 608 1169 0 302702 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1215500
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/179 5935
/proc/meminfo: memFree=28926592/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1292672 CPUtime=222.29 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 344505 0 0 0 22191 38 0 0 25 0 1 0 890959971 1323696128 315368 33554432000 4194304 8979876 140736579650944 18446744073709551615 4347916 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 323168 315368 608 1169 0 321995 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1292672
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 5940
/proc/meminfo: memFree=28745208/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1404268 CPUtime=282.29 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 372344 0 0 0 28189 40 0 0 25 0 1 0 890959971 1437970432 342679 33554432000 4194304 8979876 140736579650944 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 351067 342679 608 1169 0 349894 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1404268
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 5941
/proc/meminfo: memFree=28415400/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1577732 CPUtime=342.29 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 415898 0 0 0 34184 45 0 0 25 0 1 0 890959971 1615597568 386002 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 394433 386002 608 1169 0 393260 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1577732
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 1.95 3/179 5943
/proc/meminfo: memFree=28179028/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1698516 CPUtime=402.3 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 446111 0 0 0 40182 48 0 0 25 0 1 0 890959971 1739280384 416215 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 424629 416215 608 1169 0 423456 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1698516
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 5945
/proc/meminfo: memFree=28003904/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1788048 CPUtime=462.3 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 468212 0 0 0 46180 50 0 0 25 0 1 0 890959971 1830961152 438316 33554432000 4194304 8979876 140736579650944 18446744073709551615 4460216 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 447012 438316 608 1169 0 445839 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1788048
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/179 5946
/proc/meminfo: memFree=27817884/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1869436 CPUtime=522.3 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 488550 0 0 0 52177 53 0 0 25 0 1 0 890959971 1914302464 458654 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 467359 458654 608 1169 0 466186 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1869436
[startup+582.301 s]
/proc/loadavg: 2.09 2.04 1.97 3/179 5948
/proc/meminfo: memFree=27672024/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=1941240 CPUtime=582.3 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 506448 0 0 0 58175 55 0 0 25 0 1 0 890959971 1987829760 476552 33554432000 4194304 8979876 140736579650944 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 485310 476552 608 1169 0 484137 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1941240
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26325240/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2630964 CPUtime=1122.31 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 677573 0 0 0 112149 82 0 0 25 0 1 0 890959971 2694107136 647512 33554432000 4194304 8979876 140736579650944 18446744073709551615 4329912 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 657741 647512 613 1169 0 656568 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2630964
[startup+1182.3 s]
/proc/loadavg: 2.12 2.06 1.99 3/179 5964
/proc/meminfo: memFree=26239160/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2677204 CPUtime=1182.31 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 689280 0 0 0 118148 83 0 0 25 0 1 0 890959971 2741456896 659219 33554432000 4194304 8979876 140736579650944 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 669301 659219 613 1169 0 668128 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2677204
[startup+1242.3 s]
/proc/loadavg: 2.19 2.08 2.00 3/179 5965
/proc/meminfo: memFree=26113012/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2726948 CPUtime=1242.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 701862 0 0 0 124146 86 0 0 25 0 1 0 890959971 2792394752 671801 33554432000 4194304 8979876 140736579650944 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 681737 671801 613 1169 0 680564 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2726948
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/179 5967
/proc/meminfo: memFree=26037216/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2767696 CPUtime=1302.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 712147 0 0 0 130145 87 0 0 25 0 1 0 890959971 2834120704 682086 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 691924 682086 613 1169 0 690751 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2767696
[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 5969
/proc/meminfo: memFree=25944296/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2807524 CPUtime=1362.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 722080 0 0 0 136143 89 0 0 25 0 1 0 890959971 2874904576 692019 33554432000 4194304 8979876 140736579650944 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 701881 692019 613 1169 0 700708 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2807524
[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 5970
/proc/meminfo: memFree=25869228/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2852748 CPUtime=1422.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 732860 0 0 0 142142 90 0 0 25 0 1 0 890959971 2921213952 702799 33554432000 4194304 8979876 140736579650944 18446744073709551615 5221130 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 713187 702799 613 1169 0 712014 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2852748
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 5972
/proc/meminfo: memFree=25496676/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2917756 CPUtime=1482.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 749117 0 0 0 148140 92 0 0 25 0 1 0 890959971 2987782144 719056 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 729439 719056 613 1169 0 728266 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2917756
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5973
/proc/meminfo: memFree=25441704/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2961700 CPUtime=1542.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 759761 0 0 0 154138 94 0 0 25 0 1 0 890959971 3032780800 729700 33554432000 4194304 8979876 140736579650944 18446744073709551615 6492579 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 740425 729700 613 1169 0 739252 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2961700
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 5975
/proc/meminfo: memFree=25399380/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2999076 CPUtime=1602.33 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 768798 0 0 0 160138 95 0 0 25 0 1 0 890959971 3071053824 738737 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 749769 738737 613 1169 0 748596 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2999076
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5977
/proc/meminfo: memFree=25347636/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3034360 CPUtime=1662.33 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 778069 0 0 0 166137 96 0 0 25 0 1 0 890959971 3107184640 748008 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 758590 748008 613 1169 0 757417 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3034360
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 5978
/proc/meminfo: memFree=25227444/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3156236 CPUtime=1722.32 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 808061 0 0 0 172132 100 0 0 25 0 1 0 890959971 3231985664 778000 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 789059 778000 613 1169 0 787886 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3156236
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25131308/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3210160 CPUtime=1782.33 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 821473 0 0 0 178130 103 0 0 25 0 1 0 890959971 3287203840 791412 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 802540 791412 613 1169 0 801367 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3210160
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25130068/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3210160 CPUtime=1785.53 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 821616 0 0 0 178450 103 0 0 25 0 1 0 890959971 3287203840 791555 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503328 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 802540 791555 613 1169 0 801367 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3210160
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25126092/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3214240 CPUtime=1791.93 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 822584 0 0 0 179090 103 0 0 25 0 1 0 890959971 3291381760 792523 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 803560 792523 613 1169 0 802387 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 3214240
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25123860/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3216280 CPUtime=1795.13 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 823126 0 0 0 179410 103 0 0 25 0 1 0 890959971 3293470720 793065 33554432000 4194304 8979876 140736579650944 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 804070 793065 613 1169 0 802897 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 3216280
[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25123240/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3219348 CPUtime=1796.72 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 823726 0 0 0 179569 103 0 0 25 0 1 0 890959971 3296612352 793665 33554432000 4194304 8979876 140736579650944 18446744073709551615 4222938 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 804837 793665 613 1169 0 803664 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 3219348
[startup+1797.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25123240/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=3222416 CPUtime=1797.12 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 824459 0 0 0 179609 103 0 0 25 0 1 0 890959971 3299753984 794398 33554432000 4194304 8979876 140736579650944 18446744073709551615 4454553 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/5910/statm: 805604 794398 615 1169 0 804431 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 3222416
[startup+1797.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25126952/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2947564 CPUtime=1797.52 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 825079 0 0 0 179648 104 0 0 25 0 1 0 890959971 3018305536 725983 33554432000 4194304 8979876 140736579650944 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5910/statm: 736792 725884 624 1169 0 735619 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 2947564
[startup+1797.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5980
/proc/meminfo: memFree=25126952/32951124 swapFree=67063272/67111528
[pid=5910] ppid=5908 vsize=2603044 CPUtime=1797.62 cores=1,3,5,7
/proc/5910/stat : 5910 (scip-2.0.1.4_2.) R 5908 5910 5873 0 -1 4202496 825095 0 0 0 179656 106 0 0 25 0 1 0 890959971 2665517056 641489 33554432000 4194304 8979876 140736579650944 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5910/statm: 650505 641205 640 1169 0 649332 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 2603044
Child status: 0
Real time (s): 1797.7
CPU time (s): 1797.73
CPU user time (s): 1796.57
CPU system time (s): 1.16082
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3222416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.57
system time used= 1.16082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825100
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= 5
involuntary context switches= 1273
runsolver used 2.93955 second user time and 6.44702 second system time
The end