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 (61675 MiB free)
memory of node 1: 64465 MiB (63254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522348-1751589980/watcher-4522348-1751589980 -o /tmp/evaluation-result-4522348-1751589980/solver-4522348-1751589980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751589980-80805 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4522348-1751589980.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
Current StackSize limit: 8192 KiB
solver pid=80851, runsolver pid=80840
[startup+0.100063 s]*
/proc/loadavg: 1.04 1.19 2.09 5/266 80861
/proc/meminfo: memFree=127895176/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=31488 memory=13056 CPUtime=0.07 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 2615 0 0 0 7 0 0 0 20 0 1 0 74675564 32243712 3264 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 7872 3264 736 2416 0 4974 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38472 KiB
Current children cumulated memory: 17536 KiB
[startup+0.205569 s]*
/proc/loadavg: 1.04 1.19 2.09 4/267 80863
/proc/meminfo: memFree=127844820/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=48572 memory=30720 CPUtime=0.16 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 7006 0 0 0 16 0 0 0 20 0 1 0 74675564 49737728 7680 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 12143 7680 768 2416 0 9245 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 55556 KiB
Current children cumulated memory: 35200 KiB
[startup+0.305512 s]*
/proc/loadavg: 1.04 1.19 2.09 5/273 80874
/proc/meminfo: memFree=127826996/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=48572 memory=30720 CPUtime=0.26 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 7006 0 0 0 26 0 0 0 20 0 1 0 74675564 49737728 7680 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 12143 7680 768 2416 0 9245 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 55556 KiB
Current children cumulated memory: 35200 KiB
[startup+0.700169 s]
/proc/loadavg: 1.04 1.19 2.09 5/273 80874
/proc/meminfo: memFree=127715224/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=48572 memory=30720 CPUtime=0.65 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 7006 0 0 0 65 0 0 0 20 0 1 0 74675564 49737728 7680 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 12143 7680 768 2416 0 9245 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 55556 KiB
Current children cumulated memory: 35200 KiB
[startup+1.50018 s]
/proc/loadavg: 1.04 1.19 2.09 5/273 80874
/proc/meminfo: memFree=127576924/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=114160 memory=95572 CPUtime=1.46 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 15981 0 0 0 143 3 0 0 20 0 1 0 74675564 116899840 23893 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 28540 23893 768 2416 0 25642 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 121144 KiB
Current children cumulated memory: 100052 KiB
[startup+3.10546 s]
/proc/loadavg: 1.04 1.19 2.09 5/273 80874
/proc/meminfo: memFree=126893244/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=197444 memory=165656 CPUtime=3.05 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 24575 0 0 0 300 5 0 0 20 0 1 0 74675564 202182656 41414 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 49361 41414 768 2416 0 46463 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 204428 KiB
Current children cumulated memory: 170136 KiB
[startup+6.30022 s]
/proc/loadavg: 1.27 1.24 2.10 5/273 80874
/proc/meminfo: memFree=126448656/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=373928 memory=324212 CPUtime=6.24 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 40501 0 0 0 613 11 0 0 20 0 1 0 74675564 382902272 81053 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 93482 81053 768 2416 0 90584 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 380912 KiB
Current children cumulated memory: 328692 KiB
[startup+12.7002 s]
/proc/loadavg: 1.49 1.28 2.11 5/273 80875
/proc/meminfo: memFree=123972320/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=2295536 memory=1993264 CPUtime=12.63 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 135013 0 0 0 1211 52 0 0 20 0 1 0 74675564 2350628864 498316 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 573884 498316 768 2416 0 570986 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2302520 KiB
Current children cumulated memory: 1997744 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.43 2.14 5/273 80875
/proc/meminfo: memFree=122706960/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=2295536 memory=1993264 CPUtime=25.4 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 135091 0 0 0 2488 52 0 0 20 0 1 0 74675564 2350628864 498316 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 573884 498316 768 2416 0 570986 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2302520 KiB
Current children cumulated memory: 1997744 KiB
[startup+51.1056 s]
/proc/loadavg: 2.77 1.64 2.19 5/274 80928
/proc/meminfo: memFree=121597404/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=2295536 memory=1993264 CPUtime=50.94 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 135187 0 0 0 5042 52 0 0 20 0 1 0 74675564 2350628864 498316 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 573884 498316 768 2416 0 570986 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2302520 KiB
Current children cumulated memory: 1997744 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.04 2.30 5/274 80931
/proc/meminfo: memFree=119794884/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=2717424 memory=2341480 CPUtime=819.82 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 188625 0 0 0 81893 89 0 0 20 0 1 0 74675564 2782642176 585370 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 679356 585370 768 2416 0 676458 0
Current children cumulated CPU time: 819.82 s
Current children cumulated vsize: 2724408 KiB
Current children cumulated memory: 2345960 KiB
[startup+882.3 s]
/proc/loadavg: 4.04 3.95 3.34 5/274 81032
/proc/meminfo: memFree=122609980/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=80858] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/80858/stat : 80858 (timeout) S 80851 80858 80793 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74675563 2723840 352 18446744073709551615 94853174706176 94853174722689 140720985237408 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94853174737456 94853174739544 94853186412544 140720985246104 140720985246242 140720985246242 140720985251815 0
/proc/80858/statm: 665 352 352 5 0 90 0
[pid=80861] ppid=80858 vsize=2717424 memory=2341480 CPUtime=879.62 cores=1,3
/proc/80861/stat : 80861 (CASHWMaxSAT-Dis) R 80858 80858 80793 0 -1 4194304 188691 0 0 0 87873 89 0 0 20 0 1 0 74675564 2782642176 585370 18446744073709551615 4198400 14093885 140725016925520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53469184 140725016934813 140725016934939 140725016934939 140725016940512 0
/proc/80861/statm: 679356 585370 768 2416 0 676458 0
Current children cumulated CPU time: 879.62 s
Current children cumulated vsize: 2724408 KiB
Current children cumulated memory: 2345960 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 3.99 3.40 5/274 81093
/proc/meminfo: memFree=123263260/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=305444 memory=254444 CPUtime=43.09 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 55258 0 0 0 4298 11 0 0 20 0 1 0 74765467 312774656 63611 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 76361 63611 3392 2271 0 70999 0
Current children cumulated CPU time: 939.41 s
Current children cumulated vsize: 312428 KiB
Current children cumulated memory: 258924 KiB
[startup+1002.3 s]
/proc/loadavg: 4.09 4.01 3.44 5/274 81096
/proc/meminfo: memFree=117414456/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=305444 memory=254572 CPUtime=102.91 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 55318 0 0 0 10279 12 0 0 20 0 1 0 74765467 312774656 63643 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 76361 63643 3392 2271 0 70999 0
Current children cumulated CPU time: 999.23 s
Current children cumulated vsize: 312428 KiB
Current children cumulated memory: 259052 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.02 3.49 5/273 81099
/proc/meminfo: memFree=115544916/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=335912 memory=284140 CPUtime=162.71 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 62685 0 0 0 16258 13 0 0 20 0 1 0 74765467 343973888 71035 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 83978 71035 3392 2271 0 78616 0
Current children cumulated CPU time: 1059.03 s
Current children cumulated vsize: 342896 KiB
Current children cumulated memory: 288620 KiB
[startup+1122.3 s]
/proc/loadavg: 4.16 4.05 3.53 5/273 81101
/proc/meminfo: memFree=113617536/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=340732 memory=288412 CPUtime=222.53 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 65188 0 0 0 22239 14 0 0 20 0 1 0 74765467 348909568 72103 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 85183 72103 3392 2271 0 79821 0
Current children cumulated CPU time: 1118.85 s
Current children cumulated vsize: 347716 KiB
Current children cumulated memory: 292892 KiB
[startup+1182.3 s]
/proc/loadavg: 4.25 4.11 3.59 5/274 81108
/proc/meminfo: memFree=111865804/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=341780 memory=289188 CPUtime=282.33 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 66913 0 0 0 28219 14 0 0 20 0 1 0 74765467 349982720 72297 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 85445 72297 3392 2271 0 80083 0
Current children cumulated CPU time: 1178.65 s
Current children cumulated vsize: 348764 KiB
Current children cumulated memory: 293668 KiB
[startup+1242.3 s]
/proc/loadavg: 4.20 4.12 3.63 5/274 81110
/proc/meminfo: memFree=109868308/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=352000 memory=300324 CPUtime=342.14 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 69718 0 0 0 34199 15 0 0 20 0 1 0 74765467 360448000 75081 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 88000 75081 3392 2271 0 82638 0
Current children cumulated CPU time: 1238.46 s
Current children cumulated vsize: 358984 KiB
Current children cumulated memory: 304804 KiB
[startup+1302.3 s]
/proc/loadavg: 4.07 4.09 3.65 5/274 81113
/proc/meminfo: memFree=108386280/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=896.32 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 285 188914 0 0 0 0 89541 91 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
[pid=81035] ppid=80851 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/81035/stat : 81035 (timeout) S 80851 81035 80793 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74765466 2723840 352 18446744073709551615 94043657744384 94043657760897 140728394119360 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94043657775664 94043657777752 94043663515648 140728394127749 140728394127906 140728394127906 140728394133479 0
/proc/81035/statm: 665 352 352 5 0 90 0
[pid=81036] ppid=81035 vsize=353032 memory=300836 CPUtime=401.94 cores=1,3
/proc/81036/stat : 81036 (ExactPR-S9) R 81035 81035 80793 0 -1 4194304 69838 0 0 0 40179 15 0 0 20 0 1 0 74765467 361504768 75209 18446744073709551615 94620545761280 94620555061381 140730884469296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94620556847424 94620556886504 94620597821440 140730884471196 140730884471334 140730884471334 140730884476907 0
/proc/81036/statm: 88258 75209 3392 2271 0 82896 0
Current children cumulated CPU time: 1298.26 s
Current children cumulated vsize: 360016 KiB
Current children cumulated memory: 305316 KiB
[startup+1302.43 s]
# the end of solver process 80851 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1297.29 s, system=1.09606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 4.07 4.09 3.65 5/274 81113
/proc/meminfo: memFree=108386280/131250000 swapFree=33007332/33010684
[pid=80851] ppid=80840 vsize=4324 memory=3072 CPUtime=1298.36 cores=1,3
/proc/80851/stat : 80851 (Hybrid-CASHWMax) S 80840 80851 80793 0 -1 4194304 303 258879 0 0 0 0 129728 108 20 0 1 0 74675561 4427776 768 18446744073709551615 93854301364224 93854302258757 140728823475024 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 93854302497808 93854302545552 93854311059456 140728823478613 140728823478768 140728823478768 140728823484370 0
/proc/80851/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1298.36 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 1302.43
CPU time (s): 1298.38
CPU user time (s): 1297.29
CPU system time (s): 1.09606
CPU usage (%): 99.6893
Max. virtual memory (cumulated for all children) (KiB): 3383232
Max. memory (cumulated for all children) (KiB): 2882836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.29
system time used= 1.09606
maximum resident set size= 2878356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1041
involuntary context switches= 1803
# summary of solver processes directly reported to runsolver:
# pid: 80851
# total CPU time (s): 1298.38
# total CPU user time (s): 1297.29
# total CPU system time (s): 1.09606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.68914 second user time and 6.35994 second system time
The end
Begin job on nodeC019 at 2025-07-04 02:46:20
IDJOB=4522348
IDBENCH=178754
IDSOLVER=3330
FILE ID=nodeC019/4522348-1751589980
RUNJOBID= nodeC019-1751589980-80805
SLURM_JOB_ID= 9598844
Free space on /tmp= 431588 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-opm2-z7-s2.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522348-1751589980/watcher-4522348-1751589980 -o /tmp/evaluation-result-4522348-1751589980/solver-4522348-1751589980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751589980-80805 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4522348-1751589980.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf5cf55a0ad097c03b301970f48ee2e9
RANDOM SEED=613380709
nodeC019 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.961
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.37
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.363
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.37
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 : 3604.617
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.37
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 : 3599.652
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.37
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 : 3600.016
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.37
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.37
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.775
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.37
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 : 3599.660
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127948964 kB
MemAvailable: 129746488 kB
Buffers: 904 kB
Cached: 2599332 kB
SwapCached: 440 kB
Active: 221512 kB
Inactive: 2453724 kB
Active(anon): 62456 kB
Inactive(anon): 27736 kB
Active(file): 159056 kB
Inactive(file): 2425988 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 91044 kB
Writeback: 0 kB
AnonPages: 77928 kB
Mapped: 103744 kB
Shmem: 15192 kB
KReclaimable: 103440 kB
Slab: 192316 kB
SReclaimable: 103440 kB
SUnreclaim: 88876 kB
KernelStack: 4124 kB
PageTables: 2392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 340620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431412 MiB
End job on nodeC019 at 2025-07-04 03:08:03