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-3450912-1307098436.opb>
12.49/12.58 c original problem has 27027 variables (27027 bin, 0 int, 0 impl, 0 cont) and 1883063 constraints
12.49/12.58 c problem read
12.49/12.58 c presolving settings loaded
14.69/14.79 c presolving:
22.59/22.66 c (round 1) 14491 del vars, 1733117 del conss, 0 add conss, 14007 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 3308286 impls, 0 clqs
22.69/22.73 c (round 2) 14500 del vars, 1743543 del conss, 0 add conss, 14007 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 3308286 impls, 0 clqs
22.69/22.76 c (round 3) 14502 del vars, 1743545 del conss, 0 add conss, 14007 chg bounds, 173 chg sides, 346 chg coeffs, 0 upgd conss, 3308458 impls, 0 clqs
23.49/23.50 c (round 4) 14502 del vars, 1743545 del conss, 0 add conss, 14007 chg bounds, 173 chg sides, 346 chg coeffs, 139518 upgd conss, 3308458 impls, 0 clqs
39.89/39.93 c (39.9s) probing: 1000/12525 (8.0%) - 0 fixings, 0 aggregations, 5480 implications, 0 bound changes
59.20/59.27 c (59.3s) probing: 2000/12525 (16.0%) - 0 fixings, 0 aggregations, 23704 implications, 0 bound changes
59.20/59.29 c (59.3s) probing: 2001/12525 (16.0%) - 0 fixings, 0 aggregations, 23739 implications, 0 bound changes
59.20/59.29 c (59.3s) probing aborted: 2000/2000 successive useless probings
59.20/59.29 c presolving (5 rounds):
59.20/59.29 c 14502 deleted vars, 1743545 deleted constraints, 0 added constraints, 14007 tightened bounds, 0 added holes, 173 changed sides, 346 changed coefficients
59.20/59.29 c 3357266 implications, 0 cliques
59.20/59.29 c presolved problem has 12525 variables (12525 bin, 0 int, 0 impl, 0 cont) and 139518 constraints
59.20/59.29 c 93808 constraints of type <setppc>
59.20/59.29 c 45710 constraints of type <logicor>
59.20/59.29 c transformed objective value is always integral (scale: 1)
59.20/59.29 c Presolving Time: 44.55
59.20/59.29 c - non default parameters ----------------------------------------------------------------------
59.20/59.29 c # SCIP version 2.0.1.5
59.20/59.29 c
59.20/59.29 c # frequency for displaying node information lines
59.20/59.29 c # [type: int, range: [-1,2147483647], default: 100]
59.20/59.29 c display/freq = 10000
59.20/59.29 c
59.20/59.29 c # maximal time in seconds to run
59.20/59.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
59.20/59.29 c limits/time = 1800
59.20/59.29 c
59.20/59.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
59.20/59.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
59.20/59.29 c limits/memory = 13950
59.20/59.29 c
59.20/59.29 c # default clock type (1: CPU user seconds, 2: wall clock time)
59.20/59.29 c # [type: int, range: [1,2], default: 1]
59.20/59.29 c timing/clocktype = 2
59.20/59.29 c
59.20/59.29 c # belongs reading time to solving time?
59.20/59.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
59.20/59.29 c timing/reading = TRUE
59.20/59.29 c
59.20/59.29 c # should presolving try to simplify inequalities
59.20/59.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
59.20/59.29 c constraints/linear/simplifyinequalities = TRUE
59.20/59.29 c
59.20/59.29 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
59.20/59.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
59.20/59.29 c constraints/indicator/addCouplingCons = TRUE
59.20/59.29 c
59.20/59.29 c # should presolving try to simplify knapsacks
59.20/59.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
59.20/59.29 c constraints/knapsack/simplifyinequalities = TRUE
59.20/59.29 c
59.20/59.29 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
59.20/59.29 c # [type: int, range: [-1,2147483647], default: -1]
59.20/59.29 c separating/rapidlearning/freq = 0
59.20/59.29 c
59.20/59.29 c -----------------------------------------------------------------------------------------------
59.20/59.29 c start solving
59.30/59.30 c
59.30/59.33 o 176
59.30/59.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.30/59.33 c t59.3s| 1 | 0 | 0 | - |1027M| 0 | - | 12k| 139k| 0 | 0 | 0 | 0 | 0 | -- | 1.760000e+02 | Inf
173.40/173.50 c 173s| 1 | 0 | 30063 | - |1099M| 0 | 11k| 12k| 139k| 12k| 139k| 0 | 0 | 0 | 1.000000e+01 | 1.760000e+02 |1660.00%
480.21/480.22 c 480s| 1 | 0 | 76758 | - |1102M| 0 | 10k| 12k| 139k| 12k| 141k|2000 | 0 | 0 | 1.822533e+01 | 1.760000e+02 | 865.69%
538.51/538.53 c 539s| 1 | 0 | 88463 | - |1102M| 0 |9214 | 12k| 139k| 12k| 142k|2754 | 0 | 0 | 3.325000e+01 | 1.760000e+02 | 429.32%
583.23/583.29 c 583s| 1 | 0 | 93122 | - |1102M| 0 |9240 | 12k| 139k| 12k| 142k|2778 | 0 | 0 | 3.475000e+01 | 1.760000e+02 | 406.47%
627.81/627.88 c 628s| 1 | 0 | 97422 | - |1102M| 0 |8902 | 12k| 139k| 12k| 142k|2816 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
778.93/779.00 c 779s| 1 | 0 |102745 | - |1102M| 0 |9125 | 12k| 139k| 12k| 142k|2827 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
914.12/914.18 c 914s| 1 | 0 |106895 | - |1102M| 0 |9076 | 12k| 139k| 12k| 142k|2903 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
966.72/966.77 c 967s| 1 | 0 |111361 | - |1102M| 0 |8921 | 12k| 139k| 12k| 142k|2912 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
1312.23/1312.21 c 1312s| 1 | 0 |115208 | - |1102M| 0 |8856 | 12k| 139k| 12k| 142k|2922 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
1650.34/1650.35 c 1650s| 1 | 0 |119011 | - |1102M| 0 |8912 | 12k| 139k| 12k| 142k|2959 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
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-3450912-1307098436/watcher-3450912-1307098436 -o /tmp/evaluation-result-3450912-1307098436/solver-3450912-1307098436 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450912-1307098436.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.01 2.03 2.00 2/424 24149
/proc/meminfo: memFree=25800028/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=14556 CPUtime=0 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 2629 0 0 0 0 0 0 0 22 0 1 0 821441936 14905344 2582 33554432000 4194304 9163163 140734604291728 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 3639 2582 395 1214 0 2421 0
[startup+0.071584 s]
/proc/loadavg: 2.01 2.03 2.00 2/424 24149
/proc/meminfo: memFree=25800028/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=25668 CPUtime=0.06 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 5383 0 0 0 6 0 0 0 22 0 1 0 821441936 26284032 5336 33554432000 4194304 9163163 140734604291728 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 6417 5336 395 1214 0 5199 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25668
[startup+0.100614 s]
/proc/loadavg: 2.01 2.03 2.00 2/424 24149
/proc/meminfo: memFree=25800028/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=27120 CPUtime=0.09 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 5750 0 0 0 9 0 0 0 22 0 1 0 821441936 27770880 5703 33554432000 4194304 9163163 140734604291728 18446744073709551615 6165412 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 6780 5703 395 1214 0 5562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27120
[startup+0.300608 s]
/proc/loadavg: 2.01 2.03 2.00 2/424 24149
/proc/meminfo: memFree=25800028/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=40404 CPUtime=0.29 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 9117 0 0 0 29 0 0 0 23 0 1 0 821441936 41373696 9051 33554432000 4194304 9163163 140734604291728 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 10101 9051 395 1214 0 8883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40404
[startup+0.700531 s]
/proc/loadavg: 2.01 2.03 2.00 2/424 24149
/proc/meminfo: memFree=25800028/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=62812 CPUtime=0.69 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 14707 0 0 0 68 1 0 0 25 0 1 0 821441936 64319488 14641 33554432000 4194304 9163163 140734604291728 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 15703 14641 395 1214 0 14485 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62812
[startup+1.50036 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24150
/proc/meminfo: memFree=25664740/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=109648 CPUtime=1.49 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 26415 0 0 0 146 3 0 0 25 0 1 0 821441936 112279552 26349 33554432000 4194304 9163163 140734604291728 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 27412 26349 395 1214 0 26194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109648
[startup+3.10107 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24150
/proc/meminfo: memFree=25306380/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=201260 CPUtime=3.1 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 49299 0 0 0 303 7 0 0 25 0 1 0 821441936 206090240 49233 33554432000 4194304 9163163 140734604291728 18446744073709551615 7962232 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 50315 49233 395 1214 0 49097 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 201260
[startup+6.30049 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24150
/proc/meminfo: memFree=25119656/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=386928 CPUtime=6.29 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 95631 0 0 0 617 12 0 0 25 0 1 0 821441936 396214272 95565 33554432000 4194304 9163163 140734604291728 18446744073709551615 8031124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24149/statm: 96732 95565 395 1214 0 95514 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386928
[startup+12.7013 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24150
/proc/meminfo: memFree=24688560/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=837256 CPUtime=12.7 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 207849 0 0 0 1243 27 0 0 25 0 1 0 821441936 857350144 207688 33554432000 4194304 9163163 140734604291728 18446744073709551615 4207745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 209314 207688 432 1214 0 208096 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 837256
[startup+25.516 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24150
/proc/meminfo: memFree=23950648/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1470776 CPUtime=25.51 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 521314 0 0 0 2486 65 0 0 25 0 1 0 821441936 1506074624 363558 33554432000 4194304 9163163 140734604291728 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 367694 363558 672 1214 0 366476 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 1470776
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24151
/proc/meminfo: memFree=23945776/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1470776 CPUtime=51.09 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 521318 0 0 0 5044 65 0 0 25 0 1 0 821441936 1506074624 363562 33554432000 4194304 9163163 140734604291728 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 367694 363562 676 1214 0 366476 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1470776
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24152
/proc/meminfo: memFree=23798924/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622824 CPUtime=102.29 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 565471 0 0 0 10157 72 0 0 25 0 1 0 821441936 1661771776 399172 33554432000 4194304 9163163 140734604291728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405706 399172 1271 1214 0 404488 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1622824
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24154
/proc/meminfo: memFree=23794308/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622824 CPUtime=162.3 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 565496 0 0 0 16154 76 0 0 25 0 1 0 821441936 1661771776 399197 33554432000 4194304 9163163 140734604291728 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405706 399197 1271 1214 0 404488 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1622824
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24156
/proc/meminfo: memFree=23708028/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=222.31 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 576799 0 0 0 22151 80 0 0 25 0 1 0 821441936 1661833216 399669 33554432000 4194304 9163163 140734604291728 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 399669 1595 1214 0 404503 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1622884
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24157
/proc/meminfo: memFree=23794916/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=282.3 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 576911 0 0 0 28147 83 0 0 25 0 1 0 821441936 1661833216 399670 33554432000 4194304 9163163 140734604291728 18446744073709551615 7349118 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 399670 1484 1214 0 404503 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1622884
[startup+342.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24159
/proc/meminfo: memFree=23795640/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=342.32 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 576943 0 0 0 34145 87 0 0 25 0 1 0 821441936 1661833216 399670 33554432000 4194304 9163163 140734604291728 18446744073709551615 7317888 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 399670 1452 1214 0 404503 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 1622884
[startup+402.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/425 24160
/proc/meminfo: memFree=23787180/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=402.3 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 576953 0 0 0 40140 90 0 0 25 0 1 0 821441936 1661833216 399670 33554432000 4194304 9163163 140734604291728 18446744073709551615 6974871 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 399670 1442 1214 0 404503 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1622884
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/425 24171
/proc/meminfo: memFree=23791396/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=462.31 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 576961 0 0 0 46138 93 0 0 25 0 1 0 821441936 1661833216 399670 33554432000 4194304 9163163 140734604291728 18446744073709551615 7317967 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 399670 1434 1214 0 404503 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1622884
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/425 24173
/proc/meminfo: memFree=23779716/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=522.31 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 579954 0 0 0 52134 97 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 903 1214 0 404503 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1622884
[startup+582.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/425 24174
/proc/meminfo: memFree=23778812/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=582.31 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 58131 100 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7348200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1622884
[startup+642.301 s]
################
# More data... #
################
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 106096 137 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 8045625 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1622884
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 24192
/proc/meminfo: memFree=23789404/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1122.33 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 112092 141 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7051373 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1622884
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 24193
/proc/meminfo: memFree=23789500/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1182.32 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 118086 146 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 8045832 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1622884
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24195
/proc/meminfo: memFree=23793088/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1242.32 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 124081 151 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1622884
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/425 24196
/proc/meminfo: memFree=23786868/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1302.33 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 130078 155 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7357709 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1622884
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24198
/proc/meminfo: memFree=23788832/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1362.33 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 136075 158 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1622884
[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 24200
/proc/meminfo: memFree=23784208/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1422.33 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 142072 161 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1622884
[startup+1482.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/425 24201
/proc/meminfo: memFree=23783936/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1482.33 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 148067 166 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1622884
[startup+1542.3 s]
/proc/loadavg: 2.25 2.11 2.03 3/425 24203
/proc/meminfo: memFree=23783796/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1542.35 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 154063 172 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1622884
[startup+1602.3 s]
/proc/loadavg: 2.25 2.12 2.03 3/425 24204
/proc/meminfo: memFree=23784140/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1602.34 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580162 0 0 0 160057 177 0 0 25 0 1 0 821441936 1661833216 402108 33554432000 4194304 9163163 140734604291728 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402108 695 1214 0 404503 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1622884
[startup+1662.32 s]
/proc/loadavg: 2.16 2.11 2.03 3/425 24206
/proc/meminfo: memFree=23783876/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1662.36 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 166056 180 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 1622884
[startup+1722.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/425 24208
/proc/meminfo: memFree=23780248/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1722.34 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 172051 183 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7361475 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1622884
[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/425 24209
/proc/meminfo: memFree=23776388/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1782.35 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 178049 186 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1622884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.07 2.02 2/423 24211
/proc/meminfo: memFree=24271404/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1800.06 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 179820 186 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7345840 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1622884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24149
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 1.93 2.05 2.01 3/423 24215
/proc/meminfo: memFree=24274612/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1801.14 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 179928 186 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1801.14
Current children cumulated vsize (KiB) 1622884
[startup+1801.5 s]
/proc/loadavg: 1.93 2.05 2.01 3/423 24215
/proc/meminfo: memFree=24274612/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1801.54 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 179968 186 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7358204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1622884
[startup+1801.9 s]
/proc/loadavg: 1.93 2.05 2.01 3/423 24215
/proc/meminfo: memFree=24274744/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1801.95 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 180009 186 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7358192 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 1622884
[startup+1802.02 s]
/proc/loadavg: 1.93 2.05 2.01 3/423 24215
/proc/meminfo: memFree=24274744/32951124 swapFree=44043512/67111528
[pid=24149] ppid=24147 vsize=1622884 CPUtime=1802.06 cores=0,2,4,6
/proc/24149/stat : 24149 (scip-2.0.1.4b.l) R 24147 24149 23890 0 -1 4202496 580168 0 0 0 180020 186 0 0 25 0 1 0 821441936 1661833216 402114 33554432000 4194304 9163163 140734604291728 18446744073709551615 7115459 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24149/statm: 405721 402114 701 1214 0 404503 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1622884
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.14
CPU user time (s): 1800.21
CPU system time (s): 1.93271
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2023964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.21
system time used= 1.93271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580168
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= 4708
runsolver used 7.8688 second user time and 16.6995 second system time
The end