0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4433827-1721072427.opb
0.00/0.08 c single stage optimization mode
0.09/0.10 o 32605
3600.04/3610.70 c
3600.04/3610.70 c *** TERMINATED *** by signal 15
3600.04/3610.70 s SATISFIABLE
3600.04/3610.70 c _____________________________________________________________________________
3600.04/3610.70 c std/band forms : 1946,0
3600.04/3610.70 c 2cl/3cl ITE-codings : 0,0
3600.04/3610.70 c BDD/srt/adr Max costs : 450001,36535,0
3600.04/3610.70 c BDDraw/bin/mul/srt/adr: 1681,0,0,265,0
3600.04/3610.70 c BDD nodes : 444344
3600.04/3610.70 c Es1/CC detections : 0,0
3600.04/3610.70 c CC sort : 264
3600.04/3610.70 c SAT/UNSAT calls : 1,0
3600.04/3610.70 c regenrated variables : 0
3600.04/3610.70 c eliminated fixed lits : 0
3600.04/3610.70 c goal lit flips : 0
3600.04/3610.70 c goal stages : 1
3600.04/3610.70 c goal shrink : 0
3600.04/3610.70 c goal coeff separations: 0
3600.04/3610.70 c restarts : 4
3600.04/3610.70 c conflicts : 174 (0 /sec)
3600.04/3610.70 c decisions : 1010 (0 /sec)
3600.04/3610.70 c propagations : 35209 (10 /sec)
3600.04/3610.70 c inspects : 0 (0 /sec)
3600.04/3610.70 c CPU time (solving tm) : 3599 s (3597 s, SAT 0.01178 s, UNSAT 0 s)
3600.04/3610.70 c Time for Opt-base : 0.02162 s
3600.04/3610.70 c Steps for Opt-base : 114300
3600.04/3610.70 c Time for BDD coding : 1.562 s
3600.04/3610.70 c Time for srt coding : 0.006109 s
3600.04/3610.70 c _____________________________________________________________________________
3600.04/3610.70 v -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 -x471 -x472 -x473 -x474 x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 x502 x503 x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 -x536 x537 x538 x539 x540 -x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 x290 -x326 x3 -x39 -x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 x43 -x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 -x225 x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 x334 -x11 -x47 x83 -x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 x193 -x229 -x265 -x301 -x337 -x14 -x50 -x86 x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 x304 -x340 -x17 -x53 -x89 -x125 x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 x342 -x19 -x55 x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 x237 -x273 -x309 -x345 x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 x60 -x96 -x132 -x168 -x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 -x278 -x314 -x350 -x27 x63 -x99 -x135 -x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 -x100 x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 x318 -x354 -x31 -x67 -x103 x139 -x175 -x211 -x247 -x283 -x319 -x355 x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 x215 -x251 -x287 -x323 -x359 x8 -x44 -x80 x116 -x152 x188 x224 -x260 x296 -x332 x15 x51 x87 -x123 -x159 -x195 x231 x267 -x303 -x339 -x22 -x58 -x94 x130 x166 -x202 -x238 x274 x310 x346 x29 -x65 x101 -x137 x173 x209 -x245 x281 -x317 -x353 -x36 x72 -x108 -x144 x180 -x216 x252 -x288 x324 x360 -x1 x37 x73 x109 -x145 x181 -x217 -x253 -x289 x325
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63076 MiB free)
memory of node 1: 64473 MiB (63521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433827-1721072427/watcher-4433827-1721072427 -o /tmp/evaluation-result-4433827-1721072427/solver-4433827-1721072427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721072439-816273 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433827-1721072427.opb
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816330, runsolver pid=816318
[startup+0.100065 s]*
/proc/loadavg: 2.89 3.78 3.97 6/258 816350
/proc/meminfo: memFree=129618380/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=9996 memory=8200 CPUtime=0.09 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 1713 0 0 0 9 0 0 0 20 0 1 0 159409349 10235904 2050 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 2499 2050 468 659 0 1703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19928 KiB
Current children cumulated memory: 10884 KiB
[startup+0.205167 s]*
/proc/loadavg: 2.89 3.78 3.97 5/257 816364
/proc/meminfo: memFree=129592644/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=24612 memory=22572 CPUtime=0.19 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 5405 0 0 0 19 0 0 0 20 0 1 0 159409349 25202688 5643 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 6153 5643 468 659 0 5357 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34544 KiB
Current children cumulated memory: 25256 KiB
[startup+0.305763 s]*
/proc/loadavg: 2.98 3.78 3.97 6/256 816376
/proc/meminfo: memFree=129568500/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=39128 memory=34452 CPUtime=0.3 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 8373 0 0 0 29 1 0 0 20 0 1 0 159409349 40067072 8613 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 9782 8613 468 659 0 8986 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49060 KiB
Current children cumulated memory: 37136 KiB
[startup+0.700257 s]
/proc/loadavg: 2.98 3.78 3.97 7/261 816400
/proc/meminfo: memFree=129519184/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=79804 memory=77680 CPUtime=0.68 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 18658 0 0 0 65 3 0 0 20 0 1 0 159409349 81719296 19420 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 19951 19420 468 659 0 19155 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89736 KiB
Current children cumulated memory: 80364 KiB
[startup+1.50026 s]
/proc/loadavg: 2.98 3.78 3.97 6/261 816400
/proc/meminfo: memFree=129398512/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=163356 memory=160596 CPUtime=1.48 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 38680 0 0 0 141 7 0 0 20 0 1 0 159409349 167276544 40149 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 40839 40149 468 659 0 40043 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 173288 KiB
Current children cumulated memory: 163280 KiB
[startup+3.10562 s]
/proc/loadavg: 2.98 3.78 3.97 6/261 816400
/proc/meminfo: memFree=128873636/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=222336 memory=213492 CPUtime=3.08 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 50541 0 0 0 299 9 0 0 20 0 1 0 159409349 227672064 53373 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 55584 53373 468 659 0 54788 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232268 KiB
Current children cumulated memory: 216176 KiB
[startup+6.30025 s]
/proc/loadavg: 3.14 3.80 3.98 6/261 816402
/proc/meminfo: memFree=128860960/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=226728 memory=220016 CPUtime=6.26 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 51684 0 0 0 617 9 0 0 20 0 1 0 159409349 232169472 55004 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 56682 55004 468 659 0 55886 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 236660 KiB
Current children cumulated memory: 222700 KiB
[startup+12.7003 s]
/proc/loadavg: 3.21 3.81 3.98 6/261 816402
/proc/meminfo: memFree=128814940/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=231148 memory=224436 CPUtime=12.64 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 52268 0 0 0 1254 10 0 0 20 0 1 0 159409349 236695552 56109 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 57787 56109 468 659 0 56991 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 241080 KiB
Current children cumulated memory: 227120 KiB
[startup+25.5003 s]
/proc/loadavg: 3.41 3.83 3.99 6/261 816403
/proc/meminfo: memFree=128711744/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=253472 memory=241576 CPUtime=25.41 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 54067 0 0 0 2529 12 0 0 20 0 1 0 159409349 259555328 60394 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 63368 60394 468 659 0 62572 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 263404 KiB
Current children cumulated memory: 244260 KiB
[startup+51.1057 s]
/proc/loadavg: 3.76 3.88 4.00 6/261 816408
/proc/meminfo: memFree=128683492/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=283536 memory=249844 CPUtime=50.93 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 54676 0 0 0 5081 12 0 0 20 0 1 0 159409349 290340864 62461 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 70884 62461 468 659 0 70088 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 252528 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 3.92 4.00 6/261 816416
/proc/meminfo: memFree=128617552/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=283536 memory=277076 CPUtime=101.98 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 54877 0 0 0 10185 13 0 0 20 0 1 0 159409349 290340864 69269 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 70884 69269 468 659 0 70088 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 279760 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.95 4.00 6/261 816428
/proc/meminfo: memFree=128562212/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=283536 memory=278368 CPUtime=161.81 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 55369 0 0 0 16167 14 0 0 20 0 1 0 159409349 290340864 69592 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 70884 69592 468 659 0 70088 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 281052 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.99 4.01 6/260 816438
/proc/meminfo: memFree=128583996/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=332856 memory=312408 CPUtime=221.66 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 56032 0 0 0 22149 17 0 0 20 0 1 0 159409349 340844544 78102 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 83214 78102 468 659 0 82418 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.09 6/265 818134
/proc/meminfo: memFree=128079384/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=410944 memory=380464 CPUtime=3093.3 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 90377 0 0 0 309250 80 0 0 20 0 1 0 159409349 420806656 95116 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 102736 95116 468 659 0 101940 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 420876 KiB
Current children cumulated memory: 383148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/265 818145
/proc/meminfo: memFree=128218344/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=411828 memory=385444 CPUtime=3153.11 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 91473 0 0 0 315229 82 0 0 20 0 1 0 159409349 421711872 96361 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 102957 96361 468 659 0 102161 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 421760 KiB
Current children cumulated memory: 388128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/262 818156
/proc/meminfo: memFree=128109816/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=383800 memory=377804 CPUtime=3212.91 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 91972 0 0 0 321208 83 0 0 20 0 1 0 159409349 393011200 94451 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 95950 94451 468 659 0 95154 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 393732 KiB
Current children cumulated memory: 380488 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/262 818166
/proc/meminfo: memFree=128173764/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=385564 memory=373412 CPUtime=3272.71 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 93298 0 0 0 327186 85 0 0 20 0 1 0 159409349 394817536 93353 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 96391 93353 468 659 0 95595 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 395496 KiB
Current children cumulated memory: 376096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/259 818176
/proc/meminfo: memFree=128136220/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=415912 memory=407804 CPUtime=3332.51 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 94614 0 0 0 333164 87 0 0 20 0 1 0 159409349 425893888 101951 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 103978 101951 468 659 0 103182 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 425844 KiB
Current children cumulated memory: 410488 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/258 818186
/proc/meminfo: memFree=128146624/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=415912 memory=403760 CPUtime=3392.32 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 95504 0 0 0 339143 89 0 0 20 0 1 0 159409349 425893888 100940 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 103978 100940 468 659 0 103182 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 425844 KiB
Current children cumulated memory: 406444 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/258 818197
/proc/meminfo: memFree=128148576/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=415912 memory=395484 CPUtime=3452.12 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 96392 0 0 0 345122 90 0 0 20 0 1 0 159409349 425893888 98871 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 103978 98871 468 659 0 103182 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 425844 KiB
Current children cumulated memory: 398168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/259 818208
/proc/meminfo: memFree=128125476/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=366592 memory=362040 CPUtime=3511.93 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 97071 0 0 0 351101 92 0 0 20 0 1 0 159409349 375390208 90510 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 91648 90510 468 659 0 90852 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 376524 KiB
Current children cumulated memory: 364724 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 6/259 818218
/proc/meminfo: memFree=128122656/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=446732 memory=430576 CPUtime=3571.73 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 97945 0 0 0 357080 93 0 0 20 0 1 0 159409349 457453568 107644 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 111683 107644 468 659 0 110887 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 456664 KiB
Current children cumulated memory: 433260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.06 4.08 4.09 6/261 818228
/proc/meminfo: memFree=128102608/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=415912 memory=397616 CPUtime=3600.04 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 98220 0 0 0 359910 94 0 0 20 0 1 0 159409349 425893888 99404 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 103978 99404 468 659 0 103182 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 425844 KiB
Current children cumulated memory: 400300 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 816330 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.1 s, system=0.949227 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.06 4.08 4.09 6/261 818228
/proc/meminfo: memFree=128102608/131524600 swapFree=131071996/131071996
[pid=816330] ppid=816318 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/816330/stat : 816330 (naps-1.03.sh) S 816318 816330 816260 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 159409349 10170368 671 134679101440 94519091236864 94519092316184 140736504570976 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94519094414640 94519094461828 94519101763584 140736504574944 140736504575073 140736504575073 140736504582088 0
/proc/816330/statm: 2483 671 593 264 0 134 0
[pid=816340] ppid=816330 vsize=415912 memory=397616 CPUtime=3600.04 cores=5,7
/proc/816340/stat : 816340 (naps-1.03) R 816330 816330 816260 0 -1 4194304 98220 0 0 0 359910 94 0 0 20 0 1 0 159409349 425893888 99404 134679101440 4194304 6891213 140725933985872 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23982080 140725933990897 140725933991013 140725933991013 140725933998027 0
/proc/816340/statm: 103978 99404 468 659 0 103182 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 425844 KiB
Current children cumulated memory: 400300 KiB
Child status: 10
Real time (s): 3610.7
CPU time (s): 3600.05
CPU user time (s): 3599.1
CPU system time (s): 0.949227
CPU usage (%): 99.7051
Max. virtual memory (cumulated for all children) (KiB): 456664
Max. memory (cumulated for all children) (KiB): 439404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.1
system time used= 0.949227
maximum resident set size= 436720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98701
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= 48
involuntary context switches= 2701
# summary of solver processes directly reported to runsolver:
# pid: 816330
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.1
# total CPU system time (s): 0.949227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07004 second user time and 17.9855 second system time
The end
Begin job on nodeC027 at 2024-07-15 21:40:39
IDJOB=4433827
IDBENCH=147022
IDSOLVER=3062
FILE ID=nodeC027/4433827-1721072427
RUNJOBID= nodeC027-1721072439-816273
SLURM_JOB_ID= 7505539
Free space on /tmp= 890076 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433827-1721072427/watcher-4433827-1721072427 -o /tmp/evaluation-result-4433827-1721072427/solver-4433827-1721072427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721072439-816273 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433827-1721072427.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=949892192
nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3503.705
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
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 : 3631.272
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3622.190
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
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 : 3627.692
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3643.608
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
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 : 3606.453
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.36
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 : 3568.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129639092 kB
MemAvailable: 129782896 kB
Buffers: 374692 kB
Cached: 613416 kB
SwapCached: 0 kB
Active: 583144 kB
Inactive: 730680 kB
Active(anon): 1444 kB
Inactive(anon): 361984 kB
Active(file): 581700 kB
Inactive(file): 368696 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 22496 kB
Writeback: 68 kB
AnonPages: 323816 kB
Mapped: 103996 kB
Shmem: 37720 kB
KReclaimable: 66460 kB
Slab: 168312 kB
SReclaimable: 66460 kB
SUnreclaim: 101852 kB
KernelStack: 3992 kB
PageTables: 9780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 687316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 206848 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: 189140 kB
DirectMap2M: 13215744 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC027 at 2024-07-15 22:40:50