Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | ? (TO) | 3602.05 | 3611.52 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb |
| MD5SUM | 1fbef458f61b2221fcf0474a376c4852 |
| 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 | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3585.25 |
| 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 | 15008 |
| 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 | 65 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 15008 |
| 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 | 15008 |
| 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 | 15008 |
| 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 |
12.35/12.40 o 526 13.06/13.15 o 525 827.17/829.41 o 524 827.56/829.86 o 523 827.66/829.96 o 522 827.77/830.01 o 521 827.77/830.04 o 520 827.87/830.11 o 519 828.26/830.59 o 518 828.56/830.81 o 517 828.87/831.16 o 516 829.56/831.85 o 515 830.26/832.52 o 514 832.15/834.46 o 513 832.24/834.59 o 512 832.44/834.79 o 511 833.34/835.69 o 510 833.64/835.92 o 509 834.24/836.57 o 508 835.44/837.70 o 507 835.74/838.00 o 506 835.84/838.14 o 505 836.03/838.31 o 504 836.43/838.70 o 503 836.63/838.93 o 502 836.63/838.97 o 501 836.84/839.15 o 500 836.93/839.29 o 499 837.03/839.34 o 498 837.13/839.40 o 497 837.23/839.58 o 496 837.53/839.88 o 495 837.93/840.22 o 494 838.93/841.26 o 493 839.03/841.32 o 492 839.03/841.39 o 491 839.13/841.43 o 490 839.23/841.52 o 489 839.23/841.55 o 488 839.33/841.60 o 487 839.33/841.65 o 486 839.43/841.71 o 485 839.43/841.73 o 484 839.52/841.82 o 483 839.52/841.84 o 482 839.52/841.89 o 481 839.62/841.93 o 480 839.92/842.20 o 479 839.92/842.23 o 478 840.03/842.30 o 477 840.23/842.55 o 476 840.23/842.59 o 475 840.43/842.70 o 474 840.53/842.87 o 473 840.74/843.05 o 472 840.93/843.27 o 471 841.23/843.55 o 470 841.33/843.60 o 469 841.43/843.72 o 468 841.73/844.03 o 467 841.83/844.14 o 466 842.03/844.32 o 465 842.23/844.59 o 464 843.52/845.89 o 463 2167.26/2173.01 o 462 2170.85/2176.69 o 461 2172.25/2178.07 o 460 2172.84/2178.63 o 459 2173.04/2178.82 o 458 2173.14/2178.94 o 457 2173.44/2179.22 o 456 2173.44/2179.28 o 455 2174.84/2180.67 o 454 2175.34/2181.14 o 453 2175.44/2181.26 o 452 2175.84/2181.65 o 451 2175.94/2181.75 o 450 2176.13/2181.94 o 449 2176.24/2182.02 o 448 2176.24/2182.09 o 447 2176.34/2182.13 o 446 2176.34/2182.18 o 445 2176.53/2182.33 o 444 2176.63/2182.42 o 443 2176.73/2182.57 o 442 2177.03/2182.83 o 441 2177.24/2183.04 o 440 2177.63/2183.50 o 439 2177.93/2183.74 o 438 2178.23/2184.06 o 437 2178.43/2184.26 o 436 2178.63/2184.44 o 435 2178.83/2184.66 o 434 2178.93/2184.75 o 433 2179.23/2185.04 o 432 2179.53/2185.38 o 431 2179.73/2185.52 o 430 2179.73/2185.59 o 429 2179.92/2185.79 o 428 2180.23/2186.08 o 427 2180.33/2186.12 o 426 2180.42/2186.29 o 425 2180.52/2186.32 o 424 2180.52/2186.36 o 423 2180.62/2186.42 o 422 2180.62/2186.45 o 421 2180.62/2186.48 o 420 2180.72/2186.51 o 419 2180.72/2186.55 o 418 2180.72/2186.58 o 417 2180.82/2186.61 o 416 2180.82/2186.64 o 415 2180.82/2186.67 o 414 2180.82/2186.69 o 413 2180.92/2186.73 o 412 2180.92/2186.75 o 411 2181.22/2187.01 o 410 2181.32/2187.15 o 409 2181.72/2187.51 o 408 2181.82/2187.62 o 407 2181.92/2187.73 o 406 2182.02/2187.89 o 405 2182.52/2188.38 o 404 2191.60/2197.44 o 403 2193.20/2199.10 o 402
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: 63665 MiB (58437 MiB free)
memory of node 1: 64507 MiB (59817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503032-1751483589/watcher-4503032-1751483589 -o /tmp/evaluation-result-4503032-1751483589/solver-4503032-1751483589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751479977-68699 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1023476862 --ls=0 --inp-dombreaklim=0 HOME/instance-4503032-1751483589.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69245, runsolver pid=69242
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.26 4.12 4.10 5/263 69246
/proc/meminfo: memFree=121060244/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=62984 memory=39804 CPUtime=0.1 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 9922 0 0 0 9 1 0 0 20 0 1 0 64036667 64495616 9919 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 15746 9951 1024 1200 0 14226 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62984 KiB
Current children cumulated memory: 39804 KiB
[startup+0.205801 s]*
/proc/loadavg: 4.26 4.12 4.10 5/263 69246
/proc/meminfo: memFree=121036624/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=83144 memory=62752 CPUtime=0.2 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 15151 0 0 0 19 1 0 0 20 0 1 0 64036667 85139456 15688 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 20786 15688 1024 1200 0 19266 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83144 KiB
Current children cumulated memory: 62752 KiB
[startup+0.305678 s]*
/proc/loadavg: 4.26 4.12 4.10 5/263 69246
/proc/meminfo: memFree=121028560/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=88464 memory=68256 CPUtime=0.3 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 16541 0 0 0 28 2 0 0 20 0 1 0 64036667 90587136 17064 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 22116 17064 1024 1200 0 20596 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88464 KiB
Current children cumulated memory: 68256 KiB
[startup+0.700183 s]
/proc/loadavg: 4.26 4.12 4.10 5/263 69246
/proc/meminfo: memFree=121004368/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=145244 memory=126792 CPUtime=0.69 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 30670 0 0 0 64 5 0 0 20 0 1 0 64036667 148729856 31698 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 36311 31698 1024 1200 0 34791 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 145244 KiB
Current children cumulated memory: 126792 KiB
[startup+1.50017 s]
/proc/loadavg: 4.26 4.12 4.10 5/263 69246
/proc/meminfo: memFree=120931792/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=265036 memory=250588 CPUtime=1.48 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 60537 0 0 0 138 10 0 0 20 0 1 0 64036667 271396864 62647 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 66259 62647 1024 1200 0 64739 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 265036 KiB
Current children cumulated memory: 250588 KiB
[startup+3.10562 s]
/proc/loadavg: 4.32 4.14 4.11 5/263 69246
/proc/meminfo: memFree=120673952/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=508980 memory=482684 CPUtime=3.09 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 115123 0 0 0 288 21 0 0 20 0 1 0 64036667 521195520 120671 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 127245 120671 1184 1200 0 125725 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 508980 KiB
Current children cumulated memory: 482684 KiB
[startup+6.30018 s]
/proc/loadavg: 4.32 4.14 4.11 5/263 69246
/proc/meminfo: memFree=120128404/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=842104 memory=815932 CPUtime=6.27 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 148037 0 0 0 583 44 0 0 20 0 1 0 64036667 862314496 203983 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 210526 203983 1184 1200 0 209006 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 842104 KiB
Current children cumulated memory: 815932 KiB
[startup+12.7002 s]
/proc/loadavg: 4.42 4.17 4.12 5/263 69246
/proc/meminfo: memFree=120136684/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=841160 memory=817316 CPUtime=12.65 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 148137 0 0 0 1220 45 0 0 20 0 1 0 64036667 861347840 204329 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 210290 204329 1248 1200 0 208770 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 841160 KiB
Current children cumulated memory: 817316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.16 4.11 5/263 69291
/proc/meminfo: memFree=122422584/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=1211468 memory=1147852 CPUtime=25.43 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 202129 0 0 0 2483 60 0 0 20 0 1 0 64036667 1240543232 286963 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 302867 286963 1280 1200 0 301347 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1211468 KiB
Current children cumulated memory: 1147852 KiB
[startup+51.1056 s]
/proc/loadavg: 4.23 4.15 4.11 5/263 69292
/proc/meminfo: memFree=121544436/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=2066124 memory=1943732 CPUtime=50.96 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 330025 0 0 0 4997 99 0 0 20 0 1 0 64036667 2115710976 485933 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 516531 485933 1280 1200 0 515011 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2066124 KiB
Current children cumulated memory: 1943732 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/263 69337
/proc/meminfo: memFree=124983364/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=2677412 memory=2169872 CPUtime=102.02 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 371120 0 0 0 10083 119 0 0 20 0 1 0 64036667 2741669888 542468 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 669353 542468 1280 1200 0 667833 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2677412 KiB
Current children cumulated memory: 2169872 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 69340
/proc/meminfo: memFree=124265736/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=3104108 memory=2834412 CPUtime=161.87 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 477102 0 0 0 16039 148 0 0 20 0 1 0 64036667 3178606592 708603 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 776027 708603 1280 1200 0 774507 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 3104108 KiB
Current children cumulated memory: 2834412 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 69343
/proc/meminfo: memFree=124133136/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=3104108 memory=2834540 CPUtime=221.71 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 477125 0 0 0 22023 148 0 0 20 0 1 0 64036667 3178606592 708635 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 776027 708635 1280 1200 0 774507 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 3104108 KiB
Current children cumulated memory: 2834540 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 69345
/proc/meminfo: memFree=123995860/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=3181856 memory=2897516 CPUtime=281.54 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 493232 0 0 0 28002 152 0 0 20 0 1 0 64036667 3258220544 724379 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 795464 724379 1280 1200 0 793944 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 3181856 KiB
Current children cumulated memory: 2897516 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 69347
/proc/meminfo: memFree=123827824/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=3292000 memory=3014644 CPUtime=341.38 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 504118 0 0 0 33979 159 0 0 20 0 1 0 64036667 3371008000 753661 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 823000 753661 1280 1200 0 821480 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 3292000 KiB
Current children cumulated memory: 3014644 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 69349
/proc/meminfo: memFree=123658860/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=3447396 memory=3164740 CPUtime=401.21 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 508552 0 0 0 39953 168 0 0 20 0 1 0 64036667 3530133504 791185 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 861849 791185 1280 1200 0 860329 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 3447396 KiB
Current children cumulated memory: 3164740 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 69358
/proc/meminfo: memFree=123543096/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=3602032 memory=3264636 CPUtime=461.03 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 512629 0 0 0 45925 178 0 0 20 0 1 0 64036667 3688480768 816159 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/263 69621
/proc/meminfo: memFree=112213840/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4558856 memory=3917944 CPUtime=3154.07 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 592589 0 0 0 315150 257 0 0 20 0 1 0 64036667 4668268544 979486 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1139714 979486 1280 1200 0 1138194 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 4558856 KiB
Current children cumulated memory: 3917944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 69623
/proc/meminfo: memFree=112220512/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4648416 memory=3919792 CPUtime=3213.89 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 599766 0 0 0 321123 266 0 0 20 0 1 0 64036667 4759977984 979948 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1162104 979948 1280 1200 0 1160584 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 4648416 KiB
Current children cumulated memory: 3919792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 69626
/proc/meminfo: memFree=112146404/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4735012 memory=3986448 CPUtime=3273.73 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 603406 0 0 0 327102 271 0 0 20 0 1 0 64036667 4848652288 996612 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1183753 996612 1280 1200 0 1182233 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 4735012 KiB
Current children cumulated memory: 3986448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 69628
/proc/meminfo: memFree=111999376/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4929932 memory=4122304 CPUtime=3333.56 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 606691 0 0 0 333077 279 0 0 20 0 1 0 64036667 5048250368 1030576 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1232483 1030576 1280 1200 0 1230963 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 4929932 KiB
Current children cumulated memory: 4122304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 69630
/proc/meminfo: memFree=111985252/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4938108 memory=4138860 CPUtime=3393.41 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 608911 0 0 0 339060 281 0 0 20 0 1 0 64036667 5056622592 1034715 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1234527 1034715 1280 1200 0 1233007 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 4938108 KiB
Current children cumulated memory: 4138860 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 69633
/proc/meminfo: memFree=111932380/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4947280 memory=4167652 CPUtime=3453.23 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 611515 0 0 0 345040 283 0 0 20 0 1 0 64036667 5066014720 1041913 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1236820 1041913 1280 1200 0 1235300 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 4947280 KiB
Current children cumulated memory: 4167652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 69641
/proc/meminfo: memFree=111907868/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4958056 memory=4195680 CPUtime=3513.07 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 614495 0 0 0 351022 285 0 0 20 0 1 0 64036667 5077049344 1048920 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1239514 1048920 1280 1200 0 1237994 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 4958056 KiB
Current children cumulated memory: 4195680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 69643
/proc/meminfo: memFree=111875472/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4976540 memory=4226144 CPUtime=3572.9 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 615593 0 0 0 357004 286 0 0 20 0 1 0 64036667 5095976960 1056536 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1244135 1056536 1280 1200 0 1242615 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 4976540 KiB
Current children cumulated memory: 4226144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 69645
/proc/meminfo: memFree=111895992/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4956300 memory=4207268 CPUtime=3600.03 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 616947 0 0 0 359715 288 0 0 20 0 1 0 64036667 5075251200 1051817 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1239075 1051817 1280 1200 0 1237555 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4956300 KiB
Current children cumulated memory: 4207268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.52 s]
# the end of solver process 69245 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.14 s, system=2.90629 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 69645
/proc/meminfo: memFree=111895992/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4956300 memory=4207268 CPUtime=3600.13 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 616947 0 0 0 359725 288 0 0 20 0 1 0 64036667 5075251200 1051817 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1239075 1051817 1280 1200 0 1237555 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 4956300 KiB
Current children cumulated memory: 4207268 KiB
[startup+3610.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 69645
/proc/meminfo: memFree=111895236/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4957728 memory=4212104 CPUtime=3600.92 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 617109 0 0 0 359804 288 0 0 20 0 1 0 64036667 5076713472 1053026 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1239432 1053026 1280 1200 0 1237912 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 4957728 KiB
Current children cumulated memory: 4212104 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 69645
/proc/meminfo: memFree=111884068/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4959968 memory=4218196 CPUtime=3601.72 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 617610 0 0 0 359884 288 0 0 20 0 1 0 64036667 5079007232 1054549 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1239992 1054549 1280 1200 0 1238472 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 4959968 KiB
Current children cumulated memory: 4218196 KiB
[startup+3611.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 69645
/proc/meminfo: memFree=111884068/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4960348 memory=4219220 CPUtime=3601.91 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 617867 0 0 0 359903 288 0 0 20 0 1 0 64036667 5079396352 1054805 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1240087 1054805 1280 1200 0 1238567 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 4960348 KiB
Current children cumulated memory: 4219220 KiB
[startup+3611.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 69645
/proc/meminfo: memFree=111884068/131249996 swapFree=33010416/33010684
[pid=69245] ppid=69242 vsize=4961996 memory=4222040 CPUtime=3602.01 cores=1,3
/proc/69245/stat : 69245 (Exact) R 69242 69245 68687 0 -1 4194304 618076 0 0 0 359913 288 0 0 20 0 1 0 64036667 5081083904 1055510 18446744073709551615 4198400 9112445 140733319311328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 16871424 140733319313704 140733319313901 140733319313901 140733319319503 0
/proc/69245/statm: 1240499 1055510 1280 1200 0 1238979 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 4961996 KiB
Current children cumulated memory: 4222040 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.52
CPU time (s): 3602.05
CPU user time (s): 3599.14
CPU system time (s): 2.90629
CPU usage (%): 99.7377
Max. virtual memory (cumulated for all children) (KiB): 5136596
Max. memory (cumulated for all children) (KiB): 4226144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 2.90629
maximum resident set size= 4367312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618076
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= 227
involuntary context switches= 1854
# summary of solver processes directly reported to runsolver:
# pid: 69245
# total CPU time (s): 3602.05
# total CPU user time (s): 3599.14
# total CPU system time (s): 2.90629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29358 second user time and 16.2215 second system time
The end
Begin job on nodeC022 at 2025-07-02 21:13:09 IDJOB=4503032 IDBENCH=155404 IDSOLVER=3318 FILE ID=nodeC022/4503032-1751483589 RUNJOBID= nodeC022-1751479977-68699 SLURM_JOB_ID= 9598520 Free space on /tmp= 432228 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503032-1751483589/watcher-4503032-1751483589 -o /tmp/evaluation-result-4503032-1751483589/solver-4503032-1751483589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751479977-68699 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1023476862 --ls=0 --inp-dombreaklim=0 HOME/instance-4503032-1751483589.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852 RANDOM SEED=1023476862 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.716 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 : 3695.610 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.726 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.713 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.277 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.709 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 : 3601.942 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.566 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: 121092200 kB MemAvailable: 121473696 kB Buffers: 2128 kB Cached: 1165932 kB SwapCached: 32 kB Active: 8841056 kB Inactive: 623604 kB Active(anon): 8310452 kB Inactive(anon): 4176 kB Active(file): 530604 kB Inactive(file): 619428 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 55400 kB Writeback: 28 kB AnonPages: 8298412 kB Mapped: 118676 kB Shmem: 18028 kB KReclaimable: 141008 kB Slab: 231400 kB SReclaimable: 141008 kB SUnreclaim: 90392 kB KernelStack: 4236 kB PageTables: 20252 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 9996468 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6858752 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= 432256 MiB End job on nodeC022 at 2025-07-02 22:13:21