0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 o 70
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ...
1794.41/1800.01 c SCIP timeout with lower and upper bounds: [55, 60]
3600.04/3611.40
3600.04/3611.40 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
3600.04/3611.40 s SATISFIABLE
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 (57623 MiB free)
memory of node 1: 64473 MiB (61516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439755-1721248801/watcher-4439755-1721248801 -o /tmp/evaluation-result-4439755-1721248801/solver-4439755-1721248801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721243363-923574 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439755-1721248801.opb -total-t=3600 -no-par -v0
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
solver pid=926798, runsolver pid=926795
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.15 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121980020/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=37228 memory=28444 CPUtime=0.1 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 4855 0 0 0 9 1 0 0 20 0 1 0 177050984 38121472 7111 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 9307 7111 2554 2550 0 6262 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37228 KiB
Current children cumulated memory: 28444 KiB
[startup+0.205928 s]*
/proc/loadavg: 4.15 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121959968/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=58784 memory=48420 CPUtime=0.2 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 9465 0 0 0 18 2 0 0 20 0 1 0 177050984 60194816 12105 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 14696 12105 2634 2550 0 11651 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58784 KiB
Current children cumulated memory: 48420 KiB
[startup+0.305769 s]*
/proc/loadavg: 4.15 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121959184/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=59188 memory=48948 CPUtime=0.3 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 9583 0 0 0 28 2 0 0 20 0 1 0 177050984 60608512 12237 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 14797 12237 2634 2550 0 11752 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59188 KiB
Current children cumulated memory: 48948 KiB
[startup+0.700191 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121958644/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=59332 memory=48948 CPUtime=0.69 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 9591 0 0 0 67 2 0 0 20 0 1 0 177050984 60755968 12237 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 14833 12237 2634 2550 0 11788 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59332 KiB
Current children cumulated memory: 48948 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121940140/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=105312 memory=87016 CPUtime=1.49 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 19083 0 0 0 146 3 0 0 20 0 1 0 177050984 107839488 21754 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 26328 21754 2650 2550 0 23283 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105312 KiB
Current children cumulated memory: 87016 KiB
[startup+3.10557 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121885448/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=123068 memory=101272 CPUtime=3.09 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 22653 0 0 0 305 4 0 0 20 0 1 0 177050984 126021632 25318 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 30767 25318 2650 2550 0 27722 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 123068 KiB
Current children cumulated memory: 101272 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 926799
/proc/meminfo: memFree=121881992/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=124988 memory=104704 CPUtime=6.27 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 23535 0 0 0 623 4 0 0 20 0 1 0 177050984 127987712 26176 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 31247 26176 2650 2550 0 28202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124988 KiB
Current children cumulated memory: 104704 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 926800
/proc/meminfo: memFree=121860908/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=150240 memory=129236 CPUtime=12.65 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 29665 0 0 0 1260 5 0 0 20 0 1 0 177050984 153845760 32309 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 37560 32309 2650 2550 0 34515 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 150240 KiB
Current children cumulated memory: 129236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.11 5/258 926848
/proc/meminfo: memFree=125264448/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=178852 memory=156292 CPUtime=25.42 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 36543 0 0 0 2534 8 0 0 20 0 1 0 177050984 183144448 39073 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 44713 39073 2650 2550 0 41668 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 178852 KiB
Current children cumulated memory: 156292 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.15 4.10 5/258 926853
/proc/meminfo: memFree=125220016/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=196336 memory=173716 CPUtime=50.93 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 40905 0 0 0 5084 9 0 0 20 0 1 0 177050984 201048064 43429 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 49084 43429 2650 2550 0 46039 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 196336 KiB
Current children cumulated memory: 173716 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 926953
/proc/meminfo: memFree=125620108/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=214980 memory=190756 CPUtime=101.98 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 44716 0 0 0 10186 12 0 0 20 0 1 0 177050984 220139520 47689 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 53745 47689 2650 2550 0 50700 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 214980 KiB
Current children cumulated memory: 190756 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/258 926965
/proc/meminfo: memFree=125165352/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=243068 memory=219184 CPUtime=161.8 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 49331 0 0 0 16167 13 0 0 20 0 1 0 177050984 248901632 54796 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 60767 54796 2650 2550 0 57722 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 243068 KiB
Current children cumulated memory: 219184 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 4.23 4.14 5/257 926976
/proc/meminfo: memFree=125111372/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=245092 memory=221860 CPUtime=221.6 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 49989 0 0 0 22147 13 0 0 20 0 1 0 177050984 250974208 55465 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 61273 55465 2650 2550 0 58228 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 245092 KiB
Current children cumulated memory: 221860 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/257 926987
/proc/meminfo: memFree=125048676/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=249440 memory=225704 CPUtime=281.43 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 50994 0 0 0 28129 14 0 0 20 0 1 0 177050984 255426560 56426 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 62360 56426 2650 2550 0 59315 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 249440 KiB
Current children cumulated memory: 225704 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.18 4.12 5/254 926997
/proc/meminfo: memFree=124971500/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=261336 memory=237696 CPUtime=341.24 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 52935 0 0 0 34110 14 0 0 20 0 1 0 177050984 267608064 59424 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 65334 59424 2650 2550 0 62289 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 261336 KiB
Current children cumulated memory: 237696 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.16 4.12 5/254 927007
/proc/meminfo: memFree=124914248/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=274952 memory=249812 CPUtime=401.05 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 54180 0 0 0 40090 15 0 0 20 0 1 0 177050984 281550848 62453 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 68738 62453 2920 2550 0 65693 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 274952 KiB
Current children cumulated memory: 249812 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/254 927018
/proc/meminfo: memFree=124872524/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=274952 memory=251636 CPUtime=460.86 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 54655 0 0 0 46071 15 0 0 20 0 1 0 177050984 281550848 62909 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 68738 62909 2920 2550 0 65693 0
################
# More data... #
################
Current children cumulated memory: 309488 KiB
[startup+2862.3 s]
/proc/loadavg: 3.15 3.14 3.43 4/248 928443
/proc/meminfo: memFree=123568424/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=309488 CPUtime=2853.42 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80468 0 0 0 285321 21 0 0 20 0 1 0 177050984 327581696 77372 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77372 2920 2550 0 76931 0
Current children cumulated CPU time: 2853.42 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 309488 KiB
[startup+2922.3 s]
/proc/loadavg: 3.05 3.11 3.40 4/251 928626
/proc/meminfo: memFree=123570560/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=309488 CPUtime=2913.22 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80554 0 0 0 291301 21 0 0 20 0 1 0 177050984 327581696 77372 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77372 2920 2550 0 76931 0
Current children cumulated CPU time: 2913.22 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 309488 KiB
[startup+2982.3 s]
/proc/loadavg: 3.06 3.10 3.37 4/251 928636
/proc/meminfo: memFree=123569524/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=309488 CPUtime=2973.02 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80640 0 0 0 297281 21 0 0 20 0 1 0 177050984 327581696 77372 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77372 2920 2550 0 76931 0
Current children cumulated CPU time: 2973.02 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 309488 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.11 3.36 4/252 928704
/proc/meminfo: memFree=123571304/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=309488 CPUtime=3032.82 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80726 0 0 0 303261 21 0 0 20 0 1 0 177050984 327581696 77372 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77372 2920 2550 0 76931 0
Current children cumulated CPU time: 3032.82 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 309488 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.11 3.34 4/252 928714
/proc/meminfo: memFree=123562988/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=309488 CPUtime=3092.63 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80812 0 0 0 309242 21 0 0 20 0 1 0 177050984 327581696 77372 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77372 2920 2550 0 76931 0
Current children cumulated CPU time: 3092.63 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 309488 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.10 3.32 4/252 928725
/proc/meminfo: memFree=123533448/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3152.43 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80900 0 0 0 315222 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3152.43 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.10 3.31 4/250 928736
/proc/meminfo: memFree=123568720/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3212.23 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 80986 0 0 0 321202 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3212.23 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.09 3.29 4/250 928747
/proc/meminfo: memFree=123549484/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3272.03 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81074 0 0 0 327182 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3272.03 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3342.3 s]
/proc/loadavg: 3.06 3.08 3.27 4/248 928758
/proc/meminfo: memFree=123538484/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3331.83 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81161 0 0 0 333162 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.08 3.26 4/248 928768
/proc/meminfo: memFree=123522988/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3391.64 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81248 0 0 0 339143 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.10 3.25 4/248 928779
/proc/meminfo: memFree=123539052/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3451.44 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81336 0 0 0 345123 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.09 3.24 4/248 928789
/proc/meminfo: memFree=123483700/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3511.24 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81424 0 0 0 351103 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.09 3.23 4/247 928799
/proc/meminfo: memFree=123502252/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3571.04 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81512 0 0 0 357083 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3571.04 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.11 3.09 3.23 4/250 928809
/proc/meminfo: memFree=123509976/131524600 swapFree=131071996/131071996
[pid=926798] ppid=926795 vsize=319904 memory=311536 CPUtime=3600.04 cores=1,3
/proc/926798/stat : 926798 (CASHWMaxSAT-Dis) R 926795 926798 923562 0 -1 4194304 81595 0 0 0 359983 21 0 0 20 0 1 0 177050984 327581696 77884 134679101440 4194304 14636349 140730756442080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 28565504 140730756445154 140730756445270 140730756445270 140730756452286 0
/proc/926798/statm: 79976 77884 2920 2550 0 76931 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 311536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 926798 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.84 s, system=0.221189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.41
CPU time (s): 3600.06
CPU user time (s): 3599.84
CPU system time (s): 0.221189
CPU usage (%): 99.6858
Max. virtual memory (cumulated for all children) (KiB): 367976
Max. memory (cumulated for all children) (KiB): 354584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.84
system time used= 0.221189
maximum resident set size= 354584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81595
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= 52
involuntary context switches= 3253
# summary of solver processes directly reported to runsolver:
# pid: 926798
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.84
# total CPU system time (s): 0.221189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63105 second user time and 16.4419 second system time
The end
Begin job on nodeC035 at 2024-07-17 22:40:14
IDJOB=4439755
IDBENCH=158431
IDSOLVER=3076
FILE ID=nodeC035/4439755-1721248801
RUNJOBID= nodeC035-1721243363-923574
SLURM_JOB_ID= 7509010
Free space on /tmp= 889920 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_12x12_001.opb.metafix.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439755-1721248801/watcher-4439755-1721248801 -o /tmp/evaluation-result-4439755-1721248801/solver-4439755-1721248801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721243363-923574 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439755-1721248801.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fbb156e7552e932d6b03b61f2d75f6d
RANDOM SEED=441450940
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.171
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.65
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 : 3664.050
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.79
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.903
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.65
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 : 3666.344
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.79
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 : 3675.191
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.65
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 : 3682.035
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.79
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.016
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.65
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 : 3643.718
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121998840 kB
MemAvailable: 123020368 kB
Buffers: 443900 kB
Cached: 1411872 kB
SwapCached: 0 kB
Active: 968088 kB
Inactive: 7937952 kB
Active(anon): 1552 kB
Inactive(anon): 7086444 kB
Active(file): 966536 kB
Inactive(file): 851508 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13852 kB
Writeback: 0 kB
AnonPages: 7050032 kB
Mapped: 137408 kB
Shmem: 37724 kB
KReclaimable: 86616 kB
Slab: 193336 kB
SReclaimable: 86616 kB
SUnreclaim: 106720 kB
KernelStack: 4176 kB
PageTables: 23208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7999192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4327424 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC035 at 2024-07-17 23:40:25