1189.19/1193.72 c Filename:instance-4443966-1721318057.opb, Cutoff_time:3600, memory_limit_gb:500000
1189.19/1193.72 c Use Presolve
1189.19/1193.72 c Parse finsih
1189.19/1193.72 c Start Presolve
1189.19/1193.72 c After Reduce Vars: 3750 Clauses: 468375 Top clause weight: 1 Hard Clauses: 468375
3599.96/3611.83 c Use LS-small
3599.96/3611.83 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: 63968 MiB (60504 MiB free)
memory of node 1: 64473 MiB (60857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443966-1721318057/watcher-4443966-1721318057 -o /tmp/evaluation-result-4443966-1721318057/solver-4443966-1721318057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721318070-970566 --watchdog 3760 ./LS-MabSP -f HOME/instance-4443966-1721318057.opb -t 3600 -s 541810919
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=970618, runsolver pid=970615
[startup+0.100316 s]*
/proc/loadavg: 2.30 3.68 3.97 5/252 970619
/proc/meminfo: memFree=124243768/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=43984 memory=31176 CPUtime=0.09 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 2733 0 0 0 8 1 0 0 20 0 1 0 183976317 45039616 7794 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 2 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 10996 7794 1073 2753 0 7649 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43984 KiB
Current children cumulated memory: 31176 KiB
[startup+0.205298 s]*
/proc/loadavg: 2.30 3.68 3.97 5/258 970630
/proc/meminfo: memFree=124188832/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=46032 memory=33356 CPUtime=0.19 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 3280 0 0 0 18 1 0 0 20 0 1 0 183976317 47136768 8339 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 11508 8339 1073 2753 0 8161 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46032 KiB
Current children cumulated memory: 33356 KiB
[startup+0.305074 s]*
/proc/loadavg: 2.30 3.68 3.97 5/258 970630
/proc/meminfo: memFree=124172120/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=50128 memory=36932 CPUtime=0.29 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 3635 0 0 0 28 1 0 0 20 0 1 0 183976317 51331072 9233 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 12532 9233 1073 2753 0 9185 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50128 KiB
Current children cumulated memory: 36932 KiB
[startup+0.700224 s]
/proc/loadavg: 2.30 3.68 3.97 5/258 970632
/proc/meminfo: memFree=124109496/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=58320 memory=45128 CPUtime=0.68 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 4156 0 0 0 67 1 0 0 20 0 1 0 183976317 59719680 11282 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 14580 11282 1073 2753 0 11233 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58320 KiB
Current children cumulated memory: 45128 KiB
[startup+1.50018 s]
/proc/loadavg: 2.30 3.68 3.97 5/258 970632
/proc/meminfo: memFree=124011660/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=74704 memory=59468 CPUtime=1.48 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 4684 0 0 0 145 3 0 0 20 0 1 0 183976317 76496896 14867 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 18676 14867 1073 2753 0 15329 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74704 KiB
Current children cumulated memory: 59468 KiB
[startup+3.10578 s]
/proc/loadavg: 2.30 3.68 3.97 5/258 970632
/proc/meminfo: memFree=123590156/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=176768 memory=157220 CPUtime=3.08 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 6711 0 0 0 304 4 0 0 20 0 1 0 183976317 181010432 39305 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 44192 39305 1073 2753 0 40845 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 176768 KiB
Current children cumulated memory: 157220 KiB
[startup+6.30024 s]
/proc/loadavg: 2.44 3.69 3.97 5/258 970632
/proc/meminfo: memFree=122328176/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=350708 memory=331376 CPUtime=6.26 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 16444 0 0 0 614 12 0 0 20 0 1 0 183976317 359124992 82844 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 87677 82844 1153 2753 0 84330 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 350708 KiB
Current children cumulated memory: 331376 KiB
[startup+12.7002 s]
/proc/loadavg: 2.56 3.69 3.97 5/258 970634
/proc/meminfo: memFree=121854328/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=350708 memory=331620 CPUtime=12.64 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 16548 0 0 0 1252 12 0 0 20 0 1 0 183976317 359124992 82905 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 87677 82905 1153 2753 0 84330 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 350708 KiB
Current children cumulated memory: 331620 KiB
[startup+25.5003 s]
/proc/loadavg: 2.88 3.71 3.97 5/258 970635
/proc/meminfo: memFree=120110240/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2240348 memory=2006024 CPUtime=25.4 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 291986 0 0 0 2479 61 0 0 20 0 1 0 183976317 2294116352 501506 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 560087 501506 2721 2753 0 556740 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2240348 KiB
Current children cumulated memory: 2006024 KiB
[startup+51.106 s]
/proc/loadavg: 3.41 3.76 3.98 5/256 970654
/proc/meminfo: memFree=119994788/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2696156 memory=2469188 CPUtime=50.9 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 368605 0 0 0 5013 77 0 0 20 0 1 0 183976317 2760863744 617297 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 674039 617297 2833 2753 0 670692 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2696156 KiB
Current children cumulated memory: 2469188 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.85 4.00 5/256 971076
/proc/meminfo: memFree=119810744/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2698028 memory=2470620 CPUtime=101.86 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 369099 0 0 0 10108 78 0 0 20 0 1 0 183976317 2762780672 617655 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 674507 617655 2833 2753 0 671160 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 2698028 KiB
Current children cumulated memory: 2470620 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.89 4.00 5/256 971086
/proc/meminfo: memFree=119592768/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2956940 memory=2666672 CPUtime=161.61 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 400957 0 0 0 16075 86 0 0 20 0 1 0 183976317 3027906560 666668 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 739235 666668 2849 2753 0 735888 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 2956940 KiB
Current children cumulated memory: 2666672 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.93 4.00 5/256 971097
/proc/meminfo: memFree=119434924/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=3372304 memory=2804052 CPUtime=221.4 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 418112 0 0 0 22049 91 0 0 20 0 1 0 183976317 3453239296 701013 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 843076 701013 2849 2753 0 839729 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 3372304 KiB
Current children cumulated memory: 2804052 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.99 4.01 5/259 971278
/proc/meminfo: memFree=119278532/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=3589904 memory=2846412 CPUtime=281.18 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 422243 0 0 0 28025 93 0 0 20 0 1 0 183976317 3676061696 711603 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 897476 711603 2849 2753 0 894129 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 3589904 KiB
Current children cumulated memory: 2846412 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.01 4.01 5/258 971289
/proc/meminfo: memFree=119226744/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=3631596 memory=2896728 CPUtime=340.96 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 425821 0 0 0 33993 103 0 0 20 0 1 0 183976317 3718754304 724182 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 907899 724182 2849 2753 0 904552 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 3631596 KiB
Current children cumulated memory: 2896728 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.04 4.02 5/260 971315
/proc/meminfo: memFree=119214724/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=3638800 memory=2903936 CPUtime=400.74 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 427853 0 0 0 39969 105 0 0 20 0 1 0 183976317 3726131200 725984 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 909700 725984 2849 2753 0 906353 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 3638800 KiB
Current children cumulated memory: 2903936 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.04 4.02 5/260 971326
/proc/meminfo: memFree=119200092/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=3649968 memory=2915104 CPUtime=460.53 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 430889 0 0 0 45946 107 0 0 20 0 1 0 183976317 3737567232 728776 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 912492 728776 2849 2753 0 909145 0
################
# More data... #
################
/proc/loadavg: 4.09 4.10 4.09 5/255 972552
/proc/meminfo: memFree=120463812/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2914456 CPUtime=3211.51 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 601710 0 0 0 320257 894 0 0 20 0 1 0 183976317 3025145856 728614 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 728614 2849 2753 0 735214 0
Current children cumulated CPU time: 3211.51 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2914456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 972563
/proc/meminfo: memFree=120463064/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2914456 CPUtime=3271.35 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 601965 0 0 0 326211 924 0 0 20 0 1 0 183976317 3025145856 728614 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 728614 2849 2753 0 735214 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2914456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 972573
/proc/meminfo: memFree=120462036/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2914708 CPUtime=3331.19 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 602220 0 0 0 332167 952 0 0 20 0 1 0 183976317 3025145856 728677 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 728677 2849 2753 0 735214 0
Current children cumulated CPU time: 3331.19 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2914708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 972591
/proc/meminfo: memFree=120460996/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2914868 CPUtime=3391.02 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 602475 0 0 0 338121 981 0 0 20 0 1 0 183976317 3025145856 728717 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 728717 2849 2753 0 735214 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2914868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 972602
/proc/meminfo: memFree=120458508/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916656 CPUtime=3450.86 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 602730 0 0 0 344077 1009 0 0 20 0 1 0 183976317 3025145856 729164 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729164 2849 2753 0 735214 0
Current children cumulated CPU time: 3450.86 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 972613
/proc/meminfo: memFree=120457768/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3510.7 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 602985 0 0 0 350031 1039 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 972625
/proc/meminfo: memFree=120453292/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3570.54 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603240 0 0 0 355984 1070 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3611.86 s]
# the end of solver process 970618 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.2 s, system=10.8306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.10 4.09 5/258 972625
/proc/meminfo: memFree=120453308/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3572.24 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603282 0 0 0 356154 1070 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 972627
/proc/meminfo: memFree=120452820/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3585 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603282 0 0 0 357424 1076 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 972628
/proc/meminfo: memFree=120449008/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3591.38 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603325 0 0 0 358060 1078 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3591.38 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 972629
/proc/meminfo: memFree=120448980/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3594.58 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603367 0 0 0 358378 1080 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3594.58 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3609.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 972675
/proc/meminfo: memFree=121257904/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3597.76 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603367 0 0 0 358696 1080 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3597.76 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3611.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 972677
/proc/meminfo: memFree=121210140/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3599.36 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603367 0 0 0 358855 1081 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3599.36 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3611.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 972677
/proc/meminfo: memFree=121210140/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3599.76 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603367 0 0 0 358895 1081 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
[startup+3611.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 972677
/proc/meminfo: memFree=121210140/131524596 swapFree=131071996/131071996
[pid=970618] ppid=970615 vsize=2954244 memory=2916696 CPUtime=3599.96 cores=0,2
/proc/970618/stat : 970618 (LS-MabSP) R 970615 970618 970556 0 -1 4194304 603367 0 0 0 358914 1082 0 0 20 0 1 0 183976317 3025145856 729174 134679101440 4194304 15467897 140720446298160 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45502464 140720446305311 140720446305413 140720446305413 140720446312429 0
/proc/970618/statm: 738561 729174 2849 2753 0 735214 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 2954244 KiB
Current children cumulated memory: 2916696 KiB
Child status: 0
Real time (s): 3611.86
CPU time (s): 3600.03
CPU user time (s): 3589.2
CPU system time (s): 10.8306
CPU usage (%): 99.6725
Max. virtual memory (cumulated for all children) (KiB): 4274112
Max. memory (cumulated for all children) (KiB): 3536240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.2
system time used= 10.8306
maximum resident set size= 3536240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603413
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= 48
involuntary context switches= 24662
# summary of solver processes directly reported to runsolver:
# pid: 970618
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.2
# total CPU system time (s): 10.8306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77809 second user time and 17.1019 second system time
The end
Begin job on nodeC034 at 2024-07-18 17:54:30
IDJOB=4443966
IDBENCH=147892
IDSOLVER=3047
FILE ID=nodeC034/4443966-1721318057
RUNJOBID= nodeC034-1721318070-970566
SLURM_JOB_ID= 7542672
Free space on /tmp= 889996 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443966-1721318057/watcher-4443966-1721318057 -o /tmp/evaluation-result-4443966-1721318057/solver-4443966-1721318057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721318070-970566 --watchdog 3760 ./LS-MabSP -f HOME/instance-4443966-1721318057.opb -t 3600 -s 541810919
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=541810919
nodeC034.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 : 3654.155
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.99
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 : 3680.353
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 : 7005.58
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 : 3663.585
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.99
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 : 3613.819
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 : 7005.58
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 : 3652.312
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.99
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 : 3679.460
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 : 7005.58
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 : 3662.558
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.99
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 : 3600.135
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 : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 124276684 kB
MemAvailable: 129609228 kB
Buffers: 485564 kB
Cached: 5621200 kB
SwapCached: 0 kB
Active: 981796 kB
Inactive: 5517280 kB
Active(anon): 1456 kB
Inactive(anon): 428264 kB
Active(file): 980340 kB
Inactive(file): 5089016 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 111404 kB
Writeback: 16 kB
AnonPages: 391932 kB
Mapped: 114416 kB
Shmem: 37720 kB
KReclaimable: 206024 kB
Slab: 331812 kB
SReclaimable: 206024 kB
SUnreclaim: 125788 kB
KernelStack: 4040 kB
PageTables: 10240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 810744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 307924 kB
DirectMap2M: 41408512 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC034 at 2024-07-18 18:54:42