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-3451892-1307114820.opb>
0.09/0.19 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29788 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.19/0.27 o 0
0.19/0.27 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.27 c presolving:
0.29/0.32 c (round 1) 589 del vars, 589 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.39/0.41 c (round 2) 589 del vars, 5032 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24756 upgd conss, 2340 impls, 0 clqs
0.39/0.45 c (0.4s) probing: 101/1436 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (3 rounds):
0.39/0.45 c 589 deleted vars, 5032 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45 c 2340 implications, 0 cliques
0.39/0.45 c presolved problem has 1436 variables (1436 bin, 0 int, 0 impl, 0 cont) and 24756 constraints
0.39/0.45 c 581 constraints of type <setppc>
0.39/0.45 c 24175 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.23
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 2.0.1.4
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1800
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 13950
0.39/0.45 c
0.39/0.45 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.45 c # [type: int, range: [1,2], default: 1]
0.39/0.45 c timing/clocktype = 2
0.39/0.45 c
0.39/0.45 c # belongs reading time to solving time?
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c timing/reading = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/indicator/addCouplingCons = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.45 c
2.59/2.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.60 c t 2.6s| 1 | 0 | 8046 | - | 34M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 | 0.000000e+00 | 100.00%
2.59/2.65 o -2
2.59/2.65 c R 2.7s| 1 | 0 | 8046 | - | 34M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-2.000000e+00 | 99.15%
2.69/2.70 o -3
2.69/2.70 c s 2.7s| 1 | 0 | 8046 | - | 34M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-3.000000e+00 | 98.72%
4.09/4.10 c 4.1s| 1 | 0 | 10830 | - | 35M| 0 |1416 |1436 | 24k|1436 | 24k| 6 | 0 | 0 |-2.327657e+02 |-3.000000e+00 | 98.71%
4.09/4.10 o -10
4.09/4.10 c b 4.1s| 1 | 0 | 10830 | - | 35M| 0 |1416 |1436 | 24k|1436 | 24k| 6 | 0 | 0 |-2.327657e+02 |-1.000000e+01 | 95.70%
5.79/5.88 c 5.9s| 1 | 0 | 14848 | - | 36M| 0 |1421 |1436 | 24k|1436 | 24k| 13 | 0 | 0 |-2.316275e+02 |-1.000000e+01 | 95.68%
8.19/8.25 c 8.2s| 1 | 0 | 19780 | - | 37M| 0 |1434 |1436 | 24k|1436 | 24k| 21 | 0 | 0 |-2.298566e+02 |-1.000000e+01 | 95.65%
22.49/22.53 c 22.5s| 1 | 0 | 28923 | - | 37M| 0 |1432 |1436 | 24k|1436 | 24k| 29 | 0 | 0 |-2.282053e+02 |-1.000000e+01 | 95.62%
35.29/35.38 c 35.4s| 1 | 0 | 37208 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 70 | 0 | 0 |-2.252495e+02 |-1.000000e+01 | 95.56%
35.39/35.42 o -11
35.39/35.42 c R35.4s| 1 | 0 | 37208 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 70 | 0 | 0 |-2.252495e+02 |-1.100000e+01 | 95.12%
43.19/43.21 c 43.2s| 1 | 0 | 47939 | - | 38M| 0 |1419 |1436 | 24k|1436 | 24k| 77 | 0 | 0 |-2.238871e+02 |-1.100000e+01 | 95.09%
83.99/84.05 c 84.0s| 1 | 0 | 75433 | - | 38M| 0 |1428 |1436 | 24k|1436 | 24k| 89 | 0 | 0 |-2.199618e+02 |-1.100000e+01 | 95.00%
105.29/105.30 c 105s| 1 | 0 | 83181 | - | 39M| 0 |1431 |1436 | 24k|1436 | 24k| 94 | 0 | 0 |-2.196207e+02 |-1.100000e+01 | 94.99%
123.39/123.46 c 123s| 1 | 0 | 87646 | - | 41M| 0 |1435 |1436 | 24k|1436 | 24k| 96 | 0 | 0 |-2.191776e+02 |-1.100000e+01 | 94.98%
134.49/134.51 c 135s| 1 | 0 | 88774 | - | 47M| 0 |1435 |1436 | 24k|1436 | 24k| 97 | 0 | 0 |-2.191776e+02 |-1.100000e+01 | 94.98%
152.70/152.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.70/152.72 c 153s| 1 | 0 | 91229 | - | 49M| 0 |1435 |1436 | 24k|1436 | 24k| 98 | 0 | 0 |-2.191310e+02 |-1.100000e+01 | 94.98%
173.19/173.21 c 173s| 1 | 0 | 98480 | - | 50M| 0 |1435 |1436 | 24k|1436 | 24k| 100 | 0 | 0 |-2.190434e+02 |-1.100000e+01 | 94.98%
194.89/194.94 c 195s| 1 | 0 |110910 | - | 55M| 0 |1430 |1436 | 24k|1436 | 24k| 102 | 0 | 0 |-2.188070e+02 |-1.100000e+01 | 94.97%
213.10/213.13 c 213s| 1 | 0 |117244 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 103 | 0 | 0 |-2.187746e+02 |-1.100000e+01 | 94.97%
227.99/228.02 c 228s| 1 | 0 |117342 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 104 | 0 | 0 |-2.187746e+02 |-1.100000e+01 | 94.97%
262.10/262.18 c 262s| 1 | 2 |117342 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 104 | 0 | 22 |-2.187746e+02 |-1.100000e+01 | 94.97%
854.62/854.67 o -25
854.62/854.67 c p 855s| 5 | 6 |641007 |130916.2 | 62M| 2 | - |1436 | 24k|1436 | 24k| 104 | 0 | 198 |-2.165833e+02 |-2.500000e+01 | 88.46%
854.62/854.69 o -29
854.62/854.69 c b 855s| 6 | 5 |641007 |104733.0 | 61M| 3 | - |1436 | 24k|1436 | 24k| 104 | 0 | 198 |-2.165833e+02 |-2.900000e+01 | 86.61%
895.01/895.09 o -48
895.01/895.09 c f 895s| 6 | 7 |674989 |111529.4 | 64M| 3 | - |1436 | 24k|1436 | 24k| 104 | 1 | 219 |-2.165833e+02 |-4.800000e+01 | 77.84%
1507.83/1507.83 o -53
1507.83/1507.83 c R1508s| 29 | 24 | 1279k|41500.1 | 62M| 18 | 871 |1436 | 24k|1436 | 24k| 104 | 26 | 388 |-2.085899e+02 |-5.300000e+01 | 74.59%
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-3451892-1307114820/watcher-3451892-1307114820 -o /tmp/evaluation-result-3451892-1307114820/solver-3451892-1307114820 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451892-1307114820.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.99 2.00 2.00 3/535 11069
/proc/meminfo: memFree=24997824/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=10932 CPUtime=0 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 1721 0 0 0 0 0 0 0 25 0 1 0 803898321 11194368 1674 33554432000 4194304 9128323 140733678588240 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11069/statm: 2733 1674 400 1205 0 1524 0
[startup+0.025541 s]
/proc/loadavg: 1.99 2.00 2.00 3/535 11069
/proc/meminfo: memFree=24997824/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=13228 CPUtime=0.02 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 2298 0 0 0 2 0 0 0 25 0 1 0 803898321 13545472 2251 33554432000 4194304 9128323 140733678588240 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11069/statm: 3307 2251 400 1205 0 2098 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13228
[startup+0.100531 s]
/proc/loadavg: 1.99 2.00 2.00 3/535 11069
/proc/meminfo: memFree=24997824/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=16840 CPUtime=0.09 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 3225 0 0 0 9 0 0 0 25 0 1 0 803898321 17244160 3176 33554432000 4194304 9128323 140733678588240 18446744073709551615 7952298 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11069/statm: 4210 3176 400 1205 0 3001 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16840
[startup+0.300497 s]
/proc/loadavg: 1.99 2.00 2.00 3/535 11069
/proc/meminfo: memFree=24997824/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=57900 CPUtime=0.29 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 13552 0 0 0 28 1 0 0 25 0 1 0 803898321 59289600 13166 33554432000 4194304 9128323 140733678588240 18446744073709551615 18446744073699065925 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 14475 13166 516 1205 0 13266 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57900
[startup+0.700446 s]
/proc/loadavg: 1.99 2.00 2.00 3/535 11069
/proc/meminfo: memFree=24997824/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=106096 CPUtime=0.69 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 26600 0 0 0 66 3 0 0 25 0 1 0 803898321 108642304 23707 33554432000 4194304 9128323 140733678588240 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 26524 23707 819 1205 0 25315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106096
[startup+1.50028 s]
/proc/loadavg: 1.99 2.00 2.00 3/536 11070
/proc/meminfo: memFree=24898616/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=109264 CPUtime=1.49 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 29048 0 0 0 144 5 0 0 25 0 1 0 803898321 111886336 25562 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 27316 25562 659 1205 0 26107 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109264
[startup+3.10099 s]
/proc/loadavg: 1.99 2.00 2.00 3/536 11070
/proc/meminfo: memFree=24896020/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=112284 CPUtime=3.09 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 30454 0 0 0 303 6 0 0 25 0 1 0 803898321 114978816 26576 33554432000 4194304 9128323 140733678588240 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 28071 26576 697 1205 0 26862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112284
[startup+6.30042 s]
/proc/loadavg: 2.07 2.02 2.00 3/536 11070
/proc/meminfo: memFree=24888580/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=113344 CPUtime=6.29 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 31139 0 0 0 620 9 0 0 25 0 1 0 803898321 116064256 27241 33554432000 4194304 9128323 140733678588240 18446744073709551615 6694295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 28336 27241 697 1205 0 27127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113344
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/536 11070
/proc/meminfo: memFree=24884952/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=120588 CPUtime=12.69 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 32424 0 0 0 1256 13 0 0 25 0 1 0 803898321 123482112 28526 33554432000 4194304 9128323 140733678588240 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 30147 28526 960 1205 0 28938 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120588
[startup+25.501 s]
/proc/loadavg: 2.05 2.01 2.00 3/536 11070
/proc/meminfo: memFree=24891524/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=122132 CPUtime=25.49 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 34083 0 0 0 2528 21 0 0 25 0 1 0 803898321 125063168 28941 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 30533 28941 1253 1205 0 29324 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122132
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/536 11071
/proc/meminfo: memFree=24887376/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=118184 CPUtime=51.09 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 36061 0 0 0 5071 38 0 0 25 0 1 0 803898321 121020416 27627 33554432000 4194304 9128323 140733678588240 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 29546 27627 699 1205 0 28337 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118184
[startup+102.32 s]
/proc/loadavg: 2.08 2.02 2.00 3/536 11073
/proc/meminfo: memFree=24875460/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=128248 CPUtime=102.32 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 40789 0 0 0 10173 59 0 0 25 0 1 0 803898321 131325952 30996 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 32062 30996 1065 1205 0 30853 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 128248
[startup+162.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/536 11074
/proc/meminfo: memFree=24855808/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=137420 CPUtime=162.3 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 44166 0 0 0 16145 85 0 0 25 0 1 0 803898321 140718080 32189 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 34355 32189 698 1205 0 33146 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 137420
[startup+222.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 11076
/proc/meminfo: memFree=24838024/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=153680 CPUtime=222.29 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 48703 0 0 0 22116 113 0 0 25 0 1 0 803898321 157368320 36618 33554432000 4194304 9128323 140733678588240 18446744073709551615 6703333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38420 36618 698 1205 0 37211 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 153680
[startup+282.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 11077
/proc/meminfo: memFree=24856216/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152164 CPUtime=282.3 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 49894 0 0 0 28094 136 0 0 25 0 1 0 803898321 155815936 36434 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38041 36434 722 1205 0 36832 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 152164
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 11079
/proc/meminfo: memFree=24855928/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152164 CPUtime=342.3 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 49894 0 0 0 34074 156 0 0 25 0 1 0 803898321 155815936 36434 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38041 36434 722 1205 0 36832 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 152164
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11080
/proc/meminfo: memFree=24855884/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152164 CPUtime=402.31 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 49895 0 0 0 40056 175 0 0 25 0 1 0 803898321 155815936 36435 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38041 36435 723 1205 0 36832 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 152164
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11082
/proc/meminfo: memFree=24844804/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152164 CPUtime=462.3 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 49895 0 0 0 46031 199 0 0 25 0 1 0 803898321 155815936 36435 33554432000 4194304 9128323 140733678588240 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38041 36435 723 1205 0 36832 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 152164
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11084
/proc/meminfo: memFree=24844872/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152164 CPUtime=522.3 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 49895 0 0 0 52007 223 0 0 25 0 1 0 803898321 155815936 36435 33554432000 4194304 9128323 140733678588240 18446744073709551615 7315639 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38041 36435 723 1205 0 36832 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 152164
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11085
/proc/meminfo: memFree=24844448/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152164 CPUtime=582.31 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 49895 0 0 0 57980 251 0 0 25 0 1 0 803898321 155815936 36435 33554432000 4194304 9128323 140733678588240 18446744073709551615 7312694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38041 36435 723 1205 0 36832 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 152164
[startup+642.301 s]
################
# More data... #
################
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 92104 0 0 0 99778 453 0 0 25 0 1 0 803898321 155721728 36267 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38018 36267 729 1205 0 36809 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 152072
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11098
/proc/meminfo: memFree=24812456/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152072 CPUtime=1062.31 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 92308 0 0 0 105753 478 0 0 25 0 1 0 803898321 155721728 36471 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38018 36471 729 1205 0 36809 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 152072
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11100
/proc/meminfo: memFree=24807188/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=154892 CPUtime=1122.32 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 109225 0 0 0 111723 509 0 0 25 0 1 0 803898321 158609408 37658 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38723 37658 806 1205 0 37514 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 154892
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 11101
/proc/meminfo: memFree=24811352/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152092 CPUtime=1182.32 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 109774 0 0 0 117698 534 0 0 25 0 1 0 803898321 155742208 36428 33554432000 4194304 9128323 140733678588240 18446744073709551615 7326061 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38023 36428 730 1205 0 36814 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 152092
[startup+1242.3 s]
/proc/loadavg: 2.21 2.05 2.01 3/536 11103
/proc/meminfo: memFree=24807576/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152868 CPUtime=1242.32 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 109972 0 0 0 123671 561 0 0 25 0 1 0 803898321 156536832 36626 33554432000 4194304 9128323 140733678588240 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38217 36626 730 1205 0 37008 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 152868
[startup+1302.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/536 11105
/proc/meminfo: memFree=24798472/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=152852 CPUtime=1302.33 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 121136 0 0 0 129649 584 0 0 25 0 1 0 803898321 156520448 36307 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38213 36307 730 1205 0 37004 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 152852
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 11106
/proc/meminfo: memFree=24797664/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=153628 CPUtime=1362.33 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 121362 0 0 0 135622 611 0 0 25 0 1 0 803898321 157315072 36533 33554432000 4194304 9128323 140733678588240 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38407 36533 730 1205 0 37198 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 153628
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 11108
/proc/meminfo: memFree=24788424/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=153628 CPUtime=1422.35 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 121384 0 0 0 141591 644 0 0 25 0 1 0 803898321 157315072 36555 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38407 36555 730 1205 0 37198 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 153628
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 11109
/proc/meminfo: memFree=24787888/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=153000 CPUtime=1482.33 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 124901 0 0 0 147557 676 0 0 25 0 1 0 803898321 156672000 36730 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38250 36730 730 1205 0 37041 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 153000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11111
/proc/meminfo: memFree=24785220/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=155116 CPUtime=1542.34 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 126909 0 0 0 153527 707 0 0 25 0 1 0 803898321 158838784 37298 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 38779 37298 732 1205 0 37570 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 155116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11112
/proc/meminfo: memFree=24789152/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=156184 CPUtime=1602.33 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 128662 0 0 0 159502 731 0 0 25 0 1 0 803898321 159932416 37649 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 39046 37649 730 1205 0 37837 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 156184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11196
/proc/meminfo: memFree=24944256/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=159036 CPUtime=1662.33 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 133792 0 0 0 165479 754 0 0 25 0 1 0 803898321 162852864 37801 33554432000 4194304 9128323 140733678588240 18446744073709551615 7312918 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 39759 37801 730 1205 0 38550 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 159036
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11198
/proc/meminfo: memFree=24943980/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=159036 CPUtime=1722.33 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 133823 0 0 0 171460 773 0 0 25 0 1 0 803898321 162852864 37832 33554432000 4194304 9128323 140733678588240 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 39759 37832 730 1205 0 38550 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 159036
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/536 11199
/proc/meminfo: memFree=24947660/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=150100 CPUtime=1782.34 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 139864 0 0 0 177426 808 0 0 25 0 1 0 803898321 153702400 36512 33554432000 4194304 9128323 140733678588240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 37525 36512 731 1205 0 36316 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 150100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/536 11254
/proc/meminfo: memFree=24929532/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=160648 CPUtime=1800.04 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 141898 0 0 0 179190 814 0 0 25 0 1 0 803898321 164503552 38546 33554432000 4194304 9128323 140733678588240 18446744073709551615 7314655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 40162 38546 731 1205 0 38953 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 160648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11069
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.05 2.02 2.00 3/537 11255
/proc/meminfo: memFree=24928284/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=160648 CPUtime=1801.44 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 141927 0 0 0 179329 815 0 0 25 0 1 0 803898321 164503552 38575 33554432000 4194304 9128323 140733678588240 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 40162 38575 731 1205 0 38953 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 160648
[startup+1801.82 s]
/proc/loadavg: 2.05 2.02 2.00 3/537 11255
/proc/meminfo: memFree=24928656/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=160648 CPUtime=1801.86 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 141927 0 0 0 179371 815 0 0 25 0 1 0 803898321 164503552 38575 33554432000 4194304 9128323 140733678588240 18446744073709551615 7384823 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 40162 38575 731 1205 0 38953 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 160648
[startup+1802 s]
/proc/loadavg: 2.05 2.02 2.00 3/537 11255
/proc/meminfo: memFree=24928656/32951124 swapFree=46970528/67111528
[pid=11069] ppid=11067 vsize=160648 CPUtime=1802.04 cores=1,3,5,7
/proc/11069/stat : 11069 (scip-2.0.1.4.li) R 11067 11069 9437 0 -1 4202496 141927 0 0 0 179389 815 0 0 25 0 1 0 803898321 164503552 38575 33554432000 4194304 9128323 140733678588240 18446744073709551615 7316182 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11069/statm: 40162 38575 731 1205 0 38953 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 160648
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1793.92
CPU system time (s): 8.15676
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 160648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 8.15676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141927
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= 2846
runsolver used 8.99663 second user time and 22.1896 second system time
The end