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-3451811-1307118485.opb>
1.59/1.60 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234215 constraints
1.59/1.60 c problem read
1.59/1.60 c presolving settings loaded
1.99/2.07 c presolving:
8.09/8.18 c (round 1) 4398 del vars, 13084 del conss, 0 add conss, 2965 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16076284 impls, 0 clqs
10.79/10.82 c (round 2) 11168 del vars, 36411 del conss, 0 add conss, 9346 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16108532 impls, 0 clqs
11.49/11.52 c (round 3) 13435 del vars, 46988 del conss, 0 add conss, 10602 chg bounds, 42 chg sides, 38 chg coeffs, 0 upgd conss, 16122735 impls, 0 clqs
11.89/11.90 c (round 4) 14522 del vars, 51139 del conss, 0 add conss, 11284 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16129377 impls, 0 clqs
11.99/12.09 c (round 5) 15038 del vars, 53265 del conss, 0 add conss, 11579 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16132875 impls, 0 clqs
12.21/12.23 c (round 6) 15307 del vars, 54312 del conss, 0 add conss, 11720 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16135292 impls, 0 clqs
12.29/12.32 c (round 7) 15416 del vars, 54843 del conss, 0 add conss, 11770 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136129 impls, 0 clqs
12.29/12.39 c (round 8) 15478 del vars, 55098 del conss, 0 add conss, 11804 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136513 impls, 0 clqs
12.39/12.46 c (round 9) 15506 del vars, 55237 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
12.49/12.51 c (round 10) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
13.20/13.23 c (round 11) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
14.41/14.42 c (round 12) 15506 del vars, 55289 del conss, 43 add conss, 11824 chg bounds, 143 chg sides, 317 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
611.71/611.76 c (611.8s) probing: 1000/57336 (1.7%) - 0 fixings, 0 aggregations, 10873707 implications, 0 bound changes
1049.30/1049.40 c (1049.4s) probing: 2000/57336 (3.5%) - 0 fixings, 0 aggregations, 16263897 implications, 0 bound changes
1049.52/1049.58 c (1049.6s) probing: 2001/57336 (3.5%) - 0 fixings, 0 aggregations, 16269118 implications, 0 bound changes
1049.52/1049.58 c (1049.6s) probing aborted: 2000/2000 successive useless probings
1049.52/1049.58 c presolving (13 rounds):
1049.52/1049.58 c 15506 deleted vars, 55294 deleted constraints, 43 added constraints, 11824 tightened bounds, 0 added holes, 143 changed sides, 320 changed coefficients
1049.52/1049.58 c 73269355 implications, 0 cliques
1049.52/1049.58 c presolved problem has 57336 variables (57336 bin, 0 int, 0 impl, 0 cont) and 178964 constraints
1049.52/1049.58 c 1135 constraints of type <knapsack>
1049.52/1049.58 c 149503 constraints of type <setppc>
1049.52/1049.58 c 28326 constraints of type <logicor>
1049.52/1049.58 c transformed objective value is always integral (scale: 1)
1049.52/1049.58 c Presolving Time: 1047.64
1049.52/1049.58 c - non default parameters ----------------------------------------------------------------------
1049.52/1049.58 c # SCIP version 2.0.1.5
1049.52/1049.58 c
1049.52/1049.58 c # frequency for displaying node information lines
1049.52/1049.58 c # [type: int, range: [-1,2147483647], default: 100]
1049.52/1049.58 c display/freq = 10000
1049.52/1049.58 c
1049.52/1049.58 c # maximal time in seconds to run
1049.52/1049.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1049.52/1049.58 c limits/time = 1800
1049.52/1049.58 c
1049.52/1049.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1049.52/1049.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1049.52/1049.58 c limits/memory = 13950
1049.52/1049.58 c
1049.52/1049.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
1049.52/1049.58 c # [type: int, range: [1,2], default: 1]
1049.52/1049.58 c timing/clocktype = 2
1049.52/1049.58 c
1049.52/1049.58 c # belongs reading time to solving time?
1049.52/1049.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1049.52/1049.58 c timing/reading = TRUE
1049.52/1049.58 c
1049.52/1049.58 c # should presolving try to simplify inequalities
1049.52/1049.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1049.52/1049.58 c constraints/linear/simplifyinequalities = TRUE
1049.52/1049.58 c
1049.52/1049.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1049.52/1049.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1049.52/1049.58 c constraints/indicator/addCouplingCons = TRUE
1049.52/1049.58 c
1049.52/1049.58 c # should presolving try to simplify knapsacks
1049.52/1049.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1049.52/1049.58 c constraints/knapsack/simplifyinequalities = TRUE
1049.52/1049.58 c
1049.52/1049.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1049.52/1049.58 c # [type: int, range: [-1,2147483647], default: -1]
1049.52/1049.58 c separating/rapidlearning/freq = 0
1049.52/1049.58 c
1049.52/1049.58 c -----------------------------------------------------------------------------------------------
1049.52/1049.58 c start solving
1049.60/1049.62 c
1485.12/1485.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.12/1485.14 c 1485s| 1 | 0 | 68738 | - |2262M| 0 |1845 | 57k| 179k| 57k| 178k| 0 | 51 | 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-3451811-1307118485/watcher-3451811-1307118485 -o /tmp/evaluation-result-3451811-1307118485/solver-3451811-1307118485 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451811-1307118485.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.78 1.99 1.99 2/493 12440
/proc/meminfo: memFree=29072048/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=14980 CPUtime=0.01 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 2720 0 0 0 1 0 0 0 21 0 1 0 823448189 15339520 2673 33554432000 4194304 9163163 140733835814976 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12440/statm: 3745 2673 395 1214 0 2527 0
[startup+0.111477 s]
/proc/loadavg: 1.78 1.99 1.99 2/493 12440
/proc/meminfo: memFree=29072048/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=32404 CPUtime=0.1 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 7098 0 0 0 10 0 0 0 21 0 1 0 823448189 33181696 7051 33554432000 4194304 9163163 140733835814976 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12440/statm: 8101 7051 395 1214 0 6883 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32404
[startup+0.200464 s]
/proc/loadavg: 1.78 1.99 1.99 2/493 12440
/proc/meminfo: memFree=29072048/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=46756 CPUtime=0.19 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 10683 0 0 0 18 1 0 0 21 0 1 0 823448189 47878144 10636 33554432000 4194304 9163163 140733835814976 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12440/statm: 11689 10636 395 1214 0 10471 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46756
[startup+0.300444 s]
/proc/loadavg: 1.78 1.99 1.99 2/493 12440
/proc/meminfo: memFree=29072048/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=56892 CPUtime=0.29 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 13205 0 0 0 28 1 0 0 21 0 1 0 823448189 58257408 13158 33554432000 4194304 9163163 140733835814976 18446744073709551615 4217144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12440/statm: 14223 13158 395 1214 0 13005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56892
[startup+0.700388 s]
/proc/loadavg: 1.78 1.99 1.99 2/493 12440
/proc/meminfo: memFree=29072048/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=80900 CPUtime=0.69 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 19181 0 0 0 67 2 0 0 22 0 1 0 823448189 82841600 19134 33554432000 4194304 9163163 140733835814976 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12440/statm: 20225 19134 395 1214 0 19007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80900
[startup+1.50025 s]
/proc/loadavg: 1.78 1.99 1.99 3/499 12446
/proc/meminfo: memFree=28852376/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=151280 CPUtime=1.49 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 36807 0 0 0 145 4 0 0 25 0 1 0 823448189 154910720 36760 33554432000 4194304 9163163 140733835814976 18446744073709551615 4337779 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12440/statm: 37820 36760 395 1214 0 36602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151280
[startup+3.10099 s]
/proc/loadavg: 1.78 1.99 1.99 3/499 12446
/proc/meminfo: memFree=28316696/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=504576 CPUtime=3.09 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 123511 0 0 0 296 13 0 0 25 0 1 0 823448189 516685824 123399 33554432000 4194304 9163163 140733835814976 18446744073709551615 6566546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 126144 123399 506 1214 0 124926 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504576
[startup+6.30045 s]
/proc/loadavg: 1.87 2.01 1.99 3/499 12446
/proc/meminfo: memFree=27932504/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=779604 CPUtime=6.29 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 190304 0 0 0 609 20 0 0 25 0 1 0 823448189 798314496 190192 33554432000 4194304 9163163 140733835814976 18446744073709551615 6567539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 194901 190192 506 1214 0 193683 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 779604
[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 12446
/proc/meminfo: memFree=27767568/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=886632 CPUtime=12.69 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 224129 0 0 0 1245 24 0 0 25 0 1 0 823448189 907911168 216570 33554432000 4194304 9163163 140733835814976 18446744073709551615 6555247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 221658 216570 529 1214 0 220440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 886632
[startup+25.5012 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 12448
/proc/meminfo: memFree=27206848/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1004424 CPUtime=25.49 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 262648 0 0 0 2521 28 0 0 25 0 1 0 823448189 1028530176 245346 33554432000 4194304 9163163 140733835814976 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 251106 245346 566 1214 0 249888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1004424
[startup+51.1009 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 12448
/proc/meminfo: memFree=27035844/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1073256 CPUtime=51.08 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 278679 0 0 0 5078 30 0 0 25 0 1 0 823448189 1099014144 261377 33554432000 4194304 9163163 140733835814976 18446744073709551615 5459158 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 268314 261377 566 1214 0 267096 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1073256
[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 12450
/proc/meminfo: memFree=26747864/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1214916 CPUtime=102.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 313587 0 0 0 10196 34 0 0 25 0 1 0 823448189 1244073984 296285 33554432000 4194304 9163163 140733835814976 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 303729 296285 566 1214 0 302511 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1214916
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12450
/proc/meminfo: memFree=26480860/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1341668 CPUtime=162.28 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 345392 0 0 0 16190 38 0 0 25 0 1 0 823448189 1373868032 328090 33554432000 4194304 9163163 140733835814976 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 335417 328090 566 1214 0 334199 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1341668
[startup+222.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12452
/proc/meminfo: memFree=26017452/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1513132 CPUtime=222.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 387466 0 0 0 22188 42 0 0 25 0 1 0 823448189 1549447168 370164 33554432000 4194304 9163163 140733835814976 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 378283 370164 566 1214 0 377065 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1513132
[startup+282.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/499 12454
/proc/meminfo: memFree=25554160/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1742408 CPUtime=282.28 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 444731 0 0 0 28179 49 0 0 25 0 1 0 823448189 1784225792 427429 33554432000 4194304 9163163 140733835814976 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 435602 427429 566 1214 0 434384 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1742408
[startup+342.301 s]
/proc/loadavg: 2.12 2.08 2.02 3/499 12456
/proc/meminfo: memFree=25223812/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1866444 CPUtime=342.29 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 475727 0 0 0 34175 54 0 0 25 0 1 0 823448189 1911238656 458425 33554432000 4194304 9163163 140733835814976 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 466611 458425 566 1214 0 465393 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1866444
[startup+402.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/499 12458
/proc/meminfo: memFree=24918492/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=1999060 CPUtime=402.29 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 508300 0 0 0 40170 59 0 0 25 0 1 0 823448189 2047037440 490998 33554432000 4194304 9163163 140733835814976 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 499765 490998 566 1214 0 498547 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1999060
[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/499 12458
/proc/meminfo: memFree=24606124/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=2213276 CPUtime=462.28 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 560734 0 0 0 46164 64 0 0 25 0 1 0 823448189 2266394624 543432 33554432000 4194304 9163163 140733835814976 18446744073709551615 5950189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 553319 543432 566 1214 0 552101 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2213276
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12460
/proc/meminfo: memFree=24392940/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=2266436 CPUtime=522.28 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 573846 0 0 0 52162 66 0 0 25 0 1 0 823448189 2320830464 556544 33554432000 4194304 9163163 140733835814976 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 566609 556544 566 1214 0 565391 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2266436
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12462
/proc/meminfo: memFree=24131908/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=2377780 CPUtime=582.28 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 601723 0 0 0 58158 70 0 0 25 0 1 0 823448189 2434846720 584421 33554432000 4194304 9163163 140733835814976 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 594445 584421 566 1214 0 593227 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2377780
[startup+642.3 s]
################
# More data... #
################
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 689280 0 0 0 100145 84 0 0 25 0 1 0 823448189 2789974016 671978 33554432000 4194304 9163163 140733835814976 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 681146 671978 570 1214 0 679928 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 2724584
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12474
/proc/meminfo: memFree=22631692/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3078648 CPUtime=1062.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 769989 0 0 0 106133 97 0 0 25 0 1 0 823448189 3152535552 749633 33554432000 4194304 9163163 140733835814976 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 769662 749633 764 1214 0 768444 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3078648
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12476
/proc/meminfo: memFree=22531228/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3095188 CPUtime=1122.29 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 776482 0 0 0 112124 105 0 0 25 0 1 0 823448189 3169472512 756020 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 773797 756020 1199 1214 0 772579 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 3095188
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12478
/proc/meminfo: memFree=22463384/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3098348 CPUtime=1182.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 777406 0 0 0 118117 113 0 0 25 0 1 0 823448189 3172708352 756619 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 774587 756619 952 1214 0 773369 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3098348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12480
/proc/meminfo: memFree=22370480/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3120896 CPUtime=1242.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 783499 0 0 0 124111 119 0 0 25 0 1 0 823448189 3195797504 762091 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 780224 762091 805 1214 0 779006 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3120896
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12482
/proc/meminfo: memFree=22279808/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3128072 CPUtime=1302.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 784082 0 0 0 130105 125 0 0 25 0 1 0 823448189 3203145728 762674 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 782018 762674 805 1214 0 780800 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 3128072
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12482
/proc/meminfo: memFree=22221260/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3128072 CPUtime=1362.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 784989 0 0 0 136101 129 0 0 25 0 1 0 823448189 3203145728 763581 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 782018 763581 805 1214 0 780800 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3128072
[startup+1422.3 s]
/proc/loadavg: 2.22 2.05 2.02 3/499 12484
/proc/meminfo: memFree=22175496/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3128072 CPUtime=1422.31 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 785193 0 0 0 142097 134 0 0 25 0 1 0 823448189 3203145728 763785 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 782018 763785 805 1214 0 780800 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3128072
[startup+1482.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/499 12486
/proc/meminfo: memFree=22115704/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3128072 CPUtime=1482.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 785278 0 0 0 148092 138 0 0 25 0 1 0 823448189 3203145728 763870 33554432000 4194304 9163163 140733835814976 18446744073709551615 7349096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 782018 763870 805 1214 0 780800 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3128072
[startup+1542.32 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 12488
/proc/meminfo: memFree=21994672/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1542.33 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792557 0 0 0 154086 147 0 0 25 0 1 0 823448189 3223318528 771149 33554432000 4194304 9163163 140733835814976 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771149 833 1214 0 785725 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3147772
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/499 12490
/proc/meminfo: memFree=21902508/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1602.31 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792589 0 0 0 160077 154 0 0 25 0 1 0 823448189 3223318528 771181 33554432000 4194304 9163163 140733835814976 18446744073709551615 7345887 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771181 833 1214 0 785725 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3147772
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12490
/proc/meminfo: memFree=21815944/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1662.3 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792592 0 0 0 166073 157 0 0 25 0 1 0 823448189 3223318528 771184 33554432000 4194304 9163163 140733835814976 18446744073709551615 7358345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771184 833 1214 0 785725 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3147772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12492
/proc/meminfo: memFree=21761244/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1722.31 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792592 0 0 0 172070 161 0 0 25 0 1 0 823448189 3223318528 771184 33554432000 4194304 9163163 140733835814976 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771184 833 1214 0 785725 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 3147772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12494
/proc/meminfo: memFree=21653724/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1782.31 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792592 0 0 0 178066 165 0 0 25 0 1 0 823448189 3223318528 771184 33554432000 4194304 9163163 140733835814976 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771184 833 1214 0 785725 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 3147772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12494
/proc/meminfo: memFree=21635992/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1800.02 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792592 0 0 0 179835 167 0 0 25 0 1 0 823448189 3223318528 771184 33554432000 4194304 9163163 140733835814976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771184 833 1214 0 785725 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3147772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12440
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 12496
/proc/meminfo: memFree=21664372/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1801.51 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792592 0 0 0 179984 167 0 0 25 0 1 0 823448189 3223318528 771184 33554432000 4194304 9163163 140733835814976 18446744073709551615 7275759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771184 833 1214 0 785725 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 3147772
[startup+1801.92 s]
/proc/loadavg: 2.00 2.02 2.00 2/498 12496
/proc/meminfo: memFree=25977364/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=3147772 CPUtime=1801.93 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4202496 792592 0 0 0 180026 167 0 0 25 0 1 0 823448189 3223318528 771184 33554432000 4194304 9163163 140733835814976 18446744073709551615 7358488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12440/statm: 786943 771184 833 1214 0 785725 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 3147772
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 2/498 12496
/proc/meminfo: memFree=25977364/32951132 swapFree=57925096/67111528
[pid=12440] ppid=12438 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/12440/stat : 12440 (scip-2.0.1.4b.l) R 12438 12440 10513 0 -1 4203524 792592 0 0 0 180036 175 0 0 25 0 1 0 823448189 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/12440/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.15
CPU user time (s): 1800.36
CPU system time (s): 1.78773
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3147772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.36
system time used= 1.78773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 792592
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= 5428
runsolver used 8.48871 second user time and 22.6026 second system time
The end