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) | 3602.1 | 3689.86 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb |
| MD5SUM | a008918ff26f135f427f5632a2cbbc59 |
| 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 | 60 |
| 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 | 15312 |
| 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 | 64 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 15312 |
| 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 | 15312 |
| 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 | 15312 |
| 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.75/11.83 o 488 12.05/12.19 o 487 12.55/12.69 o 486 12.95/13.09 o 485 14.25/14.36 o 484 21.12/21.25 o 483 21.22/21.30 o 482 21.22/21.35 o 481 21.22/21.39 o 480 21.32/21.44 o 479 21.32/21.49 o 478 21.42/21.54 o 477 21.52/21.68 o 476 21.63/21.74 o 475 21.73/21.82 o 474 21.73/21.87 o 473 21.82/21.92 o 472 22.22/22.31 o 471 25.12/25.25 o 470 140.19/142.13 o 469 140.59/142.53 o 468 140.99/142.96 o 467 141.39/143.36 o 466 141.79/143.73 o 465 142.19/144.16 o 464 142.58/144.54 o 463 142.98/144.91 o 462 143.28/145.29 o 461 143.68/145.67 o 460 144.18/146.19 o 459 144.78/146.70 o 458 145.87/147.85 o 457 146.37/148.36 o 456 146.77/148.76 o 455 147.17/149.13 o 454 147.67/149.69 o 453 164.21/166.63 o 452 172.29/174.75 o 451 222.76/226.31 o 450 223.05/226.64 o 449 223.35/226.98 o 448 223.75/227.34 o 447 224.15/227.72 o 446 224.46/228.10 o 445 224.96/228.57 o 444 225.46/229.02 o 443 225.85/229.41 o 442 229.83/233.49 o 441 230.45/234.08 o 440 237.42/241.09 o 439 242.90/246.58 o 438 260.50/264.86 o 437 268.68/273.07 o 436 344.88/350.68 o 435 345.48/351.20 o 434 345.78/351.55 o 433 346.18/351.93 o 432 419.69/427.17 o 431 508.16/519.44 o 430 508.36/519.65 o 429 508.67/519.97 o 428 510.16/521.42 o 427 510.56/521.88 o 426 510.96/522.28 o 425 557.90/570.13 o 424 560.80/573.07 o 423 569.27/581.50 o 422 658.56/679.08 o 421 809.61/833.90 o 420 809.71/834.09 o 419 809.91/834.27 o 418 810.11/834.46 o 417 810.31/834.64 o 416 810.51/834.83 o 415 810.71/835.02 o 414 1135.28/1175.62 o 413 1135.39/1175.76 o 412 1135.59/1175.90 o 411 1135.70/1176.04 o 410 1135.80/1176.19 o 409 1135.99/1176.34 o 408 1136.49/1176.85 o 407 1620.39/1681.10 o 406 1620.39/1681.18 o 405 1620.49/1681.26 o 404 1620.59/1681.34 o 403 1620.69/1681.42 o 402 1620.79/1681.50 o 401 1620.79/1681.58 o 400 1620.89/1681.66 o 399 1620.99/1681.75 o 398 1949.59/2024.35 o 397 1949.59/2024.38 o 396 1949.69/2024.41 o 395 1949.69/2024.44 o 394 1949.69/2024.47 o 393 1949.79/2024.50 o 392 1949.79/2024.54 o 391
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: 63931 MiB (32556 MiB free)
memory of node 1: 64510 MiB (29124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441299-1721806032/watcher-4441299-1721806032 -o /tmp/evaluation-result-4441299-1721806032/solver-4441299-1721806032 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721801549-182808 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441299-1721806032 --seed=749307199 HOME/instance-4441299-1721806032.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=186227, runsolver pid=186224
[startup+0.100303 s]*
/proc/loadavg: 4.12 4.15 4.17 5/259 186228
/proc/meminfo: memFree=63110972/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=74200 memory=50664 CPUtime=0.09 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 12646 0 0 0 8 1 0 0 20 0 1 0 17131846 75980800 12666 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 18550 12666 852 1006 0 17311 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74200 KiB
Current children cumulated memory: 50664 KiB
[startup+0.205882 s]*
/proc/loadavg: 4.12 4.15 4.17 5/259 186228
/proc/meminfo: memFree=63076140/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=107152 memory=83400 CPUtime=0.19 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 20797 0 0 0 17 2 0 0 20 0 1 0 17131846 109723648 20850 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 26788 20850 852 1006 0 25549 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107152 KiB
Current children cumulated memory: 83400 KiB
[startup+0.305801 s]*
/proc/loadavg: 4.12 4.15 4.17 5/259 186228
/proc/meminfo: memFree=63058808/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=133576 memory=108940 CPUtime=0.29 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 26714 0 0 0 26 3 0 0 20 0 1 0 17131846 136781824 27235 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 33394 27235 852 1006 0 32155 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133576 KiB
Current children cumulated memory: 108940 KiB
[startup+0.700242 s]
/proc/loadavg: 4.12 4.15 4.17 5/259 186229
/proc/meminfo: memFree=63004560/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=300636 memory=275708 CPUtime=0.68 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 68679 0 0 0 59 9 0 0 20 0 1 0 17131846 307851264 68927 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 75159 68927 852 1006 0 73920 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 300636 KiB
Current children cumulated memory: 275708 KiB
[startup+1.50028 s]
/proc/loadavg: 4.11 4.15 4.17 5/259 186229
/proc/meminfo: memFree=62865540/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=300636 memory=287708 CPUtime=1.48 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 69639 0 0 0 137 11 0 0 20 0 1 0 17131846 307851264 71927 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 75159 71927 883 1006 0 73920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 300636 KiB
Current children cumulated memory: 287708 KiB
[startup+3.10589 s]
/proc/loadavg: 4.11 4.15 4.17 5/259 186229
/proc/meminfo: memFree=62657820/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=419324 memory=409436 CPUtime=3.08 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 97914 0 0 0 274 34 0 0 20 0 1 0 17131846 429387776 102359 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 104831 102359 1043 1006 0 103592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 419324 KiB
Current children cumulated memory: 409436 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.15 4.17 5/259 186229
/proc/meminfo: memFree=62595872/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=419324 memory=409500 CPUtime=6.27 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 98051 0 0 0 592 35 0 0 20 0 1 0 17131846 429387776 102375 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 104831 102375 1059 1006 0 103592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 419324 KiB
Current children cumulated memory: 409500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.17 5/259 186231
/proc/meminfo: memFree=62467520/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=441012 memory=419664 CPUtime=12.65 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 98796 0 0 0 1228 37 0 0 20 0 1 0 17131846 451596288 104916 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 110253 104916 1123 1006 0 109014 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 441012 KiB
Current children cumulated memory: 419664 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.14 4.16 5/259 186233
/proc/meminfo: memFree=61740284/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=921008 memory=791584 CPUtime=25.42 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 157251 0 0 0 2481 61 0 0 20 0 1 0 17131846 943112192 197896 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 230252 197896 1123 1006 0 229013 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 921008 KiB
Current children cumulated memory: 791584 KiB
[startup+51.1058 s]
/proc/loadavg: 4.05 4.12 4.16 5/260 186239
/proc/meminfo: memFree=60657936/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=1386640 memory=1115776 CPUtime=50.95 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 209074 0 0 0 5009 86 0 0 20 0 1 0 17131846 1419919360 278944 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 346660 278944 1139 1006 0 345421 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1386640 KiB
Current children cumulated memory: 1115776 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/262 186417
/proc/meminfo: memFree=58017624/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=2293624 memory=1957216 CPUtime=101.61 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 332104 0 0 0 10012 149 0 0 20 0 1 0 17131846 2348670976 489304 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 41 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 573406 489304 1139 1006 0 572167 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 2293624 KiB
Current children cumulated memory: 1957216 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.17 4.17 5/261 186429
/proc/meminfo: memFree=54922812/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=3428116 memory=2635444 CPUtime=159.93 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 429085 0 0 0 15762 231 0 0 20 0 1 0 17131846 3510390784 658861 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 195 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 857029 658861 1139 1006 0 855790 0
Current children cumulated CPU time: 159.93 s
Current children cumulated vsize: 3428116 KiB
Current children cumulated memory: 2635444 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/264 186499
/proc/meminfo: memFree=51736976/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=3950284 memory=3349504 CPUtime=218.77 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 544100 0 0 0 21561 316 0 0 20 0 1 0 17131846 4045090816 837376 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 294 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 987571 837376 1139 1006 0 986332 0
Current children cumulated CPU time: 218.77 s
Current children cumulated vsize: 3950284 KiB
Current children cumulated memory: 3349504 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/264 186510
/proc/meminfo: memFree=49624620/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=3951480 memory=3350828 CPUtime=277.95 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 545595 0 0 0 27455 340 0 0 20 0 1 0 17131846 4046315520 837707 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 358 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 987870 837707 1139 1006 0 986631 0
Current children cumulated CPU time: 277.95 s
Current children cumulated vsize: 3951480 KiB
Current children cumulated memory: 3350828 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/263 186523
/proc/meminfo: memFree=46237176/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=4000852 memory=3510036 CPUtime=336.59 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 565118 0 0 0 33228 431 0 0 20 0 1 0 17131846 4096872448 877509 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 478 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1000213 877509 1139 1006 0 998974 0
Current children cumulated CPU time: 336.59 s
Current children cumulated vsize: 4000852 KiB
Current children cumulated memory: 3510036 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/264 186535
/proc/meminfo: memFree=43983064/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=4036248 memory=3545784 CPUtime=395.9 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 566960 0 0 0 39112 478 0 0 20 0 1 0 17131846 4133117952 886446 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 534 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1009062 886446 1155 1006 0 1007823 0
Current children cumulated CPU time: 395.9 s
Current children cumulated vsize: 4036248 KiB
Current children cumulated memory: 3545784 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.16 4.16 5/264 186545
/proc/meminfo: memFree=42213316/131524600 swapFree=131071996/131071996
[pid=186227] ppid=186224 vsize=4042220 memory=3548348 CPUtime=454.28 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 568006 0 0 0 44912 516 0 0 20 0 1 0 17131846 4139233280 887087 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 682 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1010555 887087 1155 1006 0 1009316 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.23 4.17 4.17 5/260 187773
/proc/meminfo: memFree=62773664/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=4855128 memory=4316880 CPUtime=3076.12 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 654522 0 0 0 305436 2176 0 0 20 0 1 0 17131846 4971651072 1079220 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1213782 1079220 1155 1006 0 1212543 0
Current children cumulated CPU time: 3076.12 s
Current children cumulated vsize: 4855128 KiB
Current children cumulated memory: 4316880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.19 4.18 5/262 187788
/proc/meminfo: memFree=59266284/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=4926172 memory=4400504 CPUtime=3135.94 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 659792 0 0 0 311410 2184 0 0 20 0 1 0 17131846 5044400128 1100126 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1231543 1100126 1155 1006 0 1230304 0
Current children cumulated CPU time: 3135.94 s
Current children cumulated vsize: 4926172 KiB
Current children cumulated memory: 4400504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/261 187800
/proc/meminfo: memFree=56949440/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=4917016 memory=4391224 CPUtime=3195.77 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 661337 0 0 0 317386 2191 0 0 20 0 1 0 17131846 5035024384 1097806 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1229254 1097806 1155 1006 0 1228015 0
Current children cumulated CPU time: 3195.77 s
Current children cumulated vsize: 4917016 KiB
Current children cumulated memory: 4391224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/262 187813
/proc/meminfo: memFree=54653764/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=4921164 memory=4399584 CPUtime=3255.59 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 662875 0 0 0 323366 2193 0 0 20 0 1 0 17131846 5039271936 1099896 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1230291 1099896 1155 1006 0 1229052 0
Current children cumulated CPU time: 3255.59 s
Current children cumulated vsize: 4921164 KiB
Current children cumulated memory: 4399584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/262 187823
/proc/meminfo: memFree=52025076/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5001476 memory=4499520 CPUtime=3315.39 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 668974 0 0 0 329337 2202 0 0 20 0 1 0 17131846 5121511424 1124880 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1250369 1124880 1155 1006 0 1249130 0
Current children cumulated CPU time: 3315.39 s
Current children cumulated vsize: 5001476 KiB
Current children cumulated memory: 4499520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/261 187833
/proc/meminfo: memFree=49489388/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5001476 memory=4499684 CPUtime=3375.22 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 669367 0 0 0 335317 2205 0 0 20 0 1 0 17131846 5121511424 1124921 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1250369 1124921 1155 1006 0 1249130 0
Current children cumulated CPU time: 3375.22 s
Current children cumulated vsize: 5001476 KiB
Current children cumulated memory: 4499684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.16 4/261 188231
/proc/meminfo: memFree=46910260/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5284344 memory=4524020 CPUtime=3435.04 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 673544 0 0 0 341286 2218 0 0 20 0 1 0 17131846 5411168256 1131005 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1321086 1131005 1155 1006 0 1319847 0
Current children cumulated CPU time: 3435.04 s
Current children cumulated vsize: 5284344 KiB
Current children cumulated memory: 4524020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/261 188241
/proc/meminfo: memFree=44239436/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5279744 memory=4519548 CPUtime=3494.86 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 674889 0 0 0 347260 2226 0 0 20 0 1 0 17131846 5406457856 1129887 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1319936 1129887 1155 1006 0 1318697 0
Current children cumulated CPU time: 3494.86 s
Current children cumulated vsize: 5279744 KiB
Current children cumulated memory: 4519548 KiB
[startup+3642.3 s]
/proc/loadavg: 4.28 4.17 4.17 3/262 188253
/proc/meminfo: memFree=40650668/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5280968 memory=4521960 CPUtime=3554.68 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 675745 0 0 0 353241 2227 0 0 20 0 1 0 17131846 5407711232 1130490 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1320242 1130490 1155 1006 0 1319003 0
Current children cumulated CPU time: 3554.68 s
Current children cumulated vsize: 5280968 KiB
Current children cumulated memory: 4521960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3687.8 s]
/proc/loadavg: 4.20 4.16 4.17 5/263 188431
/proc/meminfo: memFree=37142928/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5282972 memory=4528172 CPUtime=3600.04 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 677743 0 0 0 357770 2234 0 0 20 0 1 0 17131846 5409763328 1132043 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1320743 1132043 1155 1006 0 1319504 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 5282972 KiB
Current children cumulated memory: 4528172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3689.86 s]
# the end of solver process 186227 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3579.7 s, system=22.4006 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3688 s]*
/proc/loadavg: 4.20 4.16 4.17 5/263 188431
/proc/meminfo: memFree=37110104/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5282972 memory=4528172 CPUtime=3600.25 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 677744 0 0 0 357791 2234 0 0 20 0 1 0 17131846 5409763328 1132043 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1320743 1132043 1155 1006 0 1319504 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 5282972 KiB
Current children cumulated memory: 4528172 KiB
[startup+3688.8 s]
/proc/loadavg: 4.20 4.16 4.17 5/263 188431
/proc/meminfo: memFree=37110104/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5282972 memory=4528172 CPUtime=3601.04 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 677757 0 0 0 357870 2234 0 0 20 0 1 0 17131846 5409763328 1132043 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1320743 1132043 1155 1006 0 1319504 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 5282972 KiB
Current children cumulated memory: 4528172 KiB
[startup+3689.6 s]
/proc/loadavg: 4.20 4.16 4.17 5/263 188431
/proc/meminfo: memFree=37083896/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5282972 memory=4528172 CPUtime=3601.84 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 677757 0 0 0 357950 2234 0 0 20 0 1 0 17131846 5409763328 1132043 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1320743 1132043 1155 1006 0 1319504 0
Current children cumulated CPU time: 3601.84 s
Current children cumulated vsize: 5282972 KiB
Current children cumulated memory: 4528172 KiB
[startup+3689.8 s]
/proc/loadavg: 4.20 4.16 4.17 5/263 188431
/proc/meminfo: memFree=37083896/131524600 swapFree=131071728/131071996
[pid=186227] ppid=186224 vsize=5282972 memory=4528172 CPUtime=3602.03 cores=5,7
/proc/186227/stat : 186227 (Exact_veripb2) R 186224 186227 182795 0 -1 4194304 677757 0 0 0 357969 2234 0 0 20 0 1 0 17131846 5409763328 1132043 134679101440 4194304 8311665 140732649732576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7792 0 0 9173656 9252184 37380096 140732649739081 140732649739360 140732649739360 140732649746375 0
/proc/186227/statm: 1320743 1132043 1155 1006 0 1319504 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 5282972 KiB
Current children cumulated memory: 4528172 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3689.86
CPU time (s): 3602.1
CPU user time (s): 3579.7
CPU system time (s): 22.4006
CPU usage (%): 97.6217
Max. virtual memory (cumulated for all children) (KiB): 5284344
Max. memory (cumulated for all children) (KiB): 4528172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.7
system time used= 22.4006
maximum resident set size= 4743468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 677757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75066840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 4073
# summary of solver processes directly reported to runsolver:
# pid: 186227
# total CPU time (s): 3602.1
# total CPU user time (s): 3579.7
# total CPU system time (s): 22.4006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9169 second user time and 14.9352 second system time
The end
Begin job on nodeC021 at 2024-07-24 09:27:12 IDJOB=4441299 IDBENCH=155399 IDSOLVER=3081 FILE ID=nodeC021/4441299-1721806032 RUNJOBID= nodeC021-1721801549-182808 SLURM_JOB_ID= 7770694 Free space on /tmp= 890000 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_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-4441299-1721806032/watcher-4441299-1721806032 -o /tmp/evaluation-result-4441299-1721806032/solver-4441299-1721806032 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721801549-182808 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441299-1721806032 --seed=749307199 HOME/instance-4441299-1721806032.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59 RANDOM SEED=749307199 nodeC021.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 : 3671.105 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3688.777 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 : 7007.41 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.277 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3612.676 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 : 7007.41 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 : 3671.109 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3690.982 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 : 7007.41 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.429 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 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 : 3654.511 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 : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 63161288 kB MemAvailable: 115007256 kB Buffers: 249560 kB Cached: 52281664 kB SwapCached: 0 kB Active: 2668008 kB Inactive: 64740552 kB Active(anon): 1564 kB Inactive(anon): 14929692 kB Active(file): 2666444 kB Inactive(file): 49810860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 663680 kB Writeback: 0 kB AnonPages: 14876836 kB Mapped: 133888 kB Shmem: 54104 kB KReclaimable: 416624 kB Slab: 563764 kB SReclaimable: 416624 kB SUnreclaim: 147140 kB KernelStack: 4176 kB PageTables: 39540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 18605200 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20768 kB HardwareCorrupted: 0 kB AnonHugePages: 7555072 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: 322260 kB DirectMap2M: 40345600 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890004 MiB End job on nodeC021 at 2024-07-24 10:28:42