0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
2.47/2.52 c [STEP] preprocessing with Papilo
6.87/6.94 c [STEP] solving with SCIP
310.16/311.04 c [STEP] preprocessing done, loading into solver
311.04/312.00 c [STEP] solving
311.04/312.00 c #variables 363995 #constraints 365865
311.15/312.01 c SMALL=int, LARGE=long long
311.15/312.01 d SCIPUB 174841974
311.15/312.03 c bounds - >= -174841973 @ 309.374
311.15/312.03 c stratification level: 128
615.00/616.69 c bounds - >= -1943157 @ 445.938
615.00/616.69 c bounds - >= -1942133 @ 446.794
615.00/616.69 c bounds - >= -1941109 @ 446.833
615.00/616.69 c bounds - >= -1940085 @ 446.879
615.00/616.69 c bounds - >= -1939061 @ 446.935
615.00/616.69 c bounds - >= -1938037 @ 446.996
615.00/616.69 c bounds - >= -1925813 @ 447.076
615.00/616.69 c bounds - >= -1924789 @ 447.133
615.00/616.69 c bounds - >= -1923765 @ 447.188
615.00/616.69 c bounds - >= -1922741 @ 447.237
615.00/616.69 c bounds - >= -1921717 @ 447.299
615.00/616.69 c bounds - >= -1920693 @ 447.376
615.00/616.69 c bounds - >= -1919669 @ 447.739
615.00/616.69 c bounds - >= -1918645 @ 447.832
615.00/616.69 c bounds - >= -1917621 @ 448.047
615.00/616.69 c bounds - >= -1916597 @ 448.445
615.00/616.69 c bounds - >= -1915573 @ 449.243
615.00/616.69 c #Conflicts: 1000 | #Constraints: 369589
615.00/616.69 c bounds - >= -1914549 @ 449.643
615.00/616.69 c bounds - >= -1913525 @ 450.648
615.00/616.69 c #Conflicts: 2000 | #Constraints: 370591
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c bounds - >= -1912501 @ 451.782
615.00/616.69 c #Conflicts: 3000 | #Constraints: 362717
615.00/616.69 c bounds - >= -1911477 @ 453.839
615.00/616.69 c bounds - >= -1910453 @ 454.81
615.00/616.69 c #Conflicts: 4000 | #Constraints: 363719
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 5000 | #Constraints: 363171
615.00/616.69 c #Conflicts: 6000 | #Constraints: 364171
615.00/616.69 c bounds - >= -1909429 @ 460.243
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c bounds - >= -1908405 @ 461.413
615.00/616.69 c #Conflicts: 7000 | #Constraints: 363238
615.00/616.69 c #Conflicts: 8000 | #Constraints: 364238
615.00/616.69 c bounds - >= -1907381 @ 464.481
615.00/616.69 c #Conflicts: 9000 | #Constraints: 365239
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 10000 | #Constraints: 363980
615.00/616.69 c bounds - >= -1906357 @ 467.142
615.00/616.69 c #Conflicts: 11000 | #Constraints: 364981
615.00/616.69 c bounds - >= -1905333 @ 469.114
615.00/616.69 c bounds - >= -1904309 @ 469.454
615.00/616.69 c bounds - >= -1903285 @ 469.968
615.00/616.69 c bounds - >= -1902261 @ 470.076
615.00/616.69 c bounds - >= -1901237 @ 470.213
615.00/616.69 c #Conflicts: 12000 | #Constraints: 365986
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 13000 | #Constraints: 364484
615.00/616.69 c bounds - >= -1900213 @ 474.006
615.00/616.69 c #Conflicts: 14000 | #Constraints: 365485
615.00/616.69 c bounds - >= -1899189 @ 475.206
615.00/616.69 c #Conflicts: 15000 | #Constraints: 366486
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 16000 | #Constraints: 364743
615.00/616.69 c #Conflicts: 17000 | #Constraints: 365743
615.00/616.69 c #Conflicts: 18000 | #Constraints: 366743
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 19000 | #Constraints: 364796
615.00/616.69 c bounds - >= -1898165 @ 484.089
615.00/616.69 c #Conflicts: 20000 | #Constraints: 365797
615.00/616.69 c #Conflicts: 21000 | #Constraints: 366797
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 22000 | #Constraints: 364640
615.00/616.69 c #Conflicts: 23000 | #Constraints: 365640
615.00/616.69 c bounds - >= -1897141 @ 509.424
615.00/616.69 c #Conflicts: 24000 | #Constraints: 366641
615.00/616.69 c #Conflicts: 25000 | #Constraints: 367641
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 26000 | #Constraints: 365271
615.00/616.69 c #Conflicts: 27000 | #Constraints: 366271
615.00/616.69 c #Conflicts: 28000 | #Constraints: 367271
615.00/616.69 c #Conflicts: 29000 | #Constraints: 368271
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 30000 | #Constraints: 365704
615.00/616.69 c bounds - >= -1896117 @ 527.071
615.00/616.69 c #Conflicts: 31000 | #Constraints: 366705
615.00/616.69 c #Conflicts: 32000 | #Constraints: 367705
615.00/616.69 c #Conflicts: 33000 | #Constraints: 368705
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 34000 | #Constraints: 365936
615.00/616.69 c bounds - >= -1895093 @ 534.794
615.00/616.69 c #Conflicts: 35000 | #Constraints: 366937
615.00/616.69 c #Conflicts: 36000 | #Constraints: 367937
615.00/616.69 c #Conflicts: 37000 | #Constraints: 368937
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c #Conflicts: 38000 | #Constraints: 365912
615.00/616.69 c #Conflicts: 39000 | #Constraints: 366912
615.00/616.69 c bounds - >= -1894069 @ 544.757
615.00/616.69 c #Conflicts: 40000 | #Constraints: 367913
615.00/616.69 c #Conflicts: 41000 | #Constraints: 368913
615.00/616.69 c INPROCESSING
615.00/616.69 c GARBAGE COLLECT
615.00/616.69 c bounds - >= -1892021 @ 590.768
615.00/616.69 c bounds - >= -1890997 @ 593.905
615.00/616.69 c #Conflicts: 42000 | #Constraints: 365606
615.00/616.69 c #Conflicts: 43000 | #Constraints: 366606
615.00/616.69 c #Conflicts: 44000 | #Constraints: 367606
615.00/616.69 c #Conflicts: 45000 | #Constraints: 368606
615.00/616.69 c #Confl
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: 63708 MiB (61767 MiB free)
memory of node 1: 64465 MiB (62996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529140-1752261346/watcher-4529140-1752261346 -o /tmp/evaluation-result-4529140-1752261346/solver-4529140-1752261346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122697 --watchdog 3760 mixed-bag HOME/instance-4529140-1752261346.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123717, runsolver pid=123714
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.18 4.17 4.11 5/265 123718
/proc/meminfo: memFree=127659096/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=202576 memory=101912 CPUtime=0.09 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 14720 0 0 0 6 3 0 0 20 0 1 0 141812099 207437824 25478 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 50644 25478 2176 2834 0 33396 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 202576 KiB
Current children cumulated memory: 101912 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.18 4.17 4.11 5/265 123718
/proc/meminfo: memFree=127643220/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=184404 memory=95764 CPUtime=0.2 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 18321 0 0 0 16 4 0 0 20 0 1 0 141812099 188829696 23941 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 46101 23941 2208 2834 0 28853 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 184404 KiB
Current children cumulated memory: 95764 KiB
[startup+0.305608 s]*
/proc/loadavg: 4.18 4.17 4.11 5/265 123718
/proc/meminfo: memFree=127643220/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=196692 memory=109680 CPUtime=0.29 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 19762 0 0 0 25 4 0 0 20 0 1 0 141812099 201412608 27420 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 49173 27420 2208 2834 0 31925 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 196692 KiB
Current children cumulated memory: 109680 KiB
[startup+0.700174 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 123718
/proc/meminfo: memFree=127627092/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=213120 memory=123852 CPUtime=0.68 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 20704 0 0 0 63 5 0 0 20 0 1 0 141812099 218234880 30963 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 53280 30963 2208 2834 0 36032 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 213120 KiB
Current children cumulated memory: 123852 KiB
[startup+1.50016 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 123718
/proc/meminfo: memFree=127451804/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=245888 memory=158660 CPUtime=1.48 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 21757 0 0 0 141 7 0 0 20 0 1 0 141812099 251789312 39665 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 61472 39665 2208 2834 0 44224 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 245888 KiB
Current children cumulated memory: 158660 KiB
[startup+3.10556 s]
/proc/loadavg: 4.17 4.17 4.11 5/265 123718
/proc/meminfo: memFree=126753632/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=647188 memory=511352 CPUtime=3.08 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 46622 0 0 0 284 24 0 0 20 0 1 0 141812099 662720512 127838 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 161797 127838 2368 2834 0 144002 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 647188 KiB
Current children cumulated memory: 511352 KiB
[startup+6.30017 s]
/proc/loadavg: 4.17 4.17 4.11 5/265 123763
/proc/meminfo: memFree=126116780/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=668220 memory=531140 CPUtime=6.26 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 48526 0 0 0 602 24 0 0 20 0 1 0 141812099 684257280 132785 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 167055 132785 2368 2834 0 149260 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 668220 KiB
Current children cumulated memory: 531140 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.18 4.12 5/265 123763
/proc/meminfo: memFree=123000240/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=2270864 memory=2111948 CPUtime=12.64 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 383800 0 0 0 1178 86 0 0 20 0 1 0 141812099 2325364736 527987 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 567716 527987 4096 2834 0 549921 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2270864 KiB
Current children cumulated memory: 2111948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 123763
/proc/meminfo: memFree=120152268/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=2666544 memory=2507816 CPUtime=25.41 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 530577 0 0 0 2433 108 0 0 20 0 1 0 141812099 2730541056 626954 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 666636 626954 4128 2834 0 648841 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2666544 KiB
Current children cumulated memory: 2507816 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.16 4.11 5/265 123764
/proc/meminfo: memFree=117641704/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=2905876 memory=2746692 CPUtime=50.95 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 553587 0 0 0 4980 115 0 0 20 0 1 0 141812099 2975617024 686673 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 726469 686673 4128 2834 0 708674 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2905876 KiB
Current children cumulated memory: 2746692 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/265 123765
/proc/meminfo: memFree=117689128/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=2908948 memory=2751812 CPUtime=102 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 554371 0 0 0 10085 115 0 0 20 0 1 0 141812099 2978762752 687953 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 727237 687953 4128 2834 0 709442 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2908948 KiB
Current children cumulated memory: 2751812 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/266 123774
/proc/meminfo: memFree=115234700/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=4357484 memory=4018796 CPUtime=161.84 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 714876 0 0 0 16030 154 0 0 20 0 1 0 141812099 4462063616 1004699 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 1089371 1004699 4288 2834 0 1071576 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 4357484 KiB
Current children cumulated memory: 4018796 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 123776
/proc/meminfo: memFree=112905540/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=4483012 memory=4083344 CPUtime=221.67 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 720107 0 0 0 22012 155 0 0 20 0 1 0 141812099 4590604288 1020836 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 1120753 1020836 4288 2834 0 1102958 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 4483012 KiB
Current children cumulated memory: 4083344 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 123778
/proc/meminfo: memFree=112797272/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=4495876 memory=4110492 CPUtime=281.53 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 720227 0 0 0 27997 156 0 0 20 0 1 0 141812099 4603777024 1027623 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 1123969 1027623 4288 2834 0 1106174 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 4495876 KiB
Current children cumulated memory: 4110492 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 123780
/proc/meminfo: memFree=114567536/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=3936880 memory=3859632 CPUtime=341.37 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 732617 0 0 0 33947 190 0 0 20 0 1 0 141812099 4031365120 964908 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 984220 964908 4480 2834 0 966425 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 3936880 KiB
Current children cumulated memory: 3859632 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 123783
/proc/meminfo: memFree=108438288/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=6455764 memory=6382000 CPUtime=401.23 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 1350474 0 0 0 39811 312 0 0 20 0 1 0 141812099 6610702336 1595500 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 1613941 1595500 4480 2834 0 1596146 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 6455764 KiB
Current children cumulated memory: 6382000 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 123785
/proc/meminfo: memFree=102128860/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=9528444 memory=9437944 CPUtime=461.08 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 2073610 0 0 0 45661 447 0 0 20 0 1 0 141812099 9757126656 2359486 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 2382111 2359486 4480 2834 0 2364316 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 123917
/proc/meminfo: memFree=73165000/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3034.91 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3671037 0 0 0 300875 2616 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3034.91 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 123920
/proc/meminfo: memFree=72005864/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3094.76 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3671230 0 0 0 306841 2635 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3094.76 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 123928
/proc/meminfo: memFree=71062072/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3154.61 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3671543 0 0 0 312807 2654 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 123930
/proc/meminfo: memFree=71018588/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3214.47 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3672610 0 0 0 318711 2736 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3214.47 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 123932
/proc/meminfo: memFree=71015736/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3274.32 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3672883 0 0 0 324644 2788 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/263 123934
/proc/meminfo: memFree=71017104/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3334.18 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3673093 0 0 0 330602 2816 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3334.18 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 123936
/proc/meminfo: memFree=71017460/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3394.03 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3673271 0 0 0 336542 2861 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 123938
/proc/meminfo: memFree=71015620/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3453.89 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3673463 0 0 0 342451 2938 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 123941
/proc/meminfo: memFree=70997108/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3513.74 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3673612 0 0 0 348432 2942 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 123943
/proc/meminfo: memFree=70746328/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3573.59 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3673700 0 0 0 354412 2947 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 123958
/proc/meminfo: memFree=74879252/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420024 CPUtime=3600.03 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3673760 0 0 0 357053 2950 0 0 20 0 1 0 141812099 20372025344 4855006 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855006 4480 2834 0 4955844 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.38 s]
# the end of solver process 123717 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.52 s, system=30.0834 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 123958
/proc/meminfo: memFree=74871060/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420536 CPUtime=3600.82 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3676415 0 0 0 357132 2950 0 0 20 0 1 0 141812099 20372025344 4855134 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855134 4608 2834 0 4955844 0
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420536 KiB
[startup+3610.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 123959
/proc/meminfo: memFree=74867036/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420536 CPUtime=3601.62 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3678869 0 0 0 357212 2950 0 0 20 0 1 0 141812099 20372025344 4855134 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855134 4608 2834 0 4955844 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420536 KiB
[startup+3610.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 123959
/proc/meminfo: memFree=74867036/131249996 swapFree=33006296/33010684
[pid=123717] ppid=123714 vsize=19894556 memory=19420536 CPUtime=3602.02 cores=5,7
/proc/123717/stat : 123717 (mixed-bag) R 123714 123717 122684 0 -1 4194304 3679253 0 0 0 357252 2950 0 0 20 0 1 0 141812099 20372025344 4855134 18446744073709551615 4235264 15840557 140734573261568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27389952 140734573267354 140734573267431 140734573267431 140734573273035 0
/proc/123717/statm: 4973639 4855134 4608 2834 0 4955844 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 19894556 KiB
Current children cumulated memory: 19420536 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.38
CPU time (s): 3602.61
CPU user time (s): 3572.52
CPU system time (s): 30.0834
CPU usage (%): 99.7572
Max. virtual memory (cumulated for all children) (KiB): 19894556
Max. memory (cumulated for all children) (KiB): 19420536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.52
system time used= 30.0834
maximum resident set size= 19420536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3679253
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= 100
involuntary context switches= 2010
# summary of solver processes directly reported to runsolver:
# pid: 123717
# total CPU time (s): 3602.61
# total CPU user time (s): 3572.52
# total CPU system time (s): 30.0834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82653 second user time and 15.8417 second system time
The end
Begin job on nodeC015 at 2025-07-11 21:15:46
IDJOB=4529140
IDBENCH=157587
IDSOLVER=3386
FILE ID=nodeC015/4529140-1752261346
RUNJOBID= nodeC015-1752253809-122697
SLURM_JOB_ID= 9682590
Free space on /tmp= 432284 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529140-1752261346/watcher-4529140-1752261346 -o /tmp/evaluation-result-4529140-1752261346/solver-4529140-1752261346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122697 --watchdog 3760 mixed-bag HOME/instance-4529140-1752261346.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a6b74371f97d4ca84ea621a5ce055c49
RANDOM SEED=274572916
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.054
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.064
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3598.015
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3588.250
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.077
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3601.557
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3585.239
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.091
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127758452 kB
MemAvailable: 128773932 kB
Buffers: 1508 kB
Cached: 1794580 kB
SwapCached: 3880 kB
Active: 1185920 kB
Inactive: 1545100 kB
Active(anon): 900424 kB
Inactive(anon): 48664 kB
Active(file): 285496 kB
Inactive(file): 1496436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 123936 kB
Writeback: 0 kB
AnonPages: 932784 kB
Mapped: 121740 kB
Shmem: 14152 kB
KReclaimable: 145576 kB
Slab: 239140 kB
SReclaimable: 145576 kB
SUnreclaim: 93564 kB
KernelStack: 4304 kB
PageTables: 5064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1397240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 675840 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432280 MiB
End job on nodeC015 at 2025-07-11 22:15:58