0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451809-1307117486.opb>
1.60/1.60 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234174 constraints
1.60/1.60 c problem read
1.60/1.60 c presolving settings loaded
1.99/2.07 c presolving:
8.10/8.15 c (round 1) 4989 del vars, 15107 del conss, 0 add conss, 3397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15995960 impls, 0 clqs
10.90/10.97 c (round 2) 13023 del vars, 41242 del conss, 0 add conss, 11114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034190 impls, 0 clqs
11.70/11.78 c (round 3) 15798 del vars, 53921 del conss, 0 add conss, 12723 chg bounds, 12 chg sides, 23 chg coeffs, 0 upgd conss, 16049347 impls, 1 clqs
12.12/12.13 c (round 4) 16871 del vars, 58273 del conss, 0 add conss, 13376 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16055855 impls, 1 clqs
12.30/12.30 c (round 5) 17354 del vars, 60336 del conss, 0 add conss, 13625 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16059677 impls, 1 clqs
12.40/12.42 c (round 6) 17571 del vars, 61247 del conss, 0 add conss, 13756 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16061618 impls, 1 clqs
12.50/12.50 c (round 7) 17663 del vars, 61671 del conss, 0 add conss, 13804 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16062405 impls, 1 clqs
12.50/12.57 c (round 8) 17715 del vars, 61894 del conss, 0 add conss, 13830 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063007 impls, 1 clqs
12.60/12.63 c (round 9) 17745 del vars, 62029 del conss, 0 add conss, 13848 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063265 impls, 1 clqs
12.60/12.69 c (round 10) 17759 del vars, 62105 del conss, 0 add conss, 13855 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063543 impls, 1 clqs
12.70/12.75 c (round 11) 17769 del vars, 62151 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063564 impls, 1 clqs
13.39/13.43 c (round 12) 17769 del vars, 62159 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 172015 upgd conss, 16063564 impls, 1 clqs
14.39/14.44 c (round 13) 17769 del vars, 62170 del conss, 35 add conss, 13862 chg bounds, 65 chg sides, 266 chg coeffs, 172015 upgd conss, 16064800 impls, 799 clqs
14.79/14.89 c (round 14) 17769 del vars, 62175 del conss, 46 add conss, 13862 chg bounds, 89 chg sides, 351 chg coeffs, 172015 upgd conss, 16064800 impls, 857 clqs
587.80/587.83 c (587.8s) probing: 1000/55073 (1.8%) - 19 fixings, 0 aggregations, 11484602 implications, 0 bound changes
1060.12/1060.14 c (1060.1s) probing: 2000/55073 (3.6%) - 19 fixings, 0 aggregations, 17569872 implications, 0 bound changes
1136.23/1136.22 c (1136.2s) probing: 2161/55073 (3.9%) - 19 fixings, 0 aggregations, 18477249 implications, 0 bound changes
1136.23/1136.22 c (1136.2s) probing aborted: 2000/2000 successive useless probings
1136.23/1136.22 c (round 15) 17788 del vars, 62178 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 371 chg coeffs, 172015 upgd conss, 78972094 impls, 860 clqs
1137.02/1137.02 c (round 16) 17789 del vars, 63416 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 430 chg coeffs, 172015 upgd conss, 78976546 impls, 860 clqs
1254.05/1254.02 c (round 17) 17839 del vars, 63417 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82139904 impls, 872 clqs
1255.23/1255.21 c (round 18) 17849 del vars, 63613 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82140082 impls, 872 clqs
1436.03/1436.07 c (round 19) 17911 del vars, 63622 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 91485208 impls, 872 clqs
1436.83/1436.87 c (round 20) 17915 del vars, 63836 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 91487456 impls, 872 clqs
1560.96/1560.95 c (1561.0s) probing: 3000/55073 (5.4%) - 121 fixings, 41 aggregations, 24770429 implications, 0 bound changes
1800.17/1800.15 c (1800.2s) probing: 3543/55073 (6.4%) - 129 fixings, 44 aggregations, 31128922 implications, 0 bound changes
1800.17/1800.15 c (1800.2s) probing aborted: solving stopped
1800.17/1800.15 c (round 21) 17957 del vars, 63840 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 114467262 impls, 872 clqs
1800.17/1800.15 c presolving (21 rounds):
1800.17/1800.15 c 17957 deleted vars, 63840 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1800.17/1800.15 c 114467262 implications, 872 cliques
1800.17/1800.15 c presolving was interrupted.
1800.17/1800.15 c Presolving Time: 1798.22
1800.17/1800.15 c - non default parameters ----------------------------------------------------------------------
1800.17/1800.15 c # SCIP version 2.0.1.5
1800.17/1800.15 c
1800.17/1800.15 c # frequency for displaying node information lines
1800.17/1800.15 c # [type: int, range: [-1,2147483647], default: 100]
1800.17/1800.15 c display/freq = 10000
1800.17/1800.15 c
1800.17/1800.15 c # maximal time in seconds to run
1800.17/1800.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.17/1800.15 c limits/time = 1800
1800.17/1800.15 c
1800.17/1800.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.17/1800.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.17/1800.15 c limits/memory = 13950
1800.17/1800.15 c
1800.17/1800.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.17/1800.15 c # [type: int, range: [1,2], default: 1]
1800.17/1800.15 c timing/clocktype = 2
1800.17/1800.15 c
1800.17/1800.15 c # belongs reading time to solving time?
1800.17/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15 c timing/reading = TRUE
1800.17/1800.15 c
1800.17/1800.15 c # should presolving try to simplify inequalities
1800.17/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15 c constraints/linear/simplifyinequalities = TRUE
1800.17/1800.15 c
1800.17/1800.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.17/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15 c constraints/indicator/addCouplingCons = TRUE
1800.17/1800.15 c
1800.17/1800.15 c # should presolving try to simplify knapsacks
1800.17/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15 c constraints/knapsack/simplifyinequalities = TRUE
1800.17/1800.15 c
1800.17/1800.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.17/1800.15 c # [type: int, range: [-1,2147483647], default: -1]
1800.17/1800.15 c separating/rapidlearning/freq = 0
1800.17/1800.15 c
1800.17/1800.15 c -----------------------------------------------------------------------------------------------
1800.17/1800.15 c start solving
1800.17/1800.19 c presolving:
1800.17/1800.19 c presolving (21 rounds):
1800.17/1800.19 c 17957 deleted vars, 63840 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1800.17/1800.19 c 114467262 implications, 872 cliques
1800.17/1800.19 c presolving was interrupted.
1800.17/1800.19 c Presolving Time: 1798.25
1800.17/1800.19 c
1800.17/1800.19 c SCIP Status : solving was interrupted [time limit reached]
1800.17/1800.19 c Solving Time (sec) : 1800.19
1800.17/1800.19 c Solving Nodes : 0
1800.17/1800.19 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.17/1800.19 s UNKNOWN
1800.17/1800.19 c SCIP Status : solving was interrupted [time limit reached]
1800.17/1800.19 c Total Time : 1800.19
1800.17/1800.19 c solving : 1800.19
1800.17/1800.19 c presolving : 1798.25 (included in solving)
1800.17/1800.19 c reading : 1.60 (included in solving)
1800.17/1800.19 c Original Problem :
1800.17/1800.19 c Problem name : HOME/instance-3451809-1307117486.opb
1800.17/1800.19 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.19 c Constraints : 234174 initial, 234174 maximal
1800.17/1800.19 c Presolved Problem :
1800.17/1800.19 c Problem name : t_HOME/instance-3451809-1307117486.opb
1800.17/1800.19 c Variables : 54885 (54885 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.19 c Constraints : 170386 initial, 170386 maximal
1800.17/1800.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.17/1800.19 c trivial : 0.07 1263 0 0 0 0 0 0 0 0
1800.17/1800.19 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1800.17/1800.19 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.17/1800.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.17/1800.19 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.17/1800.19 c implics : 2.12 0 14 0 0 0 0 0 0 0
1800.17/1800.19 c probing : 1781.32 129 44 0 0 0 0 0 0 0
1800.17/1800.19 c knapsack : 2.76 0 0 0 0 0 1 52 77 402
1800.17/1800.19 c setppc : 0.65 1 0 0 0 0 1651 0 0 0
1800.17/1800.19 c linear : 10.67 12599 3787 0 13862 0 62159 0 18 29
1800.17/1800.19 c logicor : 0.18 0 0 0 0 0 29 0 0 0
1800.17/1800.19 c root node : - 0 - - 0 - - - - -
1800.17/1800.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.17/1800.19 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.17/1800.19 c knapsack : 0+ 0 148608 0 0 0 0 27 0 0 0 0
1800.17/1800.19 c setppc : 0+ 0 148581 0 0 0 0 35 0 0 0 0
1800.17/1800.19 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.17/1800.19 c logicor : 0+ 0 135794 0 0 0 0 33 0 0 0 0
1800.17/1800.19 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.17/1800.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.17/1800.19 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.17/1800.19 c knapsack : 12.01 0.00 12.01 0.00 0.00 0.00 0.00
1800.17/1800.19 c setppc : 858.01 0.00 858.01 0.00 0.00 0.00 0.00
1800.17/1800.19 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.17/1800.19 c logicor : 12.73 0.00 12.73 0.00 0.00 0.00 0.00
1800.17/1800.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.17/1800.19 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.17/1800.19 c vbounds : 0 0 0 0
1800.17/1800.19 c rootredcost : 0 0 0 0
1800.17/1800.19 c pseudoobj : 0 0 0 0
1800.17/1800.19 c Propagator Timings : TotalTime Propagate Resprop
1800.17/1800.19 c vbounds : 0.06 0.06 0.00
1800.17/1800.19 c rootredcost : 0.05 0.05 0.00
1800.17/1800.19 c pseudoobj : 0.02 0.02 0.00
1800.17/1800.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.17/1800.19 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.17/1800.19 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.17/1800.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.17/1800.19 c applied globally : - - - 0 0.0 - - -
1800.17/1800.19 c applied locally : - - - 0 0.0 - - -
1800.85/1800.82 c Time complete: 1800.87.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451809-1307117486/watcher-3451809-1307117486 -o /tmp/evaluation-result-3451809-1307117486/solver-3451809-1307117486 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451809-1307117486.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.01 2.00 2/554 5445
/proc/meminfo: memFree=24072764/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=13020 CPUtime=0 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 2218 0 0 0 0 0 0 0 25 0 1 0 823345712 13332480 2172 33554432000 4194304 9163163 140737335765568 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 3255 2173 389 1214 0 2037 0
[startup+0.0234889 s]
/proc/loadavg: 2.00 2.01 2.00 2/554 5445
/proc/meminfo: memFree=24072764/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=17108 CPUtime=0.01 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 3267 0 0 0 1 0 0 0 25 0 1 0 823345712 17518592 3221 33554432000 4194304 9163163 140737335765568 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 4277 3221 395 1214 0 3059 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17108
[startup+0.100544 s]
/proc/loadavg: 2.00 2.01 2.00 2/554 5445
/proc/meminfo: memFree=24072764/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 823345712 30793728 6473 33554432000 4194304 9163163 140737335765568 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.300506 s]
/proc/loadavg: 2.00 2.01 2.00 2/554 5445
/proc/meminfo: memFree=24072764/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=56888 CPUtime=0.29 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 13204 0 0 0 28 1 0 0 25 0 1 0 823345712 58253312 13158 33554432000 4194304 9163163 140737335765568 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 14222 13158 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888
[startup+0.700427 s]
/proc/loadavg: 2.00 2.01 2.00 2/554 5445
/proc/meminfo: memFree=24072764/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=80896 CPUtime=0.69 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 19182 0 0 0 67 2 0 0 25 0 1 0 823345712 82837504 19136 33554432000 4194304 9163163 140737335765568 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 20224 19136 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5446
/proc/meminfo: memFree=23970580/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=151760 CPUtime=1.49 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 36927 0 0 0 145 4 0 0 25 0 1 0 823345712 155402240 36881 33554432000 4194304 9163163 140737335765568 18446744073709551615 7480092 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 37940 36881 395 1214 0 36722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151760
[startup+3.10096 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5446
/proc/meminfo: memFree=23710800/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=504724 CPUtime=3.09 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 123599 0 0 0 295 14 0 0 25 0 1 0 823345712 516837376 123488 33554432000 4194304 9163163 140737335765568 18446744073709551615 6566528 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 126181 123488 506 1214 0 124963 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504724
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5446
/proc/meminfo: memFree=23374988/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=780276 CPUtime=6.29 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 190501 0 0 0 608 21 0 0 25 0 1 0 823345712 799002624 190390 33554432000 4194304 9163163 140737335765568 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 195069 190416 506 1214 0 193851 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 780276
[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5446
/proc/meminfo: memFree=23228424/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=863284 CPUtime=12.7 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 210928 0 0 0 1246 24 0 0 25 0 1 0 823345712 884002816 210560 33554432000 4194304 9163163 140737335765568 18446744073709551615 4817328 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 215821 210560 518 1214 0 214603 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 863284
[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5447
/proc/meminfo: memFree=23098608/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1001912 CPUtime=25.49 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 256754 0 0 0 2520 29 0 0 25 0 1 0 823345712 1025957888 243611 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567824 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 250478 243611 685 1214 0 249260 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1001912
[startup+51.1008 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5447
/proc/meminfo: memFree=23049036/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1052200 CPUtime=51.08 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 268896 0 0 0 5078 30 0 0 25 0 1 0 823345712 1077452800 255753 33554432000 4194304 9163163 140737335765568 18446744073709551615 4831782 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 263050 255753 685 1214 0 261832 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1052200
[startup+102.322 s]
/proc/loadavg: 2.03 2.02 2.00 3/555 5477
/proc/meminfo: memFree=23748440/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1202384 CPUtime=102.3 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 305907 0 0 0 10196 34 0 0 25 0 1 0 823345712 1231241216 292764 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 300596 292764 685 1214 0 299378 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1202384
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/555 5478
/proc/meminfo: memFree=22651300/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1316628 CPUtime=162.28 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 334481 0 0 0 16190 38 0 0 25 0 1 0 823345712 1348227072 321338 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 329157 321338 685 1214 0 327939 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1316628
[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/555 5480
/proc/meminfo: memFree=22285972/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1511524 CPUtime=222.29 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 383107 0 0 0 22186 43 0 0 25 0 1 0 823345712 1547800576 369964 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 377881 369964 685 1214 0 376663 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1511524
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/555 5482
/proc/meminfo: memFree=21970728/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1712112 CPUtime=282.29 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 432386 0 0 0 28180 49 0 0 25 0 1 0 823345712 1753202688 419243 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 428028 419243 685 1214 0 426810 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1712112
[startup+342.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/555 5483
/proc/meminfo: memFree=21533720/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1881280 CPUtime=342.29 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 474878 0 0 0 34175 54 0 0 25 0 1 0 823345712 1926430720 461735 33554432000 4194304 9163163 140737335765568 18446744073709551615 4208463 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 470320 461735 685 1214 0 469102 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1881280
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/555 5485
/proc/meminfo: memFree=21269068/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=1989660 CPUtime=402.3 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 501740 0 0 0 40172 58 0 0 25 0 1 0 823345712 2037411840 488597 33554432000 4194304 9163163 140737335765568 18446744073709551615 4233043 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 497415 488597 685 1214 0 496197 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1989660
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 5486
/proc/meminfo: memFree=21045968/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2087772 CPUtime=462.29 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 525699 0 0 0 46168 61 0 0 25 0 1 0 823345712 2137878528 512556 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 521943 512556 685 1214 0 520725 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2087772
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 5488
/proc/meminfo: memFree=20818644/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2213124 CPUtime=522.3 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 557210 0 0 0 52164 66 0 0 25 0 1 0 823345712 2266238976 544067 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 553281 544067 685 1214 0 552063 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2213124
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5490
/proc/meminfo: memFree=20602712/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2351204 CPUtime=582.3 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 592006 0 0 0 58160 70 0 0 25 0 1 0 823345712 2407632896 578863 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 587801 578863 685 1214 0 586583 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2351204
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/555 5499
/proc/meminfo: memFree=19737372/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2757072 CPUtime=942.31 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 691687 0 0 0 94147 84 0 0 25 0 1 0 823345712 2823241728 678544 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 689268 678544 689 1214 0 688050 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2757072
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5501
/proc/meminfo: memFree=19649788/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2807496 CPUtime=1002.31 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 704530 0 0 0 100146 85 0 0 25 0 1 0 823345712 2874875904 691387 33554432000 4194304 9163163 140737335765568 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 701874 691387 689 1214 0 700656 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2807496
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5502
/proc/meminfo: memFree=19554276/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2865000 CPUtime=1062.32 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 718753 0 0 0 106145 87 0 0 25 0 1 0 823345712 2933760000 705610 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 716250 705610 689 1214 0 715032 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2865000
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5504
/proc/meminfo: memFree=19462728/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2919344 CPUtime=1122.33 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 732095 0 0 0 112144 89 0 0 25 0 1 0 823345712 2989408256 718952 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 729836 718952 689 1214 0 728618 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2919344
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5506
/proc/meminfo: memFree=19379248/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2954796 CPUtime=1182.33 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 742218 0 0 0 118143 90 0 0 25 0 1 0 823345712 3025711104 729075 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 738699 729075 689 1214 0 737481 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2954796
[startup+1242.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/555 5507
/proc/meminfo: memFree=19012428/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3009832 CPUtime=1242.33 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 756254 0 0 0 124142 91 0 0 25 0 1 0 823345712 3082067968 743111 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 752458 743111 689 1214 0 751240 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3009832
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/555 5509
/proc/meminfo: memFree=18940096/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3060768 CPUtime=1302.34 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 768444 0 0 0 130141 93 0 0 25 0 1 0 823345712 3134226432 755301 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 765192 755301 689 1214 0 763974 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3060768
[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/555 5510
/proc/meminfo: memFree=18834672/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3134780 CPUtime=1362.33 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 786386 0 0 0 136138 95 0 0 25 0 1 0 823345712 3210014720 773243 33554432000 4194304 9163163 140737335765568 18446744073709551615 5073532 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 783695 773243 689 1214 0 782477 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3134780
[startup+1422.32 s]
/proc/loadavg: 2.07 2.06 2.01 3/555 5512
/proc/meminfo: memFree=18765328/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3206560 CPUtime=1422.35 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 803777 0 0 0 142138 97 0 0 25 0 1 0 823345712 3283517440 790634 33554432000 4194304 9163163 140737335765568 18446744073709551615 5460505 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 801640 790634 689 1214 0 800422 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3206560
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/555 5514
/proc/meminfo: memFree=18607556/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3331176 CPUtime=1482.34 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 835192 0 0 0 148132 102 0 0 25 0 1 0 823345712 3411124224 822049 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 832794 822049 689 1214 0 831576 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3331176
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5515
/proc/meminfo: memFree=18484276/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3451624 CPUtime=1542.34 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 865440 0 0 0 154127 107 0 0 25 0 1 0 823345712 3534462976 852297 33554432000 4194304 9163163 140737335765568 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 862906 852297 689 1214 0 861688 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3451624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5517
/proc/meminfo: memFree=18392216/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3542440 CPUtime=1602.34 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 888444 0 0 0 160124 110 0 0 25 0 1 0 823345712 3627458560 875301 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 885610 875301 689 1214 0 884392 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3542440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5518
/proc/meminfo: memFree=18270056/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3666320 CPUtime=1662.34 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 918945 0 0 0 166121 113 0 0 25 0 1 0 823345712 3754311680 905802 33554432000 4194304 9163163 140737335765568 18446744073709551615 4352480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 916580 905802 689 1214 0 915362 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3666320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5520
/proc/meminfo: memFree=18145012/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3792572 CPUtime=1722.35 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 949931 0 0 0 172118 117 0 0 25 0 1 0 823345712 3883593728 936788 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 948143 936788 689 1214 0 946925 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3792572
[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/555 5522
/proc/meminfo: memFree=18043676/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3889164 CPUtime=1782.35 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 974283 0 0 0 178115 120 0 0 25 0 1 0 823345712 3982503936 961140 33554432000 4194304 9163163 140737335765568 18446744073709551615 4207314 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 972291 961140 689 1214 0 971073 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3889164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.07 2.02 3/555 5522
/proc/meminfo: memFree=18012156/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3924512 CPUtime=1800.05 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 982244 0 0 0 179884 121 0 0 25 0 1 0 823345712 4018700288 969101 33554432000 4194304 9163163 140737335765568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5445/statm: 981128 969101 689 1214 0 979910 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3924512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.16 2.07 2.02 3/556 5523
/proc/meminfo: memFree=18337028/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=3569884 CPUtime=1800.65 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 983230 0 0 0 179942 123 0 0 25 0 1 0 823345712 3655561216 881197 33554432000 4194304 9163163 140737335765568 18446744073709551615 6923170 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 892471 881197 703 1214 0 891253 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 3569884
[startup+1800.8 s]
/proc/loadavg: 2.16 2.07 2.02 3/556 5523
/proc/meminfo: memFree=18337028/32950928 swapFree=67056580/67111528
[pid=5445] ppid=5443 vsize=2768448 CPUtime=1800.85 cores=0,2,4,6
/proc/5445/stat : 5445 (scip-2.0.1.4b.l) R 5443 5445 3492 0 -1 4202496 983241 0 0 0 179950 135 0 0 25 0 1 0 823345712 2834890752 184135 33554432000 4194304 9163163 140737335765568 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5445/statm: 692112 184135 714 1214 0 690894 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 2768448
Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.89
CPU user time (s): 1799.51
CPU system time (s): 1.37979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3924512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 1.37979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 983243
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= 1142
runsolver used 10.1954 second user time and 22.6606 second system time
The end