0.00/0.00 c Filename:instance-4428407-1722813223.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1.00/1.01 c Use LS-small
1.00/1.01 o 22
3557.99/3565.61 s SATISFIABLE
3557.99/3565.61 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 -x147
3557.99/3565.61 c Done 1s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61970 MiB free)
memory of node 1: 64473 MiB (63421 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428407-1722813223/watcher-4428407-1722813223 -o /tmp/evaluation-result-4428407-1722813223/solver-4428407-1722813223 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722806084-258112 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428407-1722813223.opb -t 3558 -s 1282788952
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=262760, runsolver pid=262757
[startup+0.100103 s]*
/proc/loadavg: 4.71 4.33 4.19 5/244 262761
/proc/meminfo: memFree=128373488/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=50836 memory=41448 CPUtime=0.1 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 8152 0 0 0 10 0 0 0 20 0 1 0 47693414 52056064 10362 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 12709 10362 2461 2403 0 9819 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50836 KiB
Current children cumulated memory: 41448 KiB
[startup+0.212787 s]*
/proc/loadavg: 4.71 4.33 4.19 5/244 262761
/proc/meminfo: memFree=128350808/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=70040 memory=58872 CPUtime=0.21 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 12491 0 0 0 20 1 0 0 20 0 1 0 47693414 71720960 14718 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 17510 14718 2461 2403 0 14620 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 70040 KiB
Current children cumulated memory: 58872 KiB
[startup+0.312689 s]*
/proc/loadavg: 4.71 4.33 4.19 5/244 262761
/proc/meminfo: memFree=128333868/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=89348 memory=75504 CPUtime=0.31 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 16687 0 0 0 29 2 0 0 20 0 1 0 47693414 91492352 18876 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 22337 18876 2461 2403 0 19447 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 89348 KiB
Current children cumulated memory: 75504 KiB
[startup+0.700307 s]
/proc/loadavg: 4.71 4.33 4.19 5/244 262761
/proc/meminfo: memFree=128332384/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=92836 memory=78936 CPUtime=0.69 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 17545 0 0 0 66 3 0 0 20 0 1 0 47693414 95064064 19734 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 23209 19734 2461 2403 0 20319 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92836 KiB
Current children cumulated memory: 78936 KiB
[startup+1.50025 s]
/proc/loadavg: 4.71 4.33 4.19 5/244 262761
/proc/meminfo: memFree=128322692/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=1.48 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 141 7 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+3.11213 s]
/proc/loadavg: 4.65 4.32 4.19 5/244 262761
/proc/meminfo: memFree=128370964/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=3.09 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 293 16 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+6.30024 s]
/proc/loadavg: 4.65 4.32 4.19 5/244 262762
/proc/meminfo: memFree=128370296/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=6.27 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 593 34 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+12.7002 s]
/proc/loadavg: 4.63 4.33 4.19 5/244 262762
/proc/meminfo: memFree=128370336/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=12.66 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 1191 75 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+25.5003 s]
/proc/loadavg: 4.53 4.32 4.19 5/244 262765
/proc/meminfo: memFree=128370464/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=25.43 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 2390 153 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+51.1125 s]
/proc/loadavg: 4.35 4.29 4.18 5/244 262768
/proc/meminfo: memFree=128366664/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=50.99 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 4789 310 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+102.3 s]
/proc/loadavg: 4.81 4.43 4.24 5/244 262777
/proc/meminfo: memFree=128361616/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37568 CPUtime=102.07 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 9567 640 0 0 20 0 1 0 47693414 46649344 9392 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9392 2476 2403 0 8499 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37568 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.38 4.23 5/242 262790
/proc/meminfo: memFree=128356984/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37696 CPUtime=161.93 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 15155 1038 0 0 20 0 1 0 47693414 46649344 9424 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9424 2476 2403 0 8499 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37696 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.32 4.22 5/242 262800
/proc/meminfo: memFree=128355580/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=221.81 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 20758 1423 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.28 4.21 5/242 262810
/proc/meminfo: memFree=128354720/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=281.68 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 26374 1794 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.24 4.20 5/241 262822
/proc/meminfo: memFree=128354316/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=341.55 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 31977 2178 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.21 4.19 5/241 262832
/proc/meminfo: memFree=128353408/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=401.42 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 37578 2564 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/244 262847
/proc/meminfo: memFree=128352640/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=461.29 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 43175 2954 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
################
# More data... #
################
/proc/loadavg: 4.66 4.29 4.16 5/241 264517
/proc/meminfo: memFree=128318832/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3155.54 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 295041 20513 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3155.54 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.25 4.16 5/241 264527
/proc/meminfo: memFree=128318104/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3215.42 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 300638 20904 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3215.42 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/241 264538
/proc/meminfo: memFree=128317252/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3275.29 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 306216 21313 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3275.29 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/241 264550
/proc/meminfo: memFree=128316752/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3335.16 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 311826 21690 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3335.16 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.18 4.15 5/241 264561
/proc/meminfo: memFree=128315912/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3395.03 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 317422 22081 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3395.03 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/243 264575
/proc/meminfo: memFree=128315128/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3454.91 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 323010 22481 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3454.91 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/243 264585
/proc/meminfo: memFree=128314352/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3514.77 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 328574 22903 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3514.77 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3565.61 s]
# the end of solver process 262760 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3326.26 s, system=231.749 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.06 4.14 4.13 5/243 264587
/proc/meminfo: memFree=128314240/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3525.26 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 329557 22969 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3525.26 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3545.6 s]
/proc/loadavg: 4.13 4.15 4.14 5/243 264592
/proc/meminfo: memFree=128313792/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3538.03 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 330749 23054 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3538.03 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3558.4 s]
/proc/loadavg: 4.18 4.16 4.14 4/232 264652
/proc/meminfo: memFree=128571572/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3550.8 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 331952 23128 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3550.8 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3561.6 s]
/proc/loadavg: 4.18 4.16 4.14 2/222 264686
/proc/meminfo: memFree=128609044/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3554 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 332253 23147 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3554 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3563.2 s]
/proc/loadavg: 3.92 4.11 4.12 2/222 264686
/proc/meminfo: memFree=128609036/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3555.6 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 332402 23158 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3555.6 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3564.8 s]
/proc/loadavg: 3.92 4.11 4.12 2/222 264688
/proc/meminfo: memFree=128609036/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3557.19 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 332551 23168 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3557.19 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3565.2 s]
/proc/loadavg: 3.92 4.11 4.12 2/222 264688
/proc/meminfo: memFree=128608976/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3557.59 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 332587 23172 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3557.59 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
[startup+3565.6 s]
/proc/loadavg: 3.92 4.11 4.12 2/222 264688
/proc/meminfo: memFree=128608976/131655788 swapFree=131071996/131071996
[pid=262760] ppid=262757 vsize=45556 memory=37908 CPUtime=3557.99 cores=0,2
/proc/262760/stat : 262760 (LS-MabS) R 262757 262760 258102 0 -1 4194304 19604 0 0 0 332625 23174 0 0 20 0 1 0 47693414 46649344 9477 134679101440 4194304 14036057 140725581947984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 45453312 140725581956128 140725581956230 140725581956230 140725581963246 0
/proc/262760/statm: 11389 9477 2476 2403 0 8499 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 45556 KiB
Current children cumulated memory: 37908 KiB
Child status: 0
Real time (s): 3565.61
CPU time (s): 3558.01
CPU user time (s): 3326.26
CPU system time (s): 231.749
CPU usage (%): 99.7868
Max. virtual memory (cumulated for all children) (KiB): 101080
Max. memory (cumulated for all children) (KiB): 87004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3326.26
system time used= 231.749
maximum resident set size= 87060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19608
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= 24861
# summary of solver processes directly reported to runsolver:
# pid: 262760
# total CPU time (s): 3558.01
# total CPU user time (s): 3326.26
# total CPU system time (s): 231.749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1482 second user time and 30.741 second system time
The end
Begin job on nodeC004 at 2024-08-05 01:13:43
IDJOB=4428407
IDBENCH=155398
IDSOLVER=3048
FILE ID=nodeC004/4428407-1722813223
RUNJOBID= nodeC004-1722806084-258112
SLURM_JOB_ID= 8258562
Free space on /tmp= 723732 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-sbox_4_shg.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-4428407-1722813223/watcher-4428407-1722813223 -o /tmp/evaluation-result-4428407-1722813223/solver-4428407-1722813223 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722806084-258112 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428407-1722813223.opb -t 3558 -s 1282788952
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8cbff203f2ec66bcdec19280bdd1d00
RANDOM SEED=1282788952
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.963
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3651.721
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3651.798
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.476
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.431
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128401104 kB
MemAvailable: 129743516 kB
Buffers: 306512 kB
Cached: 1873228 kB
SwapCached: 0 kB
Active: 535232 kB
Inactive: 2252380 kB
Active(anon): 1436 kB
Inactive(anon): 635952 kB
Active(file): 533796 kB
Inactive(file): 1616428 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 63464 kB
Writeback: 160 kB
AnonPages: 608060 kB
Mapped: 107360 kB
Shmem: 29512 kB
KReclaimable: 64776 kB
Slab: 147880 kB
SReclaimable: 64776 kB
SUnreclaim: 83104 kB
KernelStack: 3888 kB
PageTables: 10496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 845384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 252744 kB
DirectMap2M: 20623360 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC004 at 2024-08-05 02:13:09