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-3452635-1307100038.opb>
9.39/9.49 c original problem has 23848 variables (23848 bin, 0 int, 0 impl, 0 cont) and 1451912 constraints
9.39/9.49 c problem read
9.39/9.49 c presolving settings loaded
13.79/13.85 c presolving:
19.39/19.41 c (round 1) 12122 del vars, 1322528 del conss, 0 add conss, 11680 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 2964772 impls, 0 clqs
19.39/19.47 c (round 2) 12134 del vars, 1329256 del conss, 0 add conss, 11680 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 2964772 impls, 0 clqs
19.39/19.49 c (round 3) 12136 del vars, 1329258 del conss, 0 add conss, 11680 chg bounds, 170 chg sides, 340 chg coeffs, 0 upgd conss, 2964880 impls, 0 clqs
19.99/20.08 c (round 4) 12136 del vars, 1329258 del conss, 0 add conss, 11680 chg bounds, 170 chg sides, 340 chg coeffs, 122654 upgd conss, 2964880 impls, 0 clqs
34.00/34.04 c (34.0s) probing: 1000/11712 (8.5%) - 0 fixings, 0 aggregations, 9765 implications, 0 bound changes
50.00/50.03 c (50.0s) probing: 2000/11712 (17.1%) - 0 fixings, 0 aggregations, 27489 implications, 0 bound changes
50.00/50.05 c (50.1s) probing: 2001/11712 (17.1%) - 0 fixings, 0 aggregations, 27538 implications, 0 bound changes
50.00/50.05 c (50.1s) probing aborted: 2000/2000 successive useless probings
50.00/50.05 c presolving (5 rounds):
50.00/50.05 c 12136 deleted vars, 1329258 deleted constraints, 0 added constraints, 11680 tightened bounds, 0 added holes, 170 changed sides, 340 changed coefficients
50.00/50.05 c 3022484 implications, 0 cliques
50.00/50.05 c presolved problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 122654 constraints
50.00/50.05 c 82508 constraints of type <setppc>
50.00/50.05 c 40146 constraints of type <logicor>
50.00/50.05 c transformed objective value is always integral (scale: 1)
50.00/50.05 c Presolving Time: 39.67
50.00/50.05 c - non default parameters ----------------------------------------------------------------------
50.00/50.05 c # SCIP version 2.0.1.4
50.00/50.05 c
50.00/50.05 c # frequency for displaying node information lines
50.00/50.05 c # [type: int, range: [-1,2147483647], default: 100]
50.00/50.05 c display/freq = 10000
50.00/50.05 c
50.00/50.05 c # maximal time in seconds to run
50.00/50.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
50.00/50.05 c limits/time = 1800
50.00/50.05 c
50.00/50.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
50.00/50.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
50.00/50.05 c limits/memory = 13950
50.00/50.05 c
50.00/50.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
50.00/50.05 c # [type: int, range: [1,2], default: 1]
50.00/50.05 c timing/clocktype = 2
50.00/50.05 c
50.00/50.05 c # belongs reading time to solving time?
50.00/50.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
50.00/50.05 c timing/reading = TRUE
50.00/50.05 c
50.00/50.05 c # should presolving try to simplify inequalities
50.00/50.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
50.00/50.05 c constraints/linear/simplifyinequalities = TRUE
50.00/50.05 c
50.00/50.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
50.00/50.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
50.00/50.05 c constraints/indicator/addCouplingCons = TRUE
50.00/50.05 c
50.00/50.05 c # should presolving try to simplify knapsacks
50.00/50.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
50.00/50.05 c constraints/knapsack/simplifyinequalities = TRUE
50.00/50.05 c
50.00/50.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
50.00/50.05 c # [type: int, range: [-1,2147483647], default: -1]
50.00/50.05 c separating/rapidlearning/freq = 0
50.00/50.05 c
50.00/50.05 c -----------------------------------------------------------------------------------------------
50.00/50.05 c start solving
50.00/50.05 c
50.00/50.08 o 171
50.00/50.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.00/50.08 c t50.1s| 1 | 0 | 0 | - | 690M| 0 | - | 11k| 122k| 0 | 0 | 0 | 0 | 0 | -- | 1.710000e+02 | Inf
50.29/50.33 o 170
50.29/50.33 c b50.3s| 1 | 0 | 0 | - | 755M| 0 | - | 11k| 122k| 11k| 122k| 0 | 0 | 0 | -- | 1.700000e+02 | Inf
117.81/117.82 c 118s| 1 | 0 | 25243 | - | 755M| 0 | 11k| 11k| 122k| 11k| 122k| 0 | 0 | 0 | 9.000000e+00 | 1.700000e+02 |1788.89%
385.50/385.53 c 386s| 1 | 0 | 69800 | - | 758M| 0 |9563 | 11k| 122k| 11k| 124k|2000 | 0 | 0 | 2.451152e+01 | 1.700000e+02 | 593.55%
437.51/437.57 c 438s| 1 | 0 | 78350 | - | 758M| 0 |8440 | 11k| 122k| 11k| 125k|2807 | 0 | 0 | 3.150000e+01 | 1.700000e+02 | 439.68%
466.11/466.20 c 466s| 1 | 0 | 81418 | - | 758M| 0 |8475 | 11k| 122k| 11k| 125k|2852 | 0 | 0 | 3.212500e+01 | 1.700000e+02 | 429.18%
495.91/495.97 c 496s| 1 | 0 | 84274 | - | 758M| 0 |8409 | 11k| 122k| 11k| 125k|2865 | 0 | 0 | 3.316667e+01 | 1.700000e+02 | 412.56%
600.73/600.72 c 601s| 1 | 0 | 88367 | - | 758M| 0 |8489 | 11k| 122k| 11k| 125k|2885 | 0 | 0 | 3.400000e+01 | 1.700000e+02 | 400.00%
659.03/659.02 c 659s| 1 | 0 | 93023 | - | 758M| 0 |8192 | 11k| 122k| 11k| 125k|2892 | 0 | 0 | 3.400000e+01 | 1.700000e+02 | 400.00%
848.32/848.39 c 848s| 1 | 0 | 97102 | - | 758M| 0 |8310 | 11k| 122k| 11k| 125k|2921 | 0 | 0 | 3.400000e+01 | 1.700000e+02 | 400.00%
1038.73/1038.75 c 1039s| 1 | 0 | 98884 | - | 758M| 0 |8205 | 11k| 122k| 11k| 125k|2928 | 0 | 0 | 3.400000e+01 | 1.700000e+02 | 400.00%
1091.63/1091.62 c 1092s| 1 | 0 |103319 | - | 758M| 0 |8176 | 11k| 122k| 11k| 125k|2937 | 0 | 0 | 3.400000e+01 | 1.700000e+02 | 400.00%
1288.03/1288.00 c 1288s| 1 | 0 |105613 | - | 758M| 0 |8185 | 11k| 122k| 11k| 125k|2963 | 0 | 0 | 3.400000e+01 | 1.700000e+02 | 400.00%
1352.64/1352.67 c 1353s| 1 | 2 |105613 | - | 758M| 0 |8185 | 11k| 122k| 11k| 125k|2963 | 0 | 20 | 3.400000e+01 | 1.700000e+02 | 400.00%
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-3452635-1307100038/watcher-3452635-1307100038 -o /tmp/evaluation-result-3452635-1307100038/solver-3452635-1307100038 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452635-1307100038.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.12 2.06 2.01 2/429 22819
/proc/meminfo: memFree=28819724/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=13376 CPUtime=0.01 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 2315 0 0 0 1 0 0 0 22 0 1 0 821604427 13697024 2268 33554432000 4194304 9128323 140733273593184 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 3344 2282 400 1205 0 2135 0
[startup+0.103761 s]
/proc/loadavg: 2.12 2.06 2.01 2/429 22819
/proc/meminfo: memFree=28819724/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=22044 CPUtime=0.1 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 4527 0 0 0 10 0 0 0 23 0 1 0 821604427 22573056 4478 33554432000 4194304 9128323 140733273593184 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 5511 4478 400 1205 0 4302 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22044
[startup+0.200738 s]
/proc/loadavg: 2.12 2.06 2.01 2/429 22819
/proc/meminfo: memFree=28819724/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=26620 CPUtime=0.19 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 5671 0 0 0 19 0 0 0 23 0 1 0 821604427 27258880 5620 33554432000 4194304 9128323 140733273593184 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 6655 5621 400 1205 0 5446 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26620
[startup+0.30072 s]
/proc/loadavg: 2.12 2.06 2.01 2/429 22819
/proc/meminfo: memFree=28819724/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=31464 CPUtime=0.29 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 6886 0 0 0 29 0 0 0 23 0 1 0 821604427 32219136 6833 33554432000 4194304 9128323 140733273593184 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 7866 6833 400 1205 0 6657 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31464
[startup+0.700647 s]
/proc/loadavg: 2.12 2.06 2.01 2/429 22819
/proc/meminfo: memFree=28819724/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=48612 CPUtime=0.69 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 11170 0 0 0 69 0 0 0 25 0 1 0 821604427 49778688 11110 33554432000 4194304 9128323 140733273593184 18446744073709551615 6191635 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 12153 11110 400 1205 0 10944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48612
[startup+1.5005 s]
/proc/loadavg: 2.12 2.06 2.01 3/430 22820
/proc/meminfo: memFree=28756476/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=86620 CPUtime=1.49 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 20688 0 0 0 147 2 0 0 25 0 1 0 821604427 88698880 20613 33554432000 4194304 9128323 140733273593184 18446744073709551615 7929216 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 21655 20613 400 1205 0 20446 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86620
[startup+3.1002 s]
/proc/loadavg: 2.12 2.06 2.01 3/430 22820
/proc/meminfo: memFree=28703560/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=159556 CPUtime=3.09 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 38943 0 0 0 305 4 0 0 25 0 1 0 821604427 163385344 38838 33554432000 4194304 9128323 140733273593184 18446744073709551615 7903674 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 39889 38838 400 1205 0 38680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159556
[startup+6.30061 s]
/proc/loadavg: 2.11 2.06 2.01 3/430 22820
/proc/meminfo: memFree=28554048/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=307700 CPUtime=6.29 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 75977 0 0 0 620 9 0 0 25 0 1 0 821604427 315084800 75812 33554432000 4194304 9128323 140733273593184 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22819/statm: 76925 75812 400 1205 0 75716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307700
[startup+12.7004 s]
/proc/loadavg: 2.10 2.06 2.01 3/430 22821
/proc/meminfo: memFree=27317432/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1681676 CPUtime=12.69 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 417166 0 0 0 1220 49 0 0 25 0 1 0 821604427 1722036224 413699 33554432000 4194304 9128323 140733273593184 18446744073709551615 4208673 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 420419 413704 467 1205 0 419210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1681676
[startup+25.501 s]
/proc/loadavg: 2.08 2.06 2.01 3/430 22821
/proc/meminfo: memFree=27365880/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1491316 CPUtime=25.5 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 493657 0 0 0 2491 59 0 0 25 0 1 0 821604427 1527107584 362758 33554432000 4194304 9128323 140733273593184 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 372829 362758 660 1205 0 371620 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1491316
[startup+51.1003 s]
/proc/loadavg: 2.05 2.05 2.00 3/430 22822
/proc/meminfo: memFree=27343688/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1521204 CPUtime=51.09 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 504615 0 0 0 5049 60 0 0 25 0 1 0 821604427 1557712896 368906 33554432000 4194304 9128323 140733273593184 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 380301 368906 647 1205 0 379092 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1521204
[startup+102.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/430 22823
/proc/meminfo: memFree=27306628/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1570980 CPUtime=102.31 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 515506 0 0 0 10159 72 0 0 25 0 1 0 821604427 1608683520 379232 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392745 379232 1400 1205 0 391536 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1570980
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 22825
/proc/meminfo: memFree=27277144/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1565816 CPUtime=162.3 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525398 0 0 0 16146 84 0 0 25 0 1 0 821604427 1603395584 382245 33554432000 4194304 9128323 140733273593184 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391454 382245 1191 1205 0 390245 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1565816
[startup+222.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22826
/proc/meminfo: memFree=27275860/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1565816 CPUtime=222.31 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525405 0 0 0 22139 92 0 0 25 0 1 0 821604427 1603395584 382245 33554432000 4194304 9128323 140733273593184 18446744073709551615 7316409 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391454 382245 1184 1205 0 390245 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1565816
[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/430 22828
/proc/meminfo: memFree=27274688/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1565816 CPUtime=282.3 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525412 0 0 0 28133 97 0 0 25 0 1 0 821604427 1603395584 382245 33554432000 4194304 9128323 140733273593184 18446744073709551615 7326762 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391454 382245 1177 1205 0 390245 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1565816
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/430 22829
/proc/meminfo: memFree=27278984/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1565816 CPUtime=342.3 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525414 0 0 0 34129 101 0 0 25 0 1 0 821604427 1603395584 382245 33554432000 4194304 9128323 140733273593184 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391454 382245 1175 1205 0 390245 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1565816
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/430 22859
/proc/meminfo: memFree=27135540/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1565816 CPUtime=402.31 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525434 0 0 0 40125 106 0 0 25 0 1 0 821604427 1603395584 382262 33554432000 4194304 9128323 140733273593184 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391454 382262 1185 1205 0 390245 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1565816
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 22861
/proc/meminfo: memFree=27137220/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1565816 CPUtime=462.3 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 46119 111 0 0 25 0 1 0 821604427 1603395584 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391454 382275 690 1205 0 390245 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1565816
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22862
/proc/meminfo: memFree=27123448/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=522.31 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 52114 117 0 0 25 0 1 0 821604427 1603596288 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382275 690 1205 0 390294 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1566012
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 22864
/proc/meminfo: memFree=27130252/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=582.31 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 58107 124 0 0 25 0 1 0 821604427 1603596288 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382275 690 1205 0 390294 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1566012
[startup+642.3 s]
################
# More data... #
################
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 106048 185 0 0 25 0 1 0 821604427 1603596288 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 6280361 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382275 690 1205 0 390294 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1566012
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22878
/proc/meminfo: memFree=27131760/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1122.33 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 112041 192 0 0 25 0 1 0 821604427 1603596288 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382275 690 1205 0 390294 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1566012
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 22880
/proc/meminfo: memFree=27130072/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1182.33 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 118032 201 0 0 25 0 1 0 821604427 1603596288 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382275 690 1205 0 390294 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1566012
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 22881
/proc/meminfo: memFree=27140352/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1242.34 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525953 0 0 0 124023 211 0 0 25 0 1 0 821604427 1603596288 382275 33554432000 4194304 9128323 140733273593184 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382275 690 1205 0 390294 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1566012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22883
/proc/meminfo: memFree=27137684/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1302.33 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525976 0 0 0 130016 217 0 0 25 0 1 0 821604427 1603596288 382296 33554432000 4194304 9128323 140733273593184 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382296 709 1205 0 390294 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1566012
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22885
/proc/meminfo: memFree=27137504/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1362.34 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525979 0 0 0 136010 224 0 0 25 0 1 0 821604427 1603596288 382299 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382299 712 1205 0 390294 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1566012
[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/430 22886
/proc/meminfo: memFree=27139304/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1422.35 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525979 0 0 0 142006 229 0 0 25 0 1 0 821604427 1603596288 382299 33554432000 4194304 9128323 140733273593184 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382299 712 1205 0 390294 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1566012
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/430 22888
/proc/meminfo: memFree=27137048/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1482.34 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525979 0 0 0 147998 236 0 0 25 0 1 0 821604427 1603596288 382299 33554432000 4194304 9128323 140733273593184 18446744073709551615 6941034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382299 712 1205 0 390294 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1566012
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22889
/proc/meminfo: memFree=27136880/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1542.36 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525979 0 0 0 153994 242 0 0 25 0 1 0 821604427 1603596288 382299 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382299 712 1205 0 390294 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1566012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22891
/proc/meminfo: memFree=27135352/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1566012 CPUtime=1602.34 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 525979 0 0 0 159984 250 0 0 25 0 1 0 821604427 1603596288 382299 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391503 382299 712 1205 0 390294 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1566012
[startup+1662.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/430 22893
/proc/meminfo: memFree=27144512/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1564180 CPUtime=1662.35 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 531825 0 0 0 165977 258 0 0 25 0 1 0 821604427 1601720320 380206 33554432000 4194304 9128323 140733273593184 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 391045 380206 712 1205 0 389836 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1564180
[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/430 22894
/proc/meminfo: memFree=27138912/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1722.35 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 539343 0 0 0 171970 265 0 0 25 0 1 0 821604427 1607073792 381420 33554432000 4194304 9128323 140733273593184 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 381420 712 1205 0 391143 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1569408
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/430 22896
/proc/meminfo: memFree=27133972/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1782.35 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 541067 0 0 0 177964 271 0 0 25 0 1 0 821604427 1607073792 383144 33554432000 4194304 9128323 140733273593184 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 383144 712 1205 0 391143 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1569408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 22896
/proc/meminfo: memFree=27134220/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1800.07 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 541068 0 0 0 179734 273 0 0 25 0 1 0 821604427 1607073792 383145 33554432000 4194304 9128323 140733273593184 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 383145 712 1205 0 391143 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1569408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22819
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/431 22897
/proc/meminfo: memFree=27133592/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1800.76 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 541068 0 0 0 179803 273 0 0 25 0 1 0 821604427 1607073792 383145 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 383145 712 1205 0 391143 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1569408
[startup+1801.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/431 22897
/proc/meminfo: memFree=27133592/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1801.55 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 541068 0 0 0 179882 273 0 0 25 0 1 0 821604427 1607073792 383145 33554432000 4194304 9128323 140733273593184 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 383145 712 1205 0 391143 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 1569408
[startup+1801.92 s]
/proc/loadavg: 2.02 2.03 2.00 3/431 22897
/proc/meminfo: memFree=27133684/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1801.97 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 541068 0 0 0 179924 273 0 0 25 0 1 0 821604427 1607073792 383145 33554432000 4194304 9128323 140733273593184 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 383145 712 1205 0 391143 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 1569408
[startup+1802 s]
/proc/loadavg: 2.02 2.03 2.00 3/431 22897
/proc/meminfo: memFree=27133684/32951124 swapFree=43324008/67111528
[pid=22819] ppid=22817 vsize=1569408 CPUtime=1802.05 cores=1,3,5,7
/proc/22819/stat : 22819 (scip-2.0.1.4.li) R 22817 22819 22076 0 -1 4202496 541068 0 0 0 179932 273 0 0 25 0 1 0 821604427 1607073792 383145 33554432000 4194304 9128323 140733273593184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22819/statm: 392352 383145 712 1205 0 391143 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1569408
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.14
CPU user time (s): 1799.34
CPU system time (s): 2.79557
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1888492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 2.79557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541068
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= 2
involuntary context switches= 4486
runsolver used 7.43487 second user time and 18.0123 second system time
The end