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-3489747-1307792985.opb>
1.29/1.38 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.29/1.38 c problem read
1.29/1.38 c presolving settings loaded
1.79/1.86 c presolving:
9.89/9.95 c (round 1) 5471 del vars, 15862 del conss, 0 add conss, 4095 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16790072 impls, 0 clqs
13.79/13.87 c (round 2) 11421 del vars, 39185 del conss, 0 add conss, 9700 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821114 impls, 0 clqs
14.99/15.01 c (round 3) 13592 del vars, 49337 del conss, 0 add conss, 10884 chg bounds, 17 chg sides, 27 chg coeffs, 0 upgd conss, 16834186 impls, 0 clqs
15.69/15.70 c (round 4) 14648 del vars, 53526 del conss, 0 add conss, 11537 chg bounds, 56 chg sides, 71 chg coeffs, 0 upgd conss, 16842727 impls, 0 clqs
16.09/16.17 c (round 5) 15293 del vars, 56094 del conss, 0 add conss, 11970 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16847799 impls, 0 clqs
16.39/16.47 c (round 6) 15691 del vars, 57702 del conss, 0 add conss, 12214 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16850736 impls, 0 clqs
16.59/16.64 c (round 7) 15877 del vars, 58610 del conss, 0 add conss, 12316 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852000 impls, 0 clqs
16.69/16.75 c (round 8) 15963 del vars, 59000 del conss, 0 add conss, 12373 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852452 impls, 0 clqs
16.79/16.84 c (round 9) 16007 del vars, 59224 del conss, 0 add conss, 12409 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852518 impls, 0 clqs
16.89/16.90 c (round 10) 16009 del vars, 59267 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852532 impls, 0 clqs
17.60/17.62 c (round 11) 16009 del vars, 59269 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
18.69/18.75 c (round 12) 16009 del vars, 59291 del conss, 58 add conss, 12410 chg bounds, 165 chg sides, 360 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
947.22/947.21 c (947.2s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1492.35/1492.35 c (1492.3s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1492.75/1492.78 c (1492.8s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1492.75/1492.78 c (1492.8s) probing aborted: 2000/2000 successive useless probings
1492.75/1492.78 c presolving (13 rounds):
1492.75/1492.78 c 16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1492.75/1492.78 c 84975936 implications, 0 cliques
1492.75/1492.78 c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1492.75/1492.78 c 1123 constraints of type <knapsack>
1492.75/1492.78 c 157010 constraints of type <setppc>
1492.75/1492.78 c 28124 constraints of type <logicor>
1492.75/1492.78 c transformed objective value is always integral (scale: 1)
1492.75/1492.78 c Presolving Time: 1491.05
1492.75/1492.78 c - non default parameters ----------------------------------------------------------------------
1492.75/1492.78 c # SCIP version 2.0.1.5
1492.75/1492.78 c
1492.75/1492.78 c # frequency for displaying node information lines
1492.75/1492.78 c # [type: int, range: [-1,2147483647], default: 100]
1492.75/1492.78 c display/freq = 10000
1492.75/1492.78 c
1492.75/1492.78 c # maximal time in seconds to run
1492.75/1492.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.75/1492.78 c limits/time = 1797
1492.75/1492.78 c
1492.75/1492.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1492.75/1492.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.75/1492.78 c limits/memory = 13950
1492.75/1492.78 c
1492.75/1492.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
1492.75/1492.78 c # [type: int, range: [1,2], default: 1]
1492.75/1492.78 c timing/clocktype = 2
1492.75/1492.78 c
1492.75/1492.78 c # belongs reading time to solving time?
1492.75/1492.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78 c timing/reading = TRUE
1492.75/1492.78 c
1492.75/1492.78 c # should presolving try to simplify inequalities
1492.75/1492.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78 c constraints/linear/simplifyinequalities = TRUE
1492.75/1492.78 c
1492.75/1492.78 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1492.75/1492.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78 c constraints/indicator/addCouplingCons = TRUE
1492.75/1492.78 c
1492.75/1492.78 c # should presolving try to simplify knapsacks
1492.75/1492.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.75/1492.78 c constraints/knapsack/simplifyinequalities = TRUE
1492.75/1492.78 c
1492.75/1492.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1492.75/1492.78 c # [type: int, range: [-1,2147483647], default: -1]
1492.75/1492.78 c separating/rapidlearning/freq = 0
1492.75/1492.78 c
1492.75/1492.78 c -----------------------------------------------------------------------------------------------
1492.75/1492.78 c start solving
1492.84/1492.82 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-3489747-1307792985/watcher-3489747-1307792985 -o /tmp/evaluation-result-3489747-1307792985/solver-3489747-1307792985 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489747-1307792985.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.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 969529176 13000704 2122 33554432000 4194304 9016284 140737436054160 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 3174 2122 353 1178 0 1992 0
[startup+0.095235 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=31232 CPUtime=0.08 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 6806 0 0 0 8 0 0 0 25 0 1 0 969529176 31981568 6761 33554432000 4194304 9016284 140737436054160 18446744073709551615 7805042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 7808 6761 360 1178 0 6626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31232
[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=32392 CPUtime=0.08 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 7097 0 0 0 8 0 0 0 25 0 1 0 969529176 33169408 7052 33554432000 4194304 9016284 140737436054160 18446744073709551615 7870488 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 8098 7052 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32392
[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=59140 CPUtime=0.29 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 13784 0 0 0 28 1 0 0 25 0 1 0 969529176 60559360 13739 33554432000 4194304 9016284 140737436054160 18446744073709551615 5208219 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 14785 13739 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140
[startup+0.701118 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9905
/proc/meminfo: memFree=30500352/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=88696 CPUtime=0.69 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 21174 0 0 0 67 2 0 0 25 0 1 0 969529176 90824704 21129 33554432000 4194304 9016284 140737436054160 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9905/statm: 22174 21129 360 1178 0 20992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88696
[startup+1.50097 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9906
/proc/meminfo: memFree=30378724/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=255300 CPUtime=1.49 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 62656 0 0 0 143 6 0 0 25 0 1 0 969529176 261427200 62583 33554432000 4194304 9016284 140737436054160 18446744073709551615 4327792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9905/statm: 63825 62583 406 1178 0 62643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 255300
[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9906
/proc/meminfo: memFree=30095180/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=513060 CPUtime=3.09 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 125799 0 0 0 297 12 0 0 25 0 1 0 969529176 525373440 125726 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9905/statm: 128265 125726 485 1178 0 127083 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 513060
[startup+6.30105 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9906
/proc/meminfo: memFree=29828992/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=729304 CPUtime=6.29 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 179082 0 0 0 611 18 0 0 25 0 1 0 969529176 746807296 179009 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 182326 179009 485 1178 0 181144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 729304
[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9906
/proc/meminfo: memFree=29619332/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=889004 CPUtime=12.69 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 217562 0 0 0 1246 23 0 0 25 0 1 0 969529176 910340096 217232 33554432000 4194304 9016284 140737436054160 18446744073709551615 6481218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 222251 217232 496 1178 0 221069 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 889004
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 9906
/proc/meminfo: memFree=29482680/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1011696 CPUtime=25.49 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 264884 0 0 0 2521 28 0 0 25 0 1 0 969529176 1035976704 247198 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 252924 247198 638 1178 0 251742 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1011696
[startup+51.1006 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9907
/proc/meminfo: memFree=29408864/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1065276 CPUtime=51.09 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 276797 0 0 0 5080 29 0 0 25 0 1 0 969529176 1090842624 259111 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 266319 259111 638 1178 0 265137 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1065276
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9908
/proc/meminfo: memFree=29283376/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1126184 CPUtime=102.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 292245 0 0 0 10198 32 0 0 25 0 1 0 969529176 1153212416 274559 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 281546 274559 638 1178 0 280364 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1126184
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9910
/proc/meminfo: memFree=29038032/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1262936 CPUtime=162.29 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 325609 0 0 0 16194 35 0 0 25 0 1 0 969529176 1293246464 307923 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 315734 307923 638 1178 0 314552 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1262936
[startup+222.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 9912
/proc/meminfo: memFree=28868708/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1354140 CPUtime=222.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 348626 0 0 0 22192 38 0 0 25 0 1 0 969529176 1386639360 330940 33554432000 4194304 9016284 140737436054160 18446744073709551615 4330747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 338535 330940 638 1178 0 337353 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1354140
[startup+282.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9913
/proc/meminfo: memFree=28721588/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1424384 CPUtime=282.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 365709 0 0 0 28190 40 0 0 25 0 1 0 969529176 1458569216 348023 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 356096 348023 638 1178 0 354914 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1424384
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 9915
/proc/meminfo: memFree=28364276/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1577596 CPUtime=342.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 403833 0 0 0 34185 45 0 0 25 0 1 0 969529176 1615458304 386147 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 394399 386147 638 1178 0 393217 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1577596
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9916
/proc/meminfo: memFree=28233652/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1649004 CPUtime=402.3 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 421467 0 0 0 40183 47 0 0 25 0 1 0 969529176 1688580096 403781 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 412251 403781 638 1178 0 411069 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1649004
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9918
/proc/meminfo: memFree=27941328/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1812164 CPUtime=462.31 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 461945 0 0 0 46179 52 0 0 25 0 1 0 969529176 1855655936 444259 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 453041 444259 638 1178 0 451859 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1812164
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9919
/proc/meminfo: memFree=27781436/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=1906432 CPUtime=522.31 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 485422 0 0 0 52176 55 0 0 25 0 1 0 969529176 1952186368 467736 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 476608 467736 638 1178 0 475426 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1906432
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9921
/proc/meminfo: memFree=27587204/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2027816 CPUtime=582.31 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 515803 0 0 0 58173 58 0 0 25 0 1 0 969529176 2076483584 498117 33554432000 4194304 9016284 140737436054160 18446744073709551615 5519524 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 506954 498117 638 1178 0 505772 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2027816
[startup+642.301 s]
################
# More data... #
################
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 693867 0 0 0 106149 84 0 0 25 0 1 0 969529176 2812747776 676181 33554432000 4194304 9016284 140737436054160 18446744073709551615 6480086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 686706 676181 643 1178 0 685524 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2746824
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9945
/proc/meminfo: memFree=26101512/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2795336 CPUtime=1122.33 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 705519 0 0 0 112147 86 0 0 25 0 1 0 969529176 2862424064 687833 33554432000 4194304 9016284 140737436054160 18446744073709551615 5512320 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 698834 687833 643 1178 0 697652 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2795336
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9946
/proc/meminfo: memFree=26014648/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2852524 CPUtime=1182.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 719263 0 0 0 118146 88 0 0 25 0 1 0 969529176 2920984576 701577 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 713131 701577 643 1178 0 711949 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2852524
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9948
/proc/meminfo: memFree=25927896/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2894820 CPUtime=1242.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 730493 0 0 0 124144 90 0 0 25 0 1 0 969529176 2964295680 712807 33554432000 4194304 9016284 140737436054160 18446744073709551615 4878660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 723705 712807 643 1178 0 722523 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2894820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9949
/proc/meminfo: memFree=25818728/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=2950980 CPUtime=1302.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 744195 0 0 0 130142 92 0 0 25 0 1 0 969529176 3021803520 726509 33554432000 4194304 9016284 140737436054160 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 737745 726509 643 1178 0 736563 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2950980
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9951
/proc/meminfo: memFree=25418152/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3045584 CPUtime=1362.34 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 767538 0 0 0 136139 95 0 0 25 0 1 0 969529176 3118678016 749852 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 761396 749852 643 1178 0 760214 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3045584
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9953
/proc/meminfo: memFree=25361440/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3081968 CPUtime=1422.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 776457 0 0 0 142138 97 0 0 25 0 1 0 969529176 3155935232 758771 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 770492 758771 643 1178 0 769310 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3081968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9954
/proc/meminfo: memFree=25317384/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3115304 CPUtime=1482.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 785459 0 0 0 148137 98 0 0 25 0 1 0 969529176 3190071296 767773 33554432000 4194304 9016284 140737436054160 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 778826 767773 643 1178 0 777644 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3115304
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9956
/proc/meminfo: memFree=24986756/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3458660 CPUtime=1542.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 865257 0 0 0 154121 114 0 0 25 0 1 0 969529176 3541667840 844536 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181827 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 864665 844536 884 1178 0 863483 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3458660
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9957
/proc/meminfo: memFree=24969220/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3469520 CPUtime=1602.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 869273 0 0 0 160115 120 0 0 25 0 1 0 969529176 3552788480 848316 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 867380 848316 785 1178 0 866198 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3469520
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9959
/proc/meminfo: memFree=24908652/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3482512 CPUtime=1662.36 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 875061 0 0 0 166108 128 0 0 25 0 1 0 969529176 3566092288 853805 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 870628 853805 963 1178 0 869446 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 3482512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9960
/proc/meminfo: memFree=24861968/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3522544 CPUtime=1722.35 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886333 0 0 0 172101 134 0 0 25 0 1 0 969529176 3607085056 864520 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 880636 864520 743 1178 0 879454 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3522544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10001
/proc/meminfo: memFree=27683344/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1782.36 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886930 0 0 0 178096 140 0 0 25 0 1 0 969529176 3608862720 865038 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865038 777 1178 0 879888 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3524280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 10002
/proc/meminfo: memFree=27565056/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1800.06 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886932 0 0 0 179865 141 0 0 25 0 1 0 969529176 3608862720 865040 33554432000 4194304 9016284 140737436054160 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865040 777 1178 0 879888 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3524280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9905
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27561948/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1801.46 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886933 0 0 0 180005 141 0 0 25 0 1 0 969529176 3608862720 865041 33554432000 4194304 9016284 140737436054160 18446744073709551615 7156517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865041 777 1178 0 879888 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3524280
[startup+1801.81 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27559592/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1801.86 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886933 0 0 0 180045 141 0 0 25 0 1 0 969529176 3608862720 865041 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181775 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865041 777 1178 0 879888 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3524280
[startup+1802 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27559592/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=3524280 CPUtime=1802.06 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4202496 886933 0 0 0 180065 141 0 0 25 0 1 0 969529176 3608862720 865041 33554432000 4194304 9016284 140737436054160 18446744073709551615 7181376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9905/statm: 881070 865041 777 1178 0 879888 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3524280
[startup+1802.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10003
/proc/meminfo: memFree=27559592/32950928 swapFree=67056212/67111528
[pid=9905] ppid=9903 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/9905/stat : 9905 (scip-2.0.1.4b_2) R 9903 9905 9093 0 -1 4203524 886933 0 0 0 180065 150 0 0 25 0 1 0 969529176 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9905/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.13
CPU time (s): 1802.2
CPU user time (s): 1800.66
CPU system time (s): 1.53877
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3524280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.66
system time used= 1.53877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886933
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= 21015
runsolver used 2.89056 second user time and 6.80097 second system time
The end