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-3451865-1307119896.opb>
1.11/1.13 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176035 constraints
1.11/1.13 c problem read
1.11/1.13 c presolving settings loaded
1.39/1.45 c presolving:
5.89/5.99 c (round 1) 2946 del vars, 8504 del conss, 0 add conss, 1919 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12206368 impls, 0 clqs
7.39/7.46 c (round 2) 8019 del vars, 24432 del conss, 0 add conss, 6628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12226918 impls, 0 clqs
7.71/7.75 c (round 3) 9264 del vars, 31552 del conss, 0 add conss, 7216 chg bounds, 43 chg sides, 52 chg coeffs, 0 upgd conss, 12234398 impls, 0 clqs
7.79/7.88 c (round 4) 9702 del vars, 33420 del conss, 0 add conss, 7443 chg bounds, 62 chg sides, 79 chg coeffs, 0 upgd conss, 12236526 impls, 0 clqs
7.89/7.95 c (round 5) 9818 del vars, 33985 del conss, 0 add conss, 7486 chg bounds, 64 chg sides, 80 chg coeffs, 0 upgd conss, 12237271 impls, 0 clqs
7.99/8.00 c (round 6) 9848 del vars, 34169 del conss, 0 add conss, 7510 chg bounds, 66 chg sides, 81 chg coeffs, 0 upgd conss, 12237360 impls, 0 clqs
7.99/8.05 c (round 7) 9870 del vars, 34252 del conss, 0 add conss, 7517 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
7.99/8.09 c (round 8) 9872 del vars, 34282 del conss, 0 add conss, 7519 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
8.49/8.59 c (round 9) 9874 del vars, 34286 del conss, 0 add conss, 7520 chg bounds, 68 chg sides, 82 chg coeffs, 141749 upgd conss, 12237542 impls, 0 clqs
8.89/8.90 c (round 10) 9874 del vars, 34286 del conss, 28 add conss, 7520 chg bounds, 117 chg sides, 316 chg coeffs, 141749 upgd conss, 12239726 impls, 1993 clqs
435.51/435.53 c (435.5s) probing: 1000/44908 (2.2%) - 9 fixings, 1 aggregations, 8227140 implications, 0 bound changes
789.61/789.67 c (789.7s) probing: 2000/44908 (4.5%) - 10 fixings, 1 aggregations, 12574177 implications, 0 bound changes
1153.52/1153.56 c (1153.6s) probing: 3000/44908 (6.7%) - 31 fixings, 1 aggregations, 16467646 implications, 0 bound changes
1459.75/1459.77 c (round 11) 9924 del vars, 34290 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 348 chg coeffs, 141749 upgd conss, 69374954 impls, 2146 clqs
1460.75/1460.79 c (round 12) 9948 del vars, 34955 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 630 chg coeffs, 141749 upgd conss, 69376702 impls, 2146 clqs
1461.03/1461.07 c (round 13) 9948 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 69376732 impls, 2397 clqs
1505.95/1505.93 c (1505.9s) probing: 4000/44908 (8.9%) - 49 fixings, 11 aggregations, 20029273 implications, 0 bound changes
1800.23/1800.23 c (1800.2s) probing: 4900/44908 (10.9%) - 57 fixings, 17 aggregations, 27816530 implications, 0 bound changes
1800.23/1800.23 c (1800.2s) probing aborted: solving stopped
1800.23/1800.23 c (round 14) 9972 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 91097884 impls, 2397 clqs
1800.23/1800.23 c presolving (14 rounds):
1800.23/1800.23 c 9972 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1800.23/1800.23 c 91097884 implications, 2397 cliques
1800.23/1800.23 c presolving was interrupted.
1800.23/1800.23 c Presolving Time: 1798.87
1800.23/1800.23 c - non default parameters ----------------------------------------------------------------------
1800.23/1800.23 c # SCIP version 2.0.1.5
1800.23/1800.23 c
1800.23/1800.23 c # frequency for displaying node information lines
1800.23/1800.23 c # [type: int, range: [-1,2147483647], default: 100]
1800.23/1800.23 c display/freq = 10000
1800.23/1800.23 c
1800.23/1800.23 c # maximal time in seconds to run
1800.23/1800.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.23/1800.23 c limits/time = 1800
1800.23/1800.23 c
1800.23/1800.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.23/1800.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.23/1800.23 c limits/memory = 13950
1800.23/1800.23 c
1800.23/1800.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.23/1800.23 c # [type: int, range: [1,2], default: 1]
1800.23/1800.23 c timing/clocktype = 2
1800.23/1800.23 c
1800.23/1800.23 c # belongs reading time to solving time?
1800.23/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23 c timing/reading = TRUE
1800.23/1800.23 c
1800.23/1800.23 c # should presolving try to simplify inequalities
1800.23/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23 c constraints/linear/simplifyinequalities = TRUE
1800.23/1800.23 c
1800.23/1800.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.23/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23 c constraints/indicator/addCouplingCons = TRUE
1800.23/1800.23 c
1800.23/1800.23 c # should presolving try to simplify knapsacks
1800.23/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23 c constraints/knapsack/simplifyinequalities = TRUE
1800.23/1800.23 c
1800.23/1800.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.23/1800.23 c # [type: int, range: [-1,2147483647], default: -1]
1800.23/1800.23 c separating/rapidlearning/freq = 0
1800.23/1800.23 c
1800.23/1800.23 c -----------------------------------------------------------------------------------------------
1800.23/1800.23 c start solving
1800.23/1800.25 c presolving:
1800.23/1800.25 c presolving (14 rounds):
1800.23/1800.25 c 9972 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1800.23/1800.25 c 91097884 implications, 2397 cliques
1800.23/1800.25 c presolving was interrupted.
1800.23/1800.25 c Presolving Time: 1798.90
1800.23/1800.25 c
1800.23/1800.25 c SCIP Status : solving was interrupted [time limit reached]
1800.23/1800.25 c Solving Time (sec) : 1800.25
1800.23/1800.25 c Solving Nodes : 0
1800.23/1800.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.23/1800.25 s UNKNOWN
1800.23/1800.25 c SCIP Status : solving was interrupted [time limit reached]
1800.23/1800.25 c Total Time : 1800.25
1800.23/1800.25 c solving : 1800.25
1800.23/1800.25 c presolving : 1798.90 (included in solving)
1800.23/1800.25 c reading : 1.13 (included in solving)
1800.23/1800.25 c Original Problem :
1800.23/1800.25 c Problem name : HOME/instance-3451865-1307119896.opb
1800.23/1800.25 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.25 c Constraints : 176035 initial, 176035 maximal
1800.23/1800.25 c Presolved Problem :
1800.23/1800.25 c Problem name : t_HOME/instance-3451865-1307119896.opb
1800.23/1800.25 c Variables : 44810 (44810 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.25 c Constraints : 141086 initial, 141086 maximal
1800.23/1800.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.23/1800.25 c trivial : 0.03 658 0 0 0 0 0 0 0 0
1800.23/1800.25 c dualfix : 0.05 91 0 0 0 0 0 0 0 0
1800.23/1800.25 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.25 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.25 c implics : 1.12 0 24 0 0 0 0 0 0 0
1800.23/1800.25 c probing : 1789.51 57 17 0 0 0 0 0 0 0
1800.23/1800.25 c knapsack : 0.74 0 0 0 0 0 4 30 57 554
1800.23/1800.25 c setppc : 0.36 0 0 0 0 0 682 0 0 0
1800.23/1800.25 c linear : 6.71 6862 2263 0 7520 0 34286 0 68 82
1800.23/1800.25 c logicor : 0.10 0 0 0 0 0 7 0 0 0
1800.23/1800.25 c root node : - 0 - - 0 - - - - -
1800.23/1800.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.23/1800.25 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.25 c knapsack : 0+ 0 237207 0 0 0 0 12 0 0 0 0
1800.23/1800.25 c setppc : 0+ 0 237195 0 0 0 0 10 0 0 0 0
1800.23/1800.25 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.25 c logicor : 0+ 0 216078 0 0 0 0 7 0 0 0 0
1800.23/1800.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.23/1800.25 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.25 c knapsack : 12.79 0.00 12.79 0.00 0.00 0.00 0.00
1800.23/1800.25 c setppc : 1169.90 0.00 1169.90 0.00 0.00 0.00 0.00
1800.23/1800.25 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.25 c logicor : 9.89 0.00 9.89 0.00 0.00 0.00 0.00
1800.23/1800.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.25 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.23/1800.25 c vbounds : 0 0 0 0
1800.23/1800.25 c rootredcost : 0 0 0 0
1800.23/1800.25 c pseudoobj : 0 0 0 0
1800.23/1800.25 c Propagator Timings : TotalTime Propagate Resprop
1800.23/1800.25 c vbounds : 0.10 0.10 0.00
1800.23/1800.25 c rootredcost : 0.07 0.07 0.00
1800.23/1800.25 c pseudoobj : 0.04 0.04 0.00
1800.23/1800.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.23/1800.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.23/1800.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.23/1800.25 c applied globally : - - - 0 0.0 - - -
1800.23/1800.25 c applied locally : - - - 0 0.0 - - -
1800.75/1800.74 c Time complete: 1800.77.
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-3451865-1307119896/watcher-3451865-1307119896 -o /tmp/evaluation-result-3451865-1307119896/solver-3451865-1307119896 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451865-1307119896.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: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=14976 CPUtime=0.01 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 2720 0 0 0 1 0 0 0 25 0 1 0 804404962 15335424 2673 33554432000 4194304 9163163 140736315605408 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 3744 2673 395 1214 0 2526 0
[startup+0.042589 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=21160 CPUtime=0.03 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 4259 0 0 0 3 0 0 0 25 0 1 0 804404962 21667840 4212 33554432000 4194304 9163163 140736315605408 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21160
[startup+0.100583 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 6520 0 0 0 9 0 0 0 25 0 1 0 804404962 30793728 6473 33554432000 4194304 9163163 140736315605408 18446744073709551615 6163650 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.300534 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=50696 CPUtime=0.29 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 11654 0 0 0 28 1 0 0 25 0 1 0 804404962 51912704 11607 33554432000 4194304 9163163 140736315605408 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 12674 11607 395 1214 0 11456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50696
[startup+0.700476 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=79928 CPUtime=0.69 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 18934 0 0 0 67 2 0 0 25 0 1 0 804404962 81846272 18887 33554432000 4194304 9163163 140736315605408 18446744073709551615 8031040 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 19982 18887 395 1214 0 18764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79928
[startup+1.50033 s]
/proc/loadavg: 1.84 1.99 1.96 3/478 23462
/proc/meminfo: memFree=21200076/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=284656 CPUtime=1.49 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 69052 0 0 0 141 8 0 0 25 0 1 0 804404962 291487744 68971 33554432000 4194304 9163163 140736315605408 18446744073709551615 4831663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 71164 68971 497 1214 0 69946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 284656
[startup+3.10101 s]
/proc/loadavg: 1.84 1.99 1.96 3/478 23462
/proc/meminfo: memFree=20703208/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=467048 CPUtime=3.09 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 114466 0 0 0 296 13 0 0 25 0 1 0 804404962 478257152 114385 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 116762 114385 506 1214 0 115544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 467048
[startup+6.30048 s]
/proc/loadavg: 1.85 1.99 1.96 3/478 23463
/proc/meminfo: memFree=20161364/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=658544 CPUtime=6.29 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 160611 0 0 0 610 19 0 0 25 0 1 0 804404962 674349056 160273 33554432000 4194304 9163163 140736315605408 18446744073709551615 6568744 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 164636 160273 517 1214 0 163418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 658544
[startup+12.7004 s]
/proc/loadavg: 1.86 1.99 1.96 3/478 23463
/proc/meminfo: memFree=19913128/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=787368 CPUtime=12.69 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 198009 0 0 0 1246 23 0 0 25 0 1 0 804404962 806264832 191313 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 196842 191313 574 1214 0 195624 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 787368
[startup+25.5011 s]
/proc/loadavg: 1.89 1.99 1.96 3/478 23463
/proc/meminfo: memFree=19819960/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=841340 CPUtime=25.49 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 210974 0 0 0 2525 24 0 0 25 0 1 0 804404962 861532160 204278 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 210335 204278 574 1214 0 209117 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 841340
[startup+51.1005 s]
/proc/loadavg: 1.93 1.99 1.96 3/478 23464
/proc/meminfo: memFree=19665656/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=910344 CPUtime=51.09 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 228335 0 0 0 5084 25 0 0 25 0 1 0 804404962 932192256 221639 33554432000 4194304 9163163 140736315605408 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 227586 221639 574 1214 0 226368 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 910344
[startup+102.318 s]
/proc/loadavg: 1.97 1.99 1.96 3/478 23465
/proc/meminfo: memFree=19304472/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1063532 CPUtime=102.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 266174 0 0 0 10202 30 0 0 25 0 1 0 804404962 1089056768 259478 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 265883 259478 574 1214 0 264665 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1063532
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.96 3/478 23467
/proc/meminfo: memFree=18881868/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1288296 CPUtime=162.29 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 321528 0 0 0 16193 36 0 0 25 0 1 0 804404962 1319215104 314832 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567534 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 322074 314832 574 1214 0 320856 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1288296
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.96 3/478 23468
/proc/meminfo: memFree=18562308/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1454420 CPUtime=222.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 362362 0 0 0 22188 42 0 0 25 0 1 0 804404962 1489326080 355666 33554432000 4194304 9163163 140736315605408 18446744073709551615 4221144 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 363605 355666 574 1214 0 362387 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1454420
[startup+282.301 s]
/proc/loadavg: 2.09 2.02 1.97 3/478 23470
/proc/meminfo: memFree=18347152/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1551888 CPUtime=282.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 386665 0 0 0 28185 45 0 0 25 0 1 0 804404962 1589133312 379969 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 387972 379969 574 1214 0 386754 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1551888
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 1.97 3/478 23471
/proc/meminfo: memFree=18121832/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1651184 CPUtime=342.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 411137 0 0 0 34181 49 0 0 25 0 1 0 804404962 1690812416 404441 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 412796 404441 574 1214 0 411578 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1651184
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/478 23473
/proc/meminfo: memFree=17899988/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1808728 CPUtime=402.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 450180 0 0 0 40178 52 0 0 25 0 1 0 804404962 1852137472 443484 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458921 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 452182 443484 574 1214 0 450964 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1808728
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 1.98 3/478 23475
/proc/meminfo: memFree=17788992/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1848244 CPUtime=462.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 460437 0 0 0 46176 54 0 0 25 0 1 0 804404962 1892601856 453741 33554432000 4194304 9163163 140736315605408 18446744073709551615 5459013 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 462061 453741 578 1214 0 460843 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1848244
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/478 23476
/proc/meminfo: memFree=17640920/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1886648 CPUtime=522.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 470096 0 0 0 52175 55 0 0 25 0 1 0 804404962 1931927552 463400 33554432000 4194304 9163163 140736315605408 18446744073709551615 6479337 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 471662 463400 578 1214 0 470444 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1886648
[startup+582.301 s]
/proc/loadavg: 2.02 2.03 1.98 3/478 23487
/proc/meminfo: memFree=17451860/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1941184 CPUtime=582.31 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 483730 0 0 0 58173 58 0 0 25 0 1 0 804404962 1987772416 477034 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 485296 477034 578 1214 0 484078 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1941184
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/478 23498
/proc/meminfo: memFree=16719964/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2231868 CPUtime=1002.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 556218 0 0 0 100163 69 0 0 25 0 1 0 804404962 2285432832 549522 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 557967 549522 578 1214 0 556749 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2231868
[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/478 23500
/proc/meminfo: memFree=16676424/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2274276 CPUtime=1062.31 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 567115 0 0 0 106161 70 0 0 25 0 1 0 804404962 2328858624 560419 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 568569 560419 578 1214 0 567351 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2274276
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/478 23501
/proc/meminfo: memFree=16637228/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2313564 CPUtime=1122.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 576759 0 0 0 112161 71 0 0 25 0 1 0 804404962 2369089536 570063 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 578391 570063 578 1214 0 577173 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2313564
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 23503
/proc/meminfo: memFree=16601372/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2347808 CPUtime=1182.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 585561 0 0 0 118159 73 0 0 25 0 1 0 804404962 2404155392 578865 33554432000 4194304 9163163 140736315605408 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 586952 578865 578 1214 0 585734 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2347808
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23504
/proc/meminfo: memFree=16562052/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2388196 CPUtime=1242.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 595524 0 0 0 124158 74 0 0 25 0 1 0 804404962 2445512704 588828 33554432000 4194304 9163163 140736315605408 18446744073709551615 4709100 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 597049 588828 578 1214 0 595831 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2388196
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23506
/proc/meminfo: memFree=16530796/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2418492 CPUtime=1302.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 603215 0 0 0 130158 75 0 0 25 0 1 0 804404962 2476535808 596519 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 604623 596519 578 1214 0 603405 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2418492
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23508
/proc/meminfo: memFree=16493208/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2457748 CPUtime=1362.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 612571 0 0 0 136156 77 0 0 25 0 1 0 804404962 2516733952 605875 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 614437 605875 578 1214 0 613219 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2457748
[startup+1422.32 s]
/proc/loadavg: 2.03 2.02 2.00 3/478 23509
/proc/meminfo: memFree=16449420/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2497932 CPUtime=1422.34 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 623434 0 0 0 142156 78 0 0 25 0 1 0 804404962 2557882368 616738 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 624483 616738 578 1214 0 623265 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2497932
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/478 23511
/proc/meminfo: memFree=16389020/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2559692 CPUtime=1482.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 638329 0 0 0 148153 79 0 0 25 0 1 0 804404962 2621124608 631633 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 639923 631633 578 1214 0 638705 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2559692
[startup+1542.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/478 23512
/proc/meminfo: memFree=16275424/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2673156 CPUtime=1542.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 666893 0 0 0 154149 84 0 0 25 0 1 0 804404962 2737311744 660197 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 668289 660197 578 1214 0 667071 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2673156
[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/478 23514
/proc/meminfo: memFree=16213416/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2735508 CPUtime=1602.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 682525 0 0 0 160147 86 0 0 25 0 1 0 804404962 2801160192 675829 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 683877 675829 578 1214 0 682659 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2735508
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/478 23516
/proc/meminfo: memFree=16070936/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2879704 CPUtime=1662.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 717788 0 0 0 166143 90 0 0 25 0 1 0 804404962 2948816896 711092 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 719926 711092 578 1214 0 718708 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2879704
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 23517
/proc/meminfo: memFree=15947424/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3005096 CPUtime=1722.34 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 748909 0 0 0 172140 94 0 0 25 0 1 0 804404962 3077218304 742213 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 751274 742213 578 1214 0 750056 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3005096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23519
/proc/meminfo: memFree=15752244/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3200800 CPUtime=1782.34 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 797042 0 0 0 178134 100 0 0 25 0 1 0 804404962 3277619200 790346 33554432000 4194304 9163163 140736315605408 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 800200 790346 578 1214 0 798982 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3200800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23519
/proc/meminfo: memFree=15711820/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3240920 CPUtime=1800.05 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 807024 0 0 0 179905 100 0 0 25 0 1 0 804404962 3318702080 800328 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 810230 800328 578 1214 0 809012 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3240920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23519
/proc/meminfo: memFree=15711820/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3241864 CPUtime=1800.23 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 807202 0 0 0 179923 100 0 0 25 0 1 0 804404962 3319668736 800506 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 810466 800506 578 1214 0 809248 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 3241864
[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 23521
/proc/meminfo: memFree=15989564/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2924864 CPUtime=1800.65 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 808072 0 0 0 179962 103 0 0 25 0 1 0 804404962 2995060736 721614 33554432000 4194304 9163163 140736315605408 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 731216 721614 592 1214 0 729998 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 2924864
[startup+1800.72 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 23521
/proc/meminfo: memFree=15989564/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2586808 CPUtime=1800.75 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 808083 0 0 0 179963 112 0 0 25 0 1 0 804404962 2648891392 159305 33554432000 4194304 9163163 140736315605408 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 646702 159002 603 1214 0 645484 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 2586808
Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.79
CPU user time (s): 1799.64
CPU system time (s): 1.14882
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3242872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 1.14882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 808085
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= 6
involuntary context switches= 1003
runsolver used 8.98363 second user time and 18.9381 second system time
The end