0.78/0.83 c Filename:instance-4517622-1751542530.opb, Cutoff_time:3600, memory_limit_gb:500000
0.78/0.83 c Scip time: 1800
0.78/0.83 c Use Presolve
0.78/0.83 c Parse finsih
0.78/0.83 c Start Presolve
0.78/0.83 c After Reduce Vars: 275 Clauses: 6534 Top clause weight: 12 Hard Clauses: 6523
3600.02/3610.70 c Use LS-small
3600.02/3610.70 c Use postsolve
3600.02/3610.70 o 3
3600.02/3610.70 s SATISFIABLE
3600.02/3610.70 v -x56 -x57 -x58 -x59 x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x78 -x89 -x100 -x111 x122 -x133 -x144 -x155 -x166 -x177 x68 -x79 -x90 -x101 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x69 -x80 -x91 -x102 x113 -x124 -x135 -x146 -x157 -x168 -x179 -x70 -x81 -x92 -x103 -x114 -x125 -x136 -x147 -x158 x169 -x180 -x71 -x82 -x93 -x104 -x115 -x126 -x137 -x148 -x159 -x170 -x181 -x72 -x83 -x94 -x105 -x116 -x127 -x138 -x149 -x160 -x171 -x182 -x73 -x84 -x95 -x106 -x117 -x128 x139 -x150 -x161 -x172 -x183 -x74 -x85 -x96 -x107 -x118 -x129 -x140 -x151 -x162 -x173 -x184 -x75 -x86 -x97 -x108 -x119 -x130 -x141 x152 -x163 -x174 -x185 -x76 -x87 -x98 -x109 -x120 -x131 -x142 -x153 x164 -x175 -x186 -x77 -x88 -x99 -x110 -x121 -x132 -x143 -x154 -x165 -x176 x187 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 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
3600.02/3610.70 c Use postsolve
3600.02/3610.70 c Done 1793.5s
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: 63837 MiB (62316 MiB free)
memory of node 1: 64465 MiB (58057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517622-1751542530/watcher-4517622-1751542530 -o /tmp/evaluation-result-4517622-1751542530/solver-4517622-1751542530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751542530-85898 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517622-1751542530.opb -t 3600 -s 364657916
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85949, runsolver pid=85941
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 0.10 0.80 3.33 6/251 85954
/proc/meminfo: memFree=123252400/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=23796 memory=9084 CPUtime=0.1 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 1506 0 0 0 10 0 0 0 20 0 1 0 69932177 24367104 2271 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 5949 2271 1152 2752 0 2602 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23796 KiB
Current children cumulated memory: 9084 KiB
[startup+0.213735 s]*
/proc/loadavg: 0.10 0.80 3.33 6/251 85954
/proc/meminfo: memFree=123220412/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=23796 memory=9084 CPUtime=0.21 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 1506 0 0 0 21 0 0 0 20 0 1 0 69932177 24367104 2271 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 5949 2271 1152 2752 0 2602 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23796 KiB
Current children cumulated memory: 9084 KiB
[startup+0.313399 s]*
/proc/loadavg: 0.10 0.80 3.33 6/251 85954
/proc/meminfo: memFree=123191948/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=38072 memory=28284 CPUtime=0.31 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 4879 0 0 0 30 1 0 0 20 0 1 0 69932177 38985728 7071 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 9518 7071 2656 2752 0 6171 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 28284 KiB
[startup+0.700363 s]
/proc/loadavg: 0.10 0.80 3.33 6/251 85954
/proc/meminfo: memFree=123144572/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=83928 memory=69616 CPUtime=0.68 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 13752 0 0 0 64 4 0 0 20 0 1 0 69932177 85942272 17404 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 20982 17404 2848 2752 0 17635 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83928 KiB
Current children cumulated memory: 69616 KiB
[startup+1.50026 s]
/proc/loadavg: 0.10 0.80 3.33 6/251 85954
/proc/meminfo: memFree=123010064/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=97048 memory=80712 CPUtime=1.48 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 17699 0 0 0 143 5 0 0 20 0 1 0 69932177 99377152 20178 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 24262 20178 2848 2752 0 20915 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97048 KiB
Current children cumulated memory: 80712 KiB
[startup+3.11324 s]
/proc/loadavg: 0.10 0.80 3.33 6/251 85954
/proc/meminfo: memFree=122960832/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=104300 memory=87112 CPUtime=3.09 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 19309 0 0 0 304 5 0 0 20 0 1 0 69932177 106803200 21778 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 26075 21778 2848 2752 0 22728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 104300 KiB
Current children cumulated memory: 87112 KiB
[startup+6.30025 s]
/proc/loadavg: 0.41 0.85 3.33 6/251 85954
/proc/meminfo: memFree=122899512/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=132312 memory=112456 CPUtime=6.26 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 25654 0 0 0 620 6 0 0 20 0 1 0 69932177 135487488 28114 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 33078 28114 2848 2752 0 29731 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132312 KiB
Current children cumulated memory: 112456 KiB
[startup+12.7003 s]
/proc/loadavg: 0.70 0.90 3.34 6/251 85954
/proc/meminfo: memFree=122851380/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=144944 memory=125000 CPUtime=12.64 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 28791 0 0 0 1257 7 0 0 20 0 1 0 69932177 148422656 31250 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 36236 31250 2848 2752 0 32889 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 144944 KiB
Current children cumulated memory: 125000 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 1.06 3.35 6/251 85955
/proc/meminfo: memFree=122790176/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=156160 memory=136008 CPUtime=25.39 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 35384 0 0 0 2531 8 0 0 20 0 1 0 69932177 159907840 34002 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 39040 34002 2848 2752 0 35693 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156160 KiB
Current children cumulated memory: 136008 KiB
[startup+51.1134 s]
/proc/loadavg: 2.37 1.31 3.37 6/251 85955
/proc/meminfo: memFree=122702504/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=190460 memory=170244 CPUtime=50.91 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 45861 0 0 0 5081 10 0 0 20 0 1 0 69932177 195031040 42561 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 47615 42561 3168 2752 0 44268 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 190460 KiB
Current children cumulated memory: 170244 KiB
[startup+102.3 s]
/proc/loadavg: 3.35 1.74 3.41 6/251 85957
/proc/meminfo: memFree=122572168/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=209768 memory=190292 CPUtime=101.88 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 56666 0 0 0 10177 11 0 0 20 0 1 0 69932177 214802432 47573 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 52442 47573 3168 2752 0 49095 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 209768 KiB
Current children cumulated memory: 190292 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.18 3.46 6/251 85959
/proc/meminfo: memFree=122385988/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=248096 memory=227416 CPUtime=161.58 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 71476 0 0 0 16144 14 0 0 20 0 1 0 69932177 254050304 56854 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 62024 56854 3168 2752 0 58677 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 227416 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.53 3.50 6/251 85962
/proc/meminfo: memFree=122226028/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=278140 memory=264200 CPUtime=221.33 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 79029 0 0 0 22118 15 0 0 20 0 1 0 69932177 284815360 66050 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 69535 66050 3168 2752 0 66188 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 278140 KiB
Current children cumulated memory: 264200 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.82 3.54 6/251 85966
/proc/meminfo: memFree=122058096/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=321288 memory=307148 CPUtime=281.1 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 86653 0 0 0 28092 18 0 0 20 0 1 0 69932177 328998912 76787 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 80322 76787 3168 2752 0 76975 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 321288 KiB
Current children cumulated memory: 307148 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.10 3.60 6/251 85968
/proc/meminfo: memFree=121806596/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=396276 memory=373836 CPUtime=340.85 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 93301 0 0 0 34065 20 0 0 20 0 1 0 69932177 405786624 93459 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 99069 93459 3168 2752 0 95722 0
Current children cumulated CPU time: 340.85 s
Current children cumulated vsize: 396276 KiB
Current children cumulated memory: 373836 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.26 3.63 6/251 85970
/proc/meminfo: memFree=121669204/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=447376 memory=417116 CPUtime=400.6 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 102167 0 0 0 40038 22 0 0 20 0 1 0 69932177 458113024 104279 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 111844 104279 3168 2752 0 108497 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 447376 KiB
Current children cumulated memory: 417116 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.41 3.66 6/251 85972
/proc/meminfo: memFree=121529968/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=493632 memory=471576 CPUtime=460.39 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 105347 0 0 0 46015 24 0 0 20 0 1 0 69932177 505479168 117894 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 123408 117894 3168 2752 0 120061 0
################
# More data... #
################
Current children cumulated memory: 287816 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.06 6/251 86101
/proc/meminfo: memFree=121222208/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=287816 CPUtime=2913.03 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194883 0 0 0 291246 57 0 0 20 0 1 0 69932177 302743552 71954 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 71954 3168 2752 0 70565 0
Current children cumulated CPU time: 2913.03 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 287816 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.06 6/250 86107
/proc/meminfo: memFree=121221428/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=287816 CPUtime=2972.91 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194883 0 0 0 297234 57 0 0 20 0 1 0 69932177 302743552 71954 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 71954 3168 2752 0 70565 0
Current children cumulated CPU time: 2972.91 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 287816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.08 4.05 6/250 86109
/proc/meminfo: memFree=121221708/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=287816 CPUtime=3032.79 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194885 0 0 0 303222 57 0 0 20 0 1 0 69932177 302743552 71954 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 71954 3168 2752 0 70565 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 287816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.06 6/249 86111
/proc/meminfo: memFree=121221100/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=287816 CPUtime=3092.66 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194885 0 0 0 309209 57 0 0 20 0 1 0 69932177 302743552 71954 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 71954 3168 2752 0 70565 0
Current children cumulated CPU time: 3092.66 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 287816 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.06 6/249 86113
/proc/meminfo: memFree=121208948/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288712 CPUtime=3152.54 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194885 0 0 0 315197 57 0 0 20 0 1 0 69932177 302743552 72178 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72178 3168 2752 0 70565 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288712 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.06 6/249 86115
/proc/meminfo: memFree=121210500/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3212.42 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194887 0 0 0 321185 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.06 6/251 86121
/proc/meminfo: memFree=121210844/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3272.29 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194887 0 0 0 327172 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.06 6/251 86123
/proc/meminfo: memFree=121212144/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3332.17 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194887 0 0 0 333160 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.07 6/251 86125
/proc/meminfo: memFree=121220384/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3392.05 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194887 0 0 0 339148 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3392.05 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.06 6/251 86127
/proc/meminfo: memFree=121219744/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3451.92 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194889 0 0 0 345135 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.07 6/251 86129
/proc/meminfo: memFree=121219768/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3511.8 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194889 0 0 0 351123 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.07 6/249 86135
/proc/meminfo: memFree=121219380/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3571.68 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194889 0 0 0 357111 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.15 4.10 4.07 4/245 86144
/proc/meminfo: memFree=121951996/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3600.02 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194889 0 0 0 359945 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 85949 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.46 s, system=0.578258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.15 4.10 4.07 4/245 86144
/proc/meminfo: memFree=121951996/131382112 swapFree=33005784/33010684
[pid=85949] ppid=85941 vsize=295648 memory=288968 CPUtime=3600.02 cores=5,7
/proc/85949/stat : 85949 (NuPBO-DeepOptS+) R 85941 85949 85304 0 -1 4194304 194889 0 0 0 359945 57 0 0 20 0 1 0 69932177 302743552 72242 18446744073709551615 4198400 15468185 140735287427424 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 30683136 140735287433623 140735287433732 140735287433732 140735287439334 0
/proc/85949/statm: 73912 72242 3168 2752 0 70565 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 295648 KiB
Current children cumulated memory: 288968 KiB
Child status: 10
Real time (s): 3610.7
CPU time (s): 3600.04
CPU user time (s): 3599.46
CPU system time (s): 0.578258
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 1761632
Max. memory (cumulated for all children) (KiB): 1600236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.578258
maximum resident set size= 1602020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81
involuntary context switches= 1516
# summary of solver processes directly reported to runsolver:
# pid: 85949
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.46
# total CPU system time (s): 0.578258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8099 second user time and 32.5735 second system time
The end
Begin job on nodeC007 at 2025-07-03 13:35:30
IDJOB=4517622
IDBENCH=176156
IDSOLVER=3343
FILE ID=nodeC007/4517622-1751542530
RUNJOBID= nodeC007-1751542530-85898
SLURM_JOB_ID= 9598698
Free space on /tmp= 431040 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=8.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517622-1751542530/watcher-4517622-1751542530 -o /tmp/evaluation-result-4517622-1751542530/solver-4517622-1751542530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751542530-85898 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517622-1751542530.opb -t 3600 -s 364657916
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b554296dd2e7a57b28932c2f35f0c1cd
RANDOM SEED=364657916
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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.198
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.202
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.269
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.351
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.201
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.200
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.253
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123254408 kB
MemAvailable: 129792200 kB
Buffers: 16 kB
Cached: 7206976 kB
SwapCached: 252 kB
Active: 333688 kB
Inactive: 6940736 kB
Active(anon): 33216 kB
Inactive(anon): 47720 kB
Active(file): 300472 kB
Inactive(file): 6893016 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64940 kB
Writeback: 36 kB
AnonPages: 70204 kB
Mapped: 98280 kB
Shmem: 13504 kB
KReclaimable: 367864 kB
Slab: 457232 kB
SReclaimable: 367864 kB
SUnreclaim: 89368 kB
KernelStack: 3776 kB
PageTables: 2752 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 341404 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430976 MiB
End job on nodeC007 at 2025-07-03 14:35:41