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-3692544-1338046739.opb>
2.28/2.38 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.28/2.38 c problem read in 2.38
5.29/5.34 c presolving:
11.29/11.35 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
13.19/13.30 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-3692544-1338046739/watcher-3692544-1338046739 -o /tmp/evaluation-result-3692544-1338046739/solver-3692544-1338046739 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692544-1338046739.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.00 2.00 3/176 2916
/proc/meminfo: memFree=25275008/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=11000 CPUtime=0 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 1513 0 0 0 0 0 0 0 20 0 1 0 270799071 11264000 1467 33554432000 4194304 10219143 140734369082912 140733668655080 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 2750 1476 398 1471 0 1270 0
[startup+0.063705 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2916
/proc/meminfo: memFree=25275008/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=36948 CPUtime=0.05 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 8002 0 0 0 5 0 0 0 20 0 1 0 270799071 37834752 7956 33554432000 4194304 10219143 140734369082912 140734368947752 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 9237 7956 421 1471 0 7757 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36948
[startup+0.100399 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2916
/proc/meminfo: memFree=25275008/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=47504 CPUtime=0.08 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 10501 0 0 0 8 0 0 0 20 0 1 0 270799071 48644096 10457 33554432000 4194304 10219143 140734369082912 140734368947752 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 11876 10495 421 1471 0 10396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47504
[startup+0.300327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2916
/proc/meminfo: memFree=25275008/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=87348 CPUtime=0.28 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 20574 0 0 0 26 2 0 0 20 0 1 0 270799071 89444352 20528 33554432000 4194304 10219143 140734369082912 140734368947752 5536058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 21837 20528 421 1471 0 20357 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87348
[startup+0.700335 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2916
/proc/meminfo: memFree=25275008/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=199152 CPUtime=0.69 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 48536 0 0 0 62 7 0 0 20 0 1 0 270799071 203931648 48490 33554432000 4194304 10219143 140734369082912 140734368947752 8887146 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 49788 48490 421 1471 0 48308 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 199152
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2917
/proc/meminfo: memFree=24999736/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=406508 CPUtime=1.48 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 100390 0 0 0 133 15 0 0 20 0 1 0 270799071 416264192 100344 33554432000 4194304 10219143 140734369082912 140734368947624 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 101627 100345 421 1471 0 100147 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 406508
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2917
/proc/meminfo: memFree=24789556/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=963288 CPUtime=3.08 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 238657 0 0 0 272 36 0 0 20 0 1 0 270799071 986406912 239082 33554432000 4194304 10219143 140734369082912 140734369079112 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 240822 239082 473 1471 0 239342 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 963288
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2917
/proc/meminfo: memFree=24037356/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=1254940 CPUtime=6.28 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 307080 0 0 0 535 93 0 0 20 0 1 0 270799071 1285058560 311082 33554432000 4194304 10219143 140734369082912 140734369079912 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 313735 311082 550 1471 0 312255 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1254940
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2917
/proc/meminfo: memFree=23665668/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=1661932 CPUtime=12.69 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 441106 0 0 0 998 271 0 0 20 0 1 0 270799071 1701818368 412253 33554432000 4194304 10219143 140734369082912 140734369080600 7589270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 415483 412253 584 1471 0 414003 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1661932
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2917
/proc/meminfo: memFree=23385388/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=1905784 CPUtime=25.48 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 493354 0 0 0 2183 365 0 0 20 0 1 0 270799071 1951522816 471941 33554432000 4194304 10219143 140734369082912 140734369078408 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 476446 471941 612 1471 0 474966 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1905784
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2917
/proc/meminfo: memFree=23351612/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=1914424 CPUtime=51.08 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 495407 0 0 0 4743 365 0 0 20 0 1 0 270799071 1960370176 473994 33554432000 4194304 10219143 140734369082912 140734369078312 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 478606 473994 612 1471 0 477126 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1914424
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 2920
/proc/meminfo: memFree=21951928/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=1943460 CPUtime=102.28 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 502480 0 0 0 9861 367 0 0 20 0 1 0 270799071 1990103040 481001 33554432000 4194304 10219143 140734369082912 140734369078232 5996299 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 485865 481001 612 1471 0 484385 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1943460
[startup+162.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 2920
/proc/meminfo: memFree=20578836/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3347904 CPUtime=162.26 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 825421 0 0 0 15805 421 0 0 20 0 1 0 270799071 3428253696 823034 33554432000 4194304 10219143 140734369082912 140734369078024 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 836976 823034 612 1471 0 835496 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3347904
[startup+222.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2920
/proc/meminfo: memFree=20575764/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3348928 CPUtime=222.25 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 825841 0 0 0 21804 421 0 0 20 0 1 0 270799071 3429302272 823454 33554432000 4194304 10219143 140734369082912 140734369078024 8969184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 837232 823454 612 1471 0 835752 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3348928
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2921
/proc/meminfo: memFree=20562648/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3349952 CPUtime=282.24 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 826204 0 0 0 27803 421 0 0 20 0 1 0 270799071 3430350848 823817 33554432000 4194304 10219143 140734369082912 140734369078024 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 837488 823817 612 1471 0 836008 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3349952
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2921
/proc/meminfo: memFree=20557716/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3349952 CPUtime=342.23 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 826316 0 0 0 33802 421 0 0 20 0 1 0 270799071 3430350848 823929 33554432000 4194304 10219143 140734369082912 140734369078024 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 837488 823929 612 1471 0 836008 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3349952
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2921
/proc/meminfo: memFree=20555272/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3350976 CPUtime=402.23 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 826681 0 0 0 39801 422 0 0 20 0 1 0 270799071 3431399424 824294 33554432000 4194304 10219143 140734369082912 140734369078024 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 837744 824294 612 1471 0 836264 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3350976
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2922
/proc/meminfo: memFree=20551324/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3353020 CPUtime=462.22 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 827303 0 0 0 45800 422 0 0 20 0 1 0 270799071 3433492480 824916 33554432000 4194304 10219143 140734369082912 140734369078024 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 838255 824916 612 1471 0 836775 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3353020
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2922
/proc/meminfo: memFree=20550236/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3353020 CPUtime=522.21 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 827417 0 0 0 51799 422 0 0 20 0 1 0 270799071 3433492480 825030 33554432000 4194304 10219143 140734369082912 140734369078024 8969184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 838255 825030 612 1471 0 836775 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3353020
[startup+582.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 2923
/proc/meminfo: memFree=20547660/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3353020 CPUtime=582.2 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 827529 0 0 0 57798 422 0 0 20 0 1 0 270799071 3433492480 825142 33554432000 4194304 10219143 140734369082912 140734369078024 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 838255 825142 612 1471 0 836775 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3353020
[startup+642.301 s]
################
# More data... #
################
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 829051 0 0 0 99791 423 0 0 20 0 1 0 270799071 3436441600 826664 33554432000 4194304 10219143 140734369082912 140734369078024 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 838975 826664 612 1471 0 837495 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3355900
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2927
/proc/meminfo: memFree=20515404/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3356924 CPUtime=1062.13 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 829417 0 0 0 105790 423 0 0 20 0 1 0 270799071 3437490176 827030 33554432000 4194304 10219143 140734369082912 140734369078024 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 839231 827030 612 1471 0 837751 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3356924
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2927
/proc/meminfo: memFree=20512808/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3356924 CPUtime=1122.12 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 829531 0 0 0 111789 423 0 0 20 0 1 0 270799071 3437490176 827144 33554432000 4194304 10219143 140734369082912 140734369078024 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 839231 827144 612 1471 0 837751 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3356924
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2928
/proc/meminfo: memFree=20510108/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3358780 CPUtime=1182.11 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 830105 0 0 0 117788 423 0 0 20 0 1 0 270799071 3439390720 827718 33554432000 4194304 10219143 140734369082912 140734369078024 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 839695 827718 612 1471 0 838215 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3358780
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2928
/proc/meminfo: memFree=20507904/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3358780 CPUtime=1242.1 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 830217 0 0 0 123787 423 0 0 20 0 1 0 270799071 3439390720 827830 33554432000 4194304 10219143 140734369082912 140734369078024 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 839695 827830 612 1471 0 838215 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3358780
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2931
/proc/meminfo: memFree=20506196/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3358780 CPUtime=1302.1 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 830331 0 0 0 129786 424 0 0 20 0 1 0 270799071 3439390720 827944 33554432000 4194304 10219143 140734369082912 140734369078024 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 839695 827944 612 1471 0 838215 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3358780
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2954
/proc/meminfo: memFree=20501080/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3359804 CPUtime=1362.08 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 830701 0 0 0 135784 424 0 0 20 0 1 0 270799071 3440439296 828314 33554432000 4194304 10219143 140734369082912 140734369078024 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 839951 828314 612 1471 0 838471 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3359804
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2954
/proc/meminfo: memFree=20499268/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3360828 CPUtime=1422.08 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 831071 0 0 0 141784 424 0 0 20 0 1 0 270799071 3441487872 828684 33554432000 4194304 10219143 140734369082912 140734369078024 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 840207 828684 612 1471 0 838727 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3360828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2955
/proc/meminfo: memFree=20498676/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3360828 CPUtime=1482.06 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 831185 0 0 0 147782 424 0 0 20 0 1 0 270799071 3441487872 828798 33554432000 4194304 10219143 140734369082912 140734369078024 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 840207 828798 612 1471 0 838727 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3360828
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2955
/proc/meminfo: memFree=20495852/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3362364 CPUtime=1542.05 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 831683 0 0 0 153781 424 0 0 20 0 1 0 270799071 3443060736 829296 33554432000 4194304 10219143 140734369082912 140734369078024 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 840591 829296 612 1471 0 839111 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3362364
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2955
/proc/meminfo: memFree=20491912/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3363388 CPUtime=1602.04 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 832053 0 0 0 159780 424 0 0 20 0 1 0 270799071 3444109312 829666 33554432000 4194304 10219143 140734369082912 140734369078024 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 840847 829666 612 1471 0 839367 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3363388
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 2955
/proc/meminfo: memFree=20489336/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3365436 CPUtime=1662.03 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 832679 0 0 0 165779 424 0 0 20 0 1 0 270799071 3446206464 830292 33554432000 4194304 10219143 140734369082912 140734369078024 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 841359 830292 612 1471 0 839879 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3365436
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2955
/proc/meminfo: memFree=20486512/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3365436 CPUtime=1722.03 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 832793 0 0 0 171778 425 0 0 20 0 1 0 270799071 3446206464 830406 33554432000 4194304 10219143 140734369082912 140734369078024 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 841359 830406 612 1471 0 839879 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3365436
[startup+1782.3 s]
/proc/loadavg: 1.67 1.93 1.97 2/171 2981
/proc/meminfo: memFree=23891812/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3365436 CPUtime=1782.02 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 832955 0 0 0 177777 425 0 0 20 0 1 0 270799071 3446206464 830578 33554432000 4194304 10219143 140734369082912 140734369078024 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 841359 830578 612 1471 0 839879 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3365436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.52 1.89 1.96 2/171 2981
/proc/meminfo: memFree=23891656/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3365436 CPUtime=1800.02 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 833000 0 0 0 179577 425 0 0 20 0 1 0 270799071 3446206464 830623 33554432000 4194304 10219143 140734369082912 140734369078024 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 841359 830623 612 1471 0 839879 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3365436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2916
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.52 1.89 1.96 2/172 2982
/proc/meminfo: memFree=23891656/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3365436 CPUtime=1801.11 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 833020 0 0 0 179686 425 0 0 20 0 1 0 270799071 3446206464 830643 33554432000 4194304 10219143 140734369082912 140734369077504 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 841359 830643 612 1471 0 839879 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3365436
[startup+1802.2 s]
/proc/loadavg: 1.48 1.87 1.95 2/172 2982
/proc/meminfo: memFree=23891524/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=3365436 CPUtime=1801.91 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4202496 833022 0 0 0 179766 425 0 0 20 0 1 0 270799071 3446206464 830645 33554432000 4194304 10219143 140734369082912 140734369077504 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 841359 830645 612 1471 0 839879 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3365436
[startup+1802.4 s]
/proc/loadavg: 1.48 1.87 1.95 2/172 2982
/proc/meminfo: memFree=23891524/32873844 swapFree=7108/7108
[pid=2916] ppid=2914 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/2916/stat : 2916 (scip-2.1.1.4exp) R 2914 2916 659 0 -1 4203524 833022 0 0 0 179777 434 0 0 20 0 1 0 270799071 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2916/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.49
CPU time (s): 1802.21
CPU user time (s): 1797.78
CPU system time (s): 4.43833
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3365436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.78
system time used= 4.43832
maximum resident set size= 3322580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833022
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= 6
involuntary context switches= 1858
runsolver used 4.31334 second user time and 12.7951 second system time
The end