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 (62508 MiB free)
memory of node 1: 64465 MiB (62809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504385-1751431268/watcher-4504385-1751431268 -o /tmp/evaluation-result-4504385-1751431268/solver-4504385-1751431268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751424042-61367 --watchdog 3760 pb_picat HOME/instance-4504385-1751431268.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62153, runsolver pid=62150
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 62154
/proc/meminfo: memFree=128272768/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2027148 memory=45256 CPUtime=0.08 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 1272 0 0 0 8 0 0 0 20 0 1 0 58804710 2075799552 11314 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 506787 11314 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 45256 KiB
[startup+0.205505 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 62154
/proc/meminfo: memFree=128177996/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2027148 memory=102644 CPUtime=0.19 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 1300 0 0 0 18 1 0 0 20 0 1 0 58804710 2075799552 25661 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 506787 25661 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 102644 KiB
[startup+0.305451 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 62154
/proc/meminfo: memFree=128132940/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2093228 memory=144936 CPUtime=0.28 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 2807 0 0 0 26 2 0 0 20 0 1 0 58804710 2143465472 36234 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 523307 36234 1600 343 0 520371 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2093228 KiB
Current children cumulated memory: 144936 KiB
[startup+0.700123 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 62154
/proc/meminfo: memFree=128058204/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2093228 memory=216616 CPUtime=0.68 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 2842 0 0 0 64 4 0 0 20 0 1 0 58804710 2143465472 54154 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 523307 54154 1600 343 0 520371 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2093228 KiB
Current children cumulated memory: 216616 KiB
[startup+1.50017 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 62154
/proc/meminfo: memFree=127851172/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2093228 memory=362024 CPUtime=1.48 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 2913 0 0 0 141 7 0 0 20 0 1 0 58804710 2143465472 90506 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 523307 90506 1600 343 0 520371 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2093228 KiB
Current children cumulated memory: 362024 KiB
[startup+3.10538 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 62154
/proc/meminfo: memFree=127113208/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2093228 memory=630312 CPUtime=3.07 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 3131 0 0 0 294 13 0 0 20 0 1 0 58804710 2143465472 157578 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 523307 157578 1600 343 0 520371 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2093228 KiB
Current children cumulated memory: 630312 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 62154
/proc/meminfo: memFree=126190076/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2101040 memory=1113644 CPUtime=6.26 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 3737 0 0 0 604 22 0 0 20 0 1 0 58804710 2151464960 278411 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 525260 278411 1600 343 0 522324 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2101040 KiB
Current children cumulated memory: 1113644 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 62154
/proc/meminfo: memFree=123982568/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=2711908 memory=2225712 CPUtime=12.64 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 16978 0 0 0 1199 65 0 0 20 0 1 0 58804710 2776993792 556428 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 677977 556428 1728 343 0 675041 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2711908 KiB
Current children cumulated memory: 2225712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 62155
/proc/meminfo: memFree=122493520/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3783016 memory=2924224 CPUtime=25.41 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 57245 0 0 0 2341 200 0 0 20 0 1 0 58804710 3873808384 731056 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 945754 731056 1728 343 0 942818 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3783016 KiB
Current children cumulated memory: 2924224 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 62155
/proc/meminfo: memFree=121964596/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4315888 memory=3167828 CPUtime=50.94 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 70785 0 0 0 4877 217 0 0 20 0 1 0 58804710 4419469312 791957 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1078972 791957 1728 343 0 1076036 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4315888 KiB
Current children cumulated memory: 3167828 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 62157
/proc/meminfo: memFree=122217392/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3811404 memory=2971936 CPUtime=101.99 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 89024 0 0 0 9966 233 0 0 20 0 1 0 58804710 3902877696 742984 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 952851 742984 1728 343 0 949915 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3811404 KiB
Current children cumulated memory: 2971936 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 62160
/proc/meminfo: memFree=122285908/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3811404 memory=2957600 CPUtime=161.8 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 111429 0 0 0 15926 254 0 0 20 0 1 0 58804710 3902877696 739400 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 952851 739400 1728 343 0 949915 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 3811404 KiB
Current children cumulated memory: 2957600 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 62164
/proc/meminfo: memFree=121970656/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4340464 memory=3192740 CPUtime=221.62 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 139657 0 0 0 21884 278 0 0 20 0 1 0 58804710 4444635136 798185 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1085116 798185 1728 343 0 1082180 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 4340464 KiB
Current children cumulated memory: 3192740 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 62166
/proc/meminfo: memFree=121933984/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3799792 memory=3106724 CPUtime=281.44 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 148214 0 0 0 27854 290 0 0 20 0 1 0 58804710 3890987008 776681 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 949948 776681 1728 343 0 947012 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 3799792 KiB
Current children cumulated memory: 3106724 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 62168
/proc/meminfo: memFree=122024868/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3799792 memory=3116964 CPUtime=341.26 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 148260 0 0 0 33835 291 0 0 20 0 1 0 58804710 3890987008 779241 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 949948 779241 1728 343 0 947012 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 3799792 KiB
Current children cumulated memory: 3116964 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 62170
/proc/meminfo: memFree=121988944/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3799792 memory=3119012 CPUtime=401.08 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 148305 0 0 0 39817 291 0 0 20 0 1 0 58804710 3890987008 779753 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 949948 779753 1728 343 0 947012 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 3799792 KiB
Current children cumulated memory: 3119012 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 62172
/proc/meminfo: memFree=121949216/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=3937820 memory=3135148 CPUtime=460.9 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 150075 0 0 0 45798 292 0 0 20 0 1 0 58804710 4032327680 783787 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 984455 783787 1728 343 0 981519 0
################
# More data... #
################
Current children cumulated memory: 3355688 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 62301
/proc/meminfo: memFree=121506048/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3355688 CPUtime=2913.56 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 323054 0 0 0 290904 452 0 0 20 0 1 0 58804710 4981506048 838922 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 838922 1728 343 0 1213252 0
Current children cumulated CPU time: 2913.56 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3355688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 62303
/proc/meminfo: memFree=121707904/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3355688 CPUtime=2973.38 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 323079 0 0 0 296886 452 0 0 20 0 1 0 58804710 4981506048 838922 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 838922 1728 343 0 1213252 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3355688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 62310
/proc/meminfo: memFree=121617960/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3355688 CPUtime=3033.2 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 323130 0 0 0 302868 452 0 0 20 0 1 0 58804710 4981506048 838922 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 838922 1728 343 0 1213252 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3355688 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 62313
/proc/meminfo: memFree=121694448/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3393444 CPUtime=3093.02 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 346040 0 0 0 308831 471 0 0 20 0 1 0 58804710 4981506048 848361 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 848361 1728 343 0 1213252 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3393444 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 62315
/proc/meminfo: memFree=121532508/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3395492 CPUtime=3152.84 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 346120 0 0 0 314813 471 0 0 20 0 1 0 58804710 4981506048 848873 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 848873 1728 343 0 1213252 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3395492 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 62319
/proc/meminfo: memFree=121578496/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4315888 memory=3327044 CPUtime=3212.66 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 354429 0 0 0 320783 483 0 0 20 0 1 0 58804710 4419469312 831761 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1078972 831761 1728 343 0 1076036 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 4315888 KiB
Current children cumulated memory: 3327044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 62321
/proc/meminfo: memFree=121590672/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3387300 CPUtime=3272.47 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 367060 0 0 0 326759 488 0 0 20 0 1 0 58804710 4981506048 846825 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 846825 1728 343 0 1213252 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3387300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 62323
/proc/meminfo: memFree=121590512/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3391396 CPUtime=3332.3 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 367153 0 0 0 332741 489 0 0 20 0 1 0 58804710 4981506048 847849 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 847849 1728 343 0 1213252 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3391396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 62325
/proc/meminfo: memFree=121706296/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4340464 memory=3332004 CPUtime=3392.12 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 376223 0 0 0 338711 501 0 0 20 0 1 0 58804710 4444635136 833001 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1085116 833001 1728 343 0 1082180 0
Current children cumulated CPU time: 3392.12 s
Current children cumulated vsize: 4340464 KiB
Current children cumulated memory: 3332004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 62327
/proc/meminfo: memFree=121588220/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4864752 memory=3379108 CPUtime=3451.94 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 388163 0 0 0 344688 506 0 0 20 0 1 0 58804710 4981506048 844777 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1216188 844777 1728 343 0 1213252 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 4864752 KiB
Current children cumulated memory: 3379108 KiB
[startup+3522.3 s]
/proc/loadavg: 3.70 4.00 4.06 4/257 62361
/proc/meminfo: memFree=121790252/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4340464 memory=3323208 CPUtime=3511.75 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 397068 0 0 0 350657 518 0 0 20 0 1 0 58804710 4444635136 830802 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1085116 830802 1728 343 0 1082180 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 4340464 KiB
Current children cumulated memory: 3323208 KiB
[startup+3582.3 s]
/proc/loadavg: 3.33 3.83 3.99 4/257 62363
/proc/meminfo: memFree=121643192/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4884560 memory=3415640 CPUtime=3571.57 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 402090 0 0 0 356636 521 0 0 20 0 1 0 58804710 5001789440 853910 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1221140 853910 1728 343 0 1218204 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 4884560 KiB
Current children cumulated memory: 3415640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 3.22 3.76 3.97 2/245 62425
/proc/meminfo: memFree=125394720/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4851652 memory=3423948 CPUtime=3600.09 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 402692 0 0 0 359487 522 0 0 20 0 1 0 58804710 4968091648 855987 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1212913 855987 1728 343 0 1209977 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4851652 KiB
Current children cumulated memory: 3423948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 62153 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3594.87 s, system=5.24125 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 3.22 3.76 3.97 2/245 62425
/proc/meminfo: memFree=125394720/131249996 swapFree=33005272/33010684
[pid=62153] ppid=62150 vsize=4851652 memory=3423948 CPUtime=3600.09 cores=0,2
/proc/62153/stat : 62153 (pb_picat) R 62150 62153 61352 0 -1 4194304 402692 0 0 0 359487 522 0 0 20 0 1 0 58804710 4968091648 855987 18446744073709551615 94893364248576 94893365650157 140723601240400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94893365921584 94893367795888 94893376225280 140723601246622 140723601246698 140723601246698 140723601252300 0
/proc/62153/statm: 1212913 855987 1728 343 0 1209977 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4851652 KiB
Current children cumulated memory: 3423948 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.92
CPU time (s): 3600.11
CPU user time (s): 3594.87
CPU system time (s): 5.24125
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 5002468
Max. memory (cumulated for all children) (KiB): 3533108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.87
system time used= 5.24125
maximum resident set size= 3533108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402692
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= 67
involuntary context switches= 7851
# summary of solver processes directly reported to runsolver:
# pid: 62153
# total CPU time (s): 3600.11
# total CPU user time (s): 3594.87
# total CPU system time (s): 5.24125
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60952 second user time and 15.8092 second system time
The end
Begin job on nodeC023 at 2025-07-02 06:41:08
IDJOB=4504385
IDBENCH=155654
IDSOLVER=3346
FILE ID=nodeC023/4504385-1751431268
RUNJOBID= nodeC023-1751424042-61367
SLURM_JOB_ID= 9598355
Free space on /tmp= 432028 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504385-1751431268/watcher-4504385-1751431268 -o /tmp/evaluation-result-4504385-1751431268/solver-4504385-1751431268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751424042-61367 --watchdog 3760 pb_picat HOME/instance-4504385-1751431268.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f52c25e5aa8e0a6173f9b1fa92936824
RANDOM SEED=598644840
nodeC023 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.875
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.78
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.888
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.78
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 : 3685.633
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.78
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.837
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.78
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.869
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.78
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.844
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.78
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.577
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.78
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 : 3600.697
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128337988 kB
MemAvailable: 129277364 kB
Buffers: 1328 kB
Cached: 1737056 kB
SwapCached: 372 kB
Active: 766220 kB
Inactive: 1568080 kB
Active(anon): 554804 kB
Inactive(anon): 54560 kB
Active(file): 211416 kB
Inactive(file): 1513520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69800 kB
Writeback: 0 kB
AnonPages: 598732 kB
Mapped: 109360 kB
Shmem: 13440 kB
KReclaimable: 107360 kB
Slab: 195428 kB
SReclaimable: 107360 kB
SUnreclaim: 88068 kB
KernelStack: 4240 kB
PageTables: 4224 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6626524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 471040 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432064 MiB
End job on nodeC023 at 2025-07-02 07:41:20