0.00/0.00 c SCIP version 2.0.1.4 [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-3486297-1307793514.opb>
1.19/1.28 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245155 constraints
1.19/1.28 c problem read
1.19/1.28 c presolving settings loaded
1.99/2.08 c presolving:
9.89/9.92 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
14.09/14.17 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.49/15.57 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
16.09/16.16 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.49/16.52 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.69/16.75 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.89/16.92 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.99/17.04 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
17.09/17.14 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
17.19/17.21 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
17.19/17.28 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.29/17.33 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.89/17.99 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
821.02/821.09 c (821.1s) probing: 1000/53976 (1.9%) - 1 fixings, 1 aggregations, 13246362 implications, 0 bound changes
1400.63/1400.67 c (1400.7s) probing: 2000/53976 (3.7%) - 1 fixings, 1 aggregations, 20242354 implications, 0 bound changes
1492.14/1492.17 c (1492.2s) probing: 2175/53976 (4.0%) - 1 fixings, 1 aggregations, 21432088 implications, 0 bound changes
1492.14/1492.17 c (1492.2s) probing aborted: 2000/2000 successive useless probings
1492.14/1492.17 c presolving (14 rounds):
1492.14/1492.17 c 18868 deleted vars, 69251 deleted constraints, 5 added constraints, 14729 tightened bounds, 0 added holes, 68 changed sides, 213 changed coefficients
1492.14/1492.17 c 90383610 implications, 1282 cliques
1492.14/1492.17 c presolved problem has 53974 variables (53974 bin, 0 int, 0 impl, 0 cont) and 175909 constraints
1492.14/1492.17 c 1101 constraints of type <knapsack>
1492.14/1492.17 c 148150 constraints of type <setppc>
1492.14/1492.17 c 26658 constraints of type <logicor>
1492.14/1492.17 c transformed objective value is always integral (scale: 1)
1492.14/1492.17 c Presolving Time: 1490.67
1492.14/1492.17 c - non default parameters ----------------------------------------------------------------------
1492.14/1492.17 c # SCIP version 2.0.1.4
1492.14/1492.17 c
1492.14/1492.17 c # frequency for displaying node information lines
1492.14/1492.17 c # [type: int, range: [-1,2147483647], default: 100]
1492.14/1492.17 c display/freq = 10000
1492.14/1492.17 c
1492.14/1492.17 c # maximal time in seconds to run
1492.14/1492.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.14/1492.17 c limits/time = 1797
1492.14/1492.17 c
1492.14/1492.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1492.14/1492.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.14/1492.17 c limits/memory = 13950
1492.14/1492.17 c
1492.14/1492.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
1492.14/1492.17 c # [type: int, range: [1,2], default: 1]
1492.14/1492.17 c timing/clocktype = 2
1492.14/1492.17 c
1492.14/1492.17 c # belongs reading time to solving time?
1492.14/1492.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17 c timing/reading = TRUE
1492.14/1492.17 c
1492.14/1492.17 c # should presolving try to simplify inequalities
1492.14/1492.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17 c constraints/linear/simplifyinequalities = TRUE
1492.14/1492.17 c
1492.14/1492.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1492.14/1492.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17 c constraints/indicator/addCouplingCons = TRUE
1492.14/1492.17 c
1492.14/1492.17 c # should presolving try to simplify knapsacks
1492.14/1492.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.14/1492.17 c constraints/knapsack/simplifyinequalities = TRUE
1492.14/1492.17 c
1492.14/1492.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1492.14/1492.17 c # [type: int, range: [-1,2147483647], default: -1]
1492.14/1492.17 c separating/rapidlearning/freq = 0
1492.14/1492.17 c
1492.14/1492.17 c -----------------------------------------------------------------------------------------------
1492.14/1492.17 c start solving
1492.24/1492.21 c
1724.24/1724.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.24/1724.27 c 1724s| 1 | 0 | 49815 | - |2656M| 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-3486297-1307793514/watcher-3486297-1307793514 -o /tmp/evaluation-result-3486297-1307793514/solver-3486297-1307793514 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486297-1307793514.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 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=9116 CPUtime=0 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 1214 0 0 0 0 0 0 0 25 0 1 0 890952190 9334784 1169 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836189 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 2279 1182 346 1169 0 1106 0
[startup+0.0509411 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=19596 CPUtime=0.04 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 3898 0 0 0 4 0 0 0 25 0 1 0 890952190 20066304 3853 33554432000 4194304 8979876 140733285010656 18446744073709551615 4542852 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 4899 3853 366 1169 0 3726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19596
[startup+0.100934 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 5900 0 0 0 9 0 0 0 25 0 1 0 890952190 28205056 5855 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 6886 5855 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300896 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 12124 0 0 0 28 1 0 0 25 0 1 0 890952190 53780480 12079 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 13130 12080 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.700822 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13196
/proc/meminfo: memFree=28408608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=76360 CPUtime=0.69 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 18045 0 0 0 68 1 0 0 25 0 1 0 890952190 78192640 18000 33554432000 4194304 8979876 140733285010656 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13196/statm: 19090 18000 366 1169 0 17917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76360
[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=28306940/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=274076 CPUtime=1.48 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 66950 0 0 0 142 6 0 0 25 0 1 0 890952190 280653824 66872 33554432000 4194304 8979876 140733285010656 18446744073709551615 6782522 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 68519 66872 416 1169 0 67346 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 274076
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=28033720/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=496304 CPUtime=3.08 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 133332 0 0 0 294 14 0 0 25 0 1 0 890952190 508215296 121122 33554432000 4194304 8979876 140733285010656 18446744073709551615 4917974 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 124076 121122 494 1169 0 122903 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 496304
[startup+6.3008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=27754228/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=721104 CPUtime=6.29 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 188714 0 0 0 608 21 0 0 25 0 1 0 890952190 738410496 176504 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503000 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 180276 176504 494 1169 0 179103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 721104
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=27537400/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=881400 CPUtime=12.69 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 227631 0 0 0 1244 25 0 0 25 0 1 0 890952190 902553600 214919 33554432000 4194304 8979876 140733285010656 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 220350 214919 504 1169 0 219177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 881400
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13198
/proc/meminfo: memFree=27433124/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=980764 CPUtime=25.49 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 269860 0 0 0 2519 30 0 0 25 0 1 0 890952190 1004302336 238377 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 245191 238377 650 1169 0 244018 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 980764
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13199
/proc/meminfo: memFree=27376800/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1011180 CPUtime=51.09 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 277284 0 0 0 5078 31 0 0 25 0 1 0 890952190 1035448320 245669 33554432000 4194304 8979876 140733285010656 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 252795 245669 650 1169 0 251622 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1011180
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13200
/proc/meminfo: memFree=27239096/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1090860 CPUtime=102.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 296787 0 0 0 10196 34 0 0 25 0 1 0 890952190 1117040640 265172 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 272715 265172 650 1169 0 271542 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1090860
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 13211
/proc/meminfo: memFree=27053740/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1211876 CPUtime=162.29 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 326881 0 0 0 16192 37 0 0 25 0 1 0 890952190 1240961024 295266 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503291 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 302969 295266 650 1169 0 301796 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1211876
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13212
/proc/meminfo: memFree=26880456/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1329600 CPUtime=222.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 355977 0 0 0 22189 41 0 0 25 0 1 0 890952190 1361510400 323900 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 332400 323900 650 1169 0 331227 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1329600
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13214
/proc/meminfo: memFree=26757028/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1400972 CPUtime=282.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 373319 0 0 0 28187 43 0 0 25 0 1 0 890952190 1434595328 341242 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 350243 341242 650 1169 0 349070 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1400972
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13219
/proc/meminfo: memFree=26548168/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1543604 CPUtime=342.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 408867 0 0 0 34184 46 0 0 25 0 1 0 890952190 1580650496 376790 33554432000 4194304 8979876 140733285010656 18446744073709551615 6617531 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 385901 376790 650 1169 0 384728 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1543604
[startup+402.3 s]
/proc/loadavg: 1.56 1.89 1.96 2/172 13244
/proc/meminfo: memFree=29785432/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1713580 CPUtime=402.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 450660 0 0 0 40179 51 0 0 25 0 1 0 890952190 1754705920 418583 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 428395 418583 650 1169 0 427222 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1713580
[startup+462.3 s]
/proc/loadavg: 1.20 1.72 1.90 2/172 13246
/proc/meminfo: memFree=29592588/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=1908152 CPUtime=462.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 499095 0 0 0 46174 56 0 0 25 0 1 0 890952190 1953947648 466754 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 477038 466754 650 1169 0 475865 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1908152
[startup+522.3 s]
/proc/loadavg: 1.07 1.59 1.84 2/172 13247
/proc/meminfo: memFree=29468064/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2032212 CPUtime=522.31 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 530092 0 0 0 52169 62 0 0 25 0 1 0 890952190 2080985088 497751 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 508053 497751 650 1169 0 506880 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2032212
[startup+582.3 s]
/proc/loadavg: 1.02 1.48 1.79 2/172 13249
/proc/meminfo: memFree=29391028/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2108816 CPUtime=582.3 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 549058 0 0 0 58166 64 0 0 25 0 1 0 890952190 2159427584 516717 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 527204 516717 650 1169 0 526031 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2108816
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/172 13257
/proc/meminfo: memFree=28934272/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2564116 CPUtime=882.31 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 662883 0 0 0 88148 83 0 0 25 0 1 0 890952190 2625654784 630542 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 641029 630542 655 1169 0 639856 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2564116
[startup+942.3 s]
/proc/loadavg: 1.00 1.13 1.52 2/172 13259
/proc/meminfo: memFree=28834556/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2663884 CPUtime=942.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 688034 0 0 0 94144 88 0 0 25 0 1 0 890952190 2727817216 655693 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 665971 655693 655 1169 0 664798 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2663884
[startup+1002.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/172 13260
/proc/meminfo: memFree=28775876/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2720540 CPUtime=1002.31 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 702556 0 0 0 100141 90 0 0 25 0 1 0 890952190 2785832960 670215 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 680135 670215 655 1169 0 678962 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2720540
[startup+1062.3 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 13262
/proc/meminfo: memFree=28719408/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2778512 CPUtime=1062.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 716621 0 0 0 106140 92 0 0 25 0 1 0 890952190 2845196288 684280 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 694628 684280 655 1169 0 693455 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2778512
[startup+1122.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/172 13263
/proc/meminfo: memFree=28581484/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2919848 CPUtime=1122.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 750981 0 0 0 112134 98 0 0 25 0 1 0 890952190 2989924352 718640 33554432000 4194304 8979876 140733285010656 18446744073709551615 5546436 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 729962 718640 655 1169 0 728789 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2919848
[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/172 13265
/proc/meminfo: memFree=28545484/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=2957064 CPUtime=1182.32 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 760110 0 0 0 118132 100 0 0 25 0 1 0 890952190 3028033536 727769 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 739266 727769 655 1169 0 738093 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2957064
[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 13267
/proc/meminfo: memFree=28433104/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3066848 CPUtime=1242.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 788000 0 0 0 124129 104 0 0 25 0 1 0 890952190 3140452352 755659 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 766712 755659 655 1169 0 765539 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3066848
[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/172 13268
/proc/meminfo: memFree=28400208/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3099240 CPUtime=1302.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 796136 0 0 0 130127 106 0 0 25 0 1 0 890952190 3173621760 763795 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 774810 763795 655 1169 0 773637 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3099240
[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/172 13270
/proc/meminfo: memFree=28350588/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3150840 CPUtime=1362.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 808594 0 0 0 136126 107 0 0 25 0 1 0 890952190 3226460160 776253 33554432000 4194304 8979876 140733285010656 18446744073709551615 5537645 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 787710 776253 655 1169 0 786537 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3150840
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.29 2/172 13271
/proc/meminfo: memFree=28299852/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3200536 CPUtime=1422.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 821196 0 0 0 142124 109 0 0 25 0 1 0 890952190 3277348864 788855 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 800134 788855 655 1169 0 798961 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3200536
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/172 13273
/proc/meminfo: memFree=28246608/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3253532 CPUtime=1482.33 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 834508 0 0 0 148122 111 0 0 25 0 1 0 890952190 3331616768 802167 33554432000 4194304 8979876 140733285010656 18446744073709551615 6503657 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 813383 802167 655 1169 0 812210 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3253532
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 13275
/proc/meminfo: memFree=27963236/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3562916 CPUtime=1542.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 907772 0 0 0 154105 129 0 0 25 0 1 0 890952190 3648425984 872978 33554432000 4194304 8979876 140733285010656 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 890729 872978 859 1169 0 889556 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3562916
[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.24 2/172 13276
/proc/meminfo: memFree=27928472/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3587572 CPUtime=1602.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 917415 0 0 0 160097 137 0 0 25 0 1 0 890952190 3673673728 881614 33554432000 4194304 8979876 140733285010656 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 896893 881614 745 1169 0 895720 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3587572
[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.22 2/172 13278
/proc/meminfo: memFree=27910336/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3606920 CPUtime=1662.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 921959 0 0 0 166090 144 0 0 25 0 1 0 890952190 3693486080 886117 33554432000 4194304 8979876 140733285010656 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901730 886117 738 1169 0 900557 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3606920
[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.20 2/172 13279
/proc/meminfo: memFree=27909684/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3607060 CPUtime=1722.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 922151 0 0 0 172082 152 0 0 25 0 1 0 890952190 3693629440 886309 33554432000 4194304 8979876 140733285010656 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901765 886309 738 1169 0 900592 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3607060
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/172 13281
/proc/meminfo: memFree=27899228/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3607200 CPUtime=1782.34 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 925871 0 0 0 178074 160 0 0 25 0 1 0 890952190 3693772800 890011 33554432000 4194304 8979876 140733285010656 18446744073709551615 7157248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901800 890011 1807 1169 0 900627 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3607200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 13281
/proc/meminfo: memFree=27899220/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=3607200 CPUtime=1800.05 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4202496 925874 0 0 0 179843 162 0 0 25 0 1 0 890952190 3693772800 890014 33554432000 4194304 8979876 140733285010656 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13196/statm: 901800 890014 1807 1169 0 900627 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3607200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 13281
/proc/meminfo: memFree=27899220/32951124 swapFree=67056684/67111528
[pid=13196] ppid=13194 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/13196/stat : 13196 (scip-2.0.1.4_2.) R 13194 13196 9145 0 -1 4203524 925874 0 0 0 179843 172 0 0 25 0 1 0 890952190 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13196/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.19
CPU user time (s): 1798.43
CPU system time (s): 1.75573
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3607200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.75573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1189
runsolver used 2.57561 second user time and 6.17906 second system time
The end