0.00/0.00 c Filename:instance-4427843-1722788591.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.00/0.00 c Parse finsih
0.00/0.00 c Start Presolve
0.00/0.00 c After Reduce Vars: 120 Clauses: 90 Top clause weight: 2551 Hard Clauses: 10
1772.39/1779.46 c Use LS-small
1772.39/1779.46 c Use postsolve
1772.39/1779.46 o 1
3557.90/3567.39 s SATISFIABLE
3557.90/3567.39 c Use postsolve
3557.90/3567.39 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 -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 -x90
3557.90/3567.39 c Done 1772.45s
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: 64059 MiB (62454 MiB free)
memory of node 1: 64510 MiB (63531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427843-1722788591/watcher-4427843-1722788591 -o /tmp/evaluation-result-4427843-1722788591/solver-4427843-1722788591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722781455-236600 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427843-1722788591.opb -t 3558 -s 1476238637
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
Using a pseudo terminal to collect output from the solver
Linux Starting watchdog threa
Linux Starting watchdog threa
Current StackSize limit: 8192 KiB
solver pid=240576, runsolver pid=240573
[startup+0.100099 s]*
/proc/loadavg: 4.10 4.10 4.13 5/237 240577
/proc/meminfo: memFree=128984216/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=35328 memory=26652 CPUtime=0.1 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 3614 0 0 0 10 0 0 0 20 0 1 0 45229846 36175872 6663 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 8832 6663 2849 2753 0 5485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35328 KiB
Current children cumulated memory: 26652 KiB
[startup+0.213133 s]*
/proc/loadavg: 4.10 4.10 4.13 4/234 240594
/proc/meminfo: memFree=129270124/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=35856 memory=27180 CPUtime=0.22 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 3755 0 0 0 22 0 0 0 20 0 1 0 45229846 36716544 6795 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 8964 6795 2849 2753 0 5617 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 35856 KiB
Current children cumulated memory: 27180 KiB
[startup+0.313079 s]*
/proc/loadavg: 4.10 4.10 4.13 6/229 240609
/proc/meminfo: memFree=129482912/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=35856 memory=27180 CPUtime=0.32 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 3763 0 0 0 32 0 0 0 20 0 1 0 45229846 36716544 6795 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 8964 6795 2849 2753 0 5617 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 35856 KiB
Current children cumulated memory: 27180 KiB
[startup+0.700276 s]
/proc/loadavg: 4.10 4.10 4.13 5/238 240625
/proc/meminfo: memFree=129455960/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=37844 memory=30872 CPUtime=0.69 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 4688 0 0 0 69 0 0 0 20 0 1 0 45229846 38752256 7718 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 9461 7718 2849 2753 0 6114 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 30872 KiB
[startup+1.50027 s]
/proc/loadavg: 4.10 4.10 4.13 5/238 240625
/proc/meminfo: memFree=129443316/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=39564 memory=32188 CPUtime=1.49 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 5083 0 0 0 149 0 0 0 20 0 1 0 45229846 40513536 8047 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 9891 8047 2849 2753 0 6544 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39564 KiB
Current children cumulated memory: 32188 KiB
[startup+3.11303 s]
/proc/loadavg: 4.10 4.10 4.13 5/242 240689
/proc/meminfo: memFree=129441064/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=43552 memory=35352 CPUtime=3.09 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 5883 0 0 0 309 0 0 0 20 0 1 0 45229846 44597248 8838 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 10888 8838 2849 2753 0 7541 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43552 KiB
Current children cumulated memory: 35352 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.10 4.13 5/242 240689
/proc/meminfo: memFree=129308860/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=48052 memory=40408 CPUtime=6.26 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 7107 0 0 0 626 0 0 0 20 0 1 0 45229846 49205248 10102 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 12013 10102 2849 2753 0 8666 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48052 KiB
Current children cumulated memory: 40408 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.13 5/242 240691
/proc/meminfo: memFree=129263704/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=52780 memory=45892 CPUtime=12.63 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 8531 0 0 0 1263 0 0 0 20 0 1 0 45229846 54046720 11473 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 13195 11473 2849 2753 0 9848 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 52780 KiB
Current children cumulated memory: 45892 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.13 5/242 240692
/proc/meminfo: memFree=129210368/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=67828 memory=61864 CPUtime=25.38 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 12277 0 0 0 2537 1 0 0 20 0 1 0 45229846 69455872 15466 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 16957 15466 2849 2753 0 13610 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 67828 KiB
Current children cumulated memory: 61864 KiB
[startup+51.1133 s]
/proc/loadavg: 4.23 4.13 4.14 5/242 240697
/proc/meminfo: memFree=129102332/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=109520 memory=101448 CPUtime=50.89 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 22431 0 0 0 5085 4 0 0 20 0 1 0 45229846 112148480 25362 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 27380 25362 2849 2753 0 24033 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 109520 KiB
Current children cumulated memory: 101448 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/242 240705
/proc/meminfo: memFree=128962384/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=145676 memory=138420 CPUtime=101.88 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 31243 0 0 0 10182 6 0 0 20 0 1 0 45229846 149172224 34605 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 36419 34605 2849 2753 0 33072 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 145676 KiB
Current children cumulated memory: 138420 KiB
[startup+162.3 s]
/proc/loadavg: 4.60 4.25 4.17 5/241 241100
/proc/meminfo: memFree=128797732/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=156424 memory=149060 CPUtime=161.64 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 33916 0 0 0 16158 6 0 0 20 0 1 0 45229846 160178176 37265 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 39106 37265 2849 2753 0 35759 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 156424 KiB
Current children cumulated memory: 149060 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.29 4.19 5/241 241111
/proc/meminfo: memFree=128729892/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=160356 memory=152264 CPUtime=221.41 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 34989 0 0 0 22134 7 0 0 20 0 1 0 45229846 164204544 38066 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 40089 38066 2849 2753 0 36742 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 160356 KiB
Current children cumulated memory: 152264 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 4.28 4.19 5/241 241121
/proc/meminfo: memFree=128663736/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=162268 memory=156572 CPUtime=281.18 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 35960 0 0 0 28111 7 0 0 20 0 1 0 45229846 166162432 39143 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 40567 39143 3195 2753 0 37220 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 162268 KiB
Current children cumulated memory: 156572 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/242 241301
/proc/meminfo: memFree=128564188/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=174124 memory=168356 CPUtime=340.95 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 38925 0 0 0 34087 8 0 0 20 0 1 0 45229846 178302976 42089 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 43531 42089 3195 2753 0 40184 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 174124 KiB
Current children cumulated memory: 168356 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.22 4.18 5/242 241312
/proc/meminfo: memFree=128421220/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=180960 memory=174684 CPUtime=400.72 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 40819 0 0 0 40064 8 0 0 20 0 1 0 45229846 185303040 43671 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 45240 43671 3195 2753 0 41893 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 180960 KiB
Current children cumulated memory: 174684 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/244 241382
/proc/meminfo: memFree=128296000/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=180960 memory=174688 CPUtime=460.48 cores=4,6
################
# More data... #
################
/proc/loadavg: 4.12 4.17 4.18 5/241 242452
/proc/meminfo: memFree=127290856/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3213.36 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 309974 11362 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.20 4.19 5/241 242462
/proc/meminfo: memFree=127290472/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3273.29 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 315501 11828 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/241 242472
/proc/meminfo: memFree=127290164/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3333.2 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 321020 12300 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/240 242483
/proc/meminfo: memFree=127289892/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3393.12 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 326535 12777 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/241 242496
/proc/meminfo: memFree=127289664/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3453.05 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 332052 13253 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/240 242506
/proc/meminfo: memFree=127289168/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3512.96 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 337567 13729 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3567.39 s]
# the end of solver process 240576 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3417.18 s, system=140.825 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.20 4.17 4.18 5/240 242508
/proc/meminfo: memFree=127289172/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3523.44 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 338527 13817 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3523.44 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3545.6 s]
/proc/loadavg: 4.16 4.16 4.17 5/240 242509
/proc/meminfo: memFree=127289180/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3536.23 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 339708 13915 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3536.23 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3558.4 s]
/proc/loadavg: 4.12 4.15 4.17 5/240 242512
/proc/meminfo: memFree=127289164/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3549.02 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 340888 14014 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3549.02 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3561.6 s]
/proc/loadavg: 4.12 4.15 4.17 5/240 242513
/proc/meminfo: memFree=127289100/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3552.21 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 341182 14039 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3552.21 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3564.8 s]
/proc/loadavg: 4.11 4.15 4.17 5/240 242513
/proc/meminfo: memFree=127289108/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3555.41 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 341478 14063 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3555.41 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3566.4 s]
/proc/loadavg: 4.11 4.15 4.17 5/240 242513
/proc/meminfo: memFree=127289108/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3557.01 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 341625 14076 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3557.01 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3566.8 s]
/proc/loadavg: 4.11 4.15 4.17 5/240 242513
/proc/meminfo: memFree=127289108/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3557.4 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 341662 14078 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3557.4 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3567.2 s]
/proc/loadavg: 4.11 4.15 4.17 5/240 242513
/proc/meminfo: memFree=127289108/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3557.8 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 341699 14081 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3557.8 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
[startup+3567.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/240 242513
/proc/meminfo: memFree=127289108/131655788 swapFree=131071472/131071996
[pid=240576] ppid=240573 vsize=385156 memory=380504 CPUtime=3557.9 cores=4,6
/proc/240576/stat : 240576 (LS-MabSP) R 240573 240576 236589 0 -1 4194304 101335 0 0 0 341709 14081 0 0 20 0 1 0 45229846 394399744 95126 134679101440 4194304 15467897 140734816393952 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 26132480 140734816396322 140734816396425 140734816396425 140734816403437 0
/proc/240576/statm: 96289 95126 3195 2753 0 92942 0
Current children cumulated CPU time: 3557.9 s
Current children cumulated vsize: 385156 KiB
Current children cumulated memory: 380504 KiB
Child status: 0
Real time (s): 3567.39
CPU time (s): 3558.01
CPU user time (s): 3417.18
CPU system time (s): 140.825
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 417628
Max. memory (cumulated for all children) (KiB): 410904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3417.18
system time used= 140.825
maximum resident set size= 410904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101358
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= 81
involuntary context switches= 2052
# summary of solver processes directly reported to runsolver:
# pid: 240576
# total CPU time (s): 3558.01
# total CPU user time (s): 3417.18
# total CPU system time (s): 140.825
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0832 second user time and 30.8144 second system time
The end
Begin job on nodeC008 at 2024-08-04 18:23:11
IDJOB=4427843
IDBENCH=147580
IDSOLVER=3047
FILE ID=nodeC008/4427843-1722788591
RUNJOBID= nodeC008-1722781455-236600
SLURM_JOB_ID= 8258536
Free space on /tmp= 723684 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427843-1722788591/watcher-4427843-1722788591 -o /tmp/evaluation-result-4427843-1722788591/solver-4427843-1722788591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722781455-236600 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427843-1722788591.opb -t 3558 -s 1476238637
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=1476238637
nodeC008.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 : 3666.514
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 : 6984.63
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 : 1197.365
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.27
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.539
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 : 6984.63
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 : 2794.131
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.27
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 : 3492.333
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 : 6984.63
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 : 3670.831
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.27
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.367
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 : 6984.63
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.539
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129010408 kB
MemAvailable: 129600216 kB
Buffers: 293828 kB
Cached: 1138928 kB
SwapCached: 72 kB
Active: 549204 kB
Inactive: 1642088 kB
Active(anon): 1496 kB
Inactive(anon): 786356 kB
Active(file): 547708 kB
Inactive(file): 855732 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 16244 kB
Writeback: 0 kB
AnonPages: 758688 kB
Mapped: 103064 kB
Shmem: 29296 kB
KReclaimable: 52800 kB
Slab: 135256 kB
SReclaimable: 52800 kB
SUnreclaim: 82456 kB
KernelStack: 3856 kB
PageTables: 10532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1342036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 643072 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: 269128 kB
DirectMap2M: 22704128 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC008 at 2024-08-04 19:22:39