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: 63794 MiB (63122 MiB free)
memory of node 1: 64507 MiB (63715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502136-1751160280/watcher-4502136-1751160280 -o /tmp/evaluation-result-4502136-1751160280/solver-4502136-1751160280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751156446-18900 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=495234168 --ls=0 --inp-dombreaklim=0 HOME/instance-4502136-1751160280.opb
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20094, runsolver pid=20091
[startup+0.100069 s]*
/proc/loadavg: 4.09 4.16 4.14 5/253 20095
/proc/meminfo: memFree=129836620/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=69264 memory=45472 CPUtime=0.09 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 8027 0 0 0 8 1 0 0 20 0 1 0 31707751 70926336 11368 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 17316 11368 1024 1200 0 15796 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69264 KiB
Current children cumulated memory: 45472 KiB
[startup+0.213225 s]*
/proc/loadavg: 4.09 4.16 4.14 5/253 20095
/proc/meminfo: memFree=129824272/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=85288 memory=61168 CPUtime=0.19 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 12663 0 0 0 16 3 0 0 20 0 1 0 31707751 87334912 15292 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 21322 15292 1024 1200 0 19802 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 85288 KiB
Current children cumulated memory: 61168 KiB
[startup+0.313041 s]*
/proc/loadavg: 4.09 4.16 4.14 5/253 20095
/proc/meminfo: memFree=129804300/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=99192 memory=73776 CPUtime=0.28 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 14788 0 0 0 24 4 0 0 20 0 1 0 31707751 101572608 18444 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 24798 18444 1024 1200 0 23278 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 99192 KiB
Current children cumulated memory: 73776 KiB
[startup+0.700256 s]
/proc/loadavg: 4.09 4.16 4.14 4/251 20107
/proc/meminfo: memFree=129820876/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=117420 memory=93140 CPUtime=0.64 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 19086 0 0 0 57 7 0 0 20 0 1 0 31707751 120238080 23253 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 29355 23253 1024 1200 0 27835 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 117420 KiB
Current children cumulated memory: 93140 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.15 4.14 5/248 20131
/proc/meminfo: memFree=129759788/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=240584 memory=214416 CPUtime=1.43 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 39356 0 0 0 131 12 0 0 20 0 1 0 31707751 246358016 53604 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 60146 53604 1216 1200 0 58626 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 240584 KiB
Current children cumulated memory: 214416 KiB
[startup+3.1127 s]
/proc/loadavg: 4.08 4.15 4.14 5/251 20154
/proc/meminfo: memFree=129667092/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=253012 memory=224784 CPUtime=3.04 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 41946 0 0 0 290 14 0 0 20 0 1 0 31707751 259084288 56196 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 63253 56196 1248 1200 0 61733 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 253012 KiB
Current children cumulated memory: 224784 KiB
[startup+6.30031 s]
/proc/loadavg: 4.15 4.17 4.15 4/249 20264
/proc/meminfo: memFree=129623872/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=253540 memory=227888 CPUtime=6.21 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 42219 0 0 0 605 16 0 0 20 0 1 0 31707751 259624960 56972 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 63385 56972 1248 1200 0 61865 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 253540 KiB
Current children cumulated memory: 227888 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.18 4.15 6/253 20275
/proc/meminfo: memFree=129645968/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=259280 memory=233520 CPUtime=12.59 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 43632 0 0 0 1243 16 0 0 20 0 1 0 31707751 265502720 58380 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 64820 58380 1248 1200 0 63300 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 259280 KiB
Current children cumulated memory: 233520 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.18 4.15 5/253 20275
/proc/meminfo: memFree=129640096/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=268692 memory=241456 CPUtime=25.35 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 45640 0 0 0 2517 18 0 0 20 0 1 0 31707751 275140608 60364 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 67173 60364 1248 1200 0 65653 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 268692 KiB
Current children cumulated memory: 241456 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.16 4.14 5/253 20321
/proc/meminfo: memFree=129865424/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=281456 memory=253232 CPUtime=50.88 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 48605 0 0 0 5068 20 0 0 20 0 1 0 31707751 288210944 63308 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 70364 63308 1248 1200 0 68844 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 281456 KiB
Current children cumulated memory: 253232 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.15 5/253 20366
/proc/meminfo: memFree=129834956/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=292268 memory=268632 CPUtime=101.91 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 51965 0 0 0 10170 21 0 0 20 0 1 0 31707751 299282432 67158 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 73067 67158 1248 1200 0 71547 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 292268 KiB
Current children cumulated memory: 268632 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/253 20368
/proc/meminfo: memFree=129800484/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=307392 memory=282328 CPUtime=161.73 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 55395 0 0 0 16145 28 0 0 20 0 1 0 31707751 314769408 70582 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 76848 70582 1248 1200 0 75328 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 307392 KiB
Current children cumulated memory: 282328 KiB
[startup+222.3 s]
/proc/loadavg: 4.60 4.26 4.18 5/253 20371
/proc/meminfo: memFree=129761352/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=318380 memory=297740 CPUtime=221.51 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 58575 0 0 0 22122 29 0 0 20 0 1 0 31707751 326021120 74435 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 79595 74435 1248 1200 0 78075 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 318380 KiB
Current children cumulated memory: 297740 KiB
[startup+282.3 s]
/proc/loadavg: 4.52 4.32 4.21 5/253 20373
/proc/meminfo: memFree=129721576/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=333612 memory=311948 CPUtime=281.32 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 61650 0 0 0 28098 34 0 0 20 0 1 0 31707751 341618688 77987 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 83403 77987 1248 1200 0 81883 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 333612 KiB
Current children cumulated memory: 311948 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.27 4.19 5/251 20379
/proc/meminfo: memFree=129745336/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=334148 memory=314892 CPUtime=341.14 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 62304 0 0 0 34069 45 0 0 20 0 1 0 31707751 342167552 78723 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 83537 78723 1248 1200 0 82017 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 334148 KiB
Current children cumulated memory: 314892 KiB
[startup+402.3 s]
/proc/loadavg: 4.68 4.38 4.23 5/252 20387
/proc/meminfo: memFree=129712468/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=341440 memory=322956 CPUtime=400.97 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 64431 0 0 0 40051 46 0 0 20 0 1 0 31707751 349634560 80739 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 85360 80739 1248 1200 0 83840 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 341440 KiB
Current children cumulated memory: 322956 KiB
[startup+462.3 s]
/proc/loadavg: 4.49 4.40 4.25 5/252 20389
/proc/meminfo: memFree=129686896/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=349208 memory=330764 CPUtime=460.76 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 66467 0 0 0 46029 47 0 0 20 0 1 0 31707751 357588992 82691 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
################
# More data... #
################
Current children cumulated memory: 463376 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 20520
/proc/meminfo: memFree=129451256/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=488116 memory=463376 CPUtime=2912.72 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 100754 0 0 0 291114 158 0 0 20 0 1 0 31707751 499830784 115844 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 122029 115844 1248 1200 0 120509 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 488116 KiB
Current children cumulated memory: 463376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 20522
/proc/meminfo: memFree=129444392/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=488116 memory=463376 CPUtime=2972.54 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 100935 0 0 0 297096 158 0 0 20 0 1 0 31707751 499830784 115844 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 122029 115844 1248 1200 0 120509 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 488116 KiB
Current children cumulated memory: 463376 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 20525
/proc/meminfo: memFree=129455120/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=489472 memory=465936 CPUtime=3032.37 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 101689 0 0 0 303078 159 0 0 20 0 1 0 31707751 501219328 116484 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 122368 116484 1248 1200 0 120848 0
Current children cumulated CPU time: 3032.37 s
Current children cumulated vsize: 489472 KiB
Current children cumulated memory: 465936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 20527
/proc/meminfo: memFree=129455276/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=492084 memory=468624 CPUtime=3092.19 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 102438 0 0 0 309060 159 0 0 20 0 1 0 31707751 503894016 117156 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 123021 117156 1248 1200 0 121501 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 492084 KiB
Current children cumulated memory: 468624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 20529
/proc/meminfo: memFree=129455036/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=494624 memory=471056 CPUtime=3152.01 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 103222 0 0 0 315042 159 0 0 20 0 1 0 31707751 506494976 117764 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 123656 117764 1248 1200 0 122136 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 494624 KiB
Current children cumulated memory: 471056 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 20531
/proc/meminfo: memFree=129447124/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=502520 memory=476176 CPUtime=3211.84 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 104613 0 0 0 321020 164 0 0 20 0 1 0 31707751 514580480 119044 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 125630 119044 1248 1200 0 124110 0
Current children cumulated CPU time: 3211.84 s
Current children cumulated vsize: 502520 KiB
Current children cumulated memory: 476176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 20533
/proc/meminfo: memFree=129426424/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=502520 memory=477840 CPUtime=3271.65 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 105047 0 0 0 327000 165 0 0 20 0 1 0 31707751 514580480 119460 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 125630 119460 1248 1200 0 124110 0
Current children cumulated CPU time: 3271.65 s
Current children cumulated vsize: 502520 KiB
Current children cumulated memory: 477840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 20538
/proc/meminfo: memFree=129427720/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=503144 memory=479504 CPUtime=3331.47 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 105646 0 0 0 332982 165 0 0 20 0 1 0 31707751 515219456 119876 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 125786 119876 1248 1200 0 124266 0
Current children cumulated CPU time: 3331.47 s
Current children cumulated vsize: 503144 KiB
Current children cumulated memory: 479504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 20545
/proc/meminfo: memFree=129417136/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=508760 memory=482448 CPUtime=3391.3 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 106515 0 0 0 338960 170 0 0 20 0 1 0 31707751 520970240 120612 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 127190 120612 1248 1200 0 125670 0
Current children cumulated CPU time: 3391.3 s
Current children cumulated vsize: 508760 KiB
Current children cumulated memory: 482448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/252 20548
/proc/meminfo: memFree=129410000/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=508760 memory=483600 CPUtime=3451.12 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 106891 0 0 0 344942 170 0 0 20 0 1 0 31707751 520970240 120900 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 127190 120900 1248 1200 0 125670 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 508760 KiB
Current children cumulated memory: 483600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/252 20550
/proc/meminfo: memFree=129407416/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=512164 memory=484752 CPUtime=3510.95 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 107363 0 0 0 350924 171 0 0 20 0 1 0 31707751 524455936 121188 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 128041 121188 1248 1200 0 126521 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 512164 KiB
Current children cumulated memory: 484752 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/252 20552
/proc/meminfo: memFree=129416992/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=512492 memory=486800 CPUtime=3570.77 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 108014 0 0 0 356899 178 0 0 20 0 1 0 31707751 524791808 121700 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 128123 121700 1248 1200 0 126603 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 512492 KiB
Current children cumulated memory: 486800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 20597
/proc/meminfo: memFree=128783376/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=512492 memory=487952 CPUtime=3600.09 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 108379 0 0 0 359831 178 0 0 20 0 1 0 31707751 524791808 121988 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 128123 121988 1248 1200 0 126603 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 512492 KiB
Current children cumulated memory: 487952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.76 s]
# the end of solver process 20094 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.37 s, system=1.79216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 20597
/proc/meminfo: memFree=128783376/131382116 swapFree=33010684/33010684
[pid=20094] ppid=20091 vsize=512492 memory=487952 CPUtime=3600.09 cores=5,7
/proc/20094/stat : 20094 (Exact) R 20091 20094 18887 0 -1 4194304 108379 0 0 0 359831 178 0 0 20 0 1 0 31707751 524791808 121988 18446744073709551615 4198400 9112445 140726785091024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24436736 140726785095977 140726785096173 140726785096173 140726785101775 0
/proc/20094/statm: 128123 121988 1248 1200 0 126603 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 512492 KiB
Current children cumulated memory: 487952 KiB
Child status: 0
Real time (s): 3611.76
CPU time (s): 3600.16
CPU user time (s): 3598.37
CPU system time (s): 1.79216
CPU usage (%): 99.6788
Max. virtual memory (cumulated for all children) (KiB): 512492
Max. memory (cumulated for all children) (KiB): 487952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.37
system time used= 1.79216
maximum resident set size= 488080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108401
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= 112
involuntary context switches= 21351
# summary of solver processes directly reported to runsolver:
# pid: 20094
# total CPU time (s): 3600.16
# total CPU user time (s): 3598.37
# total CPU system time (s): 1.79216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8751 second user time and 33.7969 second system time
The end
Begin job on nodeC011 at 2025-06-29 03:24:40
IDJOB=4502136
IDBENCH=154773
IDSOLVER=3318
FILE ID=nodeC011/4502136-1751160280
RUNJOBID= nodeC011-1751156446-18900
SLURM_JOB_ID= 9587478
Free space on /tmp= 433020 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502136-1751160280/watcher-4502136-1751160280 -o /tmp/evaluation-result-4502136-1751160280/solver-4502136-1751160280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751156446-18900 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=495234168 --ls=0 --inp-dombreaklim=0 HOME/instance-4502136-1751160280.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=495234168
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1197.290
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 3664.829
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.659
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 3661.840
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 3492.421
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.340
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.296
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129881480 kB
MemAvailable: 129526280 kB
Buffers: 3280 kB
Cached: 454688 kB
SwapCached: 0 kB
Active: 723128 kB
Inactive: 206876 kB
Active(anon): 490000 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 206876 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30160 kB
Writeback: 4 kB
AnonPages: 474916 kB
Mapped: 117220 kB
Shmem: 17960 kB
KReclaimable: 85080 kB
Slab: 164456 kB
SReclaimable: 85080 kB
SUnreclaim: 79376 kB
KernelStack: 4096 kB
PageTables: 3928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 853836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432760 MiB
End job on nodeC011 at 2025-06-29 04:24:52