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) | 200 | 3600.05 | 3610.71 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| 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 | 179 |
| Best CPU time to get the best result obtained on this benchmark | 3586 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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.20/0.28 o 240 0.29/0.34 o 239 0.29/0.39 o 238 0.39/0.45 o 236 0.49/0.51 o 235 0.58/0.63 o 234 0.68/0.74 o 233 0.78/0.80 o 232 0.88/0.91 o 229 0.88/0.96 o 226 2.68/2.77 o 225 3.37/3.44 o 224 3.37/3.49 o 223 3.77/3.85 o 222 3.88/3.96 o 221 3.98/4.06 o 220 4.08/4.11 o 219 4.08/4.16 o 218 4.17/4.27 o 216 4.47/4.52 o 215 5.66/5.78 o 214 8.65/8.74 o 213 12.05/12.12 o 212 60.79/61.03 o 211 60.98/61.27 o 210 64.18/64.47 o 209 65.37/65.65 o 208 67.36/67.68 o 207 68.76/69.03 o 206 71.86/72.19 o 205 72.35/72.64 o 204 162.85/163.47 o 203 260.33/261.25 o 202 335.49/336.66 o 201 335.60/336.72 o 200 3600.03/3610.70 o 200 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
OK 200
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 (62765 MiB free)
memory of node 1: 64507 MiB (63782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489244-1751355559/watcher-4489244-1751355559 -o /tmp/evaluation-result-4489244-1751355559/solver-4489244-1751355559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751348337-50535 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4489244-1751355559.opb -timer=3600 -hve=512 -f=3 -n: -precision=0
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51298, runsolver pid=51295
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.16 4.15 4/265 51303
/proc/meminfo: memFree=129521684/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=30804 memory=21632 CPUtime=0.09 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 4500 0 0 0 8 1 0 0 20 0 1 0 51233623 31543296 5408 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 7701 5408 1024 1162 0 6310 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34996 KiB
Current children cumulated memory: 24704 KiB
[startup+0.205788 s]*
/proc/loadavg: 4.13 4.16 4.15 5/263 51312
/proc/meminfo: memFree=129423908/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=50436 memory=41188 CPUtime=0.2 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 9751 0 0 0 18 2 0 0 20 0 1 0 51233623 51646464 10297 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 12609 10297 1024 1162 0 11218 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54628 KiB
Current children cumulated memory: 44260 KiB
[startup+0.305706 s]*
/proc/loadavg: 4.13 4.16 4.15 4/263 51318
/proc/meminfo: memFree=129339164/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=79324 memory=71888 CPUtime=0.29 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 17793 0 0 0 26 3 0 0 20 0 1 0 51233623 81227776 17972 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 19831 17972 1184 1162 0 18440 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 83516 KiB
Current children cumulated memory: 74960 KiB
[startup+0.700222 s]
/proc/loadavg: 4.13 4.16 4.15 5/268 51332
/proc/meminfo: memFree=129153436/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=239644 memory=225808 CPUtime=0.68 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 57721 0 0 0 60 8 0 0 20 0 1 0 51233623 245395456 56452 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 59911 56452 1184 1162 0 58520 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 243836 KiB
Current children cumulated memory: 228880 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.16 4.15 5/268 51332
/proc/meminfo: memFree=128739744/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=427052 memory=394992 CPUtime=1.47 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 98438 0 0 0 133 14 0 0 20 0 1 0 51233623 437301248 98748 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 106763 98748 1184 1162 0 105372 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 431244 KiB
Current children cumulated memory: 398064 KiB
[startup+3.10569 s]
/proc/loadavg: 4.12 4.16 4.15 5/268 51332
/proc/meminfo: memFree=127902992/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=596608 memory=535084 CPUtime=3.08 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 130069 0 0 0 288 20 0 0 20 0 1 0 51233623 610926592 133771 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 149152 133771 1184 1162 0 147761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 600800 KiB
Current children cumulated memory: 538156 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.16 4.15 5/268 51332
/proc/meminfo: memFree=127199788/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=869160 memory=746064 CPUtime=6.27 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 173954 0 0 0 599 28 0 0 20 0 1 0 51233623 890019840 186516 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 217290 186516 1184 1162 0 215899 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 873352 KiB
Current children cumulated memory: 749136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.15 5/268 51332
/proc/meminfo: memFree=126835048/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=957544 memory=806892 CPUtime=12.65 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 185875 0 0 0 1235 30 0 0 20 0 1 0 51233623 980525056 201723 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 239386 201723 1184 1162 0 237995 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 961736 KiB
Current children cumulated memory: 809964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.16 5/268 51332
/proc/meminfo: memFree=126445828/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=1058800 memory=879860 CPUtime=25.4 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 198693 0 0 0 2508 32 0 0 20 0 1 0 51233623 1084211200 219965 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 264700 219965 1184 1162 0 263309 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1062992 KiB
Current children cumulated memory: 882932 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.15 4.15 5/268 51333
/proc/meminfo: memFree=126078300/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=1163528 memory=955644 CPUtime=50.93 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 211826 0 0 0 5058 35 0 0 20 0 1 0 51233623 1191452672 238911 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 290882 238911 1184 1162 0 289491 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1167720 KiB
Current children cumulated memory: 958716 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=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=1293372 memory=1050128 CPUtime=101.95 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 226986 0 0 0 10156 39 0 0 20 0 1 0 51233623 1324412928 262532 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 323343 262532 1184 1162 0 321952 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1297564 KiB
Current children cumulated memory: 1053200 KiB
[startup+162.3 s]
/proc/loadavg: 4.41 4.20 4.17 5/268 51337
/proc/meminfo: memFree=125564640/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=1355088 memory=1091148 CPUtime=161.76 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 232222 0 0 0 16135 41 0 0 20 0 1 0 51233623 1387610112 272787 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 338772 272787 1184 1162 0 337381 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1359280 KiB
Current children cumulated memory: 1094220 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.21 4.17 5/268 51339
/proc/meminfo: memFree=125476096/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=1376844 memory=1117144 CPUtime=221.56 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 235060 0 0 0 22114 42 0 0 20 0 1 0 51233623 1409888256 279286 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 344211 279286 1184 1162 0 342820 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1381036 KiB
################
# More data... #
################
/proc/51300/statm: 508155 454753 1184 1162 0 506764 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1822084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 51491
/proc/meminfo: memFree=122863720/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1829252 CPUtime=3152.8 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 254952 0 0 0 315215 65 0 0 20 0 1 0 51233623 2081402880 457313 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 457313 1184 1162 0 506764 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1832324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 51494
/proc/meminfo: memFree=122815912/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1835396 CPUtime=3212.65 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 255267 0 0 0 321200 65 0 0 20 0 1 0 51233623 2081402880 458849 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 458849 1184 1162 0 506764 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1838468 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=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1845636 CPUtime=3272.48 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 255341 0 0 0 327183 65 0 0 20 0 1 0 51233623 2081402880 461409 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 461409 1184 1162 0 506764 0
Current children cumulated CPU time: 3272.48 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1848708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 51500
/proc/meminfo: memFree=122777584/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1853828 CPUtime=3332.33 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 255356 0 0 0 333168 65 0 0 20 0 1 0 51233623 2081402880 463457 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 463457 1184 1162 0 506764 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1856900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 51506
/proc/meminfo: memFree=122746128/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1862020 CPUtime=3392.17 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 255540 0 0 0 339152 65 0 0 20 0 1 0 51233623 2081402880 465505 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 465505 1184 1162 0 506764 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1865092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 51508
/proc/meminfo: memFree=122713512/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1870212 CPUtime=3452.02 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 255735 0 0 0 345136 66 0 0 20 0 1 0 51233623 2081402880 467553 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 467553 1184 1162 0 506764 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1873284 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=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1880452 CPUtime=3511.86 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 255938 0 0 0 351120 66 0 0 20 0 1 0 51233623 2081402880 470113 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 470113 1184 1162 0 506764 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1883524 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=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1886596 CPUtime=3571.7 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 256020 0 0 0 357104 66 0 0 20 0 1 0 51233623 2081402880 471649 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 471649 1184 1162 0 506764 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1889668 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=124529512/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1892740 CPUtime=3600.03 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 256039 0 0 0 359937 66 0 0 20 0 1 0 51233623 2081402880 473185 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 473185 1184 1162 0 506764 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1895812 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 51298 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001197 s, system=0.001201 s
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 51300 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.37 s, system=0.677986 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=124529512/131249996 swapFree=33010416/33010684
[pid=51298] ppid=51295 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51298/stat : 51298 (toulbar2.sh) S 51295 51298 50522 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51233622 4292608 768 18446744073709551615 94456798777344 94456799671877 140732237305728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94456799910928 94456799958672 94456817512448 140732237314359 140732237314535 140732237314535 140732237320137 0
/proc/51298/statm: 1048 768 704 219 0 110 0
[pid=51300] ppid=51298 vsize=2032620 memory=1892740 CPUtime=3600.03 cores=5,7
/proc/51300/stat : 51300 (toulbar2) R 51298 51298 50522 0 -1 4194304 256039 0 0 0 359937 66 0 0 20 0 1 0 51233623 2081402880 473185 18446744073709551615 4198400 8956741 140721302606208 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 39710720 140721302608245 140721302608364 140721302608364 140721302613964 0
/proc/51300/statm: 508155 473185 1184 1162 0 506764 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2036812 KiB
Current children cumulated memory: 1895812 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3599.37
CPU system time (s): 0.677986
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 2211548
Max. memory (cumulated for all children) (KiB): 1895812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.37
system time used= 0.677986
maximum resident set size= 1892740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256249
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= 1976
# summary of solver processes directly reported to runsolver:
# pid: 51298,51300
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.37
# total CPU system time (s): 0.677986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37777 second user time and 17.0762 second system time
The end
Begin job on nodeC022 at 2025-07-01 09:39:19 IDJOB=4489244 IDBENCH=147543 IDSOLVER=3371 FILE ID=nodeC022/4489244-1751355559 RUNJOBID= nodeC022-1751348337-50535 SLURM_JOB_ID= 9598122 Free space on /tmp= 433044 MiB SOLVER NAME= toulbar2 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.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-4489244-1751355559/watcher-4489244-1751355559 -o /tmp/evaluation-result-4489244-1751355559/solver-4489244-1751355559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751348337-50535 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4489244-1751355559.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 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.801 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 : 3599.745 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.724 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.436 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 : 3599.721 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 : 3600.344 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 : 3600.012 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.713 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: 129621452 kB MemAvailable: 129388632 kB Buffers: 2128 kB Cached: 570480 kB SwapCached: 32 kB Active: 804632 kB Inactive: 244668 kB Active(anon): 490524 kB Inactive(anon): 4196 kB Active(file): 314108 kB Inactive(file): 240472 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19836 kB Writeback: 0 kB AnonPages: 479776 kB Mapped: 111848 kB Shmem: 18028 kB KReclaimable: 103280 kB Slab: 190736 kB SReclaimable: 103280 kB SUnreclaim: 87456 kB KernelStack: 4256 kB PageTables: 3916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 819328 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 433052 MiB End job on nodeC022 at 2025-07-01 10:39:30