0.00/0.04 c Filename:instance-4448496-1721368523.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.04 c Use Presolve
0.00/0.04 c Parse finsih
0.00/0.04 c Start Presolve
0.00/0.04 c After Reduce Vars: 800 Clauses: 800 Top clause weight: 1 Hard Clauses: 800
3599.98/3609.01 c Use LS-small
3599.98/3609.01 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 (61625 MiB free)
memory of node 1: 64473 MiB (62431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448496-1721368523/watcher-4448496-1721368523 -o /tmp/evaluation-result-4448496-1721368523/solver-4448496-1721368523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034922 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448496-1721368523.opb -t 3600 -s 67481427
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1038943, runsolver pid=1038940
[startup+0.104755 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1038944
/proc/meminfo: memFree=127019644/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=33152 memory=26204 CPUtime=0.09 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 3906 0 0 0 9 0 0 0 20 0 1 0 189020399 33947648 6551 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 8288 6551 2849 2753 0 4941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33152 KiB
Current children cumulated memory: 26204 KiB
[startup+0.205712 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1038944
/proc/meminfo: memFree=127014712/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=39096 memory=31324 CPUtime=0.2 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 5318 0 0 0 19 1 0 0 20 0 1 0 189020399 40034304 7831 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 9774 7831 2849 2753 0 6427 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39096 KiB
Current children cumulated memory: 31324 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.15 4.15 4.10 5/257 1038944
/proc/meminfo: memFree=127013220/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=39560 memory=32376 CPUtime=0.3 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 5570 0 0 0 29 1 0 0 20 0 1 0 189020399 40509440 8094 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 9890 8094 2849 2753 0 6543 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39560 KiB
Current children cumulated memory: 32376 KiB
[startup+0.700187 s]
/proc/loadavg: 4.15 4.15 4.10 6/257 1038944
/proc/meminfo: memFree=127012080/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=40452 memory=33768 CPUtime=0.68 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 6078 0 0 0 67 1 0 0 20 0 1 0 189020399 41422848 8442 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 10113 8442 2849 2753 0 6766 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 33768 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 1038944
/proc/meminfo: memFree=127011628/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=45004 memory=37488 CPUtime=1.48 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 7256 0 0 0 147 1 0 0 20 0 1 0 189020399 46084096 9372 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 11251 9372 2849 2753 0 7904 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45004 KiB
Current children cumulated memory: 37488 KiB
[startup+3.10593 s]
/proc/loadavg: 4.15 4.15 4.10 6/257 1039082
/proc/meminfo: memFree=128471724/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=52128 memory=45404 CPUtime=3.08 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 10255 0 0 0 306 2 0 0 20 0 1 0 189020399 53379072 11351 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 13032 11351 2849 2753 0 9685 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52128 KiB
Current children cumulated memory: 45404 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039082
/proc/meminfo: memFree=128427036/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=60964 memory=54156 CPUtime=6.26 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 15009 0 0 0 623 3 0 0 20 0 1 0 189020399 62427136 13539 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 15241 13539 2849 2753 0 11894 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 60964 KiB
Current children cumulated memory: 54156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 1039084
/proc/meminfo: memFree=128351164/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=88220 memory=80472 CPUtime=12.63 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 24780 0 0 0 1259 4 0 0 20 0 1 0 189020399 90337280 20118 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 22055 20118 2849 2753 0 18708 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 88220 KiB
Current children cumulated memory: 80472 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 1039085
/proc/meminfo: memFree=128335472/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=88220 memory=80632 CPUtime=25.38 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 24870 0 0 0 2534 4 0 0 20 0 1 0 189020399 90337280 20158 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 22055 20158 2849 2753 0 18708 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 88220 KiB
Current children cumulated memory: 80632 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.15 4.11 5/257 1039090
/proc/meminfo: memFree=128302640/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=99360 memory=94032 CPUtime=50.87 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 28205 0 0 0 5082 5 0 0 20 0 1 0 189020399 101744640 23508 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 24840 23508 2849 2753 0 21493 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 99360 KiB
Current children cumulated memory: 94032 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 1039099
/proc/meminfo: memFree=128175448/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=165460 memory=158280 CPUtime=101.87 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 45095 0 0 0 10179 8 0 0 20 0 1 0 189020399 169431040 39570 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 41365 39570 2849 2753 0 38018 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 165460 KiB
Current children cumulated memory: 158280 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 1039280
/proc/meminfo: memFree=128058524/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=216732 memory=209172 CPUtime=161.62 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 57928 0 0 0 16153 9 0 0 20 0 1 0 189020399 221933568 52293 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 54183 52293 2849 2753 0 50836 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 216732 KiB
Current children cumulated memory: 209172 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.23 4.13 5/259 1039292
/proc/meminfo: memFree=127938144/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=268800 memory=257948 CPUtime=221.37 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 73420 0 0 0 22126 11 0 0 20 0 1 0 189020399 275251200 64487 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 67200 64487 2849 2753 0 63853 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 268800 KiB
Current children cumulated memory: 257948 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/260 1039305
/proc/meminfo: memFree=127830180/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=315264 memory=304660 CPUtime=281.13 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 86911 0 0 0 28099 14 0 0 20 0 1 0 189020399 322830336 76165 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 78816 76165 2849 2753 0 75469 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 315264 KiB
Current children cumulated memory: 304660 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/258 1039327
/proc/meminfo: memFree=127733532/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=351336 memory=340984 CPUtime=340.95 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 98579 0 0 0 34078 17 0 0 20 0 1 0 189020399 359768064 85246 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 87834 85246 2849 2753 0 84487 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 351336 KiB
Current children cumulated memory: 340984 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/259 1039339
/proc/meminfo: memFree=127645316/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=386368 memory=375776 CPUtime=400.76 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 109780 0 0 0 40057 19 0 0 20 0 1 0 189020399 395640832 93944 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 96592 93944 2849 2753 0 93245 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 386368 KiB
Current children cumulated memory: 375776 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/259 1039349
/proc/meminfo: memFree=127567444/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=417240 memory=407648 CPUtime=460.56 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 118612 0 0 0 46036 20 0 0 20 0 1 0 189020399 427253760 101912 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 104310 101912 2849 2753 0 100963 0
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.09 5/255 1040465
/proc/meminfo: memFree=126368688/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3153.97 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291290 0 0 0 277516 37881 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/256 1040476
/proc/meminfo: memFree=126367812/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3213.88 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291292 0 0 0 281838 39550 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1040491
/proc/meminfo: memFree=126366760/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3273.79 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291294 0 0 0 286178 41201 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1040502
/proc/meminfo: memFree=126365912/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3333.7 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291296 0 0 0 290508 42862 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1040512
/proc/meminfo: memFree=126365188/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3393.6 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291298 0 0 0 294826 44534 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1040523
/proc/meminfo: memFree=126364688/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3453.51 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291300 0 0 0 299165 46186 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1040536
/proc/meminfo: memFree=126364104/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3513.42 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291302 0 0 0 303488 47854 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1040929
/proc/meminfo: memFree=126362756/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3573.32 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291304 0 0 0 307806 49526 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3609.02 s]
# the end of solver process 1038943 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3097.29 s, system=502.713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.13 4.09 6/257 1040929
/proc/meminfo: memFree=126362812/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3575.02 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291304 0 0 0 307930 49572 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3575.02 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 1040931
/proc/meminfo: memFree=126363008/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3587.8 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291305 0 0 0 308845 49935 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3587.8 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 1040932
/proc/meminfo: memFree=126363112/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3594.19 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291305 0 0 0 309310 50109 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3594.19 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3606.4 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040933
/proc/meminfo: memFree=126362936/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3597.38 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291305 0 0 0 309542 50196 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3597.38 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3608 s]*
/proc/loadavg: 4.18 4.13 4.10 5/255 1040935
/proc/meminfo: memFree=126363072/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3598.98 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291305 0 0 0 309656 50242 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3598.98 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3608.8 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1040935
/proc/meminfo: memFree=126363072/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3599.78 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291305 0 0 0 309714 50264 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
[startup+3609 s]*
/proc/loadavg: 4.18 4.13 4.10 4/243 1040974
/proc/meminfo: memFree=126477176/131524600 swapFree=131071996/131071996
[pid=1038943] ppid=1038940 vsize=919256 memory=913840 CPUtime=3599.98 cores=5,7
/proc/1038943/stat : 1038943 (LS-MabSP) R 1038940 1038943 1034909 0 -1 4194304 291305 0 0 0 309728 50270 0 0 20 0 1 0 189020399 941318144 228460 134679101440 4194304 15467897 140733217330304 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48226304 140733217338399 140733217338500 140733217338500 140733217345517 0
/proc/1038943/statm: 229814 228460 2849 2753 0 226467 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 919256 KiB
Current children cumulated memory: 913840 KiB
Child status: 0
Real time (s): 3609.02
CPU time (s): 3600.01
CPU user time (s): 3097.29
CPU system time (s): 502.713
CPU usage (%): 99.7503
Max. virtual memory (cumulated for all children) (KiB): 967876
Max. memory (cumulated for all children) (KiB): 942412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3097.29
system time used= 502.713
maximum resident set size= 945288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291312
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= 204
involuntary context switches= 2846
# summary of solver processes directly reported to runsolver:
# pid: 1038943
# total CPU time (s): 3600.01
# total CPU user time (s): 3097.29
# total CPU system time (s): 502.713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99072 second user time and 13.4183 second system time
The end
Begin job on nodeC030 at 2024-07-19 07:55:36
IDJOB=4448496
IDBENCH=160428
IDSOLVER=3047
FILE ID=nodeC030/4448496-1721368523
RUNJOBID= nodeC030-1721361319-1034922
SLURM_JOB_ID= 7542780
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.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-4448496-1721368523/watcher-4448496-1721368523 -o /tmp/evaluation-result-4448496-1721368523/solver-4448496-1721368523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034922 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448496-1721368523.opb -t 3600 -s 67481427
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=67481427
nodeC030.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 : 3661.640
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.28
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.463
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.794
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.866
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.11
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 : 3661.735
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.28
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 : 3666.382
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.893
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.28
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 : 3658.446
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127035492 kB
MemAvailable: 128169164 kB
Buffers: 498704 kB
Cached: 1463564 kB
SwapCached: 0 kB
Active: 1154708 kB
Inactive: 2702180 kB
Active(anon): 1540 kB
Inactive(anon): 1930792 kB
Active(file): 1153168 kB
Inactive(file): 771388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 19112 kB
Writeback: 52 kB
AnonPages: 1894204 kB
Mapped: 140584 kB
Shmem: 37720 kB
KReclaimable: 97880 kB
Slab: 210940 kB
SReclaimable: 97880 kB
SUnreclaim: 113060 kB
KernelStack: 4096 kB
PageTables: 13004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2345124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1748992 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC030 at 2024-07-19 08:55:45