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: 63931 MiB (59903 MiB free)
memory of node 1: 64510 MiB (60650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449724-1721399504/watcher-4449724-1721399504 -o /tmp/evaluation-result-4449724-1721399504/solver-4449724-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721399516-1042465 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=445818147 HOME/instance-4449724-1721399504.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1042535, runsolver pid=1042530
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 0.12 0.11 0.09 4/254 1042536
/proc/meminfo: memFree=123359916/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=31708 memory=12544 CPUtime=0.1 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 1981 0 0 0 10 0 0 0 20 0 1 0 192115758 32468992 3136 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 7927 3136 884 1005 0 6690 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31708 KiB
Current children cumulated memory: 12544 KiB
[startup+0.205763 s]*
/proc/loadavg: 0.12 0.11 0.09 5/256 1042542
/proc/meminfo: memFree=123329756/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=80608 memory=61512 CPUtime=0.2 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 11890 0 0 0 18 2 0 0 20 0 1 0 192115758 82542592 15378 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 20152 15378 1060 1005 0 18915 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 61512 KiB
[startup+0.305428 s]*
/proc/loadavg: 0.12 0.11 0.09 4/253 1042559
/proc/meminfo: memFree=123336568/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=80608 memory=61512 CPUtime=0.3 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 11898 0 0 0 28 2 0 0 20 0 1 0 192115758 82542592 15378 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 20152 15378 1060 1005 0 18915 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 61512 KiB
[startup+0.700157 s]
/proc/loadavg: 0.12 0.11 0.09 5/259 1042574
/proc/meminfo: memFree=123322336/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=80608 memory=61512 CPUtime=0.69 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 11931 0 0 0 67 2 0 0 20 0 1 0 192115758 82542592 15378 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 20152 15378 1060 1005 0 18915 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 61512 KiB
[startup+1.50018 s]
/proc/loadavg: 0.12 0.11 0.09 5/259 1042574
/proc/meminfo: memFree=123318608/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=80608 memory=61512 CPUtime=1.48 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 11931 0 0 0 146 2 0 0 20 0 1 0 192115758 82542592 15378 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 20152 15378 1060 1005 0 18915 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 61512 KiB
[startup+3.10557 s]
/proc/loadavg: 0.43 0.18 0.11 5/259 1042574
/proc/meminfo: memFree=123310164/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=80608 memory=68100 CPUtime=3.08 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 11969 0 0 0 306 2 0 0 20 0 1 0 192115758 82542592 17025 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 20152 17025 1108 1005 0 18915 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 68100 KiB
[startup+6.30017 s]
/proc/loadavg: 0.43 0.18 0.11 5/259 1042574
/proc/meminfo: memFree=123299172/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=82512 memory=69912 CPUtime=6.27 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 12450 0 0 0 625 2 0 0 20 0 1 0 192115758 84492288 17478 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 20628 17478 1108 1005 0 19391 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82512 KiB
Current children cumulated memory: 69912 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.30 0.15 5/259 1042622
/proc/meminfo: memFree=123276224/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=85796 memory=73312 CPUtime=12.66 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 13286 0 0 0 1263 3 0 0 20 0 1 0 192115758 87855104 18328 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 21449 18328 1108 1005 0 20212 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 85796 KiB
Current children cumulated memory: 73312 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.43 0.20 5/259 1042623
/proc/meminfo: memFree=123262864/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=86884 memory=74460 CPUtime=25.43 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 13574 0 0 0 2539 4 0 0 20 0 1 0 192115758 88969216 18615 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 21721 18615 1140 1005 0 20484 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 86884 KiB
Current children cumulated memory: 74460 KiB
[startup+51.1054 s]
/proc/loadavg: 2.37 0.73 0.30 5/259 1042628
/proc/meminfo: memFree=123244188/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=89892 memory=79556 CPUtime=50.97 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 14350 0 0 0 5092 5 0 0 20 0 1 0 192115758 92049408 19889 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 22473 19889 1140 1005 0 21236 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 89892 KiB
Current children cumulated memory: 79556 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.31 0.53 5/258 1042638
/proc/meminfo: memFree=123229552/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=93984 memory=85748 CPUtime=102.02 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 15395 0 0 0 10195 7 0 0 20 0 1 0 192115758 96239616 21437 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 23496 21437 1140 1005 0 22259 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 93984 KiB
Current children cumulated memory: 85748 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.85 0.76 5/258 1042649
/proc/meminfo: memFree=123215324/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=97516 memory=89116 CPUtime=161.82 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 16279 0 0 0 16172 10 0 0 20 0 1 0 192115758 99856384 22279 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 24379 22279 1140 1005 0 23142 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 97516 KiB
Current children cumulated memory: 89116 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.26 0.98 5/255 1042659
/proc/meminfo: memFree=123206840/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=98908 memory=91224 CPUtime=221.65 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 16716 0 0 0 22152 13 0 0 20 0 1 0 192115758 101281792 22806 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 24727 22806 1140 1005 0 23490 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 98908 KiB
Current children cumulated memory: 91224 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.59 1.17 5/255 1042671
/proc/meminfo: memFree=123196904/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=100996 memory=95220 CPUtime=281.51 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 17249 0 0 0 28135 16 0 0 20 0 1 0 192115758 103419904 23805 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 25249 23805 1140 1005 0 24012 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 100996 KiB
Current children cumulated memory: 95220 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 2.87 1.36 5/255 1042682
/proc/meminfo: memFree=123191608/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=102072 memory=96400 CPUtime=341.37 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 17553 0 0 0 34118 19 0 0 20 0 1 0 192115758 104521728 24100 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 25518 24100 1140 1005 0 24281 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 102072 KiB
Current children cumulated memory: 96400 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.09 1.53 6/255 1042692
/proc/meminfo: memFree=123183468/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=104428 memory=98640 CPUtime=401.22 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 18159 0 0 0 40099 23 0 0 20 0 1 0 192115758 106934272 24660 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 26107 24660 1140 1005 0 24870 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 104428 KiB
Current children cumulated memory: 98640 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.29 1.70 6/255 1042702
/proc/meminfo: memFree=123171960/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=105624 memory=99960 CPUtime=461.08 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 18507 0 0 0 46081 27 0 0 20 0 1 0 192115758 108158976 24990 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 26406 24990 1140 1005 0 25169 0
################
# More data... #
################
Current children cumulated memory: 118912 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.16 4.00 5/259 1043735
/proc/meminfo: memFree=123076636/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=123700 memory=118912 CPUtime=2915.13 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25062 0 0 0 291379 134 0 0 20 0 1 0 192115758 126668800 29728 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 30925 29728 1140 1005 0 29688 0
Current children cumulated CPU time: 2915.13 s
Current children cumulated vsize: 123700 KiB
Current children cumulated memory: 118912 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.00 5/259 1043746
/proc/meminfo: memFree=123075476/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=123900 memory=119048 CPUtime=2974.98 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25141 0 0 0 297361 137 0 0 20 0 1 0 192115758 126873600 29762 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 30975 29762 1140 1005 0 29738 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 123900 KiB
Current children cumulated memory: 119048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.01 5/257 1043757
/proc/meminfo: memFree=123074164/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=123900 memory=119048 CPUtime=3034.85 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25187 0 0 0 303345 140 0 0 20 0 1 0 192115758 126873600 29762 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 30975 29762 1140 1005 0 29738 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 123900 KiB
Current children cumulated memory: 119048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.01 5/257 1043768
/proc/meminfo: memFree=123072448/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=124296 memory=119464 CPUtime=3094.7 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25338 0 0 0 309327 143 0 0 20 0 1 0 192115758 127279104 29866 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 31074 29866 1140 1005 0 29837 0
Current children cumulated CPU time: 3094.7 s
Current children cumulated vsize: 124296 KiB
Current children cumulated memory: 119464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.01 5/257 1043779
/proc/meminfo: memFree=123068592/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=124296 memory=119464 CPUtime=3154.55 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25384 0 0 0 315311 144 0 0 20 0 1 0 192115758 127279104 29866 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 31074 29866 1140 1005 0 29837 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 124296 KiB
Current children cumulated memory: 119464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.02 5/256 1044173
/proc/meminfo: memFree=123065092/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=124296 memory=119468 CPUtime=3214.41 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25430 0 0 0 321294 147 0 0 20 0 1 0 192115758 127279104 29867 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 31074 29867 1140 1005 0 29837 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 124296 KiB
Current children cumulated memory: 119468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.02 5/256 1044184
/proc/meminfo: memFree=123063560/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=125156 memory=119868 CPUtime=3274.27 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25588 0 0 0 327277 150 0 0 20 0 1 0 192115758 128159744 29967 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 31289 29967 1140 1005 0 30052 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 125156 KiB
Current children cumulated memory: 119868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.02 5/257 1044196
/proc/meminfo: memFree=123062352/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=125156 memory=120212 CPUtime=3334.11 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 25707 0 0 0 333260 151 0 0 20 0 1 0 192115758 128159744 30053 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 31289 30053 1140 1005 0 30052 0
Current children cumulated CPU time: 3334.11 s
Current children cumulated vsize: 125156 KiB
Current children cumulated memory: 120212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/259 1044376
/proc/meminfo: memFree=123060152/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=126092 memory=121260 CPUtime=3393.97 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 26014 0 0 0 339242 155 0 0 20 0 1 0 192115758 129118208 30315 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 31523 30315 1140 1005 0 30286 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 126092 KiB
Current children cumulated memory: 121260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/259 1044386
/proc/meminfo: memFree=123056856/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=139032 memory=122656 CPUtime=3453.83 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 26125 0 0 0 345225 158 0 0 20 0 1 0 192115758 142368768 30664 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 34758 30664 1140 1005 0 33521 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 139032 KiB
Current children cumulated memory: 122656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.42 4.19 4.06 6/260 1044453
/proc/meminfo: memFree=123054892/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=139032 memory=122656 CPUtime=3513.68 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 26172 0 0 0 351208 160 0 0 20 0 1 0 192115758 142368768 30664 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 34758 30664 1140 1005 0 33521 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 139032 KiB
Current children cumulated memory: 122656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.18 4.06 6/260 1044465
/proc/meminfo: memFree=123051860/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=139032 memory=124112 CPUtime=3573.54 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 26219 0 0 0 357192 162 0 0 20 0 1 0 192115758 142368768 31028 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 34758 31028 1140 1005 0 33521 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 139032 KiB
Current children cumulated memory: 124112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.15 4.16 4.06 6/260 1044468
/proc/meminfo: memFree=123051916/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=139176 memory=124112 CPUtime=3600.08 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 26256 0 0 0 359845 163 0 0 20 0 1 0 192115758 142516224 31028 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 34794 31028 1140 1005 0 33557 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 139176 KiB
Current children cumulated memory: 124112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 1042535 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.45 s, system=1.63323 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.15 4.16 4.06 6/260 1044468
/proc/meminfo: memFree=123051916/131524600 swapFree=131071996/131071996
[pid=1042535] ppid=1042530 vsize=139176 memory=124112 CPUtime=3600.08 cores=1,3
/proc/1042535/stat : 1042535 (Exact) R 1042530 1042535 1042453 0 -1 4194304 26256 0 0 0 359845 163 0 0 20 0 1 0 192115758 142516224 31028 134679101440 4194304 8309489 140732596481392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 25145344 140732596487101 140732596487270 140732596487270 140732596494287 0
/proc/1042535/statm: 34794 31028 1140 1005 0 33557 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 139176 KiB
Current children cumulated memory: 124112 KiB
Child status: 10
Real time (s): 3608.9
CPU time (s): 3600.09
CPU user time (s): 3598.45
CPU system time (s): 1.63323
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 139176
Max. memory (cumulated for all children) (KiB): 124112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.45
system time used= 1.63323
maximum resident set size= 139912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26258
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= 28
involuntary context switches= 1562
# summary of solver processes directly reported to runsolver:
# pid: 1042535
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.45
# total CPU system time (s): 1.63323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40092 second user time and 14.7739 second system time
The end
Begin job on nodeC025 at 2024-07-19 16:31:57
IDJOB=4449724
IDBENCH=176097
IDSOLVER=3060
FILE ID=nodeC025/4449724-1721399504
RUNJOBID= nodeC025-1721399516-1042465
SLURM_JOB_ID= 7545448
Free space on /tmp= 890008 MiB
SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449724-1721399504/watcher-4449724-1721399504 -o /tmp/evaluation-result-4449724-1721399504/solver-4449724-1721399504 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721399516-1042465 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=445818147 HOME/instance-4449724-1721399504.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=445818147
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3674.003
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.046
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3600.139
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3650.962
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3600.380
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.976
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3673.827
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.177
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123466224 kB
MemAvailable: 129549416 kB
Buffers: 546288 kB
Cached: 6306988 kB
SwapCached: 0 kB
Active: 1131304 kB
Inactive: 6148196 kB
Active(anon): 1476 kB
Inactive(anon): 470328 kB
Active(file): 1129828 kB
Inactive(file): 5677868 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30828 kB
Writeback: 0 kB
AnonPages: 423644 kB
Mapped: 115316 kB
Shmem: 45912 kB
KReclaimable: 230288 kB
Slab: 359316 kB
SReclaimable: 230288 kB
SUnreclaim: 129028 kB
KernelStack: 4196 kB
PageTables: 10396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 885944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC025 at 2024-07-19 17:32:06