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: 63794 MiB (63247 MiB free)
memory of node 1: 64507 MiB (63691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494477-1751133681/watcher-4494477-1751133681 -o /tmp/evaluation-result-4494477-1751133681/solver-4494477-1751133681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751133631-11419 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494477-1751133681.opb 3600 HOME
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=11836, runsolver pid=11833
[startup+0.100103 s]*
/proc/loadavg: 2.67 0.80 0.33 4/252 11838
/proc/meminfo: memFree=129961108/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29048062 4292608 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1048 768 704 219 0 110 0
[pid=11838] ppid=11836 vsize=464 memory=128 CPUtime=0 cores=4,6
/proc/11838/stat : 11838 (mkdir) D 11836 11836 11404 0 -1 4456448 49 0 0 0 0 0 0 0 20 0 1 0 29048070 475136 32 18446744073709551615 94241669337088 94241669379441 140728310705792 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94241669396880 94241669398680 94241672359936 140728310712826 140728310712870 140728310712870 140728310718441 0
/proc/11838/statm: 116 32 32 11 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4656 KiB
Current children cumulated memory: 3200 KiB
[startup+0.213815 s]*
/proc/loadavg: 2.67 0.80 0.33 4/252 11839
/proc/meminfo: memFree=129937092/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB
[startup+0.313776 s]*
/proc/loadavg: 2.67 0.80 0.33 4/254 11841
/proc/meminfo: memFree=129913152/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=24760 memory=10368 CPUtime=0.09 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 1808 0 0 0 9 0 0 0 20 0 1 0 29048084 25354240 2592 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 6190 2592 864 2593 0 3083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31744 KiB
Current children cumulated memory: 14848 KiB
[startup+0.700377 s]
/proc/loadavg: 2.67 0.80 0.33 5/253 11841
/proc/meminfo: memFree=129856476/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=43928 memory=29696 CPUtime=0.47 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 6637 0 0 0 45 2 0 0 20 0 1 0 29048084 44982272 7424 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 10982 7424 864 2593 0 7875 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 50912 KiB
Current children cumulated memory: 34176 KiB
[startup+1.50043 s]
/proc/loadavg: 2.67 0.80 0.33 5/256 11845
/proc/meminfo: memFree=129744532/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=99308 memory=84992 CPUtime=1.27 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 20463 0 0 0 120 7 0 0 20 0 1 0 29048084 101691392 21248 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 24827 21248 864 2593 0 21720 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 106292 KiB
Current children cumulated memory: 89472 KiB
[startup+3.11326 s]
/proc/loadavg: 2.78 0.86 0.35 5/260 11853
/proc/meminfo: memFree=129116408/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=305036 memory=290688 CPUtime=2.87 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 71888 0 0 0 271 16 0 0 20 0 1 0 29048084 312356864 72672 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 76259 72672 864 2593 0 73152 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 312020 KiB
Current children cumulated memory: 295168 KiB
[startup+6.30045 s]
/proc/loadavg: 2.78 0.86 0.35 4/254 11860
/proc/meminfo: memFree=127965024/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=560424 memory=541744 CPUtime=6.05 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 128430 0 0 0 578 27 0 0 20 0 1 0 29048084 573874176 135436 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 140106 135436 960 2593 0 136999 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 567408 KiB
Current children cumulated memory: 546224 KiB
[startup+12.7005 s]
/proc/loadavg: 2.96 0.93 0.38 5/258 11972
/proc/meminfo: memFree=126864352/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=580624 memory=561888 CPUtime=12.43 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 130651 0 0 0 1215 28 0 0 20 0 1 0 29048084 594558976 140472 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 145156 140472 960 2593 0 142049 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 587608 KiB
Current children cumulated memory: 566368 KiB
[startup+25.5005 s]
/proc/loadavg: 3.19 1.08 0.44 6/258 12172
/proc/meminfo: memFree=128931072/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=589128 memory=570464 CPUtime=25.19 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 133536 0 0 0 2488 31 0 0 20 0 1 0 29048084 603267072 142616 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 147282 142616 960 2593 0 144175 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 596112 KiB
Current children cumulated memory: 574944 KiB
[startup+51.1133 s]
/proc/loadavg: 3.54 1.33 0.54 6/262 12258
/proc/meminfo: memFree=129384564/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=564580 memory=545140 CPUtime=50.73 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 138831 0 0 0 5036 37 0 0 20 0 1 0 29048084 578129920 136285 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 141145 136285 960 2593 0 138038 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 571564 KiB
Current children cumulated memory: 549620 KiB
[startup+102.3 s]
/proc/loadavg: 3.92 1.77 0.73 6/261 12259
/proc/meminfo: memFree=129631580/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=552332 memory=533824 CPUtime=101.72 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 142653 0 0 0 10133 39 0 0 20 0 1 0 29048084 565587968 133456 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 138083 133456 960 2593 0 134976 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 559316 KiB
Current children cumulated memory: 538304 KiB
[startup+111.209 s]
# the end of solver process 11836 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=110.154 s, system=0.4632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 3.92 1.77 0.73 6/261 12259
/proc/meminfo: memFree=129631580/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=552332 memory=533824 CPUtime=101.82 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 142653 0 0 0 10143 39 0 0 20 0 1 0 29048084 565587968 133456 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 138083 133456 960 2593 0 134976 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 559316 KiB
Current children cumulated memory: 538304 KiB
[startup+105.6 s]
/proc/loadavg: 3.93 1.81 0.75 6/261 12260
/proc/meminfo: memFree=129627036/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=561008 memory=542500 CPUtime=105.01 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 143416 0 0 0 10461 40 0 0 20 0 1 0 29048084 574472192 135625 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 140252 135625 960 2593 0 137145 0
Current children cumulated CPU time: 105.01 s
Current children cumulated vsize: 567992 KiB
Current children cumulated memory: 546980 KiB
[startup+108.8 s]
/proc/loadavg: 3.93 1.85 0.77 6/261 12260
/proc/meminfo: memFree=129628432/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=561372 memory=542864 CPUtime=108.2 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 143759 0 0 0 10779 41 0 0 20 0 1 0 29048084 574844928 135716 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 140343 135716 960 2593 0 137236 0
Current children cumulated CPU time: 108.2 s
Current children cumulated vsize: 568356 KiB
Current children cumulated memory: 547344 KiB
[startup+110.4 s]
/proc/loadavg: 3.93 1.85 0.77 6/261 12260
/proc/meminfo: memFree=129628472/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=561372 memory=542864 CPUtime=109.79 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 143759 0 0 0 10938 41 0 0 20 0 1 0 29048084 574844928 135716 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 140343 135716 960 2593 0 137236 0
Current children cumulated CPU time: 109.79 s
Current children cumulated vsize: 568356 KiB
Current children cumulated memory: 547344 KiB
[startup+110.8 s]
/proc/loadavg: 3.93 1.85 0.77 6/261 12260
/proc/meminfo: memFree=129628472/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
[pid=11839] ppid=11836 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/11839/stat : 11839 (timeout) S 11836 11839 11404 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29048078 2723840 352 18446744073709551615 94713054429184 94713054445697 140722263973712 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94713054460464 94713054462552 94713081753600 140722263976352 140722263976482 140722263976482 140722263982055 0
/proc/11839/statm: 665 352 352 5 0 90 0
[pid=11841] ppid=11839 vsize=561056 memory=542548 CPUtime=110.2 cores=4,6
/proc/11841/stat : 11841 (CASHWMaxSAT-Dis) R 11839 11839 11404 0 -1 4194304 144534 0 0 0 10977 43 0 0 20 0 1 0 29048084 574521344 135637 18446744073709551615 4198400 14817773 140735574176416 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36397056 140735574182310 140735574182427 140735574182427 140735574188000 0
/proc/11841/statm: 140264 135637 960 2593 0 137157 0
Current children cumulated CPU time: 110.2 s
Current children cumulated vsize: 568040 KiB
Current children cumulated memory: 547028 KiB
[startup+111.2 s]
/proc/loadavg: 3.93 1.85 0.77 6/261 12260
/proc/meminfo: memFree=129622612/131382116 swapFree=33010684/33010684
[pid=11836] ppid=11833 vsize=4324 memory=3072 CPUtime=110.59 cores=4,6
/proc/11836/stat : 11836 (Hybrid-CASHWMax) S 11833 11836 11404 0 -1 4194304 284 144764 0 0 0 0 11014 45 20 0 1 0 29048062 4427776 768 18446744073709551615 94426023251968 94426024146501 140723599333712 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94426024385552 94426024433296 94426046582784 140723599337815 140723599337969 140723599337969 140723599343571 0
/proc/11836/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 110.59 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 111.209
CPU time (s): 110.618
CPU user time (s): 110.154
CPU system time (s): 0.4632
CPU usage (%): 99.468
Max. virtual memory (cumulated for all children) (KiB): 652172
Max. memory (cumulated for all children) (KiB): 630988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.154
system time used= 0.4632
maximum resident set size= 626508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 372
involuntary context switches= 104
# summary of solver processes directly reported to runsolver:
# pid: 11836
# total CPU time (s): 110.618
# total CPU user time (s): 110.154
# total CPU system time (s): 0.4632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.640075 second user time and 1.24836 second system time
The end
Begin job on nodeC011 at 2025-06-28 20:01:23
IDJOB=4494477
IDBENCH=147892
IDSOLVER=3328
FILE ID=nodeC011/4494477-1751133681
RUNJOBID= nodeC011-1751133631-11419
SLURM_JOB_ID= 9587411
Free space on /tmp= 432912 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494477-1751133681/watcher-4494477-1751133681 -o /tmp/evaluation-result-4494477-1751133681/solver-4494477-1751133681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751133631-11419 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494477-1751133681.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1054116676
nodeC011 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 : 1196.963
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 : 6984.20
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 : 3691.656
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 : 6984.20
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.297
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 : 6984.20
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.398
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 : 6984.20
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.592
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 : 6984.20
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 : 3192.779
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 : 6984.20
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 : 1297.071
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 : 6984.20
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 : 3700.000
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130074096 kB
MemAvailable: 129749872 kB
Buffers: 3280 kB
Cached: 496244 kB
SwapCached: 0 kB
Active: 478984 kB
Inactive: 298260 kB
Active(anon): 295680 kB
Inactive(anon): 0 kB
Active(file): 183304 kB
Inactive(file): 298260 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 175184 kB
Writeback: 0 kB
AnonPages: 280908 kB
Mapped: 109560 kB
Shmem: 17960 kB
KReclaimable: 67292 kB
Slab: 150200 kB
SReclaimable: 67292 kB
SUnreclaim: 82908 kB
KernelStack: 4112 kB
PageTables: 3532 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 602388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC011 at 2025-06-28 20:03:15