Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 30 | 3600.05 | 3650.31 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.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 | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 o 1642 0.98/1.05 o 1638 0.98/1.05 o 1636 1.27/1.34 o 1634 1.37/1.43 o 1632 1.47/1.54 o 1630 1.47/1.54 o 1628 1.77/1.81 o 1626 3.67/3.77 o 1624 3.67/3.77 o 1622 4.97/5.10 o 1620 4.97/5.10 o 1616 5.17/5.26 o 1614 5.47/5.54 o 1610 5.47/5.55 o 1546 5.57/5.67 o 1418 5.57/5.69 o 1416 5.76/5.83 o 1412 6.16/6.24 o 1410 7.36/7.41 o 1408 7.36/7.41 o 1404 7.36/7.42 o 1388 7.76/7.81 o 1386 7.76/7.85 o 1370 7.86/7.90 o 1362 7.97/8.04 o 1360 7.97/8.07 o 1358 8.26/8.34 o 1354 10.35/10.49 o 1352 10.35/10.49 o 1344 11.25/11.36 o 1342 11.25/11.37 o 1086 11.25/11.38 o 1054 11.25/11.38 o 1038 11.25/11.38 o 1034 11.34/11.44 o 1032 11.34/11.45 o 1028 11.34/11.45 o 1024 11.34/11.46 o 1022 11.44/11.53 o 1020 11.44/11.53 o 1018 11.44/11.54 o 1014 11.54/11.67 o 1012 11.64/11.73 o 1010 11.64/11.75 o 1002 11.74/11.81 o 1000 11.74/11.81 o 998 11.74/11.81 o 996 11.84/11.96 o 994 12.15/12.24 o 992 12.15/12.25 o 990 12.15/12.25 o 964 12.15/12.25 o 960 12.25/12.33 o 954 12.25/12.35 o 952 12.25/12.37 o 950 12.25/12.38 o 946 12.35/12.42 o 940 13.84/13.97 o 938 13.84/13.97 o 936 13.84/14.01 o 932 13.95/14.01 o 900 13.95/14.01 o 884 14.05/14.14 o 882 14.14/14.20 o 880 14.14/14.23 o 864 14.14/14.23 o 862 14.14/14.25 o 860 15.14/15.21 o 828 15.24/15.37 o 820 15.24/15.37 o 812 15.24/15.39 o 780 15.34/15.40 o 652 15.64/15.79 o 647 16.23/16.30 o 643 16.23/16.31 o 641 16.23/16.31 o 639 16.23/16.32 o 635 16.23/16.32 o 633 16.23/16.35 o 631 16.23/16.36 o 629 16.34/16.41 o 619 16.34/16.41 o 611 16.34/16.41 o 609 16.34/16.41 o 607 16.34/16.42 o 599 16.34/16.44 o 597 16.44/16.50 o 596 16.44/16.52 o 594 16.44/16.52 o 590 16.44/16.53 o 589 16.44/16.53 o 587 16.54/16.60 o 585 18.33/18.46 o 583 18.73/18.86 o 581 23.52/23.68 o 579 23.52/23.68 o 577 23.52/23.69 o 573 23.52/23.69 o 571 23.93/24.04 o 569 23.93/24.04 o 567 24.21/24.39 o 549 24.21/24.39 o 547 24.32/24.44 o 483 24.32/24.45 o 451 24.42/24.51 o 447 24.42/24.53 o 446 24.42/24.53 o 444 24.42/24.54 o 442 24.42/24.54 o 440 24.42/24.54 o 436 24.61/24.78 o 432 24.71/24.83 o 424 24.71/24.83 o 408 24.81/24.90 o 404 24.81/24.91 o 402 24.81/24.91 o 398 24.81/24.98 o 394 24.92/25.05 o 390 25.11/25.21 o 386 25.52/25.61 o 370 25.52/25.62 o 306 25.71/25.87 o 302 28.20/28.38 o 298 28.20/28.38 o 290 28.20/28.39 o 286 28.20/28.39 o 282 28.20/28.40 o 274 28.31/28.40 o 242 28.71/28.83 o 230 33.36/33.93 o 228 33.36/33.93 o 226 33.36/33.95 o 224 33.36/33.95 o 222 35.56/36.17 o 221 36.35/37.01 o 219 36.46/37.01 o 211 36.85/37.45 o 209 38.95/39.59 o 205 38.95/39.59 o 203 45.55/46.12 o 199 45.73/46.35 o 195 45.73/46.36 o 187 46.83/47.43 o 186 48.23/48.86 o 184 48.32/48.90 o 182 48.32/48.90 o 178 48.32/48.94 o 174 48.53/49.19 o 170 48.53/49.19 o 168 48.53/49.20 o 166 48.72/49.34 o 164 48.72/49.34 o 162 48.72/49.34 o 160 51.91/52.60 o 158 55.11/55.77 o 138 58.00/58.69 o 136 58.00/58.69 o 128 58.20/58.85 o 124 58.20/58.86 o 122 59.51/60.16 o 118 59.51/60.18 o 116 59.60/60.26 o 113 59.60/60.26 o 111 65.17/66.14 o 109 65.26/66.22 o 107 65.26/66.27 o 105 65.26/66.27 o 103 65.26/66.28 o 101 65.45/66.45 o 97 66.85/67.86 o 87 75.05/76.03 o 85 75.05/76.03 o 81 111.90/113.33 o 80 111.90/113.33 o 78 112.10/113.52 o 72 120.77/122.20 o 71 120.77/122.20 o 69 122.18/123.67 o 68 127.45/128.91 o 66 127.45/128.91 o 64 127.45/129.00 o 62 127.57/129.01 o 60 127.57/129.01 o 58 127.57/129.06 o 56 212.44/214.86 o 55 222.41/225.03 o 54 255.37/258.46 o 53 255.37/258.46 o 51 255.37/258.47 o 49 255.37/258.47 o 45 778.61/804.01 o 44 869.13/895.22 o 40 878.31/904.48 o 38 880.50/906.64 o 34 1318.03/1350.29 o 33 1370.37/1402.86 o 31 3563.62/3613.76 o 30 3600.03/3650.30 c Program interrupted by user. 3600.03/3650.30 s SATISFIABLE 3600.03/3650.30 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 x134 x135 -x136 x137 x138 x139 x140 x141 x142 -x143 -x144 -x145 x146 x147 -x148 -x149 x150 x151 x152 -x153 x154 -x155 -x156 x157 -x158 x159 x160 -x161 x162 -x163 x164 -x165 -x166 -x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 x192 -x193 -x194 x195 -x196 -x197 x198
OK 30
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 (62179 MiB free)
memory of node 1: 64473 MiB (57855 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440743-1721759631/watcher-4440743-1721759631 -o /tmp/evaluation-result-4440743-1721759631/solver-4440743-1721759631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721752157-107010 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440743-1721759631 --seed=1023299480 HOME/instance-4440743-1721759631.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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=112156, runsolver pid=112153
[startup+0.100307 s]*
/proc/loadavg: 4.37 4.27 4.26 5/260 112157
/proc/meminfo: memFree=122912072/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=25888 memory=4220 CPUtime=0.09 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 353 0 0 0 9 0 0 0 20 0 1 0 11952348 26509312 1055 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 6472 1055 850 747 0 5535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25888 KiB
Current children cumulated memory: 4220 KiB
[startup+0.213777 s]*
/proc/loadavg: 4.37 4.27 4.26 5/260 112157
/proc/meminfo: memFree=122903884/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=26148 memory=4700 CPUtime=0.2 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 452 0 0 0 20 0 0 0 20 0 1 0 11952348 26775552 1175 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 6537 1175 850 747 0 5600 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26148 KiB
Current children cumulated memory: 4700 KiB
[startup+0.313297 s]*
/proc/loadavg: 4.37 4.27 4.26 5/260 112157
/proc/meminfo: memFree=122899984/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=26400 memory=4864 CPUtime=0.3 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 521 0 0 0 30 0 0 0 20 0 1 0 11952348 27033600 1216 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 6600 1216 850 747 0 5663 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 4864 KiB
[startup+0.700263 s]
/proc/loadavg: 4.34 4.27 4.26 5/260 112157
/proc/meminfo: memFree=122891248/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=26792 memory=5740 CPUtime=0.67 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 744 0 0 0 67 0 0 0 20 0 1 0 11952348 27435008 1435 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 6698 1435 850 747 0 5761 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 5740 KiB
[startup+1.50031 s]
/proc/loadavg: 4.34 4.27 4.26 5/260 112157
/proc/meminfo: memFree=122866572/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=27640 memory=9092 CPUtime=1.47 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 1033 0 0 0 147 0 0 0 20 0 1 0 11952348 28303360 2273 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 6910 2273 850 747 0 5973 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27640 KiB
Current children cumulated memory: 9092 KiB
[startup+3.11374 s]
/proc/loadavg: 4.34 4.27 4.26 5/260 112158
/proc/meminfo: memFree=122781048/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=29636 memory=12712 CPUtime=3.08 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 1427 0 0 0 307 1 0 0 20 0 1 0 11952348 30347264 3178 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 7409 3178 850 747 0 6472 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 12712 KiB
[startup+6.30028 s]
/proc/loadavg: 4.31 4.26 4.26 5/260 112158
/proc/meminfo: memFree=122657636/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=31012 memory=15804 CPUtime=6.26 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 1690 0 0 0 624 2 0 0 20 0 1 0 11952348 31756288 3951 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 7753 3951 850 747 0 6816 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 31012 KiB
Current children cumulated memory: 15804 KiB
[startup+12.7003 s]
/proc/loadavg: 4.28 4.26 4.26 5/260 112160
/proc/meminfo: memFree=122436812/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=33224 memory=19812 CPUtime=12.64 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 2313 0 0 0 1256 8 0 0 20 0 1 0 11952348 34021376 4953 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 8306 4953 850 747 0 7369 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 33224 KiB
Current children cumulated memory: 19812 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.25 4.26 5/256 112175
/proc/meminfo: memFree=121965584/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=33852 memory=20572 CPUtime=25.42 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 2499 0 0 0 2522 20 0 0 20 0 1 0 11952348 34664448 5143 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 8463 5143 850 747 0 7526 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 33852 KiB
Current children cumulated memory: 20572 KiB
[startup+51.1134 s]
/proc/loadavg: 4.21 4.24 4.25 5/258 112212
/proc/meminfo: memFree=121311068/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=35396 memory=21884 CPUtime=50.53 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 3140 0 0 0 5017 36 0 0 20 0 1 0 11952348 36245504 5471 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 43 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 8849 5471 850 747 0 7912 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 35396 KiB
Current children cumulated memory: 21884 KiB
[startup+102.3 s]
/proc/loadavg: 4.56 4.32 4.28 5/254 112224
/proc/meminfo: memFree=119305676/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=36808 memory=29604 CPUtime=100.92 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 4266 0 0 0 10028 64 0 0 20 0 1 0 11952348 37691392 7401 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 109 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9202 7401 850 747 0 8265 0
Current children cumulated CPU time: 100.92 s
Current children cumulated vsize: 36808 KiB
Current children cumulated memory: 29604 KiB
[startup+162.3 s]
/proc/loadavg: 4.77 4.44 4.32 5/254 112235
/proc/meminfo: memFree=117585900/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=39024 memory=31388 CPUtime=160.4 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 5456 0 0 0 15949 91 0 0 20 0 1 0 11952348 39960576 7847 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 145 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9756 7847 850 747 0 8819 0
Current children cumulated CPU time: 160.4 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 31388 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.41 4.32 5/254 112245
/proc/meminfo: memFree=116411324/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=38744 memory=31288 CPUtime=219.71 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 5864 0 0 0 21855 116 0 0 20 0 1 0 11952348 39673856 7822 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 200 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9686 7822 850 747 0 8749 0
Current children cumulated CPU time: 219.71 s
Current children cumulated vsize: 38744 KiB
Current children cumulated memory: 31288 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.37 4.31 3/251 112256
/proc/meminfo: memFree=114497712/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=39192 memory=31704 CPUtime=277.92 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) D 112153 112156 106999 0 -1 4194304 6844 0 0 0 27653 139 0 0 20 0 1 0 11952348 40132608 7926 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 235 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9798 7926 850 747 0 8861 0
Current children cumulated CPU time: 277.92 s
Current children cumulated vsize: 39192 KiB
Current children cumulated memory: 31704 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.31 4.29 5/249 112267
/proc/meminfo: memFree=112575552/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=39320 memory=31868 CPUtime=336.7 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 7500 0 0 0 33508 162 0 0 20 0 1 0 11952348 40263680 7967 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 471 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9830 7967 850 747 0 8893 0
Current children cumulated CPU time: 336.7 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 31868 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.31 4.29 5/263 112295
/proc/meminfo: memFree=110299776/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=39640 memory=32204 CPUtime=394.17 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 8374 0 0 0 39233 184 0 0 20 0 1 0 11952348 40591360 8051 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 709 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9910 8051 850 747 0 8973 0
Current children cumulated CPU time: 394.17 s
Current children cumulated vsize: 39640 KiB
Current children cumulated memory: 32204 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.30 4.29 5/263 112306
/proc/meminfo: memFree=108367720/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=39704 memory=32280 CPUtime=447.85 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 9095 0 0 0 44579 206 0 0 20 0 1 0 11952348 40656896 8070 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1327 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 9926 8070 850 747 0 8989 0
################
# More data... #
################
Current children cumulated memory: 40232 KiB
[startup+2982.3 s]
/proc/loadavg: 4.68 4.35 4.24 6/263 113404
/proc/meminfo: memFree=44415608/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45364 memory=40232 CPUtime=2938.41 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39093 0 0 0 292777 1064 0 0 20 0 1 0 11952348 46452736 10058 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3637 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11341 10058 850 747 0 10404 0
Current children cumulated CPU time: 2938.41 s
Current children cumulated vsize: 45364 KiB
Current children cumulated memory: 40232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.64 4.42 4.27 5/264 113415
/proc/meminfo: memFree=42030784/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45364 memory=40232 CPUtime=2998.02 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39630 0 0 0 298718 1084 0 0 20 0 1 0 11952348 46452736 10058 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3660 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11341 10058 850 747 0 10404 0
Current children cumulated CPU time: 2998.02 s
Current children cumulated vsize: 45364 KiB
Current children cumulated memory: 40232 KiB
[startup+3102.3 s]
/proc/loadavg: 4.97 4.50 4.31 5/260 113807
/proc/meminfo: memFree=40931392/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40492 CPUtime=3057.65 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39747 0 0 0 304662 1103 0 0 20 0 1 0 11952348 47001600 10123 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3681 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10123 850 747 0 10538 0
Current children cumulated CPU time: 3057.65 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40492 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.44 4.30 5/260 113817
/proc/meminfo: memFree=39511500/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40640 CPUtime=3117.29 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39779 0 0 0 310607 1122 0 0 20 0 1 0 11952348 47001600 10160 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3703 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10160 850 747 0 10538 0
Current children cumulated CPU time: 3117.29 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.39 4.29 5/259 113830
/proc/meminfo: memFree=38554216/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40640 CPUtime=3176.73 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39794 0 0 0 316531 1142 0 0 20 0 1 0 11952348 47001600 10160 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3743 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10160 850 747 0 10538 0
Current children cumulated CPU time: 3176.73 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.33 4.27 5/260 114015
/proc/meminfo: memFree=36721248/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40640 CPUtime=3236.08 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39809 0 0 0 322444 1164 0 0 20 0 1 0 11952348 47001600 10160 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3794 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10160 850 747 0 10538 0
Current children cumulated CPU time: 3236.08 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.29 4.26 5/258 114025
/proc/meminfo: memFree=35483692/131655788 swapFree=131071216/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40640 CPUtime=3295.74 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39824 0 0 0 328389 1185 0 0 20 0 1 0 11952348 47001600 10160 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3814 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10160 850 747 0 10538 0
Current children cumulated CPU time: 3295.74 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.26 4.25 5/259 114094
/proc/meminfo: memFree=34423524/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40708 CPUtime=3355.39 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39839 0 0 0 334336 1203 0 0 20 0 1 0 11952348 47001600 10177 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3832 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10177 850 747 0 10538 0
Current children cumulated CPU time: 3355.39 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.26 4.25 5/262 114109
/proc/meminfo: memFree=32737984/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40708 CPUtime=3414.97 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 39854 0 0 0 340273 1224 0 0 20 0 1 0 11952348 47001600 10177 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3859 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10177 850 747 0 10538 0
Current children cumulated CPU time: 3414.97 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.24 4.25 5/261 114119
/proc/meminfo: memFree=31964864/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40708 CPUtime=3474.3 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 40331 0 0 0 346185 1245 0 0 20 0 1 0 11952348 47001600 10177 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3910 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10177 850 747 0 10538 0
Current children cumulated CPU time: 3474.3 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.22 4.24 5/251 114156
/proc/meminfo: memFree=51862828/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40708 CPUtime=3533.9 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 40351 0 0 0 352125 1265 0 0 20 0 1 0 11952348 47001600 10177 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3936 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10177 850 747 0 10538 0
Current children cumulated CPU time: 3533.9 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40708 KiB
[startup+3642.3 s]
/proc/loadavg: 3.19 3.95 4.14 3/240 114201
/proc/meminfo: memFree=94805508/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40764 CPUtime=3592.14 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 40369 0 0 0 357931 1283 0 0 20 0 1 0 11952348 47001600 10191 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4097 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10191 850 747 0 10538 0
Current children cumulated CPU time: 3592.14 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3650.3 s]
/proc/loadavg: 3.09 3.92 4.13 3/240 114201
/proc/meminfo: memFree=94749636/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40764 CPUtime=3600.03 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 40369 0 0 0 358718 1285 0 0 20 0 1 0 11952348 47001600 10191 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4105 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10191 850 747 0 10538 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3650.31 s]
# the end of solver process 112156 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3587.19 s, system=12.8597 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3650.3 s]
/proc/loadavg: 3.09 3.92 4.13 3/240 114201
/proc/meminfo: memFree=94749636/131655788 swapFree=131063488/131071996
[pid=112156] ppid=112153 vsize=45900 memory=40764 CPUtime=3600.03 cores=4,6
/proc/112156/stat : 112156 (Exact_veripb2_n) R 112153 112156 106999 0 -1 4194304 40369 0 0 0 358718 1285 0 0 20 0 1 0 11952348 47001600 10191 134679101440 4194304 7250417 140721752871680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4105 0 0 7950792 8015128 40660992 140721752875830 140721752876119 140721752876119 140721752883134 0
/proc/112156/statm: 11475 10191 850 747 0 10538 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 40764 KiB
Child status: 10
Real time (s): 3650.31
CPU time (s): 3600.05
CPU user time (s): 3587.19
CPU system time (s): 12.8597
CPU usage (%): 98.6231
Max. virtual memory (cumulated for all children) (KiB): 45900
Max. memory (cumulated for all children) (KiB): 40764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.19
system time used= 12.8597
maximum resident set size= 40764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31872536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 480
involuntary context switches= 5054
# summary of solver processes directly reported to runsolver:
# pid: 112156
# total CPU time (s): 3600.05
# total CPU user time (s): 3587.19
# total CPU system time (s): 12.8597
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.248 second user time and 31.0504 second system time
The end
Begin job on nodeC006 at 2024-07-23 20:33:51 IDJOB=4440743 IDBENCH=147578 IDSOLVER=3080 FILE ID=nodeC006/4440743-1721759631 RUNJOBID= nodeC006-1721752157-107010 SLURM_JOB_ID= 7770654 Free space on /tmp= 723664 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4440743-1721759631/watcher-4440743-1721759631 -o /tmp/evaluation-result-4440743-1721759631/solver-4440743-1721759631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721752157-107010 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440743-1721759631 --seed=1023299480 HOME/instance-4440743-1721759631.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=1023299480 nodeC006.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 : 3657.642 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 : 6983.06 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 : 3603.356 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.40 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.243 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 : 6983.06 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.253 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.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.103 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 : 6983.06 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 : 3657.522 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.40 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.109 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 : 6983.06 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.191 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.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122919616 kB MemAvailable: 127844872 kB Buffers: 166580 kB Cached: 5557328 kB SwapCached: 44 kB Active: 1141992 kB Inactive: 7003608 kB Active(anon): 1588 kB Inactive(anon): 2457756 kB Active(file): 1140404 kB Inactive(file): 4545852 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 405012 kB Writeback: 0 kB AnonPages: 2421704 kB Mapped: 111832 kB Shmem: 37584 kB KReclaimable: 158400 kB Slab: 269548 kB SReclaimable: 158400 kB SUnreclaim: 111148 kB KernelStack: 4096 kB PageTables: 13892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3066968 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 1083392 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: 332616 kB DirectMap2M: 40466432 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723768 MiB End job on nodeC006 at 2024-07-23 21:34:41