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.27/2.37 c [STEP] preprocessing with Papilo
6.17/6.22 c [STEP] solving with SCIP
307.89/309.12 c [STEP] preprocessing done, loading into solver
308.79/310.00 c [STEP] solving
308.79/310.00 c #variables 329997 #constraints 331689
308.79/310.01 c SMALL=int, LARGE=long long
308.79/310.01 d SCIPUB 174643716
308.79/310.03 c bounds - >= -174643715 @ 307.126
308.79/310.03 c stratification level: 256
964.16/967.46 c bounds - >= -1595395 @ 434.23
964.16/967.46 c bounds - >= -1594371 @ 434.995
964.16/967.46 c bounds - >= -1593347 @ 435.031
964.16/967.46 c bounds - >= -1592323 @ 435.061
964.16/967.46 c bounds - >= -1584696 @ 435.124
964.16/967.46 c bounds - >= -1583672 @ 435.195
964.16/967.46 c bounds - >= -1582648 @ 435.238
964.16/967.46 c bounds - >= -1581624 @ 435.318
964.16/967.46 c bounds - >= -1580600 @ 435.619
964.16/967.46 c bounds - >= -1579576 @ 436.896
964.16/967.46 c bounds - >= -1578552 @ 437.087
964.16/967.46 c #Conflicts: 1000 | #Constraints: 335218
964.16/967.46 c bounds - >= -1577528 @ 438.723
964.16/967.46 c bounds - >= -1576504 @ 439.274
964.16/967.46 c bounds - >= -1575480 @ 439.664
964.16/967.46 c #Conflicts: 2000 | #Constraints: 336221
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c #Conflicts: 3000 | #Constraints: 328980
964.16/967.46 c #Conflicts: 4000 | #Constraints: 329980
964.16/967.46 c INPROCESSING
964.16/967.46 c bounds - >= -1574456 @ 444.685
964.16/967.46 c #Conflicts: 5000 | #Constraints: 329432
964.16/967.46 c bounds - >= -1573432 @ 445.186
964.16/967.46 c bounds - >= -1572408 @ 445.75
964.16/967.46 c bounds - >= -1571384 @ 446.44
964.16/967.46 c #Conflicts: 6000 | #Constraints: 330435
964.16/967.46 c bounds - >= -1570360 @ 447.491
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c #Conflicts: 7000 | #Constraints: 329481
964.16/967.46 c #Conflicts: 8000 | #Constraints: 330481
964.16/967.46 c bounds - >= -1569336 @ 481.287
964.16/967.46 c #Conflicts: 9000 | #Constraints: 331482
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c #Conflicts: 10000 | #Constraints: 330174
964.16/967.46 c bounds - >= -1568312 @ 484.936
964.16/967.46 c #Conflicts: 11000 | #Constraints: 331175
964.16/967.46 c bounds - >= -1567288 @ 496.842
964.16/967.46 c #Conflicts: 12000 | #Constraints: 332176
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c bounds - >= -1566264 @ 498.156
964.16/967.46 c bounds - >= -1565240 @ 498.253
964.16/967.46 c bounds - >= -1564216 @ 499.137
964.16/967.46 c #Conflicts: 13000 | #Constraints: 330657
964.16/967.46 c bounds - >= -1563192 @ 499.393
964.16/967.46 c bounds - >= -1562168 @ 513.876
964.16/967.46 c #Conflicts: 14000 | #Constraints: 331659
964.16/967.46 c #Conflicts: 15000 | #Constraints: 332659
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c #Conflicts: 16000 | #Constraints: 330869
964.16/967.46 c #Conflicts: 17000 | #Constraints: 331869
964.16/967.46 c #Conflicts: 18000 | #Constraints: 332869
964.16/967.46 c bounds - >= -1561144 @ 546.403
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c bounds - >= -1560120 @ 549.529
964.16/967.46 c #Conflicts: 19000 | #Constraints: 330916
964.16/967.46 c bounds - >= -1558072 @ 561.488
964.16/967.46 c #Conflicts: 20000 | #Constraints: 331917
964.16/967.46 c bounds - >= -1557048 @ 569.756
964.16/967.46 c bounds - >= -1556024 @ 602.884
964.16/967.46 c bounds - >= -1555000 @ 617.685
964.16/967.46 c bounds - >= -1553976 @ 625.755
964.16/967.46 c bounds - >= -1552952 @ 636.627
964.16/967.46 c bounds - >= -1551928 @ 639.395
964.16/967.46 c bounds - >= -1549179 @ 663.743
964.16/967.46 c bounds - >= -1548155 @ 665.052
964.16/967.46 c #Conflicts: 21000 | #Constraints: 332925
964.16/967.46 c bounds - >= -1547131 @ 704.61
964.16/967.46 c bounds - >= -1546107 @ 710.559
964.16/967.46 c bounds - >= -1545083 @ 716.456
964.16/967.46 c bounds - >= -1544059 @ 718.355
964.16/967.46 c bounds - >= -1543035 @ 721.461
964.16/967.46 c bounds - >= -1542011 @ 723.539
964.16/967.46 c bounds - >= -1540987 @ 726.664
964.16/967.46 c bounds - >= -1537404 @ 728.502
964.16/967.46 c bounds - >= -1534403 @ 739.782
964.16/967.46 c INPROCESSING
964.16/967.46 c GARBAGE COLLECT
964.16/967.46 c #Conflicts: 22000 | #Constraints: 324235
964.16/967.46 c bounds - >= -1532953 @ 778.393
964.16/967.46 c bounds - >= -1531929 @ 795.723
964.16/967.46 c bounds - >= -1530905 @ 807.517
964.16/967.46 c bounds - >= -1529881 @ 808.292
964.16/967.46 c bounds - >= -1528857 @ 809.472
964.16/967.46 c bounds - >= -1527833 @ 810.275
964.16/967.46 c bounds - >= -1526809 @ 824.619
964.16/967.46 c bounds - >= -1525785 @ 825.765
964.16/967.46 c bounds - >= -1524761 @ 826.876
964.16/967.46 c bounds - >= -1523737 @ 827.947
964.16/967.46 c bounds - >= -1522713 @ 828.732
964.16/967.46 c bounds - >= -1521689 @ 829.857
964.16/967.46 c bounds - >= -1520665 @ 830.988
964.16/967.46 c #Conflicts: 23000 | #Constraints: 325248
964.16/967.46 c bounds - >= -1519641 @ 845.839
964.16/967.46 c bounds - >= -1518617 @ 846.846
964.16/967.46 c bounds - >= -1517593 @ 847.608
964.16/967.46 c bounds - >= -1516569 @ 848.594
964.16/967.46 c bounds - >= -1515545 @ 872.216
964.16/967.46 c bounds - >= -1514521 @ 878.655
964.16/967.46 c bounds - >= -1513497 @ 879.712
964.16/967.46 c bounds - >= -1512473 @ 896.993
964.16/967.46 c #Conflicts: 24000 | #Constraints: 326256
964.16/967.46 c bounds - >= -1511345 @ 898.049
964.16/967.46 c bounds - >= -1510321 @ 902.459
964.16/967.46 c bounds - >= -1509297 @ 903.248
964.16/967.46 c bounds - >= -1508273 @ 909.255
964.16/967.46 c bounds - >= -1507249 @ 913.616
964.16/967.46 c bounds - >= -1506225 @ 914.591
964.16/967.46 c bounds - >= -1505201 @ 915.718
964.16/967.46 c bounds - >= -1504177 @ 916.69
964.16/967.46 c bounds - >= -1503153 @ 917.517
964.16/967.46 c bounds - >= -1502129 @ 922.251
964.16/967.46 c bounds - >= -1501105 @ 935.395
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 (61935 MiB free)
memory of node 1: 64465 MiB (63443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529141-1752261345/watcher-4529141-1752261345 -o /tmp/evaluation-result-4529141-1752261345/solver-4529141-1752261345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122695 --watchdog 3760 mixed-bag HOME/instance-4529141-1752261345.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=123680, runsolver pid=123677
[startup+0.100062 s]*
/proc/loadavg: 4.18 4.17 4.11 4/261 123681
/proc/meminfo: memFree=128276340/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=201864 memory=97752 CPUtime=0.08 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 14781 0 0 0 6 2 0 0 20 0 1 0 141811993 206708736 24438 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 50466 24438 2176 2834 0 33218 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 201864 KiB
Current children cumulated memory: 97752 KiB
[startup+0.206013 s]*
/proc/loadavg: 4.18 4.17 4.11 5/261 123681
/proc/meminfo: memFree=128201984/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=184272 memory=95568 CPUtime=0.19 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 18431 0 0 0 16 3 0 0 20 0 1 0 141811993 188694528 23892 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 46068 23892 2208 2834 0 28820 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 184272 KiB
Current children cumulated memory: 95568 KiB
[startup+0.305806 s]*
/proc/loadavg: 4.18 4.17 4.11 4/261 123681
/proc/meminfo: memFree=128192156/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=196560 memory=108856 CPUtime=0.29 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 19701 0 0 0 26 3 0 0 20 0 1 0 141811993 201277440 27214 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 49140 27214 2208 2834 0 31892 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 196560 KiB
Current children cumulated memory: 108856 KiB
[startup+0.700185 s]
/proc/loadavg: 4.18 4.17 4.11 4/261 123688
/proc/meminfo: memFree=127928652/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=212988 memory=125744 CPUtime=0.68 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 20827 0 0 0 63 5 0 0 20 0 1 0 141811993 218099712 31436 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 53247 31436 2208 2834 0 35999 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212988 KiB
Current children cumulated memory: 125744 KiB
[startup+1.50017 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 123710
/proc/meminfo: memFree=127758452/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=245756 memory=164940 CPUtime=1.48 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 21961 0 0 0 142 6 0 0 20 0 1 0 141811993 251654144 41235 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 61439 41235 2208 2834 0 44191 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 245756 KiB
Current children cumulated memory: 164940 KiB
[startup+3.10552 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 123718
/proc/meminfo: memFree=127105876/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=647936 memory=511940 CPUtime=3.08 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 47655 0 0 0 286 22 0 0 20 0 1 0 141811993 663486464 127985 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 161984 127985 2368 2834 0 144189 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 647936 KiB
Current children cumulated memory: 511940 KiB
[startup+6.30018 s]
/proc/loadavg: 4.17 4.17 4.11 4/262 123732
/proc/meminfo: memFree=126961388/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=674800 memory=543024 CPUtime=6.27 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 82813 0 0 0 599 28 0 0 20 0 1 0 141811993 690995200 135756 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 168700 135756 3680 2834 0 150905 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 674800 KiB
Current children cumulated memory: 543024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.18 4.12 5/265 123763
/proc/meminfo: memFree=123372492/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=2167164 memory=2007120 CPUtime=12.64 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 436463 0 0 0 1175 89 0 0 20 0 1 0 141811993 2219175936 501780 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 541791 501780 4064 2834 0 523996 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2167164 KiB
Current children cumulated memory: 2007120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.17 4.11 5/265 123763
/proc/meminfo: memFree=120720692/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=2534728 memory=2374080 CPUtime=25.4 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 503471 0 0 0 2438 102 0 0 20 0 1 0 141811993 2595561472 593520 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 633682 593520 4096 2834 0 615887 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2534728 KiB
Current children cumulated memory: 2374080 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.16 4.11 5/265 123764
/proc/meminfo: memFree=117650752/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=2631636 memory=2471232 CPUtime=50.92 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 516548 0 0 0 4988 104 0 0 20 0 1 0 141811993 2694795264 617808 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 657909 617808 4096 2834 0 640114 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2631636 KiB
Current children cumulated memory: 2471232 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/265 123765
/proc/meminfo: memFree=117701416/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=2631636 memory=2471360 CPUtime=101.95 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 516627 0 0 0 10090 105 0 0 20 0 1 0 141811993 2694795264 617840 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 657909 617840 4096 2834 0 640114 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2631636 KiB
Current children cumulated memory: 2471360 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/266 123774
/proc/meminfo: memFree=115238772/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=3994964 memory=3673792 CPUtime=161.76 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 680389 0 0 0 16034 142 0 0 20 0 1 0 141811993 4090843136 918448 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 998741 918448 4288 2834 0 980946 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 3994964 KiB
Current children cumulated memory: 3673792 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=123680] ppid=123677 vsize=4003964 memory=3676608 CPUtime=221.49 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 681238 0 0 0 22007 142 0 0 20 0 1 0 141811993 4100059136 919152 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 1000991 919152 4288 2834 0 983196 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 4003964 KiB
Current children cumulated memory: 3676608 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=123680] ppid=123677 vsize=4003964 memory=3676608 CPUtime=281.21 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 681250 0 0 0 27979 142 0 0 20 0 1 0 141811993 4100059136 919152 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 1000991 919152 4288 2834 0 983196 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 4003964 KiB
Current children cumulated memory: 3676608 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 123780
/proc/meminfo: memFree=114628084/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=3056168 memory=2979488 CPUtime=340.99 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 736317 0 0 0 33908 191 0 0 20 0 1 0 141811993 3129516032 744872 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 764042 744872 4448 2834 0 746247 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 3056168 KiB
Current children cumulated memory: 2979488 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 123783
/proc/meminfo: memFree=108470672/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=6042992 memory=5966360 CPUtime=400.82 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 1482213 0 0 0 39745 337 0 0 20 0 1 0 141811993 6188023808 1491590 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 1510748 1491590 4448 2834 0 1492953 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 6042992 KiB
Current children cumulated memory: 5966360 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 123785
/proc/meminfo: memFree=102129368/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=8646688 memory=8535748 CPUtime=460.65 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 2103581 0 0 0 45598 467 0 0 20 0 1 0 141811993 8854208512 2133937 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 2161672 2133937 4480 2834 0 2143877 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 123917
/proc/meminfo: memFree=73193416/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=16796456 memory=15950884 CPUtime=3032.2 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3391745 0 0 0 299882 3338 0 0 20 0 1 0 141811993 17199570944 3987721 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4199114 3987721 4480 2834 0 4181319 0
Current children cumulated CPU time: 3032.2 s
Current children cumulated vsize: 16796456 KiB
Current children cumulated memory: 15950884 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 123920
/proc/meminfo: memFree=72058840/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18296520 memory=16022164 CPUtime=3092 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3397397 0 0 0 305700 3500 0 0 20 0 1 0 141811993 18735636480 4005541 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4574130 4005541 4480 2834 0 4556335 0
Current children cumulated CPU time: 3092 s
Current children cumulated vsize: 18296520 KiB
Current children cumulated memory: 16022164 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 123928
/proc/meminfo: memFree=71070264/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18297780 memory=16472888 CPUtime=3151.81 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3441577 0 0 0 311617 3564 0 0 20 0 1 0 141811993 18736926720 4118222 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4574445 4118222 4480 2834 0 4556650 0
Current children cumulated CPU time: 3151.81 s
Current children cumulated vsize: 18297780 KiB
Current children cumulated memory: 16472888 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=123680] ppid=123677 vsize=18301292 memory=16488888 CPUtime=3211.61 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3443896 0 0 0 317470 3691 0 0 20 0 1 0 141811993 18740523008 4122222 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575323 4122222 4480 2834 0 4557528 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 18301292 KiB
Current children cumulated memory: 16488888 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=123680] ppid=123677 vsize=18301292 memory=16488888 CPUtime=3271.41 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3444078 0 0 0 323399 3742 0 0 20 0 1 0 141811993 18740523008 4122222 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575323 4122222 4480 2834 0 4557528 0
Current children cumulated CPU time: 3271.41 s
Current children cumulated vsize: 18301292 KiB
Current children cumulated memory: 16488888 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=123680] ppid=123677 vsize=18301292 memory=16488888 CPUtime=3331.21 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3444348 0 0 0 329234 3887 0 0 20 0 1 0 141811993 18740523008 4122222 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575323 4122222 4480 2834 0 4557528 0
Current children cumulated CPU time: 3331.21 s
Current children cumulated vsize: 18301292 KiB
Current children cumulated memory: 16488888 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=123680] ppid=123677 vsize=18301292 memory=16488888 CPUtime=3391.02 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3444635 0 0 0 335182 3920 0 0 20 0 1 0 141811993 18740523008 4122222 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575323 4122222 4480 2834 0 4557528 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 18301292 KiB
Current children cumulated memory: 16488888 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=123680] ppid=123677 vsize=18301292 memory=16488888 CPUtime=3450.82 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3444910 0 0 0 341155 3927 0 0 20 0 1 0 141811993 18740523008 4122222 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575323 4122222 4480 2834 0 4557528 0
Current children cumulated CPU time: 3450.82 s
Current children cumulated vsize: 18301292 KiB
Current children cumulated memory: 16488888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 123941
/proc/meminfo: memFree=71005976/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18301292 memory=16507376 CPUtime=3510.62 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3445253 0 0 0 347125 3937 0 0 20 0 1 0 141811993 18740523008 4126844 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575323 4126844 4480 2834 0 4557528 0
Current children cumulated CPU time: 3510.62 s
Current children cumulated vsize: 18301292 KiB
Current children cumulated memory: 16507376 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=123680] ppid=123677 vsize=18302192 memory=16757556 CPUtime=3570.44 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3462422 0 0 0 353089 3955 0 0 20 0 1 0 141811993 18741444608 4189389 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575548 4189389 4480 2834 0 4557753 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 18302192 KiB
Current children cumulated memory: 16757556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.10 4.11 4.09 4/256 123976
/proc/meminfo: memFree=80100264/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18302944 memory=16880972 CPUtime=3600.03 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3477648 0 0 0 356031 3972 0 0 20 0 1 0 141811993 18742214656 4220243 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575736 4220243 4480 2834 0 4557941 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 18302944 KiB
Current children cumulated memory: 16880972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.48 s]
# the end of solver process 123680 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3562.3 s, system=40.2028 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.10 4.11 4.09 4/256 123976
/proc/meminfo: memFree=80100264/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18302944 memory=16881484 CPUtime=3600.83 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3480271 0 0 0 356110 3973 0 0 20 0 1 0 141811993 18742214656 4220371 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575736 4220371 4608 2834 0 4557941 0
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 18302944 KiB
Current children cumulated memory: 16881484 KiB
[startup+3613.6 s]
/proc/loadavg: 4.10 4.11 4.09 4/254 123985
/proc/meminfo: memFree=94301352/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18302944 memory=16881484 CPUtime=3601.62 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3481898 0 0 0 356189 3973 0 0 20 0 1 0 141811993 18742214656 4220371 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575736 4220371 4608 2834 0 4557941 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 18302944 KiB
Current children cumulated memory: 16881484 KiB
[startup+3614 s]*
/proc/loadavg: 4.10 4.11 4.09 3/251 124007
/proc/meminfo: memFree=94351672/131249996 swapFree=33006296/33010684
[pid=123680] ppid=123677 vsize=18302944 memory=16881484 CPUtime=3602.03 cores=4,6
/proc/123680/stat : 123680 (mixed-bag) R 123677 123680 122684 0 -1 4194304 3482142 0 0 0 356230 3973 0 0 20 0 1 0 141811993 18742214656 4220371 18446744073709551615 4235264 15840557 140730152772208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 36675584 140730152774042 140730152774119 140730152774119 140730152779723 0
/proc/123680/statm: 4575736 4220371 4608 2834 0 4557941 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 18302944 KiB
Current children cumulated memory: 16881484 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.48
CPU time (s): 3602.5
CPU user time (s): 3562.3
CPU system time (s): 40.2028
CPU usage (%): 99.6688
Max. virtual memory (cumulated for all children) (KiB): 18302944
Max. memory (cumulated for all children) (KiB): 16881484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.3
system time used= 40.2028
maximum resident set size= 16881484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3482142
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= 104
involuntary context switches= 3483
# summary of solver processes directly reported to runsolver:
# pid: 123680
# total CPU time (s): 3602.5
# total CPU user time (s): 3562.3
# total CPU system time (s): 40.2028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42023 second user time and 15.7339 second system time
The end
Begin job on nodeC015 at 2025-07-11 21:15:45
IDJOB=4529141
IDBENCH=157385
IDSOLVER=3386
FILE ID=nodeC015/4529141-1752261345
RUNJOBID= nodeC015-1752253809-122695
SLURM_JOB_ID= 9682590
Free space on /tmp= 432312 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529141-1752261345/watcher-4529141-1752261345 -o /tmp/evaluation-result-4529141-1752261345/solver-4529141-1752261345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122695 --watchdog 3760 mixed-bag HOME/instance-4529141-1752261345.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
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.055
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.074
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 : 3597.134
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 : 3700.000
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 : 3597.893
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 : 3600.143
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 : 3600.041
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.920
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: 128388420 kB
MemAvailable: 129372192 kB
Buffers: 1508 kB
Cached: 1762872 kB
SwapCached: 3880 kB
Active: 711656 kB
Inactive: 1513392 kB
Active(anon): 426160 kB
Inactive(anon): 48664 kB
Active(file): 285496 kB
Inactive(file): 1464728 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 78276 kB
Writeback: 11332 kB
AnonPages: 458484 kB
Mapped: 119376 kB
Shmem: 14152 kB
KReclaimable: 145576 kB
Slab: 238976 kB
SReclaimable: 145576 kB
SUnreclaim: 93400 kB
KernelStack: 4176 kB
PageTables: 3940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 797588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 331776 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= 432324 MiB
End job on nodeC015 at 2025-07-11 22:16:00