0.00/0.20 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.20 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.20 c
0.00/0.20 c user parameter file <scip.set> not found - using default parameters
0.00/0.20 c reading problem <HOME/instance-3489785-1307793392.opb>
0.89/1.15 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176035 constraints
0.89/1.15 c problem read
0.89/1.15 c presolving settings loaded
1.19/1.47 c presolving:
6.89/7.19 c (round 1) 2946 del vars, 8504 del conss, 0 add conss, 1919 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12206368 impls, 0 clqs
9.29/9.55 c (round 2) 8019 del vars, 24432 del conss, 0 add conss, 6628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12226918 impls, 0 clqs
9.79/10.02 c (round 3) 9264 del vars, 31552 del conss, 0 add conss, 7216 chg bounds, 43 chg sides, 52 chg coeffs, 0 upgd conss, 12234398 impls, 0 clqs
9.99/10.22 c (round 4) 9702 del vars, 33420 del conss, 0 add conss, 7443 chg bounds, 62 chg sides, 79 chg coeffs, 0 upgd conss, 12236526 impls, 0 clqs
10.09/10.31 c (round 5) 9818 del vars, 33985 del conss, 0 add conss, 7486 chg bounds, 64 chg sides, 80 chg coeffs, 0 upgd conss, 12237271 impls, 0 clqs
10.09/10.38 c (round 6) 9848 del vars, 34169 del conss, 0 add conss, 7510 chg bounds, 66 chg sides, 81 chg coeffs, 0 upgd conss, 12237360 impls, 0 clqs
10.19/10.43 c (round 7) 9870 del vars, 34252 del conss, 0 add conss, 7517 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
10.19/10.47 c (round 8) 9872 del vars, 34282 del conss, 0 add conss, 7519 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
10.70/10.97 c (round 9) 9874 del vars, 34286 del conss, 0 add conss, 7520 chg bounds, 68 chg sides, 82 chg coeffs, 141749 upgd conss, 12237542 impls, 0 clqs
10.99/11.27 c (round 10) 9874 del vars, 34286 del conss, 28 add conss, 7520 chg bounds, 117 chg sides, 316 chg coeffs, 141749 upgd conss, 12239726 impls, 1993 clqs
555.61/555.89 c (555.7s) probing: 1000/44908 (2.2%) - 9 fixings, 1 aggregations, 8227140 implications, 0 bound changes
921.61/921.83 c (921.6s) probing: 2000/44908 (4.5%) - 10 fixings, 1 aggregations, 12574177 implications, 0 bound changes
1293.52/1293.74 c (1293.5s) probing: 3000/44908 (6.7%) - 31 fixings, 1 aggregations, 16467646 implications, 0 bound changes
1604.52/1604.78 c (round 11) 9924 del vars, 34290 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 348 chg coeffs, 141749 upgd conss, 69374954 impls, 2146 clqs
1605.73/1605.99 c (round 12) 9948 del vars, 34955 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 630 chg coeffs, 141749 upgd conss, 69376702 impls, 2146 clqs
1606.02/1606.26 c (round 13) 9948 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 69376732 impls, 2397 clqs
1672.93/1673.13 c (1672.9s) probing: 4000/44908 (8.9%) - 49 fixings, 11 aggregations, 20029273 implications, 0 bound changes
1797.14/1797.33 c (1797.1s) probing: 4262/44908 (9.5%) - 55 fixings, 14 aggregations, 21369795 implications, 0 bound changes
1797.14/1797.33 c (1797.1s) probing aborted: solving stopped
1797.14/1797.34 c (round 14) 9967 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 75080662 impls, 2397 clqs
1797.14/1797.34 c presolving (14 rounds):
1797.14/1797.34 c 9967 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1797.14/1797.34 c 75080662 implications, 2397 cliques
1797.14/1797.34 c presolving was interrupted.
1797.14/1797.34 c Presolving Time: 1795.96
1797.14/1797.34 c - non default parameters ----------------------------------------------------------------------
1797.14/1797.34 c # SCIP version 2.0.1.5
1797.14/1797.34 c
1797.14/1797.34 c # frequency for displaying node information lines
1797.14/1797.34 c # [type: int, range: [-1,2147483647], default: 100]
1797.14/1797.34 c display/freq = 10000
1797.14/1797.34 c
1797.14/1797.34 c # maximal time in seconds to run
1797.14/1797.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.14/1797.34 c limits/time = 1797
1797.14/1797.34 c
1797.14/1797.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.14/1797.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.14/1797.34 c limits/memory = 13950
1797.14/1797.34 c
1797.14/1797.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.14/1797.34 c # [type: int, range: [1,2], default: 1]
1797.14/1797.34 c timing/clocktype = 2
1797.14/1797.34 c
1797.14/1797.34 c # belongs reading time to solving time?
1797.14/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.34 c timing/reading = TRUE
1797.14/1797.34 c
1797.14/1797.34 c # should presolving try to simplify inequalities
1797.14/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.34 c constraints/linear/simplifyinequalities = TRUE
1797.14/1797.34 c
1797.14/1797.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.14/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.34 c constraints/indicator/addCouplingCons = TRUE
1797.14/1797.34 c
1797.14/1797.34 c # should presolving try to simplify knapsacks
1797.14/1797.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.14/1797.34 c constraints/knapsack/simplifyinequalities = TRUE
1797.14/1797.34 c
1797.14/1797.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.14/1797.34 c # [type: int, range: [-1,2147483647], default: -1]
1797.14/1797.34 c separating/rapidlearning/freq = 0
1797.14/1797.34 c
1797.14/1797.34 c -----------------------------------------------------------------------------------------------
1797.14/1797.34 c start solving
1797.14/1797.36 c presolving:
1797.14/1797.36 c presolving (14 rounds):
1797.14/1797.36 c 9967 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1797.14/1797.36 c 75080662 implications, 2397 cliques
1797.14/1797.36 c presolving was interrupted.
1797.14/1797.36 c Presolving Time: 1795.99
1797.14/1797.36 c
1797.14/1797.36 c SCIP Status : solving was interrupted [time limit reached]
1797.14/1797.36 c Solving Time (sec) : 1797.16
1797.14/1797.36 c Solving Nodes : 0
1797.14/1797.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.14/1797.36 s UNKNOWN
1797.14/1797.36 c SCIP Status : solving was interrupted [time limit reached]
1797.14/1797.36 c Total Time : 1797.16
1797.14/1797.36 c solving : 1797.16
1797.14/1797.36 c presolving : 1795.99 (included in solving)
1797.14/1797.36 c reading : 0.94 (included in solving)
1797.14/1797.36 c Original Problem :
1797.14/1797.36 c Problem name : HOME/instance-3489785-1307793392.opb
1797.14/1797.36 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.36 c Constraints : 176035 initial, 176035 maximal
1797.14/1797.36 c Presolved Problem :
1797.14/1797.36 c Problem name : t_HOME/instance-3489785-1307793392.opb
1797.14/1797.36 c Variables : 44815 (44815 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.36 c Constraints : 141086 initial, 141086 maximal
1797.14/1797.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.14/1797.36 c trivial : 0.03 658 0 0 0 0 0 0 0 0
1797.14/1797.36 c dualfix : 0.06 91 0 0 0 0 0 0 0 0
1797.14/1797.36 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.14/1797.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.14/1797.36 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.14/1797.36 c implics : 1.35 0 24 0 0 0 0 0 0 0
1797.14/1797.36 c probing : 1784.09 55 14 0 0 0 0 0 0 0
1797.14/1797.36 c knapsack : 0.68 0 0 0 0 0 4 30 57 554
1797.14/1797.36 c setppc : 0.36 0 0 0 0 0 682 0 0 0
1797.14/1797.36 c linear : 9.07 6862 2263 0 7520 0 34286 0 68 82
1797.14/1797.36 c logicor : 0.10 0 0 0 0 0 7 0 0 0
1797.14/1797.36 c root node : - 0 - - 0 - - - - -
1797.14/1797.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.14/1797.36 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.14/1797.36 c knapsack : 0+ 0 217187 0 0 0 0 11 0 0 0 0
1797.14/1797.36 c setppc : 0+ 0 217176 0 0 0 0 10 0 0 0 0
1797.14/1797.36 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.14/1797.36 c logicor : 0+ 0 197219 0 0 0 0 6 0 0 0 0
1797.14/1797.36 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.14/1797.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.14/1797.36 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.14/1797.36 c knapsack : 11.17 0.00 11.17 0.00 0.00 0.00 0.00
1797.14/1797.36 c setppc : 1061.11 0.00 1061.11 0.00 0.00 0.00 0.00
1797.14/1797.36 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.14/1797.36 c logicor : 7.47 0.00 7.47 0.00 0.00 0.00 0.00
1797.14/1797.36 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.14/1797.36 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.14/1797.36 c vbounds : 0 0 0 0
1797.14/1797.36 c rootredcost : 0 0 0 0
1797.14/1797.36 c pseudoobj : 0 0 0 0
1797.14/1797.36 c Propagator Timings : TotalTime Propagate Resprop
1797.14/1797.36 c vbounds : 0.09 0.09 0.00
1797.14/1797.36 c rootredcost : 0.05 0.05 0.00
1797.14/1797.36 c pseudoobj : 0.03 0.03 0.00
1797.14/1797.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.14/1797.36 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.14/1797.36 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.14/1797.36 c applied globally : - - - 0 0.0 - - -
1797.14/1797.36 c applied locally : - - - 0 0.0 - - -
1797.63/1797.80 c Time complete: 1797.64.
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-3489785-1307793392/watcher-3489785-1307793392 -o /tmp/evaluation-result-3489785-1307793392/solver-3489785-1307793392 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489785-1307793392.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: 2.00 2.00 1.98 3/177 10272
/proc/meminfo: memFree=28668452/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/10272/stat : 10272 (runsolver) S 10270 10272 9011 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 871755398 12087296 51 33554432000 4194304 5436572 140735023985744 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 7 0 0 0
/proc/10272/statm: 2951 51 31 304 0 2643 0
[startup+0.0448221 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 10272
/proc/meminfo: memFree=28668452/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/10272/stat : 10272 (runsolver) S 10270 10272 9011 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 871755398 12087296 51 33554432000 4194304 5436572 140735023985744 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 7 0 0 0
/proc/10272/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100814 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 10272
/proc/meminfo: memFree=28668452/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/10272/stat : 10272 (runsolver) S 10270 10272 9011 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 871755398 12087296 51 33554432000 4194304 5436572 140735023985744 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 7 0 0 0
/proc/10272/statm: 2951 51 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.300782 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 10272
/proc/meminfo: memFree=28668452/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=32260 CPUtime=0.09 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 7064 0 0 0 9 0 0 0 23 0 1 0 871755398 33034240 7019 33554432000 4194304 9016284 140735328310032 18446744073709551615 4595493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10272/statm: 8065 7019 360 1178 0 6883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32260
[startup+0.700716 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 10272
/proc/meminfo: memFree=28668452/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=68312 CPUtime=0.49 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 16042 0 0 0 48 1 0 0 25 0 1 0 871755398 69951488 15997 33554432000 4194304 9016284 140735328310032 18446744073709551615 4578684 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10272/statm: 17078 15997 360 1178 0 15896 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 68312
[startup+1.50057 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10273
/proc/meminfo: memFree=28571500/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=280592 CPUtime=1.29 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 68131 0 0 0 123 6 0 0 25 0 1 0 871755398 287326208 68000 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 70148 68000 474 1178 0 68966 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 280592
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10273
/proc/meminfo: memFree=28326600/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=434272 CPUtime=2.89 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 106393 0 0 0 279 10 0 0 25 0 1 0 871755398 444694528 106262 33554432000 4194304 9016284 140735328310032 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 108568 106262 485 1178 0 107386 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 434272
[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10273
/proc/meminfo: memFree=28092472/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=633248 CPUtime=6.09 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 154297 0 0 0 595 14 0 0 25 0 1 0 871755398 648445952 154166 33554432000 4194304 9016284 140735328310032 18446744073709551615 4919372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 158312 154166 492 1178 0 157130 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 633248
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10274
/proc/meminfo: memFree=27940772/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=742956 CPUtime=12.49 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 187448 0 0 0 1232 17 0 0 25 0 1 0 871755398 760786944 180714 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 185739 180714 564 1178 0 184557 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 742956
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10274
/proc/meminfo: memFree=27851620/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=818492 CPUtime=25.29 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 206000 0 0 0 2510 19 0 0 25 0 1 0 871755398 838135808 199266 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 204623 199266 564 1178 0 203441 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 818492
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10275
/proc/meminfo: memFree=27795612/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=854932 CPUtime=50.89 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 214752 0 0 0 5069 20 0 0 25 0 1 0 871755398 875450368 208018 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 213733 208018 564 1178 0 212551 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 854932
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10276
/proc/meminfo: memFree=27608800/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=977476 CPUtime=102.1 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 244758 0 0 0 10186 24 0 0 25 0 1 0 871755398 1000935424 238024 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 244369 238024 564 1178 0 243187 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 977476
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10278
/proc/meminfo: memFree=27468032/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1073064 CPUtime=162.09 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 268928 0 0 0 16183 26 0 0 25 0 1 0 871755398 1098817536 262194 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 268266 262194 564 1178 0 267084 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 1073064
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10279
/proc/meminfo: memFree=27244300/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1250980 CPUtime=222.09 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 312219 0 0 0 22177 32 0 0 25 0 1 0 871755398 1281003520 305485 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 312745 305485 564 1178 0 311563 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 1250980
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10290
/proc/meminfo: memFree=27025460/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1412760 CPUtime=282.09 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 351766 0 0 0 28172 37 0 0 25 0 1 0 871755398 1446666240 345032 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 353190 345032 564 1178 0 352008 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 1412760
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10291
/proc/meminfo: memFree=26877680/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1487792 CPUtime=342.1 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 370713 0 0 0 34170 40 0 0 25 0 1 0 871755398 1523499008 363979 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 371948 363979 564 1178 0 370766 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 1487792
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10293
/proc/meminfo: memFree=26754008/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1569216 CPUtime=402.1 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 390832 0 0 0 40167 43 0 0 25 0 1 0 871755398 1606877184 384098 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 392304 384098 564 1178 0 391122 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 1569216
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10333
/proc/meminfo: memFree=29336588/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1656368 CPUtime=462.1 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 412717 0 0 0 46165 45 0 0 25 0 1 0 871755398 1696120832 405983 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 414092 405983 564 1178 0 412910 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1656368
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10334
/proc/meminfo: memFree=29062484/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1809776 CPUtime=522.1 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 450469 0 0 0 52158 52 0 0 25 0 1 0 871755398 1853210624 443735 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 452444 443735 564 1178 0 451262 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1809776
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10336
/proc/meminfo: memFree=28915052/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1845392 CPUtime=582.1 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 460160 0 0 0 58157 53 0 0 25 0 1 0 871755398 1889681408 453426 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 461348 453426 569 1178 0 460166 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1845392
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27444956/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2221848 CPUtime=1122.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 553661 0 0 0 112144 68 0 0 25 0 1 0 871755398 2275172352 546927 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 555462 546927 569 1178 0 554280 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2221848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10352
/proc/meminfo: memFree=27361592/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2260164 CPUtime=1182.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 563424 0 0 0 118143 69 0 0 25 0 1 0 871755398 2314407936 556690 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 565041 556690 569 1178 0 563859 0
Current children cumulated CPU time (s) 1182.12
Current children cumulated vsize (KiB) 2260164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10353
/proc/meminfo: memFree=27262480/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2304528 CPUtime=1242.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 574253 0 0 0 124141 71 0 0 25 0 1 0 871755398 2359836672 567519 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 576132 567519 569 1178 0 574950 0
Current children cumulated CPU time (s) 1242.12
Current children cumulated vsize (KiB) 2304528
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10355
/proc/meminfo: memFree=27180600/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2335724 CPUtime=1302.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 582721 0 0 0 130140 72 0 0 25 0 1 0 871755398 2391781376 575987 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 583931 575987 569 1178 0 582749 0
Current children cumulated CPU time (s) 1302.12
Current children cumulated vsize (KiB) 2335724
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10357
/proc/meminfo: memFree=27075520/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2379172 CPUtime=1362.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 592918 0 0 0 136138 74 0 0 25 0 1 0 871755398 2436272128 586184 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 594793 586184 569 1178 0 593611 0
Current children cumulated CPU time (s) 1362.12
Current children cumulated vsize (KiB) 2379172
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10358
/proc/meminfo: memFree=27000964/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2410492 CPUtime=1422.13 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 600731 0 0 0 142138 75 0 0 25 0 1 0 871755398 2468343808 593997 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 602623 593997 569 1178 0 601441 0
Current children cumulated CPU time (s) 1422.13
Current children cumulated vsize (KiB) 2410492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10360
/proc/meminfo: memFree=26928008/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2439748 CPUtime=1482.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 608686 0 0 0 148136 76 0 0 25 0 1 0 871755398 2498301952 601952 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 609937 601952 569 1178 0 608755 0
Current children cumulated CPU time (s) 1482.12
Current children cumulated vsize (KiB) 2439748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10361
/proc/meminfo: memFree=26838072/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2490988 CPUtime=1542.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 620925 0 0 0 154135 77 0 0 25 0 1 0 871755398 2550771712 614191 33554432000 4194304 9016284 140735328310032 18446744073709551615 5511158 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 622747 614191 569 1178 0 621565 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 2490988
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 10363
/proc/meminfo: memFree=26748628/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2531240 CPUtime=1602.12 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 631060 0 0 0 160134 78 0 0 25 0 1 0 871755398 2591989760 624326 33554432000 4194304 9016284 140735328310032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 632810 624326 569 1178 0 631628 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 2531240
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/178 10365
/proc/meminfo: memFree=26671832/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2567884 CPUtime=1662.13 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 640898 0 0 0 166134 79 0 0 25 0 1 0 871755398 2629513216 634164 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 641971 634164 569 1178 0 640789 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 2567884
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 10369
/proc/meminfo: memFree=26505828/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2665324 CPUtime=1722.13 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 665149 0 0 0 172130 83 0 0 25 0 1 0 871755398 2729291776 658415 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 666331 658415 569 1178 0 665149 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 2665324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26413252/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2707420 CPUtime=1782.14 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 675936 0 0 0 178129 85 0 0 25 0 1 0 871755398 2772398080 669202 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 676855 669202 569 1178 0 675673 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 2707420
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26406308/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2707420 CPUtime=1785.33 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 676169 0 0 0 178448 85 0 0 25 0 1 0 871755398 2772398080 669435 33554432000 4194304 9016284 140735328310032 18446744073709551615 5155078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 676855 669435 569 1178 0 675673 0
Current children cumulated CPU time (s) 1785.33
Current children cumulated vsize (KiB) 2707420
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26379888/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2715424 CPUtime=1791.74 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 677661 0 0 0 179089 85 0 0 25 0 1 0 871755398 2780594176 670927 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 678856 670927 569 1178 0 677674 0
Current children cumulated CPU time (s) 1791.74
Current children cumulated vsize (KiB) 2715424
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26361784/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2719400 CPUtime=1794.94 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 678607 0 0 0 179409 85 0 0 25 0 1 0 871755398 2784665600 671873 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 679850 671873 569 1178 0 678668 0
Current children cumulated CPU time (s) 1794.94
Current children cumulated vsize (KiB) 2719400
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26359304/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2720392 CPUtime=1796.54 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 678923 0 0 0 179569 85 0 0 25 0 1 0 871755398 2785681408 672189 33554432000 4194304 9016284 140735328310032 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10272/statm: 680098 672189 569 1178 0 678916 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (KiB) 2720392
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26357568/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2711480 CPUtime=1797.33 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 679568 0 0 0 179648 85 0 0 25 0 1 0 871755398 2776555520 669888 33554432000 4194304 9016284 140735328310032 18446744073709551615 5518502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10272/statm: 677870 669888 578 1178 0 676688 0
Current children cumulated CPU time (s) 1797.33
Current children cumulated vsize (KiB) 2711480
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26357568/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=2406212 CPUtime=1797.53 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 679572 0 0 0 179667 86 0 0 25 0 1 0 871755398 2463961088 593989 33554432000 4194304 9016284 140735328310032 18446744073709551615 4446607 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10272/statm: 601553 593989 582 1178 0 600371 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 2406212
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26357568/32951124 swapFree=67088052/67111528
[pid=10272] ppid=10270 vsize=1674500 CPUtime=1797.63 cores=1,3,5,7
/proc/10272/stat : 10272 (scip-2.0.1.4b_2) R 10270 10272 9011 0 -1 4202496 679581 0 0 0 179669 94 0 0 25 0 1 0 871755398 1714688000 52618 33554432000 4194304 9016284 140735328310032 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10272/statm: 418625 52106 591 1178 0 417443 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 1674500
Child status: 0
Real time (s): 1797.81
CPU time (s): 1797.65
CPU user time (s): 1796.7
CPU system time (s): 0.952855
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 2720420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 0.952855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679586
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= 4
involuntary context switches= 2741
runsolver used 2.73658 second user time and 6.52101 second system time
The end