0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451814-1307117588.opb>
1.60/1.61 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234493 constraints
1.60/1.61 c problem read
1.60/1.61 c presolving settings loaded
1.99/2.08 c presolving:
8.19/8.20 c (round 1) 4200 del vars, 12585 del conss, 0 add conss, 2877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16128448 impls, 0 clqs
10.69/10.72 c (round 2) 10305 del vars, 34459 del conss, 0 add conss, 8627 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16154213 impls, 0 clqs
11.39/11.44 c (round 3) 12505 del vars, 44503 del conss, 0 add conss, 9912 chg bounds, 21 chg sides, 26 chg coeffs, 0 upgd conss, 16165396 impls, 0 clqs
11.69/11.79 c (round 4) 13446 del vars, 48280 del conss, 0 add conss, 10485 chg bounds, 55 chg sides, 63 chg coeffs, 0 upgd conss, 16171428 impls, 0 clqs
11.89/11.99 c (round 5) 13905 del vars, 50104 del conss, 0 add conss, 10751 chg bounds, 66 chg sides, 76 chg coeffs, 0 upgd conss, 16173572 impls, 0 clqs
11.99/12.12 c (round 6) 14130 del vars, 51020 del conss, 0 add conss, 10870 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16174792 impls, 0 clqs
12.09/12.19 c (round 7) 14186 del vars, 51356 del conss, 0 add conss, 10897 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16175174 impls, 0 clqs
12.21/12.26 c (round 8) 14215 del vars, 51486 del conss, 0 add conss, 10913 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16175326 impls, 0 clqs
12.29/12.32 c (round 9) 14225 del vars, 51546 del conss, 0 add conss, 10918 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16175388 impls, 0 clqs
12.99/13.04 c (round 10) 14225 del vars, 51556 del conss, 0 add conss, 10918 chg bounds, 75 chg sides, 100 chg coeffs, 182937 upgd conss, 16175388 impls, 0 clqs
14.19/14.25 c (round 11) 14225 del vars, 51574 del conss, 39 add conss, 10918 chg bounds, 144 chg sides, 321 chg coeffs, 182937 upgd conss, 16175388 impls, 0 clqs
628.21/628.26 c (628.3s) probing: 1000/58617 (1.7%) - 0 fixings, 0 aggregations, 10752140 implications, 0 bound changes
1109.81/1109.84 c (1109.8s) probing: 2000/58617 (3.4%) - 0 fixings, 0 aggregations, 15959223 implications, 0 bound changes
1110.21/1110.24 c (1110.2s) probing: 2001/58617 (3.4%) - 0 fixings, 0 aggregations, 15963309 implications, 0 bound changes
1110.21/1110.24 c (1110.2s) probing aborted: 2000/2000 successive useless probings
1110.21/1110.24 c presolving (12 rounds):
1110.21/1110.24 c 14225 deleted vars, 51584 deleted constraints, 39 added constraints, 10918 tightened bounds, 0 added holes, 144 changed sides, 324 changed coefficients
1110.21/1110.24 c 73254538 implications, 0 cliques
1110.21/1110.24 c presolved problem has 58617 variables (58617 bin, 0 int, 0 impl, 0 cont) and 182948 constraints
1110.21/1110.24 c 1121 constraints of type <knapsack>
1110.21/1110.24 c 152816 constraints of type <setppc>
1110.21/1110.24 c 29011 constraints of type <logicor>
1110.21/1110.24 c transformed objective value is always integral (scale: 1)
1110.21/1110.24 c Presolving Time: 1108.29
1110.21/1110.24 c - non default parameters ----------------------------------------------------------------------
1110.21/1110.24 c # SCIP version 2.0.1.5
1110.21/1110.24 c
1110.21/1110.24 c # frequency for displaying node information lines
1110.21/1110.24 c # [type: int, range: [-1,2147483647], default: 100]
1110.21/1110.24 c display/freq = 10000
1110.21/1110.24 c
1110.21/1110.24 c # maximal time in seconds to run
1110.21/1110.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1110.21/1110.24 c limits/time = 1800
1110.21/1110.24 c
1110.21/1110.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1110.21/1110.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1110.21/1110.24 c limits/memory = 13950
1110.21/1110.24 c
1110.21/1110.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
1110.21/1110.24 c # [type: int, range: [1,2], default: 1]
1110.21/1110.24 c timing/clocktype = 2
1110.21/1110.24 c
1110.21/1110.24 c # belongs reading time to solving time?
1110.21/1110.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1110.21/1110.24 c timing/reading = TRUE
1110.21/1110.24 c
1110.21/1110.24 c # should presolving try to simplify inequalities
1110.21/1110.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1110.21/1110.24 c constraints/linear/simplifyinequalities = TRUE
1110.21/1110.24 c
1110.21/1110.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1110.21/1110.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1110.21/1110.24 c constraints/indicator/addCouplingCons = TRUE
1110.21/1110.24 c
1110.21/1110.24 c # should presolving try to simplify knapsacks
1110.21/1110.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1110.21/1110.24 c constraints/knapsack/simplifyinequalities = TRUE
1110.21/1110.24 c
1110.21/1110.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1110.21/1110.24 c # [type: int, range: [-1,2147483647], default: -1]
1110.21/1110.24 c separating/rapidlearning/freq = 0
1110.21/1110.24 c
1110.21/1110.24 c -----------------------------------------------------------------------------------------------
1110.21/1110.24 c start solving
1110.21/1110.28 c
1364.92/1364.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.92/1364.95 c 1365s| 1 | 0 | 51951 | - |2277M| 0 | 799 | 58k| 182k| 58k| 182k| 0 | 42 | 0 | 8.100000e+01 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451814-1307117588/watcher-3451814-1307117588 -o /tmp/evaluation-result-3451814-1307117588/solver-3451814-1307117588 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451814-1307117588.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.04 2.02 2.00 2/554 5476
/proc/meminfo: memFree=23839588/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=13024 CPUtime=0 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 2247 0 0 0 0 0 0 0 25 0 1 0 823355850 13336576 2201 33554432000 4194304 9163163 140736156329568 18446744073709551615 4821507 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5476/statm: 3256 2204 395 1214 0 2038 0
[startup+0.103435 s]
/proc/loadavg: 2.04 2.02 2.00 2/554 5476
/proc/meminfo: memFree=23839588/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=31232 CPUtime=0.09 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 6808 0 0 0 9 0 0 0 25 0 1 0 823355850 31981568 6762 33554432000 4194304 9163163 140736156329568 18446744073709551615 6165681 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5476/statm: 7808 6762 395 1214 0 6590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31232
[startup+0.200415 s]
/proc/loadavg: 2.04 2.02 2.00 2/554 5476
/proc/meminfo: memFree=23839588/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=46756 CPUtime=0.19 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 10682 0 0 0 18 1 0 0 25 0 1 0 823355850 47878144 10636 33554432000 4194304 9163163 140736156329568 18446744073709551615 8044560 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5476/statm: 11689 10636 395 1214 0 10471 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46756
[startup+0.300402 s]
/proc/loadavg: 2.04 2.02 2.00 2/554 5476
/proc/meminfo: memFree=23839588/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=56892 CPUtime=0.29 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 13204 0 0 0 28 1 0 0 25 0 1 0 823355850 58257408 13158 33554432000 4194304 9163163 140736156329568 18446744073709551615 7480671 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5476/statm: 14223 13158 395 1214 0 13005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56892
[startup+0.700323 s]
/proc/loadavg: 2.04 2.02 2.00 2/554 5476
/proc/meminfo: memFree=23839588/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=80900 CPUtime=0.69 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 19180 0 0 0 67 2 0 0 25 0 1 0 823355850 82841600 19134 33554432000 4194304 9163163 140736156329568 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5476/statm: 20225 19134 395 1214 0 19007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80900
[startup+1.50118 s]
/proc/loadavg: 2.03 2.02 2.00 3/555 5477
/proc/meminfo: memFree=23721656/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=151644 CPUtime=1.49 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 36807 0 0 0 146 3 0 0 25 0 1 0 823355850 155283456 36761 33554432000 4194304 9163163 140736156329568 18446744073709551615 4338906 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5476/statm: 37911 36761 395 1214 0 36693 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151644
[startup+3.10086 s]
/proc/loadavg: 2.03 2.02 2.00 3/555 5477
/proc/meminfo: memFree=23451720/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=501172 CPUtime=3.09 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 122649 0 0 0 295 14 0 0 25 0 1 0 823355850 513200128 122583 33554432000 4194304 9163163 140736156329568 18446744073709551615 6922706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5476/statm: 125293 122583 506 1214 0 124075 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 501172
[startup+6.30025 s]
/proc/loadavg: 2.03 2.02 2.00 3/555 5477
/proc/meminfo: memFree=23107792/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=776536 CPUtime=6.29 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 189380 0 0 0 606 23 0 0 25 0 1 0 823355850 795172864 189314 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5476/statm: 194134 189314 506 1214 0 192916 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 776536
[startup+12.701 s]
/proc/loadavg: 2.03 2.02 2.00 3/555 5477
/proc/meminfo: memFree=22949848/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=917748 CPUtime=12.7 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 231169 0 0 0 1242 28 0 0 25 0 1 0 823355850 939773952 223657 33554432000 4194304 9163163 140736156329568 18446744073709551615 8045909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5476/statm: 229437 223667 530 1214 0 228219 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 917748
[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/555 5477
/proc/meminfo: memFree=22784704/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1016544 CPUtime=25.49 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 265135 0 0 0 2518 31 0 0 25 0 1 0 823355850 1040941056 247924 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5476/statm: 254136 247924 626 1214 0 252918 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1016544
[startup+51.1007 s]
/proc/loadavg: 2.01 2.01 2.00 3/555 5478
/proc/meminfo: memFree=22685388/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1083568 CPUtime=51.09 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 280409 0 0 0 5075 34 0 0 25 0 1 0 823355850 1109573632 263198 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5476/statm: 270892 263198 626 1214 0 269674 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1083568
[startup+102.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 5480
/proc/meminfo: memFree=22401048/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1220952 CPUtime=102.29 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 314161 0 0 0 10191 38 0 0 25 0 1 0 823355850 1250254848 296950 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5476/statm: 305238 296950 626 1214 0 304020 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1220952
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 5481
/proc/meminfo: memFree=22071792/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1353000 CPUtime=162.28 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 347477 0 0 0 16185 43 0 0 25 0 1 0 823355850 1385472000 330266 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 338250 330266 626 1214 0 337032 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1353000
[startup+222.321 s]
/proc/loadavg: 2.09 2.05 2.01 3/555 5483
/proc/meminfo: memFree=21680048/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1594016 CPUtime=222.29 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 406297 0 0 0 22179 50 0 0 25 0 1 0 823355850 1632272384 389086 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 398504 389086 626 1214 0 397286 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1594016
[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/555 5484
/proc/meminfo: memFree=21378568/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1731712 CPUtime=282.28 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 440894 0 0 0 28173 55 0 0 25 0 1 0 823355850 1773273088 423683 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 432928 423683 626 1214 0 431710 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1731712
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/555 5486
/proc/meminfo: memFree=21109580/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=1902992 CPUtime=342.28 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 483650 0 0 0 34167 61 0 0 25 0 1 0 823355850 1948663808 466439 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 475748 466439 626 1214 0 474530 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1902992
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 5488
/proc/meminfo: memFree=20871972/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=2020532 CPUtime=402.28 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 512683 0 0 0 40163 65 0 0 25 0 1 0 823355850 2069024768 495472 33554432000 4194304 9163163 140736156329568 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 505133 495472 626 1214 0 503915 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2020532
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5489
/proc/meminfo: memFree=20642400/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=2096352 CPUtime=462.29 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 532117 0 0 0 46160 69 0 0 25 0 1 0 823355850 2146664448 514906 33554432000 4194304 9163163 140736156329568 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 524088 514906 626 1214 0 522870 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2096352
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5491
/proc/meminfo: memFree=20494184/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=2166060 CPUtime=522.28 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 549252 0 0 0 52156 72 0 0 25 0 1 0 823355850 2218045440 532041 33554432000 4194304 9163163 140736156329568 18446744073709551615 5460474 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 541515 532041 626 1214 0 540297 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2166060
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5492
/proc/meminfo: memFree=20261164/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=2267700 CPUtime=582.29 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 574530 0 0 0 58154 75 0 0 25 0 1 0 823355850 2322124800 557319 33554432000 4194304 9163163 140736156329568 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 566925 557319 626 1214 0 565707 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2267700
[startup+642.3 s]
################
# More data... #
################
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 679381 0 0 0 100142 89 0 0 25 0 1 0 823355850 2754674688 662170 33554432000 4194304 9163163 140736156329568 18446744073709551615 5458832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 672528 662170 630 1214 0 671310 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2690112
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5505
/proc/meminfo: memFree=19410624/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=2726464 CPUtime=1062.31 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 688886 0 0 0 106140 91 0 0 25 0 1 0 823355850 2791899136 671675 33554432000 4194304 9163163 140736156329568 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 681616 671675 630 1214 0 680398 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2726464
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5507
/proc/meminfo: memFree=19036988/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3086420 CPUtime=1122.31 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 771890 0 0 0 112127 104 0 0 25 0 1 0 823355850 3160494080 751640 33554432000 4194304 9163163 140736156329568 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 771605 751640 962 1214 0 770387 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3086420
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/555 5508
/proc/meminfo: memFree=18964900/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3099464 CPUtime=1182.32 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 776610 0 0 0 118118 114 0 0 25 0 1 0 823355850 3173851136 756173 33554432000 4194304 9163163 140736156329568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 774866 756173 905 1214 0 773648 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3099464
[startup+1242.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/555 5510
/proc/meminfo: memFree=18879936/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3116404 CPUtime=1242.31 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 781066 0 0 0 124111 120 0 0 25 0 1 0 823355850 3191197696 760185 33554432000 4194304 9163163 140736156329568 18446744073709551615 7413840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 779101 760185 802 1214 0 777883 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3116404
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/555 5512
/proc/meminfo: memFree=18783436/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3126760 CPUtime=1302.32 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 788811 0 0 0 130103 129 0 0 25 0 1 0 823355850 3201802240 767168 33554432000 4194304 9163163 140736156329568 18446744073709551615 7349049 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 781690 767168 757 1214 0 780472 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3126760
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/555 5513
/proc/meminfo: memFree=18654064/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1362.32 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 792746 0 0 0 136098 134 0 0 25 0 1 0 823355850 3227348992 771103 33554432000 4194304 9163163 140736156329568 18446744073709551615 7349376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 771103 850 1214 0 786709 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3151708
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5515
/proc/meminfo: memFree=18508584/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1422.33 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 799546 0 0 0 142090 143 0 0 25 0 1 0 823355850 3227348992 775691 33554432000 4194304 9163163 140736156329568 18446744073709551615 7358345 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 775691 1131 1214 0 786709 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3151708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5516
/proc/meminfo: memFree=18414300/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1482.32 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 799549 0 0 0 148085 147 0 0 25 0 1 0 823355850 3227348992 775694 33554432000 4194304 9163163 140736156329568 18446744073709551615 7358498 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 775694 1131 1214 0 786709 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3151708
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5518
/proc/meminfo: memFree=18306764/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1542.35 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 799549 0 0 0 154080 155 0 0 25 0 1 0 823355850 3227348992 775694 33554432000 4194304 9163163 140736156329568 18446744073709551615 7276063 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 775694 1131 1214 0 786709 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3151708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5520
/proc/meminfo: memFree=18181728/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1602.32 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800091 0 0 0 160060 172 0 0 25 0 1 0 823355850 3227348992 776228 33554432000 4194304 9163163 140736156329568 18446744073709551615 6606832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776228 1136 1214 0 786709 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3151708
[startup+1662.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/555 5521
/proc/meminfo: memFree=18077656/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1662.33 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800551 0 0 0 166060 173 0 0 25 0 1 0 823355850 3227348992 776584 33554432000 4194304 9163163 140736156329568 18446744073709551615 6217676 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776584 1171 1214 0 786709 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3151708
[startup+1722.3 s]
/proc/loadavg: 1.76 1.98 1.99 2/549 5541
/proc/meminfo: memFree=21917268/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1722.34 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800551 0 0 0 172061 173 0 0 25 0 1 0 823355850 3227348992 776584 33554432000 4194304 9163163 140736156329568 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776584 1171 1214 0 786709 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3151708
[startup+1782.3 s]
/proc/loadavg: 1.43 1.83 1.93 2/549 5542
/proc/meminfo: memFree=21916380/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1782.34 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800551 0 0 0 178061 173 0 0 25 0 1 0 823355850 3227348992 776584 33554432000 4194304 9163163 140736156329568 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776584 1171 1214 0 786709 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3151708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.33 1.79 1.92 2/549 5543
/proc/meminfo: memFree=21916988/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1800.04 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800551 0 0 0 179831 173 0 0 25 0 1 0 823355850 3227348992 776584 33554432000 4194304 9163163 140736156329568 18446744073709551615 18446744073699066117 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776584 1171 1214 0 786709 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3151708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5476
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.30 1.78 1.91 2/550 5544
/proc/meminfo: memFree=21916112/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1801.54 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800583 0 0 0 179981 173 0 0 25 0 1 0 823355850 3227348992 776593 33554432000 4194304 9163163 140736156329568 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776593 1148 1214 0 786709 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 3151708
[startup+1801.92 s]
/proc/loadavg: 1.30 1.78 1.91 2/550 5544
/proc/meminfo: memFree=21916228/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=3151708 CPUtime=1801.96 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4202496 800583 0 0 0 180023 173 0 0 25 0 1 0 823355850 3227348992 776593 33554432000 4194304 9163163 140736156329568 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5476/statm: 787927 776593 1148 1214 0 786709 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 3151708
[startup+1802.1 s]
/proc/loadavg: 1.30 1.78 1.91 2/550 5544
/proc/meminfo: memFree=21916228/32950928 swapFree=67056580/67111528
[pid=5476] ppid=5474 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/5476/stat : 5476 (scip-2.0.1.4b.l) R 5474 5476 3492 0 -1 4203524 800583 0 0 0 180033 181 0 0 25 0 1 0 823355850 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/5476/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.14
CPU time (s): 1802.19
CPU user time (s): 1800.33
CPU system time (s): 1.85572
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3151708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.33
system time used= 1.85572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 800583
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= 1773
runsolver used 9.06462 second user time and 23.8914 second system time
The end