32.09/32.24 c initialize IPBHS solver
32.09/32.24 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
32.09/32.24 c optimizer = "scip"
32.09/32.24 c pbsolver = "roundingsat"
32.09/32.24 c load symmetries from file ""
32.09/32.24 c set time limit for symmetry computation to 100 seconds.
32.09/32.24 c set interchangeable summation variable limit to 3
32.09/32.24 c set abs symmetric core budget per WCE-iteration to 100
32.09/32.24 c set rel symmetric core budget per WCE-iteration to 0
32.09/32.24 c set lit symmetric core budget per WCE-iteration to 0
32.09/32.24 c set sym generation to 's'
32.09/32.24 c set abstraction set creation to 10 iterations without LB change
32.09/32.24 c set abstraction set inputs to 0
32.09/32.24 c set abstraction set cluster min size to 2
32.09/32.24 c set abstraction set cluster max size to 100000000
32.09/32.24 c set abstraction set cluster activation limit to 2
32.09/32.24 c enable abstraction set require equal cost
32.09/32.24 c set abstraction set assumptions to 0
32.09/32.24 c set abstraction set constraint type to 0
32.09/32.24 c set abstract core extraction strategy to b
32.09/32.24 c set core extraction strategy to 2
32.09/32.24 c set core extraction shuffles 10
32.09/32.24 c set cores per iteration to 5
32.09/32.24 c set optimizer bound usage strategy to 2
32.09/32.24 c set optimizer max non-optimal iterations to 1000
32.09/32.24 c set small core cardinality limit to 2
32.09/32.24 c set max coef in cores to 1000000000
32.09/32.24 c set SIS iterations to 5
32.09/32.24 c set SIS budget abs to 1000
32.09/32.24 c set SIS budget rel to 0.05
32.09/32.24 c limit for coefficient in constraints and objective to 9223372036854775807
32.09/32.24 c will solve HOME/instance-4432025-1721120782.opb
32.09/32.24 c [0.65] solve iteration 1, LB=0, UB=3221
32.09/32.24 c [9.77] solve iteration 2, LB=0, UB=188
32.09/32.24 c [16.86] solve iteration 3, LB=20, UB=188
32.09/32.24 c [23.96] solve iteration 4, LB=20, UB=180
49.33/49.58 c [30.87] solve iteration 5, LB=20, UB=178
49.33/49.58 c [38.4] solve iteration 6, LB=21, UB=176
55.71/55.90 c [44.22] solve iteration 7, LB=23, UB=94
64.28/64.52 c [51.91] solve iteration 8, LB=23, UB=94
76.94/77.24 c [63.75] solve iteration 9, LB=24, UB=94
93.69/94.02 c [79.54] solve iteration 10, LB=24, UB=94
108.53/108.91 c [94.01] solve iteration 11, LB=25, UB=80
135.23/135.72 c [120.3] solve iteration 12, LB=25, UB=80
160.94/161.50 c [144.95] solve iteration 13, LB=26, UB=80
177.87/178.51 c [161.5] solve iteration 14, LB=27, UB=80
203.19/203.97 c [186.38] solve iteration 15, LB=27, UB=80
233.18/234.03 c [215.38] solve iteration 16, LB=28, UB=80
260.99/261.97 c [243.08] solve iteration 17, LB=28, UB=80
314.69/315.82 c [296.34] solve iteration 18, LB=29, UB=80
362.82/364.19 c [343.72] solve iteration 19, LB=29, UB=80
412.44/413.98 c [392.9] solve iteration 20, LB=29, UB=80
554.54/556.58 c [534.65] solve iteration 21, LB=30, UB=80
739.88/742.53 c [719.22] solve iteration 22, LB=30, UB=80
1145.68/1149.88 c [1125.02] solve iteration 23, LB=31, UB=80
1302.03/1306.79 c [1281.24] solve iteration 24, LB=31, UB=80
1781.55/1787.96 c [1760.25] solve iteration 25, LB=32, UB=80
2646.02/2655.96 c [2624.04] solve iteration 26, LB=32, UB=80
3244.93/3257.17 c [3222.39] solve iteration 27, LB=32, UB=80
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61258 MiB free)
memory of node 1: 64473 MiB (63069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432025-1721120782/watcher-4432025-1721120782 -o /tmp/evaluation-result-4432025-1721120782/solver-4432025-1721120782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843797 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432025-1721120782.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=847043, runsolver pid=847040
[startup+0.100146 s]*
/proc/loadavg: 4.06 4.09 4.10 5/255 847044
/proc/meminfo: memFree=127279932/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=61476 memory=35324 CPUtime=0.09 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 6908 0 0 0 9 0 0 0 20 0 1 0 164243178 62951424 8831 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 15369 8831 1023 2900 0 11883 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 35324 KiB
[startup+0.205342 s]*
/proc/loadavg: 4.06 4.09 4.10 5/255 847044
/proc/meminfo: memFree=127267176/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=73924 memory=47732 CPUtime=0.19 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 10002 0 0 0 18 1 0 0 20 0 1 0 164243178 75698176 11933 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 18481 11933 1023 2900 0 14995 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73924 KiB
Current children cumulated memory: 47732 KiB
[startup+0.305282 s]*
/proc/loadavg: 4.06 4.09 4.10 5/255 847044
/proc/meminfo: memFree=127258212/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=82328 memory=56904 CPUtime=0.29 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 11788 0 0 0 28 1 0 0 20 0 1 0 164243178 84303872 14226 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 20582 14226 1023 2900 0 17096 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82328 KiB
Current children cumulated memory: 56904 KiB
[startup+0.700196 s]
/proc/loadavg: 4.06 4.09 4.10 5/255 847044
/proc/meminfo: memFree=127242416/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=156812 memory=130132 CPUtime=0.69 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 23382 0 0 0 65 4 0 0 20 0 1 0 164243178 160575488 32533 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 39203 32533 1135 2900 0 35717 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 156812 KiB
Current children cumulated memory: 130132 KiB
[startup+1.5002 s]
/proc/loadavg: 4.06 4.09 4.10 5/255 847045
/proc/meminfo: memFree=127172000/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=550444 memory=528504 CPUtime=1.49 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 119850 0 0 0 116 33 0 0 20 0 1 0 164243178 563654656 132126 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 137611 132126 2383 2900 0 134125 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 550444 KiB
Current children cumulated memory: 528504 KiB
[startup+3.1053 s]
/proc/loadavg: 4.06 4.09 4.10 5/255 847045
/proc/meminfo: memFree=126470460/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=901836 memory=852492 CPUtime=3.08 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 197015 0 0 0 264 44 0 0 20 0 1 0 164243178 923480064 213123 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 225459 213123 2671 2900 0 221973 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 901836 KiB
Current children cumulated memory: 852492 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.09 4.10 5/255 847045
/proc/meminfo: memFree=126465488/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=901836 memory=853876 CPUtime=6.26 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 197363 0 0 0 529 97 0 0 20 0 1 0 164243178 923480064 213469 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 225459 213469 2703 2900 0 221973 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 901836 KiB
Current children cumulated memory: 853876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.10 5/255 847047
/proc/meminfo: memFree=126460556/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=913512 memory=857472 CPUtime=12.65 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 197755 0 0 0 957 308 0 0 20 0 1 0 164243178 935436288 214368 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 228378 214368 2703 2900 0 224892 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 913512 KiB
Current children cumulated memory: 857472 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.10 5/255 847049
/proc/meminfo: memFree=126331644/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1023076 memory=988924 CPUtime=25.41 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 225349 0 0 0 2039 502 0 0 20 0 1 0 164243178 1047629824 247231 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 255769 247231 2927 2900 0 252283 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1023076 KiB
Current children cumulated memory: 988924 KiB
[startup+51.1052 s]
/proc/loadavg: 4.07 4.09 4.10 5/255 847054
/proc/meminfo: memFree=126244492/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1118596 memory=1068968 CPUtime=50.93 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 241788 0 0 0 4296 797 0 0 20 0 1 0 164243178 1145442304 267242 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 279649 267242 2943 2900 0 276163 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1118596 KiB
Current children cumulated memory: 1068968 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/254 847063
/proc/meminfo: memFree=125997260/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1351000 memory=1307880 CPUtime=101.94 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 299022 0 0 0 9178 1016 0 0 20 0 1 0 164243178 1383424000 326970 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 337750 326970 2943 2900 0 334264 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1351000 KiB
Current children cumulated memory: 1307880 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/254 847073
/proc/meminfo: memFree=125930156/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1410460 memory=1371424 CPUtime=161.74 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 313950 0 0 0 15002 1172 0 0 20 0 1 0 164243178 1444311040 342856 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 352615 342856 2943 2900 0 349129 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1410460 KiB
Current children cumulated memory: 1371424 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 847087
/proc/meminfo: memFree=125902064/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1437112 memory=1398240 CPUtime=221.52 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 320669 0 0 0 20885 1267 0 0 20 0 1 0 164243178 1471602688 349560 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 359278 349560 2943 2900 0 355792 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1437112 KiB
Current children cumulated memory: 1398240 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 847098
/proc/meminfo: memFree=125866420/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1464208 memory=1425244 CPUtime=281.32 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 327491 0 0 0 26779 1353 0 0 20 0 1 0 164243178 1499348992 356311 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 366052 356311 2943 2900 0 362566 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1464208 KiB
Current children cumulated memory: 1425244 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 847108
/proc/meminfo: memFree=125811532/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1512636 memory=1475948 CPUtime=341.1 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 339722 0 0 0 32717 1393 0 0 20 0 1 0 164243178 1548939264 368987 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 378159 368987 2943 2900 0 374673 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1512636 KiB
Current children cumulated memory: 1475948 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 847119
/proc/meminfo: memFree=125795620/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1523892 memory=1489648 CPUtime=400.89 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 346653 0 0 0 38648 1441 0 0 20 0 1 0 164243178 1560465408 372412 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 380973 372412 2943 2900 0 377487 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 1523892 KiB
Current children cumulated memory: 1489648 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/256 847130
/proc/meminfo: memFree=125783748/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1532128 memory=1500460 CPUtime=460.68 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 348890 0 0 0 44587 1481 0 0 20 0 1 0 164243178 1568899072 375115 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 383032 375115 2943 2900 0 379546 0
################
# More data... #
################
Current children cumulated memory: 1721584 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 848757
/proc/meminfo: memFree=109509432/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1749536 memory=1721584 CPUtime=2911.38 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 425187 0 0 0 289439 1699 0 0 20 0 1 0 164243178 1791524864 430396 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 437384 430396 3263 2900 0 433898 0
Current children cumulated CPU time: 2911.38 s
Current children cumulated vsize: 1749536 KiB
Current children cumulated memory: 1721584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/255 848767
/proc/meminfo: memFree=109509676/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1749536 memory=1721584 CPUtime=2971.15 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 425615 0 0 0 295416 1699 0 0 20 0 1 0 164243178 1791524864 430396 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 437384 430396 3263 2900 0 433898 0
Current children cumulated CPU time: 2971.15 s
Current children cumulated vsize: 1749536 KiB
Current children cumulated memory: 1721584 KiB
[startup+3042.3 s]
/proc/loadavg: 4.45 4.22 4.14 5/255 848777
/proc/meminfo: memFree=109493384/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1764440 memory=1736040 CPUtime=3030.91 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 429518 0 0 0 301392 1699 0 0 20 0 1 0 164243178 1806786560 434010 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 441110 434010 3263 2900 0 437624 0
Current children cumulated CPU time: 3030.91 s
Current children cumulated vsize: 1764440 KiB
Current children cumulated memory: 1736040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.20 4.14 5/257 848958
/proc/meminfo: memFree=109474428/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1782464 memory=1753852 CPUtime=3090.69 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 433630 0 0 0 307369 1700 0 0 20 0 1 0 164243178 1825243136 438463 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 445616 438463 3263 2900 0 442130 0
Current children cumulated CPU time: 3090.69 s
Current children cumulated vsize: 1782464 KiB
Current children cumulated memory: 1753852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.20 4.14 5/258 848969
/proc/meminfo: memFree=109412532/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1809700 memory=1781892 CPUtime=3150.47 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 440068 0 0 0 313345 1702 0 0 20 0 1 0 164243178 1853132800 445473 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 452425 445473 3263 2900 0 448939 0
Current children cumulated CPU time: 3150.47 s
Current children cumulated vsize: 1809700 KiB
Current children cumulated memory: 1781892 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/258 848982
/proc/meminfo: memFree=109375588/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1848380 memory=1818228 CPUtime=3210.26 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 449634 0 0 0 319322 1704 0 0 20 0 1 0 164243178 1892741120 454557 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 462095 454557 3263 2900 0 458609 0
Current children cumulated CPU time: 3210.26 s
Current children cumulated vsize: 1848380 KiB
Current children cumulated memory: 1818228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/258 849004
/proc/meminfo: memFree=109350564/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1837056 CPUtime=3270.04 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 455384 0 0 0 325256 1748 0 0 20 0 1 0 164243178 1911304192 459264 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459264 3263 2900 0 463141 0
Current children cumulated CPU time: 3270.04 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1837056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.14 5/258 849014
/proc/meminfo: memFree=109348948/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1837056 CPUtime=3329.84 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 455811 0 0 0 331236 1748 0 0 20 0 1 0 164243178 1911304192 459264 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459264 3263 2900 0 463141 0
Current children cumulated CPU time: 3329.84 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1837056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.23 4.16 5/258 849026
/proc/meminfo: memFree=109063816/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1838464 CPUtime=3389.62 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 456815 0 0 0 337214 1748 0 0 20 0 1 0 164243178 1911304192 459616 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459616 3263 2900 0 463141 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1838464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.15 5/256 849037
/proc/meminfo: memFree=108948824/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1838464 CPUtime=3449.41 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 457267 0 0 0 343193 1748 0 0 20 0 1 0 164243178 1911304192 459616 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459616 3263 2900 0 463141 0
Current children cumulated CPU time: 3449.41 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1838464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/256 849047
/proc/meminfo: memFree=108818704/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1838464 CPUtime=3509.2 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 457762 0 0 0 349172 1748 0 0 20 0 1 0 164243178 1911304192 459616 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459616 3263 2900 0 463141 0
Current children cumulated CPU time: 3509.2 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1838464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/254 849057
/proc/meminfo: memFree=108706792/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1839112 CPUtime=3568.99 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 458491 0 0 0 355151 1748 0 0 20 0 1 0 164243178 1911304192 459778 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459778 3263 2900 0 463141 0
Current children cumulated CPU time: 3568.99 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1839112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.09 4.16 4.14 5/254 849061
/proc/meminfo: memFree=108692956/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1839112 CPUtime=3600.08 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 458794 0 0 0 358260 1748 0 0 20 0 1 0 164243178 1911304192 459778 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459778 3263 2900 0 463141 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1839112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.51 s]
# the end of solver process 847043 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3582.61 s, system=17.4974 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.5 s]
/proc/loadavg: 4.09 4.16 4.14 5/254 849061
/proc/meminfo: memFree=108692956/131524600 swapFree=131071996/131071996
[pid=847043] ppid=847040 vsize=1866508 memory=1839112 CPUtime=3600.08 cores=0,2
/proc/847043/stat : 847043 (ipbhs_static_sc) R 847040 847043 843787 0 -1 4194304 458794 0 0 0 358260 1748 0 0 20 0 1 0 164243178 1911304192 459778 134679101440 4194304 16068861 140736397849072 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25182208 140736397853734 140736397853821 140736397853821 140736397860836 0
/proc/847043/statm: 466627 459778 3263 2900 0 463141 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1866508 KiB
Current children cumulated memory: 1839112 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3613.51
CPU time (s): 3600.1
CPU user time (s): 3582.61
CPU system time (s): 17.4974
CPU usage (%): 99.629
Max. virtual memory (cumulated for all children) (KiB): 1974580
Max. memory (cumulated for all children) (KiB): 1924140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.61
system time used= 17.4974
maximum resident set size= 2000496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458794
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= 105
involuntary context switches= 25431
# summary of solver processes directly reported to runsolver:
# pid: 847043
# total CPU time (s): 3600.1
# total CPU user time (s): 3582.61
# total CPU system time (s): 17.4974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55691 second user time and 15.7173 second system time
The end
Begin job on nodeC023 at 2024-07-16 11:06:35
IDJOB=4432025
IDBENCH=155361
IDSOLVER=3057
FILE ID=nodeC023/4432025-1721120782
RUNJOBID= nodeC023-1721115599-843797
SLURM_JOB_ID= 7505653
Free space on /tmp= 889900 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-ns1853823.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432025-1721120782/watcher-4432025-1721120782 -o /tmp/evaluation-result-4432025-1721120782/solver-4432025-1721120782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843797 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432025-1721120782.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3c426cde4ea6abbedea70a80ee72c27e
RANDOM SEED=14590046
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.716
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.396
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.966
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.960
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.407
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.967
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127311816 kB
MemAvailable: 128952012 kB
Buffers: 427832 kB
Cached: 2037624 kB
SwapCached: 0 kB
Active: 769092 kB
Inactive: 2823424 kB
Active(anon): 1572 kB
Inactive(anon): 1163204 kB
Active(file): 767520 kB
Inactive(file): 1660220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 69392 kB
Writeback: 0 kB
AnonPages: 1123472 kB
Mapped: 137108 kB
Shmem: 37720 kB
KReclaimable: 104560 kB
Slab: 211708 kB
SReclaimable: 104560 kB
SUnreclaim: 107148 kB
KernelStack: 4096 kB
PageTables: 11444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1415600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62080 kB
HardwareCorrupted: 0 kB
AnonHugePages: 923648 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889736 MiB
End job on nodeC023 at 2024-07-16 12:06:48