3600.05/3625.70 c Filename:instance-4459106-1721901376.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.05/3625.70 c Use Presolve
3600.05/3625.70 c Parse finsih
3600.05/3625.70 c Start Presolve
3600.05/3625.70 c After Reduce Vars: 4576880 Clauses: 179850 Top clause weight: 3081 Hard Clauses: 176770
3600.05/3625.70 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 (53070 MiB free)
memory of node 1: 64473 MiB (54457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459106-1721901376/watcher-4459106-1721901376 -o /tmp/evaluation-result-4459106-1721901376/solver-4459106-1721901376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721901376-279991 --watchdog 3760 ./LS-MabSP -f HOME/instance-4459106-1721901376.opb -t 3600 -s 2037189514
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=280052, runsolver pid=280049
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109964076/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=273772 memory=156460 CPUtime=0.09 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 2908 0 0 0 7 2 0 0 20 0 1 0 26666007 280342528 39115 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 68443 39115 1073 2753 0 65096 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 273772 KiB
Current children cumulated memory: 156460 KiB
[startup+0.205785 s]*
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109835008/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=282244 memory=269744 CPUtime=0.2 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 4196 0 0 0 16 4 0 0 20 0 1 0 26666007 289017856 67436 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 70561 67436 1073 2753 0 67214 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 282244 KiB
Current children cumulated memory: 269744 KiB
[startup+0.305875 s]*
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109828412/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=282244 memory=269744 CPUtime=0.3 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 4196 0 0 0 26 4 0 0 20 0 1 0 26666007 289017856 67436 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 70561 67436 1073 2753 0 67214 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 282244 KiB
Current children cumulated memory: 269744 KiB
[startup+0.700179 s]
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109818340/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=284936 memory=272260 CPUtime=0.69 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 5048 0 0 0 64 5 0 0 20 0 1 0 26666007 291774464 68065 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 71234 68065 1073 2753 0 67887 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 284936 KiB
Current children cumulated memory: 272260 KiB
[startup+1.50022 s]
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109781004/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=311912 memory=294460 CPUtime=1.49 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 9851 0 0 0 143 6 0 0 20 0 1 0 26666007 319397888 73615 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 77978 73615 1073 2753 0 74631 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 311912 KiB
Current children cumulated memory: 294460 KiB
[startup+3.10538 s]
/proc/loadavg: 0.68 1.74 2.97 5/253 280053
/proc/meminfo: memFree=109636688/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=349416 memory=334048 CPUtime=3.09 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 15683 0 0 0 302 7 0 0 20 0 1 0 26666007 357801984 83512 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 87354 83512 1073 2753 0 84007 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 349416 KiB
Current children cumulated memory: 334048 KiB
[startup+6.30015 s]
/proc/loadavg: 0.95 1.78 2.97 5/253 280053
/proc/meminfo: memFree=109272084/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=421256 memory=405872 CPUtime=6.27 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 26031 0 0 0 617 10 0 0 20 0 1 0 26666007 431366144 101468 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 105314 101468 1073 2753 0 101967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 421256 KiB
Current children cumulated memory: 405872 KiB
[startup+12.7001 s]
/proc/loadavg: 1.19 1.82 2.98 5/253 280055
/proc/meminfo: memFree=108772244/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=562692 memory=545476 CPUtime=12.67 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 45660 0 0 0 1250 17 0 0 20 0 1 0 26666007 576196608 136369 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 140673 136369 1073 2753 0 137326 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 562692 KiB
Current children cumulated memory: 545476 KiB
[startup+25.5002 s]
/proc/loadavg: 1.82 1.92 3.00 5/254 280057
/proc/meminfo: memFree=107073780/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=845432 memory=826060 CPUtime=25.45 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 84332 0 0 0 2515 30 0 0 20 0 1 0 26666007 865722368 206515 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 211358 206515 1073 2753 0 208011 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 845432 KiB
Current children cumulated memory: 826060 KiB
[startup+51.1053 s]
/proc/loadavg: 2.56 2.09 3.02 5/254 280062
/proc/meminfo: memFree=103496244/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=2435756 memory=2171836 CPUtime=51.01 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 110590 0 0 0 5009 92 0 0 20 0 1 0 26666007 2494214144 542959 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 608939 542959 1153 2753 0 605592 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 2435756 KiB
Current children cumulated memory: 2171836 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 2.40 3.08 5/254 280071
/proc/meminfo: memFree=103352556/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=2564212 memory=2228704 CPUtime=102.09 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 113758 0 0 0 10114 95 0 0 20 0 1 0 26666007 2625753088 557176 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 641053 557176 1153 2753 0 637706 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 2564212 KiB
Current children cumulated memory: 2228704 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=280052] ppid=280049 vsize=2564212 memory=2228784 CPUtime=161.89 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 113845 0 0 0 16094 95 0 0 20 0 1 0 26666007 2625753088 557196 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 641053 557196 1153 2753 0 637706 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2564212 KiB
Current children cumulated memory: 2228784 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=280052] ppid=280049 vsize=2564212 memory=2228784 CPUtime=221.7 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 113932 0 0 0 22075 95 0 0 20 0 1 0 26666007 2625753088 557196 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 641053 557196 1153 2753 0 637706 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2564212 KiB
Current children cumulated memory: 2228784 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=280052] ppid=280049 vsize=17872264 memory=16868960 CPUtime=281.54 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3234725 0 0 0 27583 571 0 0 20 0 1 0 26666007 18301198336 4217240 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4468066 4217240 2721 2753 0 4464719 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 17872264 KiB
Current children cumulated memory: 16868960 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=341.16 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3380205 0 0 0 33513 603 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=400.71 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3380222 0 0 0 39454 617 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=460.25 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3380246 0 0 0 45391 634 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
################
# More data... #
################
/proc/meminfo: memFree=73155672/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=2901.84 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3381702 0 0 0 288840 1344 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 2901.84 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=2961.41 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3381720 0 0 0 294779 1362 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 2961.41 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3020.96 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3381738 0 0 0 300717 1379 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3020.96 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3080.52 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3381756 0 0 0 306656 1396 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3080.52 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3140.07 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3381778 0 0 0 312594 1413 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3140.07 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3199.64 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3382055 0 0 0 318533 1431 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3199.64 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 281448
/proc/meminfo: memFree=73153648/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3259.19 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3382583 0 0 0 324471 1448 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3259.19 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3318.75 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3382858 0 0 0 330409 1466 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3318.75 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3378.31 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3382876 0 0 0 336348 1483 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3378.31 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 281481
/proc/meminfo: memFree=73152852/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3437.87 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3382893 0 0 0 342287 1500 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3437.87 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3497.42 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3383096 0 0 0 348225 1517 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3497.42 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 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=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3556.98 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3383604 0 0 0 354163 1535 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3556.98 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3625.7 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 281987
/proc/meminfo: memFree=79680596/131524600 swapFree=131063756/131071996
[pid=280052] ppid=280049 vsize=18575096 memory=17599192 CPUtime=3600.05 cores=4,6
/proc/280052/stat : 280052 (LS-MabSP) R 280049 280052 279980 0 -1 4194304 3383616 0 0 0 358457 1548 0 0 20 0 1 0 26666007 19020898304 4399798 134679101440 4194304 15467897 140722877582240 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 44314624 140722877584419 140722877584522 140722877584522 140722877591533 0
/proc/280052/statm: 4643774 4399798 2737 2753 0 4640427 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 18575096 KiB
Current children cumulated memory: 17599192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3626.17 s]
# the end of solver process 280052 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3584.62 s, system=15.9029 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3626 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 281987
/proc/meminfo: memFree=89216000/131524600 swapFree=131063756/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3626.11 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 281987
/proc/meminfo: memFree=89216000/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): 3626.17
CPU time (s): 3600.52
CPU user time (s): 3584.62
CPU system time (s): 15.9029
CPU usage (%): 99.2928
Max. virtual memory (cumulated for all children) (KiB): 18678112
Max. memory (cumulated for all children) (KiB): 17681244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.62
system time used= 15.9029
maximum resident set size= 17706628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3383759
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= 1193
# summary of solver processes directly reported to runsolver:
# pid: 280052
# total CPU time (s): 3600.52
# total CPU user time (s): 3584.62
# total CPU system time (s): 15.9029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45796 second user time and 17.8137 second system time
The end
Begin job on nodeC027 at 2024-07-25 11:56:17
IDJOB=4459106
IDBENCH=178517
IDSOLVER=3047
FILE ID=nodeC027/4459106-1721901376
RUNJOBID= nodeC027-1721901376-279991
SLURM_JOB_ID= 8089395
Free space on /tmp= 889828 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_54.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-4459106-1721901376/watcher-4459106-1721901376 -o /tmp/evaluation-result-4459106-1721901376/solver-4459106-1721901376 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721901376-279991 --watchdog 3760 ./LS-MabSP -f HOME/instance-4459106-1721901376.opb -t 3600 -s 2037189514
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
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 : 3675.696
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 : 3683.531
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 : 3672.061
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 : 3599.979
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 : 3669.825
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 : 3683.524
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 : 3676.927
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 : 3600.282
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: 110108732 kB
MemAvailable: 129380596 kB
Buffers: 303412 kB
Cached: 19649348 kB
SwapCached: 472 kB
Active: 2561940 kB
Inactive: 17955648 kB
Active(anon): 1688 kB
Inactive(anon): 616560 kB
Active(file): 2560252 kB
Inactive(file): 17339088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 279892 kB
Writeback: 0 kB
AnonPages: 563896 kB
Mapped: 128876 kB
Shmem: 53416 kB
KReclaimable: 424696 kB
Slab: 548392 kB
SReclaimable: 424696 kB
SUnreclaim: 123696 kB
KernelStack: 4080 kB
PageTables: 10600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 985872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 348160 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= 889820 MiB
End job on nodeC027 at 2024-07-25 12:56:44