0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3479453-1307448392.opb>
2.79/2.89 c original problem has 7840 variables (7840 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
2.79/2.89 c problem read
2.79/2.89 c presolving settings loaded
3.69/3.78 o 7840
3.69/3.78 c feasible solution found by trivial heuristic, objective value 7.840000e+03
3.69/3.78 c presolving:
5.09/5.19 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
5.29/5.38 c (5.4s) probing: 101/7840 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.29/5.38 c (5.4s) probing aborted: 100/100 successive totally useless probings
5.29/5.38 c presolving (2 rounds):
5.29/5.38 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.29/5.38 c 0 implications, 0 cliques
5.29/5.38 c presolved problem has 7840 variables (7840 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
5.29/5.38 c 65280 constraints of type <logicor>
5.29/5.38 c transformed objective value is always integral (scale: 1)
5.29/5.38 c Presolving Time: 1.78
5.29/5.38 c - non default parameters ----------------------------------------------------------------------
5.29/5.38 c # SCIP version 2.0.1.5
5.29/5.38 c
5.29/5.38 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
5.29/5.38 c # [type: int, range: [-1,2147483647], default: -1]
5.29/5.38 c conflict/interconss = 0
5.29/5.38 c
5.29/5.38 c # should binary conflicts be preferred?
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c conflict/preferbinary = TRUE
5.29/5.38 c
5.29/5.38 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
5.29/5.38 c # [type: int, range: [-1,2147483647], default: 0]
5.29/5.38 c constraints/agelimit = 1
5.29/5.38 c
5.29/5.38 c # should enforcement of pseudo solution be disabled?
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/disableenfops = TRUE
5.29/5.38 c
5.29/5.38 c # frequency for displaying node information lines
5.29/5.38 c # [type: int, range: [-1,2147483647], default: 100]
5.29/5.38 c display/freq = 10000
5.29/5.38 c
5.29/5.38 c # maximal time in seconds to run
5.29/5.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.38 c limits/time = 1800
5.29/5.38 c
5.29/5.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.29/5.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.38 c limits/memory = 13950
5.29/5.38 c
5.29/5.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.29/5.38 c # [type: int, range: [1,2], default: 1]
5.29/5.38 c timing/clocktype = 2
5.29/5.38 c
5.29/5.38 c # belongs reading time to solving time?
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c timing/reading = TRUE
5.29/5.38 c
5.29/5.38 c # should presolving try to simplify inequalities
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/linear/simplifyinequalities = TRUE
5.29/5.38 c
5.29/5.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/indicator/addCouplingCons = TRUE
5.29/5.38 c
5.29/5.38 c # should presolving try to simplify knapsacks
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/knapsack/simplifyinequalities = TRUE
5.29/5.38 c
5.29/5.38 c -----------------------------------------------------------------------------------------------
5.29/5.38 c start solving
5.29/5.38 c
40.99/41.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.99/41.01 c t41.0s| 1 | 0 | 6048 | - | 419M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 7.840000e+03 | Large
40.99/41.01 o 64
40.99/41.01 c r41.0s| 1 | 0 | 6048 | - | 419M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 6.400000e+01 | 88.24%
40.99/41.05 o 63
40.99/41.05 c R41.0s| 1 | 0 | 6048 | - | 419M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 6.300000e+01 | 85.29%
40.99/41.09 o 62
40.99/41.09 c s41.1s| 1 | 0 | 6048 | - | 419M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 6.200000e+01 | 82.35%
44.49/44.51 o 61
44.49/44.51 c z44.5s| 1 | 0 | 6048 | - | 420M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 6.100000e+01 | 79.41%
48.49/48.52 o 48
48.49/48.52 c E48.5s| 1 | 0 | 6048 | - | 420M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 4.800000e+01 | 41.18%
48.59/48.62 c 48.6s| 1 | 0 | 6048 | - | 420M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 0 | 3.400000e+01 | 4.800000e+01 | 41.18%
177.29/177.32 c 177s| 1 | 2 | 6048 | - | 420M| 0 | 60 |7840 | 65k|7840 | 65k| 0 | 0 | 19 | 3.400000e+01 | 4.800000e+01 | 41.18%
1799.99/1800.05 c
1799.99/1800.05 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.05 c Solving Time (sec) : 1800.05
1799.99/1800.05 c Solving Nodes : 132
1799.99/1800.05 c Primal Bound : +4.80000000000000e+01 (152 solutions)
1799.99/1800.05 c Dual Bound : +3.45000000000000e+01
1799.99/1800.05 c Gap : 39.13 %
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-3479453-1307448392/watcher-3479453-1307448392 -o /tmp/evaluation-result-3479453-1307448392/solver-3479453-1307448392 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479453-1307448392.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.04 2.55 2.38 3/443 19728
/proc/meminfo: memFree=27434624/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=14096 CPUtime=0 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 2438 0 0 0 0 0 0 0 21 0 1 0 935069972 14434304 2390 33554432000 4194304 9163163 140735708402816 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19728/statm: 3524 2406 389 1214 0 2306 0
[startup+0.0714391 s]
/proc/loadavg: 2.04 2.55 2.38 3/443 19728
/proc/meminfo: memFree=27434624/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=22048 CPUtime=0.06 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 4514 0 0 0 6 0 0 0 21 0 1 0 935069972 22577152 4466 33554432000 4194304 9163163 140735708402816 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19728/statm: 5512 4466 395 1214 0 4294 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22048
[startup+0.100435 s]
/proc/loadavg: 2.04 2.55 2.38 3/443 19728
/proc/meminfo: memFree=27434624/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=22896 CPUtime=0.09 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 4734 0 0 0 9 0 0 0 21 0 1 0 935069972 23445504 4686 33554432000 4194304 9163163 140735708402816 18446744073709551615 7962075 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19728/statm: 5724 4686 395 1214 0 4506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22896
[startup+0.300404 s]
/proc/loadavg: 2.04 2.55 2.38 3/443 19728
/proc/meminfo: memFree=27434624/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=30736 CPUtime=0.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 6689 0 0 0 29 0 0 0 22 0 1 0 935069972 31473664 6641 33554432000 4194304 9163163 140735708402816 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19728/statm: 7684 6642 395 1214 0 6466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30736
[startup+0.700323 s]
/proc/loadavg: 2.04 2.55 2.38 3/443 19728
/proc/meminfo: memFree=27434624/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=41560 CPUtime=0.69 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 9376 0 0 0 68 1 0 0 23 0 1 0 935069972 42557440 9328 33554432000 4194304 9163163 140735708402816 18446744073709551615 6137049 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19728/statm: 10390 9328 395 1214 0 9172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41560
[startup+1.50017 s]
/proc/loadavg: 2.03 2.54 2.38 3/444 19729
/proc/meminfo: memFree=27389356/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=63960 CPUtime=1.49 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 15006 0 0 0 147 2 0 0 25 0 1 0 935069972 65495040 14958 33554432000 4194304 9163163 140735708402816 18446744073709551615 8031040 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19728/statm: 15990 14958 395 1214 0 14772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63960
[startup+3.10088 s]
/proc/loadavg: 2.03 2.54 2.38 3/444 19729
/proc/meminfo: memFree=27353312/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=208252 CPUtime=3.09 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 50800 0 0 0 303 6 0 0 25 0 1 0 935069972 213250048 50740 33554432000 4194304 9163163 140735708402816 18446744073709551615 6555332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 52063 50740 439 1214 0 50845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208252
[startup+6.30027 s]
/proc/loadavg: 2.03 2.54 2.38 3/444 19729
/proc/meminfo: memFree=26950220/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=987540 CPUtime=6.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 254764 0 0 0 599 30 0 0 19 0 1 0 935069972 1011240960 216795 33554432000 4194304 9163163 140735708402816 18446744073709551615 8045909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 246885 216818 608 1214 0 245667 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 987540
[startup+12.7011 s]
/proc/loadavg: 2.03 2.52 2.37 3/444 19730
/proc/meminfo: memFree=26441092/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1137152 CPUtime=12.69 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 319412 0 0 0 1231 38 0 0 25 0 1 0 935069972 1164443648 248050 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 284288 248050 630 1214 0 283070 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1137152
[startup+25.5007 s]
/proc/loadavg: 2.02 2.50 2.37 3/444 19730
/proc/meminfo: memFree=26432912/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1148368 CPUtime=25.49 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 321544 0 0 0 2509 40 0 0 25 0 1 0 935069972 1175928832 250176 33554432000 4194304 9163163 140735708402816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 287092 250176 624 1214 0 285874 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1148368
[startup+51.1008 s]
/proc/loadavg: 2.01 2.46 2.36 3/444 19731
/proc/meminfo: memFree=26551876/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=957192 CPUtime=51.09 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 477762 0 0 0 5046 63 0 0 25 0 1 0 935069972 980164608 220420 33554432000 4194304 9163163 140735708402816 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 239298 220420 702 1214 0 238080 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 957192
[startup+102.317 s]
/proc/loadavg: 2.00 2.38 2.34 3/444 19732
/proc/meminfo: memFree=26487420/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1002180 CPUtime=102.3 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 703563 0 0 0 10138 92 0 0 25 0 1 0 935069972 1026232320 238253 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 250545 238253 2257 1214 0 249327 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1002180
[startup+162.301 s]
/proc/loadavg: 2.10 2.34 2.32 3/444 19734
/proc/meminfo: memFree=27213852/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=956980 CPUtime=162.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 956419 0 0 0 16103 126 0 0 25 0 1 0 935069972 979947520 225343 33554432000 4194304 9163163 140735708402816 18446744073709551615 7300280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 239245 225343 1693 1214 0 238027 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 956980
[startup+222.301 s]
/proc/loadavg: 2.03 2.27 2.30 3/444 19735
/proc/meminfo: memFree=27170568/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1020428 CPUtime=222.3 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 1225413 0 0 0 22070 160 0 0 25 0 1 0 935069972 1044918272 245058 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 255107 245058 1114 1214 0 253889 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1020428
[startup+282.3 s]
/proc/loadavg: 2.01 2.22 2.28 3/444 19737
/proc/meminfo: memFree=27181328/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=964912 CPUtime=282.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 1478142 0 0 0 28035 194 0 0 25 0 1 0 935069972 988069888 231466 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19728/statm: 241228 231466 3662 1214 0 240010 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 964912
[startup+342.301 s]
/proc/loadavg: 2.11 2.21 2.27 3/444 19738
/proc/meminfo: memFree=27198160/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1020624 CPUtime=342.23 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 1689331 0 0 0 34001 222 0 0 25 0 1 0 935069972 1045118976 245179 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 255156 245179 760 1214 0 253938 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1020624
[startup+402.301 s]
/proc/loadavg: 2.09 2.18 2.26 3/444 19740
/proc/meminfo: memFree=27270668/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=970080 CPUtime=402.24 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 1935967 0 0 0 39967 257 0 0 25 0 1 0 935069972 993361920 227879 33554432000 4194304 9163163 140735708402816 18446744073709551615 7224027 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 242520 227879 743 1214 0 241302 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 970080
[startup+462.301 s]
/proc/loadavg: 2.03 2.15 2.24 3/444 19742
/proc/meminfo: memFree=27247448/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=986688 CPUtime=462.24 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 2148642 0 0 0 45939 285 0 0 25 0 1 0 935069972 1010368512 232770 33554432000 4194304 9163163 140735708402816 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 246672 232770 726 1214 0 245454 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 986688
[startup+522.3 s]
/proc/loadavg: 2.01 2.12 2.22 3/444 19743
/proc/meminfo: memFree=27249416/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=970300 CPUtime=522.24 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 2290601 0 0 0 51919 305 0 0 25 0 1 0 935069972 993587200 230507 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 242575 230507 724 1214 0 241357 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 970300
[startup+582.301 s]
/proc/loadavg: 2.00 2.09 2.20 3/444 19745
/proc/meminfo: memFree=27184160/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=986780 CPUtime=582.24 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 2431578 0 0 0 57899 325 0 0 25 0 1 0 935069972 1010462720 235694 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 246695 235694 723 1214 0 245477 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 986780
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.08 2.06 2.15 3/444 19753
/proc/meminfo: memFree=27242788/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=956668 CPUtime=882.25 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3099440 0 0 0 87803 422 0 0 25 0 1 0 935069972 979628032 223595 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 239167 223595 707 1214 0 237949 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 956668
[startup+942.301 s]
/proc/loadavg: 2.03 2.05 2.14 3/444 19754
/proc/meminfo: memFree=27221424/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=977304 CPUtime=942.26 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3189344 0 0 0 93788 438 0 0 25 0 1 0 935069972 1000759296 230660 33554432000 4194304 9163163 140735708402816 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 244326 230660 707 1214 0 243108 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 977304
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.13 3/444 19756
/proc/meminfo: memFree=27206140/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1020632 CPUtime=1002.26 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3342205 0 0 0 99766 460 0 0 25 0 1 0 935069972 1045127168 241292 33554432000 4194304 9163163 140735708402816 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 255158 241292 2224 1214 0 253940 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 1020632
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.12 4/444 19758
/proc/meminfo: memFree=27251000/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=977104 CPUtime=1062.26 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3408773 0 0 0 105753 473 0 0 25 0 1 0 935069972 1000554496 234467 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 244276 234467 1256 1214 0 243058 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 977104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/444 19759
/proc/meminfo: memFree=27168388/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=976920 CPUtime=1122.26 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3432917 0 0 0 111745 481 0 0 25 0 1 0 935069972 1000366080 234446 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 244230 234446 1162 1214 0 243012 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 976920
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/444 19761
/proc/meminfo: memFree=27199484/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=974988 CPUtime=1182.27 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3567897 0 0 0 117726 501 0 0 25 0 1 0 935069972 998387712 233927 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 243747 233927 4156 1214 0 242529 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 974988
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.09 3/444 19762
/proc/meminfo: memFree=27197104/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1019340 CPUtime=1242.26 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3594266 0 0 0 123717 509 0 0 25 0 1 0 935069972 1043804160 245009 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 254835 245009 721 1214 0 253617 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 1019340
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.08 3/444 19764
/proc/meminfo: memFree=27204392/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1019340 CPUtime=1302.28 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3594273 0 0 0 129714 514 0 0 25 0 1 0 935069972 1043804160 245009 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 254835 245009 714 1214 0 253617 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 1019340
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/444 19766
/proc/meminfo: memFree=27179568/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1062968 CPUtime=1362.27 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3611730 0 0 0 135705 522 0 0 25 0 1 0 935069972 1088479232 246055 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 265742 246055 2504 1214 0 264524 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 1062968
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.08 3/444 19767
/proc/meminfo: memFree=27209552/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=995780 CPUtime=1422.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3644127 0 0 0 141698 531 0 0 25 0 1 0 935069972 1019678720 234628 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 248945 234628 704 1214 0 247727 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 995780
[startup+1482.3 s]
/proc/loadavg: 1.62 1.93 2.04 2/438 19787
/proc/meminfo: memFree=28512012/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1019608 CPUtime=1482.27 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3704514 0 0 0 147684 543 0 0 25 0 1 0 935069972 1044078592 238061 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 254902 238061 704 1214 0 253684 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 1019608
[startup+1542.3 s]
/proc/loadavg: 1.23 1.76 1.98 2/438 19788
/proc/meminfo: memFree=28512108/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1019608 CPUtime=1542.28 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3704514 0 0 0 153678 550 0 0 25 0 1 0 935069972 1044078592 238061 33554432000 4194304 9163163 140735708402816 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 254902 238061 704 1214 0 253684 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 1019608
[startup+1602.3 s]
/proc/loadavg: 1.08 1.62 1.91 2/438 19790
/proc/meminfo: memFree=28511700/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1019608 CPUtime=1602.28 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3704593 0 0 0 159671 557 0 0 25 0 1 0 935069972 1044078592 238140 33554432000 4194304 9163163 140735708402816 18446744073709551615 7348661 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 254902 238140 707 1214 0 253684 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 1019608
[startup+1662.3 s]
/proc/loadavg: 1.03 1.50 1.85 2/438 19792
/proc/meminfo: memFree=28509444/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1012248 CPUtime=1662.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3733410 0 0 0 165659 570 0 0 25 0 1 0 935069972 1036541952 238714 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 253062 238714 707 1214 0 251844 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 1012248
[startup+1722.3 s]
/proc/loadavg: 1.12 1.44 1.81 2/438 19793
/proc/meminfo: memFree=28489452/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1052368 CPUtime=1722.28 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3757446 0 0 0 171649 579 0 0 25 0 1 0 935069972 1077624832 244555 33554432000 4194304 9163163 140735708402816 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 263092 244555 1519 1214 0 261874 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 1052368
[startup+1782.3 s]
/proc/loadavg: 1.10 1.37 1.76 2/438 19795
/proc/meminfo: memFree=28493892/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1009960 CPUtime=1782.29 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3762111 0 0 0 177643 586 0 0 25 0 1 0 935069972 1034199040 242837 33554432000 4194304 9163163 140735708402816 18446744073709551615 6974015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19728/statm: 252490 242837 1154 1214 0 251272 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 1009960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.07 1.35 1.75 2/438 19795
/proc/meminfo: memFree=28480616/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1053808 CPUtime=1800.09 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3800364 0 0 0 179418 591 0 0 25 0 1 0 935069972 1079099392 247116 33554432000 4194304 9163163 140735708402816 18446744073709551615 4693200 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19728/statm: 263452 247116 2092 1214 0 262234 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1053808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.07 1.35 1.75 2/438 19795
/proc/meminfo: memFree=28480616/32950928 swapFree=52246700/67111528
[pid=19728] ppid=19726 vsize=1053808 CPUtime=1800.09 cores=1,3,5,7
/proc/19728/stat : 19728 (scip-2.0.1.4b.l) R 19726 19728 19386 0 -1 4202496 3800364 0 0 0 179418 591 0 0 25 0 1 0 935069972 1079099392 247116 33554432000 4194304 9163163 140735708402816 18446744073709551615 4693200 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19728/statm: 263452 247116 2092 1214 0 262234 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1053808
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.16
CPU user time (s): 1794.19
CPU system time (s): 5.96109
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 1471856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 5.96109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3800364
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= 6
involuntary context switches= 18369
runsolver used 7.14391 second user time and 19.0161 second system time
The end