0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
3.27/3.36 c [STEP] preprocessing with Papilo
7.74/7.88 c [STEP] solving with SCIP
313.29/314.37 c [STEP] preprocessing done, loading into solver
314.29/315.39 c [STEP] solving
314.29/315.39 c #variables 363995 #constraints 365865
314.29/315.40 c SMALL=int, LARGE=long long
314.39/315.40 d SCIPUB 174841974
314.39/315.42 c bounds - >= -174841973 @ 312.48
314.39/315.42 c stratification level: 128
646.42/648.48 c bounds - >= -1943157 @ 464.209
646.42/648.48 c bounds - >= -1942133 @ 465.086
646.42/648.48 c bounds - >= -1941109 @ 465.121
646.42/648.48 c bounds - >= -1940085 @ 465.171
646.42/648.48 c bounds - >= -1939061 @ 465.226
646.42/648.48 c bounds - >= -1938037 @ 465.29
646.42/648.48 c bounds - >= -1925813 @ 465.372
646.42/648.48 c bounds - >= -1924789 @ 465.431
646.42/648.48 c bounds - >= -1923765 @ 465.49
646.42/648.48 c bounds - >= -1922741 @ 465.541
646.42/648.48 c bounds - >= -1921717 @ 465.604
646.42/648.48 c bounds - >= -1920693 @ 465.684
646.42/648.48 c bounds - >= -1919669 @ 466.076
646.42/648.48 c bounds - >= -1918645 @ 466.171
646.42/648.48 c bounds - >= -1917621 @ 466.404
646.42/648.48 c bounds - >= -1916597 @ 466.84
646.42/648.48 c bounds - >= -1915573 @ 467.704
646.42/648.48 c #Conflicts: 1000 | #Constraints: 369589
646.42/648.48 c bounds - >= -1914549 @ 468.129
646.42/648.48 c bounds - >= -1913525 @ 469.232
646.42/648.48 c #Conflicts: 2000 | #Constraints: 370591
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c bounds - >= -1912501 @ 470.462
646.42/648.48 c #Conflicts: 3000 | #Constraints: 362717
646.42/648.48 c bounds - >= -1911477 @ 472.781
646.42/648.48 c bounds - >= -1910453 @ 473.855
646.42/648.48 c #Conflicts: 4000 | #Constraints: 363719
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 5000 | #Constraints: 363171
646.42/648.48 c #Conflicts: 6000 | #Constraints: 364171
646.42/648.48 c bounds - >= -1909429 @ 479.649
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c bounds - >= -1908405 @ 480.894
646.42/648.48 c #Conflicts: 7000 | #Constraints: 363238
646.42/648.48 c #Conflicts: 8000 | #Constraints: 364238
646.42/648.48 c bounds - >= -1907381 @ 484.195
646.42/648.48 c #Conflicts: 9000 | #Constraints: 365239
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 10000 | #Constraints: 363980
646.42/648.48 c bounds - >= -1906357 @ 487.15
646.42/648.48 c #Conflicts: 11000 | #Constraints: 364981
646.42/648.48 c bounds - >= -1905333 @ 489.258
646.42/648.48 c bounds - >= -1904309 @ 489.598
646.42/648.48 c bounds - >= -1903285 @ 490.113
646.42/648.48 c bounds - >= -1902261 @ 490.225
646.42/648.48 c bounds - >= -1901237 @ 490.367
646.42/648.48 c #Conflicts: 12000 | #Constraints: 365986
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 13000 | #Constraints: 364484
646.42/648.48 c bounds - >= -1900213 @ 494.315
646.42/648.48 c #Conflicts: 14000 | #Constraints: 365485
646.42/648.48 c bounds - >= -1899189 @ 495.635
646.42/648.48 c #Conflicts: 15000 | #Constraints: 366486
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 16000 | #Constraints: 364743
646.42/648.48 c #Conflicts: 17000 | #Constraints: 365743
646.42/648.48 c #Conflicts: 18000 | #Constraints: 366743
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 19000 | #Constraints: 364796
646.42/648.48 c bounds - >= -1898165 @ 505.62
646.42/648.48 c #Conflicts: 20000 | #Constraints: 365797
646.42/648.48 c #Conflicts: 21000 | #Constraints: 366797
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 22000 | #Constraints: 364640
646.42/648.48 c #Conflicts: 23000 | #Constraints: 365640
646.42/648.48 c bounds - >= -1897141 @ 532.244
646.42/648.48 c #Conflicts: 24000 | #Constraints: 366641
646.42/648.48 c #Conflicts: 25000 | #Constraints: 367641
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 26000 | #Constraints: 365271
646.42/648.48 c #Conflicts: 27000 | #Constraints: 366271
646.42/648.48 c #Conflicts: 28000 | #Constraints: 367271
646.42/648.48 c #Conflicts: 29000 | #Constraints: 368271
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 30000 | #Constraints: 365704
646.42/648.48 c bounds - >= -1896117 @ 551.497
646.42/648.48 c #Conflicts: 31000 | #Constraints: 366705
646.42/648.48 c #Conflicts: 32000 | #Constraints: 367705
646.42/648.48 c #Conflicts: 33000 | #Constraints: 368705
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 34000 | #Constraints: 365936
646.42/648.48 c bounds - >= -1895093 @ 560.227
646.42/648.48 c #Conflicts: 35000 | #Constraints: 366937
646.42/648.48 c #Conflicts: 36000 | #Constraints: 367937
646.42/648.48 c #Conflicts: 37000 | #Constraints: 368937
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c #Conflicts: 38000 | #Constraints: 365912
646.42/648.48 c #Conflicts: 39000 | #Constraints: 366912
646.42/648.48 c bounds - >= -1894069 @ 571.127
646.42/648.48 c #Conflicts: 40000 | #Constraints: 367913
646.42/648.48 c #Conflicts: 41000 | #Constraints: 368913
646.42/648.48 c INPROCESSING
646.42/648.48 c GARBAGE COLLECT
646.42/648.48 c bounds - >= -1892021 @ 620.591
646.42/648.48 c bounds - >= -1890997 @ 623.967
646.42/648.48 c #Conflicts: 42000 | #Constraints: 365606
646.42/648.48 c #Conflicts: 43000 | #Constraints: 366606
646.42/648.48 c #Conflicts: 44000 | #Constraints: 367606
646.42/648.48 c #Conflicts: 45000 | #Constraints: 368606
646.42/648.48 c #Conflicts
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: 63837 MiB (62371 MiB free)
memory of node 1: 64465 MiB (61330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505989-1751492964/watcher-4505989-1751492964 -o /tmp/evaluation-result-4505989-1751492964/solver-4505989-1751492964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751489340-68204 --watchdog 3760 mixed-bag HOME/instance-4505989-1751492964.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68613, runsolver pid=68608
[startup+0.100064 s]*
/proc/loadavg: 4.14 4.21 4.16 4/244 68616
/proc/meminfo: memFree=126708192/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=188356 memory=89340 CPUtime=0.08 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 14214 0 0 0 5 3 0 0 20 0 1 0 64975549 192876544 22335 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 47089 22335 2112 2842 0 29322 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 188356 KiB
Current children cumulated memory: 89340 KiB
[startup+0.206576 s]*
/proc/loadavg: 4.14 4.21 4.16 4/246 68620
/proc/meminfo: memFree=126650832/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=204740 memory=101632 CPUtime=0.18 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 14741 0 0 0 14 4 0 0 20 0 1 0 64975549 209653760 25408 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 51185 25408 2112 2842 0 33418 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 204740 KiB
Current children cumulated memory: 101632 KiB
[startup+0.306958 s]*
/proc/loadavg: 4.14 4.21 4.16 5/246 68620
/proc/meminfo: memFree=126626564/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=204740 memory=101632 CPUtime=0.29 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 14741 0 0 0 25 4 0 0 20 0 1 0 64975549 209653760 25408 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 51185 25408 2112 2842 0 33418 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 204740 KiB
Current children cumulated memory: 101632 KiB
[startup+0.700283 s]
/proc/loadavg: 4.14 4.21 4.16 5/246 68620
/proc/meminfo: memFree=126603196/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=198856 memory=108316 CPUtime=0.67 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 19525 0 0 0 61 6 0 0 20 0 1 0 64975549 203628544 27079 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 49714 27079 2112 2842 0 31947 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 198856 KiB
Current children cumulated memory: 108316 KiB
[startup+1.50029 s]
/proc/loadavg: 4.14 4.21 4.16 4/245 68622
/proc/meminfo: memFree=126277100/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=215284 memory=125512 CPUtime=1.47 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 20742 0 0 0 138 9 0 0 20 0 1 0 64975549 220450816 31378 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 53821 31378 2112 2842 0 36054 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 215284 KiB
Current children cumulated memory: 125512 KiB
[startup+3.11294 s]
/proc/loadavg: 4.14 4.21 4.16 5/249 68630
/proc/meminfo: memFree=125946360/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=408632 memory=266744 CPUtime=3.07 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 26984 0 0 0 291 16 0 0 20 0 1 0 64975549 418439168 66174 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 102158 66174 2144 2842 0 84391 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 408632 KiB
Current children cumulated memory: 266744 KiB
[startup+6.30029 s]
/proc/loadavg: 4.21 4.22 4.17 5/249 68630
/proc/meminfo: memFree=124863440/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=663928 memory=525484 CPUtime=6.25 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 45640 0 0 0 596 29 0 0 20 0 1 0 64975549 679862272 131371 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 165982 131371 2272 2842 0 147676 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 663928 KiB
Current children cumulated memory: 525484 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.22 4.16 5/249 68630
/proc/meminfo: memFree=121610544/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=2255544 memory=2102316 CPUtime=12.63 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 378882 0 0 0 1170 93 0 0 20 0 1 0 64975549 2309677056 525579 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 563886 525579 4032 2842 0 545580 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2255544 KiB
Current children cumulated memory: 2102316 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.21 4.16 5/249 68630
/proc/meminfo: memFree=118990492/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=2541068 memory=2385744 CPUtime=25.39 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 506639 0 0 0 2425 114 0 0 20 0 1 0 64975549 2602053632 596436 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 635267 596436 4064 2842 0 616961 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2541068 KiB
Current children cumulated memory: 2385744 KiB
[startup+51.113 s]
/proc/loadavg: 4.16 4.21 4.16 5/250 68631
/proc/meminfo: memFree=117921132/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=2906048 memory=2747404 CPUtime=50.93 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 549896 0 0 0 4968 125 0 0 20 0 1 0 64975549 2975793152 686851 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 726512 686851 4064 2842 0 708206 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2906048 KiB
Current children cumulated memory: 2747404 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.22 4.17 5/250 68634
/proc/meminfo: memFree=117928812/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=2911168 memory=2754572 CPUtime=101.96 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 551198 0 0 0 10071 125 0 0 20 0 1 0 64975549 2981036032 688643 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 727792 688643 4064 2842 0 709486 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2911168 KiB
Current children cumulated memory: 2754572 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/250 68638
/proc/meminfo: memFree=115727480/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=4244144 memory=3927836 CPUtime=161.79 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 688283 0 0 0 16020 159 0 0 20 0 1 0 64975549 4346003456 981959 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 1061036 981959 4128 2842 0 1042730 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 4244144 KiB
Current children cumulated memory: 3927836 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.19 4.16 5/250 68640
/proc/meminfo: memFree=113101084/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=4485144 memory=4084752 CPUtime=221.55 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 715634 0 0 0 21989 166 0 0 20 0 1 0 64975549 4592787456 1021188 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 1121286 1021188 4224 2842 0 1102980 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 4485144 KiB
Current children cumulated memory: 4084752 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.15 4.15 5/250 68642
/proc/meminfo: memFree=113035136/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=4496356 memory=4101028 CPUtime=281.38 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 716132 0 0 0 27971 167 0 0 20 0 1 0 64975549 4604268544 1025257 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 1124089 1025257 4224 2842 0 1105783 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 4496356 KiB
Current children cumulated memory: 4101028 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.14 4.15 5/249 68644
/proc/meminfo: memFree=114113332/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=3937964 memory=3856064 CPUtime=341.21 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 729817 0 0 0 33925 196 0 0 20 0 1 0 64975549 4032475136 964016 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 984491 964016 4384 2842 0 966185 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 3937964 KiB
Current children cumulated memory: 3856064 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/250 68651
/proc/meminfo: memFree=108294048/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=6168416 memory=6092116 CPUtime=401.04 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 1286336 0 0 0 39789 315 0 0 20 0 1 0 64975549 6316457984 1523029 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 1542104 1523029 4384 2842 0 1523798 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 6168416 KiB
Current children cumulated memory: 6092116 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/250 68653
/proc/meminfo: memFree=102728428/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=9188036 memory=9111864 CPUtime=460.85 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 2018699 0 0 0 45614 471 0 0 20 0 1 0 64975549 9408548864 2277966 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 2297009 2277966 4384 2842 0 2278703 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.76 4.37 4.23 5/250 68804
/proc/meminfo: memFree=71477056/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3153.11 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3676773 0 0 0 312644 2667 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.31 4.22 5/250 68806
/proc/meminfo: memFree=71349396/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3212.91 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3677069 0 0 0 318566 2725 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.29 4.21 5/250 68808
/proc/meminfo: memFree=71264548/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3272.72 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3677266 0 0 0 324516 2756 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.61 4.37 4.25 5/250 68810
/proc/meminfo: memFree=71240028/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3332.53 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3677618 0 0 0 330488 2765 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.38 4.26 5/250 68816
/proc/meminfo: memFree=71219704/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3392.33 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3677905 0 0 0 336449 2784 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.32 4.24 5/250 68818
/proc/meminfo: memFree=70971056/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3452.14 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3678405 0 0 0 342420 2794 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.28 4.23 5/250 68820
/proc/meminfo: memFree=70642376/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3511.94 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3680616 0 0 0 348354 2840 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.26 4.23 5/250 68822
/proc/meminfo: memFree=70645088/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3571.74 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3680750 0 0 0 354262 2912 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.20 4.25 4.23 4/246 68908
/proc/meminfo: memFree=91636024/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422352 CPUtime=3600.05 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3680768 0 0 0 357072 2933 0 0 20 0 1 0 64975549 20377849856 4855588 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855588 4384 2842 0 4956755 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.29 s]
# the end of solver process 68613 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3572.71 s, system=29.9206 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.19 4.25 4.22 5/250 68912
/proc/meminfo: memFree=93195296/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422992 CPUtime=3600.55 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3683570 0 0 0 357122 2933 0 0 20 0 1 0 64975549 20377849856 4855748 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855748 4544 2842 0 4956755 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422992 KiB
[startup+3612 s]*
/proc/loadavg: 4.19 4.25 4.22 4/246 68920
/proc/meminfo: memFree=108796164/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422992 CPUtime=3601.35 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3685327 0 0 0 357202 2933 0 0 20 0 1 0 64975549 20377849856 4855748 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855748 4544 2842 0 4956755 0
Current children cumulated CPU time: 3601.35 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422992 KiB
[startup+3612.4 s]
/proc/loadavg: 4.19 4.25 4.22 4/246 68920
/proc/meminfo: memFree=108796164/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422992 CPUtime=3601.74 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3685696 0 0 0 357241 2933 0 0 20 0 1 0 64975549 20377849856 4855748 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855748 4544 2842 0 4956755 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422992 KiB
[startup+3612.6 s]
/proc/loadavg: 4.19 4.25 4.22 4/246 68920
/proc/meminfo: memFree=108796164/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422992 CPUtime=3601.94 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3685871 0 0 0 357261 2933 0 0 20 0 1 0 64975549 20377849856 4855748 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855748 4544 2842 0 4956755 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422992 KiB
[startup+3612.7 s]
/proc/loadavg: 4.19 4.25 4.22 4/246 68920
/proc/meminfo: memFree=108796164/131382120 swapFree=33010160/33010684
[pid=68613] ppid=68608 vsize=19900244 memory=19422992 CPUtime=3602.04 cores=0,2
/proc/68613/stat : 68613 (mixed-bag) R 68608 68613 68194 0 -1 4194304 3685938 0 0 0 357271 2933 0 0 20 0 1 0 64975549 20377849856 4855748 18446744073709551615 4235264 15874749 140721728507072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42676224 140721728514460 140721728514537 140721728514537 140721728520139 0
/proc/68613/statm: 4975061 4855748 4544 2842 0 4956755 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 19900244 KiB
Current children cumulated memory: 19422992 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.29
CPU time (s): 3602.64
CPU user time (s): 3572.71
CPU system time (s): 29.9206
CPU usage (%): 99.7052
Max. virtual memory (cumulated for all children) (KiB): 19900244
Max. memory (cumulated for all children) (KiB): 19422992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.71
system time used= 29.9206
maximum resident set size= 19422992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3685938
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= 127
involuntary context switches= 8645
# summary of solver processes directly reported to runsolver:
# pid: 68613
# total CPU time (s): 3602.64
# total CPU user time (s): 3572.71
# total CPU system time (s): 29.9206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9075 second user time and 34.9824 second system time
The end
Begin job on nodeC008 at 2025-07-02 23:49:24
IDJOB=4505989
IDBENCH=157587
IDSOLVER=3340
FILE ID=nodeC008/4505989-1751492964
RUNJOBID= nodeC008-1751489340-68204
SLURM_JOB_ID= 9598550
Free space on /tmp= 432584 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4505989-1751492964/watcher-4505989-1751492964 -o /tmp/evaluation-result-4505989-1751492964/solver-4505989-1751492964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751489340-68204 --watchdog 3760 mixed-bag HOME/instance-4505989-1751492964.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a6b74371f97d4ca84ea621a5ce055c49
RANDOM SEED=220487236
nodeC008 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 : 0xb00001f
cpu MHz : 1197.232
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3591.653
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 2893.279
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.076
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.353
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3591.626
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1596.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.193
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126679160 kB
MemAvailable: 127737136 kB
Buffers: 2144 kB
Cached: 1854216 kB
SwapCached: 16 kB
Active: 2388740 kB
Inactive: 1622704 kB
Active(anon): 2136420 kB
Inactive(anon): 36584 kB
Active(file): 252320 kB
Inactive(file): 1586120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46812 kB
Writeback: 0 kB
AnonPages: 2157992 kB
Mapped: 118400 kB
Shmem: 17920 kB
KReclaimable: 118324 kB
Slab: 202044 kB
SReclaimable: 118324 kB
SUnreclaim: 83720 kB
KernelStack: 3968 kB
PageTables: 7280 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2693960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 696320 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432516 MiB
End job on nodeC008 at 2025-07-03 00:49:38