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-3488626-1307785172.opb>
0.29/0.36 c original problem has 77286 variables (77286 bin, 0 int, 0 impl, 0 cont) and 80287 constraints
0.29/0.36 c problem read
0.29/0.36 c presolving settings loaded
0.79/0.83 o 0
0.79/0.83 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.79/0.83 c presolving:
2.39/2.45 c (round 1) 0 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 598856 impls, 1999 clqs
2.59/2.69 c (round 2) 75286 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598856 impls, 0 clqs
2.99/3.09 c (3.1s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.99/3.09 c (3.1s) probing aborted: 100/100 successive totally useless probings
2.99/3.09 c presolving (3 rounds):
2.99/3.09 c 75286 deleted vars, 79286 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.09 c 598856 implications, 0 cliques
2.99/3.09 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
2.99/3.09 c 2000 constraints of type <knapsack>
2.99/3.09 c 1000 constraints of type <setppc>
2.99/3.09 c 1 constraints of type <linear>
2.99/3.09 c transformed objective value is always integral (scale: 1)
2.99/3.09 c Presolving Time: 2.47
2.99/3.09 c - non default parameters ----------------------------------------------------------------------
2.99/3.09 c # SCIP version 2.0.1.5
2.99/3.09 c
2.99/3.09 c # frequency for displaying node information lines
2.99/3.09 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.09 c display/freq = 10000
2.99/3.09 c
2.99/3.09 c # maximal time in seconds to run
2.99/3.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.09 c limits/time = 1797
2.99/3.09 c
2.99/3.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.09 c limits/memory = 13950
2.99/3.09 c
2.99/3.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.99/3.09 c # [type: int, range: [1,2], default: 1]
2.99/3.09 c timing/clocktype = 2
2.99/3.09 c
2.99/3.09 c # belongs reading time to solving time?
2.99/3.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.09 c timing/reading = TRUE
2.99/3.09 c
2.99/3.09 c # should presolving try to simplify inequalities
2.99/3.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.09 c constraints/linear/simplifyinequalities = TRUE
2.99/3.09 c
2.99/3.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.99/3.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.09 c constraints/indicator/addCouplingCons = TRUE
2.99/3.09 c
2.99/3.09 c # should presolving try to simplify knapsacks
2.99/3.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.09 c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.09 c
2.99/3.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.99/3.09 c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.09 c separating/rapidlearning/freq = 0
2.99/3.09 c
2.99/3.09 c -----------------------------------------------------------------------------------------------
2.99/3.09 c start solving
2.99/3.09 c
123.29/123.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.29/123.36 c t 123s| 1 | 0 | 16403 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
123.50/123.50 o -1
123.50/123.50 c R 123s| 1 | 0 | 16403 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
566.81/566.89 c 567s| 1 | 2 | 26481 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 10 |-5.000000e+02 |-1.000000e+00 | 99.80%
1283.53/1283.53 o -2
1283.53/1283.53 c R1284s| 3 | 2 | 28081 |5839.0 | 194M| 2 |1930 |2000 |3001 |2000 |3001 | 0 | 0 | 33 |-5.000000e+02 |-2.000000e+00 | 99.60%
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-3488626-1307785172/watcher-3488626-1307785172 -o /tmp/evaluation-result-3488626-1307785172/solver-3488626-1307785172 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488626-1307785172.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 1.95 2/173 8866
/proc/meminfo: memFree=31317692/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=12568 CPUtime=0 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 2130 0 0 0 0 0 0 0 25 0 1 0 968747923 12869632 2085 33554432000 4194304 9016284 140734035040144 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8866/statm: 3142 2090 353 1178 0 1960 0
[startup+0.065899 s]
/proc/loadavg: 2.00 2.00 1.95 2/173 8866
/proc/meminfo: memFree=31317692/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=36228 CPUtime=0.06 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 8067 0 0 0 5 1 0 0 25 0 1 0 968747923 37097472 8022 33554432000 4194304 9016284 140734035040144 18446744073709551615 7842240 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8866/statm: 9057 8022 377 1178 0 7875 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36228
[startup+0.100894 s]
/proc/loadavg: 2.00 2.00 1.95 2/173 8866
/proc/meminfo: memFree=31317692/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=47556 CPUtime=0.09 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 10885 0 0 0 8 1 0 0 25 0 1 0 968747923 48697344 10840 33554432000 4194304 9016284 140734035040144 18446744073709551615 4582008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8866/statm: 11889 10840 377 1178 0 10707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47556
[startup+0.300854 s]
/proc/loadavg: 2.00 2.00 1.95 2/173 8866
/proc/meminfo: memFree=31317692/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=97992 CPUtime=0.29 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 23460 0 0 0 27 2 0 0 25 0 1 0 968747923 100343808 23415 33554432000 4194304 9016284 140734035040144 18446744073709551615 4459681 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8866/statm: 24498 23415 377 1178 0 23316 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 97992
[startup+0.700779 s]
/proc/loadavg: 2.00 2.00 1.95 2/173 8866
/proc/meminfo: memFree=31317692/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=212688 CPUtime=0.69 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 52675 0 0 0 64 5 0 0 25 0 1 0 968747923 217792512 52075 33554432000 4194304 9016284 140734035040144 18446744073709551615 4786469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 53172 52075 448 1178 0 51990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212688
[startup+1.50063 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8872
/proc/meminfo: memFree=31065620/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=243068 CPUtime=1.49 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 60321 0 0 0 143 6 0 0 25 0 1 0 968747923 248901632 59464 33554432000 4194304 9016284 140734035040144 18446744073709551615 7870473 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 60767 59464 485 1178 0 59585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 243068
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8872
/proc/meminfo: memFree=31038772/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=281724 CPUtime=3.09 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 72782 0 0 0 302 7 0 0 25 0 1 0 968747923 288485376 69182 33554432000 4194304 9016284 140734035040144 18446744073709551615 4786560 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 70431 69182 556 1178 0 69249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281724
[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8872
/proc/meminfo: memFree=30983116/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=314464 CPUtime=6.29 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 80626 0 0 0 620 9 0 0 25 0 1 0 968747923 322011136 76487 33554432000 4194304 9016284 140734035040144 18446744073709551615 7198988 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 78616 76487 679 1178 0 77434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 314464
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8910
/proc/meminfo: memFree=30969992/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=330100 CPUtime=12.69 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 85301 0 0 0 1259 10 0 0 25 0 1 0 968747923 338022400 79721 33554432000 4194304 9016284 140734035040144 18446744073709551615 7179377 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 82525 79721 643 1178 0 81343 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330100
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8910
/proc/meminfo: memFree=30952920/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=350504 CPUtime=25.49 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 91428 0 0 0 2537 12 0 0 25 0 1 0 968747923 358916096 84192 33554432000 4194304 9016284 140734035040144 18446744073709551615 7191729 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 87626 84192 643 1178 0 86444 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 350504
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8949
/proc/meminfo: memFree=30904688/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=388472 CPUtime=51.09 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 106381 0 0 0 5094 15 0 0 25 0 1 0 968747923 397795328 92539 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219243 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 97118 92539 1034 1178 0 95936 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 388472
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8950
/proc/meminfo: memFree=30865872/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=418676 CPUtime=102.3 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 116076 0 0 0 10213 17 0 0 25 0 1 0 968747923 428724224 101943 33554432000 4194304 9016284 140734035040144 18446744073709551615 7189200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 104669 101943 743 1178 0 103487 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 418676
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 8952
/proc/meminfo: memFree=30890548/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=384664 CPUtime=162.3 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 140059 0 0 0 16208 22 0 0 25 0 1 0 968747923 393895936 95166 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 96166 95166 710 1178 0 94984 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 384664
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 8954
/proc/meminfo: memFree=30888748/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=384664 CPUtime=222.3 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 140059 0 0 0 22207 23 0 0 25 0 1 0 968747923 393895936 95166 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 96166 95166 710 1178 0 94984 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 384664
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8955
/proc/meminfo: memFree=30885844/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=401980 CPUtime=282.3 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 140509 0 0 0 28205 25 0 0 25 0 1 0 968747923 411627520 95616 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219194 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100495 95616 711 1178 0 99313 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 401980
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 8957
/proc/meminfo: memFree=30882700/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=401980 CPUtime=342.3 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 141251 0 0 0 34204 26 0 0 25 0 1 0 968747923 411627520 96358 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100495 96358 711 1178 0 99313 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 401980
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 8958
/proc/meminfo: memFree=30865168/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=401980 CPUtime=402.31 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 142283 0 0 0 40204 27 0 0 25 0 1 0 968747923 411627520 97390 33554432000 4194304 9016284 140734035040144 18446744073709551615 7178597 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100495 97390 711 1178 0 99313 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 401980
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8960
/proc/meminfo: memFree=30859424/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=402200 CPUtime=462.31 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 143717 0 0 0 46203 28 0 0 25 0 1 0 968747923 411852800 98824 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219243 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100550 98824 711 1178 0 99368 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 402200
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8962
/proc/meminfo: memFree=30861852/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=396972 CPUtime=522.3 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 158939 0 0 0 52200 30 0 0 25 0 1 0 968747923 406499328 98240 33554432000 4194304 9016284 140734035040144 18446744073709551615 7191653 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 99243 98240 711 1178 0 98061 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 396972
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8963
/proc/meminfo: memFree=30854352/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=409616 CPUtime=582.31 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 173299 0 0 0 58198 33 0 0 25 0 1 0 968747923 419446784 99734 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219235 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 102404 99734 711 1178 0 101222 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 409616
[startup+642.3 s]
################
# More data... #
################
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 185383 0 0 0 100192 41 0 0 25 0 1 0 968747923 413257728 99224 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100893 99224 711 1178 0 99711 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 403572
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8976
/proc/meminfo: memFree=30837976/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=403572 CPUtime=1062.32 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 185400 0 0 0 106191 41 0 0 25 0 1 0 968747923 413257728 99241 33554432000 4194304 9016284 140734035040144 18446744073709551615 7218988 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100893 99241 711 1178 0 99711 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 403572
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8978
/proc/meminfo: memFree=30836324/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=403572 CPUtime=1122.33 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 185400 0 0 0 112191 42 0 0 25 0 1 0 968747923 413257728 99241 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100893 99241 711 1178 0 99711 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 403572
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8979
/proc/meminfo: memFree=30836160/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=403572 CPUtime=1182.34 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 185448 0 0 0 118191 43 0 0 25 0 1 0 968747923 413257728 99289 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100893 99289 711 1178 0 99711 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 403572
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 8981
/proc/meminfo: memFree=30831156/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=403948 CPUtime=1242.33 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 186141 0 0 0 124190 43 0 0 25 0 1 0 968747923 413642752 99982 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219022 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100987 99982 711 1178 0 99805 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 403948
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 8991
/proc/meminfo: memFree=30849680/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=388988 CPUtime=1302.34 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 194388 0 0 0 130189 45 0 0 25 0 1 0 968747923 398323712 94649 33554432000 4194304 9016284 140734035040144 18446744073709551615 7220766 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 97247 94649 711 1178 0 96065 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 388988
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8993
/proc/meminfo: memFree=30841880/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=389272 CPUtime=1362.34 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 217648 0 0 0 136186 48 0 0 25 0 1 0 968747923 398614528 95481 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219251 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 97318 95481 711 1178 0 96136 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 389272
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 8995
/proc/meminfo: memFree=30836632/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=389272 CPUtime=1422.34 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 218242 0 0 0 142186 48 0 0 25 0 1 0 968747923 398614528 96075 33554432000 4194304 9016284 140734035040144 18446744073709551615 7189395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 97318 96075 711 1178 0 96136 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 389272
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 8996
/proc/meminfo: memFree=30824444/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=397128 CPUtime=1482.34 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 233521 0 0 0 148183 51 0 0 25 0 1 0 968747923 406659072 98260 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219712 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 99282 98260 711 1178 0 98100 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 397128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8998
/proc/meminfo: memFree=30831464/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=389876 CPUtime=1542.35 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 245210 0 0 0 154181 54 0 0 25 0 1 0 968747923 399233024 96470 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219702 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 97469 96470 711 1178 0 96287 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 389876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8999
/proc/meminfo: memFree=30832396/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=389204 CPUtime=1602.35 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 258651 0 0 0 160179 56 0 0 25 0 1 0 968747923 398544896 95394 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219682 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 97301 95394 711 1178 0 96119 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 389204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9001
/proc/meminfo: memFree=30817696/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=400068 CPUtime=1662.35 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 261741 0 0 0 166178 57 0 0 25 0 1 0 968747923 409669632 98484 33554432000 4194304 9016284 140734035040144 18446744073709551615 7218022 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100017 98484 711 1178 0 98835 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 400068
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9003
/proc/meminfo: memFree=30817644/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=402304 CPUtime=1722.35 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 296796 0 0 0 172174 61 0 0 25 0 1 0 968747923 411959296 97978 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100576 97978 711 1178 0 99394 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 402304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9004
/proc/meminfo: memFree=30811276/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=402540 CPUtime=1782.35 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 335424 0 0 0 178170 65 0 0 25 0 1 0 968747923 412200960 98491 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219645 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100635 98491 711 1178 0 99453 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 402540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9005
/proc/meminfo: memFree=30809280/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=402648 CPUtime=1800.06 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 349557 0 0 0 179939 67 0 0 25 0 1 0 968747923 412311552 98914 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219702 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 100662 98914 711 1178 0 99480 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 402648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8866
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 9006
/proc/meminfo: memFree=30809272/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=359024 CPUtime=1801.46 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 351041 0 0 0 180078 68 0 0 25 0 1 0 968747923 367640576 87947 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219702 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 89756 87947 711 1178 0 88574 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 359024
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 9006
/proc/meminfo: memFree=30853168/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=359024 CPUtime=1801.86 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 351041 0 0 0 180118 68 0 0 25 0 1 0 968747923 367640576 87947 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 89756 87947 711 1178 0 88574 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 359024
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 9006
/proc/meminfo: memFree=30853168/32950928 swapFree=67054844/67111528
[pid=8866] ppid=8864 vsize=359024 CPUtime=1802.06 cores=0,2,4,6
/proc/8866/stat : 8866 (scip-2.0.1.4b_2) R 8864 8866 8698 0 -1 4202496 351041 0 0 0 180138 68 0 0 25 0 1 0 968747923 367640576 87947 33554432000 4194304 9016284 140734035040144 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8866/statm: 89756 87947 711 1178 0 88574 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 359024
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.08
CPU user time (s): 1801.39
CPU system time (s): 0.693894
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 422560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.39
system time used= 0.693894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351041
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= 20697
runsolver used 2.6466 second user time and 5.58515 second system time
The end