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: 63794 MiB (63141 MiB free)
memory of node 1: 64507 MiB (63966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486580-1751327154/watcher-4486580-1751327154 -o /tmp/evaluation-result-4486580-1751327154/solver-4486580-1751327154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751327154-44682 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=605501503 --ls=0 --inp-dombreaklim=0 HOME/instance-4486580-1751327154.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44733, runsolver pid=44721
[startup+0.100102 s]*
/proc/loadavg: 0.60 1.00 1.35 4/249 44738
/proc/meminfo: memFree=130140908/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=37448 memory=14328 CPUtime=0.1 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 3016 0 0 0 9 1 0 0 20 0 1 0 48394351 38346752 3582 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 9362 3582 1184 1200 0 7842 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37448 KiB
Current children cumulated memory: 14328 KiB
[startup+0.212876 s]*
/proc/loadavg: 0.60 1.00 1.35 4/247 44743
/proc/meminfo: memFree=130139668/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=38088 memory=15096 CPUtime=0.21 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 3206 0 0 0 18 3 0 0 20 0 1 0 48394351 39002112 3774 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 9522 3774 1184 1200 0 8002 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38088 KiB
Current children cumulated memory: 15096 KiB
[startup+0.313257 s]*
/proc/loadavg: 0.60 1.00 1.35 4/247 44746
/proc/meminfo: memFree=130136112/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=38252 memory=15224 CPUtime=0.31 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 3248 0 0 0 28 3 0 0 20 0 1 0 48394351 39170048 3806 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 9563 3806 1184 1200 0 8043 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38252 KiB
Current children cumulated memory: 15224 KiB
[startup+0.700251 s]
/proc/loadavg: 0.60 1.00 1.35 5/247 44746
/proc/meminfo: memFree=130111856/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=38484 memory=15864 CPUtime=0.67 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 3345 0 0 0 63 4 0 0 20 0 1 0 48394351 39407616 3966 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 9621 3966 1248 1200 0 8101 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38484 KiB
Current children cumulated memory: 15864 KiB
[startup+1.50024 s]
/proc/loadavg: 0.60 1.00 1.35 4/247 44746
/proc/meminfo: memFree=130055844/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=42140 memory=25800 CPUtime=1.44 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 4389 0 0 0 138 6 0 0 20 0 1 0 48394351 43151360 6450 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 10535 6450 1280 1200 0 9015 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 42140 KiB
Current children cumulated memory: 25800 KiB
[startup+3.11253 s]
/proc/loadavg: 0.60 1.00 1.35 5/251 44783
/proc/meminfo: memFree=130040076/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=45184 memory=28744 CPUtime=3.02 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 5127 0 0 0 292 10 0 0 20 0 1 0 48394351 46268416 7186 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 11296 7186 1280 1200 0 9776 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 45184 KiB
Current children cumulated memory: 28744 KiB
[startup+6.30024 s]
/proc/loadavg: 0.87 1.05 1.36 5/251 44783
/proc/meminfo: memFree=129999496/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=47168 memory=30792 CPUtime=6.21 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 5653 0 0 0 608 13 0 0 20 0 1 0 48394351 48300032 7698 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 11792 7698 1280 1200 0 10272 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 47168 KiB
Current children cumulated memory: 30792 KiB
[startup+12.7002 s]
/proc/loadavg: 1.12 1.10 1.38 5/251 44783
/proc/meminfo: memFree=129918720/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=49704 memory=33352 CPUtime=12.58 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 6288 0 0 0 1240 18 0 0 20 0 1 0 48394351 50896896 8338 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 12426 8338 1280 1200 0 10906 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 49704 KiB
Current children cumulated memory: 33352 KiB
[startup+25.5003 s]
/proc/loadavg: 1.84 1.26 1.42 5/251 44783
/proc/meminfo: memFree=129898844/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=53576 memory=36936 CPUtime=25.34 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 7168 0 0 0 2506 28 0 0 20 0 1 0 48394351 54861824 9234 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 13394 9234 1280 1200 0 11874 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 53576 KiB
Current children cumulated memory: 36936 KiB
[startup+51.1127 s]
/proc/loadavg: 2.58 1.48 1.49 5/251 44784
/proc/meminfo: memFree=129883740/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=56228 memory=39496 CPUtime=50.86 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 7839 0 0 0 5047 39 0 0 20 0 1 0 48394351 57577472 9874 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 14057 9874 1280 1200 0 12537 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 56228 KiB
Current children cumulated memory: 39496 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.88 1.63 5/251 44785
/proc/meminfo: memFree=129853324/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=60536 memory=44104 CPUtime=101.89 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 8956 0 0 0 10117 72 0 0 20 0 1 0 48394351 61988864 11026 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 15134 11026 1280 1200 0 13614 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 60536 KiB
Current children cumulated memory: 44104 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.30 1.79 5/253 44789
/proc/meminfo: memFree=129821684/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=63176 memory=47048 CPUtime=161.73 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 9618 0 0 0 16059 114 0 0 20 0 1 0 48394351 64692224 11762 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 15794 11762 1280 1200 0 14274 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 63176 KiB
Current children cumulated memory: 47048 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.63 1.94 5/252 44791
/proc/meminfo: memFree=129790416/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=68548 memory=52424 CPUtime=221.56 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 10951 0 0 0 22036 120 0 0 20 0 1 0 48394351 70193152 13106 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 17137 13106 1280 1200 0 15617 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 68548 KiB
Current children cumulated memory: 52424 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.90 2.08 5/252 44793
/proc/meminfo: memFree=129785248/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=68840 memory=52808 CPUtime=281.41 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 11019 0 0 0 27948 193 0 0 20 0 1 0 48394351 70492160 13202 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 17210 13202 1312 1200 0 15690 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 68840 KiB
Current children cumulated memory: 52808 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.14 2.22 5/252 44795
/proc/meminfo: memFree=129781932/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=72868 memory=56776 CPUtime=341.26 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 12040 0 0 0 33932 194 0 0 20 0 1 0 48394351 74616832 14194 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 18217 14194 1312 1200 0 16697 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 72868 KiB
Current children cumulated memory: 56776 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.32 2.33 5/253 44798
/proc/meminfo: memFree=129761804/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=75480 memory=61452 CPUtime=401.1 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 12698 0 0 0 39897 213 0 0 20 0 1 0 48394351 77291520 15363 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 18870 15363 1312 1200 0 17350 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 75480 KiB
Current children cumulated memory: 61452 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.48 2.45 5/250 44800
/proc/meminfo: memFree=129747272/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=75480 memory=61452 CPUtime=460.93 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 12702 0 0 0 45803 290 0 0 20 0 1 0 48394351 77291520 15363 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
################
# More data... #
################
Current children cumulated memory: 109940 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/251 45152
/proc/meminfo: memFree=129458184/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=122344 memory=109940 CPUtime=2854.43 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 24154 0 0 0 284034 1409 0 0 20 0 1 0 48394351 125280256 27485 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 30586 27485 1312 1200 0 29066 0
Current children cumulated CPU time: 2854.43 s
Current children cumulated vsize: 122344 KiB
Current children cumulated memory: 109940 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.01 6/251 45156
/proc/meminfo: memFree=129460016/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=122524 memory=110068 CPUtime=2914.27 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 24216 0 0 0 289969 1458 0 0 20 0 1 0 48394351 125464576 27517 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 30631 27517 1312 1200 0 29111 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 122524 KiB
Current children cumulated memory: 110068 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/251 45163
/proc/meminfo: memFree=129451504/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=123420 memory=111092 CPUtime=2974.11 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 24461 0 0 0 295953 1458 0 0 20 0 1 0 48394351 126382080 27773 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 30855 27773 1312 1200 0 29335 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 111092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.02 6/251 45165
/proc/meminfo: memFree=129447276/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=124020 memory=111604 CPUtime=3033.94 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 24637 0 0 0 301935 1459 0 0 20 0 1 0 48394351 126996480 27901 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 31005 27901 1312 1200 0 29485 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 124020 KiB
Current children cumulated memory: 111604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/250 45167
/proc/meminfo: memFree=129443000/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=126296 memory=113908 CPUtime=3093.73 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 25218 0 0 0 307914 1459 0 0 20 0 1 0 48394351 129327104 28477 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 31574 28477 1312 1200 0 30054 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 126296 KiB
Current children cumulated memory: 113908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/250 45169
/proc/meminfo: memFree=129440460/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=126824 memory=114420 CPUtime=3153.56 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 25334 0 0 0 313896 1460 0 0 20 0 1 0 48394351 129867776 28605 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 31706 28605 1312 1200 0 30186 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 114420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/250 45171
/proc/meminfo: memFree=129439252/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=127360 memory=114932 CPUtime=3213.39 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 25482 0 0 0 319879 1460 0 0 20 0 1 0 48394351 130416640 28733 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 31840 28733 1312 1200 0 30320 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 127360 KiB
Current children cumulated memory: 114932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.02 6/250 45173
/proc/meminfo: memFree=129431260/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=127520 memory=115188 CPUtime=3273.24 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 25531 0 0 0 325814 1510 0 0 20 0 1 0 48394351 130580480 28797 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 31880 28797 1312 1200 0 30360 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 127520 KiB
Current children cumulated memory: 115188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.64 4.24 4.08 6/249 45175
/proc/meminfo: memFree=129423740/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=127964 memory=115572 CPUtime=3333.08 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 25623 0 0 0 331728 1580 0 0 20 0 1 0 48394351 131035136 28893 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 31991 28893 1312 1200 0 30471 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 127964 KiB
Current children cumulated memory: 115572 KiB
[startup+3402.3 s]
/proc/loadavg: 5.41 4.53 4.19 6/249 45177
/proc/meminfo: memFree=129423584/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=129636 memory=117236 CPUtime=3392.91 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 26041 0 0 0 337711 1580 0 0 20 0 1 0 48394351 132747264 29309 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 32409 29309 1312 1200 0 30889 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 129636 KiB
Current children cumulated memory: 117236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.97 4.58 4.23 6/249 45179
/proc/meminfo: memFree=129422456/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=131412 memory=119028 CPUtime=3452.75 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 26485 0 0 0 343694 1581 0 0 20 0 1 0 48394351 134565888 29757 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 32853 29757 1312 1200 0 31333 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 131412 KiB
Current children cumulated memory: 119028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.80 4.59 4.25 6/250 45184
/proc/meminfo: memFree=129410288/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=131772 memory=119284 CPUtime=3512.59 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 26620 0 0 0 349659 1600 0 0 20 0 1 0 48394351 134934528 29821 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 32943 29821 1312 1200 0 31423 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 131772 KiB
Current children cumulated memory: 119284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.70 4.61 4.28 6/250 45190
/proc/meminfo: memFree=129410288/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=131772 memory=119284 CPUtime=3572.44 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 26620 0 0 0 355561 1683 0 0 20 0 1 0 48394351 134934528 29821 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 32943 29821 1312 1200 0 31423 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 131772 KiB
Current children cumulated memory: 119284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.49 4.57 4.28 6/250 45191
/proc/meminfo: memFree=129410320/131382112 swapFree=33010160/33010684
[pid=44733] ppid=44721 vsize=131936 memory=119540 CPUtime=3600.08 cores=5,7
/proc/44733/stat : 44733 (Exact) R 44721 44733 44669 0 -1 4194304 26661 0 0 0 358302 1706 0 0 20 0 1 0 48394351 135102464 29885 18446744073709551615 4198400 9112445 140726248161904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23773184 140726248163625 140726248163821 140726248163821 140726248169423 0
/proc/44733/statm: 32984 29885 1312 1200 0 31464 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 131936 KiB
Current children cumulated memory: 119540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 44733 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.03 s, system=17.0689 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.09
CPU user time (s): 3583.03
CPU system time (s): 17.0689
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 131936
Max. memory (cumulated for all children) (KiB): 119540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.03
system time used= 17.0689
maximum resident set size= 119540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26662
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= 31
involuntary context switches= 2392
# summary of solver processes directly reported to runsolver:
# pid: 44733
# total CPU time (s): 3600.09
# total CPU user time (s): 3583.03
# total CPU system time (s): 17.0689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5941 second user time and 31.5067 second system time
The end
Begin job on nodeC001 at 2025-07-01 01:45:55
IDJOB=4486580
IDBENCH=147028
IDSOLVER=3318
FILE ID=nodeC001/4486580-1751327154
RUNJOBID= nodeC001-1751327154-44682
SLURM_JOB_ID= 9594366
Free space on /tmp= 433056 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486580-1751327154/watcher-4486580-1751327154 -o /tmp/evaluation-result-4486580-1751327154/solver-4486580-1751327154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751327154-44682 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=605501503 --ls=0 --inp-dombreaklim=0 HOME/instance-4486580-1751327154.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9f2b1fc4917344504b6167976088a05
RANDOM SEED=605501503
nodeC001 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 : 1197.610
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.49
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.076
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.49
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.173
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.49
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.150
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.49
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 : 1197.164
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.49
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.169
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.49
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.185
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.49
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.151
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130157772 kB
MemAvailable: 129937360 kB
Buffers: 2128 kB
Cached: 584148 kB
SwapCached: 28 kB
Active: 366280 kB
Inactive: 285304 kB
Active(anon): 72860 kB
Inactive(anon): 10380 kB
Active(file): 293420 kB
Inactive(file): 274924 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32184 kB
Writeback: 0 kB
AnonPages: 68464 kB
Mapped: 102624 kB
Shmem: 17932 kB
KReclaimable: 101360 kB
Slab: 184560 kB
SReclaimable: 101360 kB
SUnreclaim: 83200 kB
KernelStack: 3856 kB
PageTables: 2844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC001 at 2025-07-01 02:46:05