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-3453472-1307120459.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234238 constraints
1.49/1.57 c problem read
1.49/1.57 c presolving settings loaded
2.39/2.40 c presolving:
8.39/8.48 c (round 1) 4914 del vars, 14863 del conss, 0 add conss, 3365 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16007856 impls, 0 clqs
11.00/11.07 c (round 2) 12278 del vars, 39072 del conss, 0 add conss, 10335 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16039526 impls, 0 clqs
11.79/11.81 c (round 3) 14566 del vars, 50352 del conss, 0 add conss, 11555 chg bounds, 25 chg sides, 49 chg coeffs, 0 upgd conss, 16055512 impls, 0 clqs
12.19/12.20 c (round 4) 15471 del vars, 54200 del conss, 0 add conss, 12122 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16060400 impls, 0 clqs
12.29/12.33 c (round 5) 15854 del vars, 55951 del conss, 0 add conss, 12284 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16062584 impls, 0 clqs
12.39/12.42 c (round 6) 15928 del vars, 56364 del conss, 0 add conss, 12314 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063284 impls, 0 clqs
12.39/12.48 c (round 7) 15956 del vars, 56525 del conss, 0 add conss, 12329 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063644 impls, 0 clqs
12.49/12.55 c (round 8) 15968 del vars, 56591 del conss, 0 add conss, 12335 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063740 impls, 0 clqs
12.59/12.60 c (round 9) 15970 del vars, 56613 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 0 upgd conss, 16063750 impls, 0 clqs
13.30/13.33 c (round 10) 15970 del vars, 56616 del conss, 0 add conss, 12336 chg bounds, 31 chg sides, 55 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
14.49/14.50 c (round 11) 15970 del vars, 56616 del conss, 9 add conss, 12336 chg bounds, 44 chg sides, 182 chg coeffs, 177622 upgd conss, 16063750 impls, 0 clqs
570.79/570.82 c (570.8s) probing: 1000/56872 (1.8%) - 0 fixings, 0 aggregations, 10880552 implications, 0 bound changes
1041.98/1042.06 c (1042.1s) probing: 2000/56872 (3.5%) - 0 fixings, 0 aggregations, 16542086 implications, 0 bound changes
1042.58/1042.68 c (1042.7s) probing: 2001/56872 (3.5%) - 0 fixings, 0 aggregations, 16548096 implications, 0 bound changes
1042.58/1042.68 c (1042.7s) probing aborted: 2000/2000 successive useless probings
1042.58/1042.68 c presolving (12 rounds):
1042.58/1042.68 c 15970 deleted vars, 56620 deleted constraints, 9 added constraints, 12336 tightened bounds, 0 added holes, 44 changed sides, 184 changed coefficients
1042.58/1042.68 c 74804666 implications, 0 cliques
1042.58/1042.68 c presolved problem has 56872 variables (56872 bin, 0 int, 0 impl, 0 cont) and 177627 constraints
1042.58/1042.68 c 1161 constraints of type <knapsack>
1042.58/1042.68 c 148361 constraints of type <setppc>
1042.58/1042.68 c 28105 constraints of type <logicor>
1042.58/1042.68 c transformed objective value is always integral (scale: 1)
1042.58/1042.68 c Presolving Time: 1040.88
1042.58/1042.68 c - non default parameters ----------------------------------------------------------------------
1042.58/1042.68 c # SCIP version 2.0.1.4
1042.58/1042.68 c
1042.58/1042.68 c # frequency for displaying node information lines
1042.58/1042.68 c # [type: int, range: [-1,2147483647], default: 100]
1042.58/1042.68 c display/freq = 10000
1042.58/1042.68 c
1042.58/1042.68 c # maximal time in seconds to run
1042.58/1042.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1042.58/1042.68 c limits/time = 1800
1042.58/1042.68 c
1042.58/1042.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1042.58/1042.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1042.58/1042.68 c limits/memory = 13950
1042.58/1042.68 c
1042.58/1042.68 c # default clock type (1: CPU user seconds, 2: wall clock time)
1042.58/1042.68 c # [type: int, range: [1,2], default: 1]
1042.58/1042.68 c timing/clocktype = 2
1042.58/1042.68 c
1042.58/1042.68 c # belongs reading time to solving time?
1042.58/1042.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1042.58/1042.68 c timing/reading = TRUE
1042.58/1042.68 c
1042.58/1042.68 c # should presolving try to simplify inequalities
1042.58/1042.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1042.58/1042.68 c constraints/linear/simplifyinequalities = TRUE
1042.58/1042.68 c
1042.58/1042.68 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1042.58/1042.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1042.58/1042.68 c constraints/indicator/addCouplingCons = TRUE
1042.58/1042.68 c
1042.58/1042.68 c # should presolving try to simplify knapsacks
1042.58/1042.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1042.58/1042.68 c constraints/knapsack/simplifyinequalities = TRUE
1042.58/1042.68 c
1042.58/1042.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1042.58/1042.68 c # [type: int, range: [-1,2147483647], default: -1]
1042.58/1042.68 c separating/rapidlearning/freq = 0
1042.58/1042.68 c
1042.58/1042.68 c -----------------------------------------------------------------------------------------------
1042.58/1042.68 c start solving
1042.69/1042.72 c
1724.96/1725.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.96/1725.01 c 1725s| 1 | 0 | 84759 | - |2288M| 0 |6384 | 56k| 177k| 56k| 177k| 0 | 36 | 0 | 9.233888e+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-3453472-1307120459/watcher-3453472-1307120459 -o /tmp/evaluation-result-3453472-1307120459/solver-3453472-1307120459 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453472-1307120459.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: 1.01 1.41 1.75 3/399 31203
/proc/meminfo: memFree=30103476/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=12444 CPUtime=0.01 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 2079 0 0 0 1 0 0 0 21 0 1 0 823645706 12742656 2033 33554432000 4194304 9128323 140733967860752 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31203/statm: 3111 2047 400 1205 0 1902 0
[startup+0.081342 s]
/proc/loadavg: 1.01 1.41 1.75 3/399 31203
/proc/meminfo: memFree=30103476/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=24048 CPUtime=0.07 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 4998 0 0 0 7 0 0 0 21 0 1 0 823645706 24625152 4950 33554432000 4194304 9128323 140733967860752 18446744073709551615 6165260 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31203/statm: 6012 4950 400 1205 0 4803 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24048
[startup+0.100346 s]
/proc/loadavg: 1.01 1.41 1.75 3/399 31203
/proc/meminfo: memFree=30103476/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=27368 CPUtime=0.09 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 5858 0 0 0 9 0 0 0 21 0 1 0 823645706 28024832 5810 33554432000 4194304 9128323 140733967860752 18446744073709551615 7447720 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31203/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.300307 s]
/proc/loadavg: 1.01 1.41 1.75 3/399 31203
/proc/meminfo: memFree=30103476/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=50216 CPUtime=0.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 11587 0 0 0 28 1 0 0 22 0 1 0 823645706 51421184 11507 33554432000 4194304 9128323 140733967860752 18446744073709551615 4337637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31203/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700247 s]
/proc/loadavg: 1.01 1.41 1.75 3/399 31203
/proc/meminfo: memFree=30103476/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=69412 CPUtime=0.69 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 16242 0 0 0 68 1 0 0 24 0 1 0 823645706 71077888 16154 33554432000 4194304 9128323 140733967860752 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31203/statm: 17353 16184 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50098 s]
/proc/loadavg: 1.09 1.42 1.75 4/401 31205
/proc/meminfo: memFree=29936060/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=129600 CPUtime=1.49 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 31369 0 0 0 145 4 0 0 25 0 1 0 823645706 132710400 31266 33554432000 4194304 9128323 140733967860752 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31203/statm: 32400 31266 400 1205 0 31191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129600
[startup+3.1007 s]
/proc/loadavg: 1.09 1.42 1.75 5/401 31214
/proc/meminfo: memFree=29369500/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=478064 CPUtime=3.1 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 126368 0 0 0 295 15 0 0 25 0 1 0 823645706 489537536 116207 33554432000 4194304 9128323 140733967860752 18446744073709551615 6577120 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 119516 116207 501 1205 0 118307 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 478064
[startup+6.30013 s]
/proc/loadavg: 1.16 1.43 1.75 5/401 31214
/proc/meminfo: memFree=28721956/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=770360 CPUtime=6.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 198124 0 0 0 607 22 0 0 25 0 1 0 823645706 788848640 187963 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 192590 187963 510 1205 0 191381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 770360
[startup+12.7011 s]
/proc/loadavg: 1.23 1.44 1.75 4/401 31214
/proc/meminfo: memFree=28403624/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=905436 CPUtime=12.69 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 231952 0 0 0 1243 26 0 0 25 0 1 0 823645706 927166464 220502 33554432000 4194304 9128323 140733967860752 18446744073709551615 5195552 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 226359 220502 525 1205 0 225150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 905436
[startup+25.5008 s]
/proc/loadavg: 1.40 1.47 1.75 5/401 31214
/proc/meminfo: memFree=28154404/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1013440 CPUtime=25.49 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 274908 0 0 0 2518 31 0 0 25 0 1 0 823645706 1037762560 245643 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 253360 245643 624 1205 0 252151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1013440
[startup+51.1003 s]
/proc/loadavg: 1.60 1.51 1.76 5/401 31215
/proc/meminfo: memFree=28049172/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1066960 CPUtime=51.09 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 287640 0 0 0 5076 33 0 0 25 0 1 0 823645706 1092567040 258342 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 266740 258342 624 1205 0 265531 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1066960
[startup+102.315 s]
/proc/loadavg: 1.83 1.58 1.77 5/401 31216
/proc/meminfo: memFree=27768856/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1206024 CPUtime=102.3 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 322033 0 0 0 10194 36 0 0 25 0 1 0 823645706 1234968576 292735 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 301506 292735 624 1205 0 300297 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1206024
[startup+162.3 s]
/proc/loadavg: 2.01 1.67 1.78 5/401 31218
/proc/meminfo: memFree=27534712/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1329464 CPUtime=162.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 353358 0 0 0 16189 40 0 0 25 0 1 0 823645706 1361371136 323862 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 332366 323862 624 1205 0 331157 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1329464
[startup+222.301 s]
/proc/loadavg: 2.14 1.76 1.81 4/401 31223
/proc/meminfo: memFree=27022876/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1597288 CPUtime=222.3 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 420140 0 0 0 22182 48 0 0 25 0 1 0 823645706 1635622912 390116 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 399322 390116 624 1205 0 398113 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1597288
[startup+282.301 s]
/proc/loadavg: 2.05 1.80 1.82 4/401 31224
/proc/meminfo: memFree=26751412/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1735608 CPUtime=282.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 454387 0 0 0 28177 52 0 0 25 0 1 0 823645706 1777262592 424363 33554432000 4194304 9128323 140733967860752 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 433902 424364 624 1205 0 432693 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1735608
[startup+342.3 s]
/proc/loadavg: 2.02 1.83 1.82 4/401 31226
/proc/meminfo: memFree=26507856/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1851280 CPUtime=342.3 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 484191 0 0 0 34174 56 0 0 25 0 1 0 823645706 1895710720 454167 33554432000 4194304 9128323 140733967860752 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 462820 454167 624 1205 0 461611 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1851280
[startup+402.301 s]
/proc/loadavg: 2.00 1.86 1.83 4/401 31227
/proc/meminfo: memFree=26324544/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=1948980 CPUtime=402.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 507587 0 0 0 40171 58 0 0 25 0 1 0 823645706 1995755520 477464 33554432000 4194304 9128323 140733967860752 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 487245 477464 624 1205 0 486036 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1948980
[startup+462.301 s]
/proc/loadavg: 2.00 1.89 1.84 4/401 31229
/proc/meminfo: memFree=26123516/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=2036572 CPUtime=462.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 529325 0 0 0 46169 60 0 0 25 0 1 0 823645706 2085449728 499202 33554432000 4194304 9128323 140733967860752 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 509143 499202 624 1205 0 507934 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2036572
[startup+522.3 s]
/proc/loadavg: 2.00 1.90 1.84 5/401 31231
/proc/meminfo: memFree=25850664/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=2139440 CPUtime=522.28 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 555578 0 0 0 52164 64 0 0 25 0 1 0 823645706 2190786560 525455 33554432000 4194304 9128323 140733967860752 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 534860 525455 624 1205 0 533651 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2139440
[startup+582.301 s]
/proc/loadavg: 2.00 1.92 1.85 4/401 31232
/proc/meminfo: memFree=25697988/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=2200536 CPUtime=582.28 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 570047 0 0 0 58162 66 0 0 25 0 1 0 823645706 2253348864 539924 33554432000 4194304 9128323 140733967860752 18446744073709551615 5489920 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 550134 539924 628 1205 0 548925 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2200536
[startup+642.301 s]
################
# More data... #
################
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 711689 0 0 0 100145 83 0 0 25 0 1 0 823645706 2838777856 681500 33554432000 4194304 9128323 140733967860752 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 693061 681500 628 1205 0 691852 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 2772244
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/401 31245
/proc/meminfo: memFree=24356256/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3117248 CPUtime=1062.28 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 791854 0 0 0 106134 94 0 0 25 0 1 0 823645706 3192061952 759510 33554432000 4194304 9128323 140733967860752 18446744073709551615 7326023 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 779312 759510 914 1205 0 778103 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 3117248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/401 31247
/proc/meminfo: memFree=24283316/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3133624 CPUtime=1122.28 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 797672 0 0 0 112130 98 0 0 25 0 1 0 823645706 3208830976 765247 33554432000 4194304 9128323 140733967860752 18446744073709551615 7326831 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 783406 765247 875 1205 0 782197 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 3133624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/401 31248
/proc/meminfo: memFree=24229084/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3137992 CPUtime=1182.27 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 799478 0 0 0 118125 102 0 0 25 0 1 0 823645706 3213303808 766758 33554432000 4194304 9128323 140733967860752 18446744073709551615 7316103 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 784498 766758 719 1205 0 783289 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 3137992
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/401 31250
/proc/meminfo: memFree=24129444/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3159416 CPUtime=1242.27 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 804239 0 0 0 124121 106 0 0 25 0 1 0 823645706 3235241984 771438 33554432000 4194304 9128323 140733967860752 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 789854 771438 696 1205 0 788645 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 3159416
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.91 4/401 31251
/proc/meminfo: memFree=24066044/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3160208 CPUtime=1302.29 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 805209 0 0 0 130120 109 0 0 25 0 1 0 823645706 3236052992 772408 33554432000 4194304 9128323 140733967860752 18446744073709551615 7314689 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 790052 772408 696 1205 0 788843 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3160208
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.92 4/401 31253
/proc/meminfo: memFree=23985412/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1362.27 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810510 0 0 0 136115 112 0 0 25 0 1 0 823645706 3249430528 777545 33554432000 4194304 9128323 140733967860752 18446744073709551615 7316083 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777545 735 1205 0 792109 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 3173272
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 1.92 5/401 31255
/proc/meminfo: memFree=23840936/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1422.28 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810518 0 0 0 142113 115 0 0 25 0 1 0 823645706 3249430528 777553 33554432000 4194304 9128323 140733967860752 18446744073709551615 7321010 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777553 735 1205 0 792109 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 3173272
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.92 5/401 31256
/proc/meminfo: memFree=23764148/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1482.27 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810524 0 0 0 148109 118 0 0 25 0 1 0 823645706 3249430528 777559 33554432000 4194304 9128323 140733967860752 18446744073709551615 7312716 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777559 735 1205 0 792109 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 3173272
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.92 5/401 31258
/proc/meminfo: memFree=23684988/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1542.26 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810536 0 0 0 154106 120 0 0 25 0 1 0 823645706 3249430528 777571 33554432000 4194304 9128323 140733967860752 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777571 735 1205 0 792109 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 3173272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/401 31259
/proc/meminfo: memFree=23586736/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1602.26 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810543 0 0 0 160103 123 0 0 25 0 1 0 823645706 3249430528 777573 33554432000 4194304 9128323 140733967860752 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777573 730 1205 0 792109 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 3173272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 5/401 31261
/proc/meminfo: memFree=23501760/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1662.26 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810549 0 0 0 166102 124 0 0 25 0 1 0 823645706 3249430528 777579 33554432000 4194304 9128323 140733967860752 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777579 730 1205 0 792109 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 3173272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/401 31263
/proc/meminfo: memFree=23380188/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1722.26 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 810554 0 0 0 172100 126 0 0 25 0 1 0 823645706 3249430528 777584 33554432000 4194304 9128323 140733967860752 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 777584 730 1205 0 792109 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 3173272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/401 31264
/proc/meminfo: memFree=23272772/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1782.26 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 814480 0 0 0 178097 129 0 0 25 0 1 0 823645706 3249430528 781502 33554432000 4194304 9128323 140733967860752 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 781502 2190 1205 0 792109 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 3173272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/402 31266
/proc/meminfo: memFree=23240756/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1800.08 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 814482 0 0 0 179878 130 0 0 25 0 1 0 823645706 3249430528 781504 33554432000 4194304 9128323 140733967860752 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 781504 2190 1205 0 792109 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3173272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31203
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.92 4/403 31267
/proc/meminfo: memFree=23259348/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1801.36 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 814482 0 0 0 180006 130 0 0 25 0 1 0 823645706 3249430528 781504 33554432000 4194304 9128323 140733967860752 18446744073709551615 7328498 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 781504 2190 1205 0 792109 0
Current children cumulated CPU time (s) 1801.36
Current children cumulated vsize (KiB) 3173272
[startup+1801.82 s]
/proc/loadavg: 2.00 2.00 1.92 2/400 31267
/proc/meminfo: memFree=26978628/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=3173272 CPUtime=1801.78 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4202496 814482 0 0 0 180048 130 0 0 25 0 1 0 823645706 3249430528 781504 33554432000 4194304 9128323 140733967860752 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31203/statm: 793318 781504 2190 1205 0 792109 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 3173272
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.92 2/400 31267
/proc/meminfo: memFree=26978628/32950904 swapFree=56615552/67111528
[pid=31203] ppid=31201 vsize=0 CPUtime=1802.16 cores=0,2,4,6
/proc/31203/stat : 31203 (scip-2.0.1.4.li) R 31201 31203 27067 0 -1 4203524 814482 0 0 0 180078 138 0 0 25 0 1 0 823645706 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/31203/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.24
CPU time (s): 1802.2
CPU user time (s): 1800.78
CPU system time (s): 1.42378
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 3173272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.78
system time used= 1.42378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 814482
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= 3
involuntary context switches= 1987
runsolver used 6.85996 second user time and 16.1116 second system time
The end