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-3451860-1307116933.opb>
0.79/0.82 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
0.79/0.82 c problem read
0.79/0.82 c presolving settings loaded
1.00/1.04 c presolving:
4.19/4.26 c (round 1) 3562 del vars, 10054 del conss, 0 add conss, 2773 chg bounds, 9 chg sides, 8 chg coeffs, 0 upgd conss, 8765014 impls, 0 clqs
4.89/4.96 c (round 2) 6587 del vars, 22787 del conss, 0 add conss, 5581 chg bounds, 24 chg sides, 21 chg coeffs, 0 upgd conss, 8782450 impls, 0 clqs
5.09/5.14 c (round 3) 7614 del vars, 27813 del conss, 0 add conss, 6135 chg bounds, 79 chg sides, 65 chg coeffs, 0 upgd conss, 8789356 impls, 0 clqs
5.19/5.24 c (round 4) 8041 del vars, 29721 del conss, 0 add conss, 6386 chg bounds, 104 chg sides, 93 chg coeffs, 0 upgd conss, 8792599 impls, 0 clqs
5.29/5.31 c (round 5) 8307 del vars, 30830 del conss, 0 add conss, 6527 chg bounds, 132 chg sides, 125 chg coeffs, 0 upgd conss, 8794682 impls, 0 clqs
5.29/5.36 c (round 6) 8447 del vars, 31423 del conss, 0 add conss, 6589 chg bounds, 164 chg sides, 157 chg coeffs, 0 upgd conss, 8795840 impls, 0 clqs
5.29/5.40 c (round 7) 8492 del vars, 31685 del conss, 0 add conss, 6607 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796342 impls, 0 clqs
5.40/5.43 c (round 8) 8512 del vars, 31784 del conss, 0 add conss, 6615 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796540 impls, 0 clqs
5.40/5.46 c (round 9) 8518 del vars, 31821 del conss, 0 add conss, 6618 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796608 impls, 0 clqs
5.40/5.49 c (round 10) 8520 del vars, 31832 del conss, 0 add conss, 6619 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796630 impls, 0 clqs
305.00/305.09 c (305.1s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
537.50/537.52 c (537.5s) probing: 2000/28200 (7.1%) - 1 fixings, 1 aggregations, 14039981 implications, 0 bound changes
564.22/564.22 c (564.2s) probing: 2113/28200 (7.5%) - 1 fixings, 1 aggregations, 14742925 implications, 0 bound changes
564.22/564.22 c (564.2s) probing aborted: 2000/2000 successive useless probings
564.22/564.22 c (round 11) 8524 del vars, 31843 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 55352178 impls, 0 clqs
564.32/564.35 c (round 12) 8524 del vars, 31907 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 55352178 impls, 0 clqs
564.71/564.78 c (round 13) 8524 del vars, 31907 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 97201 upgd conss, 55352178 impls, 0 clqs
565.32/565.32 c (round 14) 8524 del vars, 31907 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1181 chg coeffs, 97201 upgd conss, 55354034 impls, 0 clqs
760.91/760.91 c (760.9s) probing: 3000/28200 (10.6%) - 4 fixings, 4 aggregations, 19751739 implications, 0 bound changes
1028.43/1028.42 c (1028.4s) probing: 4000/28200 (14.2%) - 7 fixings, 7 aggregations, 29673493 implications, 0 bound changes
1274.32/1274.38 c (1274.4s) probing: 5000/28200 (17.7%) - 7 fixings, 7 aggregations, 37826347 implications, 0 bound changes
1426.13/1426.10 c (1426.1s) probing: 5687/28200 (20.2%) - 7 fixings, 7 aggregations, 42539262 implications, 0 bound changes
1426.13/1426.10 c (1426.1s) probing aborted: 2000/2000 successive useless probings
1426.13/1426.11 c (round 15) 8536 del vars, 31907 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1261 chg coeffs, 97201 upgd conss, 120801712 impls, 289 clqs
1426.64/1426.67 c (round 16) 8536 del vars, 31943 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1297 chg coeffs, 97201 upgd conss, 120801712 impls, 305 clqs
1459.53/1459.58 c (1459.6s) probing: 5887/28200 (20.9%) - 7 fixings, 7 aggregations, 43376390 implications, 0 bound changes
1459.53/1459.58 c (1459.6s) probing aborted: 2000/2000 successive useless probings
1459.53/1459.58 c presolving (17 rounds):
1459.53/1459.58 c 8536 deleted vars, 31943 deleted constraints, 19 added constraints, 6620 tightened bounds, 0 added holes, 208 changed sides, 1297 changed coefficients
1459.53/1459.58 c 122682738 implications, 305 cliques
1459.53/1459.58 c presolved problem has 28186 variables (28186 bin, 0 int, 0 impl, 0 cont) and 97184 constraints
1459.53/1459.58 c 1036 constraints of type <knapsack>
1459.53/1459.58 c 82189 constraints of type <setppc>
1459.53/1459.58 c 13959 constraints of type <logicor>
1459.53/1459.58 c transformed objective value is always integral (scale: 1)
1459.53/1459.58 c Presolving Time: 1458.60
1459.53/1459.58 c - non default parameters ----------------------------------------------------------------------
1459.53/1459.58 c # SCIP version 2.0.1.5
1459.53/1459.58 c
1459.53/1459.58 c # frequency for displaying node information lines
1459.53/1459.58 c # [type: int, range: [-1,2147483647], default: 100]
1459.53/1459.58 c display/freq = 10000
1459.53/1459.58 c
1459.53/1459.58 c # maximal time in seconds to run
1459.53/1459.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1459.53/1459.58 c limits/time = 1800
1459.53/1459.58 c
1459.53/1459.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1459.53/1459.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1459.53/1459.58 c limits/memory = 13950
1459.53/1459.58 c
1459.53/1459.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
1459.53/1459.58 c # [type: int, range: [1,2], default: 1]
1459.53/1459.58 c timing/clocktype = 2
1459.53/1459.58 c
1459.53/1459.58 c # belongs reading time to solving time?
1459.53/1459.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58 c timing/reading = TRUE
1459.53/1459.58 c
1459.53/1459.58 c # should presolving try to simplify inequalities
1459.53/1459.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58 c constraints/linear/simplifyinequalities = TRUE
1459.53/1459.58 c
1459.53/1459.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1459.53/1459.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58 c constraints/indicator/addCouplingCons = TRUE
1459.53/1459.58 c
1459.53/1459.58 c # should presolving try to simplify knapsacks
1459.53/1459.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58 c constraints/knapsack/simplifyinequalities = TRUE
1459.53/1459.58 c
1459.53/1459.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1459.53/1459.58 c # [type: int, range: [-1,2147483647], default: -1]
1459.53/1459.58 c separating/rapidlearning/freq = 0
1459.53/1459.58 c
1459.53/1459.58 c -----------------------------------------------------------------------------------------------
1459.53/1459.58 c start solving
1459.53/1459.60 c
1493.33/1493.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.33/1493.32 c 1493s| 1 | 0 | 22134 | - |3375M| 0 | 175 | 28k| 97k| 28k| 97k| 0 | 2 | 0 | 7.600000e+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-3451860-1307116933/watcher-3451860-1307116933 -o /tmp/evaluation-result-3451860-1307116933/solver-3451860-1307116933 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451860-1307116933.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: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=14980 CPUtime=0.01 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 2716 0 0 0 1 0 0 0 23 0 1 0 823296042 15339520 2669 33554432000 4194304 9163163 140734137902336 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 3745 2669 395 1214 0 2527 0
[startup+0.0258599 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=17112 CPUtime=0.02 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 3275 0 0 0 2 0 0 0 23 0 1 0 823296042 17522688 3228 33554432000 4194304 9163163 140734137902336 18446744073709551615 8031320 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 4278 3228 395 1214 0 3060 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17112
[startup+0.100849 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=30076 CPUtime=0.09 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 6520 0 0 0 8 1 0 0 23 0 1 0 823296042 30797824 6473 33554432000 4194304 9163163 140734137902336 18446744073709551615 6166864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 7519 6473 395 1214 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30076
[startup+0.300825 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=45332 CPUtime=0.29 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 10322 0 0 0 28 1 0 0 23 0 1 0 823296042 46419968 10275 33554432000 4194304 9163163 140734137902336 18446744073709551615 6163650 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 11333 10275 395 1214 0 10115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45332
[startup+0.700742 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=77816 CPUtime=0.69 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 18401 0 0 0 67 2 0 0 25 0 1 0 823296042 79683584 18354 33554432000 4194304 9163163 140734137902336 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 19454 18354 395 1214 0 18236 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77816
[startup+1.5006 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=23143852/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=265960 CPUtime=1.49 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 64796 0 0 0 143 6 0 0 25 0 1 0 823296042 272343040 64738 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 66490 64738 506 1214 0 65272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 265960
[startup+3.10032 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=23006100/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=408716 CPUtime=3.09 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 100234 0 0 0 299 10 0 0 25 0 1 0 823296042 418525184 100176 33554432000 4194304 9163163 140734137902336 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 102179 100176 506 1214 0 100961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 408716
[startup+6.30075 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=22861432/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=510540 CPUtime=6.29 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 123794 0 0 0 616 13 0 0 25 0 1 0 823296042 522792960 123361 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 127635 123361 534 1214 0 126417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 510540
[startup+12.7006 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=22784552/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=565020 CPUtime=12.69 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 136649 0 0 0 1254 15 0 0 25 0 1 0 823296042 578580480 136216 33554432000 4194304 9163163 140734137902336 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 141255 136216 534 1214 0 140037 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565020
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=22736604/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=610072 CPUtime=25.49 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 147920 0 0 0 2533 16 0 0 25 0 1 0 823296042 624713728 147487 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 152518 147487 534 1214 0 151300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 610072
[startup+51.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 30167
/proc/meminfo: memFree=22653420/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=692100 CPUtime=51.1 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 168569 0 0 0 5091 19 0 0 25 0 1 0 823296042 708710400 168136 33554432000 4194304 9163163 140734137902336 18446744073709551615 4793348 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 173025 168136 534 1214 0 171807 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 692100
[startup+102.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30172
/proc/meminfo: memFree=22403528/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=944336 CPUtime=102.31 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 230347 0 0 0 10204 27 0 0 25 0 1 0 823296042 967000064 229914 33554432000 4194304 9163163 140734137902336 18446744073709551615 5176888 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 236084 229914 534 1214 0 234866 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 944336
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30173
/proc/meminfo: memFree=22211596/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1139832 CPUtime=162.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 278976 0 0 0 16197 33 0 0 25 0 1 0 823296042 1167187968 278543 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 284958 278543 534 1214 0 283740 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1139832
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30175
/proc/meminfo: memFree=21967760/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1381760 CPUtime=222.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 339922 0 0 0 22186 44 0 0 25 0 1 0 823296042 1414922240 339489 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 345440 339489 534 1214 0 344222 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1381760
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30176
/proc/meminfo: memFree=21805404/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1545392 CPUtime=282.29 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 379860 0 0 0 28180 49 0 0 25 0 1 0 823296042 1582481408 379427 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 386348 379427 534 1214 0 385130 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1545392
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30178
/proc/meminfo: memFree=21711216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1638336 CPUtime=342.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 403330 0 0 0 34177 53 0 0 25 0 1 0 823296042 1677656064 402897 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 409584 402897 538 1214 0 408366 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1638336
[startup+402.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/387 30179
/proc/meminfo: memFree=21616980/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1739156 CPUtime=402.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 428868 0 0 0 40173 57 0 0 25 0 1 0 823296042 1780895744 428435 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 434789 428435 538 1214 0 433571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1739156
[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/387 30181
/proc/meminfo: memFree=21493920/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1864664 CPUtime=462.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 459338 0 0 0 46168 62 0 0 25 0 1 0 823296042 1909415936 458905 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 466166 458905 538 1214 0 464948 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1864664
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/387 30183
/proc/meminfo: memFree=21392944/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1960912 CPUtime=522.31 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 483444 0 0 0 52165 66 0 0 25 0 1 0 823296042 2007973888 483011 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183100 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 490228 483011 538 1214 0 489010 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1960912
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 30184
/proc/meminfo: memFree=21283904/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=2079700 CPUtime=582.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 522137 0 0 0 58159 71 0 0 25 0 1 0 823296042 2129612800 513376 33554432000 4194304 9163163 140734137902336 18446744073709551615 6922256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 519925 513376 565 1214 0 518707 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2079700
[startup+642.301 s]
################
# More data... #
################
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 813837 0 0 0 100115 117 0 0 25 0 1 0 823296042 3336933376 805038 33554432000 4194304 9163163 140734137902336 18446744073709551615 5459281 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 814681 805038 565 1214 0 813463 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3258724
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/387 30197
/proc/meminfo: memFree=19940844/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3427724 CPUtime=1062.31 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 855571 0 0 0 106109 122 0 0 25 0 1 0 823296042 3509989376 846772 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 856931 846772 565 1214 0 855713 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3427724
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 30199
/proc/meminfo: memFree=19751588/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3618440 CPUtime=1122.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 903454 0 0 0 112103 129 0 0 25 0 1 0 823296042 3705282560 894655 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 904610 894655 565 1214 0 903392 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3618440
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 30200
/proc/meminfo: memFree=19595912/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3784160 CPUtime=1182.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 944163 0 0 0 118098 134 0 0 25 0 1 0 823296042 3874979840 935364 33554432000 4194304 9163163 140734137902336 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 946040 935364 565 1214 0 944822 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3784160
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 30202
/proc/meminfo: memFree=19391532/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3981332 CPUtime=1242.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 993287 0 0 0 124090 142 0 0 25 0 1 0 823296042 4076883968 984488 33554432000 4194304 9163163 140734137902336 18446744073709551615 6555954 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 995333 984488 565 1214 0 994115 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3981332
[startup+1302.3 s]
/proc/loadavg: 1.47 1.87 1.95 2/381 30222
/proc/meminfo: memFree=19716700/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4126380 CPUtime=1302.33 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1028973 0 0 0 130086 147 0 0 25 0 1 0 823296042 4225413120 1020174 33554432000 4194304 9163163 140734137902336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1031595 1020174 565 1214 0 1030377 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 4126380
[startup+1362.3 s]
/proc/loadavg: 1.17 1.71 1.89 2/381 30223
/proc/meminfo: memFree=19527700/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4320432 CPUtime=1362.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1076382 0 0 0 136078 154 0 0 25 0 1 0 823296042 4424122368 1067583 33554432000 4194304 9163163 140734137902336 18446744073709551615 5459267 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1080108 1067583 565 1214 0 1078890 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 4320432
[startup+1422.31 s]
/proc/loadavg: 1.06 1.58 1.83 2/381 30225
/proc/meminfo: memFree=19358632/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4486000 CPUtime=1422.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1118205 0 0 0 142074 160 0 0 25 0 1 0 823296042 4593664000 1109406 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1121500 1109406 565 1214 0 1120282 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4486000
[startup+1482.3 s]
/proc/loadavg: 1.02 1.47 1.78 2/381 30226
/proc/meminfo: memFree=19151128/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4706956 CPUtime=1482.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1172609 0 0 0 148055 177 0 0 25 0 1 0 823296042 4819922944 1161742 33554432000 4194304 9163163 140734137902336 18446744073709551615 7347256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1176739 1161742 919 1214 0 1175521 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 4706956
[startup+1542.3 s]
/proc/loadavg: 1.06 1.40 1.73 2/381 30228
/proc/meminfo: memFree=19131484/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1542.33 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 154035 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4714356
[startup+1602.3 s]
/proc/loadavg: 1.02 1.32 1.68 2/381 30229
/proc/meminfo: memFree=19131468/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1602.33 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 160035 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4714356
[startup+1662.3 s]
/proc/loadavg: 1.01 1.26 1.63 2/381 30231
/proc/meminfo: memFree=19131648/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1662.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 166036 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 4714356
[startup+1722.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/381 30233
/proc/meminfo: memFree=19131488/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1722.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 172036 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 4714356
[startup+1782.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/381 30234
/proc/meminfo: memFree=19130580/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1782.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 178036 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 4714356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.16 1.54 2/381 30235
/proc/meminfo: memFree=19131312/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1800.05 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178218 0 0 0 179807 198 0 0 25 0 1 0 823296042 4827500544 1166515 33554432000 4194304 9163163 140734137902336 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166515 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4714356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30165
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.16 1.54 2/382 30236
/proc/meminfo: memFree=19130436/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1801.44 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178232 0 0 0 179946 198 0 0 25 0 1 0 823296042 4827500544 1166515 33554432000 4194304 9163163 140734137902336 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166515 755 1214 0 1177371 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 4714356
[startup+1801.81 s]
/proc/loadavg: 1.00 1.16 1.54 2/382 30236
/proc/meminfo: memFree=19130560/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1801.85 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178232 0 0 0 179987 198 0 0 25 0 1 0 823296042 4827500544 1166515 33554432000 4194304 9163163 140734137902336 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166515 755 1214 0 1177371 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 4714356
[startup+1802.2 s]
/proc/loadavg: 1.00 1.16 1.54 2/382 30236
/proc/meminfo: memFree=19130560/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=0 CPUtime=1802.23 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4203524 1178232 0 0 0 180007 216 0 0 25 0 1 0 823296042 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/30165/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.2
CPU time (s): 1802.25
CPU user time (s): 1800.08
CPU system time (s): 2.16867
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4714356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 2.16867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178232
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= 1653
runsolver used 6.49201 second user time and 16.3645 second system time
The end