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 (61785 MiB free)
memory of node 1: 64465 MiB (60557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545292-1753207650/watcher-4545292-1753207650 -o /tmp/evaluation-result-4545292-1753207650/solver-4545292-1753207650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158774 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1470413063 --ls=0 --inp-dombreaklim=0 HOME/instance-4545292-1753207650.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=161150, runsolver pid=161147
[startup+0.100068 s]*
/proc/loadavg: 4.13 4.11 4.09 5/250 161151
/proc/meminfo: memFree=125226796/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=89492 memory=66248 CPUtime=0.09 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 6548 0 0 0 6 3 0 0 20 0 1 0 236443807 91639808 16562 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 22373 16562 1024 1200 0 20853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89492 KiB
Current children cumulated memory: 66248 KiB
[startup+0.217251 s]*
/proc/loadavg: 4.13 4.11 4.09 5/250 161151
/proc/meminfo: memFree=125217220/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=98160 memory=75372 CPUtime=0.19 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 9295 0 0 0 16 3 0 0 20 0 1 0 236443807 100515840 18843 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 24540 18843 1024 1200 0 23020 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98160 KiB
Current children cumulated memory: 75372 KiB
[startup+0.310802 s]*
/proc/loadavg: 4.13 4.11 4.09 5/250 161151
/proc/meminfo: memFree=125201344/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=107208 memory=85172 CPUtime=0.28 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 11864 0 0 0 24 4 0 0 20 0 1 0 236443807 109780992 21293 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 26802 21293 1024 1200 0 25282 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 107208 KiB
Current children cumulated memory: 85172 KiB
[startup+0.700235 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 161151
/proc/meminfo: memFree=125177276/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=136844 memory=120860 CPUtime=0.63 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 18620 0 0 0 56 7 0 0 20 0 1 0 236443807 140128256 30215 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 34211 30215 1024 1200 0 32691 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 136844 KiB
Current children cumulated memory: 120860 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 161151
/proc/meminfo: memFree=125141300/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=260844 memory=234668 CPUtime=1.42 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 40694 0 0 0 130 12 0 0 20 0 1 0 236443807 267104256 58667 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 65211 58667 1024 1200 0 63691 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 260844 KiB
Current children cumulated memory: 234668 KiB
[startup+3.10541 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 161151
/proc/meminfo: memFree=124813224/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=494384 memory=463452 CPUtime=3.01 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 71114 0 0 0 280 21 0 0 20 0 1 0 236443807 506249216 115863 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 123596 115863 1248 1200 0 122076 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 494384 KiB
Current children cumulated memory: 463452 KiB
[startup+6.30031 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 161151
/proc/meminfo: memFree=124805016/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=494384 memory=463452 CPUtime=6.18 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 71163 0 0 0 597 21 0 0 20 0 1 0 236443807 506249216 115863 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 123596 115863 1248 1200 0 122076 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 494384 KiB
Current children cumulated memory: 463452 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 161151
/proc/meminfo: memFree=124805276/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=494384 memory=467620 CPUtime=12.55 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 71749 0 0 0 1234 21 0 0 20 0 1 0 236443807 506249216 116905 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 123596 116905 1248 1200 0 122076 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 494384 KiB
Current children cumulated memory: 467620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 161151
/proc/meminfo: memFree=124801184/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=494384 memory=469796 CPUtime=25.32 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 72381 0 0 0 2510 22 0 0 20 0 1 0 236443807 506249216 117449 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 123596 117449 1248 1200 0 122076 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 494384 KiB
Current children cumulated memory: 469796 KiB
[startup+51.113 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 161152
/proc/meminfo: memFree=124754208/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=495720 memory=471972 CPUtime=50.86 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 73001 0 0 0 5064 22 0 0 20 0 1 0 236443807 507617280 117993 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 123930 117993 1248 1200 0 122410 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 495720 KiB
Current children cumulated memory: 471972 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 161153
/proc/meminfo: memFree=124708356/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=515728 memory=485196 CPUtime=101.91 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 75926 0 0 0 10166 25 0 0 20 0 1 0 236443807 528105472 121299 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 128932 121299 1248 1200 0 127412 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 515728 KiB
Current children cumulated memory: 485196 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/250 161155
/proc/meminfo: memFree=124705204/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=515728 memory=485196 CPUtime=161.74 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 76002 0 0 0 16149 25 0 0 20 0 1 0 236443807 528105472 121299 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 128932 121299 1248 1200 0 127412 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 515728 KiB
Current children cumulated memory: 485196 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 161157
/proc/meminfo: memFree=124685760/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=525056 memory=493652 CPUtime=221.57 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 77658 0 0 0 22130 27 0 0 20 0 1 0 236443807 537657344 123413 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 131264 123413 1248 1200 0 129744 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 525056 KiB
Current children cumulated memory: 493652 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/249 161159
/proc/meminfo: memFree=124662896/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=525056 memory=493652 CPUtime=281.4 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 77707 0 0 0 28113 27 0 0 20 0 1 0 236443807 537657344 123413 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 131264 123413 1248 1200 0 129744 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 525056 KiB
Current children cumulated memory: 493652 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/249 161161
/proc/meminfo: memFree=124642376/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=525056 memory=495188 CPUtime=341.23 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 78158 0 0 0 34096 27 0 0 20 0 1 0 236443807 537657344 123797 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 131264 123797 1248 1200 0 129744 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 525056 KiB
Current children cumulated memory: 495188 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 161164
/proc/meminfo: memFree=124633904/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=525056 memory=495188 CPUtime=401.06 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 79088 0 0 0 40079 27 0 0 20 0 1 0 236443807 537657344 123797 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 131264 123797 1248 1200 0 129744 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 525056 KiB
Current children cumulated memory: 495188 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 161166
/proc/meminfo: memFree=124616256/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=525056 memory=495188 CPUtime=460.89 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 79121 0 0 0 46062 27 0 0 20 0 1 0 236443807 537657344 123797 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
################
# More data... #
################
Current children cumulated memory: 554596 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.28 3.67 4/244 161314
/proc/meminfo: memFree=124518728/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554596 CPUtime=2913.73 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 91692 0 0 0 291270 103 0 0 20 0 1 0 236443807 593395712 138649 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138649 1248 1200 0 143352 0
Current children cumulated CPU time: 2913.73 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554596 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.24 3.63 4/244 161316
/proc/meminfo: memFree=124518768/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554596 CPUtime=2973.53 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 91842 0 0 0 297249 104 0 0 20 0 1 0 236443807 593395712 138649 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138649 1248 1200 0 143352 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554596 KiB
[startup+3042.3 s]
/proc/loadavg: 2.51 3.05 3.54 3/238 161351
/proc/meminfo: memFree=127673880/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554596 CPUtime=3033.29 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 91960 0 0 0 303222 107 0 0 20 0 1 0 236443807 593395712 138649 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138649 1248 1200 0 143352 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554596 KiB
[startup+3102.3 s]
/proc/loadavg: 2.29 2.89 3.45 3/239 161358
/proc/meminfo: memFree=127674336/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554596 CPUtime=3093.09 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 92034 0 0 0 309202 107 0 0 20 0 1 0 236443807 593395712 138649 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138649 1248 1200 0 143352 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554596 KiB
[startup+3162.3 s]
/proc/loadavg: 2.16 2.74 3.36 3/239 161360
/proc/meminfo: memFree=127671608/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554596 CPUtime=3152.88 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 92202 0 0 0 315181 107 0 0 20 0 1 0 236443807 593395712 138649 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138649 1248 1200 0 143352 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554596 KiB
[startup+3222.3 s]
/proc/loadavg: 2.16 2.63 3.28 3/239 161373
/proc/meminfo: memFree=127663356/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554724 CPUtime=3212.67 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 92376 0 0 0 321160 107 0 0 20 0 1 0 236443807 593395712 138681 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138681 1248 1200 0 143352 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554724 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.53 3.20 3/239 161375
/proc/meminfo: memFree=127664412/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554724 CPUtime=3272.46 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 92495 0 0 0 327139 107 0 0 20 0 1 0 236443807 593395712 138681 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138681 1248 1200 0 143352 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554724 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.45 3.13 3/238 161377
/proc/meminfo: memFree=127664924/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=554724 CPUtime=3332.26 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 92570 0 0 0 333119 107 0 0 20 0 1 0 236443807 593395712 138681 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138681 1248 1200 0 143352 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 554724 KiB
[startup+3402.3 s]
/proc/loadavg: 1.80 2.31 3.04 2/231 161410
/proc/meminfo: memFree=127977760/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=555748 CPUtime=3392.07 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 92987 0 0 0 339099 108 0 0 20 0 1 0 236443807 593395712 138937 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 138937 1248 1200 0 143352 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 555748 KiB
[startup+3462.3 s]
/proc/loadavg: 1.34 2.09 2.92 2/232 161413
/proc/meminfo: memFree=127969696/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=559588 CPUtime=3451.87 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 93132 0 0 0 345079 108 0 0 20 0 1 0 236443807 593395712 139897 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 139897 1248 1200 0 143352 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 559588 KiB
[startup+3522.3 s]
/proc/loadavg: 1.24 1.92 2.80 2/232 161415
/proc/meminfo: memFree=127970132/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=560484 CPUtime=3511.7 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 93255 0 0 0 351062 108 0 0 20 0 1 0 236443807 593395712 140121 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 140121 1248 1200 0 143352 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 560484 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.76 2.69 2/232 161417
/proc/meminfo: memFree=127970132/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=560484 CPUtime=3571.5 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 93331 0 0 0 357042 108 0 0 20 0 1 0 236443807 593395712 140121 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 140121 1248 1200 0 143352 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 560484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.10 1.70 2.65 2/232 161418
/proc/meminfo: memFree=127970384/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=579488 memory=560484 CPUtime=3600.02 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 93428 0 0 0 359894 108 0 0 20 0 1 0 236443807 593395712 140121 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 144872 140121 1248 1200 0 143352 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 579488 KiB
Current children cumulated memory: 560484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.04 s]
# the end of solver process 161150 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.08 s, system=1.09161 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611 s]*
/proc/loadavg: 1.09 1.69 2.64 2/232 161418
/proc/meminfo: memFree=128058604/131382120 swapFree=33010416/33010684
[pid=161150] ppid=161147 vsize=464252 memory=452612 CPUtime=3600.13 cores=5,7
/proc/161150/stat : 161150 (Exact) R 161147 161150 158752 0 -1 4194304 93482 0 0 0 359905 108 0 0 20 0 1 0 236443807 475394048 113153 18446744073709551615 4198400 9112445 140731197435680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43081728 140731197442342 140731197442539 140731197442539 140731197448143 0
/proc/161150/statm: 116063 113153 1280 1200 0 114543 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 464252 KiB
Current children cumulated memory: 452612 KiB
Child status: 0
Real time (s): 3611.04
CPU time (s): 3600.17
CPU user time (s): 3599.08
CPU system time (s): 1.09161
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 579488
Max. memory (cumulated for all children) (KiB): 560484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.09161
maximum resident set size= 560612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93484
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= 99
involuntary context switches= 1248
# summary of solver processes directly reported to runsolver:
# pid: 161150
# total CPU time (s): 3600.17
# total CPU user time (s): 3599.08
# total CPU system time (s): 1.09161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0318 second user time and 34.3725 second system time
The end
Begin job on nodeC002 at 2025-07-22 20:07:30
IDJOB=4545292
IDBENCH=180812
IDSOLVER=3318
FILE ID=nodeC002/4545292-1753207650
RUNJOBID= nodeC002-1753198970-158774
SLURM_JOB_ID= 9687735
Free space on /tmp= 432256 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.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-4545292-1753207650/watcher-4545292-1753207650 -o /tmp/evaluation-result-4545292-1753207650/solver-4545292-1753207650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158774 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1470413063 --ls=0 --inp-dombreaklim=0 HOME/instance-4545292-1753207650.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=1470413063
nodeC002 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 : 3661.868
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.81
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 : 3610.418
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.81
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.319
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.81
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.346
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.81
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 : 3661.853
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.81
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.221
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.81
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 : 3700.000
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.81
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.333
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 125279408 kB
MemAvailable: 126605864 kB
Buffers: 2128 kB
Cached: 2078884 kB
SwapCached: 28 kB
Active: 4395928 kB
Inactive: 970068 kB
Active(anon): 3304808 kB
Inactive(anon): 6300 kB
Active(file): 1091120 kB
Inactive(file): 963768 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18016 kB
Writeback: 4 kB
AnonPages: 3285536 kB
Mapped: 124512 kB
Shmem: 26124 kB
KReclaimable: 222388 kB
Slab: 313740 kB
SReclaimable: 222388 kB
SUnreclaim: 91352 kB
KernelStack: 4048 kB
PageTables: 9524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3943628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2353152 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: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432308 MiB
End job on nodeC002 at 2025-07-22 21:07:41