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-3743009-1338793374.opb>
0.29/0.31 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.29/0.31 c problem read
0.29/0.31 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.61 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.59/0.69 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.71 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.74 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.75 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
146.76/146.81 c (round 11) 3720 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9064130 impls, 551 clqs
146.86/146.91 c (round 12) 3720 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9064130 impls, 551 clqs
182.26/182.32 c (182.3s) probing: 1000/37282 (2.7%) - 63 fixings, 9 aggregations, 1137638 implications, 0 bound changes
244.55/244.61 c (244.6s) probing: 2000/37282 (5.4%) - 64 fixings, 31 aggregations, 3590092 implications, 0 bound changes
313.74/313.86 c (313.9s) probing: 3000/37282 (8.0%) - 68 fixings, 41 aggregations, 6256493 implications, 0 bound changes
464.82/464.92 c (round 13) 3770 del vars, 4153 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36242364 impls, 551 clqs
464.82/464.97 c (round 14) 3770 del vars, 4203 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36242364 impls, 551 clqs
466.02/466.13 c (466.1s) probing: 4000/37282 (10.7%) - 68 fixings, 47 aggregations, 10885245 implications, 0 bound changes
532.41/532.50 c (532.5s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12713599 implications, 0 bound changes
686.19/686.35 c (686.3s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 17110988 implications, 0 bound changes
860.25/860.42 c (860.4s) probing: 7000/37282 (18.8%) - 74 fixings, 65 aggregations, 21551505 implications, 0 bound changes
1023.23/1023.44 c (1023.4s) probing: 8000/37282 (21.5%) - 76 fixings, 72 aggregations, 25484211 implications, 0 bound changes
1199.99/1200.26 c (1200.3s) probing: 9000/37282 (24.1%) - 77 fixings, 79 aggregations, 29739524 implications, 0 bound changes
1368.87/1369.16 c (1369.2s) probing: 10000/37282 (26.8%) - 79 fixings, 85 aggregations, 33726506 implications, 0 bound changes
1421.36/1421.69 c (round 15) 3820 del vars, 4203 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 88394896 impls, 551 clqs
1421.46/1421.74 c (round 16) 3820 del vars, 4253 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 88394896 impls, 551 clqs
1524.85/1525.14 c (1525.1s) probing: 11000/37282 (29.5%) - 81 fixings, 92 aggregations, 37397268 implications, 0 bound changes
1695.22/1695.58 c (1695.6s) probing: 12000/37282 (32.2%) - 83 fixings, 98 aggregations, 41426221 implications, 0 bound changes
1796.80/1797.18 c (1797.2s) probing: 12544/37282 (33.6%) - 83 fixings, 101 aggregations, 43868955 implications, 0 bound changes
1796.80/1797.18 c (1797.2s) probing aborted: solving stopped
1796.80/1797.18 c (round 17) 3839 del vars, 4253 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 106844818 impls, 551 clqs
1796.80/1797.18 c presolving (17 rounds):
1796.80/1797.18 c 3839 deleted vars, 4253 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.80/1797.18 c 106844818 implications, 551 cliques
1796.80/1797.18 c presolving was interrupted.
1796.80/1797.18 c Presolving Time: 1796.74
1796.80/1797.18 c - non default parameters ----------------------------------------------------------------------
1796.80/1797.18 c # SCIP version 2.0.1.5
1796.80/1797.18 c
1796.80/1797.18 c # frequency for displaying node information lines
1796.80/1797.18 c # [type: int, range: [-1,2147483647], default: 100]
1796.80/1797.18 c display/freq = 10000
1796.80/1797.18 c
1796.80/1797.18 c # maximal time in seconds to run
1796.80/1797.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.80/1797.18 c limits/time = 1797
1796.80/1797.18 c
1796.80/1797.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.80/1797.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.80/1797.18 c limits/memory = 13950
1796.80/1797.18 c
1796.80/1797.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.80/1797.18 c # [type: int, range: [1,2], default: 1]
1796.80/1797.18 c timing/clocktype = 2
1796.80/1797.18 c
1796.80/1797.18 c # belongs reading time to solving time?
1796.80/1797.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.80/1797.18 c timing/reading = TRUE
1796.80/1797.18 c
1796.80/1797.18 c # should presolving try to simplify inequalities
1796.80/1797.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.80/1797.18 c constraints/linear/simplifyinequalities = TRUE
1796.80/1797.18 c
1796.80/1797.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.80/1797.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.80/1797.18 c constraints/indicator/addCouplingCons = TRUE
1796.80/1797.18 c
1796.80/1797.18 c # should presolving try to simplify knapsacks
1796.80/1797.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.80/1797.18 c constraints/knapsack/simplifyinequalities = TRUE
1796.80/1797.18 c
1796.80/1797.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.80/1797.18 c # [type: int, range: [-1,2147483647], default: -1]
1796.80/1797.18 c separating/rapidlearning/freq = 0
1796.80/1797.18 c
1796.80/1797.18 c -----------------------------------------------------------------------------------------------
1796.80/1797.18 c start solving
1796.80/1797.19 c presolving:
1796.80/1797.19 c presolving (17 rounds):
1796.80/1797.19 c 3839 deleted vars, 4253 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1796.80/1797.19 c 106844818 implications, 551 cliques
1796.80/1797.19 c presolving was interrupted.
1796.80/1797.19 c Presolving Time: 1796.76
1796.80/1797.19 c
1796.80/1797.19 c SCIP Status : solving was interrupted [time limit reached]
1796.80/1797.19 c Solving Time (sec) : 1797.19
1796.80/1797.19 c Solving Nodes : 0
1796.80/1797.19 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.80/1797.19 s UNKNOWN
1796.80/1797.19 c SCIP Status : solving was interrupted [time limit reached]
1796.80/1797.19 c Total Time : 1797.19
1796.80/1797.19 c solving : 1797.19
1796.80/1797.19 c presolving : 1796.76 (included in solving)
1796.80/1797.19 c reading : 0.31 (included in solving)
1796.80/1797.19 c Original Problem :
1796.80/1797.19 c Problem name : HOME/instance-3743009-1338793374.opb
1796.80/1797.19 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.80/1797.19 c Constraints : 41436 initial, 41436 maximal
1796.80/1797.19 c Presolved Problem :
1796.80/1797.19 c Problem name : t_HOME/instance-3743009-1338793374.opb
1796.80/1797.19 c Variables : 37098 (37098 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.80/1797.19 c Constraints : 37183 initial, 37183 maximal
1796.80/1797.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.80/1797.19 c trivial : 0.03 123 0 0 0 0 0 0 0 0
1796.80/1797.19 c dualfix : 0.03 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c implics : 0.03 0 1 0 0 0 0 0 0 0
1796.80/1797.19 c probing : 1795.91 83 101 0 0 0 0 0 0 0
1796.80/1797.19 c knapsack : 0.11 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c setppc : 0.04 0 0 0 0 0 95 0 0 0
1796.80/1797.19 c linear : 0.37 3531 0 0 3531 0 4088 0 0 0
1796.80/1797.19 c logicor : 0.08 0 0 0 0 0 70 0 0 0
1796.80/1797.19 c root node : - 0 - - 0 - - - - -
1796.80/1797.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.80/1797.19 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c knapsack : 0+ 0 176107 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c setppc : 0+ 0 176106 0 0 0 0 22 0 0 0 0
1796.80/1797.19 c linear : 0+ 0 1651 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c logicor : 0+ 0 162744 0 0 0 0 3 0 0 0 0
1796.80/1797.19 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.80/1797.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.80/1797.19 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.80/1797.19 c knapsack : 2.17 0.00 2.17 0.00 0.00 0.00 0.00
1796.80/1797.19 c setppc : 19.78 0.00 19.78 0.00 0.00 0.00 0.00
1796.80/1797.19 c linear : 1.59 0.00 1.59 0.00 0.00 0.00 0.00
1796.80/1797.19 c logicor : 68.89 0.00 68.89 0.00 0.00 0.00 0.00
1796.80/1797.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.80/1797.19 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.80/1797.19 c vbounds : 0 0 0 0
1796.80/1797.19 c rootredcost : 0 0 0 0
1796.80/1797.19 c pseudoobj : 0 0 0 0
1796.80/1797.19 c Propagator Timings : TotalTime Propagate Resprop
1796.80/1797.19 c vbounds : 0.03 0.03 0.00
1796.80/1797.19 c rootredcost : 0.02 0.02 0.00
1796.80/1797.19 c pseudoobj : 0.02 0.02 0.00
1796.80/1797.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.80/1797.19 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.80/1797.19 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.80/1797.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.80/1797.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.80/1797.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.80/1797.19 c applied globally : - - - 0 0.0 - - -
1796.80/1797.19 c applied locally : - - - 0 0.0 - - -
1797.10/1797.45 c Time complete: 1797.15.
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-3743009-1338793374/watcher-3743009-1338793374 -o /tmp/evaluation-result-3743009-1338793374/solver-3743009-1338793374 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743009-1338793374.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 981
/proc/meminfo: memFree=25715040/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 1411 0 0 0 0 0 0 0 20 0 1 0 345463197 9547776 1365 33554432000 4194304 9016284 140736282422960 140736282422472 5908496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 2331 1368 281 1178 0 1149 0
[startup+0.0311889 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 981
/proc/meminfo: memFree=25715040/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=19432 CPUtime=0.02 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 3829 0 0 0 2 0 0 0 20 0 1 0 345463197 19898368 3783 33554432000 4194304 9016284 140736282422960 140736282422472 4195040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 4858 3783 360 1178 0 3676 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19432
[startup+0.100274 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 981
/proc/meminfo: memFree=25715040/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=30020 CPUtime=0.09 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 6501 0 0 0 9 0 0 0 20 0 1 0 345463197 30740480 6455 33554432000 4194304 9016284 140736282422960 140736282422472 7874886 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 7505 6455 360 1178 0 6323 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30020
[startup+0.300236 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 981
/proc/meminfo: memFree=25715040/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=60164 CPUtime=0.29 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 14011 0 0 0 28 1 0 0 20 0 1 0 345463197 61607936 13965 33554432000 4194304 9016284 140736282422960 140736282422472 6180851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 15041 13965 360 1178 0 13859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60164
[startup+0.700258 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 981
/proc/meminfo: memFree=25715040/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=144580 CPUtime=0.69 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 35265 0 0 0 64 5 0 0 20 0 1 0 345463197 148049920 34660 33554432000 4194304 9016284 140736282422960 140736282422472 5975146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 36145 34660 492 1178 0 34963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144580
[startup+1.50026 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 982
/proc/meminfo: memFree=25546640/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=201152 CPUtime=1.49 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 50446 0 0 0 142 7 0 0 20 0 1 0 345463197 205979648 48552 33554432000 4194304 9016284 140736282422960 140736282418632 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 50288 48552 520 1178 0 49106 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201152
[startup+3.10012 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 982
/proc/meminfo: memFree=25484012/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=317620 CPUtime=3.08 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 78324 0 0 0 297 11 0 0 20 0 1 0 345463197 325242880 76430 33554432000 4194304 9016284 140736282422960 140736282418344 4919372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 79405 76430 520 1178 0 78223 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 317620
[startup+6.30031 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 982
/proc/meminfo: memFree=25372792/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=381536 CPUtime=6.29 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 93200 0 0 0 616 13 0 0 20 0 1 0 345463197 390692864 91306 33554432000 4194304 9016284 140736282422960 140736282418552 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 95384 91306 520 1178 0 94202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 381536
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 982
/proc/meminfo: memFree=25319040/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=415968 CPUtime=12.68 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 101548 0 0 0 1253 15 0 0 20 0 1 0 345463197 425951232 99654 33554432000 4194304 9016284 140736282422960 140736282418344 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 103992 99654 520 1178 0 102810 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 415968
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 982
/proc/meminfo: memFree=25276928/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=456828 CPUtime=25.49 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 111792 0 0 0 2531 18 0 0 20 0 1 0 345463197 467791872 109898 33554432000 4194304 9016284 140736282422960 140736282418344 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 114207 109898 520 1178 0 113025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 456828
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 982
/proc/meminfo: memFree=25225296/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=505532 CPUtime=51.09 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 124241 0 0 0 5089 20 0 0 20 0 1 0 345463197 517664768 122347 33554432000 4194304 9016284 140736282422960 140736282418408 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 126383 122347 520 1178 0 125201 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 505532
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 982
/proc/meminfo: memFree=25091544/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=646572 CPUtime=102.28 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 157890 0 0 0 10202 26 0 0 20 0 1 0 345463197 662089728 155996 33554432000 4194304 9016284 140736282422960 140736282418712 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 161643 155996 520 1178 0 160461 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 646572
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 982
/proc/meminfo: memFree=24951364/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=784728 CPUtime=162.27 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 192490 0 0 0 16195 32 0 0 20 0 1 0 345463197 803561472 190596 33554432000 4194304 9016284 140736282422960 140736282418552 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 196182 190596 534 1178 0 195000 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 784728
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 983
/proc/meminfo: memFree=24701412/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1030868 CPUtime=222.25 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 254222 0 0 0 22184 41 0 0 20 0 1 0 345463197 1055608832 252328 33554432000 4194304 9016284 140736282422960 140736282418552 6469459 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 257717 252328 539 1178 0 256535 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1030868
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 983
/proc/meminfo: memFree=24492732/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1237564 CPUtime=282.24 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 305294 0 0 0 28175 49 0 0 20 0 1 0 345463197 1267265536 303400 33554432000 4194304 9016284 140736282422960 140736282418344 4460361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 309391 303400 539 1178 0 308209 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1237564
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 983
/proc/meminfo: memFree=24353920/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1374432 CPUtime=342.24 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 339427 0 0 0 34169 55 0 0 20 0 1 0 345463197 1407418368 337533 33554432000 4194304 9016284 140736282422960 140736282418552 4875334 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 343608 337533 539 1178 0 342426 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1374432
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 983
/proc/meminfo: memFree=24281920/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1442512 CPUtime=402.23 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 357044 0 0 0 40165 58 0 0 20 0 1 0 345463197 1477132288 355150 33554432000 4194304 9016284 140736282422960 140736282418552 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 360628 355150 539 1178 0 359446 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1442512
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 986
/proc/meminfo: memFree=24217124/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1508440 CPUtime=462.22 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 373145 0 0 0 46162 60 0 0 20 0 1 0 345463197 1544642560 371251 33554432000 4194304 9016284 140736282422960 140736282418552 4460399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 377110 371251 539 1178 0 375928 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1508440
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 986
/proc/meminfo: memFree=24089696/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1633928 CPUtime=522.21 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 404132 0 0 0 52156 65 0 0 20 0 1 0 345463197 1673142272 402238 33554432000 4194304 9016284 140736282422960 140736282418552 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 408482 402238 539 1178 0 407300 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1633928
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 987
/proc/meminfo: memFree=23999412/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=1720200 CPUtime=582.2 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 425620 0 0 0 58151 69 0 0 20 0 1 0 345463197 1761484800 423726 33554432000 4194304 9016284 140736282422960 140736282418552 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 430050 423726 539 1178 0 428868 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1720200
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23169168/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2541044 CPUtime=1122.11 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 626146 0 0 0 112107 104 0 0 20 0 1 0 345463197 2602029056 625470 33554432000 4194304 9016284 140736282422960 140736282418552 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 635261 625470 539 1178 0 634079 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2541044
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=23041228/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2619164 CPUtime=1182.09 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 645654 0 0 0 118102 107 0 0 20 0 1 0 345463197 2682023936 645486 33554432000 4194304 9016284 140736282422960 140736282418552 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 654791 645486 539 1178 0 653609 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2619164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=22863996/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2690752 CPUtime=1242.09 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 662913 0 0 0 124098 111 0 0 20 0 1 0 345463197 2755330048 662745 33554432000 4194304 9016284 140736282422960 140736282418552 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 672688 662745 539 1178 0 671506 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2690752
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=22679884/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2773840 CPUtime=1302.08 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 683205 0 0 0 130094 114 0 0 20 0 1 0 345463197 2840412160 683055 33554432000 4194304 9016284 140736282422960 140736282418552 4911610 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 693460 683055 539 1178 0 692278 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2773840
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1030
/proc/meminfo: memFree=22501228/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2847096 CPUtime=1362.07 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 700954 0 0 0 136091 116 0 0 20 0 1 0 345463197 2915426304 700869 33554432000 4194304 9016284 140736282422960 140736282418552 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 711774 700869 539 1178 0 710592 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2847096
[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 1031
/proc/meminfo: memFree=22335724/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2939164 CPUtime=1422.07 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 723428 0 0 0 142086 121 0 0 20 0 1 0 345463197 3009703936 723365 33554432000 4194304 9016284 140736282422960 140736282418632 4848931 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 734791 723365 539 1178 0 733609 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2939164
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1033
/proc/meminfo: memFree=22160068/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3011512 CPUtime=1482.05 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 741311 0 0 0 148081 124 0 0 20 0 1 0 345463197 3083788288 741321 33554432000 4194304 9016284 140736282422960 140736282418552 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 752878 741321 539 1178 0 751696 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3011512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1033
/proc/meminfo: memFree=21969264/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3093604 CPUtime=1542.04 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 761098 0 0 0 154076 128 0 0 20 0 1 0 345463197 3167850496 761330 33554432000 4194304 9016284 140736282422960 140736282418552 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 773401 761330 539 1178 0 772219 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3093604
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1033
/proc/meminfo: memFree=21827188/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3160288 CPUtime=1602.03 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 777732 0 0 0 160072 131 0 0 20 0 1 0 345463197 3236134912 778337 33554432000 4194304 9016284 140736282422960 140736282418552 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 790072 778337 539 1178 0 788890 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3160288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1036
/proc/meminfo: memFree=21657704/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3240404 CPUtime=1662.02 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 796620 0 0 0 166069 133 0 0 20 0 1 0 345463197 3318173696 797626 33554432000 4194304 9016284 140736282422960 140736282418552 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 810101 797626 539 1178 0 808919 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3240404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1036
/proc/meminfo: memFree=21524008/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3302060 CPUtime=1722.01 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 811628 0 0 0 172066 135 0 0 20 0 1 0 345463197 3381309440 812852 33554432000 4194304 9016284 140736282422960 140736282418552 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 825515 812852 539 1178 0 824333 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3302060
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21355644/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3377316 CPUtime=1782 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 830109 0 0 0 178062 138 0 0 20 0 1 0 345463197 3458371584 831732 33554432000 4194304 9016284 140736282422960 140736282418552 4916910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 844329 831732 539 1178 0 843147 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3377316
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 1037
/proc/meminfo: memFree=21335308/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3380272 CPUtime=1785.2 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 830824 0 0 0 178382 138 0 0 20 0 1 0 345463197 3461398528 832447 33554432000 4194304 9016284 140736282422960 140736282418552 6480433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 845068 832447 539 1178 0 843886 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 3380272
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21320784/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3385200 CPUtime=1791.6 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 832293 0 0 0 179022 138 0 0 20 0 1 0 345463197 3466444800 833947 33554432000 4194304 9016284 140736282422960 140736282418552 4916910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 846300 833947 539 1178 0 845118 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 3385200
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21314708/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3389132 CPUtime=1794.81 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 833101 0 0 0 179342 139 0 0 20 0 1 0 345463197 3470471168 834755 33554432000 4194304 9016284 140736282422960 140736282418552 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 847283 834755 539 1178 0 846101 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 3389132
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21312104/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3390100 CPUtime=1796.4 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 833699 0 0 0 179501 139 0 0 20 0 1 0 345463197 3471462400 835353 33554432000 4194304 9016284 140736282422960 140736282418552 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 847525 835353 539 1178 0 846343 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 3390100
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21312104/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3391068 CPUtime=1796.8 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 833847 0 0 0 179541 139 0 0 20 0 1 0 345463197 3472453632 835501 33554432000 4194304 9016284 140736282422960 140736282418552 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 847767 835501 539 1178 0 846585 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 3391068
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21326240/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=3372508 CPUtime=1797 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 833933 0 0 0 179561 139 0 0 20 0 1 0 345463197 3453448192 830699 33554432000 4194304 9016284 140736282422960 140736282418552 7933303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 842871 830699 548 1178 0 841689 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 3372508
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1037
/proc/meminfo: memFree=21326240/32873660 swapFree=7120/7120
[pid=981] ppid=979 vsize=2708888 CPUtime=1797.1 cores=1,3,5,7
/proc/981/stat : 981 (scip-2.0.1.4b_2) R 979 981 31309 0 -1 4202496 833946 0 0 0 179565 145 0 0 20 0 1 0 345463197 2773901312 391113 33554432000 4194304 9016284 140736282422960 140736282418552 8107690 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/981/statm: 677222 390656 561 1178 0 676040 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 2708888
Child status: 0
Real time (s): 1797.46
CPU time (s): 1797.17
CPU user time (s): 1795.66
CPU system time (s): 1.50977
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 3391068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 1.50977
maximum resident set size= 3342336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833951
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= 42
involuntary context switches= 1841
runsolver used 5.43117 second user time and 18.6032 second system time
The end