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-3485291-1307779004.opb>
0.39/0.45 c original problem has 21320 variables (21320 bin, 0 int, 0 impl, 0 cont) and 79746 constraints
0.39/0.45 c problem read
0.39/0.45 c presolving settings loaded
0.69/0.71 c presolving:
1.00/1.10 c (round 1) 1339 del vars, 2653 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
1.10/1.11 c (round 2) 1339 del vars, 2683 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
1.29/1.36 c (round 3) 1339 del vars, 2684 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 77062 upgd conss, 678660 impls, 0 clqs
6.19/6.29 c (6.3s) probing: 479/19981 (2.4%) - 0 fixings, 0 aggregations, 30049 implications, 0 bound changes
6.19/6.29 c (6.3s) probing aborted: 100/100 successive totally useless probings
6.19/6.29 c presolving (4 rounds):
6.19/6.29 c 1339 deleted vars, 2684 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 10 changed sides, 11 changed coefficients
6.19/6.29 c 738758 implications, 0 cliques
6.19/6.29 c presolved problem has 19981 variables (19981 bin, 0 int, 0 impl, 0 cont) and 77062 constraints
6.19/6.29 c 1 constraints of type <knapsack>
6.19/6.29 c 58477 constraints of type <setppc>
6.19/6.29 c 18584 constraints of type <logicor>
6.19/6.29 c transformed objective value is always integral (scale: 1)
6.19/6.29 c Presolving Time: 5.76
6.19/6.29 c - non default parameters ----------------------------------------------------------------------
6.19/6.29 c # SCIP version 2.0.1.4
6.19/6.29 c
6.19/6.29 c # frequency for displaying node information lines
6.19/6.29 c # [type: int, range: [-1,2147483647], default: 100]
6.19/6.29 c display/freq = 10000
6.19/6.29 c
6.19/6.29 c # maximal time in seconds to run
6.19/6.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.19/6.29 c limits/time = 1797
6.19/6.29 c
6.19/6.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.19/6.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.19/6.29 c limits/memory = 13950
6.19/6.29 c
6.19/6.29 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.19/6.29 c # [type: int, range: [1,2], default: 1]
6.19/6.29 c timing/clocktype = 2
6.19/6.29 c
6.19/6.29 c # belongs reading time to solving time?
6.19/6.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.19/6.29 c timing/reading = TRUE
6.19/6.29 c
6.19/6.29 c # should presolving try to simplify inequalities
6.19/6.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.19/6.29 c constraints/linear/simplifyinequalities = TRUE
6.19/6.29 c
6.19/6.29 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.19/6.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.19/6.29 c constraints/indicator/addCouplingCons = TRUE
6.19/6.29 c
6.19/6.29 c # should presolving try to simplify knapsacks
6.19/6.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.19/6.29 c constraints/knapsack/simplifyinequalities = TRUE
6.19/6.29 c
6.19/6.29 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.19/6.29 c # [type: int, range: [-1,2147483647], default: -1]
6.19/6.29 c separating/rapidlearning/freq = 0
6.19/6.29 c
6.19/6.29 c -----------------------------------------------------------------------------------------------
6.19/6.29 c start solving
6.29/6.30 c
67.09/67.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.09/67.12 c 67.1s| 1 | 0 | 22980 | - | 153M| 0 |6672 | 19k| 77k| 19k| 77k| 0 | 81 | 0 | 1.060954e+01 | -- | Inf
978.25/978.34 c 978s| 1 | 0 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | -- | Inf
1062.36/1062.40 o 31
1062.36/1062.40 c E1062s| 1 | 0 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | 3.100000e+01 | 165.49%
1062.36/1062.47 c 1062s| 1 | 0 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | 3.100000e+01 | 165.49%
1175.35/1175.45 c 1175s| 1 | 2 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 18 | 1.167633e+01 | 3.100000e+01 | 165.49%
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-3485291-1307779004/watcher-3485291-1307779004 -o /tmp/evaluation-result-3485291-1307779004/solver-3485291-1307779004 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485291-1307779004.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 1.94 2/177 24432
/proc/meminfo: memFree=29489744/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=11092 CPUtime=0 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 1760 0 0 0 0 0 0 0 25 0 1 0 968131086 11358208 1714 33554432000 4194304 8979876 140737155355504 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24432/statm: 2773 1722 358 1169 0 1600 0
[startup+0.0535391 s]
/proc/loadavg: 2.02 2.01 1.94 2/177 24432
/proc/meminfo: memFree=29489744/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=17444 CPUtime=0.05 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 3385 0 0 0 5 0 0 0 25 0 1 0 968131086 17862656 3339 33554432000 4194304 8979876 140737155355504 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24432/statm: 4361 3339 366 1169 0 3188 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17444
[startup+0.100521 s]
/proc/loadavg: 2.02 2.01 1.94 2/177 24432
/proc/meminfo: memFree=29489744/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=20892 CPUtime=0.09 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 4235 0 0 0 9 0 0 0 25 0 1 0 968131086 21393408 4189 33554432000 4194304 8979876 140737155355504 18446744073709551615 4445963 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24432/statm: 5223 4189 366 1169 0 4050 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20892
[startup+0.300512 s]
/proc/loadavg: 2.02 2.01 1.94 2/177 24432
/proc/meminfo: memFree=29489744/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=38476 CPUtime=0.29 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 8639 0 0 0 28 1 0 0 25 0 1 0 968131086 39399424 8593 33554432000 4194304 8979876 140737155355504 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24432/statm: 9619 8593 366 1169 0 8446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38476
[startup+0.700481 s]
/proc/loadavg: 2.02 2.01 1.94 2/177 24432
/proc/meminfo: memFree=29489744/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=141048 CPUtime=0.69 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 36065 0 0 0 64 5 0 0 25 0 1 0 968131086 144433152 33310 33554432000 4194304 8979876 140737155355504 18446744073709551615 4450283 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 35262 33310 458 1169 0 34089 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 141048
[startup+1.50033 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 24433
/proc/meminfo: memFree=29338852/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=191420 CPUtime=1.49 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 51754 0 0 0 142 7 0 0 25 0 1 0 968131086 196014080 45811 33554432000 4194304 8979876 140737155355504 18446744073709551615 4445963 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 47855 45811 528 1169 0 46682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191420
[startup+3.10107 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 24433
/proc/meminfo: memFree=29307976/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=191420 CPUtime=3.09 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 51978 0 0 0 302 7 0 0 25 0 1 0 968131086 196014080 45943 33554432000 4194304 8979876 140737155355504 18446744073709551615 5538059 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 47855 45943 558 1169 0 46682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191420
[startup+6.3005 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 24433
/proc/meminfo: memFree=29304284/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=198484 CPUtime=6.29 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 53674 0 0 0 622 7 0 0 25 0 1 0 968131086 203247616 47631 33554432000 4194304 8979876 140737155355504 18446744073709551615 6011000 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 49621 47631 570 1169 0 48448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 198484
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 24433
/proc/meminfo: memFree=29148616/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=357892 CPUtime=12.69 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 96623 0 0 0 1257 12 0 0 25 0 1 0 968131086 366481408 85581 33554432000 4194304 8979876 140737155355504 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 89473 85581 661 1169 0 88300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 357892
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 24435
/proc/meminfo: memFree=29148616/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=25.49 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 96709 0 0 0 2535 14 0 0 25 0 1 0 968131086 368947200 85667 33554432000 4194304 8979876 140737155355504 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 85667 665 1169 0 88902 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 360300
[startup+51.1011 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 24435
/proc/meminfo: memFree=29148240/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=51.09 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 96728 0 0 0 5092 17 0 0 25 0 1 0 968131086 368947200 85686 33554432000 4194304 8979876 140737155355504 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 85686 665 1169 0 88902 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 360300
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24437
/proc/meminfo: memFree=29141280/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=102.29 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98430 0 0 0 10208 21 0 0 25 0 1 0 968131086 368947200 87388 33554432000 4194304 8979876 140737155355504 18446744073709551615 6943026 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87388 678 1169 0 88902 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 360300
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24437
/proc/meminfo: memFree=29141356/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=162.29 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98430 0 0 0 16206 23 0 0 25 0 1 0 968131086 368947200 87388 33554432000 4194304 8979876 140737155355504 18446744073709551615 7155383 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87388 678 1169 0 88902 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 360300
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24439
/proc/meminfo: memFree=29141192/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=222.29 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98431 0 0 0 22202 27 0 0 25 0 1 0 968131086 368947200 87389 33554432000 4194304 8979876 140737155355504 18446744073709551615 7155168 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87389 678 1169 0 88902 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 360300
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24450
/proc/meminfo: memFree=29140716/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=282.27 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98431 0 0 0 28199 28 0 0 25 0 1 0 968131086 368947200 87389 33554432000 4194304 8979876 140737155355504 18446744073709551615 7144105 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87389 678 1169 0 88902 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 360300
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24452
/proc/meminfo: memFree=29140652/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=342.28 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98431 0 0 0 34197 31 0 0 25 0 1 0 968131086 368947200 87389 33554432000 4194304 8979876 140737155355504 18446744073709551615 7193011 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87389 678 1169 0 88902 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 360300
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24454
/proc/meminfo: memFree=29140464/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=402.28 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98431 0 0 0 40193 35 0 0 25 0 1 0 968131086 368947200 87389 33554432000 4194304 8979876 140737155355504 18446744073709551615 7143889 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87389 678 1169 0 88902 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 360300
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24454
/proc/meminfo: memFree=29140772/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=462.27 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98431 0 0 0 46190 37 0 0 25 0 1 0 968131086 368947200 87389 33554432000 4194304 8979876 140737155355504 18446744073709551615 7143891 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87389 678 1169 0 88902 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 360300
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24456
/proc/meminfo: memFree=29140472/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=522.27 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98473 0 0 0 52186 41 0 0 25 0 1 0 968131086 368947200 87431 33554432000 4194304 8979876 140737155355504 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87431 678 1169 0 88902 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 360300
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24458
/proc/meminfo: memFree=29140036/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=582.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98473 0 0 0 58183 43 0 0 25 0 1 0 968131086 368947200 87431 33554432000 4194304 8979876 140737155355504 18446744073709551615 7143914 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87431 678 1169 0 88902 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 360300
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24466
/proc/meminfo: memFree=29136048/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=882.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98980 0 0 0 88164 62 0 0 25 0 1 0 968131086 368947200 87811 33554432000 4194304 8979876 140737155355504 18446744073709551615 7144709 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87811 711 1169 0 88902 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 360300
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24468
/proc/meminfo: memFree=29136008/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=942.25 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98988 0 0 0 94159 66 0 0 25 0 1 0 968131086 368947200 87811 33554432000 4194304 8979876 140737155355504 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24432/statm: 90075 87811 703 1169 0 88902 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 360300
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24470
/proc/meminfo: memFree=29106064/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=360300 CPUtime=1002.25 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 98988 0 0 0 100153 72 0 0 25 0 1 0 968131086 368947200 87811 33554432000 4194304 8979876 140737155355504 18446744073709551615 6890524 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 90075 87811 703 1169 0 88902 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 360300
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24470
/proc/meminfo: memFree=28979652/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=487432 CPUtime=1062.25 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130765 0 0 0 106132 93 0 0 25 0 1 0 968131086 499130368 119547 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 121858 119547 714 1169 0 120685 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 487432
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24472
/proc/meminfo: memFree=29057224/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1122.25 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130777 0 0 0 112126 99 0 0 25 0 1 0 968131086 416649216 100075 33554432000 4194304 8979876 140737155355504 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100075 726 1169 0 100548 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 406884
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24474
/proc/meminfo: memFree=29057172/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1182.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 118120 106 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 406884
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24476
/proc/meminfo: memFree=29057024/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1242.25 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 124115 110 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7151865 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 406884
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 24478
/proc/meminfo: memFree=29056852/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1302.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 130112 114 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 406884
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 24554
/proc/meminfo: memFree=30230672/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1362.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 136106 120 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 406884
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 24556
/proc/meminfo: memFree=30229160/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1422.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 142102 124 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 406884
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24558
/proc/meminfo: memFree=30219480/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1482.25 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 148097 128 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7179920 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 406884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24560
/proc/meminfo: memFree=30215732/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1542.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 154093 133 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7046373 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 406884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24562
/proc/meminfo: memFree=30211720/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1602.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 160088 138 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 406884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24562
/proc/meminfo: memFree=30202624/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1662.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 166084 142 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7046373 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 406884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24564
/proc/meminfo: memFree=30199460/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1722.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 172080 146 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 406884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24566
/proc/meminfo: memFree=30199300/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1782.26 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 178075 151 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7047630 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 406884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24566
/proc/meminfo: memFree=30199156/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1800.07 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 179855 152 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7146332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 406884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 24566
/proc/meminfo: memFree=30199156/32951124 swapFree=67049456/67111528
[pid=24432] ppid=24430 vsize=406884 CPUtime=1800.07 cores=0,2,4,6
/proc/24432/stat : 24432 (scip-2.0.1.4_2.) R 24430 24432 21071 0 -1 4202496 130778 0 0 0 179855 152 0 0 25 0 1 0 968131086 416649216 100076 33554432000 4194304 8979876 140737155355504 18446744073709551615 7146332 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/24432/statm: 101721 100076 726 1169 0 100548 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 406884
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.09
CPU user time (s): 1798.55
CPU system time (s): 1.53977
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 487432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.53977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130778
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= 5
involuntary context switches= 13340
runsolver used 3.23451 second user time and 6.10707 second system time
The end