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-3453541-1307121727.opb>
1.19/1.25 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192684 constraints
1.19/1.25 c problem read
1.19/1.25 c presolving settings loaded
1.89/1.90 c presolving:
6.69/6.77 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
8.19/8.21 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.59/8.68 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.89/8.97 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
9.09/9.13 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
9.19/9.23 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
9.29/9.30 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.29/9.36 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.39/9.42 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.39/9.47 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.49/9.51 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.49/9.56 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.59/9.61 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
10.09/10.14 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.59/10.66 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
487.51/487.53 c (487.5s) probing: 1000/40137 (2.5%) - 0 fixings, 0 aggregations, 12102310 implications, 0 bound changes
900.32/900.32 c (900.3s) probing: 2000/40137 (5.0%) - 0 fixings, 0 aggregations, 19511761 implications, 0 bound changes
900.94/900.94 c (900.9s) probing: 2001/40137 (5.0%) - 0 fixings, 0 aggregations, 19524971 implications, 0 bound changes
900.94/900.94 c (900.9s) probing aborted: 2000/2000 successive useless probings
900.94/900.94 c presolving (16 rounds):
900.94/900.94 c 14645 deleted vars, 56003 deleted constraints, 35 added constraints, 11644 tightened bounds, 0 added holes, 223 changed sides, 403 changed coefficients
900.94/900.94 c 78743749 implications, 0 cliques
900.94/900.94 c presolved problem has 40137 variables (40137 bin, 0 int, 0 impl, 0 cont) and 136716 constraints
900.94/900.94 c 1099 constraints of type <knapsack>
900.94/900.94 c 115798 constraints of type <setppc>
900.94/900.94 c 19819 constraints of type <logicor>
900.94/900.94 c transformed objective value is always integral (scale: 1)
900.94/900.94 c Presolving Time: 899.51
900.94/900.94 c - non default parameters ----------------------------------------------------------------------
900.94/900.94 c # SCIP version 2.0.1.4
900.94/900.94 c
900.94/900.94 c # frequency for displaying node information lines
900.94/900.94 c # [type: int, range: [-1,2147483647], default: 100]
900.94/900.94 c display/freq = 10000
900.94/900.94 c
900.94/900.94 c # maximal time in seconds to run
900.94/900.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
900.94/900.94 c limits/time = 1800
900.94/900.94 c
900.94/900.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
900.94/900.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
900.94/900.94 c limits/memory = 13950
900.94/900.94 c
900.94/900.94 c # default clock type (1: CPU user seconds, 2: wall clock time)
900.94/900.94 c # [type: int, range: [1,2], default: 1]
900.94/900.94 c timing/clocktype = 2
900.94/900.94 c
900.94/900.94 c # belongs reading time to solving time?
900.94/900.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
900.94/900.94 c timing/reading = TRUE
900.94/900.94 c
900.94/900.94 c # should presolving try to simplify inequalities
900.94/900.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
900.94/900.94 c constraints/linear/simplifyinequalities = TRUE
900.94/900.94 c
900.94/900.94 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
900.94/900.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
900.94/900.94 c constraints/indicator/addCouplingCons = TRUE
900.94/900.94 c
900.94/900.94 c # should presolving try to simplify knapsacks
900.94/900.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
900.94/900.94 c constraints/knapsack/simplifyinequalities = TRUE
900.94/900.94 c
900.94/900.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
900.94/900.94 c # [type: int, range: [-1,2147483647], default: -1]
900.94/900.94 c separating/rapidlearning/freq = 0
900.94/900.94 c
900.94/900.94 c -----------------------------------------------------------------------------------------------
900.94/900.94 c start solving
900.94/900.97 c
903.83/903.80 o 300
903.83/903.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.83/903.80 c T 904s| 1 | 0 | 0 | - |2297M| 0 | - | 40k| 136k| 40k| 136k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1008.64/1008.68 c 1009s| 1 | 0 | 34754 | - |2293M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
1010.73/1010.72 c 1011s| 1 | 0 | 34754 | - |2289M| 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-3453541-1307121727/watcher-3453541-1307121727 -o /tmp/evaluation-result-3453541-1307121727/solver-3453541-1307121727 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453541-1307121727.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.00 2.02 2.00 3/480 9788
/proc/meminfo: memFree=27010248/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=10792 CPUtime=0 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 1684 0 0 0 0 0 0 0 20 0 1 0 823775100 11051008 1638 33554432000 4194304 9128323 140735425465872 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9788/statm: 2698 1638 400 1205 0 1489 0
[startup+0.0210121 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 9788
/proc/meminfo: memFree=27010248/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=13584 CPUtime=0.01 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 2411 0 0 0 1 0 0 0 20 0 1 0 823775100 13910016 2365 33554432000 4194304 9128323 140735425465872 18446744073709551615 4217101 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9788/statm: 3396 2365 400 1205 0 2187 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13584
[startup+0.10103 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 9788
/proc/meminfo: memFree=27010248/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=27512 CPUtime=0.09 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 5888 0 0 0 9 0 0 0 20 0 1 0 823775100 28172288 5840 33554432000 4194304 9128323 140735425465872 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9788/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512
[startup+0.300995 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 9788
/proc/meminfo: memFree=27010248/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=43892 CPUtime=0.29 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 10003 0 0 0 28 1 0 0 21 0 1 0 823775100 44945408 9923 33554432000 4194304 9128323 140735425465872 18446744073709551615 4338640 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9788/statm: 10973 9923 400 1205 0 9764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43892
[startup+0.70092 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 9788
/proc/meminfo: memFree=27010248/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=65332 CPUtime=0.69 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 15352 0 0 0 68 1 0 0 22 0 1 0 823775100 66899968 15264 33554432000 4194304 9128323 140735425465872 18446744073709551615 8117541 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9788/statm: 16333 15264 400 1205 0 15124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65332
[startup+1.50078 s]
/proc/loadavg: 2.00 2.02 2.00 4/482 9790
/proc/meminfo: memFree=26838120/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=225340 CPUtime=1.49 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 55020 0 0 0 143 6 0 0 25 0 1 0 823775100 230748160 54882 33554432000 4194304 9128323 140735425465872 18446744073709551615 8012607 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 56335 54892 467 1205 0 55126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225340
[startup+3.10046 s]
/proc/loadavg: 2.00 2.02 2.00 4/482 9790
/proc/meminfo: memFree=26347824/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=450744 CPUtime=3.09 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 119198 0 0 0 295 14 0 0 25 0 1 0 823775100 461561856 110679 33554432000 4194304 9128323 140735425465872 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 112686 110679 510 1205 0 111477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 450744
[startup+6.30087 s]
/proc/loadavg: 2.08 2.04 2.01 4/482 9791
/proc/meminfo: memFree=25767776/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=691540 CPUtime=6.29 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 177102 0 0 0 609 20 0 0 25 0 1 0 823775100 708136960 168583 33554432000 4194304 9128323 140735425465872 18446744073709551615 18446744073699065897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 172885 168583 519 1205 0 171676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 691540
[startup+12.7006 s]
/proc/loadavg: 2.24 2.07 2.02 4/482 9791
/proc/meminfo: memFree=25561616/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=763968 CPUtime=12.69 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 207826 0 0 0 1245 24 0 0 25 0 1 0 823775100 782303232 186395 33554432000 4194304 9128323 140735425465872 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 190992 186395 614 1205 0 189783 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 763968
[startup+25.5002 s]
/proc/loadavg: 2.18 2.07 2.01 4/482 9791
/proc/meminfo: memFree=25484532/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=800960 CPUtime=25.49 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 216853 0 0 0 2524 25 0 0 25 0 1 0 823775100 820183040 195257 33554432000 4194304 9128323 140735425465872 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 200240 195257 614 1205 0 199031 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 800960
[startup+51.1004 s]
/proc/loadavg: 2.12 2.06 2.01 4/482 9792
/proc/meminfo: memFree=25318372/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=892312 CPUtime=51.09 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 239438 0 0 0 5081 28 0 0 25 0 1 0 823775100 913727488 217842 33554432000 4194304 9128323 140735425465872 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 223078 217842 614 1205 0 221869 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 892312
[startup+102.319 s]
/proc/loadavg: 2.05 2.05 2.01 4/482 9793
/proc/meminfo: memFree=24993620/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=1049624 CPUtime=102.31 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 278095 0 0 0 10198 33 0 0 25 0 1 0 823775100 1074814976 256202 33554432000 4194304 9128323 140735425465872 18446744073709551615 4207283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 262406 256202 614 1205 0 261197 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1049624
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/482 9795
/proc/meminfo: memFree=24457556/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=1341832 CPUtime=162.29 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 350345 0 0 0 16187 42 0 0 25 0 1 0 823775100 1374035968 328287 33554432000 4194304 9128323 140735425465872 18446744073709551615 6589153 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 335458 328287 614 1205 0 334249 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1341832
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 4/482 9796
/proc/meminfo: memFree=24061356/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=1578212 CPUtime=222.3 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 409202 0 0 0 22180 50 0 0 25 0 1 0 823775100 1616089088 387144 33554432000 4194304 9128323 140735425465872 18446744073709551615 5488720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 394553 387144 614 1205 0 393344 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1578212
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/482 9798
/proc/meminfo: memFree=23743012/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=1756112 CPUtime=282.3 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 453330 0 0 0 28175 55 0 0 25 0 1 0 823775100 1798258688 431272 33554432000 4194304 9128323 140735425465872 18446744073709551615 4792770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 439028 431272 614 1205 0 437819 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1756112
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/482 9800
/proc/meminfo: memFree=23311600/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=2086188 CPUtime=342.3 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 534995 0 0 0 34164 66 0 0 25 0 1 0 823775100 2136256512 512937 33554432000 4194304 9128323 140735425465872 18446744073709551615 5488469 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 521547 512937 614 1205 0 520338 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2086188
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/482 9801
/proc/meminfo: memFree=23116032/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=2213800 CPUtime=402.31 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 566738 0 0 0 40160 71 0 0 25 0 1 0 823775100 2266931200 544680 33554432000 4194304 9128323 140735425465872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 553450 544680 614 1205 0 552241 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2213800
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/482 9803
/proc/meminfo: memFree=22872724/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=2382148 CPUtime=462.3 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 608693 0 0 0 46153 77 0 0 25 0 1 0 823775100 2439319552 586635 33554432000 4194304 9128323 140735425465872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 595537 586635 614 1205 0 594328 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2382148
[startup+522.301 s]
/proc/loadavg: 2.22 2.05 2.02 4/482 9804
/proc/meminfo: memFree=22735664/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=2465968 CPUtime=522.31 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 630195 0 0 0 52149 82 0 0 25 0 1 0 823775100 2525151232 608137 33554432000 4194304 9128323 140735425465872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 616492 608137 618 1205 0 615283 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2465968
[startup+582.301 s]
/proc/loadavg: 2.21 2.07 2.02 4/482 9806
/proc/meminfo: memFree=22509216/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=2625900 CPUtime=582.31 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 668802 0 0 0 58143 88 0 0 25 0 1 0 823775100 2688921600 646744 33554432000 4194304 9128323 140735425465872 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 656475 646744 618 1205 0 655266 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2625900
[startup+642.3 s]
################
# More data... #
################
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 106100 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 3287688
[startup+1122.3 s]
/proc/loadavg: 1.07 1.32 1.67 2/476 9837
/proc/meminfo: memFree=23797464/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1122.34 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 112100 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 3287688
[startup+1182.3 s]
/proc/loadavg: 1.02 1.26 1.63 2/476 9839
/proc/meminfo: memFree=23797324/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1182.34 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 118100 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243274 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 3287688
[startup+1242.3 s]
/proc/loadavg: 1.01 1.21 1.58 2/476 9841
/proc/meminfo: memFree=23797168/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1242.34 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 124100 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3287688
[startup+1302.3 s]
/proc/loadavg: 1.00 1.17 1.54 2/476 9842
/proc/meminfo: memFree=23796652/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1302.35 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 130101 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3287688
[startup+1362.3 s]
/proc/loadavg: 1.00 1.14 1.51 2/476 9844
/proc/meminfo: memFree=23797628/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1362.35 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 136101 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243292 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 3287688
[startup+1422.32 s]
/proc/loadavg: 1.00 1.11 1.47 2/476 9845
/proc/meminfo: memFree=23797604/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1422.37 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 142103 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 3287688
[startup+1482.3 s]
/proc/loadavg: 1.00 1.09 1.44 2/476 9847
/proc/meminfo: memFree=23797460/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1482.35 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 148101 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3287688
[startup+1542.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/476 9849
/proc/meminfo: memFree=23797692/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1542.35 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 154101 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3287688
[startup+1602.3 s]
/proc/loadavg: 1.06 1.07 1.39 2/476 9850
/proc/meminfo: memFree=23797788/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1602.36 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 160102 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 3287688
[startup+1662.3 s]
/proc/loadavg: 1.02 1.05 1.36 2/476 9852
/proc/meminfo: memFree=23797896/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1662.36 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 166102 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243394 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 3287688
[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.34 2/476 9853
/proc/meminfo: memFree=23797740/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1722.36 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 172102 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 3287688
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/476 9855
/proc/meminfo: memFree=23796856/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1782.36 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833416 0 0 0 178102 134 0 0 25 0 1 0 823775100 3366592512 807251 33554432000 4194304 9128323 140735425465872 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807251 1322 1205 0 820713 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3287688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.03 1.30 2/476 9855
/proc/meminfo: memFree=23797592/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1800.07 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 833455 0 0 0 179873 134 0 0 25 0 1 0 823775100 3366592512 807264 33554432000 4194304 9128323 140735425465872 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 807264 1296 1205 0 820713 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3287688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9788
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.03 1.30 2/477 9856
/proc/meminfo: memFree=23789524/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1801.46 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 835262 0 0 0 180012 134 0 0 25 0 1 0 823775100 3366592512 809071 33554432000 4194304 9128323 140735425465872 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 809071 1296 1205 0 820713 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3287688
[startup+1801.82 s]
/proc/loadavg: 1.00 1.03 1.30 2/477 9856
/proc/meminfo: memFree=23789524/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1801.88 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 835262 0 0 0 180054 134 0 0 25 0 1 0 823775100 3366592512 809071 33554432000 4194304 9128323 140735425465872 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 809071 1296 1205 0 820713 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 3287688
[startup+1802 s]
/proc/loadavg: 1.00 1.03 1.30 2/477 9856
/proc/meminfo: memFree=23789524/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=3287688 CPUtime=1802.06 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4202496 835262 0 0 0 180072 134 0 0 25 0 1 0 823775100 3366592512 809071 33554432000 4194304 9128323 140735425465872 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9788/statm: 821922 809071 1296 1205 0 820713 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3287688
[startup+1802.1 s]
/proc/loadavg: 1.00 1.03 1.30 2/477 9856
/proc/meminfo: memFree=23789524/32951124 swapFree=38422276/67111528
[pid=9788] ppid=9784 vsize=0 CPUtime=1802.16 cores=1,3,5,7
/proc/9788/stat : 9788 (scip-2.0.1.4.li) R 9784 9788 7545 0 -1 4203524 835262 0 0 0 180074 142 0 0 25 0 1 0 823775100 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9788/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.21
CPU user time (s): 1800.75
CPU system time (s): 1.46678
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3287688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.75
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835262
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= 1738
runsolver used 7.63784 second user time and 20.8168 second system time
The end