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-3743086-1338794249.opb>
0.29/0.32 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.49/0.52 c presolving:
0.59/0.66 c (round 1) 126 del vars, 3 del conss, 0 add conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.69/0.72 c (round 2) 1372 del vars, 1254 del conss, 0 add conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.69/0.76 c (round 3) 2024 del vars, 1906 del conss, 0 add conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.79/0.80 c (round 4) 2475 del vars, 2357 del conss, 0 add conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.79/0.85 c (round 5) 2838 del vars, 2720 del conss, 0 add conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.79/0.89 c (round 6) 3150 del vars, 3032 del conss, 0 add conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.88/0.93 c (round 7) 3418 del vars, 3300 del conss, 0 add conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.88/0.97 c (round 8) 3571 del vars, 3453 del conss, 0 add conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.99/1.00 c (round 9) 3629 del vars, 3511 del conss, 0 add conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.99/1.03 c (round 10) 3654 del vars, 3536 del conss, 0 add conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
150.36/150.48 c (round 11) 3720 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 8924290 impls, 551 clqs
150.57/150.62 c (round 12) 3720 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 8924460 impls, 551 clqs
154.06/154.16 c (round 13) 3774 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
154.17/154.24 c (round 14) 3774 del vars, 4207 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
188.86/188.95 c (188.9s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
243.75/243.89 c (243.9s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
313.95/314.07 c (314.1s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
443.82/443.98 c (444.0s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
462.01/462.17 c (round 15) 3824 del vars, 4207 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
462.11/462.25 c (round 16) 3824 del vars, 4257 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
506.92/507.04 c (507.0s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
651.99/652.12 c (652.1s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
812.46/812.63 c (812.6s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
994.03/994.25 c (994.2s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1174.71/1174.94 c (1174.9s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1347.48/1347.78 c (1347.8s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1375.89/1376.16 c (round 17) 3874 del vars, 4257 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1375.98/1376.24 c (round 18) 3874 del vars, 4307 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1499.76/1500.02 c (1500.0s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1681.22/1681.57 c (1681.6s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1796.81/1797.11 c (1797.1s) probing: 12645/37282 (33.9%) - 138 fixings, 101 aggregations, 43550167 implications, 0 bound changes
1796.81/1797.11 c (1797.1s) probing aborted: solving stopped
1796.81/1797.11 c (round 19) 3894 del vars, 4307 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 106482108 impls, 551 clqs
1796.81/1797.11 c presolving (19 rounds):
1796.81/1797.11 c 3894 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.81/1797.11 c 106482108 implications, 551 cliques
1796.81/1797.11 c presolving was interrupted.
1796.81/1797.11 c Presolving Time: 1796.67
1796.81/1797.11 c - non default parameters ----------------------------------------------------------------------
1796.81/1797.11 c # SCIP version 2.0.1.5
1796.81/1797.11 c
1796.81/1797.11 c # frequency for displaying node information lines
1796.81/1797.11 c # [type: int, range: [-1,2147483647], default: 100]
1796.81/1797.11 c display/freq = 10000
1796.81/1797.11 c
1796.81/1797.11 c # maximal time in seconds to run
1796.81/1797.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.81/1797.11 c limits/time = 1797
1796.81/1797.11 c
1796.81/1797.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.81/1797.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.81/1797.11 c limits/memory = 13950
1796.81/1797.11 c
1796.81/1797.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.81/1797.11 c # [type: int, range: [1,2], default: 1]
1796.81/1797.11 c timing/clocktype = 2
1796.81/1797.11 c
1796.81/1797.11 c # belongs reading time to solving time?
1796.81/1797.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.81/1797.11 c timing/reading = TRUE
1796.81/1797.11 c
1796.81/1797.11 c # should presolving try to simplify inequalities
1796.81/1797.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.81/1797.11 c constraints/linear/simplifyinequalities = TRUE
1796.81/1797.11 c
1796.81/1797.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.81/1797.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.81/1797.11 c constraints/indicator/addCouplingCons = TRUE
1796.81/1797.11 c
1796.81/1797.11 c # should presolving try to simplify knapsacks
1796.81/1797.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.81/1797.11 c constraints/knapsack/simplifyinequalities = TRUE
1796.81/1797.11 c
1796.81/1797.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.81/1797.11 c # [type: int, range: [-1,2147483647], default: -1]
1796.81/1797.11 c separating/rapidlearning/freq = 0
1796.81/1797.11 c
1796.81/1797.11 c -----------------------------------------------------------------------------------------------
1796.81/1797.11 c start solving
1796.81/1797.13 c presolving:
1796.81/1797.13 c presolving (19 rounds):
1796.81/1797.13 c 3894 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.81/1797.13 c 106482108 implications, 551 cliques
1796.81/1797.13 c presolving was interrupted.
1796.81/1797.13 c Presolving Time: 1796.69
1796.81/1797.13 c
1796.81/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1796.81/1797.13 c Solving Time (sec) : 1797.13
1796.81/1797.13 c Solving Nodes : 0
1796.81/1797.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.81/1797.13 s UNKNOWN
1796.81/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1796.81/1797.13 c Total Time : 1797.13
1796.81/1797.13 c solving : 1797.13
1796.81/1797.13 c presolving : 1796.69 (included in solving)
1796.81/1797.13 c reading : 0.32 (included in solving)
1796.81/1797.13 c Original Problem :
1796.81/1797.13 c Problem name : HOME/instance-3743086-1338794249.opb
1796.81/1797.13 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.13 c Constraints : 41436 initial, 41436 maximal
1796.81/1797.13 c Presolved Problem :
1796.81/1797.13 c Problem name : t_HOME/instance-3743086-1338794249.opb
1796.81/1797.13 c Variables : 37043 (37043 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.13 c Constraints : 37129 initial, 37129 maximal
1796.81/1797.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.81/1797.13 c trivial : 0.04 123 0 0 0 0 0 0 0 0
1796.81/1797.13 c dualfix : 0.03 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c implics : 0.03 0 1 0 0 0 0 0 0 0
1796.81/1797.13 c probing : 1795.21 138 101 0 0 0 0 0 0 0
1796.81/1797.13 c knapsack : 0.14 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c setppc : 0.08 0 0 0 0 0 95 0 0 0
1796.81/1797.13 c linear : 0.70 3531 0 0 3531 0 4088 0 0 0
1796.81/1797.13 c logicor : 0.27 0 0 0 0 0 124 0 0 0
1796.81/1797.13 c root node : - 0 - - 0 - - - - -
1796.81/1797.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.81/1797.13 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c knapsack : 0+ 0 175016 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c setppc : 0+ 0 175014 0 0 0 0 23 0 0 0 0
1796.81/1797.13 c linear : 0+ 0 1409 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c logicor : 0+ 0 161679 0 0 0 0 5 0 0 0 0
1796.81/1797.13 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.81/1797.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.81/1797.13 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.81/1797.13 c knapsack : 2.37 0.00 2.37 0.00 0.00 0.00 0.00
1796.81/1797.13 c setppc : 21.20 0.00 21.20 0.00 0.00 0.00 0.00
1796.81/1797.13 c linear : 1.26 0.00 1.26 0.00 0.00 0.00 0.00
1796.81/1797.13 c logicor : 71.35 0.00 71.35 0.00 0.00 0.00 0.00
1796.81/1797.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.81/1797.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.81/1797.13 c vbounds : 0 0 0 0
1796.81/1797.13 c rootredcost : 0 0 0 0
1796.81/1797.13 c pseudoobj : 0 0 0 0
1796.81/1797.13 c Propagator Timings : TotalTime Propagate Resprop
1796.81/1797.13 c vbounds : 0.13 0.13 0.00
1796.81/1797.13 c rootredcost : 0.12 0.12 0.00
1796.81/1797.13 c pseudoobj : 0.11 0.11 0.00
1796.81/1797.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.81/1797.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.81/1797.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.81/1797.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.81/1797.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.81/1797.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.81/1797.13 c applied globally : - - - 0 0.0 - - -
1796.81/1797.13 c applied locally : - - - 0 0.0 - - -
1797.11/1797.48 c Time complete: 1797.19.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743086-1338794249/watcher-3743086-1338794249 -o /tmp/evaluation-result-3743086-1338794249/solver-3743086-1338794249 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743086-1338794249.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 16127
/proc/meminfo: memFree=31116884/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 1521 0 0 0 0 0 0 0 20 0 1 0 345551874 9818112 1476 33554432000 4194304 9016284 140734675348816 140737316490744 7824814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 2397 1477 311 1178 0 1215 0
[startup+0.0723589 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 16127
/proc/meminfo: memFree=31116884/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=24060 CPUtime=0.06 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 5014 0 0 0 6 0 0 0 20 0 1 0 345551874 24637440 4968 33554432000 4194304 9016284 140734675348816 140737316490744 4702520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 6015 4968 360 1178 0 4833 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24060
[startup+0.100335 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 16127
/proc/meminfo: memFree=31116884/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=30040 CPUtime=0.08 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 6478 0 0 0 8 0 0 0 20 0 1 0 345551874 30760960 6432 33554432000 4194304 9016284 140734675348816 140737316490744 4530476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 7510 6432 360 1178 0 6328 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30040
[startup+0.300278 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 16127
/proc/meminfo: memFree=31116884/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=60204 CPUtime=0.29 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 14019 0 0 0 28 1 0 0 20 0 1 0 345551874 61648896 13973 33554432000 4194304 9016284 140734675348816 140737316490744 4447056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 15051 13973 360 1178 0 13869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60204
[startup+0.700279 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 16127
/proc/meminfo: memFree=31116884/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=142408 CPUtime=0.69 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 34728 0 0 0 65 4 0 0 20 0 1 0 345551874 145825792 34145 33554432000 4194304 9016284 140734675348816 140737316490744 5228396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 35602 34145 492 1178 0 34420 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142408
[startup+1.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16128
/proc/meminfo: memFree=30976004/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=179460 CPUtime=1.49 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 45756 0 0 0 143 6 0 0 20 0 1 0 345551874 183767040 43373 33554432000 4194304 9016284 140734675348816 140734675344488 5251802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 44865 43373 520 1178 0 43683 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179460
[startup+3.10028 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16128
/proc/meminfo: memFree=30905564/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=297592 CPUtime=3.09 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 73822 0 0 0 299 10 0 0 20 0 1 0 345551874 304734208 71439 33554432000 4194304 9016284 140734675348816 140734675344200 4875347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 74398 71439 520 1178 0 73216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297592
[startup+6.30032 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16128
/proc/meminfo: memFree=30740892/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=356272 CPUtime=6.29 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 88231 0 0 0 617 12 0 0 20 0 1 0 345551874 364822528 85848 33554432000 4194304 9016284 140734675348816 140734675344200 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 89068 85848 520 1178 0 87886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 356272
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 16128
/proc/meminfo: memFree=30682868/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=415992 CPUtime=12.69 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 101971 0 0 0 1256 13 0 0 20 0 1 0 345551874 425975808 99588 33554432000 4194304 9016284 140734675348816 140734675344200 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 103998 99588 520 1178 0 102816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 415992
[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16128
/proc/meminfo: memFree=30639460/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=456852 CPUtime=25.49 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 112196 0 0 0 2534 15 0 0 20 0 1 0 345551874 467816448 109813 33554432000 4194304 9016284 140734675348816 140734675344200 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 114213 109813 520 1178 0 113031 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 456852
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16128
/proc/meminfo: memFree=30497060/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=505556 CPUtime=51.09 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 124734 0 0 0 5091 18 0 0 20 0 1 0 345551874 517689344 122351 33554432000 4194304 9016284 140734675348816 140734675344264 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 126389 122351 520 1178 0 125207 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 505556
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16128
/proc/meminfo: memFree=30182888/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=645888 CPUtime=102.28 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 158011 0 0 0 10205 23 0 0 20 0 1 0 345551874 661389312 155628 33554432000 4194304 9016284 140734675348816 140734675344200 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 161472 155628 520 1178 0 160290 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 645888
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 16131
/proc/meminfo: memFree=29863848/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=780064 CPUtime=162.27 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 192326 0 0 0 16199 28 0 0 20 0 1 0 345551874 798785536 189943 33554432000 4194304 9016284 140734675348816 140734675344520 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 195016 189943 534 1178 0 193834 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 780064
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16131
/proc/meminfo: memFree=29474036/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1017180 CPUtime=222.26 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 250916 0 0 0 22190 36 0 0 20 0 1 0 345551874 1041592320 248533 33554432000 4194304 9016284 140734675348816 140734675344408 4222936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 254295 248533 539 1178 0 253113 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1017180
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16132
/proc/meminfo: memFree=29192468/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1218052 CPUtime=282.25 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 301271 0 0 0 28181 44 0 0 20 0 1 0 345551874 1247285248 298888 33554432000 4194304 9016284 140734675348816 140734675344408 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 304513 298888 539 1178 0 303331 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1218052
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16132
/proc/meminfo: memFree=28960484/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1389628 CPUtime=342.24 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 343501 0 0 0 34175 49 0 0 20 0 1 0 345551874 1422979072 341118 33554432000 4194304 9016284 140734675348816 140734675344008 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 347407 341118 539 1178 0 346225 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1389628
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 16132
/proc/meminfo: memFree=28834032/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1437364 CPUtime=402.22 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 355960 0 0 0 40171 51 0 0 20 0 1 0 345551874 1471860736 353577 33554432000 4194304 9016284 140734675348816 140734675344408 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 359341 353577 539 1178 0 358159 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1437364
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16132
/proc/meminfo: memFree=28669264/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1544176 CPUtime=462.21 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 382435 0 0 0 46166 55 0 0 20 0 1 0 345551874 1581236224 380052 33554432000 4194304 9016284 140734675348816 140734675344408 5322385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 386044 380052 539 1178 0 384862 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1544176
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16132
/proc/meminfo: memFree=28485152/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1647628 CPUtime=522.2 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 407672 0 0 0 52160 60 0 0 20 0 1 0 345551874 1687171072 405289 33554432000 4194304 9016284 140734675348816 140734675344408 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 411907 405289 539 1178 0 410725 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1647628
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 16132
/proc/meminfo: memFree=28297196/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=1751872 CPUtime=582.2 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 434008 0 0 0 58155 65 0 0 20 0 1 0 345551874 1793916928 431625 33554432000 4194304 9016284 140734675348816 140734675344408 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 437968 431625 539 1178 0 436786 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1751872
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26780060/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=2551248 CPUtime=1122.12 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 629356 0 0 0 112115 97 0 0 20 0 1 0 345551874 2612477952 626973 33554432000 4194304 9016284 140734675348816 140734675344408 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 637812 626973 539 1178 0 636630 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2551248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16137
/proc/meminfo: memFree=26620872/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=2637008 CPUtime=1182.11 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 650370 0 0 0 118112 99 0 0 20 0 1 0 345551874 2700296192 647987 33554432000 4194304 9016284 140734675348816 140734675344008 6480412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 659252 647987 539 1178 0 658070 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2637008
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16138
/proc/meminfo: memFree=26478796/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=2709388 CPUtime=1242.1 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 668159 0 0 0 124108 102 0 0 20 0 1 0 345551874 2774413312 665776 33554432000 4194304 9016284 140734675348816 140734675344408 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 677347 665776 539 1178 0 676165 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2709388
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16138
/proc/meminfo: memFree=26314400/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=2807084 CPUtime=1302.09 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 691314 0 0 0 130104 105 0 0 20 0 1 0 345551874 2874454016 688931 33554432000 4194304 9016284 140734675348816 140734675344008 6480398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 701771 688931 539 1178 0 700589 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2807084
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16141
/proc/meminfo: memFree=26181732/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=2879312 CPUtime=1362.08 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 709619 0 0 0 136099 109 0 0 20 0 1 0 345551874 2948415488 707236 33554432000 4194304 9016284 140734675348816 140734675344008 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 719828 707236 539 1178 0 718646 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2879312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16141
/proc/meminfo: memFree=26037688/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=2944552 CPUtime=1422.08 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 725646 0 0 0 142097 111 0 0 20 0 1 0 345551874 3015221248 723263 33554432000 4194304 9016284 140734675348816 140734675344408 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 736138 723263 539 1178 0 734956 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2944552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16141
/proc/meminfo: memFree=25903116/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3017964 CPUtime=1482.07 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 744056 0 0 0 148092 115 0 0 20 0 1 0 345551874 3090395136 741673 33554432000 4194304 9016284 140734675348816 140734675344200 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 754491 741673 539 1178 0 753309 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3017964
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16142
/proc/meminfo: memFree=25760792/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3090320 CPUtime=1542.05 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 761605 0 0 0 154088 117 0 0 20 0 1 0 345551874 3164487680 759222 33554432000 4194304 9016284 140734675348816 140734675344408 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 772580 759222 539 1178 0 771398 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3090320
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16142
/proc/meminfo: memFree=25624296/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3161940 CPUtime=1602.04 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 778900 0 0 0 160084 120 0 0 20 0 1 0 345551874 3237826560 776517 33554432000 4194304 9016284 140734675348816 140734675344408 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 790485 776517 539 1178 0 789303 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3161940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=27025204/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3238116 CPUtime=1662.03 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 797434 0 0 0 166080 123 0 0 20 0 1 0 345551874 3315830784 795043 33554432000 4194304 9016284 140734675348816 140734675344408 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 809529 795043 539 1178 0 808347 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3238116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26641204/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3305940 CPUtime=1722.02 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 813575 0 0 0 172076 126 0 0 20 0 1 0 345551874 3385282560 811264 33554432000 4194304 9016284 140734675348816 140734675344408 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 826485 811264 539 1178 0 825303 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3305940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26380212/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3377260 CPUtime=1782.01 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 831087 0 0 0 178072 129 0 0 20 0 1 0 345551874 3458314240 828797 33554432000 4194304 9016284 140734675348816 140734675344408 4889369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 844315 828797 539 1178 0 843133 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3377260
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26369796/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3378216 CPUtime=1785.21 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 831388 0 0 0 178392 129 0 0 20 0 1 0 345551874 3459293184 829098 33554432000 4194304 9016284 140734675348816 140734675344408 4889350 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 844554 829098 539 1178 0 843372 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 3378216
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26340144/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3387036 CPUtime=1791.61 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 833642 0 0 0 179032 129 0 0 20 0 1 0 345551874 3468324864 831352 33554432000 4194304 9016284 140734675348816 140734675344408 4222936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 846759 831352 539 1178 0 845577 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 3387036
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26326752/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3390928 CPUtime=1794.81 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 834694 0 0 0 179352 129 0 0 20 0 1 0 345551874 3472310272 832404 33554432000 4194304 9016284 140734675348816 140734675344408 5519424 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 847732 832404 539 1178 0 846550 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 3390928
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26321048/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3394848 CPUtime=1796.41 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 835205 0 0 0 179512 129 0 0 20 0 1 0 345551874 3476324352 832915 33554432000 4194304 9016284 140734675348816 140734675344408 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 848712 832915 539 1178 0 847530 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 3394848
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26321048/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3395832 CPUtime=1796.81 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 835326 0 0 0 179552 129 0 0 20 0 1 0 345551874 3477331968 833036 33554432000 4194304 9016284 140734675348816 140734675344408 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 848958 833036 539 1178 0 847776 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 3395832
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26558632/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3114208 CPUtime=1797.01 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 835607 0 0 0 179570 131 0 0 20 0 1 0 345551874 3188948992 765490 33554432000 4194304 9016284 140734675348816 140734675344408 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 778552 765490 561 1178 0 777370 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 3114208
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=26558632/32873844 swapFree=7116/7116
[pid=16127] ppid=16125 vsize=3081028 CPUtime=1797.11 cores=0,2,4,6
/proc/16127/stat : 16127 (scip-2.0.1.4b_2) R 16125 16127 14772 0 -1 4202496 835607 0 0 0 179570 141 0 0 20 0 1 0 345551874 3154972672 317284 33554432000 4194304 9016284 140734675348816 140734675344408 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16127/statm: 770257 317284 561 1178 0 769075 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 3081028
Child status: 0
Real time (s): 1797.49
CPU time (s): 1797.2
CPU user time (s): 1795.71
CPU system time (s): 1.49677
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3395832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.71
system time used= 1.49677
maximum resident set size= 3333204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835612
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= 17
involuntary context switches= 1850
runsolver used 2.81157 second user time and 7.54985 second system time
The end