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 (62755 MiB free)
memory of node 1: 64465 MiB (63643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485153-1751305970/watcher-4485153-1751305970 -o /tmp/evaluation-result-4485153-1751305970/solver-4485153-1751305970 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751301113-41763 --watchdog 3760 HOME/opbsolver HOME/instance-4485153-1751305970.opb 3600 31000 HOME HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42572, runsolver pid=42569
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129390944/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=63380 memory=52480 CPUtime=0.08 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 10966 0 0 0 7 1 0 0 20 0 1 0 46275465 64901120 13120 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 15845 13120 2400 2826 0 12457 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67572 KiB
Current children cumulated memory: 55424 KiB
[startup+0.20566 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129374568/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=76636 memory=64696 CPUtime=0.18 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 15259 0 0 0 16 2 0 0 20 0 1 0 46275465 78475264 16174 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 19159 16174 2464 2826 0 15771 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80828 KiB
Current children cumulated memory: 67640 KiB
[startup+0.305665 s]*
/proc/loadavg: 4.10 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129358880/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=102308 memory=84020 CPUtime=0.28 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 19097 0 0 0 26 2 0 0 20 0 1 0 46275465 104763392 21005 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 25577 21005 2464 2826 0 22189 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 86964 KiB
[startup+0.700194 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129298964/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=157004 memory=137828 CPUtime=0.67 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 31348 0 0 0 63 4 0 0 20 0 1 0 46275465 160772096 34457 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 39251 34457 2656 2826 0 35863 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 161196 KiB
Current children cumulated memory: 140772 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129293420/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=176048 memory=150220 CPUtime=1.47 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 34771 0 0 0 143 4 0 0 20 0 1 0 46275465 180273152 37555 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 44012 37555 2656 2826 0 40624 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 180240 KiB
Current children cumulated memory: 153164 KiB
[startup+3.10528 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129287376/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=187864 memory=153800 CPUtime=3.07 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 35135 0 0 0 302 5 0 0 20 0 1 0 46275465 192372736 38450 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 46966 38450 2656 2826 0 43578 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 192056 KiB
Current children cumulated memory: 156744 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129278700/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=213372 memory=160608 CPUtime=6.26 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 36333 0 0 0 621 5 0 0 20 0 1 0 46275465 218492928 40152 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 53343 40152 2656 2826 0 49955 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 217564 KiB
Current children cumulated memory: 163552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 42576
/proc/meminfo: memFree=129227228/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=271488 memory=204176 CPUtime=12.64 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 46692 0 0 0 1257 7 0 0 20 0 1 0 46275465 278003712 51044 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 67872 51044 2688 2826 0 64484 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 275680 KiB
Current children cumulated memory: 207120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 42576
/proc/meminfo: memFree=129233372/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=271488 memory=204432 CPUtime=25.4 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 46783 0 0 0 2533 7 0 0 20 0 1 0 46275465 278003712 51108 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 67872 51108 2688 2826 0 64484 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 275680 KiB
Current children cumulated memory: 207376 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 42577
/proc/meminfo: memFree=129168776/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=330100 memory=245312 CPUtime=50.92 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 58236 0 0 0 5083 9 0 0 20 0 1 0 46275465 338022400 61328 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 82525 61328 2688 2826 0 79137 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 334292 KiB
Current children cumulated memory: 248256 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 42579
/proc/meminfo: memFree=129100248/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=396144 memory=305460 CPUtime=101.96 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 67675 0 0 0 10184 12 0 0 20 0 1 0 46275465 405651456 76365 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 99036 76365 2688 2826 0 95648 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 400336 KiB
Current children cumulated memory: 308404 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.17 4.11 5/266 42581
/proc/meminfo: memFree=128992956/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=497220 memory=395532 CPUtime=161.76 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 91408 0 0 0 16159 17 0 0 20 0 1 0 46275465 509153280 98883 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 124305 98883 3008 2826 0 120917 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 501412 KiB
Current children cumulated memory: 398476 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/266 42583
/proc/meminfo: memFree=128930212/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=551684 memory=445560 CPUtime=221.59 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 102327 0 0 0 22139 20 0 0 20 0 1 0 46275465 564924416 111390 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 137921 111390 3008 2826 0 134533 0
################
# More data... #
################
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 119923 0 0 0 34097 25 0 0 20 0 1 0 46275465 649711616 144454 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 158621 144454 3008 2826 0 155233 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 638676 KiB
Current children cumulated memory: 580760 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/266 42589
/proc/meminfo: memFree=128716712/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=643852 memory=615184 CPUtime=401.03 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 125310 0 0 0 40076 27 0 0 20 0 1 0 46275465 659304448 153796 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 160963 153796 3008 2826 0 157575 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 648044 KiB
Current children cumulated memory: 618128 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/268 42598
/proc/meminfo: memFree=128655200/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 263 232 0 0 0 0 0 0 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42576] ppid=42572 vsize=687904 memory=657500 CPUtime=460.85 cores=0,2
/proc/42576/stat : 42576 (pbcpreprocessor) R 42572 42572 41753 0 -1 4194304 131904 0 0 0 46056 29 0 0 20 0 1 0 46275465 704413696 164375 18446744073709551615 4198400 15773533 140730227022688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 25829376 140730227030340 140730227030494 140730227030494 140730227036101 0
/proc/42576/statm: 171976 164375 3008 2826 0 168588 0
Current children cumulated CPU time: 460.85 s
Current children cumulated vsize: 692096 KiB
Current children cumulated memory: 660444 KiB
[startup+522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 42616
/proc/meminfo: memFree=129269720/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=40408 memory=37032 CPUtime=22 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 5169 0 0 0 2196 4 0 0 20 0 1 0 46325486 41377792 9258 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 10102 9258 448 424 0 9557 0
Current children cumulated CPU time: 520.65 s
Current children cumulated vsize: 44600 KiB
Current children cumulated memory: 39976 KiB
[startup+582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 42618
/proc/meminfo: memFree=129301348/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=64656 memory=61352 CPUtime=81.85 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 6693 0 0 0 8179 6 0 0 20 0 1 0 46325486 66207744 15338 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 16164 15338 448 424 0 15619 0
Current children cumulated CPU time: 580.5 s
Current children cumulated vsize: 68848 KiB
Current children cumulated memory: 64296 KiB
[startup+605.89 s]
# the end of solver process 42572 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=603.623 s, system=0.425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 42619
/proc/meminfo: memFree=129264484/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=64656 memory=61352 CPUtime=88.33 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 6695 0 0 0 8827 6 0 0 20 0 1 0 46325486 66207744 15338 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 16164 15338 448 424 0 15619 0
Current children cumulated CPU time: 586.98 s
Current children cumulated vsize: 68848 KiB
Current children cumulated memory: 64296 KiB
[startup+595.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 42619
/proc/meminfo: memFree=129262468/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=83332 memory=66600 CPUtime=94.72 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 7004 0 0 0 9465 7 0 0 20 0 1 0 46325486 85331968 16650 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 20833 16650 448 424 0 20288 0
Current children cumulated CPU time: 593.37 s
Current children cumulated vsize: 87524 KiB
Current children cumulated memory: 69544 KiB
[startup+601.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 42620
/proc/meminfo: memFree=129266420/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=44220 memory=41052 CPUtime=101.1 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 7007 0 0 0 10103 7 0 0 20 0 1 0 46325486 45281280 10263 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 11055 10263 448 424 0 10510 0
Current children cumulated CPU time: 599.75 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 43996 KiB
[startup+603.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 42620
/proc/meminfo: memFree=129272740/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=55712 memory=43868 CPUtime=102.69 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 7201 0 0 0 10262 7 0 0 20 0 1 0 46325486 57049088 10967 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 13928 10967 448 424 0 13383 0
Current children cumulated CPU time: 601.34 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 46812 KiB
[startup+604.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 42620
/proc/meminfo: memFree=129264548/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=55712 memory=46120 CPUtime=104.28 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 7253 0 0 0 10421 7 0 0 20 0 1 0 46325486 57049088 11530 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 13928 11530 448 424 0 13383 0
Current children cumulated CPU time: 602.93 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 49064 KiB
[startup+605.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 42620
/proc/meminfo: memFree=129256356/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=55712 memory=46120 CPUtime=105.08 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 7253 0 0 0 10501 7 0 0 20 0 1 0 46325486 57049088 11530 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 13928 11530 448 424 0 13383 0
Current children cumulated CPU time: 603.73 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 49064 KiB
[startup+605.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 42620
/proc/meminfo: memFree=129256356/131249996 swapFree=33010684/33010684
[pid=42572] ppid=42569 vsize=4192 memory=2944 CPUtime=498.65 cores=0,2
/proc/42572/stat : 42572 (opbsolver) S 42569 42572 41753 0 -1 4194304 408 134742 0 0 0 0 49832 33 20 0 1 0 46275463 4292608 736 18446744073709551615 94690156511232 94690157405765 140733935862944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94690157644816 94690157692560 94690182307840 140733935868190 140733935868393 140733935868393 140733935873995 0
/proc/42572/statm: 1048 736 672 219 0 110 0
[pid=42616] ppid=42572 vsize=55712 memory=46120 CPUtime=105.28 cores=0,2
/proc/42616/stat : 42616 (wmaxcdcl) R 42572 42572 41753 0 -1 4194304 7253 0 0 0 10521 7 0 0 20 0 1 0 46325486 57049088 11530 18446744073709551615 4198400 5932793 140725244732864 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 34816000 140725244737883 140725244738028 140725244738028 140725244743628 0
/proc/42616/statm: 13928 11530 448 424 0 13383 0
Current children cumulated CPU time: 603.93 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 49064 KiB
Child status: 0
Real time (s): 605.89
CPU time (s): 604.048
CPU user time (s): 603.623
CPU system time (s): 0.425
CPU usage (%): 99.6959
Max. virtual memory (cumulated for all children) (KiB): 702536
Max. memory (cumulated for all children) (KiB): 673884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 603.623
system time used= 0.425
maximum resident set size= 670940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 523
involuntary context switches= 1382
# summary of solver processes directly reported to runsolver:
# pid: 42572
# total CPU time (s): 604.048
# total CPU user time (s): 603.623
# total CPU system time (s): 0.425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16556 second user time and 2.60028 second system time
The end
Begin job on nodeC029 at 2025-06-30 19:52:50
IDJOB=4485153
IDBENCH=146694
IDSOLVER=3374
FILE ID=nodeC029/4485153-1751305970
RUNJOBID= nodeC029-1751301113-41763
SLURM_JOB_ID= 9594275
Free space on /tmp= 432992 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485153-1751305970/watcher-4485153-1751305970 -o /tmp/evaluation-result-4485153-1751305970/solver-4485153-1751305970 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751301113-41763 --watchdog 3760 HOME/opbsolver HOME/instance-4485153-1751305970.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=1254524610
nodeC029 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 : 3597.571
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.46
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.747
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.46
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 : 3599.701
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.46
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 : 3591.444
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.46
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.721
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.46
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.740
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.46
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.46
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 : 3632.788
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129433264 kB
MemAvailable: 129355120 kB
Buffers: 3280 kB
Cached: 729504 kB
SwapCached: 0 kB
Active: 768224 kB
Inactive: 472316 kB
Active(anon): 525828 kB
Inactive(anon): 0 kB
Active(file): 242396 kB
Inactive(file): 472316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21212 kB
Writeback: 0 kB
AnonPages: 510396 kB
Mapped: 108564 kB
Shmem: 18060 kB
KReclaimable: 92764 kB
Slab: 178956 kB
SReclaimable: 92764 kB
SUnreclaim: 86192 kB
KernelStack: 4264 kB
PageTables: 3780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 870860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 430080 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC029 at 2025-06-30 20:02:56