3599.95/3606.65 c Filename:instance-4452746-1721455750.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.95/3606.65 c Use Presolve
3599.95/3606.65 c Parse finsih
3599.95/3606.65 c Start Presolve
3599.95/3606.65 c After Reduce Vars: 33930 Clauses: 6787 Top clause weight: 1 Hard Clauses: 6787
3599.95/3606.65 c Use LS-small
3599.95/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: 64096 MiB (59158 MiB free)
memory of node 1: 64473 MiB (58831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452746-1721455750/watcher-4452746-1721455750 -o /tmp/evaluation-result-4452746-1721455750/solver-4452746-1721455750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721448544-1067208 --watchdog 3760 ./LS-MabSP -f HOME/instance-4452746-1721455750.opb -t 3600 -s 1713791640
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
Current StackSize limit: 8192 KiB
solver pid=1071337, runsolver pid=1071334
[startup+0.100101 s]*
/proc/loadavg: 4.08 4.17 4.16 5/242 1071338
/proc/meminfo: memFree=120814504/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=23480 memory=10552 CPUtime=0.1 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 1441 0 0 0 10 0 0 0 20 0 1 0 197730853 24043520 2638 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 5870 2638 1073 2753 0 2523 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23480 KiB
Current children cumulated memory: 10552 KiB
[startup+0.212607 s]*
/proc/loadavg: 4.08 4.17 4.16 5/242 1071338
/proc/meminfo: memFree=120813104/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=25164 memory=11808 CPUtime=0.21 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 1989 0 0 0 21 0 0 0 20 0 1 0 197730853 25767936 2952 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 6291 2952 1073 2753 0 2944 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25164 KiB
Current children cumulated memory: 11808 KiB
[startup+0.312578 s]*
/proc/loadavg: 4.08 4.17 4.16 5/242 1071338
/proc/meminfo: memFree=120812084/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=25560 memory=12596 CPUtime=0.31 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 2213 0 0 0 31 0 0 0 20 0 1 0 197730853 26173440 3149 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 6390 3149 1073 2753 0 3043 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25560 KiB
Current children cumulated memory: 12596 KiB
[startup+0.700333 s]
/proc/loadavg: 4.08 4.17 4.16 5/242 1071338
/proc/meminfo: memFree=120810320/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=44352 memory=30756 CPUtime=0.69 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 7401 0 0 0 67 2 0 0 20 0 1 0 197730853 45416448 7689 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 11088 7689 1105 2753 0 7741 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44352 KiB
Current children cumulated memory: 30756 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.17 4.16 5/242 1071338
/proc/meminfo: memFree=120793776/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=44352 memory=31020 CPUtime=1.49 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 7404 0 0 0 147 2 0 0 20 0 1 0 197730853 45416448 7755 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 11088 7755 1105 2753 0 7741 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44352 KiB
Current children cumulated memory: 31020 KiB
[startup+3.11263 s]
/proc/loadavg: 4.16 4.19 4.16 5/242 1071338
/proc/meminfo: memFree=120653588/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=197424 memory=183164 CPUtime=3.09 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 44796 0 0 0 301 8 0 0 20 0 1 0 197730853 202162176 45791 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 49356 45791 2721 2753 0 46009 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 197424 KiB
Current children cumulated memory: 183164 KiB
[startup+6.3003 s]
/proc/loadavg: 4.16 4.19 4.16 5/242 1071338
/proc/meminfo: memFree=120586380/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=261536 memory=244700 CPUtime=6.27 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 60731 0 0 0 616 11 0 0 20 0 1 0 197730853 267812864 61175 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65384 61175 2817 2753 0 62037 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 261536 KiB
Current children cumulated memory: 244700 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.18 4.16 5/242 1071339
/proc/meminfo: memFree=120586216/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=261536 memory=244956 CPUtime=12.65 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 60766 0 0 0 1254 11 0 0 20 0 1 0 197730853 267812864 61239 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65384 61239 2817 2753 0 62037 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 261536 KiB
Current children cumulated memory: 244956 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.17 4.16 5/242 1071341
/proc/meminfo: memFree=120586216/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=261536 memory=244956 CPUtime=25.42 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 60794 0 0 0 2530 12 0 0 20 0 1 0 197730853 267812864 61239 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65384 61239 2817 2753 0 62037 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 261536 KiB
Current children cumulated memory: 244956 KiB
[startup+51.1126 s]
/proc/loadavg: 4.15 4.18 4.16 5/245 1071350
/proc/meminfo: memFree=120585348/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=261748 memory=246504 CPUtime=50.96 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 60876 0 0 0 5084 12 0 0 20 0 1 0 197730853 268029952 61626 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65437 61626 3163 2753 0 62090 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 261748 KiB
Current children cumulated memory: 246504 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.16 6/244 1071405
/proc/meminfo: memFree=121455772/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=262756 memory=247544 CPUtime=102 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61132 0 0 0 10188 12 0 0 20 0 1 0 197730853 269062144 61886 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65689 61886 3163 2753 0 62342 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 262756 KiB
Current children cumulated memory: 247544 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/244 1071415
/proc/meminfo: memFree=121177328/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=262892 memory=247804 CPUtime=161.82 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61188 0 0 0 16170 12 0 0 20 0 1 0 197730853 269201408 61951 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65723 61951 3163 2753 0 62376 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 262892 KiB
Current children cumulated memory: 247804 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.15 6/245 1071427
/proc/meminfo: memFree=121176660/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=262892 memory=247804 CPUtime=221.67 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61189 0 0 0 22154 13 0 0 20 0 1 0 197730853 269201408 61951 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65723 61951 3163 2753 0 62376 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 262892 KiB
Current children cumulated memory: 247804 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.14 6/245 1071437
/proc/meminfo: memFree=121172912/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=263552 memory=248580 CPUtime=281.5 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61346 0 0 0 28137 13 0 0 20 0 1 0 197730853 269877248 62145 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65888 62145 3163 2753 0 62541 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 248580 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.14 6/245 1071448
/proc/meminfo: memFree=121161428/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=263824 memory=248668 CPUtime=341.34 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61399 0 0 0 34121 13 0 0 20 0 1 0 197730853 270155776 62167 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65956 62167 3163 2753 0 62609 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 263824 KiB
Current children cumulated memory: 248668 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/242 1071460
/proc/meminfo: memFree=121155768/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=263964 memory=254044 CPUtime=401.16 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61447 0 0 0 40103 13 0 0 20 0 1 0 197730853 270299136 63511 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65991 63511 3163 2753 0 62644 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 263964 KiB
Current children cumulated memory: 254044 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/242 1071470
/proc/meminfo: memFree=121151656/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=263964 memory=257792 CPUtime=460.99 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 61494 0 0 0 46086 13 0 0 20 0 1 0 197730853 270299136 64448 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 65991 64448 3163 2753 0 62644 0
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.09 6/245 1073178
/proc/meminfo: memFree=122603432/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3156.4 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62314 0 0 0 303186 12454 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3156.4 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/245 1073189
/proc/meminfo: memFree=122603132/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3216.29 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62327 0 0 0 308874 12755 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3216.29 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/243 1073199
/proc/meminfo: memFree=122602764/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3276.2 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62340 0 0 0 314615 13005 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3276.2 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/243 1073210
/proc/meminfo: memFree=122602372/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3336.1 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62353 0 0 0 320351 13259 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3336.1 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/241 1073221
/proc/meminfo: memFree=122602212/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3396 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62366 0 0 0 325980 13620 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3396 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.09 6/241 1073231
/proc/meminfo: memFree=122601896/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3455.9 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62379 0 0 0 331713 13877 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3455.9 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/242 1073242
/proc/meminfo: memFree=122601620/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3515.79 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62392 0 0 0 337460 14119 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3515.79 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.11 4.10 6/242 1073252
/proc/meminfo: memFree=122601288/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3575.69 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 343173 14396 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3575.69 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3606.65 s]
# the end of solver process 1071337 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3454.89 s, system=145.119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.20 4.11 4.10 6/242 1073252
/proc/meminfo: memFree=122601296/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3577.4 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 343323 14417 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3577.4 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.11 4.09 6/242 1073255
/proc/meminfo: memFree=122601224/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3590.16 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 344542 14474 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3590.16 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3603.2 s]
/proc/loadavg: 4.14 4.10 4.09 6/242 1073257
/proc/meminfo: memFree=122601204/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3596.56 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 345154 14502 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3596.56 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3604.8 s]
/proc/loadavg: 4.14 4.10 4.09 6/242 1073257
/proc/meminfo: memFree=122601204/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3598.15 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 345308 14507 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3598.15 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3605.6 s]
/proc/loadavg: 4.14 4.10 4.09 6/242 1073257
/proc/meminfo: memFree=122601212/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3598.94 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 345386 14508 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3598.94 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3606.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/235 1073288
/proc/meminfo: memFree=122726736/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3599.75 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 345464 14511 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3599.75 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
[startup+3606.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/235 1073288
/proc/meminfo: memFree=122726736/131655788 swapFree=131071996/131071996
[pid=1071337] ppid=1071334 vsize=264756 memory=259492 CPUtime=3599.95 cores=1,3
/proc/1071337/stat : 1071337 (LS-MabSP) R 1071334 1071337 1067196 0 -1 4194304 62405 0 0 0 345484 14511 0 0 20 0 1 0 197730853 271110144 64873 134679101440 4194304 15467897 140732886566432 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43380736 140732886570013 140732886570116 140732886570116 140732886577133 0
/proc/1071337/statm: 66189 64873 3179 2753 0 62842 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 264756 KiB
Current children cumulated memory: 259492 KiB
Child status: 0
Real time (s): 3606.65
CPU time (s): 3600.01
CPU user time (s): 3454.89
CPU system time (s): 145.119
CPU usage (%): 99.8158
Max. virtual memory (cumulated for all children) (KiB): 264756
Max. memory (cumulated for all children) (KiB): 259492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3454.89
system time used= 145.119
maximum resident set size= 259492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62410
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= 21
involuntary context switches= 1079
# summary of solver processes directly reported to runsolver:
# pid: 1071337
# total CPU time (s): 3600.01
# total CPU user time (s): 3454.89
# total CPU system time (s): 145.119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2597 second user time and 31.3475 second system time
The end
Begin job on nodeC004 at 2024-07-20 08:09:22
IDJOB=4452746
IDBENCH=165316
IDSOLVER=3047
FILE ID=nodeC004/4452746-1721455750
RUNJOBID= nodeC004-1721448544-1067208
SLURM_JOB_ID= 7545678
Free space on /tmp= 723728 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.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-4452746-1721455750/watcher-4452746-1721455750 -o /tmp/evaluation-result-4452746-1721455750/solver-4452746-1721455750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721448544-1067208 --watchdog 3760 ./LS-MabSP -f HOME/instance-4452746-1721455750.opb -t 3600 -s 1713791640
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3c218acab88c9e5abe907b008036492
RANDOM SEED=1713791640
nodeC004.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 : 0xb00001f
cpu MHz : 3676.745
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 3492.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.474
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 1197.308
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 3676.847
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 3663.374
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.554
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 1197.383
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120821560 kB
MemAvailable: 127248772 kB
Buffers: 564460 kB
Cached: 6630800 kB
SwapCached: 0 kB
Active: 1263400 kB
Inactive: 8836960 kB
Active(anon): 3344 kB
Inactive(anon): 2947644 kB
Active(file): 1260056 kB
Inactive(file): 5889316 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33360 kB
Writeback: 0 kB
AnonPages: 2904880 kB
Mapped: 141320 kB
Shmem: 45892 kB
KReclaimable: 236076 kB
Slab: 355848 kB
SReclaimable: 236076 kB
SUnreclaim: 119772 kB
KernelStack: 3916 kB
PageTables: 15300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3185120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2740224 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: 248648 kB
DirectMap2M: 29016064 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC004 at 2024-07-20 09:09:29