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 (61691 MiB free)
memory of node 1: 64465 MiB (62347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494508-1751135827/watcher-4494508-1751135827 -o /tmp/evaluation-result-4494508-1751135827/solver-4494508-1751135827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11334 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1476615265 --competition_mode --input HOME/instance-4494508-1751135827.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15363, runsolver pid=15360
[startup+0.100021 s]*
/proc/loadavg: 6.92 6.99 6.84 8/271 15364
/proc/meminfo: memFree=126968328/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=66148 memory=58316 CPUtime=0.1 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) R 15360 15363 11319 0 -1 4194304 13578 0 0 0 8 2 0 0 20 0 1 0 29261433 67735552 14579 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 16537 14579 1120 2102 0 14077 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66148 KiB
Current children cumulated memory: 58316 KiB
[startup+0.205918 s]*
/proc/loadavg: 6.92 6.99 6.84 8/271 15364
/proc/meminfo: memFree=126952452/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=75472 memory=68588 CPUtime=0.2 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) R 15360 15363 11319 0 -1 4194304 16415 0 0 0 18 2 0 0 20 0 1 0 29261433 77283328 17147 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 18868 17147 1472 2102 0 16408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75472 KiB
Current children cumulated memory: 68588 KiB
[startup+0.305672 s]*
/proc/loadavg: 6.92 6.99 6.84 8/271 15364
/proc/meminfo: memFree=126952452/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=78644 memory=71788 CPUtime=0.3 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) R 15360 15363 11319 0 -1 4194304 17224 0 0 0 28 2 0 0 20 0 1 0 29261433 80531456 17947 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 19661 17947 1472 2102 0 17201 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78644 KiB
Current children cumulated memory: 71788 KiB
[startup+0.700202 s]
/proc/loadavg: 6.92 6.99 6.84 8/271 15364
/proc/meminfo: memFree=126928260/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=107800 memory=100844 CPUtime=0.69 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) R 15360 15363 11319 0 -1 4194304 23624 0 0 0 66 3 0 0 20 0 1 0 29261433 110387200 25211 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 26950 25211 1856 2102 0 24490 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107800 KiB
Current children cumulated memory: 100844 KiB
[startup+1.50018 s]
/proc/loadavg: 6.92 6.99 6.84 8/271 15364
/proc/meminfo: memFree=126920196/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=140188 memory=133840 CPUtime=1.48 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) R 15360 15363 11319 0 -1 4194304 33168 0 0 0 144 4 0 0 20 0 1 0 29261433 143552512 33460 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 35047 33460 1920 2102 0 32587 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140188 KiB
Current children cumulated memory: 133840 KiB
[startup+3.10535 s]
/proc/loadavg: 6.92 6.99 6.84 9/273 15366
/proc/meminfo: memFree=126768296/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=371356 memory=280900 CPUtime=4.23 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 67772 0 0 0 412 11 0 0 20 0 3 0 29261433 380268544 70225 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 92839 70225 2144 2102 0 75937 0
[pid=15363/tid=15365] ppid=15360 vsize=371356 memory=0 CPUtime=1.15 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 9634 0 0 0 114 1 0 0 20 0 3 0 29261625 380268544 70225 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=371356 memory=277956 CPUtime=1.16 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 20739 0 0 0 112 4 0 0 20 0 3 0 29261625 380268544 70225 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 371356 KiB
Current children cumulated memory: 280900 KiB
[startup+6.30014 s]
/proc/loadavg: 7.01 7.00 6.85 8/270 15380
/proc/meminfo: memFree=128124412/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=436892 memory=302108 CPUtime=10.58 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 101730 0 0 0 1045 13 0 0 20 0 3 0 29261433 447377408 75527 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 109223 75527 2144 2102 0 83452 0
[pid=15363/tid=15365] ppid=15360 vsize=436892 memory=0 CPUtime=4.33 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 15617 0 0 0 431 2 0 0 20 0 3 0 29261625 447377408 75527 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=436892 memory=302108 CPUtime=4.34 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 48670 0 0 0 428 6 0 0 20 0 3 0 29261625 447377408 75527 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 10.58 s
Current children cumulated vsize: 436892 KiB
Current children cumulated memory: 302108 KiB
[startup+12.7002 s]
/proc/loadavg: 7.00 7.00 6.85 9/272 15413
/proc/meminfo: memFree=127763784/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=436892 memory=303388 CPUtime=23.3 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 124047 0 0 0 2315 15 0 0 20 0 3 0 29261433 447377408 75847 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 109223 75847 2144 2102 0 83952 0
[pid=15363/tid=15365] ppid=15360 vsize=436892 memory=303388 CPUtime=10.66 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 16005 0 0 0 1064 2 0 0 20 0 3 0 29261625 447377408 75847 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=436892 memory=0 CPUtime=10.72 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 70565 0 0 0 1065 7 0 0 20 0 3 0 29261625 447377408 75847 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 23.3 s
Current children cumulated vsize: 436892 KiB
Current children cumulated memory: 303388 KiB
[startup+25.5002 s]
/proc/loadavg: 7.15 7.04 6.86 8/270 15458
/proc/meminfo: memFree=127326712/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=436892 memory=321072 CPUtime=48.73 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 164565 0 0 0 4855 18 0 0 20 0 3 0 29261433 447377408 80268 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 109223 80268 2144 2102 0 89268 0
[pid=15363/tid=15365] ppid=15360 vsize=436892 memory=309996 CPUtime=23.33 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 33218 0 0 0 2329 4 0 0 20 0 3 0 29261625 447377408 80268 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=436892 memory=309996 CPUtime=23.47 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 93811 0 0 0 2339 8 0 0 20 0 3 0 29261625 447377408 80268 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 48.73 s
Current children cumulated vsize: 436892 KiB
Current children cumulated memory: 321072 KiB
[startup+50.882 s]
# the end of solver process 15363 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=98.8051 s, system=0.25286 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 7.15 7.04 6.86 8/270 15458
/proc/meminfo: memFree=127326712/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=436892 memory=321072 CPUtime=48.93 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 164612 0 0 0 4875 18 0 0 20 0 3 0 29261433 447377408 80268 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 109223 80268 2144 2102 0 89268 0
[pid=15363/tid=15365] ppid=15360 vsize=436892 memory=10752 CPUtime=23.43 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 33219 0 0 0 2339 4 0 0 20 0 3 0 29261625 447377408 80268 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=436892 memory=5632 CPUtime=23.57 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 93857 0 0 0 2349 8 0 0 20 0 3 0 29261625 447377408 80268 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 48.93 s
Current children cumulated vsize: 436892 KiB
Current children cumulated memory: 321072 KiB
[startup+38.4002 s]
/proc/loadavg: 7.12 7.03 6.87 8/270 15459
/proc/meminfo: memFree=127056016/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=436892 memory=323636 CPUtime=74.37 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 178154 0 0 0 7417 20 0 0 20 0 3 0 29261433 447377408 80909 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 109223 80909 2144 2102 0 89744 0
[pid=15363/tid=15365] ppid=15360 vsize=436892 memory=309356 CPUtime=36.09 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 40782 0 0 0 3605 4 0 0 20 0 3 0 29261625 447377408 80909 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=436892 memory=321072 CPUtime=36.33 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 99804 0 0 0 3625 8 0 0 20 0 3 0 29261625 447377408 80909 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 74.37 s
Current children cumulated vsize: 436892 KiB
Current children cumulated memory: 323636 KiB
[startup+44.8002 s]
/proc/loadavg: 7.11 7.03 6.87 7/268 15501
/proc/meminfo: memFree=127914048/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=449692 memory=347976 CPUtime=87.09 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 185732 0 0 0 8687 22 0 0 20 0 3 0 29261433 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 112423 86994 2144 2102 0 95130 0
[pid=15363/tid=15365] ppid=15360 vsize=449692 memory=17408 CPUtime=42.43 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 46506 0 0 0 4237 6 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=449692 memory=10752 CPUtime=42.71 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 101652 0 0 0 4263 8 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 87.09 s
Current children cumulated vsize: 449692 KiB
Current children cumulated memory: 347976 KiB
[startup+48.0002 s]*
/proc/loadavg: 7.18 7.05 6.87 9/272 15508
/proc/meminfo: memFree=127976904/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=449692 memory=347976 CPUtime=93.45 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) R 15360 15363 11319 0 -1 4194304 185768 0 0 0 9323 22 0 0 20 0 3 0 29261433 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 112423 86994 2144 2102 0 95130 0
[pid=15363/tid=15365] ppid=15360 vsize=449692 memory=-8183432496591968711 CPUtime=45.6 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 46506 0 0 0 4554 6 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=449692 memory=4252 CPUtime=45.91 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 101688 0 0 0 4583 8 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 93.45 s
Current children cumulated vsize: 449692 KiB
Current children cumulated memory: 347976 KiB
[startup+49.6002 s]
/proc/loadavg: 7.18 7.05 6.87 9/272 15508
/proc/meminfo: memFree=127995920/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=449692 memory=347976 CPUtime=96.63 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 185768 0 0 0 9641 22 0 0 20 0 3 0 29261433 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 112423 86994 2144 2102 0 95130 0
[pid=15363/tid=15365] ppid=15360 vsize=449692 memory=-1807685287717842718 CPUtime=47.18 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 46506 0 0 0 4712 6 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=449692 memory=-5921431000321636112 CPUtime=47.5 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 101688 0 0 0 4742 8 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 96.63 s
Current children cumulated vsize: 449692 KiB
Current children cumulated memory: 347976 KiB
[startup+50.4002 s]
/proc/loadavg: 7.25 7.07 6.88 9/272 15508
/proc/meminfo: memFree=128002980/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=449692 memory=347976 CPUtime=98.21 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 199329 0 0 0 9799 22 0 0 20 0 3 0 29261433 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 112423 86994 2144 2102 0 95130 0
[pid=15363/tid=15365] ppid=15360 vsize=449692 memory=4252 CPUtime=47.98 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 59070 0 0 0 4791 7 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=449692 memory=3200 CPUtime=48.3 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 102658 0 0 0 4822 8 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 98.21 s
Current children cumulated vsize: 449692 KiB
Current children cumulated memory: 347976 KiB
[startup+50.8002 s]
/proc/loadavg: 7.25 7.07 6.88 9/272 15508
/proc/meminfo: memFree=128002980/131249992 swapFree=33010684/33010684
[pid=15363] ppid=15360 vsize=449692 memory=347976 CPUtime=98.97 cores=0,2
/proc/15363/stat : 15363 (cp-sat-runner) S 15360 15363 11319 0 -1 4194304 204379 0 0 0 9874 23 0 0 20 0 3 0 29261433 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
/proc/15363/statm: 112423 86994 2144 2102 0 95130 0
[pid=15363/tid=15365] ppid=15360 vsize=449692 memory=245635481903 CPUtime=48.32 cores=0,2
/proc/15363/task/15365/stat : 15365 (cp-sat-runner) S 15360 15363 11319 0 -1 4194368 61122 0 0 0 4825 7 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
[pid=15363/tid=15366] ppid=15360 vsize=449692 memory=56312188895988 CPUtime=48.69 cores=0,2
/proc/15363/task/15366/stat : 15366 (cp-sat-runner) R 15360 15363 11319 0 -1 4194368 103732 0 0 0 4861 8 0 0 20 0 3 0 29261625 460484608 86994 18446744073709551615 4198400 12805993 140728614984080 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18202624 140728614988056 140728614988261 140728614988261 140728614993863 0
Current children cumulated CPU time: 98.97 s
Current children cumulated vsize: 449692 KiB
Current children cumulated memory: 347976 KiB
Child status: 10
Real time (s): 50.882
CPU time (s): 99.058
CPU user time (s): 98.8051
CPU system time (s): 0.25286
CPU usage (%): 194.682
Max. virtual memory (cumulated for all children) (KiB): 517308
Max. memory (cumulated for all children) (KiB): 355864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.8051
system time used= 0.25286
maximum resident set size= 355864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212986
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= 1503
involuntary context switches= 2293
# summary of solver processes directly reported to runsolver:
# pid: 15363
# total CPU time (s): 99.058
# total CPU user time (s): 98.8051
# total CPU system time (s): 0.25286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110708 second user time and 0.257803 second system time
The end
Begin job on nodeC025 at 2025-06-28 20:37:07
IDJOB=4494508
IDBENCH=147893
IDSOLVER=3320
FILE ID=nodeC025/4494508-1751135827
RUNJOBID= nodeC025-1751133631-11334
SLURM_JOB_ID= 9587425
Free space on /tmp= 433000 MiB
SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4494508-1751135827/watcher-4494508-1751135827 -o /tmp/evaluation-result-4494508-1751135827/solver-4494508-1751135827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11334 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1476615265 --competition_mode --input HOME/instance-4494508-1751135827.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1476615265
nodeC025 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.752
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.67
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.838
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.67
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 : 3599.831
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.67
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.838
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.67
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.816
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.67
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.835
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.67
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 : 3599.811
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.67
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 : 3599.806
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127016020 kB
MemAvailable: 126639448 kB
Buffers: 3280 kB
Cached: 412252 kB
SwapCached: 0 kB
Active: 3350736 kB
Inactive: 205536 kB
Active(anon): 3158824 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 205536 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 48376 kB
Writeback: 4 kB
AnonPages: 3143924 kB
Mapped: 128648 kB
Shmem: 18084 kB
KReclaimable: 84764 kB
Slab: 167628 kB
SReclaimable: 84764 kB
SUnreclaim: 82864 kB
KernelStack: 4368 kB
PageTables: 9244 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3586352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1304576 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC025 at 2025-06-28 20:37:58