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 (61559 MiB free)
memory of node 1: 64465 MiB (62285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545868-1753259880/watcher-4545868-1753259880 -o /tmp/evaluation-result-4545868-1753259880/solver-4545868-1753259880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753259701-166035 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545868-1753259880.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=166591, runsolver pid=166588
[startup+0.100058 s]*
/proc/loadavg: 4.02 1.98 0.83 5/264 166592
/proc/meminfo: memFree=126816628/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=84772 memory=12288 CPUtime=0.08 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 825 0 0 0 7 1 0 0 20 0 1 0 241662557 86806528 3072 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21193 3072 2528 595 0 5860 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 12288 KiB
[startup+0.205509 s]*
/proc/loadavg: 4.02 1.98 0.83 5/264 166592
/proc/meminfo: memFree=126816628/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=84772 memory=12288 CPUtime=0.19 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 825 0 0 0 15 4 0 0 20 0 1 0 241662557 86806528 3072 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21193 3072 2528 595 0 5860 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 12288 KiB
[startup+0.305344 s]*
/proc/loadavg: 4.02 1.98 0.83 5/264 166592
/proc/meminfo: memFree=126816620/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=84772 memory=12288 CPUtime=0.29 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 825 0 0 0 23 6 0 0 20 0 1 0 241662557 86806528 3072 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21193 3072 2528 595 0 5860 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 12288 KiB
[startup+0.700111 s]
/proc/loadavg: 4.02 1.98 0.83 5/264 166592
/proc/meminfo: memFree=126816620/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=84772 memory=12288 CPUtime=0.68 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 825 0 0 0 53 15 0 0 20 0 1 0 241662557 86806528 3072 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21193 3072 2528 595 0 5860 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 12288 KiB
[startup+1.50011 s]
/proc/loadavg: 4.02 1.98 0.83 5/264 166592
/proc/meminfo: memFree=126816620/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=84772 memory=12288 CPUtime=1.48 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 825 0 0 0 112 36 0 0 20 0 1 0 241662557 86806528 3072 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21193 3072 2528 595 0 5860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 12288 KiB
[startup+3.10532 s]
/proc/loadavg: 4.02 2.01 0.85 5/264 166592
/proc/meminfo: memFree=126816940/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=84772 memory=12288 CPUtime=3.08 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 825 0 0 0 239 69 0 0 20 0 1 0 241662557 86806528 3072 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21193 3072 2528 595 0 5860 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84772 KiB
Current children cumulated memory: 12288 KiB
[startup+6.30012 s]
/proc/loadavg: 4.02 2.01 0.85 5/264 166592
/proc/meminfo: memFree=126817132/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=85864 memory=16276 CPUtime=6.27 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 1397 0 0 0 502 125 0 0 20 0 1 0 241662557 87924736 4069 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21466 4069 2528 595 0 6133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 16276 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 2.05 0.87 5/264 166592
/proc/meminfo: memFree=126817616/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=87452 memory=17808 CPUtime=12.65 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 2729 0 0 0 1103 162 0 0 20 0 1 0 241662557 89550848 4452 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 21863 4452 2528 595 0 6530 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87452 KiB
Current children cumulated memory: 17808 KiB
[startup+25.5001 s]
/proc/loadavg: 4.01 2.14 0.92 5/264 166593
/proc/meminfo: memFree=126775736/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=88896 memory=19200 CPUtime=25.42 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 4791 0 0 0 2242 300 0 0 20 0 1 0 241662557 91029504 4800 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 22224 4800 2528 595 0 6891 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 88896 KiB
Current children cumulated memory: 19200 KiB
[startup+51.1053 s]
/proc/loadavg: 4.01 2.29 1.00 5/264 166593
/proc/meminfo: memFree=126732284/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=89664 memory=22020 CPUtime=50.96 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 7199 0 0 0 4478 618 0 0 20 0 1 0 241662557 91815936 5505 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 22416 5505 2528 595 0 7083 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 89664 KiB
Current children cumulated memory: 22020 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 2.59 1.17 5/264 166595
/proc/meminfo: memFree=126697812/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=90816 memory=23272 CPUtime=102.04 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 13380 0 0 0 9102 1102 0 0 20 0 1 0 241662557 92995584 5818 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 22704 5818 2528 595 0 7371 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 90816 KiB
Current children cumulated memory: 23272 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 2.87 1.36 5/262 166597
/proc/meminfo: memFree=126699468/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=91840 memory=24232 CPUtime=161.89 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 18975 0 0 0 14525 1664 0 0 20 0 1 0 241662557 94044160 6058 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 22960 6058 2528 595 0 7627 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 91840 KiB
Current children cumulated memory: 24232 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.09 1.53 5/262 166599
/proc/meminfo: memFree=126706164/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=92320 memory=24684 CPUtime=221.75 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 24704 0 0 0 19842 2333 0 0 20 0 1 0 241662557 94535680 6171 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 23080 6171 2528 595 0 7747 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 92320 KiB
Current children cumulated memory: 24684 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.29 1.70 5/263 166602
/proc/meminfo: memFree=126676976/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=93540 memory=25904 CPUtime=281.59 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 31900 0 0 0 25440 2719 0 0 20 0 1 0 241662557 95784960 6476 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 23385 6476 2528 595 0 8052 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 93540 KiB
Current children cumulated memory: 25904 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.43 1.85 5/263 166604
/proc/meminfo: memFree=126647424/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=93924 memory=26292 CPUtime=341.44 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 37640 0 0 0 30768 3376 0 0 20 0 1 0 241662557 96178176 6573 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 23481 6573 2528 595 0 8148 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 93924 KiB
Current children cumulated memory: 26292 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.56 1.99 5/263 166606
/proc/meminfo: memFree=126639004/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=94180 memory=26676 CPUtime=401.28 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 44677 0 0 0 36182 3946 0 0 20 0 1 0 241662557 96440320 6669 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 23545 6669 2528 595 0 8212 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 94180 KiB
Current children cumulated memory: 26676 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.67 2.13 5/264 166615
/proc/meminfo: memFree=126611032/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=94436 memory=26808 CPUtime=461.12 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 51430 0 0 0 41593 4519 0 0 20 0 1 0 241662557 96702464 6702 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 23609 6702 2528 595 0 8276 0
################
# More data... #
################
Current children cumulated memory: 30544 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/266 166844
/proc/meminfo: memFree=126588420/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98236 memory=30608 CPUtime=2853.65 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 329773 0 0 0 262495 22870 0 0 20 0 1 0 241662557 100593664 7652 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24559 7652 2528 595 0 9226 0
Current children cumulated CPU time: 2853.65 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 30608 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/266 166846
/proc/meminfo: memFree=126588444/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98236 memory=30608 CPUtime=2913.47 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 336037 0 0 0 267930 23417 0 0 20 0 1 0 241662557 100593664 7652 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24559 7652 2528 595 0 9226 0
Current children cumulated CPU time: 2913.47 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 30608 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/264 166848
/proc/meminfo: memFree=126587832/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98236 memory=30608 CPUtime=2973.3 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 342368 0 0 0 273350 23980 0 0 20 0 1 0 241662557 100593664 7652 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24559 7652 2528 595 0 9226 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 30608 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 166851
/proc/meminfo: memFree=126576144/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98236 memory=30608 CPUtime=3033.12 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 348980 0 0 0 278895 24417 0 0 20 0 1 0 241662557 100593664 7652 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24559 7652 2528 595 0 9226 0
Current children cumulated CPU time: 3033.12 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 30608 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.00 5/265 166854
/proc/meminfo: memFree=126573712/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98236 memory=30608 CPUtime=3092.95 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 355244 0 0 0 284305 24990 0 0 20 0 1 0 241662557 100593664 7652 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24559 7652 2528 595 0 9226 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 30608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/265 166856
/proc/meminfo: memFree=126575156/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98236 memory=30608 CPUtime=3152.76 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 361392 0 0 0 289758 25518 0 0 20 0 1 0 241662557 100593664 7652 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24559 7652 2528 595 0 9226 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 30608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 166858
/proc/meminfo: memFree=126573700/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98300 memory=30672 CPUtime=3212.58 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 368022 0 0 0 295259 25999 0 0 20 0 1 0 241662557 100659200 7668 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24575 7668 2528 595 0 9242 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 98300 KiB
Current children cumulated memory: 30672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/264 166860
/proc/meminfo: memFree=126574028/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98300 memory=30672 CPUtime=3272.39 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 375674 0 0 0 301056 26183 0 0 20 0 1 0 241662557 100659200 7668 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24575 7668 2528 595 0 9242 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 98300 KiB
Current children cumulated memory: 30672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/263 166862
/proc/meminfo: memFree=126574468/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98428 memory=30800 CPUtime=3332.2 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 384371 0 0 0 306972 26248 0 0 20 0 1 0 241662557 100790272 7700 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24607 7700 2528 595 0 9274 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 98428 KiB
Current children cumulated memory: 30800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/262 166864
/proc/meminfo: memFree=126563700/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98428 memory=30800 CPUtime=3392.02 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 390625 0 0 0 312399 26803 0 0 20 0 1 0 241662557 100790272 7700 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24607 7700 2528 595 0 9274 0
Current children cumulated CPU time: 3392.02 s
Current children cumulated vsize: 98428 KiB
Current children cumulated memory: 30800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/265 166875
/proc/meminfo: memFree=126563668/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98428 memory=30800 CPUtime=3451.83 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 396761 0 0 0 317823 27360 0 0 20 0 1 0 241662557 100790272 7700 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24607 7700 2528 595 0 9274 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 98428 KiB
Current children cumulated memory: 30800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.01 4/261 166974
/proc/meminfo: memFree=127250824/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98428 memory=30800 CPUtime=3511.67 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 403074 0 0 0 323251 27916 0 0 20 0 1 0 241662557 100790272 7700 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24607 7700 2528 595 0 9274 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 98428 KiB
Current children cumulated memory: 30800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.02 4/261 167094
/proc/meminfo: memFree=127177164/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98428 memory=30800 CPUtime=3571.47 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 410508 0 0 0 328894 28253 0 0 20 0 1 0 241662557 100790272 7700 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24607 7700 2528 595 0 9274 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 98428 KiB
Current children cumulated memory: 30800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.12 4.10 4.02 5/265 167103
/proc/meminfo: memFree=118642368/131249992 swapFree=33009392/33010684
[pid=166591] ppid=166588 vsize=98428 memory=30800 CPUtime=3600.1 cores=1,3
/proc/166591/stat : 166591 (SynLSCD) R 166588 166591 166016 0 -1 4194304 413222 0 0 0 331474 28536 0 0 20 0 1 0 241662557 100790272 7700 18446744073709551615 94686164987904 94686167422505 140734219486080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94686167903480 94686167936512 94686175330304 140734219491715 140734219491850 140734219491850 140734219497454 0
/proc/166591/statm: 24607 7700 2528 595 0 9274 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 98428 KiB
Current children cumulated memory: 30800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 166591 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3314.74 s, system=285.363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.01
CPU time (s): 3600.11
CPU user time (s): 3314.74
CPU system time (s): 285.363
CPU usage (%): 99.6982
Max. virtual memory (cumulated for all children) (KiB): 98684
Max. memory (cumulated for all children) (KiB): 30928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3314.74
system time used= 285.363
maximum resident set size= 31184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138
involuntary context switches= 1199
# summary of solver processes directly reported to runsolver:
# pid: 166591
# total CPU time (s): 3600.11
# total CPU user time (s): 3314.74
# total CPU system time (s): 285.363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08298 second user time and 14.1515 second system time
The end
Begin job on nodeC035 at 2025-07-23 10:38:00
IDJOB=4545868
IDBENCH=158984
IDSOLVER=3421
FILE ID=nodeC035/4545868-1753259880
RUNJOBID= nodeC035-1753259701-166035
SLURM_JOB_ID= 9689190
Free space on /tmp= 432448 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545868-1753259880/watcher-4545868-1753259880 -o /tmp/evaluation-result-4545868-1753259880/solver-4545868-1753259880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753259701-166035 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545868-1753259880.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2ca6c56c39551016f0346c5d85471318
RANDOM SEED=1834945035
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.838
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.751
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.752
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.645
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.833
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.579
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126816820 kB
MemAvailable: 129066892 kB
Buffers: 664 kB
Cached: 3000524 kB
SwapCached: 336 kB
Active: 1535556 kB
Inactive: 2130268 kB
Active(anon): 671632 kB
Inactive(anon): 18908 kB
Active(file): 863924 kB
Inactive(file): 2111360 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3732 kB
Writeback: 0 kB
AnonPages: 667112 kB
Mapped: 120664 kB
Shmem: 25904 kB
KReclaimable: 228056 kB
Slab: 324472 kB
SReclaimable: 228056 kB
SUnreclaim: 96416 kB
KernelStack: 4304 kB
PageTables: 4664 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1097520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 159744 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432432 MiB
End job on nodeC035 at 2025-07-23 11:38:11