3599.94/3606.65 c Filename:instance-4452268-1721448637.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.94/3606.65 c Use Presolve
3599.94/3606.65 c Parse finsih
3599.94/3606.65 c Start Presolve
3599.94/3606.65 c After Reduce Vars: 57855 Clauses: 1571 Top clause weight: 1 Hard Clauses: 1571
3599.94/3606.65 c Use LS-small
3599.94/3606.65 s UNKNOWN
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 (62213 MiB free)
memory of node 1: 64510 MiB (63213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452268-1721448637/watcher-4452268-1721448637 -o /tmp/evaluation-result-4452268-1721448637/solver-4452268-1721448637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721445042-1036443 --watchdog 3760 ./LS-MabP -f HOME/instance-4452268-1721448637.opb -t 3600 -s 1368649652 --no-s
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=1038480, runsolver pid=1038477
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.13 4.10 4.06 6/257 1038481
/proc/meminfo: memFree=128423840/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=25624 memory=13152 CPUtime=0.09 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 2057 0 0 0 9 0 0 0 20 0 1 0 197028602 26238976 3288 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 6406 3288 1073 2753 0 3059 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25624 KiB
Current children cumulated memory: 13152 KiB
[startup+0.204373 s]*
/proc/loadavg: 4.13 4.10 4.06 5/257 1038481
/proc/meminfo: memFree=128420176/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=28892 memory=16264 CPUtime=0.2 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3102 0 0 0 20 0 0 0 20 0 1 0 197028602 29585408 4066 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 7223 4066 1073 2753 0 3876 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28892 KiB
Current children cumulated memory: 16264 KiB
[startup+0.304231 s]*
/proc/loadavg: 4.13 4.10 4.06 5/257 1038481
/proc/meminfo: memFree=128418520/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=30940 memory=17912 CPUtime=0.3 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3526 0 0 0 30 0 0 0 20 0 1 0 197028602 31682560 4478 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 7735 4478 1073 2753 0 4388 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30940 KiB
Current children cumulated memory: 17912 KiB
[startup+0.700222 s]
/proc/loadavg: 4.13 4.10 4.06 5/257 1038481
/proc/meminfo: memFree=128414592/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=43228 memory=25336 CPUtime=0.68 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 4337 0 0 0 68 0 0 0 20 0 1 0 197028602 44265472 6334 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 10807 6334 1073 2753 0 7460 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 25336 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.10 4.06 5/257 1038481
/proc/meminfo: memFree=128406036/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=128556 memory=102432 CPUtime=1.48 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 9301 0 0 0 146 2 0 0 20 0 1 0 197028602 131641344 25608 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 32139 25608 1105 2753 0 28792 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 128556 KiB
Current children cumulated memory: 102432 KiB
[startup+3.1043 s]
/proc/loadavg: 4.12 4.09 4.06 6/257 1038528
/proc/meminfo: memFree=128075768/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=128556 memory=102432 CPUtime=3.08 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 9317 0 0 0 306 2 0 0 20 0 1 0 197028602 131641344 25608 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 32139 25608 1105 2753 0 28792 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128556 KiB
Current children cumulated memory: 102432 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.09 4.06 6/257 1038530
/proc/meminfo: memFree=126995484/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=1021352 memory=995572 CPUtime=6.28 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 232566 0 0 0 598 30 0 0 20 0 1 0 197028602 1045864448 248893 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 255338 248893 1153 2753 0 251991 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1021352 KiB
Current children cumulated memory: 995572 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.06 6/257 1038530
/proc/meminfo: memFree=124587196/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=3583156 memory=3557360 CPUtime=12.66 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 873034 0 0 0 1154 112 0 0 20 0 1 0 197028602 3669151744 889340 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 895789 889340 1153 2753 0 892442 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3583156 KiB
Current children cumulated memory: 3557360 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.06 5/257 1038533
/proc/meminfo: memFree=119374844/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=8708340 memory=8682380 CPUtime=25.43 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 2154305 0 0 0 2269 274 0 0 20 0 1 0 197028602 8917340160 2170595 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 2177085 2170595 1153 2753 0 2173738 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 8708340 KiB
Current children cumulated memory: 8682380 KiB
[startup+51.105 s]
/proc/loadavg: 4.06 4.08 4.06 6/257 1038536
/proc/meminfo: memFree=114745952/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=50.97 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3258480 0 0 0 4679 418 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.10 4.06 6/256 1038544
/proc/meminfo: memFree=114745604/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=102.05 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3258702 0 0 0 9769 436 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.17 4.09 6/256 1038555
/proc/meminfo: memFree=114745180/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=161.91 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3259887 0 0 0 15735 456 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.09 6/257 1038567
/proc/meminfo: memFree=114744380/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=221.78 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3260990 0 0 0 21703 475 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+282.3 s]
/proc/loadavg: 4.39 4.21 4.11 6/255 1038577
/proc/meminfo: memFree=114744060/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=281.67 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3262508 0 0 0 27673 494 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.20 4.11 6/255 1038587
/proc/meminfo: memFree=114743744/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=341.57 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3264281 0 0 0 33643 514 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.11 6/255 1038598
/proc/meminfo: memFree=114743384/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=401.46 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3266094 0 0 0 39615 531 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 401.46 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.10 5/255 1038608
/proc/meminfo: memFree=114743048/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=461.35 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3267602 0 0 0 45586 549 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
################
# More data... #
################
Current children cumulated memory: 13098828 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/254 1040280
/proc/meminfo: memFree=114830308/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3156.44 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3383529 0 0 0 314621 1023 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3156.44 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/254 1040291
/proc/meminfo: memFree=114829996/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3216.34 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3387126 0 0 0 320602 1032 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3216.34 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 1040301
/proc/meminfo: memFree=114829720/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3276.23 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3390768 0 0 0 326583 1040 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3276.23 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/255 1040312
/proc/meminfo: memFree=114829676/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3336.12 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3394426 0 0 0 332564 1048 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3336.12 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/255 1040323
/proc/meminfo: memFree=114829328/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3396.01 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3398166 0 0 0 338546 1055 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3396.01 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/255 1040333
/proc/meminfo: memFree=114829076/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3455.9 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3401943 0 0 0 344527 1063 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3455.9 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/256 1040344
/proc/meminfo: memFree=114828696/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3515.79 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3405739 0 0 0 350508 1071 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3515.79 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/259 1040359
/proc/meminfo: memFree=114828316/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3575.68 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3409630 0 0 0 356489 1079 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3575.68 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3606.9 s]
# the end of solver process 1038480 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.19 s, system=11.0522 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.08 4.09 6/259 1040360
/proc/meminfo: memFree=114828308/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3577.38 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3409745 0 0 0 356659 1079 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3577.38 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.08 4.09 6/259 1040362
/proc/meminfo: memFree=114828216/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3590.15 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3410640 0 0 0 357934 1081 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3590.15 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.08 4.09 6/259 1040363
/proc/meminfo: memFree=114828240/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3596.55 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3411076 0 0 0 358573 1082 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3596.55 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3604.8 s]
/proc/loadavg: 4.13 4.09 4.09 6/259 1040364
/proc/meminfo: memFree=114828244/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3598.14 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3411172 0 0 0 358732 1082 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3598.14 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3605.6 s]
/proc/loadavg: 4.13 4.09 4.09 6/259 1040365
/proc/meminfo: memFree=114828160/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3598.94 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3411219 0 0 0 358812 1082 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3598.94 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 1040411
/proc/meminfo: memFree=115147052/131524600 swapFree=131071996/131071996
[pid=1038480] ppid=1038477 vsize=13124548 memory=13098828 CPUtime=3599.74 cores=1,3
/proc/1038480/stat : 1038480 (LS-MabP) R 1038477 1038480 1036431 0 -1 4194304 3411258 0 0 0 358892 1082 0 0 20 0 1 0 197028602 13439537152 3274707 134679101440 4194304 15467897 140722422855504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35983360 140722422862872 140722422862981 140722422862981 140722422869998 0
/proc/1038480/statm: 3281137 3274707 1153 2753 0 3277790 0
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 13124548 KiB
Current children cumulated memory: 13098828 KiB
[startup+3606.81 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 1040457
/proc/meminfo: memFree=121234744/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3606.9
CPU time (s): 3600.24
CPU user time (s): 3589.19
CPU system time (s): 11.0522
CPU usage (%): 99.8156
Max. virtual memory (cumulated for all children) (KiB): 13124548
Max. memory (cumulated for all children) (KiB): 13098828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.19
system time used= 11.0522
maximum resident set size= 13098828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3412745
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= 69
involuntary context switches= 966
# summary of solver processes directly reported to runsolver:
# pid: 1038480
# total CPU time (s): 3600.24
# total CPU user time (s): 3589.19
# total CPU system time (s): 11.0522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89059 second user time and 12.3006 second system time
The end
Begin job on nodeC024 at 2024-07-20 06:10:50
IDJOB=4452268
IDBENCH=164221
IDSOLVER=3049
FILE ID=nodeC024/4452268-1721448637
RUNJOBID= nodeC024-1721445042-1036443
SLURM_JOB_ID= 7545663
Free space on /tmp= 890028 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452268-1721448637/watcher-4452268-1721448637 -o /tmp/evaluation-result-4452268-1721448637/solver-4452268-1721448637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721445042-1036443 --watchdog 3760 ./LS-MabP -f HOME/instance-4452268-1721448637.opb -t 3600 -s 1368649652 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=1368649652
nodeC024.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 : 3666.466
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.60
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 : 3613.702
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.08
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.148
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.60
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 : 3665.360
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.08
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 : 3666.492
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.60
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 : 3636.952
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.08
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 : 3600.146
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.60
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 : 3666.675
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.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128436968 kB
MemAvailable: 129373204 kB
Buffers: 544304 kB
Cached: 1235752 kB
SwapCached: 0 kB
Active: 1035920 kB
Inactive: 1437432 kB
Active(anon): 1532 kB
Inactive(anon): 737660 kB
Active(file): 1034388 kB
Inactive(file): 699772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54644 kB
Writeback: 0 kB
AnonPages: 693296 kB
Mapped: 120712 kB
Shmem: 45912 kB
KReclaimable: 83448 kB
Slab: 194956 kB
SReclaimable: 83448 kB
SUnreclaim: 111508 kB
KernelStack: 4096 kB
PageTables: 10504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1084216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC024 at 2024-07-20 07:10:57