0.00/0.00 c Filename:instance-4445106-1721323694.opb, Cutoff_time:3600, 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: 70 Clauses: 2 Top clause weight: 1 Hard Clauses: 2
1797.32/1802.89 c Use LS-small
1797.32/1802.89 s SATISFIABLE
1797.32/1802.89 c Use postsolve
1797.32/1802.89 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
1797.32/1802.89 c Done 1797.41s
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 (60362 MiB free)
memory of node 1: 64473 MiB (60912 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445106-1721323694/watcher-4445106-1721323694 -o /tmp/evaluation-result-4445106-1721323694/solver-4445106-1721323694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721318070-970568 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445106-1721323694.opb -t 3600 -s 2119772959
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=974370, runsolver pid=974367
[startup+0.100206 s]*
/proc/loadavg: 4.10 4.11 4.13 5/257 974371
/proc/meminfo: memFree=124178640/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=25412 memory=17816 CPUtime=0.09 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 1405 0 0 0 9 0 0 0 20 0 1 0 184539986 26021888 4454 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 6353 4454 2849 2753 0 3006 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25412 KiB
Current children cumulated memory: 17816 KiB
[startup+0.206206 s]*
/proc/loadavg: 4.10 4.11 4.13 5/257 974371
/proc/meminfo: memFree=124178304/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=25412 memory=18080 CPUtime=0.19 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 1445 0 0 0 19 0 0 0 20 0 1 0 184539986 26021888 4520 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 6353 4520 2849 2753 0 3006 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 25412 KiB
Current children cumulated memory: 18080 KiB
[startup+0.305206 s]*
/proc/loadavg: 4.10 4.11 4.13 5/257 974371
/proc/meminfo: memFree=124177296/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=26228 memory=18872 CPUtime=0.29 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 1639 0 0 0 29 0 0 0 20 0 1 0 184539986 26857472 4718 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 6557 4718 2849 2753 0 3210 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26228 KiB
Current children cumulated memory: 18872 KiB
[startup+0.700139 s]
/proc/loadavg: 4.10 4.11 4.13 5/257 974371
/proc/meminfo: memFree=124177156/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=27040 memory=19388 CPUtime=0.68 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 1872 0 0 0 68 0 0 0 20 0 1 0 184539986 27688960 4847 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 6760 4847 2849 2753 0 3413 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27040 KiB
Current children cumulated memory: 19388 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.11 4.13 5/256 974371
/proc/meminfo: memFree=124176628/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=27040 memory=19388 CPUtime=1.47 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 1875 0 0 0 147 0 0 0 20 0 1 0 184539986 27688960 4847 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 6760 4847 2849 2753 0 3413 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27040 KiB
Current children cumulated memory: 19388 KiB
[startup+3.10609 s]
/proc/loadavg: 4.10 4.11 4.13 6/261 974523
/proc/meminfo: memFree=124173228/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=27040 memory=19388 CPUtime=3.08 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 1916 0 0 0 308 0 0 0 20 0 1 0 184539986 27688960 4847 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 6760 4847 2849 2753 0 3413 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 27040 KiB
Current children cumulated memory: 19388 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.11 4.13 5/258 974543
/proc/meminfo: memFree=124173568/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=28348 memory=21756 CPUtime=6.26 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 2470 0 0 0 626 0 0 0 20 0 1 0 184539986 29028352 5439 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 7087 5439 2849 2753 0 3740 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 28348 KiB
Current children cumulated memory: 21756 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.11 4.13 5/258 974543
/proc/meminfo: memFree=124168276/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=34784 memory=28080 CPUtime=12.63 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 4073 0 0 0 1263 0 0 0 20 0 1 0 184539986 35618816 7020 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 8696 7020 2849 2753 0 5349 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 34784 KiB
Current children cumulated memory: 28080 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.13 5/258 974546
/proc/meminfo: memFree=124157412/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=45196 memory=38116 CPUtime=25.39 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 6595 0 0 0 2538 1 0 0 20 0 1 0 184539986 46280704 9529 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 11299 9529 2849 2753 0 7952 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 45196 KiB
Current children cumulated memory: 38116 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 4.13 5/258 974549
/proc/meminfo: memFree=124133984/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=71368 memory=60960 CPUtime=50.9 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 12403 0 0 0 5089 1 0 0 20 0 1 0 184539986 73080832 15240 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 17842 15240 2849 2753 0 14495 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 71368 KiB
Current children cumulated memory: 60960 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.19 4.15 5/259 974560
/proc/meminfo: memFree=124096516/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=106640 memory=97872 CPUtime=101.93 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 20992 0 0 0 10190 3 0 0 20 0 1 0 184539986 109199360 24468 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 26660 24468 2849 2753 0 23313 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 106640 KiB
Current children cumulated memory: 97872 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.18 4.15 5/259 974629
/proc/meminfo: memFree=124057560/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=149696 memory=135716 CPUtime=161.72 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 30663 0 0 0 16167 5 0 0 20 0 1 0 184539986 153288704 33929 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 37424 33929 2849 2753 0 34077 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 149696 KiB
Current children cumulated memory: 135716 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/259 974639
/proc/meminfo: memFree=124017572/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=187604 memory=175120 CPUtime=221.52 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 40584 0 0 0 22145 7 0 0 20 0 1 0 184539986 192106496 43780 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 46901 43780 2849 2753 0 43554 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 187604 KiB
Current children cumulated memory: 175120 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/259 974650
/proc/meminfo: memFree=123975720/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=231728 memory=216028 CPUtime=281.34 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 50896 0 0 0 28124 10 0 0 20 0 1 0 184539986 237289472 54007 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 57932 54007 2849 2753 0 54585 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 231728 KiB
Current children cumulated memory: 216028 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/258 974661
/proc/meminfo: memFree=123934684/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=273540 memory=256028 CPUtime=341.15 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 60441 0 0 0 34103 12 0 0 20 0 1 0 184539986 280104960 64007 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 68385 64007 2849 2753 0 65038 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 273540 KiB
Current children cumulated memory: 256028 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/257 974672
/proc/meminfo: memFree=123899184/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=310784 memory=290984 CPUtime=400.95 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 69254 0 0 0 40082 13 0 0 20 0 1 0 184539986 318242816 72746 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 77696 72746 2849 2753 0 74349 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 310784 KiB
Current children cumulated memory: 290984 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 4.18 4.15 5/254 974683
/proc/meminfo: memFree=123874464/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=333784 memory=315052 CPUtime=460.77 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 74821 0 0 0 46063 14 0 0 20 0 1 0 184539986 341794816 78763 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 83446 78763 2849 2753 0 80099 0
################
# More data... #
################
Current children cumulated memory: 742220 KiB
[startup+1362.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/256 974856
/proc/meminfo: memFree=123410520/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=791700 memory=763184 CPUtime=1358.07 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 180513 0 0 0 135772 35 0 0 20 0 1 0 184539986 810700800 190796 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 197925 190796 2849 2753 0 194578 0
Current children cumulated CPU time: 1358.07 s
Current children cumulated vsize: 791700 KiB
Current children cumulated memory: 763184 KiB
[startup+1422.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/258 974870
/proc/meminfo: memFree=123394892/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=802900 memory=778000 CPUtime=1417.91 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 184063 0 0 0 141755 36 0 0 20 0 1 0 184539986 822169600 194500 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 200725 194500 2849 2753 0 197378 0
Current children cumulated CPU time: 1417.91 s
Current children cumulated vsize: 802900 KiB
Current children cumulated memory: 778000 KiB
[startup+1482.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/258 974882
/proc/meminfo: memFree=123378168/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=816812 memory=793828 CPUtime=1477.74 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 188276 0 0 0 147737 37 0 0 20 0 1 0 184539986 836415488 198457 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 204203 198457 2849 2753 0 200856 0
Current children cumulated CPU time: 1477.74 s
Current children cumulated vsize: 816812 KiB
Current children cumulated memory: 793828 KiB
[startup+1542.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/258 974892
/proc/meminfo: memFree=123355240/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=834212 memory=816164 CPUtime=1537.56 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 193300 0 0 0 153718 38 0 0 20 0 1 0 184539986 854233088 204041 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 208553 204041 2849 2753 0 205206 0
Current children cumulated CPU time: 1537.56 s
Current children cumulated vsize: 834212 KiB
Current children cumulated memory: 816164 KiB
[startup+1602.3 s]
/proc/loadavg: 4.05 4.09 4.09 4/255 975009
/proc/meminfo: memFree=123475344/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=858012 memory=840444 CPUtime=1597.39 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 199714 0 0 0 159700 39 0 0 20 0 1 0 184539986 878604288 210111 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 214503 210111 2849 2753 0 211156 0
Current children cumulated CPU time: 1597.39 s
Current children cumulated vsize: 858012 KiB
Current children cumulated memory: 840444 KiB
[startup+1662.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 975619
/proc/meminfo: memFree=123197164/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=887340 memory=861196 CPUtime=1657.22 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 205232 0 0 0 165682 40 0 0 20 0 1 0 184539986 908636160 215299 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 221835 215299 2849 2753 0 218488 0
Current children cumulated CPU time: 1657.22 s
Current children cumulated vsize: 887340 KiB
Current children cumulated memory: 861196 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 975630
/proc/meminfo: memFree=123172004/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=908172 memory=886132 CPUtime=1717.04 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 210743 0 0 0 171663 41 0 0 20 0 1 0 184539986 929968128 221533 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 227043 221533 2849 2753 0 223696 0
Current children cumulated CPU time: 1717.04 s
Current children cumulated vsize: 908172 KiB
Current children cumulated memory: 886132 KiB
[startup+1782.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 975643
/proc/meminfo: memFree=123145500/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=933800 memory=910872 CPUtime=1776.88 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 217555 0 0 0 177646 42 0 0 20 0 1 0 184539986 956211200 227718 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 233450 227718 2849 2753 0 230103 0
Current children cumulated CPU time: 1776.88 s
Current children cumulated vsize: 933800 KiB
Current children cumulated memory: 910872 KiB
[startup+1802.91 s]
# the end of solver process 974370 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1796.85 s, system=0.582118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.12 4.09 4.09 5/257 975644
/proc/meminfo: memFree=123142448/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=936620 memory=913836 CPUtime=1786.55 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 218331 0 0 0 178613 42 0 0 20 0 1 0 184539986 959098880 228459 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 234155 228459 2849 2753 0 230808 0
Current children cumulated CPU time: 1786.55 s
Current children cumulated vsize: 936620 KiB
Current children cumulated memory: 913836 KiB
[startup+1798.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 975646
/proc/meminfo: memFree=123141688/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=937644 memory=915064 CPUtime=1792.93 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 218705 0 0 0 179251 42 0 0 20 0 1 0 184539986 960147456 228766 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 234411 228766 2849 2753 0 231064 0
Current children cumulated CPU time: 1792.93 s
Current children cumulated vsize: 937644 KiB
Current children cumulated memory: 915064 KiB
[startup+1800 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 975646
/proc/meminfo: memFree=123141128/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=937644 memory=915064 CPUtime=1794.53 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 218708 0 0 0 179411 42 0 0 20 0 1 0 184539986 960147456 228766 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 234411 228766 2849 2753 0 231064 0
Current children cumulated CPU time: 1794.53 s
Current children cumulated vsize: 937644 KiB
Current children cumulated memory: 915064 KiB
[startup+1801.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 975646
/proc/meminfo: memFree=123207660/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=415072 memory=409912 CPUtime=1796.12 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 218805 0 0 0 179567 45 0 0 20 0 1 0 184539986 425033728 102478 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 103768 102478 2849 2753 0 100421 0
Current children cumulated CPU time: 1796.12 s
Current children cumulated vsize: 415072 KiB
Current children cumulated memory: 409912 KiB
[startup+1802.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 975646
/proc/meminfo: memFree=123650804/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=415072 memory=409912 CPUtime=1796.92 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 218805 0 0 0 179638 54 0 0 20 0 1 0 184539986 425033728 102478 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 103768 102478 2849 2753 0 100421 0
Current children cumulated CPU time: 1796.92 s
Current children cumulated vsize: 415072 KiB
Current children cumulated memory: 409912 KiB
[startup+1802.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 975646
/proc/meminfo: memFree=123650804/131524596 swapFree=131071996/131071996
[pid=974370] ppid=974367 vsize=415072 memory=409912 CPUtime=1797.32 cores=1,3
/proc/974370/stat : 974370 (LS-MabSP) R 974367 974370 970556 0 -1 4194304 218805 0 0 0 179675 57 0 0 20 0 1 0 184539986 425033728 102478 134679101440 4194304 15467897 140728090285104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 25468928 140728090289182 140728090289285 140728090289285 140728090296301 0
/proc/974370/statm: 103768 102478 2849 2753 0 100421 0
Current children cumulated CPU time: 1797.32 s
Current children cumulated vsize: 415072 KiB
Current children cumulated memory: 409912 KiB
[startup+1802.9 s]*
/proc/loadavg: 4.10 4.09 4.09 6/258 975656
/proc/meminfo: memFree=123977612/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1802.91
CPU time (s): 1797.43
CPU user time (s): 1796.85
CPU system time (s): 0.582118
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 937644
Max. memory (cumulated for all children) (KiB): 915172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.85
system time used= 0.582118
maximum resident set size= 915172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218806
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= 115
involuntary context switches= 2436
# summary of solver processes directly reported to runsolver:
# pid: 974370
# total CPU time (s): 1797.43
# total CPU user time (s): 1796.85
# total CPU system time (s): 0.582118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88552 second user time and 6.56989 second system time
The end
Begin job on nodeC034 at 2024-07-18 19:28:27
IDJOB=4445106
IDBENCH=148100
IDSOLVER=3047
FILE ID=nodeC034/4445106-1721323694
RUNJOBID= nodeC034-1721318070-970568
SLURM_JOB_ID= 7542672
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445106-1721323694/watcher-4445106-1721323694 -o /tmp/evaluation-result-4445106-1721323694/solver-4445106-1721323694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721318070-970568 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445106-1721323694.opb -t 3600 -s 2119772959
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=2119772959
nodeC034.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 : 3663.594
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.99
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 : 3665.712
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.58
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 : 3599.914
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.99
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 : 3663.301
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.58
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 : 3663.646
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.99
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 : 3665.442
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.58
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 : 3600.168
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.99
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 : 3625.014
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 124186148 kB
MemAvailable: 129441856 kB
Buffers: 488264 kB
Cached: 5542136 kB
SwapCached: 0 kB
Active: 983392 kB
Inactive: 5607012 kB
Active(anon): 1508 kB
Inactive(anon): 596244 kB
Active(file): 981884 kB
Inactive(file): 5010768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16456 kB
Writeback: 8 kB
AnonPages: 560016 kB
Mapped: 140196 kB
Shmem: 37720 kB
KReclaimable: 205760 kB
Slab: 332092 kB
SReclaimable: 205760 kB
SUnreclaim: 126332 kB
KernelStack: 4048 kB
PageTables: 10188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 854068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 413696 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: 307924 kB
DirectMap2M: 41408512 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC034 at 2024-07-18 19:58:30