Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NuPBO-DeepOptS+ 2025-06-02 | SAT (TO) | 23916 | 3600.04 | 3609.01 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3585.75 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.88/0.97 c Filename:instance-4486510-1751329563.opb, Cutoff_time:3600, memory_limit_gb:500000 0.88/0.97 c Scip time: 1800 0.88/0.97 c Use Presolve 0.88/0.97 c Parse finsih 0.88/0.97 c Start Presolve 0.88/0.97 c After Reduce Vars: 540 Clauses: 4806 Top clause weight: 116905 Hard Clauses: 4626 3600.03/3609.00 c Use LS-small 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 25730 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 25470 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 25048 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 24813 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 24742 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 24174 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 24101 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 23954 3600.03/3609.00 c Use postsolve 3600.03/3609.00 o 23916 3600.03/3609.00 s SATISFIABLE 3600.03/3609.00 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 3600.03/3609.00 c Use postsolve 3600.03/3609.00 c Done 1857.6s
OK 23916
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 (63142 MiB free)
memory of node 1: 64465 MiB (63974 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486510-1751329563/watcher-4486510-1751329563 -o /tmp/evaluation-result-4486510-1751329563/solver-4486510-1751329563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751325954-42542 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4486510-1751329563.opb -t 3600 -s 674225421
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42929, runsolver pid=42920
[startup+0.10006 s]*
/proc/loadavg: 4.06 4.10 4.08 4/262 42934
/proc/meminfo: memFree=130157064/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=23508 memory=8892 CPUtime=0.1 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 1443 0 0 0 10 0 0 0 20 0 1 0 48633842 24072192 2223 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 5877 2223 1152 2752 0 2530 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23508 KiB
Current children cumulated memory: 8892 KiB
[startup+0.204532 s]*
/proc/loadavg: 4.06 4.10 4.08 4/260 42941
/proc/meminfo: memFree=130108680/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=42444 memory=32828 CPUtime=0.2 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 5983 0 0 0 20 0 0 0 20 0 1 0 48633842 43462656 8207 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 10611 8207 2720 2752 0 7264 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42444 KiB
Current children cumulated memory: 32828 KiB
[startup+0.304765 s]*
/proc/loadavg: 4.06 4.10 4.08 4/260 42951
/proc/meminfo: memFree=130092076/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=53040 memory=43388 CPUtime=0.29 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 8704 0 0 0 29 0 0 0 20 0 1 0 48633842 54312960 10847 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 13260 10847 2816 2752 0 9913 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53040 KiB
Current children cumulated memory: 43388 KiB
[startup+0.700123 s]
/proc/loadavg: 4.06 4.10 4.08 5/259 42956
/proc/meminfo: memFree=130060768/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=53332 memory=43644 CPUtime=0.68 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 8752 0 0 0 68 0 0 0 20 0 1 0 48633842 54611968 10911 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 13333 10911 2816 2752 0 9986 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53332 KiB
Current children cumulated memory: 43644 KiB
[startup+1.50012 s]
/proc/loadavg: 4.06 4.10 4.08 5/264 42965
/proc/meminfo: memFree=130000600/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=79712 memory=68704 CPUtime=1.48 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 15693 0 0 0 147 1 0 0 20 0 1 0 48633842 81625088 17176 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 19928 17176 2848 2752 0 16581 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79712 KiB
Current children cumulated memory: 68704 KiB
[startup+3.10448 s]
/proc/loadavg: 4.06 4.10 4.08 5/264 42965
/proc/meminfo: memFree=129784096/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=111944 memory=95328 CPUtime=3.08 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 22348 0 0 0 306 2 0 0 20 0 1 0 48633842 114630656 23832 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 27986 23832 2848 2752 0 24639 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111944 KiB
Current children cumulated memory: 95328 KiB
[startup+6.3001 s]
/proc/loadavg: 4.06 4.10 4.07 5/264 42965
/proc/meminfo: memFree=129528280/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=125312 memory=107744 CPUtime=6.27 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 25460 0 0 0 625 2 0 0 20 0 1 0 48633842 128319488 26936 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 31328 26936 2848 2752 0 27981 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125312 KiB
Current children cumulated memory: 107744 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 42965
/proc/meminfo: memFree=129447892/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=125312 memory=108000 CPUtime=12.65 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 25516 0 0 0 1263 2 0 0 20 0 1 0 48633842 128319488 27000 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 31328 27000 2848 2752 0 27981 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 125312 KiB
Current children cumulated memory: 108000 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 42965
/proc/meminfo: memFree=129363336/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=188600 memory=167236 CPUtime=25.42 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 41567 0 0 0 2536 6 0 0 20 0 1 0 48633842 193126400 41809 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 47150 41809 2848 2752 0 43803 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 188600 KiB
Current children cumulated memory: 167236 KiB
[startup+51.1045 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 42966
/proc/meminfo: memFree=129337988/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=198468 memory=178308 CPUtime=50.93 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 44774 0 0 0 5087 6 0 0 20 0 1 0 48633842 203231232 44577 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 49617 44577 3168 2752 0 46270 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 198468 KiB
Current children cumulated memory: 178308 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 42967
/proc/meminfo: memFree=129289360/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=208556 memory=188420 CPUtime=101.96 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 47312 0 0 0 10189 7 0 0 20 0 1 0 48633842 213561344 47105 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 52139 47105 3168 2752 0 48792 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 208556 KiB
Current children cumulated memory: 188420 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/263 42969
/proc/meminfo: memFree=129255444/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=245780 memory=222084 CPUtime=161.77 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 55729 0 0 0 16167 10 0 0 20 0 1 0 48633842 251678720 55521 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 61445 55521 3168 2752 0 58098 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 245780 KiB
Current children cumulated memory: 222084 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 42971
/proc/meminfo: memFree=129183992/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=251268 memory=228356 CPUtime=221.58 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 56499 0 0 0 22148 10 0 0 20 0 1 0 48633842 257298432 57089 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 62817 57089 3168 2752 0 59470 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 251268 KiB
Current children cumulated memory: 228356 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 42974
/proc/meminfo: memFree=129191888/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=258156 memory=240260 CPUtime=281.41 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 57595 0 0 0 28131 10 0 0 20 0 1 0 48633842 264351744 60065 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 64539 60065 3168 2752 0 61192 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 258156 KiB
Current children cumulated memory: 240260 KiB
[startup+342.3 s]
/proc/loadavg: 4.35 4.19 4.12 5/263 42976
/proc/meminfo: memFree=129165052/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=261404 memory=253728 CPUtime=341.24 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 59175 0 0 0 34113 11 0 0 20 0 1 0 48633842 267677696 63432 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 65351 63432 3168 2752 0 62004 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 261404 KiB
Current children cumulated memory: 253728 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/263 42980
/proc/meminfo: memFree=129143324/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=264284 memory=257056 CPUtime=401.09 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 60112 0 0 0 40098 11 0 0 20 0 1 0 48633842 270626816 64264 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 66071 64264 3168 2752 0 62724 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 264284 KiB
Current children cumulated memory: 257056 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 42988
/proc/meminfo: memFree=129151864/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=275028 memory=267168 CPUtime=460.92 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 62745 0 0 0 46081 11 0 0 20 0 1 0 48633842 281628672 66792 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 68757 66792 3168 2752 0 65410 0
################
# More data... #
################
Current children cumulated memory: 349308 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 43119
/proc/meminfo: memFree=128837272/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=2854.99 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93324 0 0 0 285482 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 2854.99 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 43122
/proc/meminfo: memFree=128838168/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=2914.85 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93324 0 0 0 291468 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 2914.85 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 43124
/proc/meminfo: memFree=128837788/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=2974.72 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93326 0 0 0 297455 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 43126
/proc/meminfo: memFree=128838096/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3034.59 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93326 0 0 0 303442 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 43128
/proc/meminfo: memFree=128838088/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3094.46 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93326 0 0 0 309429 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 43130
/proc/meminfo: memFree=128837704/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3154.33 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93328 0 0 0 315416 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 43132
/proc/meminfo: memFree=128839916/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3214.2 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93328 0 0 0 321403 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 43134
/proc/meminfo: memFree=128840424/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3274.06 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93328 0 0 0 327389 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 43136
/proc/meminfo: memFree=128840844/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3333.93 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93328 0 0 0 333376 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 43140
/proc/meminfo: memFree=128840660/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3393.79 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93330 0 0 0 339362 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.39 4.17 4.12 5/263 43147
/proc/meminfo: memFree=128840376/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3453.66 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93330 0 0 0 345349 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/263 43149
/proc/meminfo: memFree=128840672/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3513.52 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93330 0 0 0 351335 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 43151
/proc/meminfo: memFree=128839848/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3573.38 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93332 0 0 0 357321 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.18 4.16 4.11 4/262 43161
/proc/meminfo: memFree=129355520/131250000 swapFree=33007332/33010684
[pid=42929] ppid=42920 vsize=355552 memory=349308 CPUtime=3600.03 cores=5,7
/proc/42929/stat : 42929 (NuPBO-DeepOptS+) R 42920 42929 42529 0 -1 4194304 93332 0 0 0 359986 17 0 0 20 0 1 0 48633842 364085248 87327 18446744073709551615 4198400 15468185 140730735057536 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36864000 140730735061399 140730735061508 140730735061508 140730735067110 0
/proc/42929/statm: 88888 87327 3168 2752 0 85541 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 355552 KiB
Current children cumulated memory: 349308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 42929 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.86 s, system=0.180392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.01
CPU time (s): 3600.04
CPU user time (s): 3599.86
CPU system time (s): 0.180392
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 393864
Max. memory (cumulated for all children) (KiB): 384036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.180392
maximum resident set size= 384036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93377
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= 55
involuntary context switches= 3972
# summary of solver processes directly reported to runsolver:
# pid: 42929
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.86
# total CPU system time (s): 0.180392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96101 second user time and 10.4379 second system time
The end
Begin job on nodeC019 at 2025-07-01 02:26:03 IDJOB=4486510 IDBENCH=147022 IDSOLVER=3343 FILE ID=nodeC019/4486510-1751329563 RUNJOBID= nodeC019-1751325954-42542 SLURM_JOB_ID= 9594356 Free space on /tmp= 433012 MiB SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486510-1751329563/watcher-4486510-1751329563 -o /tmp/evaluation-result-4486510-1751329563/solver-4486510-1751329563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751325954-42542 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4486510-1751329563.opb -t 3600 -s 674225421 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=674225421 nodeC019 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 : 3603.733 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.37 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 : 3599.708 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.37 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.563 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.37 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 : 3623.532 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.37 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 : 3599.848 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.37 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.682 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.148 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.37 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 : 3689.450 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130168716 kB MemAvailable: 129797496 kB Buffers: 904 kB Cached: 415000 kB SwapCached: 416 kB Active: 201604 kB Inactive: 281604 kB Active(anon): 54516 kB Inactive(anon): 27860 kB Active(file): 147088 kB Inactive(file): 253744 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48524 kB Writeback: 32 kB AnonPages: 70072 kB Mapped: 102960 kB Shmem: 15072 kB KReclaimable: 92084 kB Slab: 179276 kB SReclaimable: 92084 kB SUnreclaim: 87192 kB KernelStack: 4144 kB PageTables: 3040 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 333408 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432980 MiB End job on nodeC019 at 2025-07-01 03:26:13