0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3489786-1307793355.opb>
0.89/0.98 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176329 constraints
0.89/0.98 c problem read
0.89/0.99 c presolving settings loaded
1.29/1.34 c presolving:
6.99/7.01 c (round 1) 3449 del vars, 9729 del conss, 0 add conss, 2459 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12022042 impls, 0 clqs
9.09/9.19 c (round 2) 7749 del vars, 26366 del conss, 0 add conss, 6513 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12040298 impls, 0 clqs
9.80/9.86 c (round 3) 9287 del vars, 33150 del conss, 0 add conss, 7451 chg bounds, 27 chg sides, 23 chg coeffs, 0 upgd conss, 12048030 impls, 0 clqs
10.29/10.36 c (round 4) 10310 del vars, 36791 del conss, 0 add conss, 8218 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12055383 impls, 0 clqs
10.69/10.72 c (round 5) 11054 del vars, 39474 del conss, 0 add conss, 8752 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12059081 impls, 0 clqs
10.79/10.88 c (round 6) 11400 del vars, 40936 del conss, 0 add conss, 8965 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12060841 impls, 0 clqs
10.90/11.00 c (round 7) 11560 del vars, 41544 del conss, 0 add conss, 9063 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062062 impls, 0 clqs
11.00/11.07 c (round 8) 11630 del vars, 41898 del conss, 0 add conss, 9105 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062554 impls, 0 clqs
11.09/11.13 c (round 9) 11672 del vars, 42089 del conss, 0 add conss, 9135 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062798 impls, 0 clqs
11.09/11.19 c (round 10) 11708 del vars, 42237 del conss, 0 add conss, 9162 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12062970 impls, 0 clqs
11.19/11.24 c (round 11) 11722 del vars, 42310 del conss, 0 add conss, 9171 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063014 impls, 0 clqs
11.19/11.28 c (round 12) 11726 del vars, 42334 del conss, 0 add conss, 9173 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063044 impls, 0 clqs
11.29/11.33 c (round 13) 11730 del vars, 42350 del conss, 0 add conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 0 upgd conss, 12063054 impls, 0 clqs
11.79/11.84 c (round 14) 11730 del vars, 42354 del conss, 0 add conss, 9175 chg bounds, 30 chg sides, 26 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
12.49/12.57 c (round 15) 11730 del vars, 42354 del conss, 7 add conss, 9175 chg bounds, 42 chg sides, 153 chg coeffs, 133975 upgd conss, 12063054 impls, 0 clqs
590.42/590.44 c (590.4s) probing: 1000/43052 (2.3%) - 3 fixings, 1 aggregations, 8955179 implications, 0 bound changes
1023.83/1023.88 c (1023.9s) probing: 2000/43052 (4.6%) - 3 fixings, 1 aggregations, 14145213 implications, 0 bound changes
1092.03/1092.03 c (1092.0s) probing: 2141/43052 (5.0%) - 3 fixings, 1 aggregations, 14900383 implications, 0 bound changes
1092.03/1092.03 c (1092.0s) probing aborted: 2000/2000 successive useless probings
1092.03/1092.03 c presolving (16 rounds):
1092.03/1092.03 c 11734 deleted vars, 42354 deleted constraints, 7 added constraints, 9175 tightened bounds, 0 added holes, 42 changed sides, 157 changed coefficients
1092.03/1092.03 c 60719490 implications, 0 cliques
1092.03/1092.03 c presolved problem has 43048 variables (43048 bin, 0 int, 0 impl, 0 cont) and 133982 constraints
1092.03/1092.03 c 1178 constraints of type <knapsack>
1092.03/1092.03 c 111493 constraints of type <setppc>
1092.03/1092.03 c 21311 constraints of type <logicor>
1092.03/1092.03 c transformed objective value is always integral (scale: 1)
1092.03/1092.03 c Presolving Time: 1090.79
1092.03/1092.03 c - non default parameters ----------------------------------------------------------------------
1092.03/1092.03 c # SCIP version 2.0.1.5
1092.03/1092.03 c
1092.03/1092.03 c # frequency for displaying node information lines
1092.03/1092.03 c # [type: int, range: [-1,2147483647], default: 100]
1092.03/1092.03 c display/freq = 10000
1092.03/1092.03 c
1092.03/1092.03 c # maximal time in seconds to run
1092.03/1092.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1092.03/1092.03 c limits/time = 1797
1092.03/1092.03 c
1092.03/1092.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1092.03/1092.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1092.03/1092.03 c limits/memory = 13950
1092.03/1092.03 c
1092.03/1092.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1092.03/1092.03 c # [type: int, range: [1,2], default: 1]
1092.03/1092.03 c timing/clocktype = 2
1092.03/1092.03 c
1092.03/1092.03 c # belongs reading time to solving time?
1092.03/1092.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.03/1092.03 c timing/reading = TRUE
1092.03/1092.03 c
1092.03/1092.03 c # should presolving try to simplify inequalities
1092.03/1092.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.03/1092.03 c constraints/linear/simplifyinequalities = TRUE
1092.03/1092.03 c
1092.03/1092.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1092.03/1092.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.03/1092.03 c constraints/indicator/addCouplingCons = TRUE
1092.03/1092.03 c
1092.03/1092.03 c # should presolving try to simplify knapsacks
1092.03/1092.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1092.03/1092.03 c constraints/knapsack/simplifyinequalities = TRUE
1092.03/1092.03 c
1092.03/1092.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1092.03/1092.03 c # [type: int, range: [-1,2147483647], default: -1]
1092.03/1092.03 c separating/rapidlearning/freq = 0
1092.03/1092.03 c
1092.03/1092.03 c -----------------------------------------------------------------------------------------------
1092.03/1092.03 c start solving
1092.03/1092.06 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489786-1307793355/watcher-3489786-1307793355 -o /tmp/evaluation-result-3489786-1307793355/solver-3489786-1307793355 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489786-1307793355.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: 2.00 2.00 2.00 2/177 24932
/proc/meminfo: memFree=30317248/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 890932198 13000704 2122 33554432000 4194304 9016284 140735473008128 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24932/statm: 3174 2123 353 1178 0 1992 0
[startup+0.0598851 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 24932
/proc/meminfo: memFree=30317248/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=25356 CPUtime=0.05 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 5309 0 0 0 5 0 0 0 25 0 1 0 890932198 25964544 5264 33554432000 4194304 9016284 140735473008128 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24932/statm: 6339 5264 360 1178 0 5157 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25356
[startup+0.100883 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 24932
/proc/meminfo: memFree=30317248/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=32392 CPUtime=0.09 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 890932198 33169408 7053 33554432000 4194304 9016284 140735473008128 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24932/statm: 8098 7053 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392
[startup+0.300844 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 24932
/proc/meminfo: memFree=30317248/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=54060 CPUtime=0.29 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 12492 0 0 0 28 1 0 0 25 0 1 0 890932198 55357440 12447 33554432000 4194304 9016284 140735473008128 18446744073709551615 7847658 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24932/statm: 13515 12447 360 1178 0 12333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54060
[startup+0.700764 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 24932
/proc/meminfo: memFree=30317248/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=92004 CPUtime=0.69 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 21992 0 0 0 67 2 0 0 25 0 1 0 890932198 94212096 21947 33554432000 4194304 9016284 140735473008128 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24932/statm: 23001 21947 360 1178 0 21819 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92004
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24933
/proc/meminfo: memFree=30189544/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=301712 CPUtime=1.49 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 73377 0 0 0 141 8 0 0 25 0 1 0 890932198 308953088 73281 33554432000 4194304 9016284 140735473008128 18446744073709551615 4918462 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24932/statm: 75428 73281 474 1178 0 74246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 301712
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24933
/proc/meminfo: memFree=29956664/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=448064 CPUtime=3.09 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 109798 0 0 0 298 11 0 0 25 0 1 0 890932198 458817536 109702 33554432000 4194304 9016284 140735473008128 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24932/statm: 112016 109702 485 1178 0 110834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 448064
[startup+6.30064 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24933
/proc/meminfo: memFree=29733836/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=641588 CPUtime=6.29 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 155996 0 0 0 613 16 0 0 25 0 1 0 890932198 656986112 155900 33554432000 4194304 9016284 140735473008128 18446744073709551615 4919365 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24932/statm: 160397 155900 492 1178 0 159215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 641588
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24933
/proc/meminfo: memFree=29625980/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=714528 CPUtime=12.69 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 183687 0 0 0 1250 19 0 0 25 0 1 0 890932198 731676672 173440 33554432000 4194304 9016284 140735473008128 18446744073709551615 5510005 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24932/statm: 178632 173440 650 1178 0 177450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 714528
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24934
/proc/meminfo: memFree=29523420/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=770304 CPUtime=25.5 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 196867 0 0 0 2529 21 0 0 25 0 1 0 890932198 788791296 186482 33554432000 4194304 9016284 140735473008128 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/24932/statm: 192576 186482 541 1178 0 191394 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 770304
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24934
/proc/meminfo: memFree=29447024/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=800516 CPUtime=51.09 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 204413 0 0 0 5087 22 0 0 25 0 1 0 890932198 819728384 194028 33554432000 4194304 9016284 140735473008128 18446744073709551615 6469479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 200129 194028 541 1178 0 198947 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 800516
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24936
/proc/meminfo: memFree=29163532/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=915368 CPUtime=102.29 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 232284 0 0 0 10204 25 0 0 25 0 1 0 890932198 937336832 221899 33554432000 4194304 9016284 140735473008128 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 228842 221899 541 1178 0 227660 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915368
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24937
/proc/meminfo: memFree=28888704/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1076116 CPUtime=162.29 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 271603 0 0 0 16199 30 0 0 25 0 1 0 890932198 1101942784 261218 33554432000 4194304 9016284 140735473008128 18446744073709551615 4917339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 269029 261218 541 1178 0 267847 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1076116
[startup+222.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 24939
/proc/meminfo: memFree=28672040/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1161476 CPUtime=222.3 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 293060 0 0 0 22197 33 0 0 25 0 1 0 890932198 1189351424 282675 33554432000 4194304 9016284 140735473008128 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 290369 282675 541 1178 0 289187 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1161476
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24941
/proc/meminfo: memFree=28380732/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1312880 CPUtime=282.3 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 331266 0 0 0 28191 39 0 0 25 0 1 0 890932198 1344389120 320881 33554432000 4194304 9016284 140735473008128 18446744073709551615 6816922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 328220 320881 541 1178 0 327038 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1312880
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24951
/proc/meminfo: memFree=28121384/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1419704 CPUtime=342.31 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 358174 0 0 0 34189 42 0 0 25 0 1 0 890932198 1453776896 347789 33554432000 4194304 9016284 140735473008128 18446744073709551615 5969566 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 354926 347789 541 1178 0 353744 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1419704
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24953
/proc/meminfo: memFree=27905584/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1525120 CPUtime=402.31 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 384162 0 0 0 40185 46 0 0 25 0 1 0 890932198 1561722880 373777 33554432000 4194304 9016284 140735473008128 18446744073709551615 5510868 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 381280 373777 541 1178 0 380098 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1525120
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24954
/proc/meminfo: memFree=27707132/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1602084 CPUtime=462.31 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 403585 0 0 0 46181 50 0 0 25 0 1 0 890932198 1640534016 393200 33554432000 4194304 9016284 140735473008128 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 400521 393200 541 1178 0 399339 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1602084
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24958
/proc/meminfo: memFree=27474720/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1705004 CPUtime=522.31 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 428658 0 0 0 52178 53 0 0 25 0 1 0 890932198 1745924096 418273 33554432000 4194304 9016284 140735473008128 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 426251 418273 541 1178 0 425069 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1705004
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24961
/proc/meminfo: memFree=27316960/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=1753356 CPUtime=582.32 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 440408 0 0 0 58178 54 0 0 25 0 1 0 890932198 1795436544 430023 33554432000 4194304 9016284 140735473008128 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 438339 430023 541 1178 0 437157 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1753356
[startup+642.301 s]
################
# More data... #
################
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 562063 0 0 0 106160 73 0 0 25 0 1 0 890932198 2292441088 551678 33554432000 4194304 9016284 140735473008128 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 559678 551678 546 1178 0 558496 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2238712
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24975
/proc/meminfo: memFree=25916832/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2509204 CPUtime=1122.33 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 628625 0 0 0 112151 82 0 0 25 0 1 0 890932198 2569424896 614006 33554432000 4194304 9016284 140735473008128 18446744073709551615 7181396 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 627301 614006 805 1178 0 626119 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2509204
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24977
/proc/meminfo: memFree=25834952/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2525524 CPUtime=1182.34 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 633153 0 0 0 118146 88 0 0 25 0 1 0 890932198 2586136576 618274 33554432000 4194304 9016284 140735473008128 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 631381 618274 725 1178 0 630199 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2525524
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 24978
/proc/meminfo: memFree=25757424/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2544152 CPUtime=1242.34 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 639912 0 0 0 124142 92 0 0 25 0 1 0 890932198 2605211648 624531 33554432000 4194304 9016284 140735473008128 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 636038 624531 764 1178 0 634856 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2544152
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24980
/proc/meminfo: memFree=25662284/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1302.35 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643194 0 0 0 130140 95 0 0 25 0 1 0 890932198 2616569856 627642 33554432000 4194304 9016284 140735473008128 18446744073709551615 7233366 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627642 744 1178 0 637629 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2555244
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24981
/proc/meminfo: memFree=25626264/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1362.35 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643207 0 0 0 136138 97 0 0 25 0 1 0 890932198 2616569856 627655 33554432000 4194304 9016284 140735473008128 18446744073709551615 7181447 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627655 744 1178 0 637629 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2555244
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24983
/proc/meminfo: memFree=25338428/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1422.36 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643210 0 0 0 142137 99 0 0 25 0 1 0 890932198 2616569856 627658 33554432000 4194304 9016284 140735473008128 18446744073709551615 7179103 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627658 744 1178 0 637629 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 2555244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24985
/proc/meminfo: memFree=25320908/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1482.35 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643212 0 0 0 148134 101 0 0 25 0 1 0 890932198 2616569856 627660 33554432000 4194304 9016284 140735473008128 18446744073709551615 7191227 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627660 744 1178 0 637629 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2555244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24986
/proc/meminfo: memFree=25301276/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1542.35 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643212 0 0 0 154131 104 0 0 25 0 1 0 890932198 2616569856 627660 33554432000 4194304 9016284 140735473008128 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627660 744 1178 0 637629 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2555244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25288956/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1602.36 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643221 0 0 0 160130 106 0 0 25 0 1 0 890932198 2616569856 627669 33554432000 4194304 9016284 140735473008128 18446744073709551615 7178171 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627669 744 1178 0 637629 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 2555244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25027
/proc/meminfo: memFree=26476136/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1662.36 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643222 0 0 0 166127 109 0 0 25 0 1 0 890932198 2616569856 627670 33554432000 4194304 9016284 140735473008128 18446744073709551615 7179103 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627670 744 1178 0 637629 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2555244
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 25029
/proc/meminfo: memFree=26472216/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1722.36 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643222 0 0 0 172125 111 0 0 25 0 1 0 890932198 2616569856 627670 33554432000 4194304 9016284 140735473008128 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627670 744 1178 0 637629 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2555244
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25031
/proc/meminfo: memFree=26231504/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1782.37 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643229 0 0 0 178124 113 0 0 25 0 1 0 890932198 2616569856 627677 33554432000 4194304 9016284 140735473008128 18446744073709551615 7178145 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627677 744 1178 0 637629 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 2555244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 25031
/proc/meminfo: memFree=26210612/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1800.07 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643230 0 0 0 179894 113 0 0 25 0 1 0 890932198 2616569856 627678 33554432000 4194304 9016284 140735473008128 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627678 744 1178 0 637629 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2555244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24932
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25032
/proc/meminfo: memFree=26224368/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1801.46 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643230 0 0 0 180033 113 0 0 25 0 1 0 890932198 2616569856 627678 33554432000 4194304 9016284 140735473008128 18446744073709551615 7180530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627678 744 1178 0 637629 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2555244
[startup+1801.81 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25032
/proc/meminfo: memFree=26224368/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1801.87 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643230 0 0 0 180074 113 0 0 25 0 1 0 890932198 2616569856 627678 33554432000 4194304 9016284 140735473008128 18446744073709551615 6975929 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627678 744 1178 0 637629 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 2555244
[startup+1802 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25032
/proc/meminfo: memFree=26224368/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=2555244 CPUtime=1802.06 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4202496 643230 0 0 0 180093 113 0 0 25 0 1 0 890932198 2616569856 627678 33554432000 4194304 9016284 140735473008128 18446744073709551615 7178162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24932/statm: 638811 627678 744 1178 0 637629 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2555244
[startup+1802.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25032
/proc/meminfo: memFree=26224368/32950928 swapFree=67053888/67111528
[pid=24932] ppid=24930 vsize=0 CPUtime=1802.16 cores=0,2,4,6
/proc/24932/stat : 24932 (scip-2.0.1.4b_2) R 24930 24932 23551 0 -1 4203524 643230 0 0 0 180094 122 0 0 25 0 1 0 890932198 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/24932/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.11
CPU time (s): 1802.18
CPU user time (s): 1800.94
CPU system time (s): 1.23681
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2555244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.94
system time used= 1.23681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 643230
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= 20711
runsolver used 3.23951 second user time and 5.95609 second system time
The end