Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | ? (TO) | 3568.11 | 3702.15 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb |
| MD5SUM | c0e25a71d8726d42148f3e780c01ff44 |
| 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 | 56 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| 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 | 14300 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 93 |
| Number of terms in the objective function | 14300 |
| 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 | 14300 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 14300 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
11.01/11.12 o 471 11.50/11.66 o 470 11.60/11.71 o 469 11.60/11.72 o 468 11.60/11.78 o 467 11.70/11.83 o 466 11.70/11.87 o 465 11.70/11.89 o 464 11.80/11.92 o 463 11.80/11.94 o 462 11.80/11.96 o 461 11.80/11.98 o 460 11.91/12.03 o 459 11.91/12.07 o 458 12.01/12.13 o 457 12.40/12.55 o 456 12.40/12.59 o 455 12.50/12.61 o 454 12.50/12.63 o 453 12.50/12.67 o 452 12.60/12.77 o 451 18.58/18.77 o 450 18.68/18.80 o 449 18.68/18.85 o 448 18.68/18.89 o 447 18.78/18.93 o 446 18.78/18.97 o 445 18.89/19.10 o 444 19.18/19.36 o 443 19.58/19.77 o 442 19.78/19.98 o 441 19.99/20.12 o 440 118.22/119.49 o 439 118.62/119.81 o 438 118.93/120.12 o 437 119.22/120.45 o 436 120.22/121.46 o 435 121.02/122.28 o 434 121.71/122.90 o 433 122.01/123.21 o 432 122.31/123.52 o 431 122.61/123.85 o 430 123.02/124.25 o 429 123.41/124.67 o 428 123.92/125.13 o 427 125.31/126.50 o 426 125.81/127.06 o 425 126.50/127.73 o 424 126.81/128.05 o 423 127.20/128.44 o 422 127.61/128.89 o 421 128.00/129.23 o 420 128.64/129.96 o 419 128.94/130.29 o 418 129.34/130.64 o 417 129.64/130.94 o 416 129.94/131.28 o 415 130.34/131.61 o 414 130.64/131.92 o 413 130.94/132.21 o 412 131.24/132.53 o 411 131.54/132.85 o 410 131.94/133.22 o 409 132.24/133.56 o 408 132.54/133.88 o 407 132.84/134.18 o 406 133.13/134.49 o 405 133.53/134.83 o 404 134.14/135.43 o 403 134.44/135.73 o 402 134.74/136.04 o 401 135.03/136.35 o 400 135.33/136.65 o 399 135.63/136.94 o 398 135.93/137.24 o 397 136.23/137.54 o 396 136.53/137.84 o 395 136.83/138.13 o 394 137.13/138.42 o 393 137.43/138.70 o 392 137.62/138.99 o 391 137.92/139.27 o 390 138.32/139.61 o 389 138.62/139.93 o 388 138.92/140.25 o 387 139.22/140.59 o 386 140.11/141.41 o 385 140.62/141.91 o 384 145.20/146.50 o 383 529.37/538.48 o 382 529.77/538.83 o 381 530.07/539.17 o 380 530.47/539.51 o 379 530.77/539.86 o 378 531.17/540.21 o 377 531.46/540.57 o 376 531.86/540.92 o 375 532.16/541.29 o 374 535.75/544.86 o 373 559.91/569.35 o 372 572.47/581.96 o 371 576.17/585.62 o 370 582.08/592.00 o 369 594.95/604.85 o 368 608.12/618.05 o 367 611.31/621.25 o 366 644.53/655.29 o 365 696.29/707.99 o 364 726.57/738.55 o 363 733.03/745.80 o 362 743.31/756.18 o 361 753.57/766.41 o 360 782.55/796.84 o 359 792.65/807.49 o 358 865.69/881.88 o 357 1127.11/1149.42 o 356 1127.30/1149.63 o 355 1127.50/1149.86 o 354 1314.55/1338.16 o 353 1375.78/1399.71 o 352 1375.88/1399.82 o 351 1376.09/1400.04 o 350 1376.28/1400.20 o 349 1376.38/1400.33 o 348 1376.48/1400.46 o 347 1376.58/1400.58 o 346 1376.78/1400.71 o 345 1376.88/1400.89 o 344 1377.18/1401.15 o 343 1377.78/1401.72 o 342 1377.97/1401.92 o 341 1378.18/1402.15 o 340 1378.47/1402.49 o 339 1380.47/1404.40 o 338 1380.67/1404.68 o 337 1380.87/1404.89 o 336 1381.07/1405.06 o 335 1381.27/1405.22 o 334 1382.36/1406.38 o 333 1383.76/1407.71 o 332 1384.06/1408.10 o 331 1384.95/1409.00 o 330 1393.43/1417.46 o 329 1537.13/1564.18 o 328 1537.33/1564.31 o 327 1537.43/1564.44 o 326 1537.54/1564.58 o 325 1537.73/1564.71 o 324 1537.83/1564.84 o 323 1537.93/1564.98 o 322 1538.13/1565.11 o 321 1538.23/1565.24 o 320 1538.33/1565.38 o 319 1538.54/1565.52 o 318 1538.64/1565.65 o 317 1538.73/1565.78 o 316 1538.93/1565.92 o 315 1539.03/1566.05 o 314 1539.23/1566.23 o 313 1539.53/1566.57 o 312 1539.73/1566.75 o 311 1539.93/1566.97 o 310 1540.23/1567.22 o 309 1540.53/1567.51 o 308 1540.63/1567.65 o 307 1540.83/1567.83 o 306 1541.03/1568.02 o 305 1541.63/1568.66 o 304 1542.32/1569.34 o 303 1542.82/1569.86 o 302 1543.62/1570.63 o 301 1544.01/1571.09 o 300 1544.82/1571.80 o 299 1546.92/1573.94 o 298 1547.21/1574.20 o 297 1547.81/1574.87 o 296 1548.71/1575.76 o 295 1549.21/1576.26 o 294 1550.50/1577.58 o 293 1553.19/1580.22 o 292 1560.85/1588.28 o 291 1562.15/1589.55 o 290 1565.93/1593.31 o 289 1566.33/1593.73 o 288 1568.03/1595.41 o 287 1572.91/1600.30 o 286 1577.12/1604.53 o 285 1582.39/1609.89 o 284 1586.62/1614.44 o 283 1588.62/1616.49 o 282 1648.44/1677.58 o 281 1772.47/1802.62 o 280 1772.57/1802.72 o 279 1772.67/1802.82 o 278 1772.77/1802.93 o 277 1772.87/1803.07 o 276 1775.26/1805.40 o 275 1776.86/1807.07 o 274 1777.36/1807.56 o 273 1778.05/1808.29 o 272 1778.56/1808.72 o 271 1779.36/1809.53 o 270 1784.34/1814.52 o 269 2150.55/2185.52 o 268 2150.65/2185.65 o 267 2150.84/2185.80 o 266 2150.94/2185.93 o 265 2151.04/2186.08 o 264 2151.24/2186.24 o 263 2151.44/2186.41 o 262 2261.09/2297.28 o 261 2294.50/2331.77 o 260 2439.00/2485.72 o 259 2525.02/2580.71 o 258 2525.12/2580.80 o 257 2525.12/2580.89 o 256 2525.32/2581.07 o 255 2525.42/2581.15 o 254 2525.52/2581.25 o 253 2525.62/2581.33 o 252 2525.72/2581.42 o 251 2525.82/2581.51 o 250 2526.11/2581.85 o 249 2535.49/2591.29 o 248 2549.56/2608.82 o 247 2565.11/2624.46 o 246 2572.29/2631.69 o 245 2689.23/2756.18 o 244 2689.43/2756.33 o 243 2689.53/2756.48 o 242 2689.74/2756.63 o 241 2691.53/2758.44 o 240 2694.12/2761.10 o 239 2694.32/2761.29 o 238 2699.21/2766.15 o 237 2701.19/2771.65 o 236 2703.18/2773.68 o 235 2708.07/2778.52 o 234 2709.87/2780.33 o 233 2712.17/2782.65 o 232 2713.46/2783.95 o 231 2724.31/2796.08 o 230 2736.38/2808.19 o 229 2759.26/2831.59 o 228 2776.11/2848.44 o 227 2818.12/2890.99 o 226 2818.32/2891.12 o 225 2818.42/2891.25 o 224 2818.52/2891.38 o 223 2818.72/2891.52 o 222 2818.82/2891.65 o 221 2828.09/2900.99 o 220 3182.95/3286.41 o 219 3183.05/3286.58 o 218 3183.25/3286.74 o 217 3183.35/3286.89 o 216 3183.55/3287.06 o 215 3183.75/3287.23 o 214 3183.95/3287.46 o 213
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (53055 MiB free)
memory of node 1: 64473 MiB (52013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441300-1721806444/watcher-4441300-1721806444 -o /tmp/evaluation-result-4441300-1721806444/solver-4441300-1721806444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721801546-171602 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441300-1721806444 --seed=604026573 HOME/instance-4441300-1721806444.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=176857, runsolver pid=176854
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.14 4.11 4.09 5/262 176858
/proc/meminfo: memFree=107567584/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=50272 memory=26748 CPUtime=0.03 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 6623 0 0 0 3 0 0 0 20 0 1 0 17172342 51478528 6687 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 12568 6687 852 1006 0 11329 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 50272 KiB
Current children cumulated memory: 26748 KiB
[startup+0.205761 s]*
/proc/loadavg: 4.14 4.11 4.09 5/262 176858
/proc/meminfo: memFree=107543224/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=83676 memory=58956 CPUtime=0.14 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 14682 0 0 0 13 1 0 0 20 0 1 0 17172342 85684224 14739 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 20919 14739 852 1006 0 19680 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 83676 KiB
Current children cumulated memory: 58956 KiB
[startup+0.305771 s]*
/proc/loadavg: 4.14 4.11 4.09 5/262 176858
/proc/meminfo: memFree=107511192/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=104268 memory=80868 CPUtime=0.24 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 20153 0 0 0 22 2 0 0 20 0 1 0 17172342 106770432 20217 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 26067 20217 852 1006 0 24828 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 104268 KiB
Current children cumulated memory: 80868 KiB
[startup+0.70023 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 176858
/proc/meminfo: memFree=107448432/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=290484 memory=264460 CPUtime=0.63 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 65847 0 0 0 54 9 0 0 20 0 1 0 17172342 297455616 66115 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 72621 66115 852 1006 0 71382 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 290484 KiB
Current children cumulated memory: 264460 KiB
[startup+1.50024 s]
/proc/loadavg: 4.20 4.13 4.10 5/262 176858
/proc/meminfo: memFree=107322808/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=290484 memory=276656 CPUtime=1.43 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 66326 0 0 0 133 10 0 0 20 0 1 0 17172342 297455616 69164 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 72621 69164 883 1006 0 71382 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 290484 KiB
Current children cumulated memory: 276656 KiB
[startup+3.10563 s]
/proc/loadavg: 4.20 4.13 4.10 5/262 176858
/proc/meminfo: memFree=107173432/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=406812 memory=395884 CPUtime=3.03 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 91747 0 0 0 273 30 0 0 20 0 1 0 17172342 416575488 98971 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 101703 98971 1043 1006 0 100464 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 406812 KiB
Current children cumulated memory: 395884 KiB
[startup+6.30023 s]
/proc/loadavg: 4.19 4.12 4.10 5/262 176858
/proc/meminfo: memFree=107134720/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=406812 memory=395948 CPUtime=6.22 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 91897 0 0 0 591 31 0 0 20 0 1 0 17172342 416575488 98987 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 101703 98987 1059 1006 0 100464 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 406812 KiB
Current children cumulated memory: 395948 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.09 5/262 176859
/proc/meminfo: memFree=107058484/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=466396 memory=454412 CPUtime=12.6 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 101173 0 0 0 1225 35 0 0 20 0 1 0 17172342 477589504 113603 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 116599 113603 1123 1006 0 115360 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 466396 KiB
Current children cumulated memory: 454412 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 176861
/proc/meminfo: memFree=106414128/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=889120 memory=774608 CPUtime=25.37 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 150244 0 0 0 2481 56 0 0 20 0 1 0 17172342 910458880 193652 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 222280 193652 1139 1006 0 221041 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 774608 KiB
[startup+51.106 s]
/proc/loadavg: 4.21 4.14 4.10 5/262 176865
/proc/meminfo: memFree=105097320/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=1347692 memory=1120844 CPUtime=50.73 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 204577 0 0 0 4991 82 0 0 20 0 1 0 17172342 1380036608 280211 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 336923 280211 1139 1006 0 335684 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 1347692 KiB
Current children cumulated memory: 1120844 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/260 176877
/proc/meminfo: memFree=102500388/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=2216224 memory=1860552 CPUtime=101.16 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 311744 0 0 0 9978 138 0 0 20 0 1 0 17172342 2269413376 465138 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 79 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 554056 465138 1139 1006 0 552817 0
Current children cumulated CPU time: 101.16 s
Current children cumulated vsize: 2216224 KiB
Current children cumulated memory: 1860552 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/261 176890
/proc/meminfo: memFree=99779628/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=3698996 memory=2775740 CPUtime=160.82 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 464540 0 0 0 15881 201 0 0 20 0 1 0 17172342 3787771904 693935 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 98 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 924749 693935 1139 1006 0 923510 0
Current children cumulated CPU time: 160.82 s
Current children cumulated vsize: 3698996 KiB
Current children cumulated memory: 2775740 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.09 4/263 176903
/proc/meminfo: memFree=97213260/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=3810048 memory=3078996 CPUtime=217.58 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) D 176854 176857 171590 0 -1 4194304 504067 0 0 0 21512 246 0 0 20 0 1 0 17172342 3901489152 769749 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 338 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 952512 769749 1139 1006 0 951273 0
Current children cumulated CPU time: 217.58 s
Current children cumulated vsize: 3810048 KiB
Current children cumulated memory: 3078996 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 176913
/proc/meminfo: memFree=95257676/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=3810048 memory=3079896 CPUtime=277.35 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 505160 0 0 0 27481 254 0 0 20 0 1 0 17172342 3901489152 769974 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 416 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 952512 769974 1139 1006 0 951273 0
Current children cumulated CPU time: 277.35 s
Current children cumulated vsize: 3810048 KiB
Current children cumulated memory: 3079896 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 176924
/proc/meminfo: memFree=92771356/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=3865068 memory=3134760 CPUtime=336.25 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 508261 0 0 0 33346 279 0 0 20 0 1 0 17172342 3957829632 783690 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 511 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 966267 783690 1155 1006 0 965028 0
Current children cumulated CPU time: 336.25 s
Current children cumulated vsize: 3865068 KiB
Current children cumulated memory: 3134760 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 176939
/proc/meminfo: memFree=90419412/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=3879772 memory=3183544 CPUtime=395.3 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 515863 0 0 0 39231 299 0 0 20 0 1 0 17172342 3972886528 795886 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 590 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 969943 795886 1155 1006 0 968704 0
Current children cumulated CPU time: 395.3 s
Current children cumulated vsize: 3879772 KiB
Current children cumulated memory: 3183544 KiB
[startup+462.3 s]
/proc/loadavg: 4.44 4.19 4.12 5/264 176951
/proc/meminfo: memFree=87455572/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=3895784 memory=3332812 CPUtime=454.08 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 529991 0 0 0 45042 366 0 0 20 0 1 0 17172342 3989282816 833203 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 697 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 973946 833203 1155 1006 0 972707 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.25 4.26 4.25 5/262 178505
/proc/meminfo: memFree=10114956/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3868880 CPUtime=3016.93 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 589038 0 0 0 299590 2103 0 0 20 0 1 0 17172342 4370898944 967220 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 7718 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 967220 1155 1006 0 1065875 0
Current children cumulated CPU time: 3016.93 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3868880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.23 4.24 3/262 178516
/proc/meminfo: memFree=5258244/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3884288 CPUtime=3073.55 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) D 176854 176857 171590 0 -1 4194304 590522 0 0 0 305225 2130 0 0 20 0 1 0 17172342 4370898944 971072 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 7855 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 971072 1155 1006 0 1065875 0
Current children cumulated CPU time: 3073.55 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3884288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.21 4.23 5/262 178527
/proc/meminfo: memFree=2687148/131524600 swapFree=131062720/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3893392 CPUtime=3128.73 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 592121 0 0 0 310720 2153 0 0 20 0 1 0 17172342 4370898944 973348 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 8482 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973348 1155 1006 0 1065875 0
Current children cumulated CPU time: 3128.73 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3893392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.23 5/263 178706
/proc/meminfo: memFree=674492/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3894224 CPUtime=3178.86 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 593216 0 0 0 315668 2218 0 0 20 0 1 0 17172342 4370898944 973556 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 9391 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973556 1155 1006 0 1065875 0
Current children cumulated CPU time: 3178.86 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3894224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.22 4.23 5/263 178717
/proc/meminfo: memFree=575348/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3894224 CPUtime=3232.22 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 594700 0 0 0 320967 2255 0 0 20 0 1 0 17172342 4370898944 973556 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10038 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973556 1155 1006 0 1065875 0
Current children cumulated CPU time: 3232.22 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3894224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.22 5/263 178786
/proc/meminfo: memFree=655696/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3894224 CPUtime=3286.38 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 596104 0 0 0 326345 2293 0 0 20 0 1 0 17172342 4370898944 973556 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 10608 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973556 1155 1006 0 1065875 0
Current children cumulated CPU time: 3286.38 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3894224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.22 5/263 178842
/proc/meminfo: memFree=47659500/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895852 CPUtime=3332.94 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 597326 0 0 0 330971 2323 0 0 20 0 1 0 17172342 4370898944 973963 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 11940 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973963 1155 1006 0 1065875 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.21 5/265 178856
/proc/meminfo: memFree=42049996/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3389.87 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 598708 0 0 0 336570 2417 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12232 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3389.87 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.19 4.21 3/263 178866
/proc/meminfo: memFree=35283632/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3448.74 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 600148 0 0 0 342420 2454 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12328 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3448.74 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.17 4.19 4/263 178876
/proc/meminfo: memFree=31607224/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3508.56 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 600419 0 0 0 348399 2457 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12328 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3508.56 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.17 4.17 4.19 5/260 178886
/proc/meminfo: memFree=25916264/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3566.1 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 600877 0 0 0 354149 2461 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12328 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3566.1 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3702.15 s]
# the end of solver process 176857 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3543.49 s, system=24.6258 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3701.2 s]
/proc/loadavg: 4.17 4.17 4.19 5/260 178886
/proc/meminfo: memFree=25758436/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3567.29 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 600891 0 0 0 354268 2461 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12328 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3567.29 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
[startup+3701.6 s]
/proc/loadavg: 4.17 4.17 4.19 5/260 178886
/proc/meminfo: memFree=25758436/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3567.69 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 600898 0 0 0 354308 2461 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12328 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3567.69 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
[startup+3702 s]*
/proc/loadavg: 4.16 4.17 4.19 3/260 178886
/proc/meminfo: memFree=25642508/131524600 swapFree=131061696/131071996
[pid=176857] ppid=176854 vsize=4268456 memory=3895856 CPUtime=3568.09 cores=1,3
/proc/176857/stat : 176857 (Exact_veripb2) R 176854 176857 171590 0 -1 4194304 600905 0 0 0 354348 2461 0 0 20 0 1 0 17172342 4370898944 973964 134679101440 4194304 8311665 140736805025552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 12328 0 0 9173656 9252184 26775552 140736805032781 140736805033060 140736805033060 140736805040071 0
/proc/176857/statm: 1067114 973964 1155 1006 0 1065875 0
Current children cumulated CPU time: 3568.09 s
Current children cumulated vsize: 4268456 KiB
Current children cumulated memory: 3895856 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3702.15
CPU time (s): 3568.11
CPU user time (s): 3543.49
CPU system time (s): 24.6258
CPU usage (%): 96.3795
Max. virtual memory (cumulated for all children) (KiB): 4339124
Max. memory (cumulated for all children) (KiB): 3895856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.49
system time used= 24.6258
maximum resident set size= 3895856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 92301312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 4387
# summary of solver processes directly reported to runsolver:
# pid: 176857
# total CPU time (s): 3568.11
# total CPU user time (s): 3543.49
# total CPU system time (s): 24.6258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2704 second user time and 14.6652 second system time
The end
Begin job on nodeC014 at 2024-07-24 09:34:04 IDJOB=4441300 IDBENCH=155402 IDSOLVER=3081 FILE ID=nodeC014/4441300-1721806444 RUNJOBID= nodeC014-1721801546-171602 SLURM_JOB_ID= 7770682 Free space on /tmp= 889940 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441300-1721806444/watcher-4441300-1721806444 -o /tmp/evaluation-result-4441300-1721806444/solver-4441300-1721806444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721801546-171602 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441300-1721806444 --seed=604026573 HOME/instance-4441300-1721806444.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44 RANDOM SEED=604026573 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.899 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3692.398 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.955 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3658.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3673.908 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3688.976 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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.795 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3611.704 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 107590776 kB MemAvailable: 127662452 kB Buffers: 234256 kB Cached: 20577172 kB SwapCached: 76 kB Active: 2463824 kB Inactive: 20676748 kB Active(anon): 2088 kB Inactive(anon): 2380608 kB Active(file): 2461736 kB Inactive(file): 18296140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062720 kB Dirty: 236496 kB Writeback: 0 kB AnonPages: 2327996 kB Mapped: 128208 kB Shmem: 53460 kB KReclaimable: 307248 kB Slab: 433560 kB SReclaimable: 307248 kB SUnreclaim: 126312 kB KernelStack: 4224 kB PageTables: 14180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3124108 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16896 kB HardwareCorrupted: 0 kB AnonHugePages: 1193984 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 359124 kB DirectMap2M: 35065856 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 889928 MiB End job on nodeC014 at 2024-07-24 10:35:47