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-3489739-1307792949.opb>
1.29/1.31 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245155 constraints
1.29/1.31 c problem read
1.29/1.31 c presolving settings loaded
1.69/1.75 c presolving:
9.59/9.67 c (round 1) 6457 del vars, 19585 del conss, 0 add conss, 4759 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16567538 impls, 0 clqs
13.89/13.92 c (round 2) 13833 del vars, 46792 del conss, 0 add conss, 11748 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16604973 impls, 0 clqs
15.29/15.32 c (round 3) 16438 del vars, 58955 del conss, 0 add conss, 13297 chg bounds, 29 chg sides, 36 chg coeffs, 0 upgd conss, 16618247 impls, 0 clqs
15.89/15.92 c (round 4) 17575 del vars, 63736 del conss, 0 add conss, 13956 chg bounds, 57 chg sides, 78 chg coeffs, 0 upgd conss, 16625274 impls, 0 clqs
16.19/16.28 c (round 5) 18116 del vars, 66026 del conss, 0 add conss, 14267 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16630161 impls, 0 clqs
16.50/16.52 c (round 6) 18413 del vars, 67267 del conss, 0 add conss, 14449 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16632572 impls, 0 clqs
16.59/16.68 c (round 7) 18603 del vars, 68054 del conss, 0 add conss, 14563 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16634277 impls, 0 clqs
16.79/16.81 c (round 8) 18726 del vars, 68590 del conss, 0 add conss, 14641 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16635127 impls, 0 clqs
16.89/16.91 c (round 9) 18810 del vars, 68945 del conss, 0 add conss, 14690 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16635855 impls, 0 clqs
16.89/16.98 c (round 10) 18840 del vars, 69119 del conss, 0 add conss, 14709 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636271 impls, 0 clqs
16.99/17.04 c (round 11) 18866 del vars, 69219 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636332 impls, 0 clqs
17.09/17.10 c (round 12) 18866 del vars, 69251 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 0 upgd conss, 16636332 impls, 0 clqs
17.69/17.75 c (round 13) 18866 del vars, 69251 del conss, 0 add conss, 14729 chg bounds, 59 chg sides, 84 chg coeffs, 175904 upgd conss, 16636332 impls, 0 clqs
819.81/819.80 c (819.8s) probing: 1000/53976 (1.9%) - 1 fixings, 1 aggregations, 13246362 implications, 0 bound changes
1399.33/1399.38 c (1399.4s) probing: 2000/53976 (3.7%) - 1 fixings, 1 aggregations, 20242354 implications, 0 bound changes
1490.72/1490.79 c (1490.8s) probing: 2175/53976 (4.0%) - 1 fixings, 1 aggregations, 21432088 implications, 0 bound changes
1490.72/1490.79 c (1490.8s) probing aborted: 2000/2000 successive useless probings
1490.72/1490.79 c presolving (14 rounds):
1490.72/1490.79 c 18868 deleted vars, 69251 deleted constraints, 5 added constraints, 14729 tightened bounds, 0 added holes, 68 changed sides, 213 changed coefficients
1490.72/1490.79 c 90383610 implications, 1282 cliques
1490.72/1490.79 c presolved problem has 53974 variables (53974 bin, 0 int, 0 impl, 0 cont) and 175909 constraints
1490.72/1490.79 c 1101 constraints of type <knapsack>
1490.72/1490.79 c 148150 constraints of type <setppc>
1490.72/1490.79 c 26658 constraints of type <logicor>
1490.72/1490.79 c transformed objective value is always integral (scale: 1)
1490.72/1490.79 c Presolving Time: 1489.17
1490.72/1490.79 c - non default parameters ----------------------------------------------------------------------
1490.72/1490.79 c # SCIP version 2.0.1.5
1490.72/1490.79 c
1490.72/1490.79 c # frequency for displaying node information lines
1490.72/1490.79 c # [type: int, range: [-1,2147483647], default: 100]
1490.72/1490.79 c display/freq = 10000
1490.72/1490.79 c
1490.72/1490.79 c # maximal time in seconds to run
1490.72/1490.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1490.72/1490.79 c limits/time = 1797
1490.72/1490.79 c
1490.72/1490.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1490.72/1490.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1490.72/1490.79 c limits/memory = 13950
1490.72/1490.79 c
1490.72/1490.79 c # default clock type (1: CPU user seconds, 2: wall clock time)
1490.72/1490.79 c # [type: int, range: [1,2], default: 1]
1490.72/1490.79 c timing/clocktype = 2
1490.72/1490.79 c
1490.72/1490.79 c # belongs reading time to solving time?
1490.72/1490.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1490.72/1490.79 c timing/reading = TRUE
1490.72/1490.79 c
1490.72/1490.79 c # should presolving try to simplify inequalities
1490.72/1490.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1490.72/1490.79 c constraints/linear/simplifyinequalities = TRUE
1490.72/1490.79 c
1490.72/1490.79 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1490.72/1490.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1490.72/1490.79 c constraints/indicator/addCouplingCons = TRUE
1490.72/1490.79 c
1490.72/1490.79 c # should presolving try to simplify knapsacks
1490.72/1490.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1490.72/1490.79 c constraints/knapsack/simplifyinequalities = TRUE
1490.72/1490.79 c
1490.72/1490.79 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1490.72/1490.79 c # [type: int, range: [-1,2147483647], default: -1]
1490.72/1490.79 c separating/rapidlearning/freq = 0
1490.72/1490.79 c
1490.72/1490.79 c -----------------------------------------------------------------------------------------------
1490.72/1490.79 c start solving
1490.82/1490.83 c
1723.43/1723.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.43/1723.43 c 1723s| 1 | 0 | 49815 | - |2675M| 0 |1106 | 53k| 175k| 53k| 175k| 0 | 72 | 0 | 9.200000e+01 | -- | Inf
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-3489739-1307792949/watcher-3489739-1307792949 -o /tmp/evaluation-result-3489739-1307792949/solver-3489739-1307792949 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489739-1307792949.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 1.96 3/177 8606
/proc/meminfo: memFree=29456420/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 2122 0 0 0 0 0 0 0 25 0 1 0 969525630 12861440 2076 33554432000 4194304 9016284 140735908110976 18446744073709551615 4892672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8606/statm: 3140 2082 353 1178 0 1958 0
[startup+0.0540971 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 8606
/proc/meminfo: memFree=29456420/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=23328 CPUtime=0.04 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 4825 0 0 0 4 0 0 0 25 0 1 0 969525630 23887872 4779 33554432000 4194304 9016284 140735908110976 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8606/statm: 5832 4779 360 1178 0 4650 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23328
[startup+0.101087 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 8606
/proc/meminfo: memFree=29456420/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 969525630 33165312 7052 33554432000 4194304 9016284 140735908110976 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8606/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388
[startup+0.301053 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 8606
/proc/meminfo: memFree=29456420/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=59136 CPUtime=0.29 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 13785 0 0 0 28 1 0 0 25 0 1 0 969525630 60555264 13739 33554432000 4194304 9016284 140735908110976 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8606/statm: 14784 13739 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136
[startup+0.700992 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 8606
/proc/meminfo: memFree=29456420/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=88824 CPUtime=0.69 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 21208 0 0 0 67 2 0 0 25 0 1 0 969525630 90955776 21162 33554432000 4194304 9016284 140735908110976 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8606/statm: 22206 21162 360 1178 0 21024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88824
[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8607
/proc/meminfo: memFree=29338612/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=293964 CPUtime=1.49 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 72312 0 0 0 142 7 0 0 25 0 1 0 969525630 301019136 72247 33554432000 4194304 9016284 140735908110976 18446744073709551615 4327870 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 73491 72254 406 1178 0 72309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 293964
[startup+3.10057 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8607
/proc/meminfo: memFree=29050956/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=516220 CPUtime=3.09 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 126513 0 0 0 297 12 0 0 25 0 1 0 969525630 528609280 126448 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 129055 126448 485 1178 0 127873 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 516220
[startup+6.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8607
/proc/meminfo: memFree=28791796/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=731480 CPUtime=6.29 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 179687 0 0 0 611 18 0 0 25 0 1 0 969525630 749035520 179622 33554432000 4194304 9016284 140735908110976 18446744073709551615 4916938 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 182870 179622 485 1178 0 181688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 731480
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8607
/proc/meminfo: memFree=28589852/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=874180 CPUtime=12.69 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 213887 0 0 0 1246 23 0 0 25 0 1 0 969525630 895160320 213565 33554432000 4194304 9016284 140735908110976 18446744073709551615 6481211 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 218545 213565 496 1178 0 217363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 874180
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8608
/proc/meminfo: memFree=28473496/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=983812 CPUtime=25.49 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 256480 0 0 0 2521 28 0 0 25 0 1 0 969525630 1007423488 239923 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 245953 239923 642 1178 0 244771 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 983812
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8608
/proc/meminfo: memFree=28419856/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1014492 CPUtime=51.09 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 263743 0 0 0 5080 29 0 0 25 0 1 0 969525630 1038839808 247120 33554432000 4194304 9016284 140735908110976 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 253623 247120 642 1178 0 252441 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1014492
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8610
/proc/meminfo: memFree=28279268/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1095196 CPUtime=102.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 283649 0 0 0 10199 31 0 0 25 0 1 0 969525630 1121480704 267026 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 273799 267026 642 1178 0 272617 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1095196
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8611
/proc/meminfo: memFree=28099060/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1219144 CPUtime=162.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 314318 0 0 0 16195 35 0 0 25 0 1 0 969525630 1248403456 297695 33554432000 4194304 9016284 140735908110976 18446744073709551615 5512282 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 304786 297695 642 1178 0 303604 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1219144
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8613
/proc/meminfo: memFree=27924200/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1334628 CPUtime=222.29 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 342474 0 0 0 22191 38 0 0 25 0 1 0 969525630 1366659072 325818 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 333657 325818 642 1178 0 332475 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1334628
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8614
/proc/meminfo: memFree=27809708/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1407696 CPUtime=282.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 359999 0 0 0 28189 41 0 0 25 0 1 0 969525630 1441480704 343343 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 351924 343343 642 1178 0 350742 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1407696
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8616
/proc/meminfo: memFree=27612136/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1548636 CPUtime=342.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 395339 0 0 0 34184 46 0 0 25 0 1 0 969525630 1585803264 378683 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 387159 378683 642 1178 0 385977 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1548636
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8618
/proc/meminfo: memFree=27402296/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1720652 CPUtime=402.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 437652 0 0 0 40179 51 0 0 25 0 1 0 969525630 1761947648 420996 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 430163 420996 642 1178 0 428981 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1720652
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8619
/proc/meminfo: memFree=27156112/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=1914236 CPUtime=462.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 485933 0 0 0 46173 57 0 0 25 0 1 0 969525630 1960177664 469277 33554432000 4194304 9016284 140735908110976 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 478559 469277 642 1178 0 477377 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1914236
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8621
/proc/meminfo: memFree=26806652/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=2038296 CPUtime=522.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 516677 0 0 0 52167 63 0 0 25 0 1 0 969525630 2087215104 500021 33554432000 4194304 9016284 140735908110976 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 509574 500021 642 1178 0 508392 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2038296
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8623
/proc/meminfo: memFree=26592596/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=2114900 CPUtime=582.3 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 535769 0 0 0 58165 65 0 0 25 0 1 0 969525630 2165657600 519113 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 528725 519113 642 1178 0 527543 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2114900
[startup+642.301 s]
################
# More data... #
################
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 703177 0 0 0 106143 88 0 0 25 0 1 0 969525630 2851426304 686521 33554432000 4194304 9016284 140735908110976 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 696149 686521 647 1178 0 694967 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2784596
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8685
/proc/meminfo: memFree=27833000/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=2928964 CPUtime=1122.31 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 738077 0 0 0 112139 92 0 0 25 0 1 0 969525630 2999259136 721421 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 732241 721421 647 1178 0 731059 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2928964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8686
/proc/meminfo: memFree=27633204/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=2966200 CPUtime=1182.32 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 747200 0 0 0 118139 93 0 0 25 0 1 0 969525630 3037388800 730544 33554432000 4194304 9016284 140735908110976 18446744073709551615 5512299 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 741550 730544 647 1178 0 740368 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2966200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8688
/proc/meminfo: memFree=27377740/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3072932 CPUtime=1242.32 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 774524 0 0 0 124135 97 0 0 25 0 1 0 969525630 3146682368 757868 33554432000 4194304 9016284 140735908110976 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 768233 757868 647 1178 0 767051 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3072932
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8690
/proc/meminfo: memFree=27219608/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3106340 CPUtime=1302.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 782758 0 0 0 130134 99 0 0 25 0 1 0 969525630 3180892160 766102 33554432000 4194304 9016284 140735908110976 18446744073709551615 4916885 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 776585 766102 647 1178 0 775403 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3106340
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8691
/proc/meminfo: memFree=27012868/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3156924 CPUtime=1362.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 795120 0 0 0 136132 101 0 0 25 0 1 0 969525630 3232690176 778464 33554432000 4194304 9016284 140735908110976 18446744073709551615 6469475 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 789231 778464 647 1178 0 788049 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3156924
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 8693
/proc/meminfo: memFree=26759760/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3207636 CPUtime=1422.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 808117 0 0 0 142131 102 0 0 25 0 1 0 969525630 3284619264 791461 33554432000 4194304 9016284 140735908110976 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 801909 791461 647 1178 0 800727 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3207636
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 8695
/proc/meminfo: memFree=26629276/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3261620 CPUtime=1482.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 821458 0 0 0 148129 104 0 0 25 0 1 0 969525630 3339898880 804802 33554432000 4194304 9016284 140735908110976 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 815405 804802 647 1178 0 814223 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3261620
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8696
/proc/meminfo: memFree=26286232/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3568680 CPUtime=1542.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 894701 0 0 0 154113 120 0 0 25 0 1 0 969525630 3654328320 874861 33554432000 4194304 9016284 140735908110976 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 892170 874861 845 1178 0 890988 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3568680
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 8698
/proc/meminfo: memFree=26201008/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3583772 CPUtime=1602.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 901903 0 0 0 160105 128 0 0 25 0 1 0 969525630 3669782528 881095 33554432000 4194304 9016284 140735908110976 18446744073709551615 7181579 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 895943 881095 732 1178 0 894761 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3583772
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 8699
/proc/meminfo: memFree=26099168/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3613924 CPUtime=1662.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 909603 0 0 0 166099 134 0 0 25 0 1 0 969525630 3700658176 888630 33554432000 4194304 9016284 140735908110976 18446744073709551615 7181387 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 903481 888630 723 1178 0 902299 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3613924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8701
/proc/meminfo: memFree=26031184/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3613924 CPUtime=1722.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 909764 0 0 0 172094 139 0 0 25 0 1 0 969525630 3700658176 888789 33554432000 4194304 9016284 140735908110976 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 903481 888789 721 1178 0 902299 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3613924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8703
/proc/meminfo: memFree=25979932/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3598404 CPUtime=1782.33 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 927144 0 0 0 178084 149 0 0 25 0 1 0 969525630 3684765696 886380 33554432000 4194304 9016284 140735908110976 18446744073709551615 7191648 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 899601 886380 1479 1178 0 898419 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3598404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8703
/proc/meminfo: memFree=25956608/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3598404 CPUtime=1800.03 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 927145 0 0 0 179853 150 0 0 25 0 1 0 969525630 3684765696 886381 33554432000 4194304 9016284 140735908110976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 899601 886381 1479 1178 0 898419 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3598404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8606
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 8704
/proc/meminfo: memFree=25956352/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3598404 CPUtime=1801.44 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 927145 0 0 0 179993 151 0 0 25 0 1 0 969525630 3684765696 886381 33554432000 4194304 9016284 140735908110976 18446744073709551615 7189780 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 899601 886381 1479 1178 0 898419 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3598404
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 8704
/proc/meminfo: memFree=25955732/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3598404 CPUtime=1801.84 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 927145 0 0 0 180033 151 0 0 25 0 1 0 969525630 3684765696 886381 33554432000 4194304 9016284 140735908110976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 899601 886381 1479 1178 0 898419 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3598404
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 8704
/proc/meminfo: memFree=25955732/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=3598404 CPUtime=1802.04 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4202496 927145 0 0 0 180053 151 0 0 25 0 1 0 969525630 3684765696 886381 33554432000 4194304 9016284 140735908110976 18446744073709551615 7178505 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8606/statm: 899601 886381 1479 1178 0 898419 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3598404
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 8704
/proc/meminfo: memFree=25955732/32951124 swapFree=67054712/67111528
[pid=8606] ppid=8604 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/8606/stat : 8606 (scip-2.0.1.4b_2) R 8604 8606 7747 0 -1 4203524 927145 0 0 0 180053 160 0 0 25 0 1 0 969525630 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/8606/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.18
CPU user time (s): 1800.54
CPU system time (s): 1.63975
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3613924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.54
system time used= 1.63975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927145
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= 4
involuntary context switches= 1356
runsolver used 2.79458 second user time and 6.91395 second system time
The end