0.00/0.00 c SCIP version 2.0.1.5 [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-3451828-1307117946.opb>
1.59/1.66 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245087 constraints
1.59/1.66 c problem read
1.59/1.66 c presolving settings loaded
2.09/2.14 c presolving:
8.49/8.54 c (round 1) 7157 del vars, 21128 del conss, 0 add conss, 5477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16645844 impls, 0 clqs
11.29/11.35 c (round 2) 14673 del vars, 51593 del conss, 0 add conss, 12593 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16685275 impls, 0 clqs
12.19/12.23 c (round 3) 17423 del vars, 64162 del conss, 0 add conss, 14246 chg bounds, 77 chg sides, 93 chg coeffs, 0 upgd conss, 16701988 impls, 0 clqs
12.59/12.66 c (round 4) 18766 del vars, 69711 del conss, 0 add conss, 15090 chg bounds, 145 chg sides, 190 chg coeffs, 0 upgd conss, 16713853 impls, 0 clqs
12.89/12.93 c (round 5) 19583 del vars, 72843 del conss, 0 add conss, 15593 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16720730 impls, 0 clqs
12.99/13.11 c (round 6) 20114 del vars, 74972 del conss, 0 add conss, 15883 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16726927 impls, 0 clqs
13.21/13.25 c (round 7) 20463 del vars, 76373 del conss, 0 add conss, 16075 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16731707 impls, 0 clqs
13.29/13.37 c (round 8) 20700 del vars, 77328 del conss, 0 add conss, 16209 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16734444 impls, 0 clqs
13.39/13.48 c (round 9) 20923 del vars, 78205 del conss, 0 add conss, 16339 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16738254 impls, 0 clqs
13.49/13.57 c (round 10) 21111 del vars, 78985 del conss, 0 add conss, 16450 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16740948 impls, 0 clqs
13.59/13.67 c (round 11) 21291 del vars, 79623 del conss, 0 add conss, 16559 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16744592 impls, 0 clqs
13.69/13.75 c (round 12) 21429 del vars, 80226 del conss, 0 add conss, 16649 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16746102 impls, 0 clqs
13.79/13.84 c (round 13) 21511 del vars, 80608 del conss, 0 add conss, 16700 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16746955 impls, 0 clqs
13.89/13.96 c (round 14) 21551 del vars, 80795 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16747173 impls, 0 clqs
13.99/14.01 c (round 15) 21567 del vars, 80896 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16747261 impls, 0 clqs
14.58/14.67 c (round 16) 21567 del vars, 80904 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 164183 upgd conss, 16747261 impls, 0 clqs
15.69/15.70 c (round 17) 21567 del vars, 80931 del conss, 63 add conss, 16731 chg bounds, 268 chg sides, 502 chg coeffs, 164183 upgd conss, 16747261 impls, 0 clqs
544.70/544.79 c (544.8s) probing: 1000/51275 (2.0%) - 0 fixings, 0 aggregations, 11963354 implications, 0 bound changes
985.01/985.03 c (985.0s) probing: 2000/51275 (3.9%) - 0 fixings, 0 aggregations, 18466880 implications, 0 bound changes
985.31/985.31 c (985.3s) probing: 2001/51275 (3.9%) - 0 fixings, 0 aggregations, 18469286 implications, 0 bound changes
985.31/985.31 c (985.3s) probing aborted: 2000/2000 successive useless probings
985.31/985.31 c presolving (18 rounds):
985.31/985.31 c 21567 deleted vars, 80945 deleted constraints, 63 added constraints, 16731 tightened bounds, 0 added holes, 268 changed sides, 505 changed coefficients
985.31/985.31 c 84569993 implications, 0 cliques
985.31/985.31 c presolved problem has 51275 variables (51275 bin, 0 int, 0 impl, 0 cont) and 164205 constraints
985.31/985.31 c 1085 constraints of type <knapsack>
985.31/985.31 c 137826 constraints of type <setppc>
985.31/985.31 c 25294 constraints of type <logicor>
985.31/985.31 c transformed objective value is always integral (scale: 1)
985.31/985.31 c Presolving Time: 983.30
985.31/985.31 c - non default parameters ----------------------------------------------------------------------
985.31/985.31 c # SCIP version 2.0.1.5
985.31/985.31 c
985.31/985.31 c # frequency for displaying node information lines
985.31/985.31 c # [type: int, range: [-1,2147483647], default: 100]
985.31/985.31 c display/freq = 10000
985.31/985.31 c
985.31/985.31 c # maximal time in seconds to run
985.31/985.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
985.31/985.31 c limits/time = 1800
985.31/985.31 c
985.31/985.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
985.31/985.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
985.31/985.31 c limits/memory = 13950
985.31/985.31 c
985.31/985.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
985.31/985.31 c # [type: int, range: [1,2], default: 1]
985.31/985.31 c timing/clocktype = 2
985.31/985.31 c
985.31/985.31 c # belongs reading time to solving time?
985.31/985.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
985.31/985.31 c timing/reading = TRUE
985.31/985.31 c
985.31/985.31 c # should presolving try to simplify inequalities
985.31/985.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
985.31/985.31 c constraints/linear/simplifyinequalities = TRUE
985.31/985.31 c
985.31/985.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
985.31/985.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
985.31/985.31 c constraints/indicator/addCouplingCons = TRUE
985.31/985.31 c
985.31/985.31 c # should presolving try to simplify knapsacks
985.31/985.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
985.31/985.31 c constraints/knapsack/simplifyinequalities = TRUE
985.31/985.31 c
985.31/985.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
985.31/985.31 c # [type: int, range: [-1,2147483647], default: -1]
985.31/985.31 c separating/rapidlearning/freq = 0
985.31/985.31 c
985.31/985.31 c -----------------------------------------------------------------------------------------------
985.31/985.31 c start solving
985.31/985.35 c
1205.52/1205.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.52/1205.54 c 1206s| 1 | 0 | 48011 | - |2500M| 0 | 816 | 51k| 164k| 51k| 164k| 0 | 29 | 0 | 1.120000e+02 | -- | 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-3451828-1307117946/watcher-3451828-1307117946 -o /tmp/evaluation-result-3451828-1307117946/solver-3451828-1307117946 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451828-1307117946.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.01 2.00 3/511 662
/proc/meminfo: memFree=15502776/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=7764 CPUtime=0 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 813 0 0 0 0 0 0 0 25 0 1 0 804210767 7950336 767 33554432000 4194304 9163163 140733976340112 18446744073709551615 8041965 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/662/statm: 1941 781 233 1214 0 723 0
[startup+0.04943 s]
/proc/loadavg: 2.00 2.01 2.00 3/511 662
/proc/meminfo: memFree=15502776/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=21296 CPUtime=0.04 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 4293 0 0 0 4 0 0 0 25 0 1 0 804210767 21807104 4247 33554432000 4194304 9163163 140733976340112 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/662/statm: 5324 4247 395 1214 0 4106 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21296
[startup+0.100433 s]
/proc/loadavg: 2.00 2.01 2.00 3/511 662
/proc/meminfo: memFree=15502776/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=30076 CPUtime=0.09 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 804210767 30797824 6473 33554432000 4194304 9163163 140733976340112 18446744073709551615 4337755 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/662/statm: 7519 6473 395 1214 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30076
[startup+0.300413 s]
/proc/loadavg: 2.00 2.01 2.00 3/511 662
/proc/meminfo: memFree=15502776/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=56892 CPUtime=0.29 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 13204 0 0 0 28 1 0 0 25 0 1 0 804210767 58257408 13158 33554432000 4194304 9163163 140733976340112 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/662/statm: 14223 13158 395 1214 0 13005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56892
[startup+0.700342 s]
/proc/loadavg: 2.00 2.01 2.00 3/511 662
/proc/meminfo: memFree=15502776/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=80900 CPUtime=0.68 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 19182 0 0 0 67 1 0 0 25 0 1 0 804210767 82841600 19136 33554432000 4194304 9163163 140733976340112 18446744073709551615 8039298 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/662/statm: 20225 19136 395 1214 0 19007 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 80900
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 663
/proc/meminfo: memFree=15400096/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=151488 CPUtime=1.49 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 36779 0 0 0 145 4 0 0 25 0 1 0 804210767 155123712 36733 33554432000 4194304 9163163 140733976340112 18446744073709551615 6165461 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/662/statm: 37872 36733 395 1214 0 36654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151488
[startup+3.10092 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 664
/proc/meminfo: memFree=15133744/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=503756 CPUtime=3.09 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 123521 0 0 0 294 15 0 0 25 0 1 0 804210767 515846144 123407 33554432000 4194304 9163163 140733976340112 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 125939 123407 506 1214 0 124721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 503756
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 664
/proc/meminfo: memFree=14790044/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=773200 CPUtime=6.29 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 189724 0 0 0 606 23 0 0 25 0 1 0 804210767 791756800 189610 33554432000 4194304 9163163 140733976340112 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 193300 189610 506 1214 0 192082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 773200
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 664
/proc/meminfo: memFree=14611140/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=881108 CPUtime=12.69 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 215373 0 0 0 1243 26 0 0 25 0 1 0 804210767 902254592 215002 33554432000 4194304 9163163 140733976340112 18446744073709551615 4352424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 220277 215002 518 1214 0 219059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 881108
[startup+25.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 664
/proc/meminfo: memFree=14401184/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=970956 CPUtime=25.49 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 250247 0 0 0 2519 30 0 0 25 0 1 0 804210767 994258944 236693 33554432000 4194304 9163163 140733976340112 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 242739 236693 570 1214 0 241521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 970956
[startup+51.1005 s]
/proc/loadavg: 2.31 2.07 2.02 3/512 665
/proc/meminfo: memFree=14221696/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=1026560 CPUtime=51.09 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 263416 0 0 0 5078 31 0 0 25 0 1 0 804210767 1051197440 249862 33554432000 4194304 9163163 140733976340112 18446744073709551615 6563562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 256640 249862 570 1214 0 255422 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1026560
[startup+102.319 s]
/proc/loadavg: 2.27 2.09 2.03 3/512 666
/proc/meminfo: memFree=13857180/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=1210144 CPUtime=102.31 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 308743 0 0 0 10194 37 0 0 25 0 1 0 804210767 1239187456 295123 33554432000 4194304 9163163 140733976340112 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 302536 295123 570 1214 0 301318 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1210144
[startup+162.301 s]
/proc/loadavg: 2.10 2.07 2.02 3/512 668
/proc/meminfo: memFree=13490952/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=1429476 CPUtime=162.29 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 362264 0 0 0 16186 43 0 0 25 0 1 0 804210767 1463783424 348644 33554432000 4194304 9163163 140733976340112 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 357369 348644 570 1214 0 356151 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1429476
[startup+222.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/512 669
/proc/meminfo: memFree=13133924/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=1612556 CPUtime=222.29 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 408344 0 0 0 22181 48 0 0 25 0 1 0 804210767 1651257344 394724 33554432000 4194304 9163163 140733976340112 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 403139 394724 570 1214 0 401921 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1612556
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/512 671
/proc/meminfo: memFree=12787424/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=1857764 CPUtime=282.3 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 469829 0 0 0 28172 58 0 0 25 0 1 0 804210767 1902350336 456209 33554432000 4194304 9163163 140733976340112 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 464441 456209 570 1214 0 463223 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1857764
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 673
/proc/meminfo: memFree=12505520/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=1999552 CPUtime=342.3 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 504319 0 0 0 34167 63 0 0 25 0 1 0 804210767 2047541248 490699 33554432000 4194304 9163163 140733976340112 18446744073709551615 4207590 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 499888 490699 570 1214 0 498670 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1999552
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 677
/proc/meminfo: memFree=12202188/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=2178248 CPUtime=402.3 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 548469 0 0 0 40160 70 0 0 25 0 1 0 804210767 2230525952 534849 33554432000 4194304 9163163 140733976340112 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 544562 534849 570 1214 0 543344 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2178248
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 679
/proc/meminfo: memFree=12072436/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=2242032 CPUtime=462.3 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 564394 0 0 0 46158 72 0 0 25 0 1 0 804210767 2295840768 550774 33554432000 4194304 9163163 140733976340112 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 560508 550774 570 1214 0 559290 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2242032
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 680
/proc/meminfo: memFree=11839516/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=2355756 CPUtime=522.3 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 592712 0 0 0 52154 76 0 0 25 0 1 0 804210767 2412294144 579092 33554432000 4194304 9163163 140733976340112 18446744073709551615 5458921 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 588939 579092 570 1214 0 587721 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2355756
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 682
/proc/meminfo: memFree=11559860/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=2487592 CPUtime=582.3 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 625979 0 0 0 58149 81 0 0 25 0 1 0 804210767 2547294208 612359 33554432000 4194304 9163163 140733976340112 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 621898 612359 574 1214 0 620680 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2487592
[startup+642.301 s]
################
# More data... #
################
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 819166 0 0 0 106120 112 0 0 25 0 1 0 804210767 3340595200 799734 33554432000 4194304 9163163 140733976340112 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 815575 799734 682 1214 0 814357 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3262300
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 696
/proc/meminfo: memFree=9915324/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3279216 CPUtime=1122.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 825239 0 0 0 112117 115 0 0 25 0 1 0 804210767 3357917184 805313 33554432000 4194304 9163163 140733976340112 18446744073709551615 7349008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 819804 805313 715 1214 0 818586 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3279216
[startup+1182.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/512 698
/proc/meminfo: memFree=9899536/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3281740 CPUtime=1182.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 825406 0 0 0 118112 120 0 0 25 0 1 0 804210767 3360501760 805474 33554432000 4194304 9163163 140733976340112 18446744073709551615 7349135 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 820435 805474 709 1214 0 819217 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3281740
[startup+1242.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/512 700
/proc/meminfo: memFree=9868120/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3290736 CPUtime=1242.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 840717 0 0 0 124107 125 0 0 25 0 1 0 804210767 3369713664 810319 33554432000 4194304 9163163 140733976340112 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 822684 810319 3184 1214 0 821466 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3290736
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/512 701
/proc/meminfo: memFree=9903896/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3290736 CPUtime=1302.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 840720 0 0 0 130105 127 0 0 25 0 1 0 804210767 3369713664 810321 33554432000 4194304 9163163 140733976340112 18446744073709551615 7345882 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 822684 810321 3183 1214 0 821466 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3290736
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 703
/proc/meminfo: memFree=9899884/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3290736 CPUtime=1362.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 840720 0 0 0 136102 130 0 0 25 0 1 0 804210767 3369713664 810321 33554432000 4194304 9163163 140733976340112 18446744073709551615 7345865 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 822684 810321 3183 1214 0 821466 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3290736
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 704
/proc/meminfo: memFree=9899980/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3290736 CPUtime=1422.34 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 840720 0 0 0 142101 133 0 0 25 0 1 0 804210767 3369713664 810321 33554432000 4194304 9163163 140733976340112 18446744073709551615 7361188 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 822684 810321 3183 1214 0 821466 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3290736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 706
/proc/meminfo: memFree=9920408/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1482.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841481 0 0 0 148094 138 0 0 25 0 1 0 804210767 3330392064 802776 33554432000 4194304 9163163 140733976340112 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802776 823 1214 0 811866 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3252336
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 708
/proc/meminfo: memFree=9920504/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1542.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841625 0 0 0 154094 138 0 0 25 0 1 0 804210767 3330392064 802890 33554432000 4194304 9163163 140733976340112 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802890 844 1214 0 811866 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3252336
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 709
/proc/meminfo: memFree=9919960/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1602.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841642 0 0 0 160094 138 0 0 25 0 1 0 804210767 3330392064 802907 33554432000 4194304 9163163 140733976340112 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802907 844 1214 0 811866 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3252336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/512 711
/proc/meminfo: memFree=9918920/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1662.32 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841651 0 0 0 166094 138 0 0 25 0 1 0 804210767 3330392064 802916 33554432000 4194304 9163163 140733976340112 18446744073709551615 6217846 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802916 844 1214 0 811866 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3252336
[startup+1722.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/512 740
/proc/meminfo: memFree=12517860/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1722.33 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841652 0 0 0 172094 139 0 0 25 0 1 0 804210767 3330392064 802917 33554432000 4194304 9163163 140733976340112 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802917 844 1214 0 811866 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3252336
[startup+1782.3 s]
/proc/loadavg: 2.13 2.02 2.00 3/512 742
/proc/meminfo: memFree=12339488/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1782.34 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841652 0 0 0 178095 139 0 0 25 0 1 0 804210767 3330392064 802917 33554432000 4194304 9163163 140733976340112 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802917 844 1214 0 811866 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3252336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.26 2.05 2.01 3/512 742
/proc/meminfo: memFree=12294224/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1800.04 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841652 0 0 0 179865 139 0 0 25 0 1 0 804210767 3330392064 802917 33554432000 4194304 9163163 140733976340112 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802917 844 1214 0 811866 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3252336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -662
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.24 2.05 2.01 3/513 743
/proc/meminfo: memFree=12293472/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1801.44 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841662 0 0 0 180005 139 0 0 25 0 1 0 804210767 3330392064 802924 33554432000 4194304 9163163 140733976340112 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802924 841 1214 0 811866 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3252336
[startup+1801.82 s]
/proc/loadavg: 2.24 2.05 2.01 3/513 743
/proc/meminfo: memFree=12290868/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1801.85 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841662 0 0 0 180046 139 0 0 25 0 1 0 804210767 3330392064 802924 33554432000 4194304 9163163 140733976340112 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802924 841 1214 0 811866 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3252336
[startup+1802 s]
/proc/loadavg: 2.24 2.05 2.01 3/513 743
/proc/meminfo: memFree=12290868/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=3252336 CPUtime=1802.04 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4202496 841662 0 0 0 180065 139 0 0 25 0 1 0 804210767 3330392064 802924 33554432000 4194304 9163163 140733976340112 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/662/statm: 813084 802924 841 1214 0 811866 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3252336
[startup+1802.1 s]
/proc/loadavg: 2.24 2.05 2.01 3/513 743
/proc/meminfo: memFree=12290868/32951124 swapFree=67111204/67111528
[pid=662] ppid=660 vsize=0 CPUtime=1802.14 cores=0,2,4,6
/proc/662/stat : 662 (scip-2.0.1.4b.l) R 660 662 30576 0 -1 4203524 841662 0 0 0 180067 147 0 0 25 0 1 0 804210767 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/662/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.16
CPU time (s): 1802.2
CPU user time (s): 1800.67
CPU system time (s): 1.52677
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3298536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.67
system time used= 1.52677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841662
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= 1580
runsolver used 9.50555 second user time and 20.1069 second system time
The end