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-3489727-1307792077.opb>
1.29/1.30 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234296 constraints
1.29/1.30 c problem read
1.29/1.30 c presolving settings loaded
1.69/1.75 c presolving:
9.39/9.47 c (round 1) 4401 del vars, 13292 del conss, 0 add conss, 2967 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16153960 impls, 0 clqs
13.49/13.54 c (round 2) 11561 del vars, 36582 del conss, 0 add conss, 9812 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16185724 impls, 0 clqs
14.69/14.77 c (round 3) 14138 del vars, 48236 del conss, 0 add conss, 11247 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 16200531 impls, 0 clqs
15.39/15.46 c (round 4) 15217 del vars, 52455 del conss, 0 add conss, 11913 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16207806 impls, 0 clqs
15.79/15.81 c (round 5) 15691 del vars, 54605 del conss, 0 add conss, 12192 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16210865 impls, 0 clqs
15.89/15.96 c (round 6) 15877 del vars, 55472 del conss, 0 add conss, 12279 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16212299 impls, 0 clqs
15.99/16.06 c (round 7) 15953 del vars, 55840 del conss, 0 add conss, 12309 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213041 impls, 0 clqs
16.09/16.13 c (round 8) 15977 del vars, 55968 del conss, 0 add conss, 12321 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213249 impls, 0 clqs
16.09/16.19 c (round 9) 15985 del vars, 56020 del conss, 0 add conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213317 impls, 0 clqs
16.80/16.87 c (round 10) 15985 del vars, 56032 del conss, 0 add conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
17.60/17.68 c (round 11) 15985 del vars, 56035 del conss, 38 add conss, 12325 chg bounds, 114 chg sides, 283 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
785.42/785.44 c (785.4s) probing: 1000/56857 (1.8%) - 0 fixings, 0 aggregations, 10828825 implications, 0 bound changes
1283.44/1283.45 c (1283.5s) probing: 2000/56857 (3.5%) - 0 fixings, 0 aggregations, 16118594 implications, 0 bound changes
1284.03/1284.02 c (1284.0s) probing: 2001/56857 (3.5%) - 0 fixings, 0 aggregations, 16122390 implications, 0 bound changes
1284.03/1284.02 c (1284.0s) probing aborted: 2000/2000 successive useless probings
1284.03/1284.02 c presolving (12 rounds):
1284.03/1284.02 c 15985 deleted vars, 56043 deleted constraints, 40 added constraints, 12325 tightened bounds, 0 added holes, 117 changed sides, 300 changed coefficients
1284.03/1284.02 c 70691155 implications, 0 cliques
1284.03/1284.02 c presolved problem has 56857 variables (56857 bin, 0 int, 0 impl, 0 cont) and 178293 constraints
1284.03/1284.02 c 1123 constraints of type <knapsack>
1284.03/1284.02 c 149066 constraints of type <setppc>
1284.03/1284.02 c 28104 constraints of type <logicor>
1284.03/1284.02 c transformed objective value is always integral (scale: 1)
1284.03/1284.02 c Presolving Time: 1282.40
1284.03/1284.02 c - non default parameters ----------------------------------------------------------------------
1284.03/1284.02 c # SCIP version 2.0.1.5
1284.03/1284.02 c
1284.03/1284.02 c # frequency for displaying node information lines
1284.03/1284.02 c # [type: int, range: [-1,2147483647], default: 100]
1284.03/1284.02 c display/freq = 10000
1284.03/1284.02 c
1284.03/1284.02 c # maximal time in seconds to run
1284.03/1284.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1284.03/1284.02 c limits/time = 1797
1284.03/1284.02 c
1284.03/1284.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1284.03/1284.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1284.03/1284.02 c limits/memory = 13950
1284.03/1284.02 c
1284.03/1284.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
1284.03/1284.02 c # [type: int, range: [1,2], default: 1]
1284.03/1284.02 c timing/clocktype = 2
1284.03/1284.02 c
1284.03/1284.02 c # belongs reading time to solving time?
1284.03/1284.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1284.03/1284.02 c timing/reading = TRUE
1284.03/1284.02 c
1284.03/1284.02 c # should presolving try to simplify inequalities
1284.03/1284.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1284.03/1284.02 c constraints/linear/simplifyinequalities = TRUE
1284.03/1284.02 c
1284.03/1284.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1284.03/1284.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1284.03/1284.02 c constraints/indicator/addCouplingCons = TRUE
1284.03/1284.02 c
1284.03/1284.02 c # should presolving try to simplify knapsacks
1284.03/1284.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1284.03/1284.02 c constraints/knapsack/simplifyinequalities = TRUE
1284.03/1284.02 c
1284.03/1284.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1284.03/1284.02 c # [type: int, range: [-1,2147483647], default: -1]
1284.03/1284.02 c separating/rapidlearning/freq = 0
1284.03/1284.02 c
1284.03/1284.02 c -----------------------------------------------------------------------------------------------
1284.03/1284.02 c start solving
1284.03/1284.06 c
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-3489727-1307792077/watcher-3489727-1307792077 -o /tmp/evaluation-result-3489727-1307792077/solver-3489727-1307792077 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489727-1307792077.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.05 2.01 1.98 2/174 14593
/proc/meminfo: memFree=30940464/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=12564 CPUtime=0 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 2135 0 0 0 0 0 0 0 25 0 1 0 871623354 12865536 2090 33554432000 4194304 9016284 140736792462256 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14593/statm: 3174 2094 353 1178 0 1992 0
[startup+0.058913 s]
/proc/loadavg: 2.05 2.01 1.98 2/174 14593
/proc/meminfo: memFree=30940464/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=25356 CPUtime=0.05 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 5103 0 0 0 5 0 0 0 25 0 1 0 871623354 25964544 5058 33554432000 4194304 9016284 140736792462256 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14593/statm: 6339 5093 360 1178 0 5157 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25356
[startup+0.100919 s]
/proc/loadavg: 2.05 2.01 1.98 2/174 14593
/proc/meminfo: memFree=30940464/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=32392 CPUtime=0.09 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 871623354 33169408 7053 33554432000 4194304 9016284 140736792462256 18446744073709551615 6151867 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14593/statm: 8098 7053 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392
[startup+0.300868 s]
/proc/loadavg: 2.05 2.01 1.98 2/174 14593
/proc/meminfo: memFree=30940464/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=59140 CPUtime=0.29 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 13785 0 0 0 29 0 0 0 25 0 1 0 871623354 60559360 13740 33554432000 4194304 9016284 140736792462256 18446744073709551615 4447088 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14593/statm: 14785 13740 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140
[startup+0.700792 s]
/proc/loadavg: 2.05 2.01 1.98 2/174 14593
/proc/meminfo: memFree=30940464/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=90996 CPUtime=0.69 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 21738 0 0 0 68 1 0 0 25 0 1 0 871623354 93179904 21693 33554432000 4194304 9016284 140736792462256 18446744073709551615 6152480 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14593/statm: 22749 21693 360 1178 0 21567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90996
[startup+1.50065 s]
/proc/loadavg: 2.05 2.01 1.98 3/175 14594
/proc/meminfo: memFree=30821108/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=300608 CPUtime=1.49 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 73675 0 0 0 141 8 0 0 25 0 1 0 871623354 307822592 73583 33554432000 4194304 9016284 140736792462256 18446744073709551615 4881172 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 75152 73583 406 1178 0 73970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 300608
[startup+3.10034 s]
/proc/loadavg: 2.05 2.01 1.98 3/175 14594
/proc/meminfo: memFree=30542976/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=510940 CPUtime=3.09 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 125099 0 0 0 296 13 0 0 25 0 1 0 871623354 523202560 125007 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 127735 125007 485 1178 0 126553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510940
[startup+6.30073 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 14594
/proc/meminfo: memFree=30278484/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=729948 CPUtime=6.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 178840 0 0 0 611 19 0 0 25 0 1 0 871623354 747466752 178748 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 182487 178748 485 1178 0 181305 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 729948
[startup+12.7005 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 14594
/proc/meminfo: memFree=30092120/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=869972 CPUtime=12.69 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 212139 0 0 0 1248 21 0 0 25 0 1 0 871623354 890851328 211790 33554432000 4194304 9016284 140736792462256 18446744073709551615 6481234 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 217493 211790 496 1178 0 216311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 869972
[startup+25.5011 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 14595
/proc/meminfo: memFree=29978796/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=999088 CPUtime=25.49 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 259765 0 0 0 2522 27 0 0 25 0 1 0 871623354 1023066112 242891 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 249772 242891 665 1178 0 248590 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 999088
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 14596
/proc/meminfo: memFree=29936980/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1036000 CPUtime=51.09 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 268713 0 0 0 5081 28 0 0 25 0 1 0 871623354 1060864000 251839 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 259000 251839 665 1178 0 257818 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1036000
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.98 3/175 14597
/proc/meminfo: memFree=29882172/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1104040 CPUtime=102.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 284932 0 0 0 10200 30 0 0 25 0 1 0 871623354 1130536960 268058 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 276010 268058 665 1178 0 274828 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1104040
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14598
/proc/meminfo: memFree=29746364/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1233304 CPUtime=162.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 316613 0 0 0 16196 34 0 0 25 0 1 0 871623354 1262903296 299739 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 308326 299739 665 1178 0 307144 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1233304
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14600
/proc/meminfo: memFree=29649980/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1329092 CPUtime=222.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 340631 0 0 0 22193 37 0 0 25 0 1 0 871623354 1360990208 323757 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 332273 323757 665 1178 0 331091 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1329092
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14602
/proc/meminfo: memFree=29571068/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1400804 CPUtime=282.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 358074 0 0 0 28191 39 0 0 25 0 1 0 871623354 1434423296 341200 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 350201 341200 665 1178 0 349019 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1400804
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 14603
/proc/meminfo: memFree=29453984/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1515588 CPUtime=342.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 387004 0 0 0 34188 42 0 0 25 0 1 0 871623354 1551962112 370130 33554432000 4194304 9016284 140736792462256 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 378897 370130 665 1178 0 377715 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1515588
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 14605
/proc/meminfo: memFree=29362688/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1623504 CPUtime=402.31 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 413846 0 0 0 40186 45 0 0 25 0 1 0 871623354 1662468096 396972 33554432000 4194304 9016284 140736792462256 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 405876 396972 665 1178 0 404694 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1623504
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14606
/proc/meminfo: memFree=29264068/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1722748 CPUtime=462.31 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 438536 0 0 0 46183 48 0 0 25 0 1 0 871623354 1764093952 421662 33554432000 4194304 9016284 140736792462256 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 430687 421662 665 1178 0 429505 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1722748
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14608
/proc/meminfo: memFree=29133576/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1844412 CPUtime=522.3 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 469323 0 0 0 52179 51 0 0 25 0 1 0 871623354 1888677888 452449 33554432000 4194304 9016284 140736792462256 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 461103 452449 665 1178 0 459921 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1844412
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14610
/proc/meminfo: memFree=29025644/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=1942100 CPUtime=582.31 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 494692 0 0 0 58176 55 0 0 25 0 1 0 871623354 1988710400 477818 33554432000 4194304 9016284 140736792462256 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 485525 477818 665 1178 0 484343 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1942100
[startup+642.3 s]
################
# More data... #
################
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 646158 0 0 0 106158 75 0 0 25 0 1 0 871623354 2619244544 629284 33554432000 4194304 9016284 140736792462256 18446744073709551615 6479505 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 639464 629284 670 1178 0 638282 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2557856
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14662
/proc/meminfo: memFree=27615740/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=2589240 CPUtime=1122.33 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 654395 0 0 0 112157 76 0 0 25 0 1 0 871623354 2651381760 637521 33554432000 4194304 9016284 140736792462256 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 647310 637521 670 1178 0 646128 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2589240
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14664
/proc/meminfo: memFree=27524936/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=2622708 CPUtime=1182.33 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 662850 0 0 0 118156 77 0 0 25 0 1 0 871623354 2685652992 645976 33554432000 4194304 9016284 140736792462256 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 655677 645976 670 1178 0 654495 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2622708
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14665
/proc/meminfo: memFree=27280352/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=2660188 CPUtime=1242.33 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 672202 0 0 0 124154 79 0 0 25 0 1 0 871623354 2724032512 655328 33554432000 4194304 9016284 140736792462256 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 665047 655328 670 1178 0 663865 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2660188
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14667
/proc/meminfo: memFree=26856968/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3004392 CPUtime=1302.35 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 752730 0 0 0 130142 93 0 0 25 0 1 0 871623354 3076497408 732972 33554432000 4194304 9016284 140736792462256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 751098 732972 818 1178 0 749916 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3004392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14668
/proc/meminfo: memFree=26765668/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3023372 CPUtime=1362.34 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 757785 0 0 0 136136 98 0 0 25 0 1 0 871623354 3095932928 737892 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 755843 737892 792 1178 0 754661 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3023372
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14670
/proc/meminfo: memFree=26624372/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3037256 CPUtime=1422.35 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 759870 0 0 0 142130 105 0 0 25 0 1 0 871623354 3110150144 739784 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 759314 739784 695 1178 0 758132 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3037256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14672
/proc/meminfo: memFree=26506652/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3039172 CPUtime=1482.35 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 764528 0 0 0 148124 111 0 0 25 0 1 0 871623354 3112112128 743964 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 759793 743964 707 1178 0 758611 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3039172
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14673
/proc/meminfo: memFree=26365984/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1542.35 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775562 0 0 0 154119 116 0 0 25 0 1 0 871623354 3155271680 754838 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754838 707 1178 0 769148 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3081320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14684
/proc/meminfo: memFree=26211800/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1602.35 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775606 0 0 0 160116 119 0 0 25 0 1 0 871623354 3155271680 754882 33554432000 4194304 9016284 140736792462256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754882 707 1178 0 769148 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3081320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14685
/proc/meminfo: memFree=26113536/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1662.35 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775637 0 0 0 166114 121 0 0 25 0 1 0 871623354 3155271680 754913 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754913 707 1178 0 769148 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3081320
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 14687
/proc/meminfo: memFree=25996816/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1722.36 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775652 0 0 0 172111 125 0 0 25 0 1 0 871623354 3155271680 754928 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754928 707 1178 0 769148 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 3081320
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14689
/proc/meminfo: memFree=25910464/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1782.36 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775661 0 0 0 178108 128 0 0 25 0 1 0 871623354 3155271680 754937 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754937 707 1178 0 769148 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3081320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14689
/proc/meminfo: memFree=25888256/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1800.06 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775663 0 0 0 179877 129 0 0 25 0 1 0 871623354 3155271680 754939 33554432000 4194304 9016284 140736792462256 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754939 707 1178 0 769148 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3081320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14593
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14690
/proc/meminfo: memFree=25885272/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1801.46 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775663 0 0 0 180017 129 0 0 25 0 1 0 871623354 3155271680 754939 33554432000 4194304 9016284 140736792462256 18446744073709551615 7152978 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754939 707 1178 0 769148 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3081320
[startup+1801.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14690
/proc/meminfo: memFree=25883660/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1801.86 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775663 0 0 0 180057 129 0 0 25 0 1 0 871623354 3155271680 754939 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181804 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754939 707 1178 0 769148 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3081320
[startup+1802 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14690
/proc/meminfo: memFree=25883660/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=3081320 CPUtime=1802.06 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4202496 775663 0 0 0 180077 129 0 0 25 0 1 0 871623354 3155271680 754939 33554432000 4194304 9016284 140736792462256 18446744073709551615 7181431 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14593/statm: 770330 754939 707 1178 0 769148 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3081320
[startup+1802.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 14690
/proc/meminfo: memFree=25883660/32951124 swapFree=67064580/67111528
[pid=14593] ppid=14591 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/14593/stat : 14593 (scip-2.0.1.4b_2) R 14591 14593 13556 0 -1 4203524 775663 0 0 0 180077 138 0 0 25 0 1 0 871623354 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/14593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.18
CPU user time (s): 1800.78
CPU system time (s): 1.40579
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3081320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.78
system time used= 1.40579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775663
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= 3
involuntary context switches= 2637
runsolver used 2.51262 second user time and 5.9241 second system time
The end