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.07 | 3612.31 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_5.opb |
| MD5SUM | be26e98499835c00c9c49f7164ad1e60 |
| 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 | 4232465 |
| Best CPU time to get the best result obtained on this benchmark | 1722.47 |
| 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 | 14620 |
| Total number of constraints | 21851 |
| Number of constraints which are clauses | 170 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21675 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3570 |
| Number of terms in the objective function | 14365 |
| Biggest coefficient in the objective function | 141420761 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 116572691025 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 141420761 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 116572691025 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.09/1.18 o 292985555 1.18/1.20 o 228646805 1.28/1.33 o 173474233 2.38/2.42 o 170204175 2.38/2.46 o 170141121 2.48/2.53 o 169942607 3.18/3.28 o 143325675 3.28/3.30 o 143206943 3.28/3.32 o 143188913 3.28/3.35 o 143133141 3.38/3.41 o 143074895 4.68/4.77 o 143063683 4.88/4.91 o 92371423 20.23/20.34 o 81620429 20.33/20.41 o 81282165 20.63/20.73 o 81260199 20.73/20.85 o 81205539 21.53/21.66 o 70932559 40.58/40.73 o 42341705 42.27/42.44 o 20891883 43.87/44.10 o 20659421 44.26/44.41 o 17526087 44.97/45.13 o 11336629 59.22/59.43 o 11332945 59.32/59.57 o 11327531 59.42/59.68 o 11319065 69.39/69.65 o 11096429 69.49/69.74 o 11092163 69.59/69.85 o 11085091 216.84/217.56 o 11050949 419.86/421.12 o 10663407 419.95/421.28 o 10608223 420.75/422.07 o 9300349 424.14/425.49 o 9291415 424.34/425.65 o 9280491 469.79/471.23 o 9161703 845.90/848.41 o 8992275 846.20/848.76 o 8985547 846.40/848.91 o 8711259 846.80/849.33 o 8690827 846.90/849.47 o 8613589 851.29/853.89 o 8611095 851.59/854.19 o 8579325 851.78/854.32 o 8579101 851.88/854.46 o 8579027 852.78/855.37 o 8568313 853.08/855.62 o 8559649 853.28/855.80 o 8558491 853.58/856.16 o 8545321 856.17/858.73 o 8544297 856.58/859.10 o 8535675 857.37/859.95 o 8522073 857.47/860.10 o 8499383 879.10/881.76 o 8483881 879.40/882.10 o 8481769 879.70/882.35 o 8478807 879.90/882.52 o 8473819 880.00/882.69 o 8473521 880.69/883.32 o 8467267 921.58/924.36 o 8138801 1133.44/1136.86 o 8044351 1133.54/1136.91 o 8027005 1133.65/1137.10 o 7940027 1133.75/1137.17 o 7934737 1133.84/1137.21 o 7929409 1134.14/1137.50 o 7923713 1134.14/1137.56 o 7921289 1134.24/1137.63 o 7920347 1134.34/1137.73 o 7904587 1140.52/1143.93 o 7892905 1140.63/1144.07 o 7891993 1140.73/1144.12 o 7877145 1191.65/1195.23 o 7875745 1196.64/1200.25 o 7870885 1197.33/1200.96 o 7866113 1204.32/1207.90 o 7859687 1205.52/1209.19 o 7850699 1675.05/1680.07 o 7835281 1675.15/1680.17 o 7832935 1675.25/1680.27 o 7789905 1675.35/1680.37 o 7777775 1675.55/1680.50 o 7706493 1675.65/1680.64 o 7701405 1675.75/1680.74 o 7698441 1675.85/1680.89 o 7696623 1675.95/1680.99 o 7691535 1676.34/1681.33 o 7666041 1676.44/1681.47 o 7663077 1676.94/1681.94 o 7641717 1677.44/1682.43 o 7565457 1677.84/1682.87 o 7563387 1679.73/1684.76 o 7534857 1680.43/1685.48 o 7474797 1680.83/1685.84 o 7457733 1681.83/1686.86 o 7448757 1682.03/1687.01 o 7420781 1682.43/1687.41 o 7410141 2492.81/2500.09 o 6892331 2492.91/2500.16 o 6879535 2493.10/2500.34 o 6597551 2493.30/2500.54 o 6400039 2493.50/2500.72 o 6380635 2493.70/2500.98 o 6380211 2494.00/2501.29 o 6377905 2494.20/2501.44 o 6375049 2494.90/2502.12 o 6374475 2496.30/2503.54 o 6373993 2496.80/2504.05 o 6373033 2496.91/2504.15 o 6371195 2496.91/2504.19 o 6368985 2497.00/2504.22 o 6368411 2499.40/2506.68 o 6366801 2499.50/2506.74 o 6365299 2499.70/2506.92 o 6364267 2499.70/2506.97 o 6362985 2499.80/2507.02 o 6360291 2499.99/2507.24 o 6352017 2501.69/2508.91 o 6349707 2501.69/2508.96 o 6348515 2501.79/2509.06 o 6347013 2501.89/2509.13 o 6342965 2503.09/2510.35 o 6342463 2503.68/2510.99 o 6342043 2503.79/2511.07 o 6341797 2503.89/2511.13 o 6337821 2504.28/2511.50 o 6335023 2504.38/2511.60 o 6333741 2504.98/2512.26 o 6332543 2505.08/2512.37 o 6331615 2505.18/2512.43 o 6331041 2506.98/2514.20 o 6329579 2507.08/2514.32 o 6329433 2507.18/2514.40 o 6328151 2507.18/2514.48 o 6327365 2507.37/2514.60 o 6325353 2507.47/2514.71 o 6325025 2507.47/2514.79 o 6319803 2507.57/2514.87 o 6318521 2508.27/2515.54 o 6316595 2510.07/2517.30 o 6313881 2512.56/2519.82 o 6313617 2513.16/2520.49 o 6312185 2518.75/2526.02 o 6312115 2518.85/2526.14 o 6311515 2519.24/2526.50 o 6301615 2519.44/2526.75 o 6300205 2527.42/2534.74 o 6299103 2528.02/2535.36 o 6299099 2528.22/2535.57 o 6298483 2528.42/2535.72 o 6297201 2529.72/2537.05 o 6295987 2530.11/2537.44 o 6294089 2532.60/2540.00 o 6292657 3138.41/3147.46 o 6285645 3138.71/3147.77 o 6277181 3138.81/3147.86 o 6274265 3138.91/3147.94 o 6266477 3139.02/3148.03 o 6262461 3139.12/3148.18 o 6261611 3139.21/3148.26 o 6259431 3139.41/3148.40 o 6255381
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 (60231 MiB free)
memory of node 1: 64465 MiB (61374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503900-1751435802/watcher-4503900-1751435802 -o /tmp/evaluation-result-4503900-1751435802/solver-4503900-1751435802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62071 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=43715115 --ls=0 --inp-dombreaklim=0 HOME/instance-4503900-1751435802.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62122, runsolver pid=62110
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.38 0.93 1.52 5/266 62127
/proc/meminfo: memFree=124370976/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=65420 memory=43692 CPUtime=0.09 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 10824 0 0 0 8 1 0 0 20 0 1 0 59254768 66990080 10923 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 16355 10923 1056 1200 0 14835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65420 KiB
Current children cumulated memory: 43692 KiB
[startup+0.205633 s]*
/proc/loadavg: 0.38 0.93 1.52 5/266 62127
/proc/meminfo: memFree=124355768/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=75004 memory=52140 CPUtime=0.2 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 13009 0 0 0 18 2 0 0 20 0 1 0 59254768 76804096 13035 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 18751 13035 1056 1200 0 17231 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75004 KiB
Current children cumulated memory: 52140 KiB
[startup+0.305507 s]*
/proc/loadavg: 0.38 0.93 1.52 5/266 62127
/proc/meminfo: memFree=124244632/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=105904 memory=82820 CPUtime=0.3 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 20064 0 0 0 27 3 0 0 20 0 1 0 59254768 108445696 20705 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 26476 20705 1216 1200 0 24956 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105904 KiB
Current children cumulated memory: 82820 KiB
[startup+0.700155 s]
/proc/loadavg: 0.38 0.93 1.52 5/266 62127
/proc/meminfo: memFree=124243876/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=108356 memory=84868 CPUtime=0.69 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 20591 0 0 0 66 3 0 0 20 0 1 0 59254768 110956544 21217 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 27089 21217 1216 1200 0 25569 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 84868 KiB
[startup+1.50017 s]
/proc/loadavg: 0.75 1.00 1.54 5/266 62127
/proc/meminfo: memFree=124242868/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=118476 memory=101940 CPUtime=1.49 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 23276 0 0 0 145 4 0 0 20 0 1 0 59254768 121319424 25485 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 29619 25485 1280 1200 0 28099 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118476 KiB
Current children cumulated memory: 101940 KiB
[startup+3.10539 s]
/proc/loadavg: 0.75 1.00 1.54 5/265 62127
/proc/meminfo: memFree=124108392/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=135512 memory=125108 CPUtime=3.08 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 27547 0 0 0 304 4 0 0 20 0 1 0 59254768 138764288 31277 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 33878 31277 1280 1200 0 32358 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 135512 KiB
Current children cumulated memory: 125108 KiB
[startup+6.30017 s]
/proc/loadavg: 1.01 1.05 1.55 5/265 62128
/proc/meminfo: memFree=123947096/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=199788 memory=168172 CPUtime=6.28 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 35856 0 0 0 621 7 0 0 20 0 1 0 59254768 204582912 42043 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 49947 42043 1280 1200 0 48427 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 199788 KiB
Current children cumulated memory: 168172 KiB
[startup+12.7002 s]
/proc/loadavg: 1.25 1.09 1.57 6/265 62128
/proc/meminfo: memFree=123496720/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=287736 memory=244776 CPUtime=12.65 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 47293 0 0 0 1254 11 0 0 20 0 1 0 59254768 294641664 61194 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 71934 61194 1280 1200 0 70414 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 287736 KiB
Current children cumulated memory: 244776 KiB
[startup+25.5002 s]
/proc/loadavg: 1.67 1.19 1.59 5/265 62128
/proc/meminfo: memFree=123271308/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=473000 memory=410728 CPUtime=25.42 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 73072 0 0 0 2523 19 0 0 20 0 1 0 59254768 484352000 102682 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 118250 102682 1280 1200 0 116730 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 473000 KiB
Current children cumulated memory: 410728 KiB
[startup+51.1055 s]
/proc/loadavg: 2.66 1.48 1.68 5/265 62128
/proc/meminfo: memFree=122939592/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=478912 memory=416360 CPUtime=50.95 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 74530 0 0 0 5074 21 0 0 20 0 1 0 59254768 490405888 104090 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 119728 104090 1280 1200 0 118208 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 478912 KiB
Current children cumulated memory: 416360 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.88 1.81 5/266 62131
/proc/meminfo: memFree=122096108/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=735072 memory=589112 CPUtime=102 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 103226 0 0 0 10163 37 0 0 20 0 1 0 59254768 752713728 147278 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 183768 147278 1280 1200 0 182248 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 735072 KiB
Current children cumulated memory: 589112 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.30 1.96 5/266 62133
/proc/meminfo: memFree=121850040/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=758700 memory=629420 CPUtime=161.8 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 111863 0 0 0 16141 39 0 0 20 0 1 0 59254768 776908800 157355 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 189675 157355 1280 1200 0 188155 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 758700 KiB
Current children cumulated memory: 629420 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.63 2.09 8/266 62136
/proc/meminfo: memFree=121798296/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=773924 memory=656328 CPUtime=221.63 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 115567 0 0 0 22118 45 0 0 20 0 1 0 59254768 792498176 164082 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 193481 164082 1280 1200 0 191961 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 773924 KiB
Current children cumulated memory: 656328 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.90 2.22 5/265 62149
/proc/meminfo: memFree=121723720/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=789360 memory=668872 CPUtime=281.45 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 118802 0 0 0 28098 47 0 0 20 0 1 0 59254768 808304640 167218 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 197340 167218 1280 1200 0 195820 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 789360 KiB
Current children cumulated memory: 668872 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.12 2.34 5/264 62153
/proc/meminfo: memFree=121615816/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=801816 memory=680264 CPUtime=341.28 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 121741 0 0 0 34074 54 0 0 20 0 1 0 59254768 821059584 170066 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 200454 170066 1280 1200 0 198934 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 801816 KiB
Current children cumulated memory: 680264 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.29 2.45 5/265 62161
/proc/meminfo: memFree=121584712/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=813508 memory=689480 CPUtime=401.1 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 124080 0 0 0 40055 55 0 0 20 0 1 0 59254768 833032192 172370 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 203377 172370 1280 1200 0 201857 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 813508 KiB
Current children cumulated memory: 689480 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.44 2.56 5/265 62163
/proc/meminfo: memFree=121535804/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=831812 memory=703304 CPUtime=460.92 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 127568 0 0 0 46035 57 0 0 20 0 1 0 59254768 851775488 175826 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 207953 175826 1280 1200 0 206433 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/264 62292
/proc/meminfo: memFree=120578092/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1079120 memory=1002432 CPUtime=3093.44 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 183575 0 0 0 309145 199 0 0 20 0 1 0 59254768 1105018880 250608 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 269780 250608 1280 1200 0 268260 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 1079120 KiB
Current children cumulated memory: 1002432 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.13 4.04 5/264 62295
/proc/meminfo: memFree=120578404/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1079120 memory=1002432 CPUtime=3153.27 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 183700 0 0 0 315128 199 0 0 20 0 1 0 59254768 1105018880 250608 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 269780 250608 1280 1200 0 268260 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 1079120 KiB
Current children cumulated memory: 1002432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/264 62297
/proc/meminfo: memFree=120569388/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1079892 memory=1003072 CPUtime=3213.11 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 184347 0 0 0 321110 201 0 0 20 0 1 0 59254768 1105809408 250768 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 269973 250768 1280 1200 0 268453 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 1079892 KiB
Current children cumulated memory: 1003072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/264 62299
/proc/meminfo: memFree=120561308/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1080388 memory=1003712 CPUtime=3272.96 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 184817 0 0 0 327088 208 0 0 20 0 1 0 59254768 1106317312 250928 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 270097 250928 1280 1200 0 268577 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 1080388 KiB
Current children cumulated memory: 1003712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/265 62305
/proc/meminfo: memFree=120569712/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1080768 memory=1004096 CPUtime=3332.8 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 185052 0 0 0 333063 217 0 0 20 0 1 0 59254768 1106706432 251024 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 270192 251024 1280 1200 0 268672 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 1080768 KiB
Current children cumulated memory: 1004096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/265 62311
/proc/meminfo: memFree=120577096/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1080768 memory=1004096 CPUtime=3392.64 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 185358 0 0 0 339047 217 0 0 20 0 1 0 59254768 1106706432 251024 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 270192 251024 1280 1200 0 268672 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 1080768 KiB
Current children cumulated memory: 1004096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/265 62313
/proc/meminfo: memFree=120531400/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1080768 memory=1004096 CPUtime=3452.47 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 185690 0 0 0 345030 217 0 0 20 0 1 0 59254768 1106706432 251024 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 270192 251024 1280 1200 0 268672 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 1080768 KiB
Current children cumulated memory: 1004096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.04 6/265 62316
/proc/meminfo: memFree=120510736/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1080768 memory=1004096 CPUtime=3512.31 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 185858 0 0 0 351013 218 0 0 20 0 1 0 59254768 1106706432 251024 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 270192 251024 1280 1200 0 268672 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 1080768 KiB
Current children cumulated memory: 1004096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/265 62318
/proc/meminfo: memFree=120451380/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1095844 memory=1039164 CPUtime=3572.14 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 189336 0 0 0 356990 224 0 0 20 0 1 0 59254768 1122144256 259791 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 273961 259791 1280 1200 0 272441 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 1095844 KiB
Current children cumulated memory: 1039164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.04 4/261 62327
/proc/meminfo: memFree=121478364/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1099644 memory=1068324 CPUtime=3600.06 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 189997 0 0 0 359779 227 0 0 20 0 1 0 59254768 1126035456 267081 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 274911 267081 1280 1200 0 273391 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1099644 KiB
Current children cumulated memory: 1068324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.31 s]
# the end of solver process 62122 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.78 s, system=2.29574 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.08 4.09 4.04 5/261 62356
/proc/meminfo: memFree=121466696/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1099644 memory=1068324 CPUtime=3600.96 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 190005 0 0 0 359868 228 0 0 20 0 1 0 59254768 1126035456 267081 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 274911 267081 1280 1200 0 273391 0
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 1099644 KiB
Current children cumulated memory: 1068324 KiB
[startup+3612 s]*
/proc/loadavg: 4.00 4.07 4.04 5/265 62409
/proc/meminfo: memFree=122244852/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1099832 memory=1068836 CPUtime=3601.76 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 190130 0 0 0 359948 228 0 0 20 0 1 0 59254768 1126227968 267209 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 274958 267209 1280 1200 0 273438 0
Current children cumulated CPU time: 3601.76 s
Current children cumulated vsize: 1099832 KiB
Current children cumulated memory: 1068836 KiB
[startup+3612.2 s]
/proc/loadavg: 4.00 4.07 4.04 5/265 62409
/proc/meminfo: memFree=122244852/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1099832 memory=1068836 CPUtime=3601.95 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 190130 0 0 0 359967 228 0 0 20 0 1 0 59254768 1126227968 267209 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 274958 267209 1280 1200 0 273438 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 1099832 KiB
Current children cumulated memory: 1068836 KiB
[startup+3612.3 s]
/proc/loadavg: 4.00 4.07 4.04 5/265 62409
/proc/meminfo: memFree=122244852/131249992 swapFree=33010160/33010684
[pid=62122] ppid=62110 vsize=1100264 memory=1069092 CPUtime=3602.05 cores=5,7
/proc/62122/stat : 62122 (Exact) R 62110 62122 62031 0 -1 4194304 190201 0 0 0 359977 228 0 0 20 0 1 0 59254768 1126670336 267273 18446744073709551615 4198400 9112445 140721605172032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36384768 140721605179690 140721605179885 140721605179885 140721605185487 0
/proc/62122/statm: 275066 267273 1280 1200 0 273546 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1100264 KiB
Current children cumulated memory: 1069092 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.31
CPU time (s): 3602.07
CPU user time (s): 3599.78
CPU system time (s): 2.29574
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 1100264
Max. memory (cumulated for all children) (KiB): 1069092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 2.29574
maximum resident set size= 1069092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190201
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= 99
involuntary context switches= 20170
# summary of solver processes directly reported to runsolver:
# pid: 62122
# total CPU time (s): 3602.07
# total CPU user time (s): 3599.78
# total CPU system time (s): 2.29574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65326 second user time and 16.9565 second system time
The end
Begin job on nodeC035 at 2025-07-02 07:56:42 IDJOB=4503900 IDBENCH=155611 IDSOLVER=3318 FILE ID=nodeC035/4503900-1751435802 RUNJOBID= nodeC035-1751435802-62071 SLURM_JOB_ID= 9598391 Free space on /tmp= 432816 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_5.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-4503900-1751435802/watcher-4503900-1751435802 -o /tmp/evaluation-result-4503900-1751435802/solver-4503900-1751435802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62071 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=43715115 --ls=0 --inp-dombreaklim=0 HOME/instance-4503900-1751435802.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= be26e98499835c00c9c49f7164ad1e60 RANDOM SEED=43715115 nodeC035 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 : 3600.184 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.734 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.678 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3464.558 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.861 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3597.716 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3626.424 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.775 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 124537240 kB MemAvailable: 129710876 kB Buffers: 1840 kB Cached: 5925196 kB SwapCached: 8 kB Active: 359024 kB Inactive: 5633300 kB Active(anon): 71748 kB Inactive(anon): 11588 kB Active(file): 287276 kB Inactive(file): 5621712 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33048 kB Writeback: 0 kB AnonPages: 68628 kB Mapped: 104068 kB Shmem: 18048 kB KReclaimable: 207772 kB Slab: 297368 kB SReclaimable: 207772 kB SUnreclaim: 89596 kB KernelStack: 4068 kB PageTables: 2528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330188 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432784 MiB End job on nodeC035 at 2025-07-02 08:56:55