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-3453539-1307121256.opb>
1.20/1.23 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192794 constraints
1.20/1.23 c problem read
1.20/1.23 c presolving settings loaded
1.79/1.86 c presolving:
6.69/6.74 c (round 1) 4969 del vars, 14521 del conss, 0 add conss, 3917 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12967468 impls, 0 clqs
8.09/8.14 c (round 2) 8965 del vars, 32287 del conss, 0 add conss, 7695 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12991957 impls, 0 clqs
8.44/8.51 c (round 3) 10546 del vars, 39352 del conss, 0 add conss, 8612 chg bounds, 29 chg sides, 25 chg coeffs, 0 upgd conss, 13005215 impls, 0 clqs
8.69/8.76 c (round 4) 11436 del vars, 42899 del conss, 0 add conss, 9158 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13014796 impls, 0 clqs
8.90/8.93 c (round 5) 11974 del vars, 45127 del conss, 0 add conss, 9507 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13019553 impls, 0 clqs
9.01/9.03 c (round 6) 12322 del vars, 46644 del conss, 0 add conss, 9706 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13022323 impls, 0 clqs
9.09/9.12 c (round 7) 12524 del vars, 47481 del conss, 0 add conss, 9826 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13024318 impls, 0 clqs
9.09/9.19 c (round 8) 12657 del vars, 48065 del conss, 0 add conss, 9909 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13025371 impls, 0 clqs
9.19/9.25 c (round 9) 12747 del vars, 48455 del conss, 0 add conss, 9975 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13025743 impls, 0 clqs
9.29/9.31 c (round 10) 12791 del vars, 48666 del conss, 0 add conss, 10004 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13025883 impls, 0 clqs
9.29/9.36 c (round 11) 12813 del vars, 48778 del conss, 0 add conss, 10020 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13025923 impls, 0 clqs
9.39/9.40 c (round 12) 12821 del vars, 48821 del conss, 0 add conss, 10026 chg bounds, 44 chg sides, 42 chg coeffs, 0 upgd conss, 13025929 impls, 0 clqs
9.89/9.95 c (round 13) 12821 del vars, 48827 del conss, 0 add conss, 10026 chg bounds, 44 chg sides, 42 chg coeffs, 143967 upgd conss, 13025929 impls, 0 clqs
10.29/10.35 c (round 14) 12821 del vars, 48827 del conss, 18 add conss, 10026 chg bounds, 79 chg sides, 208 chg coeffs, 143967 upgd conss, 13025929 impls, 0 clqs
541.08/541.11 c (541.1s) probing: 1000/41961 (2.4%) - 1 fixings, 1 aggregations, 11855036 implications, 0 bound changes
976.69/976.71 c (976.7s) probing: 2000/41961 (4.8%) - 1 fixings, 1 aggregations, 19612070 implications, 0 bound changes
1024.39/1024.47 c (1024.5s) probing: 2114/41961 (5.0%) - 1 fixings, 1 aggregations, 20407144 implications, 0 bound changes
1024.39/1024.47 c (1024.5s) probing aborted: 2000/2000 successive useless probings
1024.39/1024.47 c presolving (15 rounds):
1024.39/1024.47 c 12823 deleted vars, 48830 deleted constraints, 18 added constraints, 10026 tightened bounds, 0 added holes, 79 changed sides, 213 changed coefficients
1024.39/1024.47 c 82149217 implications, 0 cliques
1024.39/1024.47 c presolved problem has 41959 variables (41959 bin, 0 int, 0 impl, 0 cont) and 143982 constraints
1024.39/1024.47 c 1152 constraints of type <knapsack>
1024.39/1024.47 c 122077 constraints of type <setppc>
1024.39/1024.47 c 20753 constraints of type <logicor>
1024.39/1024.47 c transformed objective value is always integral (scale: 1)
1024.39/1024.47 c Presolving Time: 1023.07
1024.39/1024.47 c - non default parameters ----------------------------------------------------------------------
1024.39/1024.47 c # SCIP version 2.0.1.4
1024.39/1024.47 c
1024.39/1024.47 c # frequency for displaying node information lines
1024.39/1024.47 c # [type: int, range: [-1,2147483647], default: 100]
1024.39/1024.47 c display/freq = 10000
1024.39/1024.47 c
1024.39/1024.47 c # maximal time in seconds to run
1024.39/1024.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1024.39/1024.47 c limits/time = 1800
1024.39/1024.47 c
1024.39/1024.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1024.39/1024.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1024.39/1024.47 c limits/memory = 13950
1024.39/1024.47 c
1024.39/1024.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
1024.39/1024.47 c # [type: int, range: [1,2], default: 1]
1024.39/1024.47 c timing/clocktype = 2
1024.39/1024.47 c
1024.39/1024.47 c # belongs reading time to solving time?
1024.39/1024.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.39/1024.47 c timing/reading = TRUE
1024.39/1024.47 c
1024.39/1024.47 c # should presolving try to simplify inequalities
1024.39/1024.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.39/1024.47 c constraints/linear/simplifyinequalities = TRUE
1024.39/1024.47 c
1024.39/1024.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1024.39/1024.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.39/1024.47 c constraints/indicator/addCouplingCons = TRUE
1024.39/1024.47 c
1024.39/1024.47 c # should presolving try to simplify knapsacks
1024.39/1024.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.39/1024.47 c constraints/knapsack/simplifyinequalities = TRUE
1024.39/1024.47 c
1024.39/1024.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1024.39/1024.47 c # [type: int, range: [-1,2147483647], default: -1]
1024.39/1024.47 c separating/rapidlearning/freq = 0
1024.39/1024.47 c
1024.39/1024.47 c -----------------------------------------------------------------------------------------------
1024.39/1024.47 c start solving
1024.49/1024.50 c
1148.30/1148.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.30/1148.34 c 1148s| 1 | 0 | 36954 | - |2390M| 0 | 397 | 41k| 143k| 41k| 143k| 0 | 13 | 0 | 7.800000e+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-3453539-1307121256/watcher-3453539-1307121256 -o /tmp/evaluation-result-3453539-1307121256/solver-3453539-1307121256 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453539-1307121256.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.92 2.00 1.88 2/434 1795
/proc/meminfo: memFree=12454816/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=8236 CPUtime=0 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 925 0 0 0 0 0 0 0 25 0 1 0 823725225 8433664 878 33554432000 4194304 9128323 140733688058880 18446744073709551615 7982117 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1795/statm: 2059 890 381 1205 0 850 0
[startup+0.116221 s]
/proc/loadavg: 1.92 2.00 1.88 2/434 1795
/proc/meminfo: memFree=12454816/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=27536 CPUtime=0.1 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 5928 0 0 0 10 0 0 0 25 0 1 0 823725225 28196864 5851 33554432000 4194304 9128323 140733688058880 18446744073709551615 7447233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1795/statm: 6884 5851 400 1205 0 5675 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27536
[startup+0.200207 s]
/proc/loadavg: 1.92 2.00 1.88 2/434 1795
/proc/meminfo: memFree=12454816/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=39312 CPUtime=0.18 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 8868 0 0 0 18 0 0 0 25 0 1 0 823725225 40255488 8789 33554432000 4194304 9128323 140733688058880 18446744073709551615 7929109 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1795/statm: 9828 8789 400 1205 0 8619 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 39312
[startup+0.301191 s]
/proc/loadavg: 1.92 2.00 1.88 2/434 1795
/proc/meminfo: memFree=12454816/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=44024 CPUtime=0.29 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 10038 0 0 0 28 1 0 0 25 0 1 0 823725225 45080576 9957 33554432000 4194304 9128323 140733688058880 18446744073709551615 6163976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1795/statm: 11006 9957 400 1205 0 9797 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44024
[startup+0.701121 s]
/proc/loadavg: 1.92 2.00 1.88 2/434 1795
/proc/meminfo: memFree=12454816/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=65332 CPUtime=0.69 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 15353 0 0 0 68 1 0 0 25 0 1 0 823725225 66899968 15264 33554432000 4194304 9128323 140733688058880 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1795/statm: 16333 15264 400 1205 0 15124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65332
[startup+1.50098 s]
/proc/loadavg: 1.92 2.00 1.88 3/435 1797
/proc/meminfo: memFree=12287656/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=235656 CPUtime=1.49 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 57672 0 0 0 143 6 0 0 25 0 1 0 823725225 241311744 57471 33554432000 4194304 9128323 140733688058880 18446744073709551615 4443928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 58914 57471 467 1205 0 57705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 235656
[startup+3.10071 s]
/proc/loadavg: 1.92 2.00 1.88 3/435 1797
/proc/meminfo: memFree=11806536/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=452772 CPUtime=3.09 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 119839 0 0 0 296 13 0 0 25 0 1 0 823725225 463638528 111163 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 113193 111163 510 1205 0 111984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 452772
[startup+6.30115 s]
/proc/loadavg: 2.09 2.03 1.89 4/435 1797
/proc/meminfo: memFree=11231784/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=691208 CPUtime=6.29 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 177306 0 0 0 611 18 0 0 25 0 1 0 823725225 707796992 168630 33554432000 4194304 9128323 140733688058880 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 172802 168630 519 1205 0 171593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 691208
[startup+12.701 s]
/proc/loadavg: 2.32 2.08 1.91 4/435 1797
/proc/meminfo: memFree=10983700/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=787180 CPUtime=12.69 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 213362 0 0 0 1246 23 0 0 25 0 1 0 823725225 806072320 191643 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 196795 191643 615 1205 0 195586 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 787180
[startup+25.5168 s]
/proc/loadavg: 2.25 2.07 1.91 3/435 1797
/proc/meminfo: memFree=10860628/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=838472 CPUtime=25.5 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 225348 0 0 0 2524 26 0 0 25 0 1 0 823725225 858595328 203497 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 209618 203497 615 1205 0 208409 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 838472
[startup+51.1004 s]
/proc/loadavg: 2.16 2.07 1.91 3/435 1798
/proc/meminfo: memFree=10708356/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=927908 CPUtime=51.07 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 246928 0 0 0 5079 28 0 0 25 0 1 0 823725225 950177792 225077 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 231977 225077 615 1205 0 230768 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 927908
[startup+102.3 s]
/proc/loadavg: 2.07 2.05 1.91 3/435 1799
/proc/meminfo: memFree=10413728/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=1073980 CPUtime=102.27 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 283318 0 0 0 10195 32 0 0 25 0 1 0 823725225 1099755520 260939 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 268495 260939 615 1205 0 267286 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1073980
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 1.91 3/435 1801
/proc/meminfo: memFree=10010468/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=1313300 CPUtime=162.28 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 343824 0 0 0 16188 40 0 0 25 0 1 0 823725225 1344819200 321412 33554432000 4194304 9128323 140733688058880 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 328325 321412 615 1205 0 327116 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1313300
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.91 3/435 1802
/proc/meminfo: memFree=9540244/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=1568204 CPUtime=222.28 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 407176 0 0 0 22182 46 0 0 25 0 1 0 823725225 1605840896 384764 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 392051 384764 615 1205 0 390842 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1568204
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/435 1804
/proc/meminfo: memFree=9205312/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=1823352 CPUtime=282.28 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 470506 0 0 0 28173 55 0 0 25 0 1 0 823725225 1867112448 448094 33554432000 4194304 9128323 140733688058880 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 455838 448094 615 1205 0 454629 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1823352
[startup+342.317 s]
/proc/loadavg: 2.00 2.02 1.91 3/435 1806
/proc/meminfo: memFree=8937836/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=2005228 CPUtime=342.29 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 515856 0 0 0 34168 61 0 0 25 0 1 0 823725225 2053353472 493444 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 501307 493444 615 1205 0 500098 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2005228
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/435 1807
/proc/meminfo: memFree=8688208/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=2184008 CPUtime=402.28 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 559938 0 0 0 40160 68 0 0 25 0 1 0 823725225 2236424192 537526 33554432000 4194304 9128323 140733688058880 18446744073709551615 5494326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 546002 537526 615 1205 0 544793 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2184008
[startup+462.301 s]
/proc/loadavg: 2.07 2.04 1.92 3/435 1809
/proc/meminfo: memFree=8436476/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=2287628 CPUtime=462.28 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 585759 0 0 0 46157 71 0 0 25 0 1 0 823725225 2342531072 563347 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 571907 563347 615 1205 0 570698 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2287628
[startup+522.301 s]
/proc/loadavg: 2.13 2.07 1.94 3/435 1810
/proc/meminfo: memFree=8226900/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=2463636 CPUtime=522.29 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 629670 0 0 0 52151 78 0 0 25 0 1 0 823725225 2522763264 607258 33554432000 4194304 9128323 140733688058880 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 615909 607258 615 1205 0 614700 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2463636
[startup+582.3 s]
/proc/loadavg: 2.08 2.07 1.94 3/435 1812
/proc/meminfo: memFree=8111684/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=2540572 CPUtime=582.28 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 649222 0 0 0 58148 80 0 0 25 0 1 0 823725225 2601545728 626810 33554432000 4194304 9128323 140733688058880 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 635143 626810 619 1205 0 633934 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2540572
[startup+642.301 s]
################
# More data... #
################
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 852955 0 0 0 106115 114 0 0 25 0 1 0 823725225 3444342784 826286 33554432000 4194304 9128323 140733688058880 18446744073709551615 7315929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 840904 826286 747 1205 0 839695 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 3363616
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/435 1826
/proc/meminfo: memFree=6920404/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1122.29 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 864406 0 0 0 112107 122 0 0 25 0 1 0 823725225 3479379968 836798 33554432000 4194304 9128323 140733688058880 18446744073709551615 7316083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 836798 742 1205 0 848249 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 3397832
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/435 1828
/proc/meminfo: memFree=6870548/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1182.29 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 866746 0 0 0 118099 130 0 0 25 0 1 0 823725225 3479379968 839121 33554432000 4194304 9128323 140733688058880 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839121 735 1205 0 848249 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 3397832
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/435 1830
/proc/meminfo: memFree=6835432/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1242.3 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 866747 0 0 0 124095 135 0 0 25 0 1 0 823725225 3479379968 839122 33554432000 4194304 9128323 140733688058880 18446744073709551615 7312733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839122 735 1205 0 848249 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3397832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/435 1831
/proc/meminfo: memFree=6800948/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1302.3 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 130084 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 3397832
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/435 1833
/proc/meminfo: memFree=6766332/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1362.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 136085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3397832
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/435 1834
/proc/meminfo: memFree=6737308/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1422.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 142085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3397832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/435 1836
/proc/meminfo: memFree=6707040/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1482.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 148085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3397832
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/435 1838
/proc/meminfo: memFree=6667972/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1542.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 154085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3397832
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/435 1839
/proc/meminfo: memFree=6631624/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1602.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 160085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3397832
[startup+1662.32 s]
/proc/loadavg: 2.21 2.06 1.98 3/435 1841
/proc/meminfo: memFree=6570728/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1662.33 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 166087 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3397832
[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 1.98 3/435 1842
/proc/meminfo: memFree=6447208/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1722.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 172085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 3397832
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 1.98 3/435 1844
/proc/meminfo: memFree=6396220/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1782.31 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 178085 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 3397832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 1.98 3/436 1845
/proc/meminfo: memFree=6344876/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1800.02 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867091 0 0 0 179856 146 0 0 25 0 1 0 823725225 3479379968 839465 33554432000 4194304 9128323 140733688058880 18446744073709551615 6243376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839465 841 1205 0 848249 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3397832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1795
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 2.03 2.04 1.98 2/434 1846
/proc/meminfo: memFree=9108604/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1800.82 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867148 0 0 0 179936 146 0 0 25 0 1 0 823725225 3479379968 839522 33554432000 4194304 9128323 140733688058880 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839522 841 1205 0 848249 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 3397832
[startup+1801.6 s]
/proc/loadavg: 2.03 2.04 1.98 2/434 1846
/proc/meminfo: memFree=9108604/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1801.61 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867148 0 0 0 180015 146 0 0 25 0 1 0 823725225 3479379968 839522 33554432000 4194304 9128323 140733688058880 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839522 841 1205 0 848249 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 3397832
[startup+1802.02 s]
/proc/loadavg: 2.03 2.04 1.98 2/434 1847
/proc/meminfo: memFree=9108604/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=3397832 CPUtime=1802.03 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4202496 867148 0 0 0 180057 146 0 0 25 0 1 0 823725225 3479379968 839522 33554432000 4194304 9128323 140733688058880 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1795/statm: 849458 839522 841 1205 0 848249 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3397832
[startup+1802.1 s]
/proc/loadavg: 2.03 2.04 1.98 2/434 1847
/proc/meminfo: memFree=9108604/32951132 swapFree=67093840/67111528
[pid=1795] ppid=1793 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/1795/stat : 1795 (scip-2.0.1.4.li) R 1793 1795 27022 0 -1 4203524 867148 0 0 0 180057 154 0 0 25 0 1 0 823725225 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/1795/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.17
CPU user time (s): 1800.58
CPU system time (s): 1.59176
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3397832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.58
system time used= 1.59176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 867148
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= 3388
runsolver used 7.69883 second user time and 18.6852 second system time
The end