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 (58749 MiB free)
memory of node 1: 64465 MiB (60528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518253-1751534461/watcher-4518253-1751534461 -o /tmp/evaluation-result-4518253-1751534461/solver-4518253-1751534461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74617 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518253-1751534461.opb 3600 HOME
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
Starting watchdog thread
solver pid=75709, runsolver pid=75706
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.49 4.22 4.12 5/272 75713
/proc/meminfo: memFree=122140244/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=25736 memory=7424 CPUtime=0.08 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 1168 0 0 0 8 0 0 0 20 0 1 0 69120632 26353664 1856 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 11776 KiB
[startup+0.205107 s]*
/proc/loadavg: 4.49 4.22 4.12 5/272 75713
/proc/meminfo: memFree=122140244/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=25736 memory=7424 CPUtime=0.18 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 1168 0 0 0 18 0 0 0 20 0 1 0 69120632 26353664 1856 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 11776 KiB
[startup+0.305455 s]*
/proc/loadavg: 4.49 4.22 4.12 5/272 75713
/proc/meminfo: memFree=122140244/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=25736 memory=7424 CPUtime=0.28 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 1168 0 0 0 28 0 0 0 20 0 1 0 69120632 26353664 1856 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 6434 1856 768 2416 0 3536 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 11776 KiB
[startup+0.700237 s]
/proc/loadavg: 4.49 4.22 4.12 5/272 75713
/proc/meminfo: memFree=122140244/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=92316 memory=72132 CPUtime=0.67 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 10546 0 0 0 65 2 0 0 20 0 1 0 69120632 94531584 18033 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 23079 18033 768 2416 0 20181 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99300 KiB
Current children cumulated memory: 76484 KiB
[startup+1.50023 s]
/proc/loadavg: 4.49 4.22 4.12 5/272 75713
/proc/meminfo: memFree=122101488/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=326288 memory=293096 CPUtime=1.47 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 36408 0 0 0 138 9 0 0 20 0 1 0 69120632 334118912 73274 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 81572 73274 768 2416 0 78674 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 333272 KiB
Current children cumulated memory: 297448 KiB
[startup+3.1056 s]
/proc/loadavg: 4.45 4.22 4.12 5/272 75713
/proc/meminfo: memFree=121913720/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=377584 memory=334220 CPUtime=3.07 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 40869 0 0 0 297 10 0 0 20 0 1 0 69120632 386646016 83555 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 94396 83555 768 2416 0 91498 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 384568 KiB
Current children cumulated memory: 338572 KiB
[startup+6.30023 s]
/proc/loadavg: 4.45 4.22 4.12 5/272 75713
/proc/meminfo: memFree=121842832/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=404732 memory=357596 CPUtime=6.26 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 46377 0 0 0 613 13 0 0 20 0 1 0 69120632 414445568 89399 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 101183 89399 768 2416 0 98285 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 411716 KiB
Current children cumulated memory: 361948 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.21 4.12 5/272 75713
/proc/meminfo: memFree=121825924/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=404732 memory=357596 CPUtime=12.64 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 46434 0 0 0 1251 13 0 0 20 0 1 0 69120632 414445568 89399 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 101183 89399 768 2416 0 98285 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 411716 KiB
Current children cumulated memory: 361948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.20 4.12 5/276 75780
/proc/meminfo: memFree=120683816/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=404732 memory=357596 CPUtime=25.4 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 46491 0 0 0 2527 13 0 0 20 0 1 0 69120632 414445568 89399 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 101183 89399 768 2416 0 98285 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 411716 KiB
Current children cumulated memory: 361948 KiB
[startup+51.1058 s]
/proc/loadavg: 4.21 4.19 4.11 5/273 75837
/proc/meminfo: memFree=120046856/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=404732 memory=357596 CPUtime=50.94 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 46572 0 0 0 5080 14 0 0 20 0 1 0 69120632 414445568 89399 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 101183 89399 768 2416 0 98285 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 411716 KiB
Current children cumulated memory: 361948 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/273 75839
/proc/meminfo: memFree=119946500/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/273 75936
/proc/meminfo: memFree=120321508/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=435552 memory=380028 CPUtime=999.44 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 58741 0 0 0 99902 42 0 0 20 0 1 0 69120632 446005248 95007 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 108888 95007 800 2416 0 105990 0
Current children cumulated CPU time: 999.44 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 384380 KiB
[startup+1062.3 s]
/proc/loadavg: 4.41 4.20 4.14 5/273 75940
/proc/meminfo: memFree=120313760/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=404732 memory=379644 CPUtime=1059.26 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 59333 0 0 0 105883 43 0 0 20 0 1 0 69120632 414445568 94911 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 101183 94911 800 2416 0 98285 0
Current children cumulated CPU time: 1059.26 s
Current children cumulated vsize: 411716 KiB
Current children cumulated memory: 383996 KiB
[startup+1122.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/271 75991
/proc/meminfo: memFree=120284128/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=435552 memory=390280 CPUtime=1119.1 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 59537 0 0 0 111866 44 0 0 20 0 1 0 69120632 446005248 97570 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 108888 97570 800 2416 0 105990 0
Current children cumulated CPU time: 1119.1 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 394632 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/272 75998
/proc/meminfo: memFree=120299696/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=435552 memory=388232 CPUtime=1178.93 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 60214 0 0 0 117847 46 0 0 20 0 1 0 69120632 446005248 97058 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 108888 97058 800 2416 0 105990 0
Current children cumulated CPU time: 1178.93 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 392584 KiB
[startup+1199.05 s]
# the end of solver process 75709 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1195.08 s, system=0.537236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.15 4.15 4.12 5/272 76000
/proc/meminfo: memFree=120303400/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=435552 memory=390280 CPUtime=1187.01 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 60216 0 0 0 118655 46 0 0 20 0 1 0 69120632 446005248 97570 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 108888 97570 800 2416 0 105990 0
Current children cumulated CPU time: 1187.01 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 394632 KiB
[startup+1193.6 s]
/proc/loadavg: 4.14 4.15 4.12 5/272 76000
/proc/meminfo: memFree=120287016/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=435552 memory=392328 CPUtime=1190.2 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 60219 0 0 0 118974 46 0 0 20 0 1 0 69120632 446005248 98082 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 108888 98082 800 2416 0 105990 0
Current children cumulated CPU time: 1190.2 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 396680 KiB
[startup+1196.8 s]
/proc/loadavg: 4.14 4.15 4.12 5/272 76000
/proc/meminfo: memFree=120287016/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=75712] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75712/stat : 75712 (timeout) S 75709 75712 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69120631 2723840 352 18446744073709551615 94191130763264 94191130779777 140736203682000 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94191130794544 94191130796632 94191131217920 140736203684246 140736203684386 140736203684386 140736203689959 0
/proc/75712/statm: 665 352 352 5 0 90 0
[pid=75713] ppid=75712 vsize=435552 memory=392328 CPUtime=1193.39 cores=1,3
/proc/75713/stat : 75713 (CASHWMaxSAT-Dis) R 75712 75712 74605 0 -1 4194304 60219 0 0 0 119293 46 0 0 20 0 1 0 69120632 446005248 98082 18446744073709551615 4198400 14093885 140720763643824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39800832 140720763648412 140720763648539 140720763648539 140720763654112 0
/proc/75713/statm: 108888 98082 800 2416 0 105990 0
Current children cumulated CPU time: 1193.39 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 396680 KiB
[startup+1198.4 s]
/proc/loadavg: 4.13 4.15 4.12 5/272 76000
/proc/meminfo: memFree=120287024/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=1194.6 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 284 60446 0 0 0 0 119414 46 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.6 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1198.8 s]
/proc/loadavg: 4.13 4.15 4.12 5/272 76000
/proc/meminfo: memFree=120287024/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=1194.6 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 284 60446 0 0 0 0 119414 46 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.6 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1199 s]*
/proc/loadavg: 4.13 4.15 4.12 5/272 76002
/proc/meminfo: memFree=120561552/131249992 swapFree=33010160/33010684
[pid=75709] ppid=75706 vsize=4324 memory=2944 CPUtime=1194.6 cores=1,3
/proc/75709/stat : 75709 (Hybrid-CASHWMax) S 75706 75709 74605 0 -1 4194304 284 60446 0 0 0 0 119414 46 20 0 1 0 69120630 4427776 736 18446744073709551615 94643652829184 94643653723717 140729317184432 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94643653962768 94643654010512 94643673452544 140729317185879 140729317186033 140729317186033 140729317191635 0
/proc/75709/statm: 1081 736 672 219 0 143 0
[pid=76001] ppid=75709 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/76001/stat : 76001 (timeout) S 75709 76001 74605 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 69240432 2723840 352 18446744073709551615 93975132569600 93975132586113 140722801121968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93975132600880 93975132602968 93975144955904 140722801125766 140722801125922 140722801125922 140722801131495 0
/proc/76001/statm: 665 352 352 5 0 90 0
[pid=76002] ppid=76001 vsize=198184 memory=141860 CPUtime=0.96 cores=1,3
/proc/76002/stat : 76002 (ExactPR-S) R 76001 76001 74605 0 -1 4194304 34557 0 0 0 91 5 0 0 20 0 1 0 69240433 202940416 35465 18446744073709551615 94616308047872 94616317347909 140731442214096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616319134016 94616319173096 94616352026624 140731442219422 140731442219559 140731442219559 140731442225132 0
/proc/76002/statm: 49546 35465 3424 2271 0 44184 0
Current children cumulated CPU time: 1195.56 s
Current children cumulated vsize: 205168 KiB
Current children cumulated memory: 146212 KiB
Child status: 0
Real time (s): 1199.05
CPU time (s): 1195.62
CPU user time (s): 1195.08
CPU system time (s): 0.537236
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 491856
Max. memory (cumulated for all children) (KiB): 443980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.08
system time used= 0.537236
maximum resident set size= 440012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 872
involuntary context switches= 805
# summary of solver processes directly reported to runsolver:
# pid: 75709
# total CPU time (s): 1195.62
# total CPU user time (s): 1195.08
# total CPU system time (s): 0.537236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5025 second user time and 5.89635 second system time
The end
Begin job on nodeC035 at 2025-07-03 11:21:01
IDJOB=4518253
IDBENCH=176856
IDSOLVER=3329
FILE ID=nodeC035/4518253-1751534461
RUNJOBID= nodeC035-1751529663-74617
SLURM_JOB_ID= 9598669
Free space on /tmp= 432748 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/normalized-knapPI_12_1000_1000_3_-17136.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518253-1751534461/watcher-4518253-1751534461 -o /tmp/evaluation-result-4518253-1751534461/solver-4518253-1751534461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751529663-74617 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4518253-1751534461.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 320619d7d3e3251d2b23c67a6b07bae2
RANDOM SEED=1629606272
nodeC035 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 : 3599.754
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 : 6999.51
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 : 3599.699
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 : 6999.51
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 : 3600.616
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 : 6999.51
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 : 3622.927
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 : 6999.51
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 : 3599.751
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 : 6999.51
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 : 3599.489
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 : 6999.51
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 : 3599.310
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 : 6999.51
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 : 3608.068
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 : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 122140436 kB
MemAvailable: 127612008 kB
Buffers: 1840 kB
Cached: 6222132 kB
SwapCached: 8 kB
Active: 2329392 kB
Inactive: 5929932 kB
Active(anon): 2041812 kB
Inactive(anon): 11588 kB
Active(file): 287580 kB
Inactive(file): 5918344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25084 kB
Writeback: 52 kB
AnonPages: 2038504 kB
Mapped: 120372 kB
Shmem: 18048 kB
KReclaimable: 209772 kB
Slab: 300472 kB
SReclaimable: 209772 kB
SUnreclaim: 90700 kB
KernelStack: 4352 kB
PageTables: 7256 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2531548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 423936 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: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432720 MiB
End job on nodeC035 at 2025-07-03 11:41:00