3600.07/3629.60 c Filename:instance-4459145-1721901376.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.07/3629.60 c Use Presolve
3600.07/3629.60 c Parse finsih
3600.07/3629.60 c Start Presolve
3600.07/3629.60 c After Reduce Vars: 3383952 Clauses: 144228 Top clause weight: 2653 Hard Clauses: 141576
3600.07/3629.60 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 (53274 MiB free)
memory of node 1: 64473 MiB (54464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459145-1721901376/watcher-4459145-1721901376 -o /tmp/evaluation-result-4459145-1721901376/solver-4459145-1721901376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721901376-279990 --watchdog 3760 ./LS-MabSP -f HOME/instance-4459145-1721901376.opb -t 3600 -s 2037189514
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=280041, runsolver pid=280038
[startup+0.10104 s]*
/proc/loadavg: 0.68 1.74 2.97 5/247 280042
/proc/meminfo: memFree=110160300/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=207372 memory=172788 CPUtime=0.09 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2381 0 0 0 4 5 0 0 20 0 1 0 26665977 212348928 43197 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 51843 43197 1073 2753 0 48496 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 207372 KiB
Current children cumulated memory: 172788 KiB
[startup+0.205393 s]*
/proc/loadavg: 0.68 1.74 2.97 5/247 280042
/proc/meminfo: memFree=110127472/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=214156 memory=201692 CPUtime=0.2 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 3526 0 0 0 14 6 0 0 20 0 1 0 26665977 219295744 50423 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 53539 50423 1073 2753 0 50192 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 214156 KiB
Current children cumulated memory: 201692 KiB
[startup+0.305318 s]*
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=110089596/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=214156 memory=201692 CPUtime=0.3 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 3526 0 0 0 24 6 0 0 20 0 1 0 26665977 219295744 50423 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 53539 50423 1073 2753 0 50192 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 214156 KiB
Current children cumulated memory: 201692 KiB
[startup+0.70016 s]
/proc/loadavg: 0.68 1.74 2.97 7/253 280053
/proc/meminfo: memFree=109834672/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=222100 memory=209608 CPUtime=0.68 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 5992 0 0 0 62 6 0 0 20 0 1 0 26665977 227430400 52402 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 55525 52402 1073 2753 0 52178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 222100 KiB
Current children cumulated memory: 209608 KiB
[startup+1.50017 s]
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109804072/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=245344 memory=228916 CPUtime=1.48 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 8745 0 0 0 141 7 0 0 20 0 1 0 26665977 251232256 57229 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 61336 57229 1073 2753 0 57989 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 245344 KiB
Current children cumulated memory: 228916 KiB
[startup+3.10525 s]
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109654256/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=281792 memory=267232 CPUtime=3.08 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 13780 0 0 0 299 9 0 0 20 0 1 0 26665977 288555008 66808 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 70448 66808 1073 2753 0 67101 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 281792 KiB
Current children cumulated memory: 267232 KiB
[startup+6.30014 s]
/proc/loadavg: 0.95 1.78 2.97 5/253 280053
/proc/meminfo: memFree=109283236/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=352576 memory=336024 CPUtime=6.27 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 23837 0 0 0 616 11 0 0 20 0 1 0 26665977 361037824 84006 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 88144 84006 1073 2753 0 84797 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 336024 KiB
[startup+12.7001 s]
/proc/loadavg: 1.19 1.82 2.98 5/253 280055
/proc/meminfo: memFree=108799872/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=493220 memory=476620 CPUtime=12.65 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 43242 0 0 0 1247 18 0 0 20 0 1 0 26665977 505057280 119155 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 123305 119155 1073 2753 0 119958 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 493220 KiB
Current children cumulated memory: 476620 KiB
[startup+25.5002 s]
/proc/loadavg: 1.82 1.92 3.00 5/254 280057
/proc/meminfo: memFree=107313036/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=1889692 memory=1829968 CPUtime=25.42 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 81961 0 0 0 2487 55 0 0 20 0 1 0 26665977 1935044608 457492 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 472423 457492 1105 2753 0 469076 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1889692 KiB
Current children cumulated memory: 1829968 KiB
[startup+51.1056 s]
/proc/loadavg: 2.56 2.09 3.02 5/254 280062
/proc/meminfo: memFree=103496244/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=1640740 memory=1581092 CPUtime=50.96 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 85818 0 0 0 5036 60 0 0 20 0 1 0 26665977 1680117760 395273 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 410185 395273 1153 2753 0 406838 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1640740 KiB
Current children cumulated memory: 1581092 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 2.40 3.08 5/254 280071
/proc/meminfo: memFree=103352532/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=1772936 memory=1660420 CPUtime=101.98 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 87312 0 0 0 10136 62 0 0 20 0 1 0 26665977 1815486464 415105 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 443234 415105 1153 2753 0 439887 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1772936 KiB
Current children cumulated memory: 1660420 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.73 3.15 5/256 280252
/proc/meminfo: memFree=102875000/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=1772936 memory=1660420 CPUtime=161.73 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 87597 0 0 0 16110 63 0 0 20 0 1 0 26665977 1815486464 415105 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 443234 415105 1153 2753 0 439887 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1772936 KiB
Current children cumulated memory: 1660420 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.98 3.21 5/256 280262
/proc/meminfo: memFree=102553880/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=1772936 memory=1660420 CPUtime=221.48 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 88227 0 0 0 22084 64 0 0 20 0 1 0 26665977 1815486464 415105 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 443234 415105 1153 2753 0 439887 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1772936 KiB
Current children cumulated memory: 1660420 KiB
[startup+282.3 s]
/proc/loadavg: 4.01 3.17 3.27 5/255 280276
/proc/meminfo: memFree=77248664/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=12879324 memory=12240204 CPUtime=281.27 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2352364 0 0 0 27698 429 0 0 20 0 1 0 26665977 13188427776 3060051 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3219831 3060051 2737 2753 0 3216484 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 12879324 KiB
Current children cumulated memory: 12240204 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.35 3.32 5/254 280299
/proc/meminfo: memFree=74405100/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=340.78 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2465925 0 0 0 33624 454 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.50 3.38 5/254 280309
/proc/meminfo: memFree=74386176/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=400.26 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2465934 0 0 0 39553 473 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 400.26 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.61 3.43 5/253 280320
/proc/meminfo: memFree=74382504/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=459.74 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2465945 0 0 0 45481 493 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
################
# More data... #
################
/proc/meminfo: memFree=73155672/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=2898.68 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2469523 0 0 0 288566 1302 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 2898.68 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/253 281391
/proc/meminfo: memFree=73155392/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=2958.18 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2469736 0 0 0 294495 1323 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 2958.18 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/253 281402
/proc/meminfo: memFree=73155232/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3017.68 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2469927 0 0 0 300425 1343 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3017.68 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/254 281413
/proc/meminfo: memFree=73154912/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3077.18 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2469943 0 0 0 306356 1362 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3077.18 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/254 281423
/proc/meminfo: memFree=73154580/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3136.69 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470441 0 0 0 312288 1381 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3136.69 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/252 281434
/proc/meminfo: memFree=73154164/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3196.18 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470457 0 0 0 318217 1401 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3196.18 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 281448
/proc/meminfo: memFree=73153596/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3255.69 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470479 0 0 0 324148 1421 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3255.69 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 281460
/proc/meminfo: memFree=73153484/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3315.18 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470499 0 0 0 330079 1439 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3315.18 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/253 281470
/proc/meminfo: memFree=73153324/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3374.68 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470947 0 0 0 336010 1458 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3374.68 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 281481
/proc/meminfo: memFree=73152820/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3434.18 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470969 0 0 0 341939 1479 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3434.18 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/253 281491
/proc/meminfo: memFree=73152660/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3493.68 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2470989 0 0 0 347870 1498 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3493.68 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/253 281885
/proc/meminfo: memFree=73152376/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823444 CPUtime=3553.17 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2471011 0 0 0 353801 1516 0 0 20 0 1 0 26665977 13771112448 3205861 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205861 2737 2753 0 3358741 0
Current children cumulated CPU time: 3553.17 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3629.6 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282034
/proc/meminfo: memFree=97347200/131524600 swapFree=131063756/131071996
[pid=280041] ppid=280038 vsize=13448352 memory=12823512 CPUtime=3600.07 cores=0,2
/proc/280041/stat : 280041 (LS-MabSP) R 280038 280041 279980 0 -1 4194304 2471030 0 0 0 358476 1531 0 0 20 0 1 0 26665977 13771112448 3205878 134679101440 4194304 15467897 140732204699968 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 33550336 140732204708899 140732204709002 140732204709002 140732204716013 0
/proc/280041/statm: 3362088 3205878 2737 2753 0 3358741 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 13448352 KiB
Current children cumulated memory: 12823512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3629.97 s]
# the end of solver process 280041 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3584.8 s, system=15.6498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3629.81 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282034
/proc/meminfo: memFree=99893444/131524600 swapFree=131063756/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3629.9 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282034
/proc/meminfo: memFree=99893444/131524600 swapFree=131063756/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3629.97
CPU time (s): 3600.45
CPU user time (s): 3584.8
CPU system time (s): 15.6498
CPU usage (%): 99.1868
Max. virtual memory (cumulated for all children) (KiB): 13505132
Max. memory (cumulated for all children) (KiB): 12876360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.8
system time used= 15.6498
maximum resident set size= 12876360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2471137
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= 2
involuntary context switches= 24791
# summary of solver processes directly reported to runsolver:
# pid: 280041
# total CPU time (s): 3600.45
# total CPU user time (s): 3584.8
# total CPU system time (s): 15.6498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7458 second user time and 17.7578 second system time
The end
Begin job on nodeC027 at 2024-07-25 11:56:17
IDJOB=4459145
IDBENCH=178533
IDSOLVER=3047
FILE ID=nodeC027/4459145-1721901376
RUNJOBID= nodeC027-1721901376-279990
SLURM_JOB_ID= 8089395
Free space on /tmp= 889856 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_50.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-4459145-1721901376/watcher-4459145-1721901376 -o /tmp/evaluation-result-4459145-1721901376/solver-4459145-1721901376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721901376-279990 --watchdog 3760 ./LS-MabSP -f HOME/instance-4459145-1721901376.opb -t 3600 -s 2037189514
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3762504243d867ee0a80bf59380bdaf6
RANDOM SEED=2037189514
nodeC027.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 : 3674.901
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.74
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 : 3679.561
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.65
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 : 3652.082
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.74
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 : 3662.943
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.65
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 : 3600.071
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.470
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.65
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 : 3674.667
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.74
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 : 3648.350
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110329764 kB
MemAvailable: 129578980 kB
Buffers: 303412 kB
Cached: 19626716 kB
SwapCached: 472 kB
Active: 2560624 kB
Inactive: 17736328 kB
Active(anon): 1680 kB
Inactive(anon): 418580 kB
Active(file): 2558944 kB
Inactive(file): 17317748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 257260 kB
Writeback: 0 kB
AnonPages: 365912 kB
Mapped: 124772 kB
Shmem: 53416 kB
KReclaimable: 424696 kB
Slab: 548404 kB
SReclaimable: 424696 kB
SUnreclaim: 123708 kB
KernelStack: 4000 kB
PageTables: 10072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 697356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 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: 359124 kB
DirectMap2M: 40308736 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889932 MiB
End job on nodeC027 at 2024-07-25 12:56:47