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-3489732-1307792956.opb>
1.49/1.50 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234238 constraints
1.49/1.50 c problem read
1.49/1.50 c presolving settings loaded
1.99/2.03 c presolving:
10.69/10.71 c (round 1) 4914 del vars, 14863 del conss, 0 add conss, 3365 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16007856 impls, 0 clqs
15.19/15.28 c (round 2) 12278 del vars, 39072 del conss, 0 add conss, 10335 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16039526 impls, 0 clqs
16.59/16.65 c (round 3) 14566 del vars, 50352 del conss, 0 add conss, 11555 chg bounds, 25 chg sides, 49 chg coeffs, 0 upgd conss, 16055512 impls, 0 clqs
17.39/17.40 c (round 4) 15471 del vars, 54200 del conss, 0 add conss, 12122 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16060400 impls, 0 clqs
17.60/17.62 c (round 5) 15854 del vars, 55951 del conss, 0 add conss, 12284 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16062584 impls, 0 clqs
17.69/17.74 c (round 6) 15928 del vars, 56364 del conss, 0 add conss, 12314 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063284 impls, 0 clqs
17.79/17.82 c (round 7) 15956 del vars, 56525 del conss, 0 add conss, 12329 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063644 impls, 0 clqs
17.79/17.90 c (round 8) 15968 del vars, 56591 del conss, 0 add conss, 12335 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063740 impls, 0 clqs
17.89/17.96 c (round 9) 15970 del vars, 56613 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063750 impls, 0 clqs
18.70/18.76 c (round 10) 15970 del vars, 56616 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
19.99/20.06 c (round 11) 15970 del vars, 56616 del conss, 9 add conss, 12336 chg bounds, 44 chg sides, 182 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
827.30/827.36 c (827.4s) probing: 1000/56872 (1.8%) - 0 fixings, 0 aggregations, 10880552 implications, 0 bound changes
1361.23/1361.29 c (1361.3s) probing: 2000/56872 (3.5%) - 0 fixings, 0 aggregations, 16542086 implications, 0 bound changes
1361.93/1361.95 c (1361.9s) probing: 2001/56872 (3.5%) - 0 fixings, 0 aggregations, 16548096 implications, 0 bound changes
1361.93/1361.95 c (1361.9s) probing aborted: 2000/2000 successive useless probings
1361.93/1361.95 c presolving (12 rounds):
1361.93/1361.95 c 15970 deleted vars, 56620 deleted constraints, 9 added constraints, 12336 tightened bounds, 0 added holes, 44 changed sides, 184 changed coefficients
1361.93/1361.95 c 74804666 implications, 0 cliques
1361.93/1361.95 c presolved problem has 56872 variables (56872 bin, 0 int, 0 impl, 0 cont) and 177627 constraints
1361.93/1361.95 c 1161 constraints of type <knapsack>
1361.93/1361.95 c 148361 constraints of type <setppc>
1361.93/1361.95 c 28105 constraints of type <logicor>
1361.93/1361.95 c transformed objective value is always integral (scale: 1)
1361.93/1361.95 c Presolving Time: 1360.07
1361.93/1361.95 c - non default parameters ----------------------------------------------------------------------
1361.93/1361.95 c # SCIP version 2.0.1.5
1361.93/1361.95 c
1361.93/1361.95 c # frequency for displaying node information lines
1361.93/1361.95 c # [type: int, range: [-1,2147483647], default: 100]
1361.93/1361.95 c display/freq = 10000
1361.93/1361.95 c
1361.93/1361.95 c # maximal time in seconds to run
1361.93/1361.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1361.93/1361.95 c limits/time = 1797
1361.93/1361.95 c
1361.93/1361.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1361.93/1361.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1361.93/1361.95 c limits/memory = 13950
1361.93/1361.95 c
1361.93/1361.95 c # default clock type (1: CPU user seconds, 2: wall clock time)
1361.93/1361.95 c # [type: int, range: [1,2], default: 1]
1361.93/1361.95 c timing/clocktype = 2
1361.93/1361.95 c
1361.93/1361.95 c # belongs reading time to solving time?
1361.93/1361.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1361.93/1361.95 c timing/reading = TRUE
1361.93/1361.95 c
1361.93/1361.95 c # should presolving try to simplify inequalities
1361.93/1361.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1361.93/1361.95 c constraints/linear/simplifyinequalities = TRUE
1361.93/1361.95 c
1361.93/1361.95 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1361.93/1361.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1361.93/1361.95 c constraints/indicator/addCouplingCons = TRUE
1361.93/1361.95 c
1361.93/1361.95 c # should presolving try to simplify knapsacks
1361.93/1361.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1361.93/1361.95 c constraints/knapsack/simplifyinequalities = TRUE
1361.93/1361.95 c
1361.93/1361.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1361.93/1361.95 c # [type: int, range: [-1,2147483647], default: -1]
1361.93/1361.95 c separating/rapidlearning/freq = 0
1361.93/1361.95 c
1361.93/1361.95 c -----------------------------------------------------------------------------------------------
1361.93/1361.95 c start solving
1361.93/1361.99 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-3489732-1307792956/watcher-3489732-1307792956 -o /tmp/evaluation-result-3489732-1307792956/solver-3489732-1307792956 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489732-1307792956.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.00 2.00 2/177 9865
/proc/meminfo: memFree=30516032/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 969526270 13000704 2122 33554432000 4194304 9016284 140735719737376 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9865/statm: 3174 2122 353 1178 0 1992 0
[startup+0.03443 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9865
/proc/meminfo: memFree=30516032/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=19316 CPUtime=0.02 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 3811 0 0 0 2 0 0 0 25 0 1 0 969526270 19779584 3765 33554432000 4194304 9016284 140735719737376 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9865/statm: 4829 3765 360 1178 0 3647 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19316
[startup+0.100423 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9865
/proc/meminfo: memFree=30516032/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=29932 CPUtime=0.09 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 6487 0 0 0 9 0 0 0 25 0 1 0 969526270 30650368 6441 33554432000 4194304 9016284 140735719737376 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9865/statm: 7483 6441 360 1178 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29932
[startup+0.300392 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9865
/proc/meminfo: memFree=30516032/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=56880 CPUtime=0.29 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 13207 0 0 0 28 1 0 0 25 0 1 0 969526270 58245120 13161 33554432000 4194304 9016284 140735719737376 18446744073709551615 7866375 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9865/statm: 14220 13161 360 1178 0 13038 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56880
[startup+0.700309 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9865
/proc/meminfo: memFree=30516032/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=82884 CPUtime=0.69 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 19689 0 0 0 67 2 0 0 25 0 1 0 969526270 84873216 19643 33554432000 4194304 9016284 140735719737376 18446744073709551615 7842276 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9865/statm: 20721 19643 360 1178 0 19539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82884
[startup+1.50117 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=30410264/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=155128 CPUtime=1.49 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 37684 0 0 0 146 3 0 0 25 0 1 0 969526270 158851072 37638 33554432000 4194304 9016284 140735719737376 18446744073709551615 7842271 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9865/statm: 38782 37638 360 1178 0 37600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155128
[startup+3.10086 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=30153336/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=475768 CPUtime=3.09 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 116344 0 0 0 295 14 0 0 25 0 1 0 969526270 487186432 116279 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 118942 116279 485 1178 0 117760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 475768
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=29896048/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=681672 CPUtime=6.29 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 167489 0 0 0 609 20 0 0 25 0 1 0 969526270 698032128 167424 33554432000 4194304 9016284 140735719737376 18446744073709551615 4905623 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 170418 167424 485 1178 0 169236 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 681672
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=29673220/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=862904 CPUtime=12.69 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 210811 0 0 0 1244 25 0 0 25 0 1 0 969526270 883613696 210489 33554432000 4194304 9016284 140735719737376 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 215726 210489 496 1178 0 214544 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 862904
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=29562940/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=978784 CPUtime=25.49 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 254027 0 0 0 2519 30 0 0 25 0 1 0 969526270 1002274816 238348 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 244696 238348 544 1178 0 243514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 978784
[startup+51.1008 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 9906
/proc/meminfo: memFree=29512448/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1023068 CPUtime=51.09 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 264333 0 0 0 5078 31 0 0 25 0 1 0 969526270 1047621632 248654 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 255767 248654 544 1178 0 254585 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1023068
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9908
/proc/meminfo: memFree=29354100/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1072044 CPUtime=102.3 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 276051 0 0 0 10198 32 0 0 25 0 1 0 969526270 1097773056 260372 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 268011 260372 544 1178 0 266829 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1072044
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 9909
/proc/meminfo: memFree=29138028/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1191928 CPUtime=162.28 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 305245 0 0 0 16193 35 0 0 25 0 1 0 969526270 1220534272 289566 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 297982 289566 544 1178 0 296800 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1191928
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9911
/proc/meminfo: memFree=28947236/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1270396 CPUtime=222.29 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 325506 0 0 0 22191 38 0 0 25 0 1 0 969526270 1300885504 309827 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 317599 309827 544 1178 0 316417 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1270396
[startup+282.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9912
/proc/meminfo: memFree=28798624/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1348116 CPUtime=282.29 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 344634 0 0 0 28189 40 0 0 25 0 1 0 969526270 1380470784 328955 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 337029 328955 544 1178 0 335847 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1348116
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9914
/proc/meminfo: memFree=28529976/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1484680 CPUtime=342.29 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 377907 0 0 0 34185 44 0 0 25 0 1 0 969526270 1520312320 362228 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 371170 362228 544 1178 0 369988 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1484680
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9916
/proc/meminfo: memFree=28297800/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1625164 CPUtime=402.28 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 413279 0 0 0 40180 48 0 0 25 0 1 0 969526270 1664167936 397600 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 406291 397600 544 1178 0 405109 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1625164
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9917
/proc/meminfo: memFree=28061768/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1702340 CPUtime=462.29 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 432581 0 0 0 46178 51 0 0 25 0 1 0 969526270 1743196160 416902 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 425585 416902 544 1178 0 424403 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1702340
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9919
/proc/meminfo: memFree=27858352/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1810952 CPUtime=522.3 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 459918 0 0 0 52175 55 0 0 25 0 1 0 969526270 1854414848 444239 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 452738 444239 544 1178 0 451556 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1810952
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9920
/proc/meminfo: memFree=27685188/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=1886984 CPUtime=582.3 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 478843 0 0 0 58173 57 0 0 25 0 1 0 969526270 1932271616 463164 33554432000 4194304 9016284 140735719737376 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9865/statm: 471746 463164 544 1178 0 470564 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1886984
[startup+642.301 s]
################
# More data... #
################
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 639668 0 0 0 106155 77 0 0 25 0 1 0 969526270 2598998016 623989 33554432000 4194304 9016284 140735719737376 18446744073709551615 5512282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 634521 623989 549 1178 0 633339 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2538084
[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 9944
/proc/meminfo: memFree=26190084/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=2588508 CPUtime=1122.32 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 651823 0 0 0 112153 79 0 0 25 0 1 0 969526270 2650632192 636144 33554432000 4194304 9016284 140735719737376 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 647127 636144 549 1178 0 645945 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2588508
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9945
/proc/meminfo: memFree=26060060/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=2670116 CPUtime=1182.32 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 672181 0 0 0 118150 82 0 0 25 0 1 0 969526270 2734198784 656502 33554432000 4194304 9016284 140735719737376 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 667529 656502 549 1178 0 666347 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2670116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9947
/proc/meminfo: memFree=25970832/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=2705524 CPUtime=1242.32 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 681380 0 0 0 124149 83 0 0 25 0 1 0 969526270 2770456576 665701 33554432000 4194304 9016284 140735719737376 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 676381 665701 549 1178 0 675199 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2705524
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9949
/proc/meminfo: memFree=25866252/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=2765280 CPUtime=1302.33 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 695551 0 0 0 130149 84 0 0 25 0 1 0 969526270 2831646720 679872 33554432000 4194304 9016284 140735719737376 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 691320 679872 549 1178 0 690138 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2765280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9950
/proc/meminfo: memFree=25735996/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=2910496 CPUtime=1362.32 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 733198 0 0 0 136144 88 0 0 25 0 1 0 969526270 2980347904 715571 33554432000 4194304 9016284 140735719737376 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 727624 715572 590 1178 0 726442 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2910496
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9952
/proc/meminfo: memFree=25381312/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3132952 CPUtime=1422.34 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 784170 0 0 0 142136 98 0 0 25 0 1 0 969526270 3208142848 765681 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181758 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 783238 765681 901 1178 0 782056 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3132952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9953
/proc/meminfo: memFree=25342328/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3135100 CPUtime=1482.33 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 785601 0 0 0 148131 102 0 0 25 0 1 0 969526270 3210342400 766994 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 783775 766994 783 1178 0 782593 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3135100
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9955
/proc/meminfo: memFree=25013444/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3153988 CPUtime=1542.34 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 789402 0 0 0 154128 106 0 0 25 0 1 0 969526270 3229683712 770637 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 788497 770637 706 1178 0 787315 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3153988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9957
/proc/meminfo: memFree=24975196/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3160728 CPUtime=1602.34 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 793823 0 0 0 160125 109 0 0 25 0 1 0 969526270 3236585472 774703 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 790182 774703 735 1178 0 789000 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3160728
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9958
/proc/meminfo: memFree=24913400/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3198924 CPUtime=1662.34 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 802915 0 0 0 166122 112 0 0 25 0 1 0 969526270 3275698176 783591 33554432000 4194304 9016284 140735719737376 18446744073709551615 7870579 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 799731 783591 689 1178 0 798549 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3198924
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9960
/proc/meminfo: memFree=24869068/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3201860 CPUtime=1722.34 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 804343 0 0 0 172119 115 0 0 25 0 1 0 969526270 3278704640 784886 33554432000 4194304 9016284 140735719737376 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 800465 784886 714 1178 0 799283 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3201860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9961
/proc/meminfo: memFree=24858100/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3204356 CPUtime=1782.34 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 805316 0 0 0 178117 117 0 0 25 0 1 0 969526270 3281260544 785752 33554432000 4194304 9016284 140735719737376 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 801089 785752 689 1178 0 799907 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3204356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9962
/proc/meminfo: memFree=24857840/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3204356 CPUtime=1800.04 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 805358 0 0 0 179886 118 0 0 25 0 1 0 969526270 3281260544 785794 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 801089 785794 716 1178 0 799907 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3204356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9865
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9963
/proc/meminfo: memFree=24857832/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3204356 CPUtime=1801.45 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 805358 0 0 0 180026 119 0 0 25 0 1 0 969526270 3281260544 785794 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181418 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 801089 785794 716 1178 0 799907 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 3204356
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9963
/proc/meminfo: memFree=24857832/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3204356 CPUtime=1801.85 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 805358 0 0 0 180066 119 0 0 25 0 1 0 969526270 3281260544 785794 33554432000 4194304 9016284 140735719737376 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 801089 785794 716 1178 0 799907 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3204356
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9963
/proc/meminfo: memFree=24857832/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=3204984 CPUtime=1802.05 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4202496 805508 0 0 0 180086 119 0 0 25 0 1 0 969526270 3281903616 785917 33554432000 4194304 9016284 140735719737376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9865/statm: 801246 785917 689 1178 0 800064 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 3204984
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9963
/proc/meminfo: memFree=24857832/32950928 swapFree=67056212/67111528
[pid=9865] ppid=9863 vsize=0 CPUtime=1802.14 cores=0,2,4,6
/proc/9865/stat : 9865 (scip-2.0.1.4b_2) R 9863 9865 9093 0 -1 4203524 805508 0 0 0 180086 128 0 0 25 0 1 0 969526270 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/9865/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
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.87
CPU system time (s): 1.3088
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3204984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.87
system time used= 1.3088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805508
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= 2
involuntary context switches= 2182
runsolver used 3.2945 second user time and 6.23905 second system time
The end