0.00/0.00 c SCIP version 2.0.1.5 [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-3489726-1307793228.opb>
1.19/1.26 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234347 constraints
1.19/1.26 c problem read
1.19/1.26 c presolving settings loaded
1.59/1.69 c presolving:
9.18/9.27 c (round 1) 5006 del vars, 14959 del conss, 0 add conss, 3485 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15983446 impls, 0 clqs
13.19/13.21 c (round 2) 11502 del vars, 38530 del conss, 0 add conss, 9725 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16013445 impls, 0 clqs
14.58/14.63 c (round 3) 14124 del vars, 49342 del conss, 0 add conss, 11372 chg bounds, 38 chg sides, 30 chg coeffs, 0 upgd conss, 16028194 impls, 0 clqs
15.39/15.47 c (round 4) 15564 del vars, 54764 del conss, 0 add conss, 12335 chg bounds, 80 chg sides, 81 chg coeffs, 0 upgd conss, 16036573 impls, 0 clqs
15.88/15.90 c (round 5) 16305 del vars, 57743 del conss, 0 add conss, 12780 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16041628 impls, 0 clqs
16.08/16.11 c (round 6) 16634 del vars, 59166 del conss, 0 add conss, 12963 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16043686 impls, 0 clqs
16.18/16.24 c (round 7) 16791 del vars, 59810 del conss, 0 add conss, 13046 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16044856 impls, 0 clqs
16.28/16.34 c (round 8) 16879 del vars, 60193 del conss, 0 add conss, 13106 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16045841 impls, 0 clqs
16.39/16.43 c (round 9) 16937 del vars, 60440 del conss, 0 add conss, 13153 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046137 impls, 0 clqs
16.39/16.50 c (round 10) 16977 del vars, 60608 del conss, 0 add conss, 13183 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046476 impls, 0 clqs
16.49/16.57 c (round 11) 16999 del vars, 60692 del conss, 0 add conss, 13201 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046535 impls, 0 clqs
16.58/16.63 c (round 12) 17015 del vars, 60762 del conss, 0 add conss, 13216 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046540 impls, 0 clqs
17.19/17.24 c (round 13) 17015 del vars, 60771 del conss, 0 add conss, 13216 chg bounds, 96 chg sides, 100 chg coeffs, 173576 upgd conss, 16046540 impls, 0 clqs
17.59/17.62 c (round 14) 17015 del vars, 60779 del conss, 68 add conss, 13216 chg bounds, 185 chg sides, 477 chg coeffs, 173576 upgd conss, 16047368 impls, 2694 clqs
752.61/752.64 c (752.6s) probing: 1000/55827 (1.8%) - 19 fixings, 1 aggregations, 11487670 implications, 0 bound changes
1286.93/1286.93 c (1286.9s) probing: 2000/55827 (3.6%) - 19 fixings, 1 aggregations, 17608340 implications, 0 bound changes
1373.84/1373.90 c (1373.9s) probing: 2169/55827 (3.9%) - 19 fixings, 1 aggregations, 18613770 implications, 0 bound changes
1373.84/1373.90 c (1373.9s) probing aborted: 2000/2000 successive useless probings
1373.84/1373.90 c (round 15) 17035 del vars, 60783 del conss, 69 add conss, 13216 chg bounds, 188 chg sides, 488 chg coeffs, 173576 upgd conss, 81614118 impls, 2951 clqs
1374.33/1374.39 c (round 16) 17035 del vars, 62022 del conss, 69 add conss, 13216 chg bounds, 188 chg sides, 717 chg coeffs, 173576 upgd conss, 81614118 impls, 2951 clqs
1374.73/1374.73 c (round 17) 17035 del vars, 62022 del conss, 88 add conss, 13216 chg bounds, 214 chg sides, 800 chg coeffs, 173576 upgd conss, 81614126 impls, 3322 clqs
1571.04/1571.09 c (round 18) 17085 del vars, 62022 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 830 chg coeffs, 173576 upgd conss, 85865384 impls, 3322 clqs
1574.34/1574.37 c (round 19) 17089 del vars, 62199 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 836 chg coeffs, 173576 upgd conss, 85984712 impls, 3322 clqs
1696.14/1696.17 c (round 20) 17139 del vars, 62203 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 836 chg coeffs, 173576 upgd conss, 89325282 impls, 3322 clqs
1697.35/1697.31 c (round 21) 17143 del vars, 62379 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 837 chg coeffs, 173576 upgd conss, 89382186 impls, 3322 clqs
1798.04/1798.06 c (1798.1s) probing: 2710/55827 (4.9%) - 109 fixings, 29 aggregations, 22244152 implications, 0 bound changes
1798.04/1798.06 c (1798.1s) probing aborted: solving stopped
1798.04/1798.06 c (round 22) 17161 del vars, 62382 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 837 chg coeffs, 173576 upgd conss, 93189828 impls, 3323 clqs
1798.04/1798.06 c presolving (22 rounds):
1798.04/1798.06 c 17161 deleted vars, 62382 deleted constraints, 88 added constraints, 13216 tightened bounds, 0 added holes, 220 changed sides, 837 changed coefficients
1798.04/1798.06 c 93189828 implications, 3323 cliques
1798.04/1798.06 c presolving was interrupted.
1798.04/1798.06 c Presolving Time: 1796.49
1798.04/1798.06 c - non default parameters ----------------------------------------------------------------------
1798.04/1798.06 c # SCIP version 2.0.1.5
1798.04/1798.06 c
1798.04/1798.06 c # frequency for displaying node information lines
1798.04/1798.06 c # [type: int, range: [-1,2147483647], default: 100]
1798.04/1798.06 c display/freq = 10000
1798.04/1798.06 c
1798.04/1798.06 c # maximal time in seconds to run
1798.04/1798.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.04/1798.06 c limits/time = 1797
1798.04/1798.06 c
1798.04/1798.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1798.04/1798.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.04/1798.06 c limits/memory = 13950
1798.04/1798.06 c
1798.04/1798.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1798.04/1798.06 c # [type: int, range: [1,2], default: 1]
1798.04/1798.06 c timing/clocktype = 2
1798.04/1798.06 c
1798.04/1798.06 c # belongs reading time to solving time?
1798.04/1798.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.04/1798.06 c timing/reading = TRUE
1798.04/1798.06 c
1798.04/1798.06 c # should presolving try to simplify inequalities
1798.04/1798.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.04/1798.06 c constraints/linear/simplifyinequalities = TRUE
1798.04/1798.06 c
1798.04/1798.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1798.04/1798.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.04/1798.06 c constraints/indicator/addCouplingCons = TRUE
1798.04/1798.06 c
1798.04/1798.06 c # should presolving try to simplify knapsacks
1798.04/1798.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.04/1798.06 c constraints/knapsack/simplifyinequalities = TRUE
1798.04/1798.06 c
1798.04/1798.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1798.04/1798.06 c # [type: int, range: [-1,2147483647], default: -1]
1798.04/1798.06 c separating/rapidlearning/freq = 0
1798.04/1798.06 c
1798.04/1798.06 c -----------------------------------------------------------------------------------------------
1798.04/1798.06 c start solving
1798.04/1798.09 c presolving:
1798.04/1798.09 c presolving (22 rounds):
1798.04/1798.09 c 17161 deleted vars, 62382 deleted constraints, 88 added constraints, 13216 tightened bounds, 0 added holes, 220 changed sides, 837 changed coefficients
1798.04/1798.09 c 93189828 implications, 3323 cliques
1798.04/1798.09 c presolving was interrupted.
1798.04/1798.09 c Presolving Time: 1796.53
1798.04/1798.09 c
1798.04/1798.09 c SCIP Status : solving was interrupted [time limit reached]
1798.04/1798.09 c Solving Time (sec) : 1798.09
1798.04/1798.09 c Solving Nodes : 0
1798.04/1798.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.04/1798.09 s UNKNOWN
1798.04/1798.09 c SCIP Status : solving was interrupted [time limit reached]
1798.04/1798.09 c Total Time : 1798.09
1798.04/1798.09 c solving : 1798.09
1798.04/1798.09 c presolving : 1796.53 (included in solving)
1798.04/1798.09 c reading : 1.26 (included in solving)
1798.04/1798.09 c Original Problem :
1798.04/1798.09 c Problem name : HOME/instance-3489726-1307793228.opb
1798.04/1798.09 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.04/1798.09 c Constraints : 234347 initial, 234347 maximal
1798.04/1798.09 c Presolved Problem :
1798.04/1798.09 c Problem name : t_HOME/instance-3489726-1307793228.opb
1798.04/1798.09 c Variables : 55681 (55681 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.04/1798.09 c Constraints : 172053 initial, 172053 maximal
1798.04/1798.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.04/1798.09 c trivial : 0.07 1288 0 0 0 0 0 0 0 0
1798.04/1798.09 c dualfix : 0.10 127 0 0 0 0 0 0 0 0
1798.04/1798.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1798.04/1798.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1798.04/1798.09 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1798.04/1798.09 c implics : 4.71 0 7 0 0 0 0 0 0 0
1798.04/1798.09 c probing : 1773.64 109 29 0 0 0 0 0 0 0
1798.04/1798.09 c knapsack : 1.98 0 0 0 0 0 12 88 124 737
1798.04/1798.09 c setppc : 0.66 1 0 0 0 0 1567 0 0 0
1798.04/1798.09 c linear : 14.83 11928 3672 0 13216 0 60771 0 96 100
1798.04/1798.09 c logicor : 0.17 0 0 0 0 0 32 0 0 0
1798.04/1798.09 c root node : - 0 - - 0 - - - - -
1798.04/1798.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1798.04/1798.09 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1798.04/1798.09 c knapsack : 0+ 0 118497 0 0 0 0 16 0 0 0 0
1798.04/1798.09 c setppc : 0+ 0 118481 0 0 0 0 28 0 0 0 0
1798.04/1798.09 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1798.04/1798.09 c logicor : 0+ 0 108332 0 0 0 0 26 0 0 0 0
1798.04/1798.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1798.04/1798.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1798.04/1798.09 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.04/1798.09 c knapsack : 6.23 0.00 6.23 0.00 0.00 0.00 0.00
1798.04/1798.09 c setppc : 693.14 0.00 693.14 0.00 0.00 0.00 0.00
1798.04/1798.09 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.04/1798.09 c logicor : 8.95 0.00 8.95 0.00 0.00 0.00 0.00
1798.04/1798.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.04/1798.09 c Propagators : #Propagate #Resprop Cutoffs DomReds
1798.04/1798.09 c vbounds : 0 0 0 0
1798.04/1798.09 c rootredcost : 0 0 0 0
1798.04/1798.09 c pseudoobj : 0 0 0 0
1798.04/1798.09 c Propagator Timings : TotalTime Propagate Resprop
1798.04/1798.09 c vbounds : 0.05 0.05 0.00
1798.04/1798.09 c rootredcost : 0.03 0.03 0.00
1798.04/1798.09 c pseudoobj : 0.02 0.02 0.00
1798.04/1798.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.04/1798.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.04/1798.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.04/1798.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.04/1798.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.04/1798.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.04/1798.09 c applied globally : - - - 0 0.0 - - -
1798.04/1798.09 c applied locally : - - - 0 0.0 - - -
1798.64/1798.65 c Time complete: 1798.69.
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-3489726-1307793228/watcher-3489726-1307793228 -o /tmp/evaluation-result-3489726-1307793228/solver-3489726-1307793228 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489726-1307793228.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 1.99 1.95 3/177 9634
/proc/meminfo: memFree=27759400/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=9448 CPUtime=0 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 1502 0 0 0 0 0 0 0 25 0 1 0 890920775 9674752 1457 33554432000 4194304 9016284 140737253325168 18446744073709551615 7875499 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 2362 1458 311 1178 0 1180 0
[startup+0.044708 s]
/proc/loadavg: 2.00 1.99 1.95 3/177 9634
/proc/meminfo: memFree=27759400/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=21156 CPUtime=0.03 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 4259 0 0 0 3 0 0 0 25 0 1 0 890920775 21663744 4214 33554432000 4194304 9016284 140737253325168 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 5289 4214 360 1178 0 4107 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21156
[startup+0.100698 s]
/proc/loadavg: 2.00 1.99 1.95 3/177 9634
/proc/meminfo: memFree=27759400/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=32264 CPUtime=0.08 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 7064 0 0 0 8 0 0 0 25 0 1 0 890920775 33038336 7019 33554432000 4194304 9016284 140737253325168 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 8066 7019 360 1178 0 6884 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32264
[startup+0.300674 s]
/proc/loadavg: 2.00 1.99 1.95 3/177 9634
/proc/meminfo: memFree=27759400/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=59144 CPUtime=0.28 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 13784 0 0 0 27 1 0 0 25 0 1 0 890920775 60563456 13739 33554432000 4194304 9016284 140737253325168 18446744073709551615 4446033 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 14786 13739 360 1178 0 13604 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59144
[startup+0.700601 s]
/proc/loadavg: 2.00 1.99 1.95 3/177 9634
/proc/meminfo: memFree=27759400/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=91000 CPUtime=0.69 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 21737 0 0 0 66 3 0 0 25 0 1 0 890920775 93184000 21692 33554432000 4194304 9016284 140737253325168 18446744073709551615 8003176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 22750 21692 360 1178 0 21568 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91000
[startup+1.50045 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9635
/proc/meminfo: memFree=27640376/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=318072 CPUtime=1.49 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 77788 0 0 0 139 10 0 0 25 0 1 0 890920775 325705728 77697 33554432000 4194304 9016284 140737253325168 18446744073709551615 4687484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 79518 77697 413 1178 0 78336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 318072
[startup+3.10016 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9635
/proc/meminfo: memFree=27356416/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=509500 CPUtime=3.09 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 124728 0 0 0 295 14 0 0 25 0 1 0 890920775 521728000 124637 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 127375 124637 485 1178 0 126193 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509500
[startup+6.30057 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9635
/proc/meminfo: memFree=27093476/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=728060 CPUtime=6.29 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 177947 0 0 0 609 20 0 0 25 0 1 0 890920775 745533440 177856 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 182015 177856 485 1178 0 180833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 728060
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9636
/proc/meminfo: memFree=26919752/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=854824 CPUtime=12.68 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 208746 0 0 0 1245 23 0 0 25 0 1 0 890920775 875339776 208398 33554432000 4194304 9016284 140737253325168 18446744073709551615 6481234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 213706 208398 496 1178 0 212524 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 854824
[startup+25.5011 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9636
/proc/meminfo: memFree=26802096/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=973920 CPUtime=25.49 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 249693 0 0 0 2521 28 0 0 25 0 1 0 890920775 997294080 236040 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 243480 236040 543 1178 0 242298 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 973920
[startup+51.1005 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9637
/proc/meminfo: memFree=26685516/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1009028 CPUtime=51.09 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 257923 0 0 0 5081 28 0 0 25 0 1 0 890920775 1033244672 244270 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 252257 244270 543 1178 0 251075 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1009028
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9638
/proc/meminfo: memFree=26544528/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1077444 CPUtime=102.3 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 274830 0 0 0 10199 31 0 0 25 0 1 0 890920775 1103302656 261177 33554432000 4194304 9016284 140737253325168 18446744073709551615 6479893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 269361 261177 543 1178 0 268179 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1077444
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9640
/proc/meminfo: memFree=26363940/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1209488 CPUtime=162.29 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 307494 0 0 0 16194 35 0 0 25 0 1 0 890920775 1238515712 293841 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 302372 293841 543 1178 0 301190 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1209488
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9641
/proc/meminfo: memFree=26221064/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1288376 CPUtime=222.29 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 327537 0 0 0 22192 37 0 0 25 0 1 0 890920775 1319297024 313884 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 322094 313884 543 1178 0 320912 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1288376
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9643
/proc/meminfo: memFree=25996840/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1414964 CPUtime=282.29 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 359146 0 0 0 28188 41 0 0 25 0 1 0 890920775 1448923136 345493 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 353741 345493 543 1178 0 352559 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1414964
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9644
/proc/meminfo: memFree=25741984/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1544988 CPUtime=342.3 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 391327 0 0 0 34185 45 0 0 25 0 1 0 890920775 1582067712 377674 33554432000 4194304 9016284 140737253325168 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 386247 377674 543 1178 0 385065 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1544988
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9646
/proc/meminfo: memFree=25538572/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1671340 CPUtime=402.3 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 422812 0 0 0 40182 48 0 0 25 0 1 0 890920775 1711452160 409159 33554432000 4194304 9016284 140737253325168 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 417835 409159 543 1178 0 416653 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1671340
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9695
/proc/meminfo: memFree=28211432/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1803604 CPUtime=462.3 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 455653 0 0 0 46177 53 0 0 25 0 1 0 890920775 1846890496 442000 33554432000 4194304 9016284 140737253325168 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 450901 442000 543 1178 0 449719 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1803604
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9696
/proc/meminfo: memFree=27931892/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=1943468 CPUtime=522.31 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 490824 0 0 0 52173 58 0 0 25 0 1 0 890920775 1990111232 477171 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 485867 477171 543 1178 0 484685 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1943468
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/178 9698
/proc/meminfo: memFree=27636128/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2054988 CPUtime=582.31 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 518116 0 0 0 58169 62 0 0 25 0 1 0 890920775 2104307712 504463 33554432000 4194304 9016284 140737253325168 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 513747 504463 543 1178 0 512565 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2054988
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25901760/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2737428 CPUtime=1122.32 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 687891 0 0 0 112148 84 0 0 25 0 1 0 890920775 2803126272 674238 33554432000 4194304 9016284 140737253325168 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 684357 674238 548 1178 0 683175 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2737428
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9717
/proc/meminfo: memFree=25761732/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2829176 CPUtime=1182.33 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 709670 0 0 0 118146 87 0 0 25 0 1 0 890920775 2897076224 696017 33554432000 4194304 9016284 140737253325168 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 707294 696017 548 1178 0 706112 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2829176
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9718
/proc/meminfo: memFree=25661748/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2862420 CPUtime=1242.32 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 718213 0 0 0 124145 87 0 0 25 0 1 0 890920775 2931118080 704560 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 715605 704560 548 1178 0 714423 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2862420
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9720
/proc/meminfo: memFree=25571812/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2901736 CPUtime=1302.34 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 727500 0 0 0 130145 89 0 0 25 0 1 0 890920775 2971377664 713847 33554432000 4194304 9016284 140737253325168 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 725434 713847 548 1178 0 724252 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2901736
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 9722
/proc/meminfo: memFree=25468240/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2945188 CPUtime=1362.33 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 738902 0 0 0 136143 90 0 0 25 0 1 0 890920775 3015872512 725249 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 736297 725249 548 1178 0 735115 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2945188
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 9723
/proc/meminfo: memFree=25356112/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2999744 CPUtime=1422.34 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 752973 0 0 0 142141 93 0 0 25 0 1 0 890920775 3071737856 739320 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 749936 739320 548 1178 0 748754 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2999744
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 9725
/proc/meminfo: memFree=25272744/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3023412 CPUtime=1482.34 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 759441 0 0 0 148140 94 0 0 25 0 1 0 890920775 3095973888 745788 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 755853 745788 548 1178 0 754671 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3023412
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9726
/proc/meminfo: memFree=25175740/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3059860 CPUtime=1542.33 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 768754 0 0 0 154138 95 0 0 25 0 1 0 890920775 3133296640 755101 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 764965 755101 548 1178 0 763783 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3059860
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9728
/proc/meminfo: memFree=25051824/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3126612 CPUtime=1602.33 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 785386 0 0 0 160136 97 0 0 25 0 1 0 890920775 3201650688 771733 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 781653 771733 548 1178 0 780471 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3126612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9730
/proc/meminfo: memFree=24957412/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3158936 CPUtime=1662.33 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 793474 0 0 0 166135 98 0 0 25 0 1 0 890920775 3234750464 779821 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 789734 779821 548 1178 0 788552 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3158936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9731
/proc/meminfo: memFree=24856308/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3196024 CPUtime=1722.34 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 802854 0 0 0 172135 99 0 0 25 0 1 0 890920775 3272728576 789201 33554432000 4194304 9016284 140737253325168 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 799006 789201 548 1178 0 797824 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3196024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24760912/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3243380 CPUtime=1782.34 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 814996 0 0 0 178133 101 0 0 25 0 1 0 890920775 3321221120 801343 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 810845 801343 548 1178 0 809663 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3243380
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24734484/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3262672 CPUtime=1791.94 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 819414 0 0 0 179093 101 0 0 25 0 1 0 890920775 3340976128 805761 33554432000 4194304 9016284 140737253325168 18446744073709551615 6466192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 815668 805761 548 1178 0 814486 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3262672
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24731880/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3262672 CPUtime=1795.14 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 819414 0 0 0 179413 101 0 0 25 0 1 0 890920775 3340976128 805761 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 815668 805761 548 1178 0 814486 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3262672
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24729772/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3264716 CPUtime=1796.74 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 819838 0 0 0 179573 101 0 0 25 0 1 0 890920775 3343069184 806185 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 816179 806185 548 1178 0 814997 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3264716
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24729152/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3264716 CPUtime=1797.54 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 819959 0 0 0 179653 101 0 0 25 0 1 0 890920775 3343069184 806306 33554432000 4194304 9016284 140737253325168 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9634/statm: 816179 806306 548 1178 0 814997 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 3264716
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24729152/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=3241152 CPUtime=1798.35 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 822021 0 0 0 179733 102 0 0 18 0 1 0 890920775 3318939648 800636 33554432000 4194304 9016284 140737253325168 18446744073709551615 7854966 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 810288 800636 557 1178 0 809106 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 3241152
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24800200/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2884272 CPUtime=1798.55 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 822025 0 0 0 179752 103 0 0 18 0 1 0 890920775 2953494528 711774 33554432000 4194304 9016284 140737253325168 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 721068 711774 561 1178 0 719886 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 2884272
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9733
/proc/meminfo: memFree=24800200/32951124 swapFree=67051744/67111528
[pid=9634] ppid=9632 vsize=2208604 CPUtime=1798.64 cores=1,3,5,7
/proc/9634/stat : 9634 (scip-2.0.1.4b_2) R 9632 9634 18867 0 -1 4202496 822034 0 0 0 179756 108 0 0 18 0 1 0 890920775 2261610496 383038 33554432000 4194304 9016284 140737253325168 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9634/statm: 552151 383038 570 1178 0 550969 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 2208604
Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.71
CPU user time (s): 1797.57
CPU system time (s): 1.13883
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3271864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 1.13883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 822039
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= 4570
runsolver used 2.59361 second user time and 6.40902 second system time
The end