Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | ? (TO) | 3602.09 | 3700.75 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
| MD5SUM | 890f6157e6331f3256b55d88c2fb39bb |
| 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 | 241 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| 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 | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494314 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494314 |
| 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 |
3.86/3.91 o 5364 24.91/25.05 o 5363 24.91/25.09 o 5352 25.01/25.13 o 5334 25.01/25.17 o 5298 25.10/25.26 o 5292 25.20/25.31 o 5255 25.20/25.36 o 5252 25.30/25.41 o 5249 25.30/25.46 o 5200 25.40/25.50 o 5168 25.40/25.55 o 5117 25.50/25.61 o 5077 25.60/25.70 o 5061 25.60/25.76 o 5058 25.69/25.80 o 5045 25.80/25.91 o 5025 25.80/25.97 o 5016 25.90/26.05 o 4938 26.00/26.18 o 4936 26.20/26.30 o 4931 26.30/26.46 o 4928 26.40/26.51 o 4915 26.40/26.55 o 4854 26.50/26.60 o 4844 27.59/27.70 o 4824 27.59/27.76 o 4823 27.69/27.80 o 4815 27.69/27.88 o 4810 27.79/27.92 o 4799 45.34/46.95 o 4779 67.42/69.60 o 4757 67.42/69.67 o 4687 67.72/69.93 o 4683 79.28/81.51 o 4668 80.08/82.36 o 4664 80.18/82.43 o 4660 82.17/84.41 o 4651 99.63/102.47 o 4634 126.74/129.62 o 4537 127.04/129.99 o 4501 127.34/130.28 o 4493 127.64/130.58 o 4463 127.94/130.89 o 4459 130.24/133.11 o 4443 133.33/136.25 o 4433 133.82/136.71 o 4425 134.92/137.82 o 4421 136.72/139.68 o 4420 254.32/269.96 o 4417 254.71/270.34 o 4396 256.01/271.66 o 4393 259.51/275.17 o 4374 262.89/278.55 o 4366 264.69/280.32 o 4365 264.79/280.46 o 4362 274.26/289.91 o 4359 274.37/290.05 o 4356 274.56/290.20 o 4354 278.23/295.96 o 4349 279.73/297.42 o 4341 279.83/297.56 o 4338 316.31/336.41 o 4305 317.11/337.24 o 4296 375.50/402.05 o 4292 431.13/467.93 o 4275 522.69/562.01 o 4272 522.69/562.03 o 4187 522.99/562.35 o 4177 523.09/562.41 o 4173 525.79/565.17 o 4171 525.88/565.23 o 4170 525.88/565.27 o 4165 525.88/565.29 o 4164 525.98/565.30 o 4152 525.98/565.35 o 4151 525.98/565.38 o 4146 526.58/566.00 o 4137 526.68/566.01 o 4134 526.68/566.02 o 4132 527.18/566.50 o 4116 527.38/566.76 o 4113 531.16/570.53 o 4112 531.16/570.54 o 4110 531.16/570.56 o 4109 531.16/570.57 o 4098 531.26/570.69 o 4097 531.67/571.06 o 4064 531.77/571.18 o 4060 532.56/571.94 o 4051 532.56/571.95 o 4048 532.56/571.98 o 4046 533.26/572.67 o 4045 537.25/576.61 o 3994 542.13/581.59 o 3991 550.41/596.38 o 3985 557.00/602.97 o 3972 589.47/636.14 o 3919 589.47/636.17 o 3862 589.56/636.20 o 3809 589.66/636.36 o 3805 589.66/636.38 o 3794 589.76/636.41 o 3787 591.85/638.59 o 3786 591.95/638.61 o 3783 591.95/638.63 o 3774 591.95/638.65 o 3767 592.36/639.06 o 3766 594.55/641.26 o 3758 598.44/645.17 o 3757 609.64/657.27 o 3705 609.64/657.29 o 3689 609.74/657.37 o 3681 609.84/657.46 o 3679 616.43/664.03 o 3676 713.85/763.49 o 3664 713.95/763.53 o 3648 714.05/763.65 o 3646 714.65/764.25 o 3645 714.75/764.31 o 3620 714.95/764.52 o 3615 715.35/764.99 o 3613 715.55/765.14 o 3604 715.74/765.37 o 3603 726.70/777.16 o 3601 1003.57/1058.74 o 3551 1003.57/1058.79 o 3533 1003.87/1059.05 o 3532 1004.06/1059.27 o 3531 1004.17/1059.30 o 3530 1004.17/1059.32 o 3527 1004.17/1059.36 o 3519 1004.47/1059.64 o 3518 1012.96/1068.11 o 3513 1013.05/1068.22 o 3507 1314.12/1373.60 o 3485 1314.12/1373.68 o 3464 1634.29/1703.80 o 3437 1634.29/1703.86 o 3424 1634.39/1703.91 o 3406 1634.60/1704.18 o 3403 1634.69/1704.20 o 3397 1634.69/1704.27 o 3379 1648.36/1717.92 o 3377 1648.36/1717.96 o 3369 1648.66/1718.30 o 3368 2013.03/2087.85 o 3365 2017.28/2092.19 o 3357 2017.38/2092.24 o 3354 2017.48/2092.33 o 3340 2799.17/2885.19 o 3317 2799.76/2885.73 o 3297 2853.70/2941.27 o 3292 2885.94/2974.45 o 3261 2886.04/2974.54 o 3260 2886.04/2974.57 o 3259 2886.04/2974.59 o 3258 2886.14/2974.61 o 3240 2887.73/2976.21 o 3239 2933.21/3022.19 o 3238 2995.75/3085.29 o 3237 2995.95/3085.48 o 3235 2996.65/3086.11 o 3212 2997.05/3086.56 o 3206 2997.05/3086.57 o 3200 2997.15/3086.69 o 3181 2997.84/3087.38 o 3165 2997.84/3087.39 o 3160 2998.94/3088.44 o 3159 3000.89/3091.14 o 3155 3017.64/3107.98 o 3154 3135.60/3226.62 o 3132 3412.04/3506.44 o 3113 3412.64/3507.05 o 3097
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: 63968 MiB (54486 MiB free)
memory of node 1: 64473 MiB (44744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441115-1721759600/watcher-4441115-1721759600 -o /tmp/evaluation-result-4441115-1721759600/solver-4441115-1721759600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721752193-114073 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441115-1721759600 --seed=1450638924 HOME/instance-4441115-1721759600.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=118194, runsolver pid=118191
Current StackSize limit: 8192 KiB
[startup+0.100906 s]*
/proc/loadavg: 4.15 4.14 4.11 5/261 118195
/proc/meminfo: memFree=101574372/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=66864 memory=40328 CPUtime=0.09 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 8774 0 0 0 8 1 0 0 20 0 1 0 12482971 68468736 10082 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 16716 10082 852 1006 0 15477 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66864 KiB
Current children cumulated memory: 40328 KiB
[startup+0.20589 s]*
/proc/loadavg: 4.15 4.14 4.11 5/261 118195
/proc/meminfo: memFree=101547496/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=95456 memory=66956 CPUtime=0.19 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 12884 0 0 0 17 2 0 0 20 0 1 0 12482971 97746944 16739 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 23864 16739 852 1006 0 22625 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 66956 KiB
[startup+0.30589 s]*
/proc/loadavg: 4.14 4.14 4.11 5/261 118195
/proc/meminfo: memFree=101510100/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=152904 memory=105872 CPUtime=0.29 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 20584 0 0 0 25 4 0 0 20 0 1 0 12482971 156573696 26468 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 38226 26468 852 1006 0 36987 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152904 KiB
Current children cumulated memory: 105872 KiB
[startup+0.700247 s]
/proc/loadavg: 4.14 4.14 4.11 5/261 118195
/proc/meminfo: memFree=101427144/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=267536 memory=206228 CPUtime=0.67 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 35513 0 0 0 59 8 0 0 20 0 1 0 12482971 273956864 51557 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 66884 51557 852 1006 0 65645 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 267536 KiB
Current children cumulated memory: 206228 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.14 4.11 5/261 118197
/proc/meminfo: memFree=101389296/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=187660 memory=160136 CPUtime=1.47 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 35780 0 0 0 137 10 0 0 20 0 1 0 12482971 192163840 40034 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 46915 40034 883 1006 0 45676 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187660 KiB
Current children cumulated memory: 160136 KiB
[startup+3.10593 s]
/proc/loadavg: 4.14 4.14 4.11 5/261 118197
/proc/meminfo: memFree=101147508/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=469200 memory=441996 CPUtime=3.07 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 48227 0 0 0 287 20 0 0 20 0 1 0 12482971 480460800 110499 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 117300 110499 1043 1006 0 116061 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 469200 KiB
Current children cumulated memory: 441996 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.13 4.11 5/262 118244
/proc/meminfo: memFree=110327688/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=546004 memory=504528 CPUtime=6.25 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 55739 0 0 0 600 25 0 0 20 0 1 0 12482971 559108096 126132 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 136501 126132 1155 1006 0 135262 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 546004 KiB
Current children cumulated memory: 504528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.11 5/256 118327
/proc/meminfo: memFree=125997360/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=593800 memory=573864 CPUtime=12.64 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 66391 0 0 0 1232 32 0 0 20 0 1 0 12482971 608051200 143466 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 148450 143466 1155 1006 0 147211 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 593800 KiB
Current children cumulated memory: 573864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.11 5/260 118400
/proc/meminfo: memFree=125554640/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=714848 memory=677708 CPUtime=25.4 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 80360 0 0 0 2500 40 0 0 20 0 1 0 12482971 732004352 169427 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 178712 169427 1155 1006 0 177473 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 714848 KiB
Current children cumulated memory: 677708 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.14 4.11 5/264 118534
/proc/meminfo: memFree=124118316/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=970136 memory=892828 CPUtime=49.52 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 101167 0 0 0 4879 73 0 0 20 0 1 0 12482971 993419264 223207 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 141 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 242534 223207 1155 1006 0 241295 0
Current children cumulated CPU time: 49.52 s
Current children cumulated vsize: 970136 KiB
Current children cumulated memory: 892828 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/267 118594
/proc/meminfo: memFree=122400676/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=1399144 memory=1250892 CPUtime=99.53 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 150499 0 0 0 9835 118 0 0 20 0 1 0 12482971 1432723456 312723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 247 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 349786 312723 1155 1006 0 348547 0
Current children cumulated CPU time: 99.53 s
Current children cumulated vsize: 1399144 KiB
Current children cumulated memory: 1250892 KiB
[startup+162.3 s]
/proc/loadavg: 4.41 4.23 4.15 6/264 118697
/proc/meminfo: memFree=121138920/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=1613820 memory=1553188 CPUtime=156.53 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 195276 0 0 0 15496 157 0 0 20 0 1 0 12482971 1652551680 388297 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 529 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 403455 388297 1155 1006 0 402216 0
Current children cumulated CPU time: 156.53 s
Current children cumulated vsize: 1613820 KiB
Current children cumulated memory: 1553188 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.20 4.14 5/264 118708
/proc/meminfo: memFree=119824412/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2345216 memory=1967168 CPUtime=207.53 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 262030 0 0 0 20561 192 0 0 20 0 1 0 12482971 2401501184 491792 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1418 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 586304 491792 1155 1006 0 585065 0
Current children cumulated CPU time: 207.53 s
Current children cumulated vsize: 2345216 KiB
Current children cumulated memory: 1967168 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.19 4.14 6/264 118718
/proc/meminfo: memFree=117499648/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2522156 memory=2211200 CPUtime=266.68 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 296185 0 0 0 26427 241 0 0 20 0 1 0 12482971 2582687744 552800 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1484 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 630539 552800 1155 1006 0 629300 0
Current children cumulated CPU time: 266.68 s
Current children cumulated vsize: 2522156 KiB
Current children cumulated memory: 2211200 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/263 118729
/proc/meminfo: memFree=115027168/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2522156 memory=2211612 CPUtime=322.19 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 296749 0 0 0 31916 303 0 0 20 0 1 0 12482971 2582687744 552903 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1916 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 630539 552903 1155 1006 0 629300 0
Current children cumulated CPU time: 322.19 s
Current children cumulated vsize: 2522156 KiB
Current children cumulated memory: 2211612 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/258 118739
/proc/meminfo: memFree=113301248/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2522544 memory=2213964 CPUtime=375.79 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 297501 0 0 0 37217 362 0 0 20 0 1 0 12482971 2583085056 553491 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2541 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 630636 553491 1155 1006 0 629397 0
Current children cumulated CPU time: 375.79 s
Current children cumulated vsize: 2522544 KiB
Current children cumulated memory: 2213964 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.14 4.12 5/260 118753
/proc/meminfo: memFree=111721228/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2522544 memory=2214464 CPUtime=425.54 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 298010 0 0 0 42147 407 0 0 20 0 1 0 12482971 2583085056 553616 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3553 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 630636 553616 1155 1006 0 629397 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/265 119896
/proc/meminfo: memFree=43791516/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2558684 memory=2413880 CPUtime=3012.05 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 340231 0 0 0 299594 1611 0 0 20 0 1 0 12482971 2620092416 603470 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8144 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 639671 603470 1155 1006 0 638432 0
Current children cumulated CPU time: 3012.05 s
Current children cumulated vsize: 2558684 KiB
Current children cumulated memory: 2413880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.16 4.16 8/267 120290
/proc/meminfo: memFree=42564572/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2558684 memory=2413880 CPUtime=3071.59 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 341266 0 0 0 305529 1630 0 0 20 0 1 0 12482971 2620092416 603470 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8177 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 639671 603470 1155 1006 0 638432 0
Current children cumulated CPU time: 3071.59 s
Current children cumulated vsize: 2558684 KiB
Current children cumulated memory: 2413880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.16 4/267 120302
/proc/meminfo: memFree=40534644/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2558684 memory=2413880 CPUtime=3131.31 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 342239 0 0 0 311462 1669 0 0 20 0 1 0 12482971 2620092416 603470 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8191 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 639671 603470 1155 1006 0 638432 0
Current children cumulated CPU time: 3131.31 s
Current children cumulated vsize: 2558684 KiB
Current children cumulated memory: 2413880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.16 8/267 120315
/proc/meminfo: memFree=39142268/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2558684 memory=2413880 CPUtime=3189.79 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 343227 0 0 0 317274 1705 0 0 20 0 1 0 12482971 2620092416 603470 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8328 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 639671 603470 1155 1006 0 638432 0
Current children cumulated CPU time: 3189.79 s
Current children cumulated vsize: 2558684 KiB
Current children cumulated memory: 2413880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/268 120495
/proc/meminfo: memFree=37780152/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2558684 memory=2413880 CPUtime=3248.68 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 344361 0 0 0 323129 1739 0 0 20 0 1 0 12482971 2620092416 603470 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8424 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 639671 603470 1155 1006 0 638432 0
Current children cumulated CPU time: 3248.68 s
Current children cumulated vsize: 2558684 KiB
Current children cumulated memory: 2413880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.16 6/267 120505
/proc/meminfo: memFree=36596332/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2418232 CPUtime=3308.47 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 346389 0 0 0 329074 1773 0 0 20 0 1 0 12482971 2627977216 604558 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8429 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 604558 1155 1006 0 640357 0
Current children cumulated CPU time: 3308.47 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2418232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/265 120571
/proc/meminfo: memFree=34792268/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2418232 CPUtime=3368.28 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 347267 0 0 0 335046 1782 0 0 20 0 1 0 12482971 2627977216 604558 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8434 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 604558 1155 1006 0 640357 0
Current children cumulated CPU time: 3368.28 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2418232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.40 4.23 4.18 5/264 120585
/proc/meminfo: memFree=33451832/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2418232 CPUtime=3427.5 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 348205 0 0 0 340952 1798 0 0 20 0 1 0 12482971 2627977216 604558 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8496 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 604558 1155 1006 0 640357 0
Current children cumulated CPU time: 3427.5 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2418232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.22 4.18 5/265 120597
/proc/meminfo: memFree=31864848/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2422892 CPUtime=3486.77 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 349178 0 0 0 346856 1821 0 0 20 0 1 0 12482971 2627977216 605723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8555 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 605723 1155 1006 0 640357 0
Current children cumulated CPU time: 3486.77 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2422892 KiB
[startup+3642.3 s]
/proc/loadavg: 4.21 4.21 4.18 8/264 120607
/proc/meminfo: memFree=31139652/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2422892 CPUtime=3546.55 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 350188 0 0 0 352825 1830 0 0 20 0 1 0 12482971 2627977216 605723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8564 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 605723 1155 1006 0 640357 0
Current children cumulated CPU time: 3546.55 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2422892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3698.2 s]
/proc/loadavg: 4.15 4.18 4.17 6/264 120617
/proc/meminfo: memFree=30219640/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2422892 CPUtime=3600.01 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 351099 0 0 0 358153 1848 0 0 20 0 1 0 12482971 2627977216 605723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8794 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 605723 1155 1006 0 640357 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2422892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3700.75 s]
# the end of solver process 118194 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3583.45 s, system=18.6399 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3699.2 s]
/proc/loadavg: 4.15 4.18 4.17 5/264 120617
/proc/meminfo: memFree=30107600/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2422892 CPUtime=3601.01 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 351099 0 0 0 358248 1853 0 0 20 0 1 0 12482971 2627977216 605723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8794 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 605723 1155 1006 0 640357 0
Current children cumulated CPU time: 3601.01 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2422892 KiB
[startup+3700 s]*
/proc/loadavg: 4.15 4.18 4.17 5/263 120632
/proc/meminfo: memFree=32574924/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2422892 CPUtime=3601.81 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 351099 0 0 0 358325 1856 0 0 20 0 1 0 12482971 2627977216 605723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8794 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 605723 1155 1006 0 640357 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2422892 KiB
[startup+3700.2 s]
/proc/loadavg: 4.15 4.18 4.17 5/263 120632
/proc/meminfo: memFree=32574924/131524600 swapFree=131071996/131071996
[pid=118194] ppid=118191 vsize=2566384 memory=2422892 CPUtime=3602.01 cores=4,6
/proc/118194/stat : 118194 (Exact_veripb2) R 118191 118194 114062 0 -1 4194304 351099 0 0 0 358344 1857 0 0 20 0 1 0 12482971 2627977216 605723 134679101440 4194304 8311665 140726217079568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8794 0 0 9173656 9252184 26124288 140726217081672 140726217081952 140726217081952 140726217088967 0
/proc/118194/statm: 641596 605723 1155 1006 0 640357 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 2566384 KiB
Current children cumulated memory: 2422892 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3700.75
CPU time (s): 3602.09
CPU user time (s): 3583.45
CPU system time (s): 18.6399
CPU usage (%): 97.334
Max. virtual memory (cumulated for all children) (KiB): 2566384
Max. memory (cumulated for all children) (KiB): 2422892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.45
system time used= 18.6399
maximum resident set size= 2422892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73064336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13427
involuntary context switches= 7248
# summary of solver processes directly reported to runsolver:
# pid: 118194
# total CPU time (s): 3602.09
# total CPU user time (s): 3583.45
# total CPU system time (s): 18.6399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46908 second user time and 17.2946 second system time
The end
Begin job on nodeC024 at 2024-07-23 20:33:20 IDJOB=4441115 IDBENCH=147563 IDSOLVER=3081 FILE ID=nodeC024/4441115-1721759600 RUNJOBID= nodeC024-1721752193-114073 SLURM_JOB_ID= 7770657 Free space on /tmp= 890048 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441115-1721759600/watcher-4441115-1721759600 -o /tmp/evaluation-result-4441115-1721759600/solver-4441115-1721759600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721752193-114073 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441115-1721759600 --seed=1450638924 HOME/instance-4441115-1721759600.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb RANDOM SEED=1450638924 nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3606.364 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3687.047 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3674.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.964 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3640.898 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3687.058 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3671.984 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3600.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 101612696 kB MemAvailable: 128490392 kB Buffers: 172876 kB Cached: 27463628 kB SwapCached: 0 kB Active: 1128184 kB Inactive: 28071796 kB Active(anon): 1560 kB Inactive(anon): 1599408 kB Active(file): 1126624 kB Inactive(file): 26472388 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 81884 kB Writeback: 0 kB AnonPages: 1562680 kB Mapped: 117560 kB Shmem: 37720 kB KReclaimable: 237012 kB Slab: 350820 kB SReclaimable: 237012 kB SUnreclaim: 113808 kB KernelStack: 4192 kB PageTables: 12180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2123736 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 kB HardwareCorrupted: 0 kB AnonHugePages: 1409024 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 336596 kB DirectMap2M: 38234112 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890028 MiB End job on nodeC024 at 2024-07-23 21:35:01