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: 63665 MiB (62291 MiB free)
memory of node 1: 64507 MiB (63521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545867-1753259898/watcher-4545867-1753259898 -o /tmp/evaluation-result-4545867-1753259898/solver-4545867-1753259898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753259700-177760 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545867-1753259898.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=178319, runsolver pid=178316
[startup+0.100062 s]*
/proc/loadavg: 3.99 2.11 0.90 5/265 178320
/proc/meminfo: memFree=128832108/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=0.09 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 8 1 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+0.205774 s]*
/proc/loadavg: 3.99 2.11 0.90 6/265 178320
/proc/meminfo: memFree=128832108/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=0.19 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 16 3 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+0.305664 s]*
/proc/loadavg: 3.99 2.11 0.90 5/265 178320
/proc/meminfo: memFree=128832540/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=0.29 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 23 6 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+0.700168 s]
/proc/loadavg: 3.99 2.11 0.90 5/265 178320
/proc/meminfo: memFree=128848552/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=0.68 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 55 13 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+1.50017 s]
/proc/loadavg: 3.99 2.11 0.90 5/265 178320
/proc/meminfo: memFree=128848552/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=1.48 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 120 28 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+3.10554 s]
/proc/loadavg: 3.99 2.11 0.90 5/265 178320
/proc/meminfo: memFree=128854624/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=3.08 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 250 58 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+6.30018 s]
/proc/loadavg: 3.99 2.14 0.92 5/265 178320
/proc/meminfo: memFree=128853672/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=84764 memory=12160 CPUtime=6.26 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 832 0 0 0 509 117 0 0 20 0 1 0 241669358 86798336 3040 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21191 3040 2496 595 0 5858 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 12160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 2.19 0.94 5/265 178320
/proc/meminfo: memFree=128845128/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=87228 memory=17788 CPUtime=12.65 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 2598 0 0 0 1116 149 0 0 20 0 1 0 241669358 89321472 4447 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 21807 4447 2528 595 0 6474 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87228 KiB
Current children cumulated memory: 17788 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 2.28 0.99 5/265 178321
/proc/meminfo: memFree=128824544/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=88308 memory=18728 CPUtime=25.4 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 4508 0 0 0 2256 284 0 0 20 0 1 0 241669358 90427392 4682 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 22077 4682 2528 595 0 6744 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 88308 KiB
Current children cumulated memory: 18728 KiB
[startup+51.1053 s]
/proc/loadavg: 4.04 2.42 1.07 5/265 178321
/proc/meminfo: memFree=128812888/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=89156 memory=19684 CPUtime=50.94 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 7608 0 0 0 4558 536 0 0 20 0 1 0 241669358 91295744 4921 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 22289 4921 2528 595 0 6956 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 89156 KiB
Current children cumulated memory: 19684 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 2.66 1.23 5/265 178368
/proc/meminfo: memFree=128872224/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=90836 memory=21280 CPUtime=101.98 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 12760 0 0 0 9182 1016 0 0 20 0 1 0 241669358 93016064 5320 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 22709 5320 2528 595 0 7376 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 90836 KiB
Current children cumulated memory: 21280 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 2.92 1.41 5/263 178370
/proc/meminfo: memFree=128833240/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=92180 memory=22736 CPUtime=161.8 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 18614 0 0 0 14658 1522 0 0 20 0 1 0 241669358 94392320 5684 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 23045 5684 2528 595 0 7712 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 22736 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.14 1.58 5/263 178372
/proc/meminfo: memFree=128809952/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=92884 memory=25368 CPUtime=221.6 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 24592 0 0 0 20072 2088 0 0 20 0 1 0 241669358 95113216 6342 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 23221 6342 2528 595 0 7888 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 92884 KiB
Current children cumulated memory: 25368 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.31 1.74 5/262 178374
/proc/meminfo: memFree=128816604/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=93940 memory=26424 CPUtime=281.42 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 31934 0 0 0 25622 2520 0 0 20 0 1 0 241669358 96194560 6606 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 23485 6606 2528 595 0 8152 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 93940 KiB
Current children cumulated memory: 26424 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.45 1.89 5/262 178376
/proc/meminfo: memFree=128804204/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=94196 memory=26684 CPUtime=341.24 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 38544 0 0 0 31048 3076 0 0 20 0 1 0 241669358 96456704 6671 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 23549 6671 2528 595 0 8216 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 94196 KiB
Current children cumulated memory: 26684 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.59 2.03 5/262 178378
/proc/meminfo: memFree=128814748/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=94260 memory=26812 CPUtime=401.08 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 44513 0 0 0 36528 3580 0 0 20 0 1 0 241669358 96522240 6703 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 23565 6703 2528 595 0 8232 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 94260 KiB
Current children cumulated memory: 26812 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.68 2.16 5/263 178387
/proc/meminfo: memFree=128808524/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=94260 memory=26748 CPUtime=460.93 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 50394 0 0 0 42008 4085 0 0 20 0 1 0 241669358 96522240 6687 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 23565 6687 2528 595 0 8232 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
Current children cumulated memory: 32160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.00 5/264 178531
/proc/meminfo: memFree=128701824/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=99800 memory=32376 CPUtime=2914.99 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 304854 0 0 0 269046 22453 0 0 20 0 1 0 241669358 102195200 8094 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 24950 8094 2528 595 0 9617 0
Current children cumulated CPU time: 2914.99 s
Current children cumulated vsize: 99800 KiB
Current children cumulated memory: 32376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/264 178533
/proc/meminfo: memFree=128702128/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100120 memory=32608 CPUtime=2974.84 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 312788 0 0 0 274890 22594 0 0 20 0 1 0 241669358 102522880 8152 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25030 8152 2528 595 0 9697 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 100120 KiB
Current children cumulated memory: 32608 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/265 178536
/proc/meminfo: memFree=128702276/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100120 memory=32608 CPUtime=3034.69 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 318801 0 0 0 280313 23156 0 0 20 0 1 0 241669358 102522880 8152 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25030 8152 2528 595 0 9697 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 100120 KiB
Current children cumulated memory: 32608 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 178538
/proc/meminfo: memFree=128702140/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100184 memory=32672 CPUtime=3094.55 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 326133 0 0 0 285865 23590 0 0 20 0 1 0 241669358 102588416 8168 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25046 8168 2528 595 0 9713 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 100184 KiB
Current children cumulated memory: 32672 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 178540
/proc/meminfo: memFree=128698168/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100184 memory=32672 CPUtime=3154.41 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 332403 0 0 0 291298 24143 0 0 20 0 1 0 241669358 102588416 8168 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25046 8168 2528 595 0 9713 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 100184 KiB
Current children cumulated memory: 32672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 178542
/proc/meminfo: memFree=128692232/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100184 memory=32672 CPUtime=3214.26 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 337383 0 0 0 296726 24700 0 0 20 0 1 0 241669358 102588416 8168 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25046 8168 2528 595 0 9713 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 100184 KiB
Current children cumulated memory: 32672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/264 178545
/proc/meminfo: memFree=128677604/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100248 memory=32736 CPUtime=3274.12 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 343063 0 0 0 302278 25134 0 0 20 0 1 0 241669358 102653952 8184 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25062 8184 2528 595 0 9729 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 100248 KiB
Current children cumulated memory: 32736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 178548
/proc/meminfo: memFree=128677356/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100312 memory=32800 CPUtime=3333.98 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 348611 0 0 0 307698 25700 0 0 20 0 1 0 241669358 102719488 8200 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25078 8200 2528 595 0 9745 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 100312 KiB
Current children cumulated memory: 32800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 178550
/proc/meminfo: memFree=128675176/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100568 memory=33056 CPUtime=3393.83 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 354775 0 0 0 313241 26142 0 0 20 0 1 0 241669358 102981632 8264 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25142 8264 2528 595 0 9809 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 100568 KiB
Current children cumulated memory: 33056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 178559
/proc/meminfo: memFree=128671032/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100568 memory=33056 CPUtime=3453.69 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 359515 0 0 0 318639 26730 0 0 20 0 1 0 241669358 102981632 8264 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25142 8264 2528 595 0 9809 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 100568 KiB
Current children cumulated memory: 33056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 178650
/proc/meminfo: memFree=129346136/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=100760 memory=33248 CPUtime=3513.52 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 366807 0 0 0 324304 27048 0 0 20 0 1 0 241669358 103178240 8312 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25190 8312 2528 595 0 9857 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 100760 KiB
Current children cumulated memory: 33248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.10 4.02 5/265 178698
/proc/meminfo: memFree=128644544/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=101048 memory=33536 CPUtime=3573.33 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 375717 0 0 0 330211 27122 0 0 20 0 1 0 241669358 103473152 8384 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25262 8384 2528 595 0 9929 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 101048 KiB
Current children cumulated memory: 33536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.1 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 178698
/proc/meminfo: memFree=128630300/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=101048 memory=33536 CPUtime=3600.05 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 378849 0 0 0 332731 27274 0 0 20 0 1 0 241669358 103473152 8384 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25262 8384 2528 595 0 9929 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 101048 KiB
Current children cumulated memory: 33536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 178319 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3327.32 s, system=272.751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.1 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 178698
/proc/meminfo: memFree=128630300/131249996 swapFree=33005016/33010684
[pid=178319] ppid=178316 vsize=101048 memory=33536 CPUtime=3600.05 cores=0,2
/proc/178319/stat : 178319 (SynLSCD) R 178316 178319 177743 0 -1 4194304 378849 0 0 0 332731 27274 0 0 20 0 1 0 241669358 103473152 8384 18446744073709551615 94663428042752 94663430477353 140724768385920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94663430958328 94663430991360 94663438086144 140724768389507 140724768389642 140724768389642 140724768395246 0
/proc/178319/statm: 25262 8384 2528 595 0 9929 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 101048 KiB
Current children cumulated memory: 33536 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.07
CPU user time (s): 3327.32
CPU system time (s): 272.751
CPU usage (%): 99.7495
Max. virtual memory (cumulated for all children) (KiB): 101048
Max. memory (cumulated for all children) (KiB): 33536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3327.32
system time used= 272.751
maximum resident set size= 33792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378880
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= 139
involuntary context switches= 7830
# summary of solver processes directly reported to runsolver:
# pid: 178319
# total CPU time (s): 3600.07
# total CPU user time (s): 3327.32
# total CPU system time (s): 272.751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31017 second user time and 14.2714 second system time
The end
Begin job on nodeC030 at 2025-07-23 10:38:18
IDJOB=4545867
IDBENCH=159141
IDSOLVER=3421
FILE ID=nodeC030/4545867-1753259898
RUNJOBID= nodeC030-1753259700-177760
SLURM_JOB_ID= 9689185
Free space on /tmp= 432824 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-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-4545867-1753259898/watcher-4545867-1753259898 -o /tmp/evaluation-result-4545867-1753259898/solver-4545867-1753259898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753259700-177760 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545867-1753259898.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fdfc61e25e9264eb2f8645fd8f162aaa
RANDOM SEED=381433518
nodeC030 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 : 3600.326
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 : 7000.62
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 : 3600.323
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 : 7000.62
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 : 3551.594
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 : 7000.62
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 : 3600.465
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 : 7000.62
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.267
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 : 7000.62
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 : 3600.314
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 : 7000.62
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 : 3583.689
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 : 7000.62
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 : 3598.687
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128832108 kB
MemAvailable: 129123508 kB
Buffers: 16 kB
Cached: 1057272 kB
SwapCached: 232 kB
Active: 1283364 kB
Inactive: 385016 kB
Active(anon): 594948 kB
Inactive(anon): 37900 kB
Active(file): 688416 kB
Inactive(file): 347116 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3620 kB
Writeback: 0 kB
AnonPages: 614168 kB
Mapped: 115468 kB
Shmem: 21756 kB
KReclaimable: 189816 kB
Slab: 284816 kB
SReclaimable: 189816 kB
SUnreclaim: 95000 kB
KernelStack: 4248 kB
PageTables: 4616 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1026892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 124928 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432828 MiB
End job on nodeC030 at 2025-07-23 11:38:27