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.09 | 3610.7 |
| Name | PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_ladder.opb |
| MD5SUM | 09dba01427439390f7d02c92f076240e |
| 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 | -77682 |
| Best CPU time to get the best result obtained on this benchmark | 72000.6 |
| 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 | 81322 |
| Total number of constraints | 201868 |
| Number of constraints which are clauses | 201867 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 486 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 262661 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 262661 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.35/1.44 o 0 5.42/5.50 o -15000 10.47/10.68 o -15004 14.24/14.47 o -32023 18.80/19.05 o -49892 29.60/29.97 o -49900 104.68/105.29 o -50079 135.10/135.79 o -50119 145.87/146.57 o -50128 146.07/146.75 o -50138 146.07/146.78 o -50168 146.17/146.85 o -50184 146.17/146.88 o -50286 146.27/146.90 o -50345 146.27/146.92 o -50370 146.27/146.97 o -50413 146.37/147.02 o -50432 146.37/147.04 o -50469 146.37/147.06 o -50489 146.37/147.09 o -50591 146.47/147.11 o -50614 146.47/147.14 o -50767 146.47/147.17 o -50985 146.57/147.22 o -51002 146.57/147.27 o -51082 146.87/147.53 o -51210 146.87/147.56 o -51316 147.17/147.82 o -51327 147.17/147.86 o -51370 147.27/147.92 o -51394 147.37/148.01 o -51400 147.37/148.05 o -51425 147.37/148.10 o -51485 147.47/148.15 o -51558 147.47/148.18 o -51618 147.57/148.21 o -51629 147.57/148.24 o -51713 147.67/148.38 o -51760 147.77/148.40 o -51777 147.77/148.43 o -51978 147.77/148.45 o -51995 147.86/148.51 o -52075 147.86/148.56 o -52152 148.06/148.74 o -52155 148.06/148.78 o -52180 148.37/149.09 o -52227 152.75/153.40 o -52338 163.53/164.22 o -52362 203.92/204.76 o -52422 203.92/204.79 o -52640 204.02/204.83 o -52713 204.12/204.93 o -52718 204.12/204.97 o -52762 204.12/205.00 o -52766 204.22/205.04 o -52936 204.32/205.15 o -52998 204.32/205.18 o -53071 204.61/205.46 o -53140 302.33/303.40 o -53191 308.82/309.97 o -53236 308.82/309.99 o -53358 308.92/310.02 o -53364 308.92/310.07 o -53382 309.02/310.16 o -53414 309.12/310.21 o -53422 309.22/310.35 o -53567 309.32/310.47 o -53571 316.30/317.45 o -53593 401.62/402.93 o -53608 462.38/463.88 o -53636 480.84/482.33 o -53650 480.84/482.39 o -53695 480.94/482.44 o -53729 481.04/482.50 o -53743 481.04/482.54 o -53751 481.14/482.67 o -53761 481.24/482.70 o -53772 481.24/482.76 o -53794 481.24/482.79 o -53836 481.34/482.84 o -53840 481.34/482.88 o -53846 481.44/482.93 o -53859 481.44/483.00 o -53876 481.54/483.03 o -54028 481.54/483.06 o -54291 481.74/483.24 o -54314 481.74/483.27 o -54382 481.84/483.39 o -54397 481.93/483.42 o -54411 482.03/483.51 o -54421 482.13/483.65 o -54430 482.33/483.89 o -54453 482.43/483.96 o -54468 482.54/484.01 o -54482 482.54/484.05 o -54487 482.54/484.08 o -54510 482.64/484.11 o -54546 482.64/484.14 o -54568 482.64/484.18 o -54582 482.73/484.21 o -54629 482.83/484.39 o -54654 482.93/484.46 o -54658 482.93/484.49 o -54704 483.13/484.60 o -54845 483.13/484.63 o -54857 483.23/484.70 o -54882 483.33/484.81 o -54950 483.33/484.87 o -54984 483.43/484.95 o -54995 483.54/485.01 o -55025 483.63/485.13 o -55052 483.73/485.23 o -55061 483.73/485.27 o -55072 483.83/485.35 o -55124 483.93/485.47 o -55129 484.03/485.50 o -55144 484.13/485.62 o -55150 484.13/485.67 o -55154 484.23/485.70 o -55168 484.23/485.73 o -55179 484.33/485.83 o -55203 484.43/485.92 o -55231 484.43/485.96 o -55261 484.53/486.03 o -55264 484.53/486.07 o -55323 484.63/486.19 o -55333 484.73/486.25 o -55337 484.83/486.32 o -55347 484.83/486.35 o -55424 484.93/486.45 o -55448 484.93/486.48 o -55451 485.03/486.53 o -55481 485.03/486.56 o -55506 485.13/486.60 o -55549 485.13/486.64 o -55583 485.43/486.97 o -55682 485.43/487.00 o -55720 485.53/487.03 o -55850 485.53/487.05 o -55950 485.53/487.08 o -56009 485.63/487.11 o -56034 485.63/487.19 o -56038 485.72/487.23 o -56050 485.72/487.28 o -56056 487.42/488.99 o -56412 497.50/499.07 o -56431 511.57/513.19 o -56445 520.55/522.18 o -56594 524.73/526.39 o -56695 531.52/533.17 o -56725 537.60/539.21 o -56902 600.16/601.97 o -56947 603.46/605.28 o -56970 608.05/609.83 o -56971 608.05/609.87 o -57350 608.15/609.90 o -57380 608.15/609.93 o -57383 608.15/609.95 o -57442 608.15/609.98 o -57452 608.25/610.08 o -57476 608.35/610.11 o -57578 608.35/610.14 o -57637 608.35/610.16 o -57662 608.44/610.22 o -57678 608.44/610.28 o -57684 608.54/610.32 o -57701 608.54/610.38 o -57708 608.64/610.42 o -57760 608.64/610.45 o -57798 608.74/610.54 o -58318 608.94/610.70 o -58326 608.94/610.73 o -58329 608.94/610.76 o -58388 609.04/610.84 o -58399 609.04/610.87 o -58431 609.14/610.92 o -58499 609.14/610.95 o -58529 609.25/611.04 o -58532 618.22/620.04 o -58557 642.36/644.25 o -58564 854.06/856.43 o -58579 854.06/856.48 o -58581 854.16/856.51 o -58730 854.16/856.54 o -58926 854.16/856.57 o -59100 854.26/856.60 o -59265 854.26/856.63 o -59475 854.26/856.69 o -59518 854.36/856.73 o -60048 854.46/856.82 o -60065 854.56/856.91 o -60100 854.56/856.96 o -60196 854.67/857.05 o -60222 854.77/857.12 o -60276 854.77/857.18 o -60293 854.86/857.25 o -60303 854.86/857.29 o -60896 854.96/857.33 o -60963 855.06/857.41 o -61018 855.06/857.47 o -61021 855.16/857.50 o -61166 855.16/857.53 o -61196 855.26/857.60 o -61228 855.26/857.63 o -61258 855.36/857.70 o -61285 855.46/857.83 o -61313 855.56/857.90 o -61346 855.56/857.96 o -61602 855.56/857.99 o -61968 855.86/858.20 o -61971 855.86/858.27 o -61972 855.96/858.31 o -61975 856.06/858.40 o -61977 856.06/858.44 o -62109 856.06/858.48 o -62112 856.56/858.95 o -62260 856.66/859.04 o -62263 856.66/859.08 o -62293 856.76/859.16 o -62300 856.86/859.21 o -62344 856.86/859.24 o -62388 856.96/859.30 o -62499 856.96/859.39 o -62541 857.06/859.48 o -62567 857.16/859.57 o -62569 857.26/859.61 o -62592 857.26/859.64 o -62594 857.36/859.71 o -62595 857.36/859.76 o -62639 857.46/859.85 o -62669 857.56/859.91 o -62732 857.66/860.01 o -62806 857.66/860.04 o -62823 857.66/860.07 o -62955 857.76/860.11 o -62997 857.76/860.16 o -63149 857.86/860.23 o -63190 857.86/860.26 o -63217 858.25/860.64 o -63240 858.45/860.88 o -63248 858.55/860.92 o -63254 858.66/861.03 o -63269 858.66/861.07 o -63282 858.76/861.11 o -63289 858.76/861.19 o -63329 858.85/861.26 o -63388 858.95/861.30 o -63606 858.95/861.36 o -63732 859.05/861.42 o -63799 859.25/861.60 o -63805 859.35/861.71 o -63810 859.45/861.88 o -63820 859.55/861.92 o -63823 859.55/861.98 o -63839 859.66/862.04 o -63944 859.66/862.08 o -64001 859.85/862.28 o -64089 859.95/862.34 o -64171 860.15/862.51 o -64173 860.15/862.54 o -64179 860.25/862.60 o -64216 860.25/862.69 o -64286 860.35/862.72 o -64531 860.45/862.80 o -64749 860.45/862.84 o -64875 860.55/862.91 o -64912 860.55/862.99 o -64942 860.65/863.04 o -64948 860.75/863.14 o -64951 860.75/863.18 o -64953 860.85/863.21 o -64996 860.85/863.27 o -65017 860.95/863.37 o -65074 861.05/863.44 o -65077 861.15/863.50 o -65100 861.15/863.54 o -65306 861.35/863.79 o -65317 861.65/864.04 o -65337 861.65/864.07 o -65340 861.75/864.20 o -65344 861.84/864.24 o -65399 861.84/864.28 o -65460 861.94/864.31 o -65517 861.94/864.36 o -65534 862.14/864.57 o -65537 862.24/864.65 o -65569 862.34/864.73 o -65574 862.34/864.78 o -65576 862.44/864.83 o -66309 864.14/866.54 o -66320 864.14/866.59 o -66365 864.34/866.79 o -66366 864.44/866.84 o -66432 864.54/866.90 o -66514 864.54/866.95 o -66538 864.74/867.16 o -66560 864.74/867.19 o -66563 865.03/867.42 o -66604 865.14/867.57 o -66646 865.34/867.77 o -66649 865.64/868.01 o -66659 865.64/868.10 o -66664 865.84/868.20 o -66667 865.84/868.28 o -66674 865.94/868.32 o -66833 865.94/868.36 o -66850 866.14/868.53 o -66930 866.24/868.62 o -66966 866.24/868.66 o -66991 866.44/868.81 o -67021 866.54/868.96 o -67024 866.64/869.05 o -67042 866.84/869.20 o -67061 867.03/869.46 o -67096 867.23/869.67 o -67098 867.33/869.71 o -67114 867.33/869.75 o -67128 867.33/869.78 o -67131 867.43/869.83 o -67154 867.53/869.94 o -67177 867.53/870.00 o -67185 867.74/870.11 o -67197 867.93/870.39 o -67211 868.03/870.45 o -67429 868.13/870.52 o -67647 868.23/870.68 o -67655 868.33/870.75 o -67658 868.43/870.87 o -67683 868.63/871.02 o -67720 868.73/871.12 o -67783 868.82/871.25 o -67793 868.92/871.39 o -67804 869.02/871.47 o -67809 869.12/871.54 o -67824 869.22/871.64 o -67826 869.22/871.68 o -67837 869.32/871.77 o -67849 869.43/871.89 o -67859 869.63/872.00 o -67870 869.63/872.04 o -67875 869.73/872.11 o -67876 869.82/872.22 o -67901 869.82/872.26 o -67904 869.92/872.38 o -67910 870.02/872.43 o -67918 870.02/872.46 o -67923 870.12/872.55 o -67966 870.22/872.67 o -67970 870.32/872.71 o -67988 870.42/872.80 o -67992 870.42/872.87 o -68000 870.52/872.91 o -68001 870.52/872.97 o -68005 870.63/873.02 o -68010 870.63/873.09 o -68013 870.73/873.12 o -68026 870.73/873.19 o -68041 870.82/873.22 o -68211 870.82/873.25 o -68221 870.82/873.29 o -68226 870.92/873.36 o -68238 871.02/873.43 o -68246 871.02/873.48 o -68251 871.12/873.52 o -68276 871.12/873.59 o -68362 871.22/873.66 o -68431 871.32/873.71 o -68457 871.32/873.79 o -68470 871.42/873.85 o -68473 871.52/873.90 o -68490 871.52/873.94 o -68493 871.62/874.03 o -68553 871.62/874.10 o -68644 871.72/874.13 o -68675 871.72/874.17 o -68719 871.82/874.20 o -68831 871.82/874.25 o -68846 871.92/874.36 o -68864 871.92/874.39 o -68867 872.02/874.48 o -68872 872.62/875.05 o -69017 872.62/875.08 o -69208 872.82/875.25 o -69216 872.82/875.29 o -69219 872.92/875.35 o -69224 872.92/875.39 o -69246 875.71/878.18 o -69273 875.81/878.22 o -69282 875.81/878.25 o -69292 875.81/878.29 o -69297 875.91/878.35 o -69303 875.91/878.38 o -69306 876.01/878.42 o -69377 876.01/878.45 o -69654 876.11/878.55 o -69664 876.20/878.61 o -69678 876.20/878.64 o -69681 876.20/878.69 o -69698 876.30/878.73 o -69701 876.30/878.78 o -69756 876.40/878.83 o -69761 876.40/878.86 o -69762 876.51/878.90 o -69789 876.51/878.95 o -69790 876.62/879.00 o -69821 876.62/879.09 o -69826 876.71/879.16 o -69853 877.01/879.44 o -70323 877.11/879.52 o -70353 877.11/879.55 o -70356 877.21/879.60 o -70361
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: 63708 MiB (62910 MiB free)
memory of node 1: 64465 MiB (63947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483728-1751276352/watcher-4483728-1751276352 -o /tmp/evaluation-result-4483728-1751276352/solver-4483728-1751276352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751268232-35170 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=497536264 --ls=0 --inp-dombreaklim=0 HOME/instance-4483728-1751276352.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36320, runsolver pid=36317
[startup+0.100063 s]*
/proc/loadavg: 1.09 1.24 2.23 2/245 36321
/proc/meminfo: memFree=129840692/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=106836 memory=83112 CPUtime=0.09 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 12346 0 0 0 7 2 0 0 20 0 1 0 43257714 109400064 20778 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 26709 20778 1024 1200 0 25189 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106836 KiB
Current children cumulated memory: 83112 KiB
[startup+0.205072 s]*
/proc/loadavg: 1.09 1.24 2.23 2/245 36321
/proc/meminfo: memFree=129805032/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=133220 memory=112384 CPUtime=0.19 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 18574 0 0 0 15 4 0 0 20 0 1 0 43257714 136417280 28096 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 33305 28096 1024 1200 0 31785 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133220 KiB
Current children cumulated memory: 112384 KiB
[startup+0.30504 s]*
/proc/loadavg: 1.09 1.24 2.23 2/245 36321
/proc/meminfo: memFree=129768552/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=159088 memory=133828 CPUtime=0.29 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 22662 0 0 0 24 5 0 0 20 0 1 0 43257714 162906112 33457 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 39772 33457 1024 1200 0 38252 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159088 KiB
Current children cumulated memory: 133828 KiB
[startup+0.700187 s]
/proc/loadavg: 1.09 1.24 2.23 2/245 36321
/proc/meminfo: memFree=129711972/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=239952 memory=216248 CPUtime=0.66 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 37937 0 0 0 58 8 0 0 20 0 1 0 43257714 245710848 54062 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 59988 54062 1024 1200 0 58468 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 239952 KiB
Current children cumulated memory: 216248 KiB
[startup+1.50019 s]
/proc/loadavg: 1.09 1.24 2.23 2/245 36321
/proc/meminfo: memFree=129534292/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=424776 memory=385648 CPUtime=1.46 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 67301 0 0 0 131 15 0 0 20 0 1 0 43257714 434970624 96412 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 106194 96412 1248 1200 0 104674 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 424776 KiB
Current children cumulated memory: 385648 KiB
[startup+3.10492 s]
/proc/loadavg: 1.09 1.24 2.23 2/245 36321
/proc/meminfo: memFree=129502792/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=435748 memory=400620 CPUtime=3.05 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 70049 0 0 0 289 16 0 0 20 0 1 0 43257714 446205952 100155 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 108937 100155 1248 1200 0 107417 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 435748 KiB
Current children cumulated memory: 400620 KiB
[startup+6.30018 s]
/proc/loadavg: 1.08 1.23 2.22 2/245 36321
/proc/meminfo: memFree=129466696/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=531820 memory=481632 CPUtime=6.21 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 85335 0 0 0 602 19 0 0 20 0 1 0 43257714 544583680 120408 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 132955 120408 1280 1200 0 131435 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 531820 KiB
Current children cumulated memory: 481632 KiB
[startup+12.7002 s]
/proc/loadavg: 1.08 1.23 2.21 2/246 36323
/proc/meminfo: memFree=129408424/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=533656 memory=485636 CPUtime=12.56 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 85853 0 0 0 1236 20 0 0 20 0 1 0 43257714 546463744 121409 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 133414 121409 1280 1200 0 131894 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 533656 KiB
Current children cumulated memory: 485636 KiB
[startup+25.5001 s]
/proc/loadavg: 1.06 1.22 2.19 2/246 36323
/proc/meminfo: memFree=129408424/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=544664 memory=496752 CPUtime=25.24 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 87183 0 0 0 2503 21 0 0 20 0 1 0 43257714 557735936 124188 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 136166 124188 1280 1200 0 134646 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 544664 KiB
Current children cumulated memory: 496752 KiB
[startup+51.1049 s]
/proc/loadavg: 1.09 1.22 2.16 2/245 36323
/proc/meminfo: memFree=129405924/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=552480 memory=504816 CPUtime=50.74 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 89335 0 0 0 5052 22 0 0 20 0 1 0 43257714 565739520 126204 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 138120 126204 1280 1200 0 136600 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 552480 KiB
Current children cumulated memory: 504816 KiB
[startup+102.3 s]
/proc/loadavg: 1.09 1.20 2.11 2/246 36326
/proc/meminfo: memFree=129403728/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=565840 memory=521048 CPUtime=101.79 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 91606 0 0 0 10154 25 0 0 20 0 1 0 43257714 579420160 130262 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 141460 130262 1280 1200 0 139940 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 565840 KiB
Current children cumulated memory: 521048 KiB
[startup+162.3 s]
/proc/loadavg: 1.07 1.17 2.04 2/246 36328
/proc/meminfo: memFree=129329952/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=661336 memory=577056 CPUtime=161.63 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 102605 0 0 0 16131 32 0 0 20 0 1 0 43257714 677208064 144264 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 165334 144264 1280 1200 0 163814 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 661336 KiB
Current children cumulated memory: 577056 KiB
[startup+222.3 s]
/proc/loadavg: 1.08 1.15 1.98 2/246 36330
/proc/meminfo: memFree=129303668/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=661336 memory=595104 CPUtime=221.47 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 103671 0 0 0 22115 32 0 0 20 0 1 0 43257714 677208064 148776 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 165334 148776 1280 1200 0 163814 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 661336 KiB
Current children cumulated memory: 595104 KiB
[startup+282.3 s]
/proc/loadavg: 1.07 1.14 1.92 2/246 36332
/proc/meminfo: memFree=129267612/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=695656 memory=636828 CPUtime=281.29 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 111636 0 0 0 28095 34 0 0 20 0 1 0 43257714 712351744 159207 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 173914 159207 1280 1200 0 172394 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 695656 KiB
Current children cumulated memory: 636828 KiB
[startup+342.3 s]
/proc/loadavg: 1.13 1.14 1.87 2/246 36335
/proc/meminfo: memFree=129240920/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=718340 memory=674024 CPUtime=341.15 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 115725 0 0 0 34073 42 0 0 20 0 1 0 43257714 735580160 168506 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 179585 168506 1280 1200 0 178065 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 718340 KiB
Current children cumulated memory: 674024 KiB
[startup+402.3 s]
/proc/loadavg: 1.05 1.11 1.81 2/246 36344
/proc/meminfo: memFree=129243560/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=718340 memory=676456 CPUtime=401.03 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 115799 0 0 0 40041 62 0 0 20 0 1 0 43257714 735580160 169114 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 179585 169114 1280 1200 0 178065 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 718340 KiB
Current children cumulated memory: 676456 KiB
[startup+462.3 s]
/proc/loadavg: 1.13 1.12 1.77 2/246 36346
/proc/meminfo: memFree=129241232/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=718340 memory=678612 CPUtime=460.88 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 116026 0 0 0 46026 62 0 0 20 0 1 0 43257714 735580160 169653 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.11 1.12 1.14 2/245 36484
/proc/meminfo: memFree=128859728/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1095452 memory=1070640 CPUtime=3094.84 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 189785 0 0 0 309265 219 0 0 20 0 1 0 43257714 1121742848 267660 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 273863 267660 1280 1200 0 272343 0
Current children cumulated CPU time: 3094.84 s
Current children cumulated vsize: 1095452 KiB
Current children cumulated memory: 1070640 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.11 1.13 2/245 36486
/proc/meminfo: memFree=128860644/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1095452 memory=1070768 CPUtime=3154.7 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 190166 0 0 0 315251 219 0 0 20 0 1 0 43257714 1121742848 267692 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 273863 267692 1280 1200 0 272343 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 1095452 KiB
Current children cumulated memory: 1070768 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.11 1.12 2/245 36488
/proc/meminfo: memFree=128860500/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1097116 memory=1074608 CPUtime=3214.57 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 191500 0 0 0 321238 219 0 0 20 0 1 0 43257714 1123446784 268652 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 274279 268652 1280 1200 0 272759 0
Current children cumulated CPU time: 3214.57 s
Current children cumulated vsize: 1097116 KiB
Current children cumulated memory: 1074608 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.10 1.12 2/245 36490
/proc/meminfo: memFree=128827292/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1102496 memory=1079924 CPUtime=3274.42 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 192564 0 0 0 327223 219 0 0 20 0 1 0 43257714 1128955904 269981 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 275624 269981 1280 1200 0 274104 0
Current children cumulated CPU time: 3274.42 s
Current children cumulated vsize: 1102496 KiB
Current children cumulated memory: 1079924 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.09 1.11 2/245 36492
/proc/meminfo: memFree=128827904/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1104588 memory=1081972 CPUtime=3334.29 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 193351 0 0 0 333209 220 0 0 20 0 1 0 43257714 1131098112 270493 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 276147 270493 1280 1200 0 274627 0
Current children cumulated CPU time: 3334.29 s
Current children cumulated vsize: 1104588 KiB
Current children cumulated memory: 1081972 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.10 1.11 2/246 36501
/proc/meminfo: memFree=128828944/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1110084 memory=1087476 CPUtime=3394.15 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 195042 0 0 0 339195 220 0 0 20 0 1 0 43257714 1136726016 271869 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 277521 271869 1280 1200 0 276001 0
Current children cumulated CPU time: 3394.15 s
Current children cumulated vsize: 1110084 KiB
Current children cumulated memory: 1087476 KiB
[startup+3462.3 s]
/proc/loadavg: 1.04 1.08 1.10 2/245 36503
/proc/meminfo: memFree=128821648/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1112628 memory=1090036 CPUtime=3454.02 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 195982 0 0 0 345182 220 0 0 20 0 1 0 43257714 1139331072 272509 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 278157 272509 1280 1200 0 276637 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 1112628 KiB
Current children cumulated memory: 1090036 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.10 1.10 2/246 36506
/proc/meminfo: memFree=128822248/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1115848 memory=1093236 CPUtime=3513.88 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 197058 0 0 0 351168 220 0 0 20 0 1 0 43257714 1142628352 273309 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 278962 273309 1280 1200 0 277442 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 1115848 KiB
Current children cumulated memory: 1093236 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/246 36508
/proc/meminfo: memFree=128814816/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1121896 memory=1097076 CPUtime=3573.74 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 198126 0 0 0 357144 230 0 0 20 0 1 0 43257714 1148821504 274269 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 280474 274269 1280 1200 0 278954 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 1121896 KiB
Current children cumulated memory: 1097076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 1.15 1.10 1.10 2/246 36509
/proc/meminfo: memFree=128815100/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1121896 memory=1097076 CPUtime=3600.08 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 198195 0 0 0 359774 234 0 0 20 0 1 0 43257714 1148821504 274269 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 280474 274269 1280 1200 0 278954 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1121896 KiB
Current children cumulated memory: 1097076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 36320 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.72 s, system=2.36668 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 1.15 1.10 1.10 2/246 36509
/proc/meminfo: memFree=128815100/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1121896 memory=1097076 CPUtime=3600.98 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 198195 0 0 0 359863 235 0 0 20 0 1 0 43257714 1148821504 274269 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 280474 274269 1280 1200 0 278954 0
Current children cumulated CPU time: 3600.98 s
Current children cumulated vsize: 1121896 KiB
Current children cumulated memory: 1097076 KiB
[startup+3610.4 s]
/proc/loadavg: 1.15 1.10 1.10 2/246 36509
/proc/meminfo: memFree=128815352/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1121896 memory=1097076 CPUtime=3601.78 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 198195 0 0 0 359942 236 0 0 20 0 1 0 43257714 1148821504 274269 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 280474 274269 1280 1200 0 278954 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 1121896 KiB
Current children cumulated memory: 1097076 KiB
[startup+3610.6 s]
/proc/loadavg: 1.15 1.10 1.10 2/246 36509
/proc/meminfo: memFree=128815352/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1121896 memory=1097076 CPUtime=3601.98 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 198195 0 0 0 359962 236 0 0 20 0 1 0 43257714 1148821504 274269 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 280474 274269 1280 1200 0 278954 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 1121896 KiB
Current children cumulated memory: 1097076 KiB
[startup+3610.7 s]
/proc/loadavg: 1.15 1.10 1.10 2/246 36509
/proc/meminfo: memFree=128815352/131250000 swapFree=33010684/33010684
[pid=36320] ppid=36317 vsize=1121896 memory=1097076 CPUtime=3602.08 cores=4,6
/proc/36320/stat : 36320 (Exact) R 36317 36320 35152 0 -1 4194304 198195 0 0 0 359972 236 0 0 20 0 1 0 43257714 1148821504 274269 18446744073709551615 4198400 9112445 140725559097056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 32178176 140725559101737 140725559101933 140725559101933 140725559107535 0
/proc/36320/statm: 280474 274269 1280 1200 0 278954 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 1121896 KiB
Current children cumulated memory: 1097076 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.7
CPU time (s): 3602.09
CPU user time (s): 3599.72
CPU system time (s): 2.36668
CPU usage (%): 99.7615
Max. virtual memory (cumulated for all children) (KiB): 1121896
Max. memory (cumulated for all children) (KiB): 1097076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 2.36668
maximum resident set size= 1097076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198195
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= 133
involuntary context switches= 4109
# summary of solver processes directly reported to runsolver:
# pid: 36320
# total CPU time (s): 3602.09
# total CPU user time (s): 3599.72
# total CPU system time (s): 2.36668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40925 second user time and 14.0256 second system time
The end
Begin job on nodeC028 at 2025-06-30 11:39:12 IDJOB=4483728 IDBENCH=144501 IDSOLVER=3318 FILE ID=nodeC028/4483728-1751276352 RUNJOBID= nodeC028-1751268232-35170 SLURM_JOB_ID= 9594195 Free space on /tmp= 433056 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_ladder.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-4483728-1751276352/watcher-4483728-1751276352 -o /tmp/evaluation-result-4483728-1751276352/solver-4483728-1751276352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751268232-35170 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=497536264 --ls=0 --inp-dombreaklim=0 HOME/instance-4483728-1751276352.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 09dba01427439390f7d02c92f076240e RANDOM SEED=497536264 nodeC028 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 : 3604.525 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 : 7000.16 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 : 3700.000 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 : 7000.16 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 : 3596.932 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 : 7000.16 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 : 1200.044 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 : 7000.16 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 : 3602.059 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 : 7000.16 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 : 1200.535 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 : 7000.16 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.123 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 : 7000.16 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 : 3700.000 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129902440 kB MemAvailable: 129659648 kB Buffers: 3280 kB Cached: 565768 kB SwapCached: 0 kB Active: 322688 kB Inactive: 309336 kB Active(anon): 81044 kB Inactive(anon): 0 kB Active(file): 241644 kB Inactive(file): 309336 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13660 kB Writeback: 0 kB AnonPages: 66072 kB Mapped: 102928 kB Shmem: 18068 kB KReclaimable: 90936 kB Slab: 174644 kB SReclaimable: 90936 kB SUnreclaim: 83708 kB KernelStack: 4000 kB PageTables: 2592 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 326868 kB VmallocTotal: 34359738367 kB VmallocUsed: 150312 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433048 MiB End job on nodeC028 at 2025-06-30 12:39:23