0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3453538-1307122134.opb>
1.19/1.23 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184464 constraints
1.19/1.23 c problem read
1.19/1.23 c presolving settings loaded
1.79/1.86 c presolving:
6.50/6.54 c (round 1) 4261 del vars, 12606 del conss, 0 add conss, 3157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12461928 impls, 0 clqs
7.89/7.96 c (round 2) 9011 del vars, 30429 del conss, 0 add conss, 7566 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12486617 impls, 0 clqs
8.29/8.38 c (round 3) 10592 del vars, 38061 del conss, 0 add conss, 8486 chg bounds, 8 chg sides, 7 chg coeffs, 0 upgd conss, 12497374 impls, 0 clqs
8.59/8.61 c (round 4) 11402 del vars, 41350 del conss, 0 add conss, 8973 chg bounds, 46 chg sides, 52 chg coeffs, 0 upgd conss, 12504669 impls, 0 clqs
8.70/8.79 c (round 5) 11899 del vars, 43316 del conss, 0 add conss, 9297 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12508400 impls, 0 clqs
8.90/8.90 c (round 6) 12157 del vars, 44472 del conss, 0 add conss, 9462 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12510387 impls, 0 clqs
8.90/8.98 c (round 7) 12314 del vars, 45153 del conss, 0 add conss, 9545 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511410 impls, 0 clqs
9.00/9.03 c (round 8) 12370 del vars, 45433 del conss, 0 add conss, 9570 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511940 impls, 0 clqs
9.00/9.08 c (round 9) 12383 del vars, 45511 del conss, 0 add conss, 9578 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511986 impls, 0 clqs
9.10/9.13 c (round 10) 12389 del vars, 45545 del conss, 0 add conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12512034 impls, 0 clqs
9.59/9.68 c (round 11) 12389 del vars, 45551 del conss, 0 add conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
10.39/10.41 c (round 12) 12389 del vars, 45576 del conss, 55 add conss, 9581 chg bounds, 165 chg sides, 368 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
10.59/10.61 c (round 13) 12389 del vars, 45590 del conss, 59 add conss, 9581 chg bounds, 171 chg sides, 391 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
458.81/458.86 c (458.9s) probing: 1000/42393 (2.4%) - 0 fixings, 0 aggregations, 9875280 implications, 0 bound changes
846.12/846.14 c (846.1s) probing: 2000/42393 (4.7%) - 0 fixings, 0 aggregations, 15878737 implications, 0 bound changes
846.52/846.58 c (846.6s) probing: 2001/42393 (4.7%) - 0 fixings, 0 aggregations, 15889618 implications, 0 bound changes
846.52/846.58 c (846.6s) probing aborted: 2000/2000 successive useless probings
846.52/846.58 c presolving (14 rounds):
846.52/846.58 c 12389 deleted vars, 45590 deleted constraints, 59 added constraints, 9581 tightened bounds, 0 added holes, 171 changed sides, 392 changed coefficients
846.52/846.58 c 68014424 implications, 0 cliques
846.52/846.58 c presolved problem has 42393 variables (42393 bin, 0 int, 0 impl, 0 cont) and 138933 constraints
846.52/846.58 c 1128 constraints of type <knapsack>
846.52/846.58 c 116842 constraints of type <setppc>
846.52/846.58 c 20963 constraints of type <logicor>
846.52/846.58 c transformed objective value is always integral (scale: 1)
846.52/846.58 c Presolving Time: 845.18
846.52/846.58 c - non default parameters ----------------------------------------------------------------------
846.52/846.58 c # SCIP version 2.0.1.4
846.52/846.58 c
846.52/846.58 c # frequency for displaying node information lines
846.52/846.58 c # [type: int, range: [-1,2147483647], default: 100]
846.52/846.58 c display/freq = 10000
846.52/846.58 c
846.52/846.58 c # maximal time in seconds to run
846.52/846.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
846.52/846.58 c limits/time = 1800
846.52/846.58 c
846.52/846.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
846.52/846.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
846.52/846.58 c limits/memory = 13950
846.52/846.58 c
846.52/846.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
846.52/846.58 c # [type: int, range: [1,2], default: 1]
846.52/846.58 c timing/clocktype = 2
846.52/846.58 c
846.52/846.58 c # belongs reading time to solving time?
846.52/846.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
846.52/846.58 c timing/reading = TRUE
846.52/846.58 c
846.52/846.58 c # should presolving try to simplify inequalities
846.52/846.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
846.52/846.58 c constraints/linear/simplifyinequalities = TRUE
846.52/846.58 c
846.52/846.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
846.52/846.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
846.52/846.58 c constraints/indicator/addCouplingCons = TRUE
846.52/846.58 c
846.52/846.58 c # should presolving try to simplify knapsacks
846.52/846.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
846.52/846.58 c constraints/knapsack/simplifyinequalities = TRUE
846.52/846.58 c
846.52/846.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
846.52/846.58 c # [type: int, range: [-1,2147483647], default: -1]
846.52/846.58 c separating/rapidlearning/freq = 0
846.52/846.58 c
846.52/846.58 c -----------------------------------------------------------------------------------------------
846.52/846.58 c start solving
846.62/846.61 c
952.02/952.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.02/952.00 c 952s| 1 | 0 | 34644 | - |2029M| 0 | 199 | 42k| 138k| 42k| 138k| 0 | 38 | 0 | 8.000000e+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-3453538-1307122134/watcher-3453538-1307122134 -o /tmp/evaluation-result-3453538-1307122134/solver-3453538-1307122134 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453538-1307122134.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: 1.09 1.61 1.84 2/481 9183
/proc/meminfo: memFree=27379472/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=11572 CPUtime=0 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 1903 0 0 0 0 0 0 0 21 0 1 0 823813077 11849728 1856 33554432000 4194304 9128323 140737000713824 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9183/statm: 2893 1856 400 1205 0 1684 0
[startup+0.050692 s]
/proc/loadavg: 1.09 1.61 1.84 2/481 9183
/proc/meminfo: memFree=27379472/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=19692 CPUtime=0.04 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 3908 0 0 0 4 0 0 0 21 0 1 0 823813077 20164608 3860 33554432000 4194304 9128323 140737000713824 18446744073709551615 6188926 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9183/statm: 4923 3860 400 1205 0 3714 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19692
[startup+0.100683 s]
/proc/loadavg: 1.09 1.61 1.84 2/481 9183
/proc/meminfo: memFree=27379472/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 5859 0 0 0 9 0 0 0 21 0 1 0 823813077 28024832 5810 33554432000 4194304 9128323 140737000713824 18446744073709551615 8012027 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9183/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.300644 s]
/proc/loadavg: 1.09 1.61 1.84 2/481 9183
/proc/meminfo: memFree=27379472/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=43892 CPUtime=0.29 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 10004 0 0 0 29 0 0 0 22 0 1 0 823813077 44945408 9923 33554432000 4194304 9128323 140737000713824 18446744073709551615 6194090 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9183/statm: 10973 9923 400 1205 0 9764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43892
[startup+0.700569 s]
/proc/loadavg: 1.09 1.61 1.84 2/481 9183
/proc/meminfo: memFree=27379472/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=65568 CPUtime=0.69 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 15403 0 0 0 68 1 0 0 24 0 1 0 823813077 67141632 15314 33554432000 4194304 9128323 140737000713824 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9183/statm: 16392 15314 400 1205 0 15183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65568
[startup+1.50042 s]
/proc/loadavg: 1.09 1.61 1.84 3/482 9184
/proc/meminfo: memFree=27221788/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=230724 CPUtime=1.49 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 56296 0 0 0 141 8 0 0 25 0 1 0 823813077 236261376 56089 33554432000 4194304 9128323 140737000713824 18446744073709551615 4239814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 57681 56089 467 1205 0 56472 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 230724
[startup+3.10011 s]
/proc/loadavg: 1.09 1.61 1.84 3/482 9184
/proc/meminfo: memFree=26742528/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=444100 CPUtime=3.09 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 117256 0 0 0 294 15 0 0 25 0 1 0 823813077 454758400 108718 33554432000 4194304 9128323 140737000713824 18446744073709551615 6889762 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 111025 108718 510 1205 0 109816 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 444100
[startup+6.3005 s]
/proc/loadavg: 1.24 1.63 1.85 3/482 9184
/proc/meminfo: memFree=26153508/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=679788 CPUtime=6.29 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 173927 0 0 0 608 21 0 0 25 0 1 0 823813077 696102912 165389 33554432000 4194304 9128323 140737000713824 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 169947 165389 519 1205 0 168738 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 679788
[startup+12.7003 s]
/proc/loadavg: 1.30 1.64 1.85 3/482 9185
/proc/meminfo: memFree=25916936/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=769952 CPUtime=12.69 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 207223 0 0 0 1244 25 0 0 25 0 1 0 823813077 788430848 186602 33554432000 4194304 9128323 140737000713824 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 192488 186602 572 1205 0 191279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 769952
[startup+25.5008 s]
/proc/loadavg: 1.46 1.66 1.85 3/482 9185
/proc/meminfo: memFree=25791104/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=817764 CPUtime=25.5 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 218502 0 0 0 2523 27 0 0 25 0 1 0 823813077 837390336 197815 33554432000 4194304 9128323 140737000713824 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 204441 197815 572 1205 0 203232 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 817764
[startup+51.1009 s]
/proc/loadavg: 1.64 1.68 1.85 3/482 9186
/proc/meminfo: memFree=25647380/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=903896 CPUtime=51.09 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 239469 0 0 0 5079 30 0 0 25 0 1 0 823813077 925589504 218782 33554432000 4194304 9128323 140737000713824 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 225974 218782 572 1205 0 224765 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 903896
[startup+102.318 s]
/proc/loadavg: 1.84 1.73 1.86 3/482 9187
/proc/meminfo: memFree=25371644/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=1044476 CPUtime=102.31 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 274357 0 0 0 10197 34 0 0 25 0 1 0 823813077 1069543424 253208 33554432000 4194304 9128323 140737000713824 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 261119 253208 572 1205 0 259910 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1044476
[startup+162.301 s]
/proc/loadavg: 1.94 1.77 1.86 3/482 9189
/proc/meminfo: memFree=24804816/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=1302780 CPUtime=162.3 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 340122 0 0 0 16187 43 0 0 25 0 1 0 823813077 1334046720 318742 33554432000 4194304 9128323 140737000713824 18446744073709551615 6581551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 325695 318742 572 1205 0 324486 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1302780
[startup+222.3 s]
/proc/loadavg: 1.98 1.81 1.87 3/482 9190
/proc/meminfo: memFree=24437748/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=1491016 CPUtime=222.3 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 386295 0 0 0 22181 49 0 0 25 0 1 0 823813077 1526800384 364915 33554432000 4194304 9128323 140737000713824 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 372754 364915 572 1205 0 371545 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1491016
[startup+282.301 s]
/proc/loadavg: 1.99 1.84 1.87 3/482 9192
/proc/meminfo: memFree=24057664/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=1618540 CPUtime=282.3 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 418307 0 0 0 28175 55 0 0 25 0 1 0 823813077 1657384960 396927 33554432000 4194304 9128323 140737000713824 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 404635 396927 572 1205 0 403426 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1618540
[startup+342.3 s]
/proc/loadavg: 2.16 1.92 1.90 3/482 9193
/proc/meminfo: memFree=23766616/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=1733560 CPUtime=342.3 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 446794 0 0 0 34171 59 0 0 25 0 1 0 823813077 1775165440 425414 33554432000 4194304 9128323 140737000713824 18446744073709551615 4242495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 433390 425414 572 1205 0 432181 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1733560
[startup+402.301 s]
/proc/loadavg: 2.15 1.96 1.91 3/482 9195
/proc/meminfo: memFree=23412820/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=1926132 CPUtime=402.31 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 494742 0 0 0 40164 67 0 0 25 0 1 0 823813077 1972359168 473362 33554432000 4194304 9128323 140737000713824 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 481533 473362 572 1205 0 480324 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1926132
[startup+462.301 s]
/proc/loadavg: 2.05 1.96 1.91 3/482 9197
/proc/meminfo: memFree=23113832/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2025936 CPUtime=462.31 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 519323 0 0 0 46161 70 0 0 25 0 1 0 823813077 2074558464 497943 33554432000 4194304 9128323 140737000713824 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 506484 497943 576 1205 0 505275 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2025936
[startup+522.301 s]
/proc/loadavg: 2.02 1.97 1.91 3/482 9198
/proc/meminfo: memFree=22930872/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2123116 CPUtime=522.32 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 543597 0 0 0 52158 74 0 0 25 0 1 0 823813077 2174070784 522217 33554432000 4194304 9128323 140737000713824 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 530779 522217 576 1205 0 529570 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 2123116
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/482 9200
/proc/meminfo: memFree=22782292/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2196744 CPUtime=582.32 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 561331 0 0 0 58155 77 0 0 25 0 1 0 823813077 2249465856 539951 33554432000 4194304 9128323 140737000713824 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 549186 539951 576 1205 0 547977 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2196744
[startup+642.301 s]
################
# More data... #
################
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704575 0 0 0 106100 134 0 0 25 0 1 0 823813077 2830811136 678584 33554432000 4194304 9128323 140737000713824 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678584 971 1205 0 689907 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 2764464
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/482 9214
/proc/meminfo: memFree=21658836/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1122.34 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 112100 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 2764464
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/482 9216
/proc/meminfo: memFree=21657820/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1182.34 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 118100 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2764464
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/482 9217
/proc/meminfo: memFree=21657172/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1242.34 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 124100 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2764464
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/482 9219
/proc/meminfo: memFree=21657252/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1302.36 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 130102 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 2764464
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/482 9221
/proc/meminfo: memFree=21658592/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1362.35 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 136101 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2764464
[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 1.95 3/482 9222
/proc/meminfo: memFree=21658432/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1422.37 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 142103 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 2764464
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 1.96 3/482 9224
/proc/meminfo: memFree=21658160/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1482.35 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 148101 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2764464
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 1.96 3/482 9225
/proc/meminfo: memFree=21658872/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1542.35 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 154101 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2764464
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 1.96 3/482 9227
/proc/meminfo: memFree=21658848/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1602.36 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 160102 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 2764464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/482 9229
/proc/meminfo: memFree=21658940/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1662.36 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 166102 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2764464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/482 9230
/proc/meminfo: memFree=21659048/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1722.36 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 172102 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2764464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/482 9232
/proc/meminfo: memFree=21656660/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1782.36 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704649 0 0 0 178102 134 0 0 25 0 1 0 823813077 2830811136 678658 33554432000 4194304 9128323 140737000713824 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678658 977 1205 0 689907 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2764464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.96 3/483 9233
/proc/meminfo: memFree=21653924/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1800.07 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704665 0 0 0 179873 134 0 0 25 0 1 0 823813077 2830811136 678670 33554432000 4194304 9128323 140737000713824 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678670 973 1205 0 689907 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2764464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9183
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 1.96 3/484 9234
/proc/meminfo: memFree=21651560/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1801.46 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704701 0 0 0 180012 134 0 0 25 0 1 0 823813077 2830811136 678706 33554432000 4194304 9128323 140737000713824 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678706 973 1205 0 689907 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2764464
[startup+1801.82 s]
/proc/loadavg: 2.00 2.01 1.96 3/484 9234
/proc/meminfo: memFree=21650196/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1801.88 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704701 0 0 0 180054 134 0 0 25 0 1 0 823813077 2830811136 678706 33554432000 4194304 9128323 140737000713824 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678706 973 1205 0 689907 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 2764464
[startup+1802 s]
/proc/loadavg: 2.00 2.01 1.96 3/484 9234
/proc/meminfo: memFree=21650196/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=2764464 CPUtime=1802.06 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4202496 704701 0 0 0 180072 134 0 0 25 0 1 0 823813077 2830811136 678706 33554432000 4194304 9128323 140737000713824 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9183/statm: 691116 678706 973 1205 0 689907 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2764464
[startup+1802.1 s]
/proc/loadavg: 2.00 2.01 1.96 3/484 9234
/proc/meminfo: memFree=21650196/32950928 swapFree=39617324/67111528
[pid=9183] ppid=9181 vsize=0 CPUtime=1802.16 cores=1,3,5,7
/proc/9183/stat : 9183 (scip-2.0.1.4.li) R 9181 9183 7025 0 -1 4203524 704701 0 0 0 180074 142 0 0 25 0 1 0 823813077 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/9183/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.13
CPU time (s): 1802.2
CPU user time (s): 1800.75
CPU system time (s): 1.45278
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2764464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.75
system time used= 1.45278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704701
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= 4470
runsolver used 7.98778 second user time and 20.8238 second system time
The end