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-3451881-1307120448.opb>
1.19/1.28 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192684 constraints
1.19/1.28 c problem read
1.19/1.28 c presolving settings loaded
1.59/1.63 c presolving:
6.50/6.51 c (round 1) 5730 del vars, 16736 del conss, 0 add conss, 4533 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12917346 impls, 0 clqs
7.89/7.99 c (round 2) 10386 del vars, 37331 del conss, 0 add conss, 8854 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12946857 impls, 0 clqs
8.39/8.46 c (round 3) 12335 del vars, 45927 del conss, 0 add conss, 10093 chg bounds, 74 chg sides, 70 chg coeffs, 0 upgd conss, 12963656 impls, 0 clqs
8.70/8.75 c (round 4) 13324 del vars, 50181 del conss, 0 add conss, 10831 chg bounds, 117 chg sides, 115 chg coeffs, 0 upgd conss, 12971676 impls, 0 clqs
8.89/8.90 c (round 5) 13976 del vars, 52914 del conss, 0 add conss, 11252 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12975288 impls, 0 clqs
8.99/9.00 c (round 6) 14283 del vars, 54297 del conss, 0 add conss, 11429 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12977821 impls, 0 clqs
8.99/9.07 c (round 7) 14415 del vars, 54937 del conss, 0 add conss, 11508 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12978687 impls, 0 clqs
9.09/9.13 c (round 8) 14505 del vars, 55335 del conss, 0 add conss, 11565 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12979387 impls, 0 clqs
9.09/9.19 c (round 9) 14575 del vars, 55644 del conss, 0 add conss, 11604 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980347 impls, 0 clqs
9.19/9.23 c (round 10) 14605 del vars, 55792 del conss, 0 add conss, 11622 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980585 impls, 0 clqs
9.19/9.28 c (round 11) 14619 del vars, 55856 del conss, 0 add conss, 11629 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980793 impls, 0 clqs
9.29/9.32 c (round 12) 14633 del vars, 55923 del conss, 0 add conss, 11636 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12981095 impls, 0 clqs
9.29/9.37 c (round 13) 14645 del vars, 55976 del conss, 0 add conss, 11644 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12981129 impls, 0 clqs
9.80/9.88 c (round 14) 14645 del vars, 55986 del conss, 0 add conss, 11644 chg bounds, 125 chg sides, 126 chg coeffs, 136698 upgd conss, 12981129 impls, 0 clqs
10.29/10.39 c (round 15) 14645 del vars, 55995 del conss, 35 add conss, 11644 chg bounds, 223 chg sides, 386 chg coeffs, 136698 upgd conss, 12981129 impls, 0 clqs
488.32/488.35 c (488.4s) probing: 1000/40137 (2.5%) - 0 fixings, 0 aggregations, 12102310 implications, 0 bound changes
902.22/902.26 c (902.3s) probing: 2000/40137 (5.0%) - 0 fixings, 0 aggregations, 19511761 implications, 0 bound changes
902.82/902.88 c (902.9s) probing: 2001/40137 (5.0%) - 0 fixings, 0 aggregations, 19524971 implications, 0 bound changes
902.82/902.88 c (902.9s) probing aborted: 2000/2000 successive useless probings
902.82/902.88 c presolving (16 rounds):
902.82/902.88 c 14645 deleted vars, 56003 deleted constraints, 35 added constraints, 11644 tightened bounds, 0 added holes, 223 changed sides, 403 changed coefficients
902.82/902.88 c 78743749 implications, 0 cliques
902.82/902.88 c presolved problem has 40137 variables (40137 bin, 0 int, 0 impl, 0 cont) and 136716 constraints
902.82/902.88 c 1099 constraints of type <knapsack>
902.82/902.88 c 115798 constraints of type <setppc>
902.82/902.88 c 19819 constraints of type <logicor>
902.82/902.88 c transformed objective value is always integral (scale: 1)
902.82/902.88 c Presolving Time: 901.35
902.82/902.88 c - non default parameters ----------------------------------------------------------------------
902.82/902.88 c # SCIP version 2.0.1.5
902.82/902.88 c
902.82/902.88 c # frequency for displaying node information lines
902.82/902.88 c # [type: int, range: [-1,2147483647], default: 100]
902.82/902.88 c display/freq = 10000
902.82/902.88 c
902.82/902.88 c # maximal time in seconds to run
902.82/902.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
902.82/902.88 c limits/time = 1800
902.82/902.88 c
902.82/902.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
902.82/902.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
902.82/902.88 c limits/memory = 13950
902.82/902.88 c
902.82/902.88 c # default clock type (1: CPU user seconds, 2: wall clock time)
902.82/902.88 c # [type: int, range: [1,2], default: 1]
902.82/902.88 c timing/clocktype = 2
902.82/902.88 c
902.82/902.88 c # belongs reading time to solving time?
902.82/902.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
902.82/902.88 c timing/reading = TRUE
902.82/902.88 c
902.82/902.88 c # should presolving try to simplify inequalities
902.82/902.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
902.82/902.88 c constraints/linear/simplifyinequalities = TRUE
902.82/902.88 c
902.82/902.88 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
902.82/902.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
902.82/902.88 c constraints/indicator/addCouplingCons = TRUE
902.82/902.88 c
902.82/902.88 c # should presolving try to simplify knapsacks
902.82/902.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
902.82/902.88 c constraints/knapsack/simplifyinequalities = TRUE
902.82/902.88 c
902.82/902.88 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
902.82/902.88 c # [type: int, range: [-1,2147483647], default: -1]
902.82/902.88 c separating/rapidlearning/freq = 0
902.82/902.88 c
902.82/902.88 c -----------------------------------------------------------------------------------------------
902.82/902.88 c start solving
902.92/902.91 c
905.82/905.81 o 300
905.82/905.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.82/905.81 c T 906s| 1 | 0 | 0 | - |2311M| 0 | - | 40k| 136k| 40k| 136k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1010.62/1010.64 c 1011s| 1 | 0 | 34754 | - |2307M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
1012.62/1012.67 c 1013s| 1 | 0 | 34754 | - |2303M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
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-3451881-1307120448/watcher-3451881-1307120448 -o /tmp/evaluation-result-3451881-1307120448/solver-3451881-1307120448 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451881-1307120448.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.03 2.04 1.94 2/469 8306
/proc/meminfo: memFree=24159000/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=12836 CPUtime=0 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 2201 0 0 0 0 0 0 0 23 0 1 0 902275349 13144064 2154 33554432000 4194304 9163163 140735306402880 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8306/statm: 3209 2155 389 1214 0 1991 0
[startup+0.092955 s]
/proc/loadavg: 2.03 2.04 1.94 2/469 8306
/proc/meminfo: memFree=24159000/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=29044 CPUtime=0.08 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 6260 0 0 0 8 0 0 0 23 0 1 0 902275349 29741056 6213 33554432000 4194304 9163163 140735306402880 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8306/statm: 7261 6213 395 1214 0 6043 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29044
[startup+0.100939 s]
/proc/loadavg: 2.03 2.04 1.94 2/469 8306
/proc/meminfo: memFree=24159000/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=30068 CPUtime=0.09 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 6518 0 0 0 9 0 0 0 23 0 1 0 902275349 30789632 6471 33554432000 4194304 9163163 140735306402880 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8306/statm: 7517 6471 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068
[startup+0.300908 s]
/proc/loadavg: 2.03 2.04 1.94 2/469 8306
/proc/meminfo: memFree=24159000/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=50692 CPUtime=0.29 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 11652 0 0 0 28 1 0 0 25 0 1 0 902275349 51908608 11605 33554432000 4194304 9163163 140735306402880 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8306/statm: 12673 11605 395 1214 0 11455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50692
[startup+0.700832 s]
/proc/loadavg: 2.03 2.04 1.94 2/469 8306
/proc/meminfo: memFree=24159000/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=77644 CPUtime=0.69 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 18332 0 0 0 67 2 0 0 25 0 1 0 902275349 79507456 18286 33554432000 4194304 9163163 140735306402880 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8306/statm: 19411 18317 395 1214 0 18193 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77644
[startup+1.50066 s]
/proc/loadavg: 2.19 2.08 1.95 3/470 8307
/proc/meminfo: memFree=23959864/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=273256 CPUtime=1.49 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 67226 0 0 0 142 7 0 0 25 0 1 0 902275349 279814144 67132 33554432000 4194304 9163163 140735306402880 18446744073709551615 6922333 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 68314 67132 439 1214 0 67096 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 273256
[startup+3.10038 s]
/proc/loadavg: 2.19 2.08 1.95 3/470 8307
/proc/meminfo: memFree=23456548/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=462308 CPUtime=3.09 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 113615 0 0 0 298 11 0 0 25 0 1 0 902275349 473403392 113521 33554432000 4194304 9163163 140735306402880 18446744073709551615 4832499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 115577 113521 506 1214 0 114359 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 462308
[startup+6.30079 s]
/proc/loadavg: 2.19 2.08 1.95 3/470 8307
/proc/meminfo: memFree=22898244/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=686876 CPUtime=6.3 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 167544 0 0 0 612 18 0 0 25 0 1 0 902275349 703361024 167450 33554432000 4194304 9163163 140735306402880 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 171719 167450 515 1214 0 170501 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 686876
[startup+12.7006 s]
/proc/loadavg: 2.16 2.07 1.95 3/470 8308
/proc/meminfo: memFree=22651928/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=764408 CPUtime=12.69 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 197623 0 0 0 1248 21 0 0 25 0 1 0 902275349 782753792 186277 33554432000 4194304 9163163 140735306402880 18446744073709551615 6567822 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 191102 186277 563 1214 0 189884 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 764408
[startup+25.5012 s]
/proc/loadavg: 2.13 2.07 1.95 3/470 8317
/proc/meminfo: memFree=22567832/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=802268 CPUtime=25.49 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 206941 0 0 0 2526 23 0 0 25 0 1 0 902275349 821522432 195595 33554432000 4194304 9163163 140735306402880 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 200567 195595 563 1214 0 199349 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 802268
[startup+51.1004 s]
/proc/loadavg: 2.09 2.06 1.95 3/470 8318
/proc/meminfo: memFree=22403384/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=889664 CPUtime=51.1 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 228668 0 0 0 5084 26 0 0 25 0 1 0 902275349 911015936 217322 33554432000 4194304 9163163 140735306402880 18446744073709551615 4831593 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 222416 217322 563 1214 0 221198 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 889664
[startup+102.318 s]
/proc/loadavg: 2.03 2.05 1.95 3/470 8319
/proc/meminfo: memFree=22039972/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=1047140 CPUtime=102.31 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 266972 0 0 0 10201 30 0 0 25 0 1 0 902275349 1072271360 255626 33554432000 4194304 9163163 140735306402880 18446744073709551615 6563445 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 261785 255626 563 1214 0 260567 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1047140
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 1.95 3/470 8321
/proc/meminfo: memFree=21554220/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=1341032 CPUtime=162.3 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 339486 0 0 0 16191 39 0 0 25 0 1 0 902275349 1373216768 328140 33554432000 4194304 9163163 140735306402880 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 335258 328140 563 1214 0 334040 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1341032
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 1.95 3/470 8322
/proc/meminfo: memFree=21089292/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=1576392 CPUtime=222.29 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 398102 0 0 0 22183 46 0 0 25 0 1 0 902275349 1614225408 386756 33554432000 4194304 9163163 140735306402880 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 394098 386756 563 1214 0 392880 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1576392
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/470 8324
/proc/meminfo: memFree=20658368/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=1754288 CPUtime=282.3 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 442240 0 0 0 28179 51 0 0 25 0 1 0 902275349 1796390912 430894 33554432000 4194304 9163163 140735306402880 18446744073709551615 5460089 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 438572 430894 563 1214 0 437354 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1754288
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.95 5/470 8325
/proc/meminfo: memFree=20144724/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=2083344 CPUtime=342.3 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 523817 0 0 0 34170 60 0 0 25 0 1 0 902275349 2133344256 512471 33554432000 4194304 9163163 140735306402880 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 520836 512471 563 1214 0 519618 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2083344
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/470 8327
/proc/meminfo: memFree=19898180/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=2210956 CPUtime=402.3 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 555467 0 0 0 40165 65 0 0 25 0 1 0 902275349 2264018944 544121 33554432000 4194304 9163163 140735306402880 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 552739 544121 563 1214 0 551521 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2210956
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 1.95 3/470 8329
/proc/meminfo: memFree=19629060/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=2378280 CPUtime=462.31 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 597092 0 0 0 46159 72 0 0 25 0 1 0 902275349 2435358720 585746 33554432000 4194304 9163163 140735306402880 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 594570 585746 563 1214 0 593352 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2378280
[startup+522.301 s]
/proc/loadavg: 2.15 2.05 1.96 3/470 8330
/proc/meminfo: memFree=19452572/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=2463180 CPUtime=522.31 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 618908 0 0 0 52156 75 0 0 25 0 1 0 902275349 2522296320 607562 33554432000 4194304 9163163 140735306402880 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 615795 607562 567 1214 0 614577 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2463180
[startup+582.301 s]
/proc/loadavg: 2.11 2.05 1.97 3/470 8332
/proc/meminfo: memFree=19197224/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=2621096 CPUtime=582.31 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 657364 0 0 0 58151 80 0 0 25 0 1 0 902275349 2684002304 646018 33554432000 4194304 9163163 140735306402880 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 655274 646018 567 1214 0 654056 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2621096
[startup+642.3 s]
################
# More data... #
################
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 106122 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217685 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3291328
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 1.99 3/470 8346
/proc/meminfo: memFree=17860136/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1122.33 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 112122 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3291328
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/470 8348
/proc/meminfo: memFree=17856868/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1182.33 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 118122 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3291328
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/470 8349
/proc/meminfo: memFree=17855956/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1242.33 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 124122 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3291328
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/470 8351
/proc/meminfo: memFree=17855908/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1302.34 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 130123 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3291328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 5/470 8353
/proc/meminfo: memFree=17856224/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1362.34 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 136123 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3291328
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.99 3/470 8354
/proc/meminfo: memFree=17856060/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1422.36 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 142125 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3291328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/470 8356
/proc/meminfo: memFree=17855760/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1482.34 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 148123 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3291328
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/470 8357
/proc/meminfo: memFree=17855968/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1542.34 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 154123 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3291328
[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/470 8359
/proc/meminfo: memFree=17856032/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1602.35 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 160124 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3291328
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/470 8361
/proc/meminfo: memFree=17855876/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1662.35 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 166124 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217892 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3291328
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/470 8362
/proc/meminfo: memFree=17856104/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1722.35 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 172124 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3291328
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 8364
/proc/meminfo: memFree=17854948/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1782.35 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825627 0 0 0 178124 111 0 0 25 0 1 0 902275349 3370319872 808926 33554432000 4194304 9163163 140735306402880 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808926 853 1214 0 821614 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3291328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 8364
/proc/meminfo: memFree=17855044/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1800.06 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 825635 0 0 0 179895 111 0 0 25 0 1 0 902275349 3370319872 808934 33554432000 4194304 9163163 140735306402880 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 808934 853 1214 0 821614 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3291328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8306
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17846100/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1801.45 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 827763 0 0 0 180034 111 0 0 25 0 1 0 902275349 3370319872 811062 33554432000 4194304 9163163 140735306402880 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 811062 853 1214 0 821614 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 3291328
[startup+1801.82 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17846224/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1801.87 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 827763 0 0 0 180076 111 0 0 25 0 1 0 902275349 3370319872 811062 33554432000 4194304 9163163 140735306402880 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 811062 853 1214 0 821614 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 3291328
[startup+1802 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17846224/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=3291328 CPUtime=1802.05 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4202496 827763 0 0 0 180094 111 0 0 25 0 1 0 902275349 3370319872 811062 33554432000 4194304 9163163 140735306402880 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8306/statm: 822832 811062 853 1214 0 821614 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 3291328
[startup+1802.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17846224/32951124 swapFree=56297244/67111528
[pid=8306] ppid=8303 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/8306/stat : 8306 (scip-2.0.1.4b.l) R 8303 8306 6224 0 -1 4203524 827763 0 0 0 180096 119 0 0 25 0 1 0 902275349 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/8306/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.21
CPU user time (s): 1800.96
CPU system time (s): 1.24481
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3291328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.96
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 827763
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= 3838
runsolver used 9.07862 second user time and 18.4922 second system time
The end