Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.08 | 3611.91 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb |
| MD5SUM | f134d089c54411466f2bcbd6371e604a |
| 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 | 3892789 |
| Best CPU time to get the best result obtained on this benchmark | 737.579 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 171879616 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 85431562646 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 171879616 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 85431562646 |
| 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 |
0.69/0.76 o 105906579 0.69/0.79 o 43723739 1.28/1.30 o 34074947 1.28/1.31 o 30208427 1.28/1.32 o 30173395 1.28/1.32 o 30079051 1.28/1.38 o 29999449 1.39/1.42 o 29994437 1.49/1.50 o 29959811 1.49/1.58 o 29947417 1.59/1.69 o 29858929 1.69/1.70 o 29842623 3.28/3.38 o 20514635 3.68/3.76 o 17975527 3.68/3.78 o 13334567 4.87/4.96 o 10423719 4.87/4.99 o 10409535 5.18/5.23 o 10401767 5.18/5.26 o 10397127 5.28/5.38 o 10370135 7.27/7.39 o 10359327 7.37/7.43 o 10358477 7.37/7.49 o 10342183 7.67/7.74 o 10283185 7.67/7.76 o 10280721 7.67/7.77 o 10252417 7.77/7.85 o 8845967 7.77/7.87 o 7742415 7.87/7.92 o 7737957 7.87/7.99 o 7715669 8.17/8.20 o 7704581 8.27/8.32 o 7701221 8.27/8.34 o 7678829 8.37/8.44 o 7668453 8.67/8.79 o 7667493 9.17/9.24 o 7652723 21.13/21.28 o 7650141 22.23/22.39 o 7638525 28.12/28.29 o 7620503 29.81/29.95 o 7618641 30.21/30.35 o 7616641 30.31/30.41 o 7615299 31.30/31.48 o 7594871 31.40/31.57 o 7586671 31.80/31.94 o 7579733 31.91/32.02 o 7578415 32.01/32.13 o 7575813 60.23/60.46 o 7562085 66.83/67.11 o 7433011 69.00/69.27 o 7032017 102.02/102.34 o 6977197 102.02/102.37 o 6957781 102.12/102.40 o 6910025 102.12/102.42 o 6893565 102.12/102.45 o 6892991 102.12/102.48 o 6883073 102.22/102.51 o 6871951 102.22/102.54 o 6865671 102.32/102.68 o 6840681 102.83/103.13 o 6835273 102.83/103.18 o 6808297 102.92/103.30 o 6790851 103.02/103.33 o 6785443 103.62/103.90 o 6758901 105.31/105.64 o 6758541 105.91/106.20 o 6751933 106.11/106.47 o 6751915 106.72/107.01 o 6748365 106.72/107.05 o 6740595 107.82/108.13 o 6736881 107.82/108.17 o 6713649 109.10/109.42 o 6709135 109.10/109.49 o 6695265 109.20/109.53 o 6689857 109.20/109.56 o 6672051 110.40/110.71 o 6660531 110.60/110.90 o 6622377 110.60/110.96 o 6622359 110.71/111.06 o 6603919 110.99/111.35 o 6599025 114.58/115.00 o 6593463 117.18/117.56 o 6540361 117.28/117.68 o 6539983 117.38/117.80 o 6529049 117.79/118.13 o 6523641 118.08/118.41 o 6506195 118.38/118.73 o 6505835 119.97/120.34 o 6500417 120.07/120.49 o 6491783 120.27/120.60 o 6475157 121.07/121.42 o 6442319 121.47/121.87 o 6428029 122.37/122.74 o 6408469 127.66/128.05 o 6260555 127.76/128.11 o 6226443 128.45/128.84 o 6226157 128.76/129.18 o 6223331 128.95/129.30 o 6223289 129.05/129.46 o 6196545 129.45/129.81 o 6166811 130.04/130.44 o 6150737 130.14/130.56 o 6145109 130.94/131.39 o 6138857 131.14/131.54 o 6126773 131.94/132.36 o 6108747 132.04/132.43 o 6099551 134.43/134.89 o 6085157 163.95/164.42 o 6066005 163.95/164.45 o 6030041 164.15/164.67 o 6023097 164.95/165.43 o 6022821 170.04/170.55 o 6013179 172.33/172.83 o 6009915 172.43/172.94 o 6009639 173.33/173.87 o 6000519 173.64/174.18 o 5968735 173.73/174.24 o 5962759 174.23/174.76 o 5958881 174.33/174.85 o 5958143 174.43/174.96 o 5953621 174.72/175.25 o 5951359 176.32/176.89 o 5947969 176.42/176.96 o 5943743 178.81/179.37 o 5935325 179.01/179.59 o 5929413 179.31/179.82 o 5926357 179.41/179.92 o 5925925 179.62/180.18 o 5908479 179.71/180.26 o 5905333 180.41/180.92 o 5904805 193.18/193.76 o 5902093 197.67/198.22 o 5897587 201.26/201.85 o 5688619 201.36/201.92 o 5680411 201.36/201.98 o 5674261 201.48/202.05 o 5665979 201.58/202.14 o 5661001 201.76/202.33 o 5660689 201.86/202.44 o 5653695 201.96/202.55 o 5652221 202.06/202.67 o 5648777 202.16/202.75 o 5624509 202.36/203.00 o 5611577 202.57/203.12 o 5606161 202.57/203.19 o 5575843 202.86/203.41 o 5559549 204.06/204.61 o 5557215 205.85/206.42 o 5541257 220.31/220.93 o 5529637 220.31/220.96 o 5518235 220.61/221.26 o 5515529 220.61/221.29 o 5509691 222.00/222.64 o 5498617 222.00/222.68 o 5493201 222.30/222.94 o 5490867 222.80/223.48 o 5488663 223.51/224.11 o 5488103 223.80/224.41 o 5484957 223.90/224.51 o 5468825 225.80/226.44 o 5465605 226.30/226.93 o 5458619 226.41/227.02 o 5451581 226.70/227.36 o 5446589 226.90/227.52 o 5441173 227.30/227.97 o 5440971 230.19/230.85 o 5439209 230.29/230.91 o 5435691 230.88/231.57 o 5426771 230.98/231.61 o 5426569 231.28/232.01 o 5414089 231.49/232.12 o 5413593 237.76/238.49 o 5407705 276.27/277.07 o 5406089 276.27/277.09 o 5403831 276.96/277.70 o 5388439 278.05/278.81 o 5385841 278.37/279.12 o 5381891 282.94/283.77 o 5381427 283.64/284.46 o 5378313 283.74/284.52 o 5369193 287.03/287.80 o 5366883 287.03/287.87 o 5350915 287.13/287.91 o 5341077 287.43/288.21 o 5340051 291.53/292.34 o 5334331 291.63/292.46 o 5312157 293.92/294.70 o 5307821 293.92/294.76 o 5304597 296.91/297.77 o 5301885 298.22/299.01 o 5299453 298.22/299.11 o 5296517 298.50/299.31 o 5289297 300.59/301.50 o 5271171 302.10/302.91 o 5221855 302.10/302.97 o 5218631 303.59/304.47 o 5215367 304.20/305.04 o 5206899 305.99/306.89 o 5206373 308.77/309.66 o 5201211 309.77/310.62 o 5195235 310.96/311.82 o 5188965 435.84/437.09 o 4697171 449.00/450.29 o 4675043 449.10/450.31 o 4618319 449.10/450.35 o 4610083 449.20/450.42 o 4593935 449.30/450.50 o 4565863 449.50/450.74 o 4560711 449.50/450.75 o 4549351 449.50/450.76 o 4545287 449.50/450.77 o 4542591 449.70/450.92 o 4525347 450.30/451.50 o 4491103 450.30/451.51 o 4489303 450.30/451.54 o 4482543 450.30/451.56 o 4480401 450.50/451.77 o 4475727 450.50/451.79 o 4473953 450.60/451.85 o 4471943 450.60/451.87 o 4464065 450.70/451.91 o 4460001 451.50/452.75 o 4459967 451.50/452.78 o 4451507 453.90/455.15 o 4447931 453.90/455.18 o 4440053 453.99/455.26 o 4439979 454.39/455.64 o 4411607 454.39/455.69 o 4411473 454.49/455.75 o 4409595 454.49/455.78 o 4404921 459.07/460.38 o 4367711 498.44/499.89 o 4316837 498.54/499.99 o 4303477 498.75/500.12 o 4301189 499.04/500.50 o 4293941 499.14/500.52 o 4292533 499.23/500.66 o 4291023 499.53/500.99 o 4274437 499.65/501.08 o 4266559 499.93/501.31 o 4266183 500.13/501.57 o 4260079 501.53/502.90 o 4258129 501.83/503.27 o 4255081 503.12/504.51 o 4240065 503.12/504.56 o 4233053 503.22/504.63 o 4232723 503.22/504.69 o 4228049 503.33/504.74 o 4226275 504.02/505.47 o 4221411 504.42/505.82 o 4219453 505.52/506.93 o 4213619 505.52/506.98 o 4196261 505.63/507.09 o 4190157 506.73/508.15 o 4187515 506.81/508.23 o 4186043 506.91/508.31 o 4184067 507.21/508.65 o 4182977 507.41/508.89 o 4171023 507.81/509.24 o 4167681 507.91/509.30 o 4166209 507.91/509.39 o 4164233 509.10/510.57 o 4163999 509.80/511.25 o 4141335 509.90/511.31 o 4132515 510.30/511.77 o 4127511 510.71/512.13 o 4119633 511.39/512.83 o 4119559 511.60/513.06 o 4119525 511.70/513.12 o 4117751 511.70/513.18 o 4117383 511.79/513.26 o 4111647 514.38/515.80 o 4107741 514.38/515.86 o 4104259 514.48/515.93 o 4103751 514.59/516.01 o 4097331 514.78/516.20 o 4090553 514.78/516.28 o 4090185 515.08/516.51 o 4090111 515.69/517.12 o 4085247 515.98/517.44 o 4083289 516.59/518.06 o 4081153 516.69/518.13 o 4079379 517.77/519.29 o 4070379 518.07/519.56 o 4068403 518.76/520.23 o 4067313 521.05/522.50 o 4060769 521.05/522.57 o 4054335 521.15/522.65 o 4048065 521.25/522.73 o 4044001 521.35/522.88 o 4037179 521.75/523.21 o 4017209 524.66/526.19 o 4009599 524.75/526.26 o 4009231 524.85/526.35 o 4007457 525.44/527.00 o 4006911 525.56/527.11 o 4003615 525.65/527.19 o 4001841 529.23/530.79 o 3991081 632.37/634.22 o 3975443 632.57/634.40 o 3942977 692.47/694.57 o 3927883 724.55/726.72 o 3927305 724.55/726.76 o 3909131 724.65/726.82 o 3902425 729.94/732.14 o 3896227 743.58/745.89 o 3896033 1199.14/1202.95 o 3892789
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: 64096 MiB (62046 MiB free)
memory of node 1: 64473 MiB (63417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433270-1721134790/watcher-4433270-1721134790 -o /tmp/evaluation-result-4433270-1721134790/solver-4433270-1721134790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849823 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=10526913 HOME/instance-4433270-1721134790.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=851863, runsolver pid=851860
[startup+0.100101 s]*
/proc/loadavg: 4.90 4.40 4.21 5/243 851864
/proc/meminfo: memFree=128446568/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=55692 memory=36836 CPUtime=0.1 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 9111 0 0 0 9 1 0 0 20 0 1 0 165634863 57028608 9209 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 13923 9209 1060 1005 0 12686 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55692 KiB
Current children cumulated memory: 36836 KiB
[startup+0.212947 s]*
/proc/loadavg: 4.90 4.40 4.21 5/243 851864
/proc/meminfo: memFree=128426456/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=68256 memory=47980 CPUtime=0.22 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 12189 0 0 0 20 2 0 0 20 0 1 0 165634863 69894144 11995 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 17064 11995 1076 1005 0 15827 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 68256 KiB
Current children cumulated memory: 47980 KiB
[startup+0.312698 s]*
/proc/loadavg: 4.90 4.40 4.21 5/243 851864
/proc/meminfo: memFree=128421276/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=69548 memory=49564 CPUtime=0.32 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 12566 0 0 0 30 2 0 0 20 0 1 0 165634863 71217152 12391 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 17387 12391 1076 1005 0 16150 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 69548 KiB
Current children cumulated memory: 49564 KiB
[startup+0.700308 s]
/proc/loadavg: 4.90 4.40 4.21 5/243 851864
/proc/meminfo: memFree=128419792/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=70380 memory=50344 CPUtime=0.69 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 12756 0 0 0 67 2 0 0 20 0 1 0 165634863 72069120 12586 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 17595 12586 1076 1005 0 16358 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70380 KiB
Current children cumulated memory: 50344 KiB
[startup+1.50032 s]
/proc/loadavg: 4.90 4.40 4.21 5/243 851864
/proc/meminfo: memFree=128414440/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=75328 memory=62200 CPUtime=1.49 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 14133 0 0 0 146 3 0 0 20 0 1 0 165634863 77135872 15550 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 18832 15550 1124 1005 0 17595 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75328 KiB
Current children cumulated memory: 62200 KiB
[startup+3.11244 s]
/proc/loadavg: 4.83 4.40 4.21 5/245 851896
/proc/meminfo: memFree=128319996/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=102036 memory=88028 CPUtime=3.09 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 18305 0 0 0 305 4 0 0 20 0 1 0 165634863 104484864 22007 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 25509 22007 1124 1005 0 24272 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102036 KiB
Current children cumulated memory: 88028 KiB
[startup+6.30031 s]
/proc/loadavg: 4.83 4.40 4.21 5/245 851896
/proc/meminfo: memFree=128236320/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=136468 memory=121688 CPUtime=6.27 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 21480 0 0 0 621 6 0 0 20 0 1 0 165634863 139743232 30422 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 34117 30422 1124 1005 0 32880 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136468 KiB
Current children cumulated memory: 121688 KiB
[startup+12.7003 s]
/proc/loadavg: 4.76 4.39 4.20 5/247 851901
/proc/meminfo: memFree=128105816/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=200056 memory=161608 CPUtime=12.65 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 27354 0 0 0 1256 9 0 0 20 0 1 0 165634863 204857344 40402 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 50014 40402 1140 1005 0 48777 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 200056 KiB
Current children cumulated memory: 161608 KiB
[startup+25.5003 s]
/proc/loadavg: 4.67 4.39 4.21 5/245 851903
/proc/meminfo: memFree=127808472/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=319240 memory=239772 CPUtime=25.42 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 38452 0 0 0 2527 15 0 0 20 0 1 0 165634863 326901760 59943 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 79810 59943 1140 1005 0 78573 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 319240 KiB
Current children cumulated memory: 239772 KiB
[startup+51.113 s]
/proc/loadavg: 4.44 4.35 4.20 5/245 851907
/proc/meminfo: memFree=127523556/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=337844 memory=296688 CPUtime=50.96 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 43621 0 0 0 5077 19 0 0 20 0 1 0 165634863 345952256 74172 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 84461 74172 1140 1005 0 83224 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 337844 KiB
Current children cumulated memory: 296688 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.33 4.20 5/245 851927
/proc/meminfo: memFree=127005776/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=561256 memory=453976 CPUtime=102.02 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 64354 0 0 0 10167 35 0 0 20 0 1 0 165634863 574726144 113494 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 140314 113494 1140 1005 0 139077 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 561256 KiB
Current children cumulated memory: 453976 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.30 4.19 5/245 851938
/proc/meminfo: memFree=126990328/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=564076 memory=456376 CPUtime=161.86 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 65011 0 0 0 16145 41 0 0 20 0 1 0 165634863 577613824 114094 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 141019 114094 1140 1005 0 139782 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 564076 KiB
Current children cumulated memory: 456376 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.25 4.18 5/243 851948
/proc/meminfo: memFree=126949016/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=569136 memory=460324 CPUtime=221.7 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 66065 0 0 0 22124 46 0 0 20 0 1 0 165634863 582795264 115081 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 142284 115081 1140 1005 0 141047 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 569136 KiB
Current children cumulated memory: 460324 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/244 851959
/proc/meminfo: memFree=126938328/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=570972 memory=462164 CPUtime=281.55 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 66578 0 0 0 28102 53 0 0 20 0 1 0 165634863 584675328 115541 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 142743 115541 1140 1005 0 141506 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 570972 KiB
Current children cumulated memory: 462164 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.21 4.17 5/242 851971
/proc/meminfo: memFree=126881064/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=577320 memory=468632 CPUtime=341.4 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 68296 0 0 0 34079 61 0 0 20 0 1 0 165634863 591175680 117158 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 144330 117158 1140 1005 0 143093 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 577320 KiB
Current children cumulated memory: 468632 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/242 851981
/proc/meminfo: memFree=126844940/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=583476 memory=473652 CPUtime=401.23 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 69626 0 0 0 40054 69 0 0 20 0 1 0 165634863 597479424 118413 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 145869 118413 1140 1005 0 144632 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 583476 KiB
Current children cumulated memory: 473652 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/242 851991
/proc/meminfo: memFree=126754564/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=591928 memory=479892 CPUtime=461.07 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 71175 0 0 0 46034 73 0 0 20 0 1 0 165634863 606134272 119973 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 147982 119973 1140 1005 0 146745 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.16 4.23 4.20 5/243 853176
/proc/meminfo: memFree=124534980/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646208 CPUtime=3093.74 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 109877 0 0 0 309014 360 0 0 20 0 1 0 165634863 740020224 161552 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161552 1198 1005 0 179432 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.20 4.19 5/243 853187
/proc/meminfo: memFree=124530620/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646240 CPUtime=3153.59 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 110119 0 0 0 314991 368 0 0 20 0 1 0 165634863 740020224 161560 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161560 1198 1005 0 179432 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646240 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/243 853197
/proc/meminfo: memFree=124527372/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646240 CPUtime=3213.44 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 110333 0 0 0 320970 374 0 0 20 0 1 0 165634863 740020224 161560 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161560 1198 1005 0 179432 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/243 853207
/proc/meminfo: memFree=124520732/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646240 CPUtime=3273.29 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 110578 0 0 0 326947 382 0 0 20 0 1 0 165634863 740020224 161560 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161560 1198 1005 0 179432 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/243 853602
/proc/meminfo: memFree=124508088/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646260 CPUtime=3333.14 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 110816 0 0 0 332928 386 0 0 20 0 1 0 165634863 740020224 161565 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161565 1198 1005 0 179432 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/243 853613
/proc/meminfo: memFree=124501732/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646260 CPUtime=3392.99 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111053 0 0 0 338906 393 0 0 20 0 1 0 165634863 740020224 161565 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161565 1198 1005 0 179432 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 853623
/proc/meminfo: memFree=124499196/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646264 CPUtime=3452.84 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111304 0 0 0 344886 398 0 0 20 0 1 0 165634863 740020224 161566 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161566 1198 1005 0 179432 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/245 853803
/proc/meminfo: memFree=124496960/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646364 CPUtime=3512.7 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111569 0 0 0 350866 404 0 0 20 0 1 0 165634863 740020224 161591 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161591 1198 1005 0 179432 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/245 853814
/proc/meminfo: memFree=124492536/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646456 CPUtime=3572.54 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111803 0 0 0 356839 415 0 0 20 0 1 0 165634863 740020224 161614 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161614 1198 1005 0 179432 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 853869
/proc/meminfo: memFree=125484848/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646456 CPUtime=3600.08 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111821 0 0 0 359592 416 0 0 20 0 1 0 165634863 740020224 161614 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161614 1198 1005 0 179432 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.91 s]
# the end of solver process 851863 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.9 s, system=4.18374 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 853915
/proc/meminfo: memFree=126588444/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646456 CPUtime=3601.37 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111821 0 0 0 359720 417 0 0 20 0 1 0 165634863 740020224 161614 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161614 1198 1005 0 179432 0
Current children cumulated CPU time: 3601.37 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646456 KiB
[startup+3611.6 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 853915
/proc/meminfo: memFree=126588444/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646456 CPUtime=3601.76 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111821 0 0 0 359759 417 0 0 20 0 1 0 165634863 740020224 161614 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161614 1198 1005 0 179432 0
Current children cumulated CPU time: 3601.76 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646456 KiB
[startup+3611.8 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 853915
/proc/meminfo: memFree=126588444/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646456 CPUtime=3601.96 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111821 0 0 0 359779 417 0 0 20 0 1 0 165634863 740020224 161614 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161614 1198 1005 0 179432 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646456 KiB
[startup+3611.9 s]
/proc/loadavg: 4.11 4.12 4.15 5/246 853915
/proc/meminfo: memFree=126588444/131655788 swapFree=131071996/131071996
[pid=851863] ppid=851860 vsize=722676 memory=646456 CPUtime=3602.06 cores=1,3
/proc/851863/stat : 851863 (Exact) R 851860 851863 849811 0 -1 4194304 111821 0 0 0 359789 417 0 0 20 0 1 0 165634863 740020224 161614 134679101440 4194304 8309489 140729880014976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 16674816 140729880024000 140729880024168 140729880024168 140729880031183 0
/proc/851863/statm: 180669 161614 1198 1005 0 179432 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 722676 KiB
Current children cumulated memory: 646456 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.91
CPU time (s): 3602.08
CPU user time (s): 3597.9
CPU system time (s): 4.18374
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 722676
Max. memory (cumulated for all children) (KiB): 646456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 4.18374
maximum resident set size= 646456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111821
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= 76
involuntary context switches= 2513
# summary of solver processes directly reported to runsolver:
# pid: 851863
# total CPU time (s): 3602.08
# total CPU user time (s): 3597.9
# total CPU system time (s): 4.18374
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1944 second user time and 34.9833 second system time
The end
Begin job on nodeC004 at 2024-07-16 15:00:03 IDJOB=4433270 IDBENCH=155609 IDSOLVER=3060 FILE ID=nodeC004/4433270-1721134790 RUNJOBID= nodeC004-1721131190-849823 SLURM_JOB_ID= 7505699 Free space on /tmp= 723716 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433270-1721134790/watcher-4433270-1721134790 -o /tmp/evaluation-result-4433270-1721134790/solver-4433270-1721134790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849823 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=10526913 HOME/instance-4433270-1721134790.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a RANDOM SEED=10526913 nodeC004.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 : 0xb00001f cpu MHz : 3662.600 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3622.331 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.479 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.309 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3670.523 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3654.488 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.642 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.451 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128474976 kB MemAvailable: 129223280 kB Buffers: 423284 kB Cached: 1162268 kB SwapCached: 0 kB Active: 810140 kB Inactive: 1833408 kB Active(anon): 3368 kB Inactive(anon): 1092040 kB Active(file): 806772 kB Inactive(file): 741368 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14140 kB Writeback: 0 kB AnonPages: 1057448 kB Mapped: 113932 kB Shmem: 37700 kB KReclaimable: 80724 kB Slab: 176324 kB SReclaimable: 80724 kB SUnreclaim: 95600 kB KernelStack: 3884 kB PageTables: 11460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1468640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52960 kB HardwareCorrupted: 0 kB AnonHugePages: 845824 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: 189256 kB DirectMap2M: 14395392 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723728 MiB End job on nodeC004 at 2024-07-16 16:00:15