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.33 | 3612.79 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb |
| MD5SUM | 3781b2dec582d0b67f0282d1f3dabfdd |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -118198 |
| Best CPU time to get the best result obtained on this benchmark | 12.0426 |
| 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 | 210652 |
| Total number of constraints | 1683 |
| Number of constraints which are clauses | 28 |
| Number of constraints which are cardinality constraints (but not clauses) | 1019 |
| Number of constraints which are nor clauses,nor cardinality constraints | 636 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8024 |
| Number of terms in the objective function | 195786 |
| Biggest coefficient in the objective function | 19970 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 34983315 |
| Number of bits of the sum of numbers in the objective function | 26 |
| Biggest number in a constraint | 19970 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 34983315 |
| Number of bits of the biggest sum of numbers | 26 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.68/2.79 o 0 2.99/3.11 o -1094 3.18/3.26 o -1150 3.38/3.42 o -1305 3.48/3.57 o -1515 3.68/3.72 o -1862 3.78/3.88 o -2394 3.99/4.03 o -2891 4.09/4.18 o -3184 4.28/4.33 o -3391 4.38/4.49 o -3460 4.67/4.78 o -3802 4.88/4.94 o -4012 4.99/5.09 o -4247 5.28/5.38 o -5247 5.48/5.53 o -5388 5.58/5.69 o -5554 5.77/5.84 o -5843 5.87/6.00 o -6043 6.67/6.79 o -6044 6.99/7.07 o -6869 7.47/7.56 o -7221 7.67/7.70 o -7356 7.98/8.06 o -7372 8.66/8.73 o -7522 14.06/14.14 o -7564 14.76/14.82 o -8519 14.85/15.00 o -8536 16.25/16.34 o -8765 16.55/16.65 o -9713 16.85/16.99 o -9715 17.14/17.25 o -10657 17.45/17.51 o -10751 17.65/17.76 o -10881 17.84/17.97 o -11666 18.15/18.20 o -12417 18.44/18.53 o -12607 18.74/18.81 o -12608 18.96/19.07 o -13357 19.24/19.34 o -13359 19.74/19.84 o -14102 19.95/20.09 o -14105 20.44/20.58 o -14110 20.74/20.84 o -14112 20.95/21.11 o -14113 21.23/21.37 o -14115 21.74/21.82 o -14116 22.44/22.57 o -14118 22.95/23.02 o -14119 23.34/23.47 o -14120 23.83/23.92 o -14121 24.83/24.95 o -14429 25.53/25.67 o -14523 26.43/26.51 o -14580 27.04/27.12 o -14653 27.22/27.36 o -14654 27.62/27.78 o -14713 28.12/28.27 o -14855 28.72/28.82 o -15168 28.93/29.09 o -15860 29.32/29.44 o -15878 30.03/30.14 o -16412 30.32/30.49 o -16463 30.81/30.99 o -16474 31.21/31.34 o -17973 31.41/31.53 o -17980 31.71/31.82 o -18000 31.93/32.06 o -18880 32.11/32.27 o -18885 32.42/32.52 o -19760 32.62/32.73 o -19771 32.82/33.00 o -19775 33.11/33.27 o -19780 33.51/33.69 o -21394 33.71/33.83 o -21504 34.02/34.14 o -21811 34.41/34.52 o -22199 34.61/34.77 o -22361 37.50/37.67 o -22366 38.01/38.17 o -22371 40.59/40.71 o -22388 40.91/41.08 o -22877 41.19/41.34 o -23728 41.39/41.59 o -23823 41.59/41.72 o -23838 42.09/42.21 o -23898 42.39/42.55 o -24714 43.00/43.14 o -24723 43.79/43.95 o -24774 44.00/44.16 o -25475 44.49/44.68 o -25501 45.08/45.26 o -25535 45.38/45.53 o -26196 45.68/45.81 o -26203 45.99/46.14 o -27831 46.28/46.41 o -27842 46.58/46.72 o -27844 46.89/47.11 o -27906 47.28/47.41 o -27970 47.78/47.97 o -27971 48.78/48.97 o -28024 49.77/50.01 o -28029 50.88/51.04 o -28088 51.67/51.82 o -28092 52.06/52.23 o -28093 52.77/52.97 o -28102 53.17/53.33 o -28664 53.88/54.07 o -28666 54.36/54.57 o -28669 55.26/55.41 o -28672 56.06/56.25 o -29298 56.26/56.49 o -29531 56.56/56.79 o -29536 57.45/57.62 o -29545 57.86/58.05 o -29552 58.25/58.47 o -30180 58.45/58.67 o -30190 58.97/59.15 o -30200 60.04/60.27 o -30211 61.04/61.28 o -32112 61.24/61.42 o -32401 61.44/61.64 o -32633 61.74/61.93 o -32636 61.85/62.09 o -32637 62.05/62.26 o -32638 63.64/63.84 o -32645 66.13/66.31 o -33220 66.44/66.67 o -33354 66.94/67.15 o -33702 67.22/67.47 o -33718 67.53/67.72 o -34434 67.84/68.05 o -34632 68.33/68.50 o -34670 68.63/68.81 o -36022 69.13/69.38 o -36396 69.94/70.18 o -36517 70.84/71.10 o -38274 93.27/93.51 o -38278 124.49/124.80 o -38922 168.48/168.92 o -66217 173.17/173.63 o -66244 1309.80/1313.65 o -68489 1311.89/1315.77 o -69764
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: 63794 MiB (61341 MiB free)
memory of node 1: 64507 MiB (59153 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523166-1751643764/watcher-4523166-1751643764 -o /tmp/evaluation-result-4523166-1751643764/solver-4523166-1751643764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751643641-99999 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1114430476 --ls=0 --inp-dombreaklim=0 HOME/instance-4523166-1751643764.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=100150, runsolver pid=100147
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 3.62 1.47 0.60 5/250 100151
/proc/meminfo: memFree=123281620/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=144680 memory=120348 CPUtime=0.1 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 9989 0 0 0 5 5 0 0 20 0 1 0 80056115 148152320 30055 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 36170 30087 992 1200 0 34650 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 144680 KiB
Current children cumulated memory: 120348 KiB
[startup+0.213863 s]*
/proc/loadavg: 3.62 1.47 0.60 5/250 100151
/proc/meminfo: memFree=123241168/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=183600 memory=154992 CPUtime=0.22 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 13549 0 0 0 15 7 0 0 20 0 1 0 80056115 188006400 38748 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 45900 38748 992 1200 0 44380 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 183600 KiB
Current children cumulated memory: 154992 KiB
[startup+0.313676 s]*
/proc/loadavg: 3.62 1.47 0.60 6/250 100151
/proc/meminfo: memFree=123204940/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=221448 memory=192844 CPUtime=0.32 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 19945 0 0 0 24 8 0 0 20 0 1 0 80056115 226762752 48179 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 55362 48211 992 1200 0 53842 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 221448 KiB
Current children cumulated memory: 192844 KiB
[startup+0.700311 s]
/proc/loadavg: 3.62 1.47 0.60 5/250 100151
/proc/meminfo: memFree=123125992/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=324152 memory=293624 CPUtime=0.69 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 39975 0 0 0 55 14 0 0 20 0 1 0 80056115 331931648 73406 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 81038 73406 1024 1200 0 79518 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 324152 KiB
Current children cumulated memory: 293624 KiB
[startup+1.50032 s]
/proc/loadavg: 3.62 1.47 0.60 5/250 100151
/proc/meminfo: memFree=123038800/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=488844 memory=457116 CPUtime=1.49 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 76444 0 0 0 128 21 0 0 20 0 1 0 80056115 500576256 114279 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 122211 114279 1184 1200 0 120691 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 488844 KiB
Current children cumulated memory: 457116 KiB
[startup+3.11339 s]
/proc/loadavg: 3.62 1.47 0.60 5/250 100151
/proc/meminfo: memFree=122877280/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=549336 memory=494700 CPUtime=3.09 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 83216 0 0 0 286 23 0 0 20 0 1 0 80056115 562520064 123675 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 137334 123675 1216 1200 0 135814 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 549336 KiB
Current children cumulated memory: 494700 KiB
[startup+6.30031 s]
/proc/loadavg: 3.65 1.52 0.62 5/250 100151
/proc/meminfo: memFree=122795748/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=649204 memory=561292 CPUtime=6.27 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 88739 0 0 0 601 26 0 0 20 0 1 0 80056115 664784896 140323 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 162301 140323 1248 1200 0 160781 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 649204 KiB
Current children cumulated memory: 561292 KiB
[startup+12.7003 s]
/proc/loadavg: 3.76 1.57 0.65 5/250 100151
/proc/meminfo: memFree=122540456/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=789716 memory=676068 CPUtime=12.65 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 102785 0 0 0 1234 31 0 0 20 0 1 0 80056115 808669184 169017 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 197429 169017 1248 1200 0 195909 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 789716 KiB
Current children cumulated memory: 676068 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 1.76 0.72 5/250 100151
/proc/meminfo: memFree=122132432/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=1204560 memory=1083720 CPUtime=25.43 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 169792 0 0 0 2494 49 0 0 20 0 1 0 80056115 1233469440 270930 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 301140 270930 1248 1200 0 299620 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1204560 KiB
Current children cumulated memory: 1083720 KiB
[startup+51.1134 s]
/proc/loadavg: 4.42 2.02 0.84 5/250 100152
/proc/meminfo: memFree=121309432/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=2222132 memory=1765008 CPUtime=50.98 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 266302 0 0 0 5013 85 0 0 20 0 1 0 80056115 2275463168 441252 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 555533 441252 1280 1200 0 554013 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2222132 KiB
Current children cumulated memory: 1765008 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 2.39 1.03 5/251 100155
/proc/meminfo: memFree=120125952/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=3638088 memory=2992344 CPUtime=102.05 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 451091 0 0 0 10061 144 0 0 20 0 1 0 80056115 3725402112 748086 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 909522 748086 1280 1200 0 908002 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 3638088 KiB
Current children cumulated memory: 2992344 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 2.71 1.23 5/251 100157
/proc/meminfo: memFree=116677620/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=7044072 memory=6165308 CPUtime=161.9 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 947820 0 0 0 15902 288 0 0 20 0 1 0 80056115 7213129728 1541327 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 1761018 1541327 1280 1200 0 1759498 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 7044072 KiB
Current children cumulated memory: 6165308 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.96 1.41 5/251 100159
/proc/meminfo: memFree=115496212/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=9437600 memory=7078284 CPUtime=221.75 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 1051007 0 0 0 21804 371 0 0 20 0 1 0 80056115 9664102400 1769571 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 2359400 1769571 1280 1200 0 2357880 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 9437600 KiB
Current children cumulated memory: 7078284 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.17 1.58 5/251 100161
/proc/meminfo: memFree=114726868/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=9452492 memory=7363252 CPUtime=281.6 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 1056382 0 0 0 27780 380 0 0 20 0 1 0 80056115 9679351808 1840813 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 2363123 1840813 1280 1200 0 2361603 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 9452492 KiB
Current children cumulated memory: 7363252 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.34 1.74 5/250 100162
/proc/meminfo: memFree=112708492/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=9507788 memory=7675996 CPUtime=341.45 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 1071024 0 0 0 33756 389 0 0 20 0 1 0 80056115 9735974912 1918999 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 2376947 1918999 1280 1200 0 2375427 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 9507788 KiB
Current children cumulated memory: 7675996 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.48 1.89 5/250 100164
/proc/meminfo: memFree=112049008/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=9549520 memory=7712732 CPUtime=401.3 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 1081604 0 0 0 39735 395 0 0 20 0 1 0 80056115 9778708480 1928183 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 2387380 1928183 1280 1200 0 2385860 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 9549520 KiB
Current children cumulated memory: 7712732 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.61 2.03 5/249 100166
/proc/meminfo: memFree=110917532/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=9817724 memory=8484820 CPUtime=461.15 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 1165696 0 0 0 45689 426 0 0 20 0 1 0 80056115 10053349376 2121205 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 2454431 2121205 1280 1200 0 2452911 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.28 3.24 3.12 4/244 100380
/proc/meminfo: memFree=102438488/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14206772 CPUtime=3093.18 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2075422 0 0 0 308269 1049 0 0 20 0 1 0 80056115 17382133760 3551693 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3551693 1280 1200 0 4242165 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14206772 KiB
[startup+3162.3 s]
/proc/loadavg: 3.18 3.21 3.11 4/244 100382
/proc/meminfo: memFree=102430920/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14212788 CPUtime=3153.02 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2078183 0 0 0 314247 1055 0 0 20 0 1 0 80056115 17382133760 3553197 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3553197 1280 1200 0 4242165 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14212788 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.19 3.11 4/243 100384
/proc/meminfo: memFree=102402176/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14219060 CPUtime=3212.88 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2081787 0 0 0 320225 1063 0 0 20 0 1 0 80056115 17382133760 3554765 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3554765 1280 1200 0 4242165 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14219060 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.18 3.11 4/244 100387
/proc/meminfo: memFree=102317408/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14223412 CPUtime=3272.71 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2085463 0 0 0 326202 1069 0 0 20 0 1 0 80056115 17382133760 3555853 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3555853 1280 1200 0 4242165 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14223412 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.16 3.10 4/245 100390
/proc/meminfo: memFree=102318252/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14223668 CPUtime=3332.56 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2089404 0 0 0 332181 1075 0 0 20 0 1 0 80056115 17382133760 3555917 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3555917 1280 1200 0 4242165 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14223668 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.14 3.10 4/246 100393
/proc/meminfo: memFree=102318112/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14224052 CPUtime=3392.41 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2092720 0 0 0 338162 1079 0 0 20 0 1 0 80056115 17382133760 3556013 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556013 1280 1200 0 4242165 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14224052 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.13 3.09 4/246 100395
/proc/meminfo: memFree=102318256/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14224692 CPUtime=3452.25 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2096508 0 0 0 344140 1085 0 0 20 0 1 0 80056115 17382133760 3556173 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556173 1280 1200 0 4242165 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14224692 KiB
[startup+3522.3 s]
/proc/loadavg: 2.78 3.06 3.07 3/240 100434
/proc/meminfo: memFree=105348516/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3512.09 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2100543 0 0 0 350118 1091 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
[startup+3582.3 s]
/proc/loadavg: 2.86 3.02 3.05 3/239 100436
/proc/meminfo: memFree=105356268/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3571.91 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2105027 0 0 0 356096 1095 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 2.75 2.98 3.04 3/238 100437
/proc/meminfo: memFree=105357356/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3600.04 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2106159 0 0 0 358907 1097 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.79 s]
# the end of solver process 100150 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3591.07 s, system=11.2577 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 2.75 2.98 3.04 3/238 100437
/proc/meminfo: memFree=105357544/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3600.74 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2106173 0 0 0 358977 1097 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
[startup+3612 s]*
/proc/loadavg: 2.75 2.98 3.04 3/238 100437
/proc/meminfo: memFree=105357544/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3601.55 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2106259 0 0 0 359058 1097 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
[startup+3612.4 s]
/proc/loadavg: 2.75 2.98 3.04 3/238 100437
/proc/meminfo: memFree=105357544/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3601.94 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2106266 0 0 0 359097 1097 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
[startup+3612.5 s]
/proc/loadavg: 2.75 2.98 3.04 3/238 100437
/proc/meminfo: memFree=105357544/131382112 swapFree=33010416/33010684
[pid=100150] ppid=100147 vsize=16974740 memory=14225076 CPUtime=3602.04 cores=4,6
/proc/100150/stat : 100150 (Exact) R 100147 100150 99982 0 -1 4194304 2106270 0 0 0 359107 1097 0 0 20 0 1 0 80056115 17382133760 3556269 18446744073709551615 4198400 9112445 140721790970672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 46387200 140721790974247 140721790974444 140721790974444 140721790980047 0
/proc/100150/statm: 4243685 3556269 1280 1200 0 4242165 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 16974740 KiB
Current children cumulated memory: 14225076 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.79
CPU time (s): 3602.33
CPU user time (s): 3591.07
CPU system time (s): 11.2577
CPU usage (%): 99.7105
Max. virtual memory (cumulated for all children) (KiB): 21468436
Max. memory (cumulated for all children) (KiB): 16391200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.07
system time used= 11.2577
maximum resident set size= 16573472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2106270
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= 148
involuntary context switches= 2775
# summary of solver processes directly reported to runsolver:
# pid: 100150
# total CPU time (s): 3602.33
# total CPU user time (s): 3591.07
# total CPU system time (s): 11.2577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8597 second user time and 34.6772 second system time
The end
Begin job on nodeC012 at 2025-07-04 17:42:44 IDJOB=4523166 IDBENCH=179809 IDSOLVER=3318 FILE ID=nodeC012/4523166-1751643764 RUNJOBID= nodeC012-1751643641-99999 SLURM_JOB_ID= 9672317 Free space on /tmp= 431484 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.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-4523166-1751643764/watcher-4523166-1751643764 -o /tmp/evaluation-result-4523166-1751643764/solver-4523166-1751643764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751643641-99999 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1114430476 --ls=0 --inp-dombreaklim=0 HOME/instance-4523166-1751643764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3781b2dec582d0b67f0282d1f3dabfdd RANDOM SEED=1114430476 nodeC012 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 : 0xb00001f cpu MHz : 3659.894 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3596.269 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.223 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.399 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.152 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3661.056 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.631 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.378 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 123387304 kB MemAvailable: 124100956 kB Buffers: 2136 kB Cached: 1511012 kB SwapCached: 16 kB Active: 6442280 kB Inactive: 890660 kB Active(anon): 5832788 kB Inactive(anon): 4948 kB Active(file): 609492 kB Inactive(file): 885712 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15492 kB Writeback: 0 kB AnonPages: 5822908 kB Mapped: 120132 kB Shmem: 17944 kB KReclaimable: 115764 kB Slab: 203176 kB SReclaimable: 115764 kB SUnreclaim: 87412 kB KernelStack: 4032 kB PageTables: 14956 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7079640 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 2390016 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431548 MiB End job on nodeC012 at 2025-07-04 18:42:57