0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692561-1338046838.opb>
2.09/2.13 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.09/2.13 c problem read in 2.13
3.99/4.09 c presolving:
7.79/7.84 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
8.88/8.94 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692561-1338046838/watcher-3692561-1338046838 -o /tmp/evaluation-result-3692561-1338046838/solver-3692561-1338046838 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692561-1338046838.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.01 2.00 4/177 8865
/proc/meminfo: memFree=24407376/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 1924 0 0 0 0 0 0 0 20 0 1 0 270811163 13000704 1880 33554432000 4194304 10219143 140735730338368 140736881358072 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 3174 1884 413 1471 0 1694 0
[startup+0.0318959 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8865
/proc/meminfo: memFree=24407376/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=26608 CPUtime=0.02 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 5416 0 0 0 2 0 0 0 20 0 1 0 270811163 27246592 5371 33554432000 4194304 10219143 140735730338368 140736881358072 5536058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 6652 5371 421 1471 0 5172 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26608
[startup+0.100359 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8865
/proc/meminfo: memFree=24407376/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=49672 CPUtime=0.08 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 11155 0 0 0 7 1 0 0 20 0 1 0 270811163 50864128 11110 33554432000 4194304 10219143 140735730338368 140735730203544 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 12418 11110 421 1471 0 10938 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 49672
[startup+0.300236 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8865
/proc/meminfo: memFree=24407376/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=94432 CPUtime=0.29 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 22319 0 0 0 26 3 0 0 20 0 1 0 270811163 96698368 22274 33554432000 4194304 10219143 140735730338368 140735730203544 7157213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 23608 22274 421 1471 0 22128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94432
[startup+0.700233 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8865
/proc/meminfo: memFree=24407376/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=214272 CPUtime=0.69 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 52234 0 0 0 62 7 0 0 20 0 1 0 270811163 219414528 52189 33554432000 4194304 10219143 140735730338368 140735730203544 5345852 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 53568 52189 421 1471 0 52088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 214272
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 8866
/proc/meminfo: memFree=24115324/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=437704 CPUtime=1.49 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 108022 0 0 0 135 14 0 0 20 0 1 0 270811163 448208896 107977 33554432000 4194304 10219143 140735730338368 140735730203544 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 109426 107977 421 1471 0 107946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 437704
[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 8866
/proc/meminfo: memFree=23917296/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=1093364 CPUtime=3.09 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 271427 0 0 0 274 35 0 0 20 0 1 0 270811163 1119604736 271782 33554432000 4194304 10219143 140735730338368 140735730335400 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 273341 271814 483 1471 0 271861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1093364
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8866
/proc/meminfo: memFree=23129696/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=1622168 CPUtime=6.29 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 400267 0 0 0 554 75 0 0 20 0 1 0 270811163 1661100032 402407 33554432000 4194304 10219143 140735730338368 140735730335368 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 405542 402451 560 1471 0 404062 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1622168
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 8866
/proc/meminfo: memFree=22520804/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=1904308 CPUtime=12.69 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 491646 0 0 0 1146 123 0 0 20 0 1 0 270811163 1950011392 471728 33554432000 4194304 10219143 140735730338368 140735730333768 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 476077 471728 612 1471 0 474597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1904308
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8866
/proc/meminfo: memFree=22513548/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=1911732 CPUtime=25.49 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 492860 0 0 0 2425 124 0 0 20 0 1 0 270811163 1957613568 473453 33554432000 4194304 10219143 140735730338368 140735730333768 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 477933 473453 612 1471 0 476453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1911732
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8866
/proc/meminfo: memFree=22508052/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=1915380 CPUtime=51.08 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 493847 0 0 0 4984 124 0 0 20 0 1 0 270811163 1961349120 474440 33554432000 4194304 10219143 140735730338368 140735730334744 8969305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 478845 474440 612 1471 0 477365 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1915380
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 8867
/proc/meminfo: memFree=21108740/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3346776 CPUtime=102.28 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 822729 0 0 0 10060 168 0 0 20 0 1 0 270811163 3427098624 822859 33554432000 4194304 10219143 140735730338368 140735730333480 8969305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 836694 822859 612 1471 0 835214 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3346776
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/177 8867
/proc/meminfo: memFree=21104800/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3348824 CPUtime=162.26 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 823454 0 0 0 16058 168 0 0 20 0 1 0 270811163 3429195776 823584 33554432000 4194304 10219143 140735730338368 140735730333480 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 837206 823584 612 1471 0 835726 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3348824
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 8867
/proc/meminfo: memFree=21099872/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3348824 CPUtime=222.26 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 823697 0 0 0 22057 169 0 0 20 0 1 0 270811163 3429195776 823827 33554432000 4194304 10219143 140735730338368 140735730333480 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 837206 823827 612 1471 0 835726 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3348824
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8867
/proc/meminfo: memFree=21083780/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3352728 CPUtime=282.25 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 824887 0 0 0 28056 169 0 0 20 0 1 0 270811163 3433193472 825017 33554432000 4194304 10219143 140735730338368 140735730333480 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 838182 825017 612 1471 0 836702 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3352728
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8867
/proc/meminfo: memFree=21080092/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3352728 CPUtime=342.24 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 825101 0 0 0 34055 169 0 0 20 0 1 0 270811163 3433193472 825231 33554432000 4194304 10219143 140735730338368 140735730333480 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 838182 825231 612 1471 0 836702 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3352728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8868
/proc/meminfo: memFree=21075044/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3353752 CPUtime=402.22 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 825578 0 0 0 40053 169 0 0 20 0 1 0 270811163 3434242048 825708 33554432000 4194304 10219143 140735730338368 140735730333480 8969290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 838438 825708 612 1471 0 836958 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3353752
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8868
/proc/meminfo: memFree=21068252/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3355608 CPUtime=462.22 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 826266 0 0 0 46052 170 0 0 20 0 1 0 270811163 3436142592 826396 33554432000 4194304 10219143 140735730338368 140735730333480 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 838902 826396 612 1471 0 837422 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3355608
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8868
/proc/meminfo: memFree=21065180/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3355608 CPUtime=522.21 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 826519 0 0 0 52051 170 0 0 20 0 1 0 270811163 3436142592 826649 33554432000 4194304 10219143 140735730338368 140735730333480 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 838902 826649 612 1471 0 837422 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3355608
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8871
/proc/meminfo: memFree=21061332/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3356632 CPUtime=582.2 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 827043 0 0 0 58050 170 0 0 20 0 1 0 270811163 3437191168 827173 33554432000 4194304 10219143 140735730338368 140735730333480 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 839158 827173 612 1471 0 837678 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3356632
[startup+642.3 s]
################
# More data... #
################
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 830336 0 0 0 100043 171 0 0 20 0 1 0 270811163 3445907456 830466 33554432000 4194304 10219143 140735730338368 140735730333480 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 841286 830466 612 1471 0 839806 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3365144
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8873
/proc/meminfo: memFree=21021460/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3365144 CPUtime=1062.13 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 830463 0 0 0 106042 171 0 0 20 0 1 0 270811163 3445907456 830593 33554432000 4194304 10219143 140735730338368 140735730333480 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 841286 830593 612 1471 0 839806 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3365144
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8873
/proc/meminfo: memFree=21016852/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3366168 CPUtime=1122.12 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 830901 0 0 0 112041 171 0 0 20 0 1 0 270811163 3446956032 831031 33554432000 4194304 10219143 140735730338368 140735730333480 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 841542 831031 612 1471 0 840062 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3366168
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8876
/proc/meminfo: memFree=21015124/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3368024 CPUtime=1182.11 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 831520 0 0 0 118040 171 0 0 20 0 1 0 270811163 3448856576 831650 33554432000 4194304 10219143 140735730338368 140735730333480 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 842006 831650 612 1471 0 840526 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3368024
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 8899
/proc/meminfo: memFree=21012180/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3368024 CPUtime=1242.1 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 831648 0 0 0 124039 171 0 0 20 0 1 0 270811163 3448856576 831778 33554432000 4194304 10219143 140735730338368 140735730333480 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 842006 831778 612 1471 0 840526 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3368024
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8900
/proc/meminfo: memFree=21008580/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3370072 CPUtime=1302.09 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 832341 0 0 0 130038 171 0 0 20 0 1 0 270811163 3450953728 832471 33554432000 4194304 10219143 140735730338368 140735730333480 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 842518 832471 612 1471 0 841038 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3370072
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8900
/proc/meminfo: memFree=21005884/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3370072 CPUtime=1362.09 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 832496 0 0 0 136037 172 0 0 20 0 1 0 270811163 3450953728 832626 33554432000 4194304 10219143 140735730338368 140735730333480 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 842518 832626 612 1471 0 841038 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3370072
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8900
/proc/meminfo: memFree=21002328/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3371096 CPUtime=1422.08 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 832872 0 0 0 142036 172 0 0 20 0 1 0 270811163 3452002304 833002 33554432000 4194304 10219143 140735730338368 140735730333480 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 842774 833002 612 1471 0 841294 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3371096
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8900
/proc/meminfo: memFree=20997768/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3372952 CPUtime=1482.06 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 833525 0 0 0 148034 172 0 0 20 0 1 0 270811163 3453902848 833655 33554432000 4194304 10219143 140735730338368 140735730333480 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 843238 833655 612 1471 0 841758 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3372952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8900
/proc/meminfo: memFree=20996808/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3372952 CPUtime=1542.05 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 833680 0 0 0 154033 172 0 0 20 0 1 0 270811163 3453902848 833810 33554432000 4194304 10219143 140735730338368 140735730333480 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 843238 833810 612 1471 0 841758 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3372952
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8900
/proc/meminfo: memFree=20995040/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3373976 CPUtime=1602.05 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 834054 0 0 0 160032 173 0 0 20 0 1 0 270811163 3454951424 834184 33554432000 4194304 10219143 140735730338368 140735730333480 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 843494 834184 612 1471 0 842014 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3373976
[startup+1662.3 s]
/proc/loadavg: 1.46 1.86 1.95 2/171 8926
/proc/meminfo: memFree=24410044/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3375000 CPUtime=1662.04 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 834544 0 0 0 166031 173 0 0 20 0 1 0 270811163 3456000000 834719 33554432000 4194304 10219143 140735730338368 140735730333480 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 843750 834719 612 1471 0 842270 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3375000
[startup+1722.3 s]
/proc/loadavg: 1.17 1.70 1.89 2/171 8926
/proc/meminfo: memFree=24406228/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3376856 CPUtime=1722.03 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 835248 0 0 0 172030 173 0 0 20 0 1 0 270811163 3457900544 835591 33554432000 4194304 10219143 140735730338368 140735730333480 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 844214 835591 612 1471 0 842734 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3376856
[startup+1782.3 s]
/proc/loadavg: 1.06 1.57 1.83 2/172 8929
/proc/meminfo: memFree=24403656/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3378904 CPUtime=1782.01 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 836000 0 0 0 178028 173 0 0 20 0 1 0 270811163 3459997696 836343 33554432000 4194304 10219143 140735730338368 140735730333480 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 844726 836343 612 1471 0 843246 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3378904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.04 1.53 1.81 2/172 8929
/proc/meminfo: memFree=24403264/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3378904 CPUtime=1800.02 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 836083 0 0 0 179829 173 0 0 20 0 1 0 270811163 3459997696 836426 33554432000 4194304 10219143 140735730338368 140735730333480 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 844726 836426 612 1471 0 843246 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3378904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8865
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.04 1.53 1.81 2/173 8930
/proc/meminfo: memFree=24403264/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3378904 CPUtime=1801.11 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 836085 0 0 0 179938 173 0 0 20 0 1 0 270811163 3459997696 836428 33554432000 4194304 10219143 140735730338368 140735730332928 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 844726 836428 612 1471 0 843246 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3378904
[startup+1802.2 s]
/proc/loadavg: 1.04 1.53 1.81 2/173 8930
/proc/meminfo: memFree=24403256/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=3378904 CPUtime=1801.91 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4202496 836087 0 0 0 180018 173 0 0 20 0 1 0 270811163 3459997696 836430 33554432000 4194304 10219143 140735730338368 140735730332928 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 844726 836430 612 1471 0 843246 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3378904
[startup+1802.4 s]
/proc/loadavg: 1.04 1.53 1.81 2/173 8930
/proc/meminfo: memFree=24403256/32873648 swapFree=6336/6336
[pid=8865] ppid=8863 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/8865/stat : 8865 (scip-2.1.1.4exp) R 8863 8865 5668 0 -1 4203524 836087 0 0 0 180029 183 0 0 20 0 1 0 270811163 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8865/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.47
CPU time (s): 1802.19
CPU user time (s): 1800.29
CPU system time (s): 1.89671
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3378904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.29
system time used= 1.89671
maximum resident set size= 3345720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836087
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= 8
involuntary context switches= 1856
runsolver used 3.2995 second user time and 8.43172 second system time
The end