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.16/3.28 c [STEP] preprocessing with Papilo
7.14/7.22 c [STEP] solving with SCIP
308.91/310.17 c [STEP] preprocessing done, loading into solver
309.81/311.03 c [STEP] solving
309.81/311.03 c #variables 329997 #constraints 331689
309.81/311.04 c SMALL=int, LARGE=long long
309.81/311.04 d SCIPUB 174643716
309.81/311.06 c bounds - >= -174643715 @ 308.073
309.81/311.06 c stratification level: 256
948.30/951.66 c bounds - >= -1595395 @ 431.342
948.30/951.66 c bounds - >= -1594371 @ 432.107
948.30/951.66 c bounds - >= -1593347 @ 432.147
948.30/951.66 c bounds - >= -1592323 @ 432.176
948.30/951.66 c bounds - >= -1584696 @ 432.238
948.30/951.66 c bounds - >= -1583672 @ 432.305
948.30/951.66 c bounds - >= -1582648 @ 432.346
948.30/951.66 c bounds - >= -1581624 @ 432.429
948.30/951.66 c bounds - >= -1580600 @ 432.737
948.30/951.66 c bounds - >= -1579576 @ 433.95
948.30/951.66 c bounds - >= -1578552 @ 434.135
948.30/951.66 c #Conflicts: 1000 | #Constraints: 335218
948.30/951.66 c bounds - >= -1577528 @ 435.754
948.30/951.66 c bounds - >= -1576504 @ 436.301
948.30/951.66 c bounds - >= -1575480 @ 436.684
948.30/951.66 c #Conflicts: 2000 | #Constraints: 336221
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c #Conflicts: 3000 | #Constraints: 328980
948.30/951.66 c #Conflicts: 4000 | #Constraints: 329980
948.30/951.66 c INPROCESSING
948.30/951.66 c bounds - >= -1574456 @ 441.461
948.30/951.66 c #Conflicts: 5000 | #Constraints: 329432
948.30/951.66 c bounds - >= -1573432 @ 441.948
948.30/951.66 c bounds - >= -1572408 @ 442.49
948.30/951.66 c bounds - >= -1571384 @ 443.146
948.30/951.66 c #Conflicts: 6000 | #Constraints: 330435
948.30/951.66 c bounds - >= -1570360 @ 444.185
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c #Conflicts: 7000 | #Constraints: 329481
948.30/951.66 c #Conflicts: 8000 | #Constraints: 330481
948.30/951.66 c bounds - >= -1569336 @ 476.89
948.30/951.66 c #Conflicts: 9000 | #Constraints: 331482
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c #Conflicts: 10000 | #Constraints: 330174
948.30/951.66 c bounds - >= -1568312 @ 480.547
948.30/951.66 c #Conflicts: 11000 | #Constraints: 331175
948.30/951.66 c bounds - >= -1567288 @ 492.094
948.30/951.66 c #Conflicts: 12000 | #Constraints: 332176
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c bounds - >= -1566264 @ 493.288
948.30/951.66 c bounds - >= -1565240 @ 493.387
948.30/951.66 c bounds - >= -1564216 @ 494.246
948.30/951.66 c #Conflicts: 13000 | #Constraints: 330657
948.30/951.66 c bounds - >= -1563192 @ 494.486
948.30/951.66 c bounds - >= -1562168 @ 508.701
948.30/951.66 c #Conflicts: 14000 | #Constraints: 331659
948.30/951.66 c #Conflicts: 15000 | #Constraints: 332659
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c #Conflicts: 16000 | #Constraints: 330869
948.30/951.66 c #Conflicts: 17000 | #Constraints: 331869
948.30/951.66 c #Conflicts: 18000 | #Constraints: 332869
948.30/951.66 c bounds - >= -1561144 @ 540.295
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c bounds - >= -1560120 @ 543.309
948.30/951.66 c #Conflicts: 19000 | #Constraints: 330916
948.30/951.66 c bounds - >= -1558072 @ 554.418
948.30/951.66 c #Conflicts: 20000 | #Constraints: 331917
948.30/951.66 c bounds - >= -1557048 @ 562.496
948.30/951.66 c bounds - >= -1556024 @ 594.784
948.30/951.66 c bounds - >= -1555000 @ 609.309
948.30/951.66 c bounds - >= -1553976 @ 617.352
948.30/951.66 c bounds - >= -1552952 @ 628.106
948.30/951.66 c bounds - >= -1551928 @ 630.777
948.30/951.66 c bounds - >= -1549179 @ 654.503
948.30/951.66 c bounds - >= -1548155 @ 655.807
948.30/951.66 c #Conflicts: 21000 | #Constraints: 332925
948.30/951.66 c bounds - >= -1547131 @ 694.14
948.30/951.66 c bounds - >= -1546107 @ 699.734
948.30/951.66 c bounds - >= -1545083 @ 705.461
948.30/951.66 c bounds - >= -1544059 @ 707.243
948.30/951.66 c bounds - >= -1543035 @ 710.272
948.30/951.66 c bounds - >= -1542011 @ 712.288
948.30/951.66 c bounds - >= -1540987 @ 715.429
948.30/951.66 c bounds - >= -1537404 @ 717.252
948.30/951.66 c bounds - >= -1534403 @ 728.285
948.30/951.66 c INPROCESSING
948.30/951.66 c GARBAGE COLLECT
948.30/951.66 c #Conflicts: 22000 | #Constraints: 324235
948.30/951.66 c bounds - >= -1532953 @ 765.915
948.30/951.66 c bounds - >= -1531929 @ 782.474
948.30/951.66 c bounds - >= -1530905 @ 794.172
948.30/951.66 c bounds - >= -1529881 @ 794.94
948.30/951.66 c bounds - >= -1528857 @ 796.116
948.30/951.66 c bounds - >= -1527833 @ 796.908
948.30/951.66 c bounds - >= -1526809 @ 811.023
948.30/951.66 c bounds - >= -1525785 @ 812.142
948.30/951.66 c bounds - >= -1524761 @ 813.216
948.30/951.66 c bounds - >= -1523737 @ 814.319
948.30/951.66 c bounds - >= -1522713 @ 815.123
948.30/951.66 c bounds - >= -1521689 @ 816.265
948.30/951.66 c bounds - >= -1520665 @ 817.416
948.30/951.66 c #Conflicts: 23000 | #Constraints: 325248
948.30/951.66 c bounds - >= -1519641 @ 832.146
948.30/951.66 c bounds - >= -1518617 @ 833.164
948.30/951.66 c bounds - >= -1517593 @ 833.935
948.30/951.66 c bounds - >= -1516569 @ 834.907
948.30/951.66 c bounds - >= -1515545 @ 858.212
948.30/951.66 c bounds - >= -1514521 @ 864.594
948.30/951.66 c bounds - >= -1513497 @ 865.644
948.30/951.66 c bounds - >= -1512473 @ 882.47
948.30/951.66 c #Conflicts: 24000 | #Constraints: 326256
948.30/951.66 c bounds - >= -1511345 @ 883.497
948.30/951.66 c bounds - >= -1510321 @ 887.791
948.30/951.66 c bounds - >= -1509297 @ 888.558
948.30/951.66 c bounds - >= -1508273 @ 894.395
948.30/951.66 c bounds - >= -1507249 @ 898.623
948.30/951.66 c bounds - >= -1506225 @ 899.555
948.30/951.66 c bounds - >= -1505201 @ 900.655
948.30/951.66 c bounds - >= -1504177 @ 901.584
948.30/951.66 c bounds - >= -1503153 @ 902.378
948.30/951.66 c bounds - >= -1502129 @ 906.986
948.30/951.66 c bounds - >= -1501105 @ 919.779
948.30/951.66 c
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 (62275 MiB free)
memory of node 1: 64465 MiB (63373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505943-1751492954/watcher-4505943-1751492954 -o /tmp/evaluation-result-4505943-1751492954/solver-4505943-1751492954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751489340-68206 --watchdog 3760 mixed-bag HOME/instance-4505943-1751492954.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=68566, runsolver pid=68563
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 4.17 4.22 4.16 5/247 68567
/proc/meminfo: memFree=128622248/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=152300 memory=59032 CPUtime=0.08 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 7800 0 0 0 5 3 0 0 20 0 1 0 64974581 155955200 14758 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 38075 14758 2112 2842 0 20308 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 152300 KiB
Current children cumulated memory: 59032 KiB
[startup+0.214784 s]*
/proc/loadavg: 4.17 4.22 4.16 5/247 68567
/proc/meminfo: memFree=128572096/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=220416 memory=99768 CPUtime=0.19 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 15788 0 0 0 12 7 0 0 20 0 1 0 64974581 225705984 24942 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 55104 24942 2112 2842 0 37337 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 220416 KiB
Current children cumulated memory: 99768 KiB
[startup+0.313681 s]*
/proc/loadavg: 4.17 4.22 4.16 5/247 68567
/proc/meminfo: memFree=128555712/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=204028 memory=97796 CPUtime=0.29 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 15795 0 0 0 21 8 0 0 20 0 1 0 64974581 208924672 24449 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 51007 24449 2112 2842 0 33240 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 204028 KiB
Current children cumulated memory: 97796 KiB
[startup+0.700364 s]
/proc/loadavg: 4.17 4.22 4.16 5/247 68567
/proc/meminfo: memFree=128539456/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=198724 memory=108376 CPUtime=0.66 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 20647 0 0 0 57 9 0 0 20 0 1 0 64974581 203493376 27094 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 49681 27094 2144 2842 0 31914 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 198724 KiB
Current children cumulated memory: 108376 KiB
[startup+1.50035 s]
/proc/loadavg: 4.17 4.22 4.16 5/247 68567
/proc/meminfo: memFree=128510188/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=215152 memory=127828 CPUtime=1.46 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 21904 0 0 0 135 11 0 0 20 0 1 0 64974581 220315648 31957 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 53788 31957 2144 2842 0 36021 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 215152 KiB
Current children cumulated memory: 127828 KiB
[startup+3.11312 s]
/proc/loadavg: 4.17 4.22 4.16 5/247 68567
/proc/meminfo: memFree=127938936/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=446060 memory=294660 CPUtime=3.06 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 29544 0 0 0 287 19 0 0 20 0 1 0 64974581 456765440 73665 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 111515 73665 2176 2842 0 93748 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 446060 KiB
Current children cumulated memory: 294660 KiB
[startup+6.30034 s]
/proc/loadavg: 4.16 4.21 4.16 5/247 68567
/proc/meminfo: memFree=127576140/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=664512 memory=526176 CPUtime=6.25 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 51661 0 0 0 594 31 0 0 20 0 1 0 64974581 680460288 131544 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 166128 131544 2304 2842 0 147822 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 664512 KiB
Current children cumulated memory: 526176 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.21 4.16 5/249 68630
/proc/meminfo: memFree=126127868/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=1851828 memory=1691004 CPUtime=12.62 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 355321 0 0 0 1175 87 0 0 20 0 1 0 64974581 1896271872 422751 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 462957 422751 4032 2842 0 444651 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1851828 KiB
Current children cumulated memory: 1691004 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.22 4.16 5/249 68630
/proc/meminfo: memFree=121288492/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=2515576 memory=2350484 CPUtime=25.37 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 495494 0 0 0 2427 110 0 0 20 0 1 0 64974581 2575949824 587621 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 628894 587621 4064 2842 0 610588 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2515576 KiB
Current children cumulated memory: 2350484 KiB
[startup+51.1129 s]
/proc/loadavg: 4.19 4.21 4.16 5/250 68631
/proc/meminfo: memFree=117950940/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=2633840 memory=2468756 CPUtime=50.9 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 510303 0 0 0 4976 114 0 0 20 0 1 0 64974581 2697052160 617189 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 658460 617189 4064 2842 0 640154 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2633840 KiB
Current children cumulated memory: 2468756 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.21 4.17 5/250 68634
/proc/meminfo: memFree=117928920/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=2633840 memory=2468756 CPUtime=101.91 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 510312 0 0 0 10077 114 0 0 20 0 1 0 64974581 2697052160 617189 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 658460 617189 4064 2842 0 640154 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2633840 KiB
Current children cumulated memory: 2468756 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.20 4.17 5/250 68638
/proc/meminfo: memFree=116709712/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=3997108 memory=3672688 CPUtime=161.69 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 677570 0 0 0 16018 151 0 0 20 0 1 0 64974581 4093038592 918172 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 999277 918172 4256 2842 0 980971 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 3997108 KiB
Current children cumulated memory: 3672688 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/250 68640
/proc/meminfo: memFree=113153700/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=4006108 memory=3677600 CPUtime=221.45 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 678322 0 0 0 21994 151 0 0 20 0 1 0 64974581 4102254592 919400 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 1001527 919400 4256 2842 0 983221 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 4006108 KiB
Current children cumulated memory: 3677600 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.16 4.16 5/250 68642
/proc/meminfo: memFree=113044624/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=4006108 memory=3677600 CPUtime=281.21 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 678379 0 0 0 27969 152 0 0 20 0 1 0 64974581 4102254592 919400 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 1001527 919400 4256 2842 0 983221 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 4006108 KiB
Current children cumulated memory: 3677600 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/250 68644
/proc/meminfo: memFree=114975080/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=3102292 memory=3023312 CPUtime=340.99 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 738446 0 0 0 33902 197 0 0 20 0 1 0 64974581 3176747008 755828 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 775573 755828 4384 2842 0 757267 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 3102292 KiB
Current children cumulated memory: 3023312 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/250 68651
/proc/meminfo: memFree=109256168/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=6094228 memory=6015232 CPUtime=400.79 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 1480816 0 0 0 39733 346 0 0 20 0 1 0 64974581 6240489472 1503808 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 1523557 1503808 4384 2842 0 1505251 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 6094228 KiB
Current children cumulated memory: 6015232 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/250 68653
/proc/meminfo: memFree=103570928/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=8648808 memory=8537000 CPUtime=460.59 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 2091306 0 0 0 45587 472 0 0 20 0 1 0 64974581 8856379392 2134250 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 2162202 2134250 4416 2842 0 2143896 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.20 4.18 4.16 5/249 68799
/proc/meminfo: memFree=72175432/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18297980 memory=16485548 CPUtime=3092.2 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3430539 0 0 0 305651 3569 0 0 20 0 1 0 64974581 18737131520 4121387 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574495 4121387 4416 2842 0 4556189 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 18297980 KiB
Current children cumulated memory: 16485548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.81 4.36 4.22 5/250 68804
/proc/meminfo: memFree=71571808/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18297980 memory=16485548 CPUtime=3152.04 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3430842 0 0 0 311518 3686 0 0 20 0 1 0 64974581 18737131520 4121387 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574495 4121387 4416 2842 0 4556189 0
Current children cumulated CPU time: 3152.04 s
Current children cumulated vsize: 18297980 KiB
Current children cumulated memory: 16485548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.32 4.22 5/250 68806
/proc/meminfo: memFree=71377948/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18297980 memory=16485548 CPUtime=3211.88 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3431141 0 0 0 317360 3828 0 0 20 0 1 0 64974581 18737131520 4121387 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574495 4121387 4416 2842 0 4556189 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 18297980 KiB
Current children cumulated memory: 16485548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.28 4.21 5/250 68808
/proc/meminfo: memFree=71262940/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18297980 memory=16485548 CPUtime=3271.72 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3431325 0 0 0 323335 3837 0 0 20 0 1 0 64974581 18737131520 4121387 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574495 4121387 4416 2842 0 4556189 0
Current children cumulated CPU time: 3271.72 s
Current children cumulated vsize: 18297980 KiB
Current children cumulated memory: 16485548 KiB
[startup+3342.3 s]
/proc/loadavg: 4.54 4.35 4.24 5/250 68810
/proc/meminfo: memFree=71239976/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18297980 memory=16485548 CPUtime=3331.57 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3431722 0 0 0 329286 3871 0 0 20 0 1 0 64974581 18737131520 4121387 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574495 4121387 4416 2842 0 4556189 0
Current children cumulated CPU time: 3331.57 s
Current children cumulated vsize: 18297980 KiB
Current children cumulated memory: 16485548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.43 4.37 4.25 5/250 68816
/proc/meminfo: memFree=71232136/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18297980 memory=16491756 CPUtime=3391.4 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3432332 0 0 0 335260 3880 0 0 20 0 1 0 64974581 18737131520 4122939 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574495 4122939 4416 2842 0 4556189 0
Current children cumulated CPU time: 3391.4 s
Current children cumulated vsize: 18297980 KiB
Current children cumulated memory: 16491756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.33 4.25 5/250 68818
/proc/meminfo: memFree=71004216/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18299192 memory=16724640 CPUtime=3451.24 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3445701 0 0 0 341227 3897 0 0 20 0 1 0 64974581 18738372608 4181160 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574798 4181160 4416 2842 0 4556492 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 18299192 KiB
Current children cumulated memory: 16724640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.29 4.24 5/250 68820
/proc/meminfo: memFree=70644064/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18299912 memory=17076272 CPUtime=3511.08 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3484340 0 0 0 347179 3929 0 0 20 0 1 0 64974581 18739109888 4269068 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4574978 4269068 4416 2842 0 4556672 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 18299912 KiB
Current children cumulated memory: 17076272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.25 4.22 5/250 68822
/proc/meminfo: memFree=70645088/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18303968 memory=17080368 CPUtime=3570.92 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3485713 0 0 0 353151 3941 0 0 20 0 1 0 64974581 18743263232 4270092 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4575992 4270092 4416 2842 0 4557686 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 18303968 KiB
Current children cumulated memory: 17080368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.13 4.24 4.22 6/250 68822
/proc/meminfo: memFree=70638880/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18303968 memory=17080368 CPUtime=3600.05 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3485789 0 0 0 356061 3944 0 0 20 0 1 0 64974581 18743263232 4270092 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4575992 4270092 4416 2842 0 4557686 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 18303968 KiB
Current children cumulated memory: 17080368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.97 s]
# the end of solver process 68566 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3562.59 s, system=39.9231 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.13 4.24 4.22 4/246 68830
/proc/meminfo: memFree=74866992/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18303968 memory=17080880 CPUtime=3601.34 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3490100 0 0 0 356189 3945 0 0 20 0 1 0 64974581 18743263232 4270220 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4575992 4270220 4544 2842 0 4557686 0
Current children cumulated CPU time: 3601.34 s
Current children cumulated vsize: 18303968 KiB
Current children cumulated memory: 17080880 KiB
[startup+3613.2 s]
/proc/loadavg: 4.13 4.24 4.22 4/246 68830
/proc/meminfo: memFree=74866992/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18303968 memory=17080880 CPUtime=3601.73 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3491186 0 0 0 356228 3945 0 0 20 0 1 0 64974581 18743263232 4270220 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4575992 4270220 4544 2842 0 4557686 0
Current children cumulated CPU time: 3601.73 s
Current children cumulated vsize: 18303968 KiB
Current children cumulated memory: 17080880 KiB
[startup+3613.4 s]
/proc/loadavg: 4.13 4.24 4.22 4/246 68830
/proc/meminfo: memFree=74866992/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18303968 memory=17080880 CPUtime=3601.93 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3491450 0 0 0 356248 3945 0 0 20 0 1 0 64974581 18743263232 4270220 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4575992 4270220 4544 2842 0 4557686 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 18303968 KiB
Current children cumulated memory: 17080880 KiB
[startup+3613.5 s]
/proc/loadavg: 4.13 4.24 4.22 4/246 68830
/proc/meminfo: memFree=74866992/131382120 swapFree=33010160/33010684
[pid=68566] ppid=68563 vsize=18303968 memory=17080880 CPUtime=3602.03 cores=1,3
/proc/68566/stat : 68566 (mixed-bag) R 68563 68566 68194 0 -1 4194304 3491543 0 0 0 356258 3945 0 0 20 0 1 0 64974581 18743263232 4270220 18446744073709551615 4235264 15874749 140726057889792 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35135488 140726057896348 140726057896425 140726057896425 140726057902027 0
/proc/68566/statm: 4575992 4270220 4544 2842 0 4557686 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 18303968 KiB
Current children cumulated memory: 17080880 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.97
CPU time (s): 3602.51
CPU user time (s): 3562.59
CPU system time (s): 39.9231
CPU usage (%): 99.683
Max. virtual memory (cumulated for all children) (KiB): 18303968
Max. memory (cumulated for all children) (KiB): 17080880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.59
system time used= 39.9231
maximum resident set size= 17080880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491543
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= 128
involuntary context switches= 3147
# summary of solver processes directly reported to runsolver:
# pid: 68566
# total CPU time (s): 3602.51
# total CPU user time (s): 3562.59
# total CPU system time (s): 39.9231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7302 second user time and 31.9484 second system time
The end
Begin job on nodeC008 at 2025-07-02 23:49:15
IDJOB=4505943
IDBENCH=157385
IDSOLVER=3340
FILE ID=nodeC008/4505943-1751492954
RUNJOBID= nodeC008-1751489340-68206
SLURM_JOB_ID= 9598550
Free space on /tmp= 432508 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505943-1751492954/watcher-4505943-1751492954 -o /tmp/evaluation-result-4505943-1751492954/solver-4505943-1751492954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751489340-68206 --watchdog 3760 mixed-bag HOME/instance-4505943-1751492954.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
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 : 3392.453
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 : 1496.617
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 : 1197.368
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.183
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 : 1795.719
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 : 3700.000
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 : 3700.000
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 : 1695.895
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: 128694132 kB
MemAvailable: 129827664 kB
Buffers: 2144 kB
Cached: 1929768 kB
SwapCached: 16 kB
Active: 386344 kB
Inactive: 1698256 kB
Active(anon): 134024 kB
Inactive(anon): 36584 kB
Active(file): 252320 kB
Inactive(file): 1661672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 107264 kB
Writeback: 0 kB
AnonPages: 155744 kB
Mapped: 108044 kB
Shmem: 17920 kB
KReclaimable: 118332 kB
Slab: 202592 kB
SReclaimable: 118332 kB
SUnreclaim: 84260 kB
KernelStack: 3968 kB
PageTables: 3188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 493692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 55296 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= 432644 MiB
End job on nodeC008 at 2025-07-03 00:49:29