0.00/0.00 c Filename:instance-4449922-1722827618.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Not use presolve
1774.25/1779.52 c Use LS-small
1774.25/1779.53 o 4
3557.96/3566.04 s SATISFIABLE
3557.96/3566.04 v -x1 -x2 x3 x4 x5 x6 x7 -x8 x9 x10 x11 -x12 x13 x14 -x15 x16 -x17 x18 x19 x20 x21 -x22 x23 x24 x25 x26 x27 x28 x29 -x30 x31 x32 -x33 x34 x35 x36 -x37 x38 -x39 -x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171
3557.96/3566.04 c Done 1774.28s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62865 MiB free)
memory of node 1: 64473 MiB (63567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449922-1722827618/watcher-4449922-1722827618 -o /tmp/evaluation-result-4449922-1722827618/solver-4449922-1722827618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722827618-264632 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449922-1722827618.opb -t 3558 -s 1699726267
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=264675, runsolver pid=264669
[startup+0.101073 s]*
/proc/loadavg: 3.82 4.09 4.14 5/241 264692
/proc/meminfo: memFree=129443316/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=32300 memory=23480 CPUtime=0.1 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 3791 0 0 0 9 1 0 0 20 0 1 0 49132459 33075200 5870 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 8075 5870 2445 2403 0 5185 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 23480 KiB
[startup+0.213947 s]*
/proc/loadavg: 3.82 4.09 4.14 5/241 264692
/proc/meminfo: memFree=129442672/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=32532 memory=23804 CPUtime=0.21 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 3875 0 0 0 20 1 0 0 20 0 1 0 49132459 33312768 5951 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 8133 5951 2461 2403 0 5243 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 23804 KiB
[startup+0.312856 s]*
/proc/loadavg: 3.82 4.09 4.14 5/241 264692
/proc/meminfo: memFree=129436084/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=40928 memory=30664 CPUtime=0.3 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 5562 0 0 0 29 1 0 0 20 0 1 0 49132459 41910272 7666 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 10232 7666 2461 2403 0 7342 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40928 KiB
Current children cumulated memory: 30664 KiB
[startup+0.700271 s]
/proc/loadavg: 3.82 4.09 4.14 5/241 264692
/proc/meminfo: memFree=129431440/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=39260 memory=29500 CPUtime=0.68 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 5805 0 0 0 67 1 0 0 20 0 1 0 49132459 40202240 7375 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 9815 7375 2461 2403 0 6925 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39260 KiB
Current children cumulated memory: 29500 KiB
[startup+1.50027 s]
/proc/loadavg: 3.82 4.09 4.14 5/241 264692
/proc/meminfo: memFree=129429312/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=43260 memory=33276 CPUtime=1.47 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 6735 0 0 0 146 1 0 0 20 0 1 0 49132459 44298240 8319 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 10815 8319 2461 2403 0 7925 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43260 KiB
Current children cumulated memory: 33276 KiB
[startup+3.11272 s]
/proc/loadavg: 3.82 4.09 4.14 5/241 264694
/proc/meminfo: memFree=129404236/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=61816 memory=49380 CPUtime=3.08 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 10769 0 0 0 306 2 0 0 20 0 1 0 49132459 63299584 12345 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 15454 12345 2461 2403 0 12564 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 49380 KiB
[startup+6.30025 s]
/proc/loadavg: 3.92 4.11 4.14 5/240 264694
/proc/meminfo: memFree=129388504/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=71456 memory=59104 CPUtime=6.26 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 13526 0 0 0 624 2 0 0 20 0 1 0 49132459 73170944 14776 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 17864 14776 2461 2403 0 14974 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 71456 KiB
Current children cumulated memory: 59104 KiB
[startup+12.7002 s]
/proc/loadavg: 3.92 4.11 4.14 5/240 264694
/proc/meminfo: memFree=129375452/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=86904 memory=72944 CPUtime=12.64 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 17132 0 0 0 1261 3 0 0 20 0 1 0 49132459 88989696 18236 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 21726 18236 2461 2403 0 18836 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 86904 KiB
Current children cumulated memory: 72944 KiB
[startup+25.5003 s]
/proc/loadavg: 3.94 4.10 4.14 5/240 264697
/proc/meminfo: memFree=129341104/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=102472 memory=87244 CPUtime=25.4 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 21153 0 0 0 2536 4 0 0 20 0 1 0 49132459 104931328 21811 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 25618 21811 2461 2403 0 22728 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 102472 KiB
Current children cumulated memory: 87244 KiB
[startup+51.1126 s]
/proc/loadavg: 4.04 4.11 4.14 5/240 264700
/proc/meminfo: memFree=129277332/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=145072 memory=130184 CPUtime=50.94 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 30953 0 0 0 5088 6 0 0 20 0 1 0 49132459 148553728 32546 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 36268 32546 2461 2403 0 33378 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 145072 KiB
Current children cumulated memory: 130184 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 4.09 4.13 5/240 264708
/proc/meminfo: memFree=129165344/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=220372 memory=197564 CPUtime=101.94 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 43970 0 0 0 10185 9 0 0 20 0 1 0 49132459 225660928 49391 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 55093 49391 2461 2403 0 52203 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 220372 KiB
Current children cumulated memory: 197564 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.12 5/238 264720
/proc/meminfo: memFree=129058824/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=293240 memory=276348 CPUtime=161.75 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 58627 0 0 0 16163 12 0 0 20 0 1 0 49132459 300277760 69087 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 73310 69087 2717 2403 0 70420 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 293240 KiB
Current children cumulated memory: 276348 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/238 264730
/proc/meminfo: memFree=129016952/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=364804 memory=348540 CPUtime=221.57 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 71937 0 0 0 22142 15 0 0 20 0 1 0 49132459 373559296 87135 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 91201 87135 2717 2403 0 88311 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 364804 KiB
Current children cumulated memory: 348540 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.12 5/239 264741
/proc/meminfo: memFree=128942892/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=460404 memory=422556 CPUtime=281.39 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 83575 0 0 0 28121 18 0 0 20 0 1 0 49132459 471453696 105639 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 115101 105639 2717 2403 0 112211 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 460404 KiB
Current children cumulated memory: 422556 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.07 4.11 5/239 264752
/proc/meminfo: memFree=128877364/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=538608 memory=487436 CPUtime=341.22 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 92007 0 0 0 34101 21 0 0 20 0 1 0 49132459 551534592 121859 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 134652 121859 2717 2403 0 131762 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 538608 KiB
Current children cumulated memory: 487436 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/241 264767
/proc/meminfo: memFree=128811904/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=584196 memory=551704 CPUtime=401.04 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 99777 0 0 0 40081 23 0 0 20 0 1 0 49132459 598216704 137926 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 146049 137926 2717 2403 0 143159 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 584196 KiB
Current children cumulated memory: 551704 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/241 264778
/proc/meminfo: memFree=128742064/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=649780 memory=620828 CPUtime=460.86 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 106718 0 0 0 46060 26 0 0 20 0 1 0 49132459 665374720 155207 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
################
# More data... #
################
/proc/loadavg: 4.06 4.12 4.16 5/239 266444
/proc/meminfo: memFree=128785316/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3154.89 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 308067 7422 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/239 266454
/proc/meminfo: memFree=128784996/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3214.79 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 313737 7742 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/238 266464
/proc/meminfo: memFree=128784732/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3274.7 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 319400 8070 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3274.7 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/238 266474
/proc/meminfo: memFree=128784416/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3334.6 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 325073 8387 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3334.6 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.15 5/241 266490
/proc/meminfo: memFree=128784184/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3394.51 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 330737 8714 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3394.51 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.14 5/242 266502
/proc/meminfo: memFree=128783752/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3454.41 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 336400 9041 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3454.41 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/242 266512
/proc/meminfo: memFree=128783356/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3514.32 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 342070 9362 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3514.32 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3566.05 s]
# the end of solver process 264675 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3462.01 s, system=96.0014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.07 4.09 4.13 5/242 266513
/proc/meminfo: memFree=128783332/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3524.81 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 343063 9418 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3524.81 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3545.6 s]
/proc/loadavg: 4.12 4.10 4.14 5/242 266517
/proc/meminfo: memFree=128783192/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3537.59 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 344272 9487 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3537.59 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3558.4 s]
/proc/loadavg: 4.10 4.10 4.13 5/242 266520
/proc/meminfo: memFree=128783140/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3550.37 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 345478 9559 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3550.37 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3561.6 s]
/proc/loadavg: 4.10 4.09 4.13 5/242 266520
/proc/meminfo: memFree=128783168/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3553.56 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 345779 9577 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3553.56 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3563.2 s]
/proc/loadavg: 4.10 4.09 4.13 5/242 266521
/proc/meminfo: memFree=128783160/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3555.16 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 345932 9584 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3555.16 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3564.8 s]
/proc/loadavg: 4.10 4.09 4.13 6/239 266528
/proc/meminfo: memFree=128787236/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3556.75 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 346084 9591 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3556.75 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3565.6 s]
/proc/loadavg: 4.01 4.08 4.13 5/236 266581
/proc/meminfo: memFree=128780592/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3557.56 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 346159 9597 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3557.56 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
[startup+3566 s]*
/proc/loadavg: 4.01 4.08 4.13 5/239 266627
/proc/meminfo: memFree=128861868/131655788 swapFree=131071216/131071996
[pid=264675] ppid=264669 vsize=571772 memory=565672 CPUtime=3557.96 cores=5,7
/proc/264675/stat : 264675 (LS-MabS) R 264669 264675 264619 0 -1 4194304 237562 0 0 0 346197 9599 0 0 20 0 1 0 49132459 585494528 141418 134679101440 4194304 14036057 140729243916832 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 44474368 140729243919396 140729243919498 140729243919498 140729243926510 0
/proc/264675/statm: 142943 141418 2732 2403 0 140053 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 571772 KiB
Current children cumulated memory: 565672 KiB
Child status: 0
Real time (s): 3566.05
CPU time (s): 3558.01
CPU user time (s): 3462.01
CPU system time (s): 96.0014
CPU usage (%): 99.7746
Max. virtual memory (cumulated for all children) (KiB): 1890704
Max. memory (cumulated for all children) (KiB): 1801924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3462.01
system time used= 96.0014
maximum resident set size= 1801924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237571
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= 84
involuntary context switches= 6337
# summary of solver processes directly reported to runsolver:
# pid: 264675
# total CPU time (s): 3558.01
# total CPU user time (s): 3462.01
# total CPU system time (s): 96.0014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.251 second user time and 31.0049 second system time
The end
Begin job on nodeC007 at 2024-08-05 05:13:38
IDJOB=4449922
IDBENCH=176173
IDSOLVER=3048
FILE ID=nodeC007/4449922-1722827618
RUNJOBID= nodeC007-1722827618-264632
SLURM_JOB_ID= 8258634
Free space on /tmp= 723776 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=9-t=5.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449922-1722827618/watcher-4449922-1722827618 -o /tmp/evaluation-result-4449922-1722827618/solver-4449922-1722827618 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722827618-264632 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449922-1722827618.opb -t 3558 -s 1699726267
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e8bf5f7be237686d5dd1c770609b55cb
RANDOM SEED=1699726267
nodeC007.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 : 1197.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.186
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.35
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.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.473
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.35
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 : 1197.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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 : 1197.187
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.35
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.377
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.58
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.389
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129470916 kB
MemAvailable: 130094856 kB
Buffers: 309268 kB
Cached: 1165908 kB
SwapCached: 100 kB
Active: 529764 kB
Inactive: 1198900 kB
Active(anon): 1416 kB
Inactive(anon): 289528 kB
Active(file): 528348 kB
Inactive(file): 909372 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 52152 kB
Writeback: 0 kB
AnonPages: 253320 kB
Mapped: 99964 kB
Shmem: 37460 kB
KReclaimable: 52840 kB
Slab: 136984 kB
SReclaimable: 52840 kB
SUnreclaim: 84144 kB
KernelStack: 3700 kB
PageTables: 9728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 626920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 149504 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: 297800 kB
DirectMap2M: 19529728 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC007 at 2024-08-05 06:13:05