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-3453526-1307121193.opb>
1.10/1.19 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176329 constraints
1.10/1.19 c problem read
1.10/1.19 c presolving settings loaded
1.79/1.81 c presolving:
6.19/6.29 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
7.59/7.63 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
7.98/8.01 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
8.18/8.28 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
8.39/8.47 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
8.48/8.57 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
8.59/8.66 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
8.69/8.72 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
8.69/8.77 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
8.79/8.82 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
8.79/8.86 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
8.79/8.91 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
8.91/8.95 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
9.39/9.48 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
10.19/10.24 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
414.71/414.76 c (414.8s) probing: 1000/43052 (2.3%) - 3 fixings, 1 aggregations, 8955179 implications, 0 bound changes
767.12/767.16 c (767.2s) probing: 2000/43052 (4.6%) - 3 fixings, 1 aggregations, 14145213 implications, 0 bound changes
824.42/824.40 c (824.4s) probing: 2141/43052 (5.0%) - 3 fixings, 1 aggregations, 14900383 implications, 0 bound changes
824.42/824.40 c (824.4s) probing aborted: 2000/2000 successive useless probings
824.42/824.40 c presolving (16 rounds):
824.42/824.40 c 11734 deleted vars, 42354 deleted constraints, 7 added constraints, 9175 tightened bounds, 0 added holes, 42 changed sides, 157 changed coefficients
824.42/824.40 c 60719490 implications, 0 cliques
824.42/824.40 c presolved problem has 43048 variables (43048 bin, 0 int, 0 impl, 0 cont) and 133982 constraints
824.42/824.40 c 1178 constraints of type <knapsack>
824.42/824.40 c 111493 constraints of type <setppc>
824.42/824.40 c 21311 constraints of type <logicor>
824.42/824.40 c transformed objective value is always integral (scale: 1)
824.42/824.40 c Presolving Time: 823.04
824.42/824.40 c - non default parameters ----------------------------------------------------------------------
824.42/824.40 c # SCIP version 2.0.1.4
824.42/824.40 c
824.42/824.40 c # frequency for displaying node information lines
824.42/824.40 c # [type: int, range: [-1,2147483647], default: 100]
824.42/824.40 c display/freq = 10000
824.42/824.40 c
824.42/824.40 c # maximal time in seconds to run
824.42/824.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
824.42/824.40 c limits/time = 1800
824.42/824.40 c
824.42/824.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
824.42/824.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
824.42/824.40 c limits/memory = 13950
824.42/824.40 c
824.42/824.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
824.42/824.40 c # [type: int, range: [1,2], default: 1]
824.42/824.40 c timing/clocktype = 2
824.42/824.40 c
824.42/824.40 c # belongs reading time to solving time?
824.42/824.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
824.42/824.40 c timing/reading = TRUE
824.42/824.40 c
824.42/824.40 c # should presolving try to simplify inequalities
824.42/824.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
824.42/824.40 c constraints/linear/simplifyinequalities = TRUE
824.42/824.40 c
824.42/824.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
824.42/824.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
824.42/824.40 c constraints/indicator/addCouplingCons = TRUE
824.42/824.40 c
824.42/824.40 c # should presolving try to simplify knapsacks
824.42/824.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
824.42/824.40 c constraints/knapsack/simplifyinequalities = TRUE
824.42/824.40 c
824.42/824.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
824.42/824.40 c # [type: int, range: [-1,2147483647], default: -1]
824.42/824.40 c separating/rapidlearning/freq = 0
824.42/824.40 c
824.42/824.40 c -----------------------------------------------------------------------------------------------
824.42/824.40 c start solving
824.42/824.43 c
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-3453526-1307121193/watcher-3453526-1307121193 -o /tmp/evaluation-result-3453526-1307121193/solver-3453526-1307121193 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453526-1307121193.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.02 1.99 3/554 5698
/proc/meminfo: memFree=24973348/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=10296 CPUtime=0 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 1561 0 0 0 0 0 0 0 25 0 1 0 823716382 10543104 1515 33554432000 4194304 9128323 140735287257120 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5698/statm: 2574 1515 400 1205 0 1365 0
[startup+0.119858 s]
/proc/loadavg: 2.00 2.02 1.99 3/554 5698
/proc/meminfo: memFree=24973348/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=29396 CPUtime=0.1 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 6394 0 0 0 10 0 0 0 25 0 1 0 823716382 30101504 6318 33554432000 4194304 9128323 140735287257120 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5698/statm: 7349 6318 400 1205 0 6140 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29396
[startup+0.200844 s]
/proc/loadavg: 2.00 2.02 1.99 3/554 5698
/proc/meminfo: memFree=24973348/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=39312 CPUtime=0.19 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 8867 0 0 0 18 1 0 0 25 0 1 0 823716382 40255488 8789 33554432000 4194304 9128323 140735287257120 18446744073709551615 6165382 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5698/statm: 9828 8789 400 1205 0 8619 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39312
[startup+0.30082 s]
/proc/loadavg: 2.00 2.02 1.99 3/554 5698
/proc/meminfo: memFree=24973348/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=43892 CPUtime=0.29 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 10003 0 0 0 28 1 0 0 25 0 1 0 823716382 44945408 9923 33554432000 4194304 9128323 140735287257120 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5698/statm: 10973 9923 400 1205 0 9764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43892
[startup+0.700744 s]
/proc/loadavg: 2.00 2.02 1.99 3/554 5698
/proc/meminfo: memFree=24973348/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=67680 CPUtime=0.69 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 15932 0 0 0 67 2 0 0 25 0 1 0 823716382 69304320 15844 33554432000 4194304 9128323 140735287257120 18446744073709551615 5375762 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5698/statm: 16920 15844 400 1205 0 15711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67680
[startup+1.50059 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=24794780/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=240812 CPUtime=1.49 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 58600 0 0 0 142 7 0 0 25 0 1 0 823716382 246591488 58396 33554432000 4194304 9128323 140735287257120 18446744073709551615 4443632 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 60203 58396 467 1205 0 58994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 240812
[startup+3.10029 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=24287388/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=443864 CPUtime=3.09 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 117004 0 0 0 295 14 0 0 25 0 1 0 823716382 454516736 108469 33554432000 4194304 9128323 140735287257120 18446744073709551615 6588970 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 110966 108469 510 1205 0 109757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 443864
[startup+6.30067 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=23668964/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=666100 CPUtime=6.29 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 170383 0 0 0 610 19 0 0 25 0 1 0 823716382 682086400 161591 33554432000 4194304 9128323 140735287257120 18446744073709551615 5980948 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 166525 161591 523 1205 0 165316 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 666100
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=23421620/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=756916 CPUtime=12.69 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 203523 0 0 0 1246 23 0 0 25 0 1 0 823716382 775081984 183062 33554432000 4194304 9128323 140735287257120 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 189229 183062 568 1205 0 188020 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 756916
[startup+25.501 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5700
/proc/meminfo: memFree=23260560/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=789052 CPUtime=25.49 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 211437 0 0 0 2525 24 0 0 25 0 1 0 823716382 807989248 190811 33554432000 4194304 9128323 140735287257120 18446744073709551615 6588927 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 197263 190811 568 1205 0 196054 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 789052
[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 1.99 3/555 5700
/proc/meminfo: memFree=23122860/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=880036 CPUtime=51.09 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 233414 0 0 0 5082 27 0 0 25 0 1 0 823716382 901156864 212788 33554432000 4194304 9128323 140735287257120 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 220009 212788 568 1205 0 218800 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 880036
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/555 5702
/proc/meminfo: memFree=22778248/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1078464 CPUtime=102.3 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 282589 0 0 0 10197 33 0 0 25 0 1 0 823716382 1104347136 261567 33554432000 4194304 9128323 140735287257120 18446744073709551615 6588968 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 269616 261567 568 1205 0 268407 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1078464
[startup+162.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/555 5703
/proc/meminfo: memFree=22414660/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1279276 CPUtime=162.3 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 333503 0 0 0 16191 39 0 0 25 0 1 0 823716382 1309978624 312316 33554432000 4194304 9128323 140735287257120 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 319819 312316 568 1205 0 318610 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1279276
[startup+222.321 s]
/proc/loadavg: 2.18 2.07 2.01 3/555 5705
/proc/meminfo: memFree=22098072/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1431544 CPUtime=222.31 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 371728 0 0 0 22188 43 0 0 25 0 1 0 823716382 1465901056 350541 33554432000 4194304 9128323 140735287257120 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 357886 350541 568 1205 0 356677 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1431544
[startup+282.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/555 5706
/proc/meminfo: memFree=21823140/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1549188 CPUtime=282.3 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 401070 0 0 0 28183 47 0 0 25 0 1 0 823716382 1586368512 379883 33554432000 4194304 9128323 140735287257120 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 387297 379883 568 1205 0 386088 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1549188
[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 5708
/proc/meminfo: memFree=21538176/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1682392 CPUtime=342.3 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 433661 0 0 0 34179 51 0 0 25 0 1 0 823716382 1722769408 412474 33554432000 4194304 9128323 140735287257120 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 420598 412474 568 1205 0 419389 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1682392
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5710
/proc/meminfo: memFree=21332324/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1745932 CPUtime=402.3 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 449156 0 0 0 40177 53 0 0 25 0 1 0 823716382 1787834368 427969 33554432000 4194304 9128323 140735287257120 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 436483 427969 568 1205 0 435274 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1745932
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5711
/proc/meminfo: memFree=21144556/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1817368 CPUtime=462.31 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 466796 0 0 0 46176 55 0 0 25 0 1 0 823716382 1860984832 445576 33554432000 4194304 9128323 140735287257120 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 454342 445576 572 1205 0 453133 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1817368
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5713
/proc/meminfo: memFree=21029080/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=1866912 CPUtime=522.31 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 480365 0 0 0 52174 57 0 0 25 0 1 0 823716382 1911717888 459145 33554432000 4194304 9128323 140735287257120 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 466728 459145 572 1205 0 465519 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1866912
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5714
/proc/meminfo: memFree=20683836/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2060056 CPUtime=582.31 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 528073 0 0 0 58168 63 0 0 25 0 1 0 823716382 2109497344 506853 33554432000 4194304 9128323 140735287257120 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 515014 506853 572 1205 0 513805 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2060056
[startup+642.301 s]
################
# More data... #
################
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651940 0 0 0 100143 90 0 0 25 0 1 0 823716382 2612576256 626586 33554432000 4194304 9128323 140735287257120 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626586 736 1205 0 636627 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2551344
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5727
/proc/meminfo: memFree=19635576/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1062.33 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651956 0 0 0 106141 92 0 0 25 0 1 0 823716382 2612576256 626602 33554432000 4194304 9128323 140735287257120 18446744073709551615 7315934 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626602 736 1205 0 636627 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2551344
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5729
/proc/meminfo: memFree=19590416/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1122.33 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651969 0 0 0 112140 93 0 0 25 0 1 0 823716382 2612576256 626608 33554432000 4194304 9128323 140735287257120 18446744073709551615 7284975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626608 729 1205 0 636627 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2551344
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5730
/proc/meminfo: memFree=19525904/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1182.33 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651972 0 0 0 118137 96 0 0 25 0 1 0 823716382 2612576256 626611 33554432000 4194304 9128323 140735287257120 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626611 729 1205 0 636627 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2551344
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/555 5732
/proc/meminfo: memFree=19481608/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1242.33 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651972 0 0 0 124136 97 0 0 25 0 1 0 823716382 2612576256 626611 33554432000 4194304 9128323 140735287257120 18446744073709551615 7316204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626611 729 1205 0 636627 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2551344
[startup+1302.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/555 5734
/proc/meminfo: memFree=19385116/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1302.34 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651980 0 0 0 130133 101 0 0 25 0 1 0 823716382 2612576256 626619 33554432000 4194304 9128323 140735287257120 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626619 729 1205 0 636627 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2551344
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/555 5735
/proc/meminfo: memFree=19333896/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1362.34 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651982 0 0 0 136131 103 0 0 25 0 1 0 823716382 2612576256 626621 33554432000 4194304 9128323 140735287257120 18446744073709551615 7320989 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626621 729 1205 0 636627 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2551344
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5737
/proc/meminfo: memFree=19275340/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1422.35 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651988 0 0 0 142130 105 0 0 25 0 1 0 823716382 2612576256 626627 33554432000 4194304 9128323 140735287257120 18446744073709551615 7315279 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5698/statm: 637836 626627 729 1205 0 636627 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2551344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5738
/proc/meminfo: memFree=19194592/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1482.33 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651989 0 0 0 148125 108 0 0 25 0 1 0 823716382 2612576256 626628 33554432000 4194304 9128323 140735287257120 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626628 729 1205 0 636627 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2551344
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5740
/proc/meminfo: memFree=19092628/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1542.35 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651991 0 0 0 154125 110 0 0 25 0 1 0 823716382 2612576256 626630 33554432000 4194304 9128323 140735287257120 18446744073709551615 7315282 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626630 729 1205 0 636627 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2551344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5742
/proc/meminfo: memFree=19028608/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1602.34 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651992 0 0 0 160122 112 0 0 25 0 1 0 823716382 2612576256 626631 33554432000 4194304 9128323 140735287257120 18446744073709551615 7316453 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626631 729 1205 0 636627 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2551344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5743
/proc/meminfo: memFree=18904844/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1662.34 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651994 0 0 0 166120 114 0 0 25 0 1 0 823716382 2612576256 626633 33554432000 4194304 9128323 140735287257120 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626633 729 1205 0 636627 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2551344
[startup+1722.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/555 5745
/proc/meminfo: memFree=18858568/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1722.34 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 651999 0 0 0 172117 117 0 0 25 0 1 0 823716382 2612576256 626637 33554432000 4194304 9128323 140735287257120 18446744073709551615 7267679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626637 728 1205 0 636627 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2551344
[startup+1782.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/555 5746
/proc/meminfo: memFree=18753516/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1782.35 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 652002 0 0 0 178115 120 0 0 25 0 1 0 823716382 2612576256 626640 33554432000 4194304 9128323 140735287257120 18446744073709551615 7316389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626640 728 1205 0 636627 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2551344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.15 2.07 2.02 5/555 5747
/proc/meminfo: memFree=18717056/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1800.06 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 652003 0 0 0 179885 121 0 0 25 0 1 0 823716382 2612576256 626641 33554432000 4194304 9128323 140735287257120 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626641 728 1205 0 636627 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2551344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5698
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.15 2.07 2.02 2/555 5749
/proc/meminfo: memFree=22476364/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1801.55 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 652003 0 0 0 180034 121 0 0 25 0 1 0 823716382 2612576256 626641 33554432000 4194304 9128323 140735287257120 18446744073709551615 7284969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626641 728 1205 0 636627 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 2551344
[startup+1801.92 s]
/proc/loadavg: 2.15 2.07 2.02 2/554 5749
/proc/meminfo: memFree=22476372/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=2551344 CPUtime=1801.97 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4202496 652003 0 0 0 180076 121 0 0 25 0 1 0 823716382 2612576256 626641 33554432000 4194304 9128323 140735287257120 18446744073709551615 7314655 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5698/statm: 637836 626641 728 1205 0 636627 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 2551344
[startup+1802.1 s]
/proc/loadavg: 2.15 2.07 2.02 2/554 5749
/proc/meminfo: memFree=22476372/32950928 swapFree=67056580/67111528
[pid=5698] ppid=5696 vsize=0 CPUtime=1802.14 cores=0,2,4,6
/proc/5698/stat : 5698 (scip-2.0.1.4.li) R 5696 5698 3492 0 -1 4203524 652003 0 0 0 180086 128 0 0 25 0 1 0 823716382 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/5698/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.19
CPU user time (s): 1800.87
CPU system time (s): 1.3268
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2551344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.87
system time used= 1.3268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 652003
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= 3040
runsolver used 10.1635 second user time and 22.6836 second system time
The end