0.00/0.00 c SCIP version 2.0.1.4 [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-3453467-1307118623.opb>
1.49/1.55 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234296 constraints
1.49/1.55 c problem read
1.49/1.55 c presolving settings loaded
2.29/2.37 c presolving:
8.39/8.48 c (round 1) 4401 del vars, 13292 del conss, 0 add conss, 2967 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16153960 impls, 0 clqs
11.09/11.10 c (round 2) 11561 del vars, 36582 del conss, 0 add conss, 9812 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16185724 impls, 0 clqs
11.79/11.85 c (round 3) 14138 del vars, 48236 del conss, 0 add conss, 11247 chg bounds, 32 chg sides, 36 chg coeffs, 0 upgd conss, 16200531 impls, 0 clqs
12.19/12.25 c (round 4) 15217 del vars, 52455 del conss, 0 add conss, 11913 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16207806 impls, 0 clqs
12.39/12.46 c (round 5) 15691 del vars, 54605 del conss, 0 add conss, 12192 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16210865 impls, 0 clqs
12.49/12.57 c (round 6) 15877 del vars, 55472 del conss, 0 add conss, 12279 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16212299 impls, 0 clqs
12.59/12.64 c (round 7) 15953 del vars, 55840 del conss, 0 add conss, 12309 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213041 impls, 0 clqs
12.69/12.71 c (round 8) 15977 del vars, 55968 del conss, 0 add conss, 12321 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213249 impls, 0 clqs
12.69/12.77 c (round 9) 15985 del vars, 56020 del conss, 0 add conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 0 upgd conss, 16213317 impls, 0 clqs
13.39/13.48 c (round 10) 15985 del vars, 56032 del conss, 0 add conss, 12325 chg bounds, 64 chg sides, 69 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
14.30/14.32 c (round 11) 15985 del vars, 56035 del conss, 38 add conss, 12325 chg bounds, 114 chg sides, 283 chg coeffs, 178264 upgd conss, 16213317 impls, 0 clqs
583.18/583.27 c (583.3s) probing: 1000/56857 (1.8%) - 0 fixings, 0 aggregations, 10828825 implications, 0 bound changes
1030.00/1030.05 c (1030.0s) probing: 2000/56857 (3.5%) - 0 fixings, 0 aggregations, 16118594 implications, 0 bound changes
1030.50/1030.59 c (1030.6s) probing: 2001/56857 (3.5%) - 0 fixings, 0 aggregations, 16122390 implications, 0 bound changes
1030.50/1030.59 c (1030.6s) probing aborted: 2000/2000 successive useless probings
1030.50/1030.59 c presolving (12 rounds):
1030.50/1030.59 c 15985 deleted vars, 56043 deleted constraints, 40 added constraints, 12325 tightened bounds, 0 added holes, 117 changed sides, 300 changed coefficients
1030.50/1030.59 c 70691155 implications, 0 cliques
1030.50/1030.59 c presolved problem has 56857 variables (56857 bin, 0 int, 0 impl, 0 cont) and 178293 constraints
1030.50/1030.59 c 1123 constraints of type <knapsack>
1030.50/1030.59 c 149066 constraints of type <setppc>
1030.50/1030.59 c 28104 constraints of type <logicor>
1030.50/1030.59 c transformed objective value is always integral (scale: 1)
1030.50/1030.59 c Presolving Time: 1028.82
1030.50/1030.59 c - non default parameters ----------------------------------------------------------------------
1030.50/1030.59 c # SCIP version 2.0.1.4
1030.50/1030.59 c
1030.50/1030.59 c # frequency for displaying node information lines
1030.50/1030.59 c # [type: int, range: [-1,2147483647], default: 100]
1030.50/1030.59 c display/freq = 10000
1030.50/1030.59 c
1030.50/1030.59 c # maximal time in seconds to run
1030.50/1030.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1030.50/1030.59 c limits/time = 1800
1030.50/1030.59 c
1030.50/1030.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1030.50/1030.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1030.50/1030.59 c limits/memory = 13950
1030.50/1030.59 c
1030.50/1030.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
1030.50/1030.59 c # [type: int, range: [1,2], default: 1]
1030.50/1030.59 c timing/clocktype = 2
1030.50/1030.59 c
1030.50/1030.59 c # belongs reading time to solving time?
1030.50/1030.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1030.50/1030.59 c timing/reading = TRUE
1030.50/1030.59 c
1030.50/1030.59 c # should presolving try to simplify inequalities
1030.50/1030.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1030.50/1030.59 c constraints/linear/simplifyinequalities = TRUE
1030.50/1030.59 c
1030.50/1030.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1030.50/1030.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1030.50/1030.59 c constraints/indicator/addCouplingCons = TRUE
1030.50/1030.59 c
1030.50/1030.59 c # should presolving try to simplify knapsacks
1030.50/1030.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1030.50/1030.59 c constraints/knapsack/simplifyinequalities = TRUE
1030.50/1030.59 c
1030.50/1030.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1030.50/1030.59 c # [type: int, range: [-1,2147483647], default: -1]
1030.50/1030.59 c separating/rapidlearning/freq = 0
1030.50/1030.59 c
1030.50/1030.59 c -----------------------------------------------------------------------------------------------
1030.50/1030.59 c start solving
1030.60/1030.63 c
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-3453467-1307118623/watcher-3453467-1307118623 -o /tmp/evaluation-result-3453467-1307118623/solver-3453467-1307118623 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453467-1307118623.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: 1.26 1.79 1.92 2/464 8418
/proc/meminfo: memFree=30053980/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=10656 CPUtime=0 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 1670 0 0 0 0 0 0 0 21 0 1 0 823462110 10911744 1624 33554432000 4194304 9128323 140735299692752 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8418/statm: 2664 1624 400 1205 0 1455 0
[startup+0.076002 s]
/proc/loadavg: 1.26 1.79 1.92 2/464 8418
/proc/meminfo: memFree=30053980/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=24048 CPUtime=0.07 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 4997 0 0 0 7 0 0 0 21 0 1 0 823462110 24625152 4949 33554432000 4194304 9128323 140735299692752 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8418/statm: 6012 4949 400 1205 0 4803 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24048
[startup+0.100994 s]
/proc/loadavg: 1.26 1.79 1.92 2/464 8418
/proc/meminfo: memFree=30053980/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 5858 0 0 0 9 0 0 0 21 0 1 0 823462110 28024832 5810 33554432000 4194304 9128323 140735299692752 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8418/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.30096 s]
/proc/loadavg: 1.26 1.79 1.92 2/464 8418
/proc/meminfo: memFree=30053980/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 11587 0 0 0 29 0 0 0 22 0 1 0 823462110 51421184 11507 33554432000 4194304 9128323 140735299692752 18446744073709551615 7961595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8418/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700891 s]
/proc/loadavg: 1.26 1.79 1.92 2/464 8418
/proc/meminfo: memFree=30053980/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=68576 CPUtime=0.69 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 16161 0 0 0 68 1 0 0 24 0 1 0 823462110 70221824 16073 33554432000 4194304 9128323 140735299692752 18446744073709551615 4337745 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8418/statm: 17144 16073 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68576
[startup+1.50075 s]
/proc/loadavg: 1.26 1.79 1.92 3/465 8419
/proc/meminfo: memFree=29896384/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=130112 CPUtime=1.49 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 31465 0 0 0 147 2 0 0 25 0 1 0 823462110 133234688 31362 33554432000 4194304 9128323 140735299692752 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8418/statm: 32528 31362 400 1205 0 31319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130112
[startup+3.10047 s]
/proc/loadavg: 1.26 1.79 1.92 3/465 8419
/proc/meminfo: memFree=29434112/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=482628 CPUtime=3.09 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 127655 0 0 0 296 13 0 0 25 0 1 0 823462110 494211072 117347 33554432000 4194304 9128323 140735299692752 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8418/statm: 120657 117347 501 1205 0 119448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 482628
[startup+6.3009 s]
/proc/loadavg: 1.32 1.79 1.92 3/465 8420
/proc/meminfo: memFree=28722028/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=775932 CPUtime=6.29 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 199542 0 0 0 608 21 0 0 25 0 1 0 823462110 794554368 189234 33554432000 4194304 9128323 140735299692752 18446744073709551615 4352210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8418/statm: 193983 189235 510 1205 0 192774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 775932
[startup+12.7008 s]
/proc/loadavg: 1.37 1.79 1.92 3/465 8420
/proc/meminfo: memFree=28341764/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=884720 CPUtime=12.69 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 226312 0 0 0 1245 24 0 0 25 0 1 0 823462110 905953280 214862 33554432000 4194304 9128323 140735299692752 18446744073709551615 5968137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8418/statm: 221180 214862 523 1205 0 219971 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884720
[startup+25.5005 s]
/proc/loadavg: 1.51 1.80 1.92 3/465 8420
/proc/meminfo: memFree=28068600/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1026584 CPUtime=25.48 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 277808 0 0 0 2519 29 0 0 25 0 1 0 823462110 1051222016 249010 33554432000 4194304 9128323 140735299692752 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8418/statm: 256646 249010 605 1205 0 255437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1026584
[startup+51.101 s]
/proc/loadavg: 1.68 1.82 1.92 4/465 8421
/proc/meminfo: memFree=27966860/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1089832 CPUtime=51.09 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 292364 0 0 0 5078 31 0 0 25 0 1 0 823462110 1115987968 263566 33554432000 4194304 9128323 140735299692752 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8418/statm: 272458 263566 605 1205 0 271249 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1089832
[startup+102.318 s]
/proc/loadavg: 1.86 1.84 1.92 3/465 8422
/proc/meminfo: memFree=27706096/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1226716 CPUtime=102.29 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 326242 0 0 0 10194 35 0 0 25 0 1 0 823462110 1256157184 297444 33554432000 4194304 9128323 140735299692752 18446744073709551615 6589029 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 306679 297444 605 1205 0 305470 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1226716
[startup+162.3 s]
/proc/loadavg: 1.95 1.87 1.92 3/465 8424
/proc/meminfo: memFree=27437484/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1359660 CPUtime=162.27 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 359706 0 0 0 16188 39 0 0 25 0 1 0 823462110 1392291840 330380 33554432000 4194304 9128323 140735299692752 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 339915 330380 605 1205 0 338706 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1359660
[startup+222.301 s]
/proc/loadavg: 1.98 1.89 1.92 3/465 8425
/proc/meminfo: memFree=27049948/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1518004 CPUtime=222.27 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 399643 0 0 0 22184 43 0 0 25 0 1 0 823462110 1554436096 370119 33554432000 4194304 9128323 140735299692752 18446744073709551615 7414736 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 379501 370119 605 1205 0 378292 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1518004
[startup+282.3 s]
/proc/loadavg: 1.99 1.91 1.92 3/465 8427
/proc/meminfo: memFree=26792740/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1657552 CPUtime=282.28 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 434872 0 0 0 28180 48 0 0 25 0 1 0 823462110 1697333248 405117 33554432000 4194304 9128323 140735299692752 18446744073709551615 4207233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 414388 405117 605 1205 0 413179 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1657552
[startup+342.301 s]
/proc/loadavg: 1.99 1.92 1.92 3/465 8429
/proc/meminfo: memFree=26451836/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1828700 CPUtime=342.28 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 477544 0 0 0 34175 53 0 0 25 0 1 0 823462110 1872588800 447789 33554432000 4194304 9128323 140735299692752 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 457175 447789 605 1205 0 455966 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1828700
[startup+402.301 s]
/proc/loadavg: 1.99 1.93 1.92 3/465 8430
/proc/meminfo: memFree=26223644/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=1946664 CPUtime=402.28 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 507860 0 0 0 40171 57 0 0 25 0 1 0 823462110 1993383936 478105 33554432000 4194304 9128323 140735299692752 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 486666 478105 605 1205 0 485457 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1946664
[startup+462.3 s]
/proc/loadavg: 2.05 1.96 1.93 3/465 8432
/proc/meminfo: memFree=26052488/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=2026348 CPUtime=462.28 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 527307 0 0 0 46168 60 0 0 25 0 1 0 823462110 2074980352 497552 33554432000 4194304 9128323 140735299692752 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 506587 497552 605 1205 0 505378 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2026348
[startup+522.301 s]
/proc/loadavg: 2.02 1.96 1.93 3/465 8433
/proc/meminfo: memFree=25882820/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=2131416 CPUtime=522.28 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 553229 0 0 0 52164 64 0 0 25 0 1 0 823462110 2182569984 523474 33554432000 4194304 9128323 140735299692752 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 532854 523474 605 1205 0 531645 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2131416
[startup+582.301 s]
/proc/loadavg: 2.05 1.98 1.94 3/465 8435
/proc/meminfo: memFree=25712536/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=2233592 CPUtime=582.28 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 578441 0 0 0 58160 68 0 0 25 0 1 0 823462110 2287198208 548686 33554432000 4194304 9128323 140735299692752 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 558398 548686 605 1205 0 557189 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2233592
[startup+642.301 s]
################
# More data... #
################
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 768256 0 0 0 106131 98 0 0 25 0 1 0 823462110 3090866176 736352 33554432000 4194304 9128323 140735299692752 18446744073709551615 7241256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 754606 736352 795 1205 0 753397 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 3018424
[startup+1122.3 s]
/proc/loadavg: 2.16 2.04 1.96 3/465 8449
/proc/meminfo: memFree=24423748/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3031956 CPUtime=1122.3 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 772154 0 0 0 112124 106 0 0 25 0 1 0 823462110 3104722944 740172 33554432000 4194304 9128323 140735299692752 18446744073709551615 7241283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 757989 740172 799 1205 0 756780 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3031956
[startup+1182.3 s]
/proc/loadavg: 2.11 2.05 1.96 3/465 8451
/proc/meminfo: memFree=24367296/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3041676 CPUtime=1182.3 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 775952 0 0 0 118118 112 0 0 25 0 1 0 823462110 3114676224 743752 33554432000 4194304 9128323 140735299692752 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 760419 743752 828 1205 0 759210 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3041676
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/465 8453
/proc/meminfo: memFree=24017208/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3075424 CPUtime=1242.3 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 787026 0 0 0 124113 117 0 0 25 0 1 0 823462110 3149234176 754091 33554432000 4194304 9128323 140735299692752 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 768856 754091 1047 1205 0 767647 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3075424
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/465 8454
/proc/meminfo: memFree=23997712/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1302.3 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788271 0 0 0 130109 121 0 0 25 0 1 0 823462110 3151724544 754839 33554432000 4194304 9128323 140735299692752 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754839 779 1205 0 768255 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 3077856
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/465 8456
/proc/meminfo: memFree=23979068/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1362.3 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788292 0 0 0 136106 124 0 0 25 0 1 0 823462110 3151724544 754850 33554432000 4194304 9128323 140735299692752 18446744073709551615 7315066 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754850 769 1205 0 768255 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3077856
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.96 3/465 8457
/proc/meminfo: memFree=23972580/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1422.32 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788294 0 0 0 142105 127 0 0 25 0 1 0 823462110 3151724544 754852 33554432000 4194304 9128323 140735299692752 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754852 769 1205 0 768255 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3077856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/465 8459
/proc/meminfo: memFree=23956540/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1482.3 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788296 0 0 0 148100 130 0 0 25 0 1 0 823462110 3151724544 754854 33554432000 4194304 9128323 140735299692752 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754854 769 1205 0 768255 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3077856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/465 8461
/proc/meminfo: memFree=23956752/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1542.31 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788296 0 0 0 154098 133 0 0 25 0 1 0 823462110 3151724544 754854 33554432000 4194304 9128323 140735299692752 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754854 769 1205 0 768255 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3077856
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.97 4/465 8462
/proc/meminfo: memFree=23956600/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1602.31 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788299 0 0 0 160095 136 0 0 25 0 1 0 823462110 3151724544 754857 33554432000 4194304 9128323 140735299692752 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754857 769 1205 0 768255 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3077856
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/465 8464
/proc/meminfo: memFree=23956320/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1662.31 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788305 0 0 0 166093 138 0 0 25 0 1 0 823462110 3151724544 754863 33554432000 4194304 9128323 140735299692752 18446744073709551615 7316185 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754863 769 1205 0 768255 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3077856
[startup+1722.3 s]
/proc/loadavg: 2.16 2.06 1.99 3/465 8465
/proc/meminfo: memFree=23953312/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1722.31 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788308 0 0 0 172090 141 0 0 25 0 1 0 823462110 3151724544 754866 33554432000 4194304 9128323 140735299692752 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754866 769 1205 0 768255 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 3077856
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 1.99 3/465 8467
/proc/meminfo: memFree=23949552/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1782.31 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788311 0 0 0 178088 143 0 0 25 0 1 0 823462110 3151724544 754869 33554432000 4194304 9128323 140735299692752 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754869 769 1205 0 768255 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 3077856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.05 1.99 4/466 8468
/proc/meminfo: memFree=23949768/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1800.02 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788312 0 0 0 179858 144 0 0 25 0 1 0 823462110 3151724544 754870 33554432000 4194304 9128323 140735299692752 18446744073709551615 7312808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754870 769 1205 0 768255 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3077856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8418
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.05 1.99 3/467 8469
/proc/meminfo: memFree=23948148/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1801.41 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788313 0 0 0 179997 144 0 0 25 0 1 0 823462110 3151724544 754871 33554432000 4194304 9128323 140735299692752 18446744073709551615 7241279 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754871 769 1205 0 768255 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 3077856
[startup+1801.82 s]
/proc/loadavg: 2.04 2.05 1.99 3/467 8469
/proc/meminfo: memFree=23880568/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1801.83 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788313 0 0 0 180039 144 0 0 25 0 1 0 823462110 3151724544 754871 33554432000 4194304 9128323 140735299692752 18446744073709551615 7312729 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754871 769 1205 0 768255 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 3077856
[startup+1802 s]
/proc/loadavg: 2.04 2.05 1.99 3/467 8469
/proc/meminfo: memFree=23880568/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=3077856 CPUtime=1802.01 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4202496 788313 0 0 0 180057 144 0 0 25 0 1 0 823462110 3151724544 754871 33554432000 4194304 9128323 140735299692752 18446744073709551615 7285027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8418/statm: 769464 754871 769 1205 0 768255 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 3077856
[startup+1802.1 s]
/proc/loadavg: 2.04 2.05 1.99 3/467 8469
/proc/meminfo: memFree=23880568/32950928 swapFree=45617076/67111528
[pid=8418] ppid=8416 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/8418/stat : 8418 (scip-2.0.1.4.li) R 8416 8418 5789 0 -1 4203524 788313 0 0 0 180059 152 0 0 25 0 1 0 823462110 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/8418/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.16
CPU user time (s): 1800.6
CPU system time (s): 1.56276
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3077856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.6
system time used= 1.56276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788313
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= 1658
runsolver used 8.13276 second user time and 19.453 second system time
The end