Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toulbar2 2025-06-13 | SAT (TO) | 204 | 3600.05 | 3610.71 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| 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 | 186 |
| Best CPU time to get the best result obtained on this benchmark | 3585.57 |
| 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 | 479 |
| Total number of constraints | 479 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 479 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 479 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.18/0.27 o 243 0.29/0.33 o 242 0.29/0.39 o 240 0.38/0.50 o 238 0.49/0.56 o 237 0.58/0.61 o 236 0.67/0.77 o 235 0.77/0.83 o 234 0.77/0.88 o 233 0.87/0.98 o 232 2.07/2.18 o 231 5.45/5.59 o 229 13.32/13.46 o 228 15.52/15.64 o 227 15.82/15.90 o 226 46.11/46.35 o 225 57.38/57.64 o 224 62.57/62.81 o 223 65.07/65.34 o 222 72.15/72.45 o 221 72.65/72.91 o 220 72.85/73.13 o 218 73.35/73.65 o 217 73.44/73.70 o 216 79.42/79.71 o 215 79.42/79.75 o 214 79.83/80.10 o 213 90.19/90.59 o 212 90.29/90.64 o 211 108.25/108.67 o 210 108.35/108.72 o 209 113.74/114.10 o 208 122.41/122.86 o 207 126.30/126.72 o 206 346.89/347.92 o 205 378.91/380.09 o 204 3600.03/3610.70 o 204 3600.03/3610.70 s SATISFIABLE 3600.03/3610.70 v -x1 x2 -x3 -x4 -x5 x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 x15 x16 -x17 x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 x34 x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 x44 x45 x46 x47 -x48 -x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 -x59 -x60 x61 x62 x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 -x79 x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 x92 -x93 x94 x95 x96 -x97 x98 -x99 x100 -x101 x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 x112 x113 x114 x115 x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 x142 x143 x144 -x145 -x146 x147 x148 -x149 x150 -x151 -x152 x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 x171 -x172 x173 x174 -x175 -x176 x177 -x178 x179 x180 -x181 x182 -x183 x184 -x185 x186 -x187 -x188 x189 x190 -x191 x192 -x193 -x194 x195 -x196 -x197 x198 x199 -x200 -x201 x202 x203 -x204 -x205 x206 x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 x222 x223 -x224 -x225 x226 x227 -x228 x229 x230 -x231 x232 x233 x234 -x235 -x236 x237 x238 x239 -x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 x255 x256 -x257 x258 x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 x272 -x273 x274 -x275 -x276 x277 -x278 x279 x280 x281 x282 -x283 -x284 x285 x286 -x287 -x288 x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 -x298 x299 x300 x301 -x302 x303 -x304 -x305 x306 x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 x322 -x323 x324 -x325 x326 x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 x335 -x336 x337 x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 x351 x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 x363 -x364 -x365 x366 -x367 -x368 x369 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 x380 x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 x421 -x422 x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 x432 x433 -x434 x435 -x436 x437 -x438 x439 -x440 x441 x442 -x443 x444 -x445 x446 -x447 x448 -x449 x450 x451 -x452 -x453 x454 x455 x456 x457 -x458 -x459 -x460 x461 -x462 x463 x464 -x465 -x466 -x467 x468 -x469 -x470 x471 -x472 -x473 x474 x475 -x476 -x477 -x478 -x479
OK 204
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: 63665 MiB (62482 MiB free)
memory of node 1: 64507 MiB (63961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489152-1751355558/watcher-4489152-1751355558 -o /tmp/evaluation-result-4489152-1751355558/solver-4489152-1751355558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751348337-50533 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4489152-1751355558.opb -timer=3600 -hve=512 -f=3 -n: -precision=0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51240, runsolver pid=51236
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.16 4.15 4/263 51248
/proc/meminfo: memFree=129458488/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=29856 memory=20608 CPUtime=0.08 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 4253 0 0 0 7 1 0 0 20 0 1 0 51233555 30572544 5152 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 7464 5152 1024 1162 0 6073 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 34048 KiB
Current children cumulated memory: 23680 KiB
[startup+0.205937 s]*
/proc/loadavg: 4.13 4.16 4.15 3/262 51254
/proc/meminfo: memFree=129934244/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=48968 memory=39680 CPUtime=0.18 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 9081 0 0 0 17 1 0 0 20 0 1 0 51233555 50143232 9920 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 12242 9920 1024 1162 0 10851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 53160 KiB
Current children cumulated memory: 42752 KiB
[startup+0.304851 s]*
/proc/loadavg: 4.13 4.16 4.15 3/258 51263
/proc/meminfo: memFree=129921536/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=83060 memory=75928 CPUtime=0.29 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 18544 0 0 0 26 3 0 0 20 0 1 0 51233555 85053440 18982 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 20765 18982 1152 1162 0 19374 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 87252 KiB
Current children cumulated memory: 79000 KiB
[startup+0.700223 s]
/proc/loadavg: 4.13 4.16 4.15 3/257 51279
/proc/meminfo: memFree=129707160/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=245040 memory=229884 CPUtime=0.67 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 59732 0 0 0 58 9 0 0 20 0 1 0 51233555 250920960 57471 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 61260 57471 1152 1162 0 59869 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 249232 KiB
Current children cumulated memory: 232956 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.16 4.15 5/263 51319
/proc/meminfo: memFree=129322972/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=402900 memory=363580 CPUtime=1.47 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 96052 0 0 0 132 15 0 0 20 0 1 0 51233555 412569600 90895 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 100725 90895 1152 1162 0 99334 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 407092 KiB
Current children cumulated memory: 366652 KiB
[startup+3.10568 s]
/proc/loadavg: 4.12 4.16 4.15 5/268 51332
/proc/meminfo: memFree=128089564/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=548352 memory=486260 CPUtime=3.07 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 127185 0 0 0 287 20 0 0 20 0 1 0 51233555 561512448 121565 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 137088 121565 1152 1162 0 135697 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 552544 KiB
Current children cumulated memory: 489332 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.16 4.15 5/268 51332
/proc/meminfo: memFree=127336700/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=741712 memory=637972 CPUtime=6.25 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 160361 0 0 0 601 24 0 0 20 0 1 0 51233555 759513088 159493 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 185428 159493 1152 1162 0 184037 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 745904 KiB
Current children cumulated memory: 641044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.15 5/268 51332
/proc/meminfo: memFree=126843744/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=830776 memory=713724 CPUtime=12.63 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 175493 0 0 0 1237 26 0 0 20 0 1 0 51233555 850714624 178431 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 207694 178431 1152 1162 0 206303 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 834968 KiB
Current children cumulated memory: 716796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.16 5/268 51332
/proc/meminfo: memFree=126449672/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=966908 memory=819040 CPUtime=25.38 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 195411 0 0 0 2508 30 0 0 20 0 1 0 51233555 990113792 204760 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 241727 204760 1152 1162 0 240336 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 971100 KiB
Current children cumulated memory: 822112 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.15 4.15 5/268 51333
/proc/meminfo: memFree=126086492/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1077824 memory=907580 CPUtime=50.91 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 211095 0 0 0 5056 35 0 0 20 0 1 0 51233555 1103691776 226895 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 269456 226895 1152 1162 0 268065 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1082016 KiB
Current children cumulated memory: 910652 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/268 51335
/proc/meminfo: memFree=125756300/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1182840 memory=992212 CPUtime=101.96 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 223081 0 0 0 10157 39 0 0 20 0 1 0 51233555 1211228160 248053 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 295710 248053 1152 1162 0 294319 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1187032 KiB
Current children cumulated memory: 995284 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.19 4.16 5/268 51337
/proc/meminfo: memFree=125564640/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1253344 memory=1045844 CPUtime=161.8 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 230282 0 0 0 16137 43 0 0 20 0 1 0 51233555 1283424256 261461 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 313336 261461 1152 1162 0 311945 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1257536 KiB
Current children cumulated memory: 1048916 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.21 4.18 5/268 51339
/proc/meminfo: memFree=125475844/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1262608 memory=1061520 CPUtime=221.63 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 231271 0 0 0 22119 44 0 0 20 0 1 0 51233555 1292910592 265380 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 315652 265380 1152 1162 0 314261 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/51242/statm: 480351 432066 1152 1162 0 478960 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1731336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 51491
/proc/meminfo: memFree=122863468/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1738504 CPUtime=3153.05 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 252416 0 0 0 315213 92 0 0 20 0 1 0 51233555 1967517696 434626 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 434626 1152 1162 0 478960 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1741576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 51494
/proc/meminfo: memFree=122815912/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1744648 CPUtime=3212.86 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 252469 0 0 0 321193 93 0 0 20 0 1 0 51233555 1967517696 436162 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 436162 1152 1162 0 478960 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1747720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 51498
/proc/meminfo: memFree=122784144/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1754888 CPUtime=3272.68 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 252581 0 0 0 327174 94 0 0 20 0 1 0 51233555 1967517696 438722 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 438722 1152 1162 0 478960 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1757960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 51500
/proc/meminfo: memFree=122777584/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1761032 CPUtime=3332.49 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 252681 0 0 0 333155 94 0 0 20 0 1 0 51233555 1967517696 440258 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 440258 1152 1162 0 478960 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1764104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 51506
/proc/meminfo: memFree=122746128/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1771272 CPUtime=3392.3 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 252806 0 0 0 339136 94 0 0 20 0 1 0 51233555 1967517696 442818 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 442818 1152 1162 0 478960 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1774344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 51508
/proc/meminfo: memFree=122713512/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1777456 CPUtime=3452.11 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 252984 0 0 0 345116 95 0 0 20 0 1 0 51233555 1967517696 444364 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 444364 1152 1162 0 478960 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1780528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 51511
/proc/meminfo: memFree=122672448/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1787696 CPUtime=3511.93 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 253049 0 0 0 351097 96 0 0 20 0 1 0 51233555 1967517696 446924 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 446924 1152 1162 0 478960 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1790768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.19 4.12 5/267 51513
/proc/meminfo: memFree=122643880/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1793840 CPUtime=3571.73 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 253338 0 0 0 357077 96 0 0 20 0 1 0 51233555 1967517696 448460 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 448460 1152 1162 0 478960 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1796912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.30 4.18 4.12 4/262 51523
/proc/meminfo: memFree=124531364/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1797936 CPUtime=3600.03 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 253447 0 0 0 359905 98 0 0 20 0 1 0 51233555 1967517696 449484 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 449484 1152 1162 0 478960 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1801008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 51240 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002248 s
[startup+3610.71 s]
# the end of solver process 51242 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.05 s, system=0.993556 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.30 4.18 4.12 4/262 51523
/proc/meminfo: memFree=124531364/131249996 swapFree=33010416/33010684
[pid=51240] ppid=51236 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/51240/stat : 51240 (toulbar2.sh) S 51236 51240 50522 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51233554 4292608 768 18446744073709551615 94758778179584 94758779074117 140722629636752 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94758779313168 94758779360912 94758808911872 140722629638455 140722629638631 140722629638631 140722629644233 0
/proc/51240/statm: 1048 768 704 219 0 110 0
[pid=51242] ppid=51240 vsize=1921404 memory=1797936 CPUtime=3600.03 cores=4,6
/proc/51242/stat : 51242 (toulbar2) R 51240 51240 50522 0 -1 4194304 253447 0 0 0 359905 98 0 0 20 0 1 0 51233555 1967517696 449484 18446744073709551615 4198400 8956741 140728168781840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 43122688 140728168786293 140728168786412 140728168786412 140728168792012 0
/proc/51242/statm: 480351 449484 1152 1162 0 478960 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1925596 KiB
Current children cumulated memory: 1801008 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3599.05
CPU system time (s): 0.993556
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 1925596
Max. memory (cumulated for all children) (KiB): 1801008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 0.993556
maximum resident set size= 1802340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253654
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= 112
involuntary context switches= 1949
# summary of solver processes directly reported to runsolver:
# pid: 51240,51242
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.05
# total CPU system time (s): 0.993556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98243 second user time and 18.1564 second system time
The end
Begin job on nodeC022 at 2025-07-01 09:39:18 IDJOB=4489152 IDBENCH=147541 IDSOLVER=3371 FILE ID=nodeC022/4489152-1751355558 RUNJOBID= nodeC022-1751348337-50533 SLURM_JOB_ID= 9598122 Free space on /tmp= 433052 MiB SOLVER NAME= toulbar2 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489152-1751355558/watcher-4489152-1751355558 -o /tmp/evaluation-result-4489152-1751355558/solver-4489152-1751355558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751348337-50533 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4489152-1751355558.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=1754252375 nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.717 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.44 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 : 3602.774 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.44 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 : 3600.591 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.742 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.44 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 : 3600.013 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.44 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.761 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.724 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.44 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 : 3599.679 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129478196 kB MemAvailable: 129238952 kB Buffers: 2128 kB Cached: 564056 kB SwapCached: 32 kB Active: 910492 kB Inactive: 238244 kB Active(anon): 596384 kB Inactive(anon): 4196 kB Active(file): 314108 kB Inactive(file): 234048 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6620 kB Writeback: 0 kB AnonPages: 584976 kB Mapped: 107872 kB Shmem: 18028 kB KReclaimable: 103280 kB Slab: 190636 kB SReclaimable: 103280 kB SUnreclaim: 87356 kB KernelStack: 4236 kB PageTables: 4324 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1186988 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 518144 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433036 MiB End job on nodeC022 at 2025-07-01 10:39:29