0.00/0.00 c Filename:instance-4428247-1722785590.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1771.86/1779.72 c Use LS-small
1771.86/1779.72 o 4
3557.97/3569.73 s SATISFIABLE
3557.97/3569.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 x103 x104 x105 x106 -x107 x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 x119 x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 x129 x130 -x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 x140 x141 x142 x143 x144 -x145 -x146
3557.97/3569.73 c Done 1771.88s
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 (62057 MiB free)
memory of node 1: 64473 MiB (61595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428247-1722785590/watcher-4428247-1722785590 -o /tmp/evaluation-result-4428247-1722785590/solver-4428247-1722785590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722781456-245436 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428247-1722785590.opb -t 3558 -s 2122877086
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=248292, runsolver pid=248289
[startup+0.100549 s]*
/proc/loadavg: 4.14 4.10 4.09 5/261 248293
/proc/meminfo: memFree=126605788/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=34856 memory=24144 CPUtime=0.09 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 3841 0 0 0 9 0 0 0 20 0 1 0 45158009 35692544 6036 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 8714 6036 2461 2403 0 5824 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 24144 KiB
[startup+0.205687 s]*
/proc/loadavg: 4.14 4.10 4.09 5/261 248293
/proc/meminfo: memFree=126604948/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=35232 memory=24936 CPUtime=0.19 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 4029 0 0 0 19 0 0 0 20 0 1 0 45158009 36077568 6234 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 8808 6234 2461 2403 0 5918 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35232 KiB
Current children cumulated memory: 24936 KiB
[startup+0.305661 s]*
/proc/loadavg: 4.13 4.09 4.09 5/261 248293
/proc/meminfo: memFree=126604816/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=35232 memory=24936 CPUtime=0.29 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 4038 0 0 0 29 0 0 0 20 0 1 0 45158009 36077568 6234 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 8808 6234 2461 2403 0 5918 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35232 KiB
Current children cumulated memory: 24936 KiB
[startup+0.700227 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 248293
/proc/meminfo: memFree=126602284/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=39520 memory=30232 CPUtime=0.69 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 5431 0 0 0 68 1 0 0 20 0 1 0 45158009 40468480 7558 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 9880 7558 2461 2403 0 6990 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 30232 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 248293
/proc/meminfo: memFree=126596928/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=42900 memory=32872 CPUtime=1.48 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 6124 0 0 0 147 1 0 0 20 0 1 0 45158009 43929600 8218 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 10725 8218 2461 2403 0 7835 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42900 KiB
Current children cumulated memory: 32872 KiB
[startup+3.1056 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 248293
/proc/meminfo: memFree=126591636/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=48472 memory=38152 CPUtime=3.08 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 7385 0 0 0 307 1 0 0 20 0 1 0 45158009 49635328 9538 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 12118 9538 2461 2403 0 9228 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48472 KiB
Current children cumulated memory: 38152 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.09 4.09 5/261 248293
/proc/meminfo: memFree=126588184/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=52192 memory=42640 CPUtime=6.25 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 8549 0 0 0 624 1 0 0 20 0 1 0 45158009 53444608 10660 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 13048 10660 2461 2403 0 10158 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 52192 KiB
Current children cumulated memory: 42640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 6/261 248295
/proc/meminfo: memFree=126584584/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=54676 memory=44752 CPUtime=12.63 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 9082 0 0 0 1262 1 0 0 20 0 1 0 45158009 55988224 11188 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 13669 11188 2461 2403 0 10779 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 54676 KiB
Current children cumulated memory: 44752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.08 5/261 248296
/proc/meminfo: memFree=126576036/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=64184 memory=53424 CPUtime=25.38 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 11451 0 0 0 2536 2 0 0 20 0 1 0 45158009 65724416 13356 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 16046 13356 2461 2403 0 13156 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 64184 KiB
Current children cumulated memory: 53424 KiB
[startup+51.1058 s]
/proc/loadavg: 4.19 4.11 4.09 5/259 248301
/proc/meminfo: memFree=126571536/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=66292 memory=58688 CPUtime=50.87 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 12972 0 0 0 5085 2 0 0 20 0 1 0 45158009 67883008 14672 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 16573 14672 2717 2403 0 13683 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 66292 KiB
Current children cumulated memory: 58688 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 248310
/proc/meminfo: memFree=126569052/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=68664 memory=60924 CPUtime=101.86 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 13735 0 0 0 10183 3 0 0 20 0 1 0 45158009 70311936 15231 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 17166 15231 2717 2403 0 14276 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 68664 KiB
Current children cumulated memory: 60924 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 248320
/proc/meminfo: memFree=126555700/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=77592 memory=69240 CPUtime=161.6 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 16104 0 0 0 16157 3 0 0 20 0 1 0 45158009 79454208 17310 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 19398 17310 2717 2403 0 16508 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 77592 KiB
Current children cumulated memory: 69240 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 248330
/proc/meminfo: memFree=126519780/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=107320 memory=99136 CPUtime=221.33 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 23544 0 0 0 22128 5 0 0 20 0 1 0 45158009 109895680 24784 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 26830 24784 2717 2403 0 23940 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 107320 KiB
Current children cumulated memory: 99136 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 248342
/proc/meminfo: memFree=126486120/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=139060 memory=126044 CPUtime=281.08 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 30372 0 0 0 28101 7 0 0 20 0 1 0 45158009 142397440 31511 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 34765 31511 2717 2403 0 31875 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 139060 KiB
Current children cumulated memory: 126044 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/255 248353
/proc/meminfo: memFree=126464632/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=158088 memory=146812 CPUtime=340.8 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 35593 0 0 0 34073 7 0 0 20 0 1 0 45158009 161882112 36703 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 39522 36703 2717 2403 0 36632 0
Current children cumulated CPU time: 340.8 s
Current children cumulated vsize: 158088 KiB
Current children cumulated memory: 146812 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 248363
/proc/meminfo: memFree=126429680/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=192324 memory=181688 CPUtime=400.54 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 44164 0 0 0 40044 10 0 0 20 0 1 0 45158009 196939776 45422 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 48081 45422 2717 2403 0 45191 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 192324 KiB
Current children cumulated memory: 181688 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 248377
/proc/meminfo: memFree=126398400/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=226860 memory=212588 CPUtime=460.27 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 52023 0 0 0 46015 12 0 0 20 0 1 0 45158009 232304640 53147 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 56715 53147 2717 2403 0 53825 0
################
# More data... #
################
/proc/loadavg: 4.16 4.10 4.09 5/258 249974
/proc/meminfo: memFree=127813296/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3211.27 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156811 0 0 0 311866 9261 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3211.27 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 249987
/proc/meminfo: memFree=127812716/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3271.14 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156812 0 0 0 317475 9639 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 250168
/proc/meminfo: memFree=127812200/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3331.02 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156813 0 0 0 323079 10023 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3331.02 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/260 250178
/proc/meminfo: memFree=127812184/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3390.9 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156814 0 0 0 328684 10406 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 250246
/proc/meminfo: memFree=127811532/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3450.78 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156815 0 0 0 334284 10794 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3450.78 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 250257
/proc/meminfo: memFree=127811500/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3510.66 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156816 0 0 0 339886 11180 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3510.66 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3569.73 s]
# the end of solver process 248292 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3443.25 s, system=114.76 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 250259
/proc/meminfo: memFree=127811484/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3521.14 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 340872 11242 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3521.14 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3545.6 s]
/proc/loadavg: 4.12 4.10 4.09 6/259 250260
/proc/meminfo: memFree=127811416/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3533.91 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 342070 11321 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3533.91 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3558.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 250264
/proc/meminfo: memFree=127811260/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3546.69 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 343264 11405 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3546.69 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3564.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 250264
/proc/meminfo: memFree=127811208/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3553.07 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 343864 11443 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3553.07 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3568 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 250266
/proc/meminfo: memFree=127811124/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3556.27 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 344163 11464 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3556.27 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3568.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 250266
/proc/meminfo: memFree=127811124/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3557.07 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 344238 11469 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3557.07 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3569.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 250266
/proc/meminfo: memFree=127811272/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3557.47 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 344275 11472 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3557.47 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3569.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 250266
/proc/meminfo: memFree=127811272/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3557.87 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 344312 11475 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3557.87 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
[startup+3569.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 250266
/proc/meminfo: memFree=127811272/131524600 swapFree=131071728/131071996
[pid=248292] ppid=248289 vsize=443256 memory=437376 CPUtime=3557.97 cores=0,2
/proc/248292/stat : 248292 (LS-MabS) R 248289 248292 245426 0 -1 4194304 156817 0 0 0 344322 11475 0 0 20 0 1 0 45158009 453894144 109344 134679101440 4194304 14036057 140733024465696 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 35209216 140733024474144 140733024474246 140733024474246 140733024481262 0
/proc/248292/statm: 110814 109344 2732 2403 0 107924 0
Current children cumulated CPU time: 3557.97 s
Current children cumulated vsize: 443256 KiB
Current children cumulated memory: 437376 KiB
Child status: 0
Real time (s): 3569.73
CPU time (s): 3558.01
CPU user time (s): 3443.25
CPU system time (s): 114.76
CPU usage (%): 99.6716
Max. virtual memory (cumulated for all children) (KiB): 967672
Max. memory (cumulated for all children) (KiB): 890652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3443.25
system time used= 114.76
maximum resident set size= 890652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156830
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= 77
involuntary context switches= 24933
# summary of solver processes directly reported to runsolver:
# pid: 248292
# total CPU time (s): 3558.01
# total CPU user time (s): 3443.25
# total CPU system time (s): 114.76
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16872 second user time and 16.312 second system time
The end
Begin job on nodeC024 at 2024-08-04 17:33:10
IDJOB=4428247
IDBENCH=147594
IDSOLVER=3048
FILE ID=nodeC024/4428247-1722785590
RUNJOBID= nodeC024-1722781456-245436
SLURM_JOB_ID= 8258545
Free space on /tmp= 889900 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428247-1722785590/watcher-4428247-1722785590 -o /tmp/evaluation-result-4428247-1722785590/solver-4428247-1722785590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722781456-245436 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428247-1722785590.opb -t 3558 -s 2122877086
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=2122877086
nodeC024.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 : 3664.616
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.90
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 : 3685.680
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.73
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.416
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.90
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 : 3600.409
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.73
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 : 3674.317
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.90
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 : 3685.728
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.73
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 : 3605.919
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.90
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.102
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.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126621292 kB
MemAvailable: 128331096 kB
Buffers: 290544 kB
Cached: 2254144 kB
SwapCached: 36 kB
Active: 638148 kB
Inactive: 3747232 kB
Active(anon): 1560 kB
Inactive(anon): 1868632 kB
Active(file): 636588 kB
Inactive(file): 1878600 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 13160 kB
Writeback: 24 kB
AnonPages: 1838828 kB
Mapped: 106304 kB
Shmem: 29484 kB
KReclaimable: 68880 kB
Slab: 158612 kB
SReclaimable: 68880 kB
SUnreclaim: 89732 kB
KernelStack: 4160 kB
PageTables: 12944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2317548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 22560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1099776 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: 269012 kB
DirectMap2M: 14184448 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC024 at 2024-08-04 18:32:40