0.00/0.03 c solving HOME/instance-4528354-1752238242.opb (Picat 3.9b11, 7/10/2025)
18.32/18.42 post_bv_constr(=,851957994498145024376650686967632657848404004522067292479525321522034795156701325956247076284463986325075078904937210733994726468498)
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: 63837 MiB (62764 MiB free)
memory of node 1: 64465 MiB (63618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528354-1752238242/watcher-4528354-1752238242 -o /tmp/evaluation-result-4528354-1752238242/solver-4528354-1752238242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108757 --watchdog 3760 pb_picat HOME/instance-4528354-1752238242.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=109303, runsolver pid=109297
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 1.29 1.79 3.24 5/250 109309
/proc/meminfo: memFree=129381200/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=24148 CPUtime=0.09 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1039 0 0 0 8 1 0 0 20 0 1 0 139503327 2075799552 6037 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 6037 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24148 KiB
[startup+0.213833 s]*
/proc/loadavg: 1.29 1.79 3.24 4/248 109309
/proc/meminfo: memFree=129356624/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=32376 CPUtime=0.2 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1051 0 0 0 19 1 0 0 20 0 1 0 139503327 2075799552 8094 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 8094 1600 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32376 KiB
[startup+0.310462 s]*
/proc/loadavg: 1.29 1.79 3.24 5/248 109309
/proc/meminfo: memFree=129332048/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=38548 CPUtime=0.29 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1061 0 0 0 28 1 0 0 20 0 1 0 139503327 2075799552 9637 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 9637 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38548 KiB
[startup+0.70022 s]
/proc/loadavg: 1.29 1.79 3.24 5/248 109321
/proc/meminfo: memFree=129286992/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=61184 CPUtime=0.67 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1102 0 0 0 64 3 0 0 20 0 1 0 139503327 2075799552 15296 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 15296 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 61184 KiB
[startup+1.50033 s]
/proc/loadavg: 1.58 1.84 3.25 4/246 109345
/proc/meminfo: memFree=129168480/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=139400 CPUtime=1.46 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1236 0 0 0 141 5 0 0 20 0 1 0 139503327 2075799552 34850 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 34850 1600 343 0 503851 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 139400 KiB
[startup+3.11287 s]
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=128382760/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=420044 CPUtime=3.07 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1465 0 0 0 295 12 0 0 20 0 1 0 139503327 2075799552 105011 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 105011 1600 343 0 503851 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 420044 KiB
[startup+6.3003 s]
/proc/loadavg: 1.78 1.88 3.26 5/250 109354
/proc/meminfo: memFree=127036816/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=2027148 memory=1198284 CPUtime=6.25 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 1848 0 0 0 597 28 0 0 20 0 1 0 139503327 2075799552 299571 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 506787 299571 1600 343 0 503851 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1198284 KiB
[startup+12.7003 s]
/proc/loadavg: 1.95 1.91 3.26 5/250 109354
/proc/meminfo: memFree=125011140/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4230728 memory=2289592 CPUtime=12.62 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 4557 0 0 0 1213 49 0 0 20 0 1 0 139503327 4332265472 572398 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1057682 572398 1600 343 0 1054746 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 4230728 KiB
Current children cumulated memory: 2289592 KiB
[startup+25.5003 s]
/proc/loadavg: 2.27 1.98 3.27 5/251 109355
/proc/meminfo: memFree=124640832/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4481448 memory=2479156 CPUtime=25.39 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 21433 0 0 0 2483 56 0 0 20 0 1 0 139503327 4589002752 619789 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1120362 619789 1632 343 0 1117426 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4481448 KiB
Current children cumulated memory: 2479156 KiB
[startup+51.113 s]
/proc/loadavg: 2.95 2.18 3.30 5/251 109356
/proc/meminfo: memFree=124486640/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4486852 memory=2542324 CPUtime=50.92 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 25724 0 0 0 5032 60 0 0 20 0 1 0 139503327 4594536448 635581 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1121713 635581 1632 343 0 1118777 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4486852 KiB
Current children cumulated memory: 2542324 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.47 3.34 5/251 109357
/proc/meminfo: memFree=124441908/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4481060 memory=2560040 CPUtime=101.95 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 32072 0 0 0 10131 64 0 0 20 0 1 0 139503327 4588605440 640010 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1120265 640010 1632 343 0 1117329 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 4481060 KiB
Current children cumulated memory: 2560040 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.79 3.39 5/251 109359
/proc/meminfo: memFree=124437568/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4481060 memory=2560040 CPUtime=161.76 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 35369 0 0 0 16109 67 0 0 20 0 1 0 139503327 4588605440 640010 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1120265 640010 1632 343 0 1117329 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4481060 KiB
Current children cumulated memory: 2560040 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.02 3.44 5/251 109361
/proc/meminfo: memFree=124407416/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4481060 memory=2562088 CPUtime=221.57 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 38681 0 0 0 22087 70 0 0 20 0 1 0 139503327 4588605440 640522 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1120265 640522 1632 343 0 1117329 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 4481060 KiB
Current children cumulated memory: 2562088 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.22 3.48 5/252 109366
/proc/meminfo: memFree=124471520/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4481060 memory=2502696 CPUtime=281.37 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 41282 0 0 0 28065 72 0 0 20 0 1 0 139503327 4588605440 625674 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1120265 625674 1632 343 0 1117329 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 4481060 KiB
Current children cumulated memory: 2502696 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.38 3.52 5/250 109372
/proc/meminfo: memFree=124391264/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4612132 memory=2566184 CPUtime=341.18 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 41824 0 0 0 34044 74 0 0 20 0 1 0 139503327 4722823168 641546 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1153033 641546 1632 343 0 1150097 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 4612132 KiB
Current children cumulated memory: 2566184 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.51 3.56 5/250 109374
/proc/meminfo: memFree=124459764/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4481060 memory=2543656 CPUtime=400.99 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 41977 0 0 0 40023 76 0 0 20 0 1 0 139503327 4588605440 635914 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1120265 635914 1632 343 0 1117329 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 4481060 KiB
Current children cumulated memory: 2543656 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.63 3.60 5/250 109376
/proc/meminfo: memFree=124469420/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4415524 memory=2492140 CPUtime=460.8 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 44491 0 0 0 46000 80 0 0 20 0 1 0 139503327 4521496576 623035 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1103881 623035 1632 343 0 1100945 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 2631760 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 109766
/proc/meminfo: memFree=124170852/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4551084 memory=2588752 CPUtime=2852.27 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 92750 0 0 0 285008 219 0 0 20 0 1 0 139503327 4660310016 647188 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1137771 647188 1632 343 0 1134835 0
Current children cumulated CPU time: 2852.27 s
Current children cumulated vsize: 4551084 KiB
Current children cumulated memory: 2588752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 109768
/proc/meminfo: memFree=123900944/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4944300 memory=2768976 CPUtime=2912.05 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 93864 0 0 0 290982 223 0 0 20 0 1 0 139503327 5062963200 692244 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1236075 692244 1632 343 0 1233139 0
Current children cumulated CPU time: 2912.05 s
Current children cumulated vsize: 4944300 KiB
Current children cumulated memory: 2768976 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/250 109770
/proc/meminfo: memFree=124202556/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4551084 memory=2545744 CPUtime=2971.83 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 95842 0 0 0 296956 227 0 0 20 0 1 0 139503327 4660310016 636436 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1137771 636436 1632 343 0 1134835 0
Current children cumulated CPU time: 2971.83 s
Current children cumulated vsize: 4551084 KiB
Current children cumulated memory: 2545744 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.11 5/250 109772
/proc/meminfo: memFree=124056012/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4485548 memory=2525252 CPUtime=3031.61 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 99251 0 0 0 302931 230 0 0 20 0 1 0 139503327 4593201152 631313 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1121387 631313 1632 343 0 1118451 0
Current children cumulated CPU time: 3031.61 s
Current children cumulated vsize: 4485548 KiB
Current children cumulated memory: 2525252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/249 109774
/proc/meminfo: memFree=123990196/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4682156 memory=2683268 CPUtime=3091.39 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 99920 0 0 0 308906 233 0 0 20 0 1 0 139503327 4794527744 670817 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1170539 670817 1632 343 0 1167603 0
Current children cumulated CPU time: 3091.39 s
Current children cumulated vsize: 4682156 KiB
Current children cumulated memory: 2683268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/249 109776
/proc/meminfo: memFree=124128440/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4551084 memory=2589060 CPUtime=3151.17 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 100671 0 0 0 314878 239 0 0 20 0 1 0 139503327 4660310016 647265 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1137771 647265 1632 343 0 1134835 0
Current children cumulated CPU time: 3151.17 s
Current children cumulated vsize: 4551084 KiB
Current children cumulated memory: 2589060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 109779
/proc/meminfo: memFree=124023604/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4551084 memory=2533764 CPUtime=3210.94 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 101326 0 0 0 320853 241 0 0 20 0 1 0 139503327 4660310016 633441 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1137771 633441 1632 343 0 1134835 0
Current children cumulated CPU time: 3210.94 s
Current children cumulated vsize: 4551084 KiB
Current children cumulated memory: 2533764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 109781
/proc/meminfo: memFree=123831704/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4616620 memory=2636164 CPUtime=3270.72 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 103611 0 0 0 326827 245 0 0 20 0 1 0 139503327 4727418880 659041 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1154155 659041 1632 343 0 1151219 0
Current children cumulated CPU time: 3270.72 s
Current children cumulated vsize: 4616620 KiB
Current children cumulated memory: 2636164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 109786
/proc/meminfo: memFree=124096296/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4682156 memory=2611588 CPUtime=3330.51 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 104829 0 0 0 332803 248 0 0 20 0 1 0 139503327 4794527744 652897 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1170539 652897 1632 343 0 1167603 0
Current children cumulated CPU time: 3330.51 s
Current children cumulated vsize: 4682156 KiB
Current children cumulated memory: 2611588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 109792
/proc/meminfo: memFree=123980432/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4944300 memory=2718084 CPUtime=3390.29 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 105423 0 0 0 338779 250 0 0 20 0 1 0 139503327 5062963200 679521 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1236075 679521 1632 343 0 1233139 0
Current children cumulated CPU time: 3390.29 s
Current children cumulated vsize: 4944300 KiB
Current children cumulated memory: 2718084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 109794
/proc/meminfo: memFree=123779668/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4944300 memory=2814340 CPUtime=3450.07 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 105506 0 0 0 344755 252 0 0 20 0 1 0 139503327 5062963200 703585 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1236075 703585 1632 343 0 1233139 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 4944300 KiB
Current children cumulated memory: 2814340 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 109796
/proc/meminfo: memFree=123897156/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4682156 memory=2589060 CPUtime=3509.85 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 106145 0 0 0 350732 253 0 0 20 0 1 0 139503327 4794527744 647265 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1170539 647265 1632 343 0 1167603 0
Current children cumulated CPU time: 3509.85 s
Current children cumulated vsize: 4682156 KiB
Current children cumulated memory: 2589060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 109798
/proc/meminfo: memFree=124084932/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4682156 memory=2683268 CPUtime=3569.64 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 106258 0 0 0 356709 255 0 0 20 0 1 0 139503327 4794527744 670817 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1170539 670817 1632 343 0 1167603 0
Current children cumulated CPU time: 3569.64 s
Current children cumulated vsize: 4682156 KiB
Current children cumulated memory: 2683268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 109889
/proc/meminfo: memFree=126598804/131382120 swapFree=33010160/33010684
[pid=109303] ppid=109297 vsize=4944300 memory=2730372 CPUtime=3600.02 cores=5,7
/proc/109303/stat : 109303 (pb_picat) R 109297 109303 107429 0 -1 4194304 106792 0 0 0 359745 257 0 0 20 0 1 0 139503327 5062963200 682593 18446744073709551615 94221802352640 94221803754221 140729398787840 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94221804025648 94221805899888 94221829447680 140729398794652 140729398794728 140729398794728 140729398800332 0
/proc/109303/statm: 1236075 682593 1632 343 0 1233139 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4944300 KiB
Current children cumulated memory: 2730372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 109303 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.46 s, system=2.58406 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.81
CPU time (s): 3600.04
CPU user time (s): 3597.46
CPU system time (s): 2.58406
CPU usage (%): 99.6465
Max. virtual memory (cumulated for all children) (KiB): 4944300
Max. memory (cumulated for all children) (KiB): 2865540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 2.58406
maximum resident set size= 2865540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106792
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= 70
involuntary context switches= 22195
# summary of solver processes directly reported to runsolver:
# pid: 109303
# total CPU time (s): 3600.04
# total CPU user time (s): 3597.46
# total CPU system time (s): 2.58406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0232 second user time and 36.5821 second system time
The end
Begin job on nodeC008 at 2025-07-11 14:50:42
IDJOB=4528354
IDBENCH=147466
IDSOLVER=3385
FILE ID=nodeC008/4528354-1752238242
RUNJOBID= nodeC008-1752238236-108757
SLURM_JOB_ID= 9682519
Free space on /tmp= 432768 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528354-1752238242/watcher-4528354-1752238242 -o /tmp/evaluation-result-4528354-1752238242/solver-4528354-1752238242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108757 --watchdog 3760 pb_picat HOME/instance-4528354-1752238242.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5fa98c77b2f02bc89c0dd9881e13d7c
RANDOM SEED=1255445850
nodeC008 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 : 0xb00001f
cpu MHz : 2993.027
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.299
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.207
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3662.079
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.843
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129436904 kB
MemAvailable: 129729420 kB
Buffers: 2128 kB
Cached: 1084644 kB
SwapCached: 16 kB
Active: 818836 kB
Inactive: 551720 kB
Active(anon): 267888 kB
Inactive(anon): 33820 kB
Active(file): 550948 kB
Inactive(file): 517900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52732 kB
Writeback: 16 kB
AnonPages: 286760 kB
Mapped: 112004 kB
Shmem: 17920 kB
KReclaimable: 126588 kB
Slab: 213900 kB
SReclaimable: 126588 kB
SUnreclaim: 87312 kB
KernelStack: 3972 kB
PageTables: 3252 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4427568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-11 15:50:55