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-3489788-1307793946.opb>
0.89/0.98 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184430 constraints
0.89/0.98 c problem read
0.89/0.98 c presolving settings loaded
1.30/1.31 c presolving:
7.19/7.20 c (round 1) 4640 del vars, 13620 del conss, 0 add conss, 3483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12489302 impls, 0 clqs
9.49/9.59 c (round 2) 9454 del vars, 32229 del conss, 0 add conss, 8073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12514821 impls, 0 clqs
10.29/10.31 c (round 3) 11314 del vars, 40495 del conss, 0 add conss, 9141 chg bounds, 55 chg sides, 42 chg coeffs, 0 upgd conss, 12526338 impls, 0 clqs
10.59/10.62 c (round 4) 12016 del vars, 43530 del conss, 0 add conss, 9532 chg bounds, 78 chg sides, 68 chg coeffs, 0 upgd conss, 12531324 impls, 0 clqs
10.79/10.84 c (round 5) 12341 del vars, 44865 del conss, 0 add conss, 9748 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12533282 impls, 0 clqs
10.90/10.99 c (round 6) 12582 del vars, 45812 del conss, 0 add conss, 9880 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535326 impls, 0 clqs
11.00/11.06 c (round 7) 12674 del vars, 46276 del conss, 0 add conss, 9929 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535906 impls, 0 clqs
11.09/11.14 c (round 8) 12740 del vars, 46517 del conss, 0 add conss, 9973 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536346 impls, 0 clqs
11.09/11.19 c (round 9) 12772 del vars, 46673 del conss, 0 add conss, 9992 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536476 impls, 0 clqs
11.19/11.24 c (round 10) 12788 del vars, 46757 del conss, 0 add conss, 10005 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536532 impls, 0 clqs
11.19/11.29 c (round 11) 12802 del vars, 46810 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
11.29/11.33 c (round 12) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
11.80/11.83 c (round 13) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 137606 upgd conss, 12536602 impls, 0 clqs
12.10/12.12 c (round 14) 12802 del vars, 46829 del conss, 69 add conss, 10012 chg bounds, 197 chg sides, 587 chg coeffs, 137606 upgd conss, 12537312 impls, 2485 clqs
12.29/12.31 c (round 15) 12802 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 605 chg coeffs, 137606 upgd conss, 12537382 impls, 2664 clqs
622.71/622.71 c (622.7s) probing: 1000/41980 (2.4%) - 17 fixings, 1 aggregations, 10232458 implications, 0 bound changes
1055.72/1055.78 c (1055.8s) probing: 2000/41980 (4.8%) - 17 fixings, 1 aggregations, 16800512 implications, 0 bound changes
1120.43/1120.48 c (1120.5s) probing: 2151/41980 (5.1%) - 17 fixings, 1 aggregations, 17692592 implications, 0 bound changes
1120.43/1120.48 c (1120.5s) probing aborted: 2000/2000 successive useless probings
1120.43/1120.48 c (round 16) 12820 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 606 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
1120.93/1120.95 c (round 17) 12820 del vars, 47692 del conss, 75 add conss, 10012 chg bounds, 204 chg sides, 811 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
1121.23/1121.24 c (round 18) 12820 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 223 chg sides, 875 chg coeffs, 137606 upgd conss, 73882256 impls, 2923 clqs
1257.53/1257.58 c (round 19) 12870 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 881 chg coeffs, 137606 upgd conss, 76741578 impls, 2923 clqs
1258.63/1258.65 c (round 20) 12872 del vars, 47870 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 76784028 impls, 2923 clqs
1408.54/1408.59 c (round 21) 12924 del vars, 47872 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 81160960 impls, 2927 clqs
1409.14/1409.15 c (round 22) 12926 del vars, 48067 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 81160966 impls, 2927 clqs
1582.24/1582.25 c (1582.2s) probing: 3000/41980 (7.1%) - 113 fixings, 35 aggregations, 22868744 implications, 0 bound changes
1797.15/1797.10 c (1797.1s) probing: 3504/41980 (8.3%) - 123 fixings, 39 aggregations, 27690606 implications, 0 bound changes
1797.15/1797.10 c (1797.1s) probing aborted: solving stopped
1797.15/1797.10 c (round 23) 12968 del vars, 48069 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 101745996 impls, 2930 clqs
1797.15/1797.10 c presolving (23 rounds):
1797.15/1797.10 c 12968 deleted vars, 48069 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 896 changed coefficients
1797.15/1797.10 c 101745996 implications, 2930 cliques
1797.15/1797.10 c presolving was interrupted.
1797.15/1797.10 c Presolving Time: 1795.88
1797.15/1797.10 c - non default parameters ----------------------------------------------------------------------
1797.15/1797.10 c # SCIP version 2.0.1.5
1797.15/1797.10 c
1797.15/1797.10 c # frequency for displaying node information lines
1797.15/1797.10 c # [type: int, range: [-1,2147483647], default: 100]
1797.15/1797.10 c display/freq = 10000
1797.15/1797.10 c
1797.15/1797.10 c # maximal time in seconds to run
1797.15/1797.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.15/1797.10 c limits/time = 1797
1797.15/1797.10 c
1797.15/1797.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.15/1797.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.15/1797.10 c limits/memory = 13950
1797.15/1797.10 c
1797.15/1797.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.15/1797.10 c # [type: int, range: [1,2], default: 1]
1797.15/1797.10 c timing/clocktype = 2
1797.15/1797.10 c
1797.15/1797.10 c # belongs reading time to solving time?
1797.15/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.15/1797.10 c timing/reading = TRUE
1797.15/1797.10 c
1797.15/1797.10 c # should presolving try to simplify inequalities
1797.15/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.15/1797.10 c constraints/linear/simplifyinequalities = TRUE
1797.15/1797.10 c
1797.15/1797.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.15/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.15/1797.10 c constraints/indicator/addCouplingCons = TRUE
1797.15/1797.10 c
1797.15/1797.10 c # should presolving try to simplify knapsacks
1797.15/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.15/1797.10 c constraints/knapsack/simplifyinequalities = TRUE
1797.15/1797.10 c
1797.15/1797.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.15/1797.10 c # [type: int, range: [-1,2147483647], default: -1]
1797.15/1797.10 c separating/rapidlearning/freq = 0
1797.15/1797.10 c
1797.15/1797.10 c -----------------------------------------------------------------------------------------------
1797.15/1797.10 c start solving
1797.15/1797.13 c presolving:
1797.15/1797.13 c presolving (23 rounds):
1797.15/1797.13 c 12968 deleted vars, 48069 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 896 changed coefficients
1797.15/1797.13 c 101745996 implications, 2930 cliques
1797.15/1797.13 c presolving was interrupted.
1797.15/1797.13 c Presolving Time: 1795.91
1797.15/1797.13 c
1797.15/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.15/1797.13 c Solving Time (sec) : 1797.13
1797.15/1797.13 c Solving Nodes : 0
1797.15/1797.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.15/1797.13 s UNKNOWN
1797.15/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.15/1797.13 c Total Time : 1797.13
1797.15/1797.13 c solving : 1797.13
1797.15/1797.13 c presolving : 1795.91 (included in solving)
1797.15/1797.13 c reading : 0.98 (included in solving)
1797.15/1797.13 c Original Problem :
1797.15/1797.13 c Problem name : HOME/instance-3489788-1307793946.opb
1797.15/1797.13 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.15/1797.13 c Constraints : 184430 initial, 184430 maximal
1797.15/1797.13 c Presolved Problem :
1797.15/1797.13 c Problem name : t_HOME/instance-3489788-1307793946.opb
1797.15/1797.13 c Variables : 41814 (41814 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.15/1797.13 c Constraints : 136455 initial, 136455 maximal
1797.15/1797.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.15/1797.13 c trivial : 0.05 836 0 0 0 0 0 0 0 0
1797.15/1797.13 c dualfix : 0.07 92 0 0 0 0 0 0 0 0
1797.15/1797.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.13 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.15/1797.13 c implics : 1.84 0 4 0 0 0 0 0 0 0
1797.15/1797.13 c probing : 1781.28 123 39 0 0 0 0 0 0 0
1797.15/1797.13 c knapsack : 1.66 0 0 0 0 0 23 94 143 825
1797.15/1797.13 c setppc : 0.60 0 0 0 0 0 1189 0 0 0
1797.15/1797.13 c linear : 9.95 9176 2698 0 10012 0 46824 0 81 71
1797.15/1797.13 c logicor : 0.18 0 0 0 0 0 33 0 0 0
1797.15/1797.13 c root node : - 0 - - 0 - - - - -
1797.15/1797.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.15/1797.13 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.15/1797.13 c knapsack : 0+ 0 153400 0 0 0 0 21 0 0 0 0
1797.15/1797.13 c setppc : 0+ 0 153379 0 0 0 0 37 0 0 0 0
1797.15/1797.13 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.15/1797.13 c logicor : 0+ 0 141149 0 0 0 0 20 0 0 0 0
1797.15/1797.13 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.15/1797.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.15/1797.13 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.13 c knapsack : 7.47 0.00 7.47 0.00 0.00 0.00 0.00
1797.15/1797.13 c setppc : 643.71 0.00 643.71 0.00 0.00 0.00 0.00
1797.15/1797.13 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.13 c logicor : 11.01 0.00 11.01 0.00 0.00 0.00 0.00
1797.15/1797.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.15/1797.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.15/1797.13 c vbounds : 0 0 0 0
1797.15/1797.13 c rootredcost : 0 0 0 0
1797.15/1797.13 c pseudoobj : 0 0 0 0
1797.15/1797.13 c Propagator Timings : TotalTime Propagate Resprop
1797.15/1797.13 c vbounds : 0.06 0.06 0.00
1797.15/1797.13 c rootredcost : 0.04 0.04 0.00
1797.15/1797.13 c pseudoobj : 0.02 0.02 0.00
1797.15/1797.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.15/1797.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.15/1797.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.15/1797.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.15/1797.13 c applied globally : - - - 0 0.0 - - -
1797.15/1797.13 c applied locally : - - - 0 0.0 - - -
1797.55/1797.59 c Time complete: 1797.65.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489788-1307793946/watcher-3489788-1307793946 -o /tmp/evaluation-result-3489788-1307793946/solver-3489788-1307793946 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489788-1307793946.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.07 2.03 2.00 3/177 9966
/proc/meminfo: memFree=29936944/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=12568 CPUtime=0 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 2130 0 0 0 0 0 0 0 25 0 1 0 969625325 12869632 2085 33554432000 4194304 9016284 140733702756240 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9966/statm: 3142 2089 353 1178 0 1960 0
[startup+0.00607406 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9966
/proc/meminfo: memFree=29936944/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=12880 CPUtime=0 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 2218 0 0 0 0 0 0 0 25 0 1 0 969625325 13189120 2173 33554432000 4194304 9016284 140733702756240 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9966/statm: 3220 2174 360 1178 0 2038 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12880
[startup+0.101053 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9966
/proc/meminfo: memFree=29936944/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=32396 CPUtime=0.09 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 969625325 33173504 7053 33554432000 4194304 9016284 140733702756240 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9966/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.301016 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9966
/proc/meminfo: memFree=29936944/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=54064 CPUtime=0.29 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 12492 0 0 0 28 1 0 0 25 0 1 0 969625325 55361536 12447 33554432000 4194304 9016284 140733702756240 18446744073709551615 7870448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9966/statm: 13516 12447 360 1178 0 12334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54064
[startup+0.700943 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9966
/proc/meminfo: memFree=29936944/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=90032 CPUtime=0.69 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 21495 0 0 0 67 2 0 0 25 0 1 0 969625325 92192768 21450 33554432000 4194304 9016284 140733702756240 18446744073709551615 4328022 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9966/statm: 22508 21450 360 1178 0 21326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90032
[startup+1.5008 s]
/proc/loadavg: 2.07 2.03 2.00 5/178 9967
/proc/meminfo: memFree=29801676/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=306508 CPUtime=1.49 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 74675 0 0 0 142 7 0 0 25 0 1 0 969625325 313864192 74577 33554432000 4194304 9016284 140733702756240 18446744073709551615 6817562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 76627 74577 474 1178 0 75445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 306508
[startup+3.10051 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 9967
/proc/meminfo: memFree=29566820/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=452348 CPUtime=3.09 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 110964 0 0 0 298 11 0 0 25 0 1 0 969625325 463204352 110866 33554432000 4194304 9016284 140733702756240 18446744073709551615 4460312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 113087 110866 485 1178 0 111905 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 452348
[startup+6.30092 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 9967
/proc/meminfo: memFree=29343272/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=639948 CPUtime=6.29 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 156189 0 0 0 613 16 0 0 25 0 1 0 969625325 655306752 156091 33554432000 4194304 9016284 140733702756240 18446744073709551615 6817704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 159987 156091 492 1178 0 158805 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 639948
[startup+12.7008 s]
/proc/loadavg: 2.13 2.04 2.01 3/178 9967
/proc/meminfo: memFree=29199080/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=740448 CPUtime=12.69 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 188668 0 0 0 1249 20 0 0 25 0 1 0 969625325 758218752 181185 33554432000 4194304 9016284 140733702756240 18446744073709551615 6817720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 185112 181185 553 1178 0 183930 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 740448
[startup+25.5004 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 9967
/proc/meminfo: memFree=29111056/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=791104 CPUtime=25.49 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 200179 0 0 0 2528 21 0 0 25 0 1 0 969625325 810090496 192696 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 197776 192696 553 1178 0 196594 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 791104
[startup+51.1007 s]
/proc/loadavg: 2.06 2.03 2.01 3/178 9968
/proc/meminfo: memFree=29011344/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=837964 CPUtime=51.09 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 211357 0 0 0 5087 22 0 0 25 0 1 0 969625325 858075136 203874 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 209491 203874 553 1178 0 208309 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 837964
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 9970
/proc/meminfo: memFree=28777600/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=954172 CPUtime=102.3 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 240285 0 0 0 10205 25 0 0 25 0 1 0 969625325 977072128 232802 33554432000 4194304 9016284 140733702756240 18446744073709551615 4460421 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 238543 232802 553 1178 0 237361 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 954172
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 9971
/proc/meminfo: memFree=28503776/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1094120 CPUtime=162.29 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 273805 0 0 0 16200 29 0 0 25 0 1 0 969625325 1120378880 266322 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 273530 266322 553 1178 0 272348 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1094120
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9973
/proc/meminfo: memFree=28275064/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1221268 CPUtime=222.3 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 305474 0 0 0 22197 33 0 0 25 0 1 0 969625325 1250578432 297958 33554432000 4194304 9016284 140733702756240 18446744073709551615 4919493 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 305317 297958 553 1178 0 304135 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1221268
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9974
/proc/meminfo: memFree=28030736/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1394432 CPUtime=282.3 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 349216 0 0 0 28192 38 0 0 25 0 1 0 969625325 1427898368 341700 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480398 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 348608 341700 553 1178 0 347426 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1394432
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9976
/proc/meminfo: memFree=27707172/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1565936 CPUtime=342.3 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 391744 0 0 0 34186 44 0 0 25 0 1 0 969625325 1603518464 384228 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 391484 384228 553 1178 0 390302 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1565936
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9978
/proc/meminfo: memFree=27540840/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1676056 CPUtime=402.31 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 419090 0 0 0 40182 49 0 0 25 0 1 0 969625325 1716281344 411574 33554432000 4194304 9016284 140733702756240 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 419014 411574 553 1178 0 417832 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1676056
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9979
/proc/meminfo: memFree=27299720/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1836100 CPUtime=462.3 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 458775 0 0 0 46177 53 0 0 25 0 1 0 969625325 1880166400 451259 33554432000 4194304 9016284 140733702756240 18446744073709551615 4875342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 459025 451259 553 1178 0 457843 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1836100
[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9981
/proc/meminfo: memFree=27126572/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=1933140 CPUtime=522.31 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 483131 0 0 0 52175 56 0 0 25 0 1 0 969625325 1979535360 475615 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 483285 475615 553 1178 0 482103 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1933140
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9982
/proc/meminfo: memFree=26951812/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2057300 CPUtime=582.31 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 513938 0 0 0 58170 61 0 0 25 0 1 0 969625325 2106675200 506422 33554432000 4194304 9016284 140733702756240 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 514325 506422 553 1178 0 513143 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2057300
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25784460/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2565496 CPUtime=1062.33 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 640515 0 0 0 106154 79 0 0 25 0 1 0 969625325 2627067904 632999 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 641374 632999 558 1178 0 640192 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2565496
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9997
/proc/meminfo: memFree=25718688/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2635560 CPUtime=1122.33 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 658966 0 0 0 112152 81 0 0 25 0 1 0 969625325 2698813440 651450 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 658890 651450 558 1178 0 657708 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2635560
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9998
/proc/meminfo: memFree=25682688/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2669816 CPUtime=1182.33 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 668003 0 0 0 118151 82 0 0 25 0 1 0 969625325 2733891584 660487 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 667454 660487 558 1178 0 666272 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2669816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10000
/proc/meminfo: memFree=25685492/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2703476 CPUtime=1242.33 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 675471 0 0 0 124149 84 0 0 25 0 1 0 969625325 2768359424 667955 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 675869 667955 558 1178 0 674687 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2703476
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10002
/proc/meminfo: memFree=25673516/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2714320 CPUtime=1302.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 678410 0 0 0 130150 84 0 0 25 0 1 0 969625325 2779463680 670894 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 678580 670894 558 1178 0 677398 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2714320
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10003
/proc/meminfo: memFree=25624356/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2764504 CPUtime=1362.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 690698 0 0 0 136148 86 0 0 25 0 1 0 969625325 2830852096 683182 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 691126 683182 558 1178 0 689944 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2764504
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 10044
/proc/meminfo: memFree=28453880/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2827388 CPUtime=1422.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 705612 0 0 0 142147 87 0 0 25 0 1 0 969625325 2895245312 698096 33554432000 4194304 9016284 140733702756240 18446744073709551615 6476072 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 706847 698096 558 1178 0 705665 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2827388
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10045
/proc/meminfo: memFree=28356780/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2925160 CPUtime=1482.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 729975 0 0 0 148144 90 0 0 25 0 1 0 969625325 2995363840 722459 33554432000 4194304 9016284 140733702756240 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 731290 722459 558 1178 0 730108 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2925160
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10047
/proc/meminfo: memFree=28282900/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3016916 CPUtime=1542.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 753045 0 0 0 154141 93 0 0 25 0 1 0 969625325 3089321984 745529 33554432000 4194304 9016284 140733702756240 18446744073709551615 4875328 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 754229 745529 558 1178 0 753047 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3016916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10049
/proc/meminfo: memFree=28183400/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3108704 CPUtime=1602.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 775550 0 0 0 160138 96 0 0 25 0 1 0 969625325 3183312896 768034 33554432000 4194304 9016284 140733702756240 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 777176 768034 558 1178 0 775994 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3108704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10050
/proc/meminfo: memFree=28099028/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3192168 CPUtime=1662.35 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 796043 0 0 0 166136 99 0 0 25 0 1 0 969625325 3268780032 788527 33554432000 4194304 9016284 140733702756240 18446744073709551615 5510753 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 798042 788527 558 1178 0 796860 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3192168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10052
/proc/meminfo: memFree=28023584/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3268940 CPUtime=1722.35 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 815581 0 0 0 172134 101 0 0 25 0 1 0 969625325 3347394560 808065 33554432000 4194304 9016284 140733702756240 18446744073709551615 5150764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 817235 808065 558 1178 0 816053 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3268940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=27921220/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3373244 CPUtime=1782.34 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 840773 0 0 0 178130 104 0 0 25 0 1 0 969625325 3454201856 833257 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 843311 833257 558 1178 0 842129 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3373244
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10053
/proc/meminfo: memFree=27914892/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3377308 CPUtime=1785.55 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 842032 0 0 0 178450 105 0 0 25 0 1 0 969625325 3458363392 834516 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 844327 834516 558 1178 0 843145 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 3377308
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10054
/proc/meminfo: memFree=27903584/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3388420 CPUtime=1791.95 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 844671 0 0 0 179090 105 0 0 25 0 1 0 969625325 3469742080 837155 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 847105 837155 558 1178 0 845923 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3388420
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10054
/proc/meminfo: memFree=27899244/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3394404 CPUtime=1795.15 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 846187 0 0 0 179410 105 0 0 25 0 1 0 969625325 3475869696 838671 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 848601 838671 558 1178 0 847419 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3394404
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10054
/proc/meminfo: memFree=27898004/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3398480 CPUtime=1796.75 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 846897 0 0 0 179569 106 0 0 25 0 1 0 969625325 3480043520 839381 33554432000 4194304 9016284 140733702756240 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 849620 839381 558 1178 0 848438 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3398480
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10054
/proc/meminfo: memFree=27898004/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=3398480 CPUtime=1797.15 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 846960 0 0 0 179609 106 0 0 25 0 1 0 969625325 3480043520 839444 33554432000 4194304 9016284 140733702756240 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9966/statm: 849620 839444 558 1178 0 848438 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 3398480
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10054
/proc/meminfo: memFree=27931732/32950928 swapFree=67051812/67111528
[pid=9966] ppid=9964 vsize=2774764 CPUtime=1797.55 cores=1,3,5,7
/proc/9966/stat : 9966 (scip-2.0.1.4b_2) R 9964 9966 9206 0 -1 4202496 847744 0 0 0 179646 109 0 0 25 0 1 0 969625325 2841358336 648891 33554432000 4194304 9016284 140733702756240 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9966/statm: 693691 648379 580 1178 0 692509 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 2774764
Child status: 0
Real time (s): 1797.6
CPU time (s): 1797.66
CPU user time (s): 1796.46
CPU system time (s): 1.19282
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3398480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.46
system time used= 1.19282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 847749
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= 5
involuntary context switches= 1008
runsolver used 2.75958 second user time and 6.13007 second system time
The end