3600.07/1817.20 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.07/1817.20 c numVar: 470
3600.07/1817.20 c numCon: 469
3600.07/1817.20 c numEqual: 0
3600.07/1817.20 c intSize: 9
3600.07/1817.20 c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.07/1817.20 c ------------------- Paras list -------------------
3600.07/1817.20 c Name Type Now Default Comment
3600.07/1817.20 c timeout double 3600.000000 3600
3600.07/1817.20 c mip_time double 0.600000 0.5
3600.07/1817.20 c ls_time double 10.000000 10
3600.07/1817.20 c safe_mode int 1 1 1 trust; 2 feasible
3600.07/1817.20 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.07/1817.20 c random_seed int 0 0
3600.07/1817.20 c sample_size int 50 50
3600.07/1817.20 c sub_score int 1 1
3600.07/1817.20 c tabu_base int 3 3
3600.07/1817.20 c tabu_variation int 1 1
3600.07/1817.20 c sub_div int 4 4
3600.07/1817.20 c nbcore int 2 1
3600.07/1817.20 c memlimit int 31000 31744 memory limit in megabytes
3600.07/1817.20 c print_sol int 1 1
3600.07/1817.20 c tmpdir string . "."
3600.07/1817.20 c home string HOME "."
3600.07/1817.20 c benchname string HOME/instance-4489355-1751351177.opb ""
3600.07/1817.20 c --------------------------------------------------
3600.07/1817.20 c Local Search solver
3600.07/1817.20 c LS find feasible solution for PBO with objective value 188
3600.07/1817.20 c MIP solver
3600.07/1817.20 c receive signal 15, try to interrupt solver...
3600.97/1818.18 c copy file: 0
3600.97/1818.18 c gen ub file: HOME/instance-4489355-1751351177.opb_ub.opb
3600.97/1818.18 c use Exact solver
3602.01/1819.20 o 188
3602.01/1819.20 s SATISFIABLE
3602.01/1819.20 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 -x172 -x173 -x174 x175 x176 -x177 x178 -x179 x180 x181 x182 x183 -x184 -x185 -x186 x187 -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 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 x296 x297 -x298 -x299 -x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 x332 x333 -x334 -x335 -x336 x337 -x338 x339 x340 -x341 x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 x366 x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 x377 x378 x379 -x380 -x381 x382 -x383 -x384 -x385 x386 -x387 x388 -x389 -x390 x391 x392 -x393 x394 -x395 x396 x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 x433 -x434 x435 -x436 x437 x438 -x439 -x440 -x441 x442 x443 x444 -x445 -x446 -x447 x448 -x449 x450 x451 x452 -x453 x454 -x455 x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 -x467 x468 -x469 -x470
3602.01/1819.20 c Total time: 1819
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: 63708 MiB (62660 MiB free)
memory of node 1: 64465 MiB (63485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489355-1751351177/watcher-4489355-1751351177 -o /tmp/evaluation-result-4489355-1751351177/solver-4489355-1751351177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49214 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4489355-1751351177.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=49547, runsolver pid=49540
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 7.79 8.03 7.53 3/259 49557
/proc/meminfo: memFree=129173152/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=0.09 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 9 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+0.20486 s]*
/proc/loadavg: 7.79 8.03 7.53 5/265 49566
/proc/meminfo: memFree=128939116/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=0.2 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 20 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+0.305542 s]*
/proc/loadavg: 7.79 8.03 7.53 5/265 49566
/proc/meminfo: memFree=128834152/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=0.3 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 30 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+0.700174 s]
/proc/loadavg: 7.79 8.03 7.53 5/265 49566
/proc/meminfo: memFree=128697688/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=0.69 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 69 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+1.50016 s]
/proc/loadavg: 7.79 8.03 7.53 5/265 49566
/proc/meminfo: memFree=128512216/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=1.49 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 149 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+3.10531 s]
/proc/loadavg: 7.79 8.03 7.53 5/265 49566
/proc/meminfo: memFree=128504520/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=3.09 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 309 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+6.30017 s]
/proc/loadavg: 7.48 7.96 7.51 5/265 49566
/proc/meminfo: memFree=128504756/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=40432 memory=5888 CPUtime=6.28 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 460 0 0 0 628 0 0 0 20 0 1 0 50795270 41402368 1472 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 10108 1472 1184 6655 0 343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 5888 KiB
[startup+12.7001 s]
/proc/loadavg: 7.28 7.91 7.49 7/269 49570
/proc/meminfo: memFree=127557116/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=125040 memory=30668 CPUtime=15.31 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 4001 0 0 0 1530 1 0 0 20 0 2 0 50795270 128040960 7667 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 31260 7667 3520 6655 0 5889 0
[pid=49547/tid=49568] ppid=49540 vsize=125040 memory=6516 CPUtime=2.64 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 793 0 0 0 264 0 0 0 20 0 2 0 50796271 128040960 7667 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 15.31 s
Current children cumulated vsize: 125040 KiB
Current children cumulated memory: 30668 KiB
[startup+25.5002 s]
/proc/loadavg: 7.51 7.93 7.51 9/269 49570
/proc/meminfo: memFree=127490268/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=131768 memory=40012 CPUtime=40.38 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 15479 0 0 0 4037 1 0 0 20 0 2 0 50795270 134930432 10003 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 32942 10003 3520 6655 0 8670 0
[pid=49547/tid=49568] ppid=49540 vsize=131768 memory=39628 CPUtime=14.96 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 4956 0 0 0 1496 0 0 0 20 0 2 0 50796271 134930432 10003 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 40.38 s
Current children cumulated vsize: 131768 KiB
Current children cumulated memory: 40012 KiB
[startup+51.1054 s]
/proc/loadavg: 7.68 7.94 7.52 9/269 49570
/proc/meminfo: memFree=127496496/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=150740 memory=59784 CPUtime=90.51 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 21478 0 0 0 9049 2 0 0 20 0 2 0 50795270 154357760 14946 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 37685 14946 3520 6655 0 14096 0
[pid=49547/tid=49568] ppid=49540 vsize=150740 memory=59784 CPUtime=39.95 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 6354 0 0 0 3995 0 0 0 20 0 2 0 50796271 154357760 14946 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 90.51 s
Current children cumulated vsize: 150740 KiB
Current children cumulated memory: 59784 KiB
[startup+102.3 s]
/proc/loadavg: 7.90 7.97 7.55 9/269 49576
/proc/meminfo: memFree=127203672/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=252632 memory=156808 CPUtime=192.28 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 55287 0 0 0 19219 9 0 0 20 0 2 0 50795270 258695168 39202 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 63158 39202 3520 6655 0 37637 0
[pid=49547/tid=49568] ppid=49540 vsize=252632 memory=129032 CPUtime=90.66 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 24278 0 0 0 9060 6 0 0 20 0 2 0 50796271 258695168 39202 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 192.28 s
Current children cumulated vsize: 252632 KiB
Current children cumulated memory: 156808 KiB
[startup+162.3 s]
/proc/loadavg: 7.99 7.99 7.59 9/270 49579
/proc/meminfo: memFree=126879316/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=320420 memory=284424 CPUtime=311.54 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 94800 0 0 0 31136 18 0 0 20 0 2 0 50795270 328110080 71106 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 80105 71106 3520 6655 0 69565 0
[pid=49547/tid=49568] ppid=49540 vsize=320420 memory=278536 CPUtime=150.09 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 43018 0 0 0 14998 11 0 0 20 0 2 0 50796271 328110080 71106 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 311.54 s
Current children cumulated vsize: 320420 KiB
Current children cumulated memory: 284424 KiB
[startup+222.3 s]
/proc/loadavg: 8.05 8.01 7.62 9/270 49581
/proc/meminfo: memFree=126591468/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=527076 memory=435764 CPUtime=430.8 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 133742 0 0 0 43051 29 0 0 20 0 2 0 50795270 539725824 108941 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 131769 108941 3520 6655 0 107572 0
[pid=49547/tid=49568] ppid=49540 vsize=527076 memory=363400 CPUtime=209.51 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 62969 0 0 0 20933 18 0 0 20 0 2 0 50796271 539725824 108941 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 430.8 s
Current children cumulated vsize: 527076 KiB
Current children cumulated memory: 435764 KiB
[startup+282.3 s]
/proc/loadavg: 8.29 8.07 7.67 9/269 49584
/proc/meminfo: memFree=126417400/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=665888 memory=578356 CPUtime=550.06 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 177381 0 0 0 54968 38 0 0 20 0 2 0 50795270 681869312 144589 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 166472 144589 3520 6655 0 143036 0
[pid=49547/tid=49568] ppid=49540 vsize=665888 memory=523956 CPUtime=268.93 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 84578 0 0 0 26871 22 0 0 20 0 2 0 50796271 681869312 144589 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 550.06 s
Current children cumulated vsize: 665888 KiB
Current children cumulated memory: 578356 KiB
[startup+342.3 s]
/proc/loadavg: 8.45 8.15 7.73 9/268 49586
/proc/meminfo: memFree=126236964/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=814084 memory=732084 CPUtime=669.32 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 220643 0 0 0 66883 49 0 0 20 0 2 0 50795270 833622016 183021 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 203521 183021 3520 6655 0 181936 0
[pid=49547/tid=49568] ppid=49540 vsize=814084 memory=523956 CPUtime=328.36 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 105969 0 0 0 32807 29 0 0 20 0 2 0 50796271 833622016 183021 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 669.32 s
Current children cumulated vsize: 814084 KiB
Current children cumulated memory: 732084 KiB
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 8.09 8.13 8.01 9/267 49641
/proc/meminfo: memFree=119667936/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=3633284 memory=3589760 CPUtime=2815.58 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1025579 0 0 0 281282 276 0 0 20 0 2 0 50795270 3720482816 897440 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 908321 897440 3520 6655 0 897074 0
[pid=49547/tid=49568] ppid=49540 vsize=3633284 memory=3577600 CPUtime=1397.91 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 507149 0 0 0 139629 162 0 0 20 0 2 0 50796271 3720482816 897440 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 2815.58 s
Current children cumulated vsize: 3633284 KiB
Current children cumulated memory: 3589760 KiB
[startup+1482.3 s]
/proc/loadavg: 8.07 8.11 8.01 9/267 49643
/proc/meminfo: memFree=119263040/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=3853316 memory=3755288 CPUtime=2934.79 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1073722 0 0 0 293189 290 0 0 20 0 2 0 50795270 3945795584 938822 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 963329 938822 3520 6655 0 938739 0
[pid=49547/tid=49568] ppid=49540 vsize=3853316 memory=14848 CPUtime=1457.3 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 532393 0 0 0 145560 170 0 0 20 0 2 0 50796271 3945795584 938822 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 2934.79 s
Current children cumulated vsize: 3853316 KiB
Current children cumulated memory: 3755288 KiB
[startup+1542.3 s]
/proc/loadavg: 8.06 8.11 8.01 9/268 49646
/proc/meminfo: memFree=118839276/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=3985500 memory=3903896 CPUtime=3053.99 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1117631 0 0 0 305097 302 0 0 20 0 2 0 50795270 4081152000 975974 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 996375 975974 3520 6655 0 975722 0
[pid=49547/tid=49568] ppid=49540 vsize=3985500 memory=21872 CPUtime=1516.67 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 555761 0 0 0 151489 178 0 0 20 0 2 0 50796271 4081152000 975974 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 3053.99 s
Current children cumulated vsize: 3985500 KiB
Current children cumulated memory: 3903896 KiB
[startup+1602.3 s]
/proc/loadavg: 8.06 8.10 8.01 9/267 49648
/proc/meminfo: memFree=118458616/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4125964 memory=4064152 CPUtime=3173.18 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1166613 0 0 0 317001 317 0 0 20 0 2 0 50795270 4224987136 1016038 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1031491 1016038 3520 6655 0 1015699 0
[pid=49547/tid=49568] ppid=49540 vsize=4125964 memory=4038424 CPUtime=1576.05 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 581211 0 0 0 157416 189 0 0 20 0 2 0 50796271 4224987136 1016038 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 3173.18 s
Current children cumulated vsize: 4125964 KiB
Current children cumulated memory: 4064152 KiB
[startup+1662.3 s]
/proc/loadavg: 8.13 8.11 8.02 9/268 49651
/proc/meminfo: memFree=118074608/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4273856 memory=4225304 CPUtime=3292.4 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1211869 0 0 0 328910 330 0 0 20 0 2 0 50795270 4376428544 1056326 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1068464 1056326 3520 6655 0 1055893 0
[pid=49547/tid=49568] ppid=49540 vsize=4273856 memory=4159000 CPUtime=1635.43 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 603445 0 0 0 163346 197 0 0 20 0 2 0 50796271 4376428544 1056326 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 3292.4 s
Current children cumulated vsize: 4273856 KiB
Current children cumulated memory: 4225304 KiB
[startup+1722.3 s]
/proc/loadavg: 8.10 8.10 8.02 9/269 49656
/proc/meminfo: memFree=117675832/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4422044 memory=4382104 CPUtime=3411.6 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1259969 0 0 0 340817 343 0 0 20 0 2 0 50795270 4528173056 1095526 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1105511 1095526 3520 6655 0 1094859 0
[pid=49547/tid=49568] ppid=49540 vsize=4422044 memory=14848 CPUtime=1694.81 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 626191 0 0 0 169278 203 0 0 20 0 2 0 50796271 4528173056 1095526 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 3411.6 s
Current children cumulated vsize: 4422044 KiB
Current children cumulated memory: 4382104 KiB
[startup+1782.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/269 49658
/proc/meminfo: memFree=117253764/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4625568 memory=4530068 CPUtime=3530.75 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1305380 0 0 0 352717 358 0 0 20 0 2 0 50795270 4736581632 1132517 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1156392 1132517 3520 6655 0 1131715 0
[pid=49547/tid=49568] ppid=49540 vsize=4625568 memory=14848 CPUtime=1754.15 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 650956 0 0 0 175202 213 0 0 20 0 2 0 50796271 4736581632 1132517 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 3530.75 s
Current children cumulated vsize: 4625568 KiB
Current children cumulated memory: 4530068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.2 s]
/proc/loadavg: 8.06 8.09 8.01 9/269 49659
/proc/meminfo: memFree=116997848/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4680432 memory=4634668 CPUtime=3600.07 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1333341 0 0 0 359641 366 0 0 20 0 2 0 50795270 4792762368 1158667 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1170108 1158667 3520 6655 0 1158059 0
[pid=49547/tid=49568] ppid=49540 vsize=4680432 memory=3616727197022421024 CPUtime=1788.68 cores=1,3
/proc/49547/task/49568/stat : 49568 (LSIPExact) R 49540 49547 49202 0 -1 4194368 667269 0 0 0 178650 218 0 0 20 0 2 0 50796271 4792762368 1158667 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4680432 KiB
Current children cumulated memory: 4634668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.37 s]
# the end of solver process 49547 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.96 s, system=4.23459 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1817.6 s]
/proc/loadavg: 8.06 8.09 8.01 9/269 49659
/proc/meminfo: memFree=116997848/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4680432 memory=4633032 CPUtime=3600.47 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) R 49540 49547 49202 0 -1 4194304 1656481 0 0 0 359666 381 0 0 20 0 1 0 50795270 4792762368 1158258 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1170108 1158258 3552 6655 0 1158059 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 4680432 KiB
Current children cumulated memory: 4633032 KiB
[startup+1818.4 s]
/proc/loadavg: 8.06 8.09 8.01 7/267 49659
/proc/meminfo: memFree=116998368/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4614896 memory=4576216 CPUtime=3601.04 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) S 49540 49547 49202 0 -1 4194304 2097752 228 0 0 359699 405 0 0 20 0 1 0 50795270 4725653504 1144054 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1153724 1144054 3552 6655 0 1143850 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 4614896 KiB
Current children cumulated memory: 4576216 KiB
[startup+1818.8 s]
/proc/loadavg: 8.06 8.09 8.01 7/267 49659
/proc/meminfo: memFree=116998368/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4614896 memory=4576216 CPUtime=3601.04 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) S 49540 49547 49202 0 -1 4194304 2097752 228 0 0 359699 405 0 0 20 0 1 0 50795270 4725653504 1144054 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1153724 1144054 3552 6655 0 1143850 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 4614896 KiB
Current children cumulated memory: 4576216 KiB
[startup+1819.2 s]
/proc/loadavg: 8.06 8.09 8.01 7/269 49663
/proc/meminfo: memFree=117010896/131249988 swapFree=33010684/33010684
[pid=49547] ppid=49540 vsize=4614896 memory=4576216 CPUtime=3601.04 cores=1,3
/proc/49547/stat : 49547 (LSIPExact) S 49540 49547 49202 0 -1 4194304 2097752 228 0 0 359699 405 0 0 20 0 1 0 50795270 4725653504 1144054 18446744073709551615 94310263324672 94310290581073 140736359125808 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94310299083912 94310299515520 94310323646464 140736359131482 140736359131658 140736359131658 140736359137260 0
/proc/49547/statm: 1153724 1144054 3552 6655 0 1143850 0
[pid=49663] ppid=49547 vsize=34656 memory=18776 CPUtime=0.97 cores=1,3
/proc/49663/stat : 49663 (Exact) R 49547 49663 49663 0 -1 4194304 2505 0 0 0 96 1 0 0 20 0 1 0 50977089 35487744 4694 18446744073709551615 4198400 8335837 140731360900800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28684288 140731360909492 140731360909853 140731360909853 140731360915407 0
/proc/49663/statm: 8664 4694 1120 1011 0 7431 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 4649552 KiB
Current children cumulated memory: 4594992 KiB
Child status: 0
Real time (s): 1819.37
CPU time (s): 3602.19
CPU user time (s): 3597.96
CPU system time (s): 4.23459
CPU usage (%): 197.991
Max. virtual memory (cumulated for all children) (KiB): 4680432
Max. memory (cumulated for all children) (KiB): 4634668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.96
system time used= 4.23459
maximum resident set size= 4635052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2100660
page faults= 0
swaps= 0
block input operations= 88
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 719
involuntary context switches= 94093
# summary of solver processes directly reported to runsolver:
# pid: 49547
# total CPU time (s): 3602.19
# total CPU user time (s): 3597.96
# total CPU system time (s): 4.23459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.12247 second user time and 8.70837 second system time
The end
Begin job on nodeC020 at 2025-07-01 08:26:17
IDJOB=4489355
IDBENCH=147546
IDSOLVER=3336
FILE ID=nodeC020/4489355-1751351177
RUNJOBID= nodeC020-1751349357-49214
SLURM_JOB_ID= 9598127
Free space on /tmp= 432952 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489355-1751351177/watcher-4489355-1751351177 -o /tmp/evaluation-result-4489355-1751351177/solver-4489355-1751351177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751349357-49214 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4489355-1751351177.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=1132212584
nodeC020 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 : 0xb00002a
cpu MHz : 3599.393
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 pti ibrs ibpb stibp 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 : 6999.79
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 : 3700.000
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 pti ibrs ibpb stibp 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 : 6999.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.892
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 pti ibrs ibpb stibp 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 : 6999.79
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 : 3599.865
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 pti ibrs ibpb stibp 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 : 6999.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 : 3623.829
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 pti ibrs ibpb stibp 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 : 6999.79
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 : 3599.924
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 pti ibrs ibpb stibp 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 : 6999.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 : 3599.897
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 pti ibrs ibpb stibp 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 : 6999.79
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 : 3602.261
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 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129269880 kB
MemAvailable: 129733076 kB
Buffers: 3280 kB
Cached: 1267716 kB
SwapCached: 0 kB
Active: 387792 kB
Inactive: 959256 kB
Active(anon): 94164 kB
Inactive(anon): 0 kB
Active(file): 293628 kB
Inactive(file): 959256 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 122236 kB
Writeback: 0 kB
AnonPages: 78952 kB
Mapped: 103540 kB
Shmem: 18056 kB
KReclaimable: 99100 kB
Slab: 187968 kB
SReclaimable: 99100 kB
SUnreclaim: 88868 kB
KernelStack: 4144 kB
PageTables: 2916 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 340504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432744 MiB
End job on nodeC020 at 2025-07-01 08:56:37