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-3743075-1338794165.opb>
0.28/0.32 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.28/0.32 c problem read
0.28/0.32 c presolving settings loaded
0.48/0.50 c presolving:
0.48/0.59 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.59/0.62 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.59/0.64 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.59/0.66 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.59/0.68 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.69/0.70 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.69/0.72 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.69/0.73 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.69/0.75 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.69/0.76 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
145.55/145.62 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
145.65/145.72 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
148.95/149.08 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
149.05/149.14 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
183.15/183.24 c (183.2s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
237.14/237.23 c (237.2s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
305.63/305.74 c (305.7s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
433.32/433.44 c (433.4s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
451.01/451.19 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
451.11/451.24 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
494.80/494.99 c (495.0s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
636.78/636.96 c (637.0s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
794.35/794.50 c (794.5s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
972.53/972.78 c (972.8s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1152.09/1152.30 c (1152.3s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1324.55/1324.81 c (1324.8s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1353.05/1353.39 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
1353.16/1353.45 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
1478.03/1478.37 c (1478.4s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1664.69/1665.09 c (1665.1s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1796.76/1797.10 c (1797.1s) probing: 12700/37282 (34.1%) - 138 fixings, 101 aggregations, 43746095 implications, 0 bound changes
1796.76/1797.10 c (1797.1s) probing aborted: solving stopped
1796.76/1797.10 c (round 19) 3894 del vars, 4307 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 106874288 impls, 551 clqs
1796.76/1797.10 c presolving (19 rounds):
1796.76/1797.10 c 3894 deleted vars, 4307 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.76/1797.10 c 106874288 implications, 551 cliques
1796.76/1797.10 c presolving was interrupted.
1796.76/1797.10 c Presolving Time: 1796.66
1796.76/1797.10 c - non default parameters ----------------------------------------------------------------------
1796.76/1797.10 c # SCIP version 2.0.1.5
1796.76/1797.10 c
1796.76/1797.10 c # frequency for displaying node information lines
1796.76/1797.10 c # [type: int, range: [-1,2147483647], default: 100]
1796.76/1797.10 c display/freq = 10000
1796.76/1797.10 c
1796.76/1797.10 c # maximal time in seconds to run
1796.76/1797.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.76/1797.10 c limits/time = 1797
1796.76/1797.10 c
1796.76/1797.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.76/1797.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.76/1797.10 c limits/memory = 13950
1796.76/1797.10 c
1796.76/1797.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.76/1797.10 c # [type: int, range: [1,2], default: 1]
1796.76/1797.10 c timing/clocktype = 2
1796.76/1797.10 c
1796.76/1797.10 c # belongs reading time to solving time?
1796.76/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.76/1797.10 c timing/reading = TRUE
1796.76/1797.10 c
1796.76/1797.10 c # should presolving try to simplify inequalities
1796.76/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.76/1797.10 c constraints/linear/simplifyinequalities = TRUE
1796.76/1797.10 c
1796.76/1797.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.76/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.76/1797.10 c constraints/indicator/addCouplingCons = TRUE
1796.76/1797.10 c
1796.76/1797.10 c # should presolving try to simplify knapsacks
1796.76/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.76/1797.10 c constraints/knapsack/simplifyinequalities = TRUE
1796.76/1797.10 c
1796.76/1797.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.76/1797.10 c # [type: int, range: [-1,2147483647], default: -1]
1796.76/1797.10 c separating/rapidlearning/freq = 0
1796.76/1797.10 c
1796.76/1797.10 c -----------------------------------------------------------------------------------------------
1796.76/1797.10 c start solving
1796.76/1797.11 c presolving:
1796.76/1797.11 c presolving (19 rounds):
1796.76/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.76/1797.11 c 106874288 implications, 551 cliques
1796.76/1797.11 c presolving was interrupted.
1796.76/1797.11 c Presolving Time: 1796.68
1796.76/1797.11 c
1796.76/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1796.76/1797.11 c Solving Time (sec) : 1797.11
1796.76/1797.11 c Solving Nodes : 0
1796.76/1797.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.76/1797.11 s UNKNOWN
1796.76/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1796.76/1797.11 c Total Time : 1797.11
1796.76/1797.11 c solving : 1797.11
1796.76/1797.11 c presolving : 1796.68 (included in solving)
1796.76/1797.11 c reading : 0.31 (included in solving)
1796.76/1797.11 c Original Problem :
1796.76/1797.11 c Problem name : HOME/instance-3743075-1338794165.opb
1796.76/1797.11 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.76/1797.11 c Constraints : 41436 initial, 41436 maximal
1796.76/1797.11 c Presolved Problem :
1796.76/1797.11 c Problem name : t_HOME/instance-3743075-1338794165.opb
1796.76/1797.11 c Variables : 37043 (37043 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.76/1797.11 c Constraints : 37129 initial, 37129 maximal
1796.76/1797.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.76/1797.11 c trivial : 0.04 123 0 0 0 0 0 0 0 0
1796.76/1797.11 c dualfix : 0.03 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c implics : 0.03 0 1 0 0 0 0 0 0 0
1796.76/1797.11 c probing : 1795.73 138 101 0 0 0 0 0 0 0
1796.76/1797.11 c knapsack : 0.15 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c setppc : 0.05 0 0 0 0 0 95 0 0 0
1796.76/1797.11 c linear : 0.37 3531 0 0 3531 0 4088 0 0 0
1796.76/1797.11 c logicor : 0.12 0 0 0 0 0 124 0 0 0
1796.76/1797.11 c root node : - 0 - - 0 - - - - -
1796.76/1797.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.76/1797.11 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c knapsack : 0+ 0 175813 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c setppc : 0+ 0 175811 0 0 0 0 23 0 0 0 0
1796.76/1797.11 c linear : 0+ 0 1409 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c logicor : 0+ 0 162425 0 0 0 0 5 0 0 0 0
1796.76/1797.11 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.76/1797.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.76/1797.11 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.76/1797.11 c knapsack : 2.17 0.00 2.17 0.00 0.00 0.00 0.00
1796.76/1797.11 c setppc : 21.61 0.00 21.61 0.00 0.00 0.00 0.00
1796.76/1797.11 c linear : 1.21 0.00 1.21 0.00 0.00 0.00 0.00
1796.76/1797.11 c logicor : 77.50 0.00 77.50 0.00 0.00 0.00 0.00
1796.76/1797.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.76/1797.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.76/1797.11 c vbounds : 0 0 0 0
1796.76/1797.11 c rootredcost : 0 0 0 0
1796.76/1797.11 c pseudoobj : 0 0 0 0
1796.76/1797.11 c Propagator Timings : TotalTime Propagate Resprop
1796.76/1797.11 c vbounds : 0.03 0.03 0.00
1796.76/1797.11 c rootredcost : 0.02 0.02 0.00
1796.76/1797.11 c pseudoobj : 0.02 0.02 0.00
1796.76/1797.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.76/1797.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.76/1797.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.76/1797.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.76/1797.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.76/1797.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.76/1797.11 c applied globally : - - - 0 0.0 - - -
1796.76/1797.11 c applied locally : - - - 0 0.0 - - -
1797.07/1797.44 c Time complete: 1797.1.
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-3743075-1338794165/watcher-3743075-1338794165 -o /tmp/evaluation-result-3743075-1338794165/solver-3743075-1338794165 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743075-1338794165.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.00 2.00 2.00 3/176 1024
/proc/meminfo: memFree=25010324/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=6216 CPUtime=0 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 345542233 6365184 299 33554432000 4194304 9016284 140736690565168 140736319604104 4447263 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 1554 310 185 1178 0 372 0
[startup+0.0953371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1024
/proc/meminfo: memFree=25010324/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=28796 CPUtime=0.08 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 6193 0 0 0 8 0 0 0 20 0 1 0 345542233 29487104 6148 33554432000 4194304 9016284 140736690565168 140736319604104 4702912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 7199 6148 360 1178 0 6017 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28796
[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1024
/proc/meminfo: memFree=25010324/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=30036 CPUtime=0.08 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 6476 0 0 0 8 0 0 0 20 0 1 0 345542233 30756864 6431 33554432000 4194304 9016284 140736690565168 140736319604104 7847688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 7509 6431 360 1178 0 6327 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30036
[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1024
/proc/meminfo: memFree=25010324/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=60200 CPUtime=0.28 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 14018 0 0 0 27 1 0 0 20 0 1 0 345542233 61644800 13973 33554432000 4194304 9016284 140736690565168 140736319604104 7870493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 15050 13973 360 1178 0 13868 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 60200
[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1024
/proc/meminfo: memFree=25010324/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=144444 CPUtime=0.69 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 35205 0 0 0 64 5 0 0 20 0 1 0 345542233 147910656 34623 33554432000 4194304 9016284 140736690565168 140736690560840 6466928 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 36111 34623 492 1178 0 34929 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144444
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1025
/proc/meminfo: memFree=24840320/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=200488 CPUtime=1.48 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 50766 0 0 0 141 7 0 0 20 0 1 0 345542233 205299712 48384 33554432000 4194304 9016284 140736690565168 140736690560552 6817595 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 50122 48384 520 1178 0 48940 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 200488
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1025
/proc/meminfo: memFree=24776584/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=319500 CPUtime=3.08 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 79287 0 0 0 297 11 0 0 20 0 1 0 345542233 327168000 76905 33554432000 4194304 9016284 140736690565168 140736690560552 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 79875 76905 520 1178 0 78693 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 319500
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1025
/proc/meminfo: memFree=24661264/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=381552 CPUtime=6.28 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 93707 0 0 0 616 12 0 0 20 0 1 0 345542233 390709248 91325 33554432000 4194304 9016284 140736690565168 140736690560552 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 95388 91325 520 1178 0 94206 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 381552
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1025
/proc/meminfo: memFree=24595640/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=415988 CPUtime=12.68 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 102042 0 0 0 1254 14 0 0 20 0 1 0 345542233 425971712 99660 33554432000 4194304 9016284 140736690565168 140736690560552 6480425 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 103997 99660 520 1178 0 102815 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 415988
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1025
/proc/meminfo: memFree=24538220/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=456848 CPUtime=25.48 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 112284 0 0 0 2532 16 0 0 20 0 1 0 345542233 467812352 109902 33554432000 4194304 9016284 140736690565168 140736690560552 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1024/statm: 114212 109902 520 1178 0 113030 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 456848
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1026
/proc/meminfo: memFree=24449216/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=505552 CPUtime=51.08 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 124733 0 0 0 5089 19 0 0 20 0 1 0 345542233 517685248 122351 33554432000 4194304 9016284 140736690565168 140736690560616 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 126388 122351 520 1178 0 125206 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 505552
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1026
/proc/meminfo: memFree=24230348/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=646932 CPUtime=102.27 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 158447 0 0 0 10202 25 0 0 20 0 1 0 345542233 662458368 156065 33554432000 4194304 9016284 140736690565168 140736690560920 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 161733 156065 520 1178 0 160551 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 646932
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1026
/proc/meminfo: memFree=24022924/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=781936 CPUtime=162.26 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 192818 0 0 0 16195 31 0 0 20 0 1 0 345542233 800702464 190436 33554432000 4194304 9016284 140736690565168 140736690560872 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 195484 190436 534 1178 0 194302 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 781936
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1026
/proc/meminfo: memFree=23682572/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1041232 CPUtime=222.24 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 256722 0 0 0 22183 41 0 0 20 0 1 0 345542233 1066221568 254340 33554432000 4194304 9016284 140736690565168 140736690560760 6480425 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 260308 254340 539 1178 0 259126 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1041232
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1029
/proc/meminfo: memFree=23389712/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1240916 CPUtime=282.24 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 306649 0 0 0 28175 49 0 0 20 0 1 0 345542233 1270697984 304267 33554432000 4194304 9016284 140736690565168 140736690560552 6480407 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 310229 304267 539 1178 0 309047 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1240916
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1029
/proc/meminfo: memFree=23139648/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1406636 CPUtime=342.23 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 348148 0 0 0 34167 56 0 0 20 0 1 0 345542233 1440395264 345766 33554432000 4194304 9016284 140736690565168 140736690560760 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 351659 345766 539 1178 0 350477 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1406636
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=23025464/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1442256 CPUtime=402.22 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 357324 0 0 0 40164 58 0 0 20 0 1 0 345542233 1476870144 354942 33554432000 4194304 9016284 140736690565168 140736690560760 6480421 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 360564 354942 539 1178 0 359382 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1442256
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=22842280/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1556780 CPUtime=462.21 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 384894 0 0 0 46159 62 0 0 20 0 1 0 345542233 1594142720 383023 33554432000 4194304 9016284 140736690565168 140736690560552 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 389195 383023 539 1178 0 388013 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1556780
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=22638452/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1676164 CPUtime=522.2 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 413962 0 0 0 52154 66 0 0 20 0 1 0 345542233 1716391936 412091 33554432000 4194304 9016284 140736690565168 140736690560760 6480384 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 419041 412091 539 1178 0 417859 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1676164
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=22470460/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=1771568 CPUtime=582.19 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 438281 0 0 0 58149 70 0 0 20 0 1 0 345542233 1814085632 436410 33554432000 4194304 9016284 140736690565168 140736690560760 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 442892 436410 539 1178 0 441710 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1771568
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22406984/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=2577652 CPUtime=1122.1 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 635308 0 0 0 112107 103 0 0 20 0 1 0 345542233 2639515648 633592 33554432000 4194304 9016284 140736690565168 140736690560760 5511040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 644413 633592 539 1178 0 643231 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2577652
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1077
/proc/meminfo: memFree=22109712/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=2656584 CPUtime=1182.09 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 654721 0 0 0 118102 107 0 0 20 0 1 0 345542233 2720342016 653055 33554432000 4194304 9016284 140736690565168 140736690560760 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 664146 653055 539 1178 0 662964 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2656584
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1077
/proc/meminfo: memFree=22021388/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=2736648 CPUtime=1242.08 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 674006 0 0 0 124098 110 0 0 20 0 1 0 345542233 2802327552 672588 33554432000 4194304 9016284 140736690565168 140736690560760 6480393 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 684162 672588 539 1178 0 682980 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2736648
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1078
/proc/meminfo: memFree=21675704/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=2831416 CPUtime=1302.06 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 697239 0 0 0 130093 113 0 0 20 0 1 0 345542233 2899369984 696306 33554432000 4194304 9016284 140736690565168 140736690560760 6480407 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 707854 696306 539 1178 0 706672 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2831416
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1078
/proc/meminfo: memFree=21333320/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=2902796 CPUtime=1362.05 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 715134 0 0 0 136088 117 0 0 20 0 1 0 345542233 2972463104 715010 33554432000 4194304 9016284 140736690565168 140736690560872 4845241 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 725699 715010 539 1178 0 724517 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2902796
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 1078
/proc/meminfo: memFree=21144008/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=2965168 CPUtime=1422.04 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 730623 0 0 0 142085 119 0 0 20 0 1 0 345542233 3036332032 730499 33554432000 4194304 9016284 140736690565168 140736690560760 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 741292 730499 539 1178 0 740110 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2965168
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 1081
/proc/meminfo: memFree=20813132/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3048320 CPUtime=1482.03 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 750261 0 0 0 148080 123 0 0 20 0 1 0 345542233 3121479680 750139 33554432000 4194304 9016284 140736690565168 140736690560760 6480407 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 762080 750139 539 1178 0 760898 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 3048320
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1081
/proc/meminfo: memFree=20720664/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3116808 CPUtime=1542.01 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 767047 0 0 0 154077 124 0 0 20 0 1 0 345542233 3191611392 766938 33554432000 4194304 9016284 140736690565168 140736690560760 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 779202 766938 539 1178 0 778020 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3116808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20484724/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3190200 CPUtime=1602 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 785126 0 0 0 160073 127 0 0 20 0 1 0 345542233 3266764800 785107 33554432000 4194304 9016284 140736690565168 140736690560360 6480364 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 797550 785107 539 1178 0 796368 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 3190200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20223360/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3255916 CPUtime=1661.99 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 801204 0 0 0 166070 129 0 0 20 0 1 0 345542233 3334057984 801196 33554432000 4194304 9016284 140736690565168 140736690560760 6594395 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 813979 801196 539 1178 0 812797 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 3255916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20125212/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3323456 CPUtime=1721.98 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 817092 0 0 0 172066 132 0 0 20 0 1 0 345542233 3403218944 817188 33554432000 4194304 9016284 140736690565168 140736690560760 6480393 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 830864 817188 539 1178 0 829682 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 3323456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20038536/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3387032 CPUtime=1781.97 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 833026 0 0 0 178062 135 0 0 20 0 1 0 345542233 3468320768 833432 33554432000 4194304 9016284 140736690565168 140736690560760 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 846758 833432 539 1178 0 845576 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3387032
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 1082
/proc/meminfo: memFree=20034444/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3390924 CPUtime=1785.17 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 833974 0 0 0 178382 135 0 0 20 0 1 0 345542233 3472306176 834380 33554432000 4194304 9016284 140736690565168 140736690560760 4460307 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 847731 834380 539 1178 0 846549 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 3390924
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20026864/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3397784 CPUtime=1791.57 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 835755 0 0 0 179022 135 0 0 20 0 1 0 345542233 3479330816 836183 33554432000 4194304 9016284 140736690565168 140736690560760 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 849446 836183 539 1178 0 848264 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 3397784
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20021408/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3401648 CPUtime=1794.77 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 836762 0 0 0 179342 135 0 0 20 0 1 0 345542233 3483287552 837190 33554432000 4194304 9016284 140736690565168 140736690560760 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 850412 837190 539 1178 0 849230 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 3401648
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20020168/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3404556 CPUtime=1796.36 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 837278 0 0 0 179501 135 0 0 20 0 1 0 345542233 3486265344 837706 33554432000 4194304 9016284 140736690565168 140736690560760 4889380 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 851139 837706 539 1178 0 849957 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 3404556
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20020168/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3404556 CPUtime=1796.76 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 837395 0 0 0 179541 135 0 0 20 0 1 0 345542233 3486265344 837823 33554432000 4194304 9016284 140736690565168 140736690560760 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 851139 837823 539 1178 0 849957 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 3404556
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20228364/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3178844 CPUtime=1796.97 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 837707 0 0 0 179560 137 0 0 20 0 1 0 345542233 3255136256 783782 33554432000 4194304 9016284 140736690565168 140736690560760 6817804 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 794711 783782 552 1178 0 793529 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 3178844
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=20228364/32873660 swapFree=7120/7120
[pid=1024] ppid=1022 vsize=3112244 CPUtime=1797.07 cores=0,2,4,6
/proc/1024/stat : 1024 (scip-2.0.1.4b_2) R 1022 1024 31309 0 -1 4202496 837716 0 0 0 179561 146 0 0 20 0 1 0 345542233 3186937856 131772 33554432000 4194304 9016284 140736690565168 140736690564568 8107690 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1024/statm: 778061 131772 561 1178 0 776879 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (KiB) 3112244
Child status: 0
Real time (s): 1797.44
CPU time (s): 1797.12
CPU user time (s): 1795.62
CPU system time (s): 1.49977
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 3404556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.62
system time used= 1.49977
maximum resident set size= 3352512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 837721
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= 46
involuntary context switches= 2722
runsolver used 3.55246 second user time and 11.7392 second system time
The end