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) | 13 | 3600.06 | 3660.9 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | 39a6e806d7aaba09f767f3cbd6afa1ec |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| 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.01 o 1214 0.29/0.38 o 1210 0.29/0.38 o 1178 0.29/0.38 o 1159 0.29/0.38 o 1157 0.29/0.39 o 1153 0.40/0.46 o 1149 0.40/0.46 o 1147 0.40/0.47 o 1145 0.40/0.47 o 1137 0.40/0.47 o 1133 0.40/0.47 o 1131 0.59/0.68 o 1129 0.69/0.72 o 1123 0.69/0.72 o 1121 0.69/0.72 o 1113 0.69/0.75 o 1111 0.79/0.80 o 1079 1.58/1.62 o 1075 1.58/1.63 o 1071 2.36/2.47 o 943 2.36/2.48 o 939 2.36/2.49 o 937 2.36/2.49 o 935 2.36/2.49 o 933 2.46/2.53 o 925 3.86/3.92 o 923 3.86/3.93 o 921 3.86/3.93 o 917 4.06/4.10 o 909 4.06/4.10 o 907 4.06/4.12 o 903 4.06/4.12 o 899 4.06/4.12 o 897 4.06/4.16 o 893 4.06/4.17 o 891 4.16/4.21 o 889 4.16/4.22 o 825 4.26/4.33 o 793 4.26/4.34 o 791 4.26/4.36 o 787 4.26/4.37 o 785 4.26/4.38 o 777 4.26/4.38 o 761 4.36/4.42 o 759 4.36/4.42 o 757 4.36/4.42 o 749 4.36/4.42 o 745 4.36/4.42 o 743 4.46/4.52 o 741 4.66/4.73 o 733 4.66/4.76 o 731 4.66/4.76 o 727 5.06/5.16 o 711 5.06/5.17 o 663 5.95/6.05 o 661 6.64/6.72 o 657 6.64/6.76 o 649 6.64/6.76 o 633 7.15/7.29 o 619 8.84/8.97 o 611 8.84/8.97 o 595 8.94/9.02 o 587 8.94/9.03 o 579 8.94/9.03 o 577 8.94/9.08 o 573 8.94/9.09 o 557 9.13/9.27 o 553 9.13/9.27 o 551 9.23/9.34 o 543 9.23/9.34 o 527 9.23/9.38 o 526 9.44/9.58 o 524 9.44/9.59 o 520 10.53/10.60 o 519 11.44/11.52 o 517 11.44/11.53 o 509 11.44/11.54 o 501 11.44/11.57 o 499 11.44/11.58 o 497 11.54/11.67 o 493 11.54/11.67 o 491 11.63/11.71 o 489 11.63/11.71 o 485 11.63/11.71 o 483 12.33/12.45 o 467 13.92/14.07 o 465 13.92/14.07 o 457 20.79/20.93 o 453 20.79/20.93 o 449 20.91/21.03 o 448 22.39/22.55 o 416 22.59/22.72 o 400 22.59/22.78 o 396 22.59/22.78 o 392 26.78/26.90 o 390 26.78/26.90 o 388 26.78/26.90 o 384 26.78/26.90 o 382 26.78/26.91 o 380 26.78/26.91 o 376 26.78/26.98 o 364 26.78/26.98 o 362 26.78/26.99 o 360 26.78/26.99 o 358 26.89/27.08 o 354 26.89/27.08 o 352 26.99/27.13 o 351 26.99/27.13 o 349 27.08/27.23 o 347 27.08/27.28 o 343 27.28/27.44 o 339 27.28/27.44 o 331 29.18/29.34 o 330 29.77/29.92 o 328 29.77/29.97 o 325 29.77/29.97 o 323 29.77/29.97 o 319 30.07/30.21 o 317 32.06/32.26 o 315 32.06/32.27 o 309 32.72/34.02 o 297 34.51/35.85 o 296 35.51/36.80 o 295 35.51/36.80 o 293 35.51/36.81 o 285 35.91/37.28 o 284 38.01/39.34 o 282 38.01/39.34 o 280 38.81/40.10 o 279 40.60/41.96 o 274 43.98/45.31 o 272 43.98/45.32 o 270 43.98/45.35 o 266 44.08/45.41 o 262 44.19/45.58 o 260 44.19/45.58 o 258 44.49/45.83 o 256 44.49/45.84 o 254 44.49/45.84 o 252 45.08/46.48 o 248 45.18/46.53 o 246 45.18/46.59 o 244 45.38/46.75 o 242 46.58/47.98 o 240 47.08/48.45 o 238 47.08/48.46 o 230 47.08/48.49 o 226 47.08/48.49 o 224 47.17/48.53 o 222 47.17/48.55 o 218 47.17/48.56 o 216 47.27/48.64 o 184 47.27/48.66 o 183 47.27/48.67 o 181 47.37/48.71 o 179 47.37/48.71 o 175 47.37/48.71 o 159 47.48/48.82 o 158 50.17/51.56 o 156 50.17/51.59 o 154 50.27/51.63 o 144 50.27/51.69 o 143 50.47/51.80 o 131 50.47/51.88 o 129 50.47/51.88 o 127 50.47/51.89 o 125 50.57/51.95 o 123 50.68/52.00 o 119 50.68/52.04 o 115 50.97/52.30 o 113 50.97/52.30 o 111 51.07/52.45 o 110 51.07/52.45 o 108 51.27/52.61 o 104 51.27/52.62 o 100 51.27/52.66 o 98 52.36/53.78 o 97 52.46/53.81 o 95 52.77/54.13 o 93 56.36/57.76 o 91 56.36/57.76 o 89 56.55/57.99 o 87 56.66/58.00 o 85 63.57/65.47 o 83 63.57/65.48 o 81 63.57/65.48 o 79 63.68/65.54 o 77 64.58/66.42 o 76 64.98/66.88 o 74 64.98/66.88 o 72 64.98/66.88 o 70 64.98/66.89 o 68 65.47/67.36 o 66 65.57/67.48 o 62 68.96/70.85 o 60 71.95/73.87 o 58 71.95/73.87 o 56 72.05/73.93 o 52 72.05/73.94 o 48 72.05/73.95 o 46 72.05/73.99 o 44 72.05/73.99 o 42 72.05/73.99 o 38 72.16/74.06 o 22 1335.99/1356.36 o 20 1344.66/1365.04 o 18 2857.36/2896.12 o 17 2868.72/2907.68 o 13 3600.04/3660.80 c Program interrupted by user. 3600.04/3660.80 s SATISFIABLE 3600.04/3660.80 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
OK 13
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: 63931 MiB (54040 MiB free)
memory of node 1: 64510 MiB (46680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440742-1721760472/watcher-4440742-1721760472 -o /tmp/evaluation-result-4440742-1721760472/solver-4440742-1721760472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721751754-113371 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440742-1721760472 --seed=1089136443 HOME/instance-4440742-1721760472.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
Current StackSize limit: 8192 KiB
solver pid=118560, runsolver pid=118557
[startup+0.104132 s]*
/proc/loadavg: 4.12 4.13 4.12 5/261 118561
/proc/meminfo: memFree=103132736/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=26252 memory=4620 CPUtime=0.1 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 464 0 0 0 10 0 0 0 20 0 1 0 12576762 26882048 1155 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 6563 1155 850 747 0 5626 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26252 KiB
Current children cumulated memory: 4620 KiB
[startup+0.205658 s]*
/proc/loadavg: 4.12 4.13 4.12 5/261 118561
/proc/meminfo: memFree=103128816/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=26492 memory=5244 CPUtime=0.2 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 582 0 0 0 20 0 0 0 20 0 1 0 12576762 27127808 1311 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 6623 1311 850 747 0 5686 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26492 KiB
Current children cumulated memory: 5244 KiB
[startup+0.305446 s]*
/proc/loadavg: 4.12 4.13 4.12 5/261 118561
/proc/meminfo: memFree=103125344/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=26740 memory=5672 CPUtime=0.29 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 699 0 0 0 29 0 0 0 20 0 1 0 12576762 27381760 1418 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 6685 1418 850 747 0 5748 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26740 KiB
Current children cumulated memory: 5672 KiB
[startup+0.700214 s]
/proc/loadavg: 4.12 4.13 4.12 5/261 118561
/proc/meminfo: memFree=103119828/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=27132 memory=8768 CPUtime=0.69 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 957 0 0 0 68 1 0 0 20 0 1 0 12576762 27783168 2192 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 6783 2192 850 747 0 5846 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27132 KiB
Current children cumulated memory: 8768 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.13 4.12 5/261 118561
/proc/meminfo: memFree=103105892/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=28416 memory=9980 CPUtime=1.48 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 1241 0 0 0 146 2 0 0 20 0 1 0 12576762 29097984 2495 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 7104 2495 850 747 0 6167 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28416 KiB
Current children cumulated memory: 9980 KiB
[startup+3.10531 s]
/proc/loadavg: 4.11 4.12 4.12 5/261 118561
/proc/meminfo: memFree=103036520/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=29152 memory=14804 CPUtime=3.07 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 1441 0 0 0 302 5 0 0 20 0 1 0 12576762 29851648 3701 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 7288 3701 850 747 0 6351 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 29152 KiB
Current children cumulated memory: 14804 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.12 4.12 5/261 118561
/proc/meminfo: memFree=102911036/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=30440 memory=17876 CPUtime=6.25 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 1734 0 0 0 619 6 0 0 20 0 1 0 12576762 31170560 4469 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 7610 4469 850 747 0 6673 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 30440 KiB
Current children cumulated memory: 17876 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.12 5/261 118563
/proc/meminfo: memFree=102721416/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=31392 memory=18888 CPUtime=12.62 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 2050 0 0 0 1251 11 0 0 20 0 1 0 12576762 32145408 4722 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 7848 4722 850 747 0 6911 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 31392 KiB
Current children cumulated memory: 18888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.12 5/261 118565
/proc/meminfo: memFree=102329188/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=32752 memory=20148 CPUtime=25.38 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 2551 0 0 0 2519 19 0 0 20 0 1 0 12576762 33538048 5037 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 8188 5037 850 747 0 7251 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 32752 KiB
Current children cumulated memory: 20148 KiB
[startup+51.1051 s]
/proc/loadavg: 4.12 4.12 4.12 5/261 118570
/proc/meminfo: memFree=101651576/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=33628 memory=20908 CPUtime=49.78 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 3423 0 0 0 4941 37 0 0 20 0 1 0 12576762 34435072 5227 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 114 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 8407 5227 850 747 0 7470 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 33628 KiB
Current children cumulated memory: 20908 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/257 118579
/proc/meminfo: memFree=100399976/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=35916 memory=26868 CPUtime=100.05 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 4771 0 0 0 9943 62 0 0 20 0 1 0 12576762 36777984 6717 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 192 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 8979 6717 850 747 0 8042 0
Current children cumulated CPU time: 100.05 s
Current children cumulated vsize: 35916 KiB
Current children cumulated memory: 26868 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/260 118595
/proc/meminfo: memFree=98911704/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=36300 memory=28200 CPUtime=159.23 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 5756 0 0 0 15834 89 0 0 20 0 1 0 12576762 37171200 7050 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 256 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 9075 7050 850 747 0 8138 0
Current children cumulated CPU time: 159.23 s
Current children cumulated vsize: 36300 KiB
Current children cumulated memory: 28200 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/260 118606
/proc/meminfo: memFree=97594516/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=36428 memory=28328 CPUtime=218.42 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 6540 0 0 0 21732 110 0 0 20 0 1 0 12576762 37302272 7082 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 318 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 9107 7082 850 747 0 8170 0
Current children cumulated CPU time: 218.42 s
Current children cumulated vsize: 36428 KiB
Current children cumulated memory: 28328 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/260 118618
/proc/meminfo: memFree=96189244/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=36968 memory=28904 CPUtime=277.51 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 7660 0 0 0 27617 134 0 0 20 0 1 0 12576762 37855232 7226 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 394 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 9242 7226 850 747 0 8305 0
Current children cumulated CPU time: 277.51 s
Current children cumulated vsize: 36968 KiB
Current children cumulated memory: 28904 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/260 118628
/proc/meminfo: memFree=94819852/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=36892 memory=29032 CPUtime=336.24 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 8378 0 0 0 33467 157 0 0 20 0 1 0 12576762 37777408 7258 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 490 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 9223 7258 850 747 0 8286 0
Current children cumulated CPU time: 336.24 s
Current children cumulated vsize: 36892 KiB
Current children cumulated memory: 29032 KiB
[startup+402.301 s]
/proc/loadavg: 4.49 4.21 4.14 6/260 118639
/proc/meminfo: memFree=93458828/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=37276 memory=29388 CPUtime=394.92 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 9259 0 0 0 39313 179 0 0 20 0 1 0 12576762 38170624 7347 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 6 0 0 587 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 9319 7347 850 747 0 8382 0
Current children cumulated CPU time: 394.92 s
Current children cumulated vsize: 37276 KiB
Current children cumulated memory: 29388 KiB
[startup+462.301 s]
/proc/loadavg: 4.32 4.22 4.14 5/259 119035
/proc/meminfo: memFree=92156640/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=37596 memory=29708 CPUtime=454.04 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 10219 0 0 0 45205 199 0 0 20 0 1 0 12576762 38498304 7427 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 6 0 0 623 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 9399 7427 850 747 0 8462 0
################
# More data... #
################
Current children cumulated memory: 35500 KiB
[startup+2922.3 s]
/proc/loadavg: 1.11 1.64 2.82 2/237 120382
/proc/meminfo: memFree=115151236/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41460 memory=35500 CPUtime=2883.38 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 36865 0 0 0 287265 1073 0 0 20 0 1 0 12576762 42455040 8875 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2859 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10365 8875 850 747 0 9428 0
Current children cumulated CPU time: 2883.38 s
Current children cumulated vsize: 41460 KiB
Current children cumulated memory: 35500 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 1.54 2.71 2/237 120393
/proc/meminfo: memFree=114945768/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41460 memory=35564 CPUtime=2940.35 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 36893 0 0 0 292945 1090 0 0 20 0 1 0 12576762 42455040 8891 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3149 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10365 8891 850 747 0 9428 0
Current children cumulated CPU time: 2940.35 s
Current children cumulated vsize: 41460 KiB
Current children cumulated memory: 35564 KiB
[startup+3042.3 s]
/proc/loadavg: 1.14 1.47 2.61 2/237 120406
/proc/meminfo: memFree=114728272/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41244 memory=35432 CPUtime=2999.05 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 37389 0 0 0 298800 1105 0 0 20 0 1 0 12576762 42233856 8858 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3265 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10311 8858 850 747 0 9374 0
Current children cumulated CPU time: 2999.05 s
Current children cumulated vsize: 41244 KiB
Current children cumulated memory: 35432 KiB
[startup+3102.3 s]
/proc/loadavg: 1.08 1.39 2.51 2/237 120417
/proc/meminfo: memFree=114509840/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41372 memory=35560 CPUtime=3058.26 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 38129 0 0 0 304705 1121 0 0 20 0 1 0 12576762 42364928 8890 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3330 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10343 8890 850 747 0 9406 0
Current children cumulated CPU time: 3058.26 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 35560 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.34 2.42 2/238 120431
/proc/meminfo: memFree=114317856/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41372 memory=35560 CPUtime=3112.48 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 38663 0 0 0 310111 1137 0 0 20 0 1 0 12576762 42364928 8890 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3894 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10343 8890 850 747 0 9406 0
Current children cumulated CPU time: 3112.48 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 35560 KiB
[startup+3222.3 s]
/proc/loadavg: 1.15 1.30 2.34 2/238 120442
/proc/meminfo: memFree=114125164/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41372 memory=35560 CPUtime=3166.51 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 39284 0 0 0 315498 1153 0 0 20 0 1 0 12576762 42364928 8890 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4480 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10343 8890 850 747 0 9406 0
Current children cumulated CPU time: 3166.51 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 35560 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.26 2.26 2/238 120453
/proc/meminfo: memFree=113921024/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41372 memory=35560 CPUtime=3223.75 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 39905 0 0 0 321206 1169 0 0 20 0 1 0 12576762 42364928 8890 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4741 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10343 8890 850 747 0 9406 0
Current children cumulated CPU time: 3223.75 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 35560 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.23 2.18 2/238 120463
/proc/meminfo: memFree=113709036/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41500 memory=35688 CPUtime=3283.49 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 40558 0 0 0 327164 1185 0 0 20 0 1 0 12576762 42496000 8922 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4753 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10375 8922 850 747 0 9438 0
Current children cumulated CPU time: 3283.49 s
Current children cumulated vsize: 41500 KiB
Current children cumulated memory: 35688 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.21 2.12 2/238 120473
/proc/meminfo: memFree=113512492/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41500 memory=35688 CPUtime=3343.11 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 41180 0 0 0 333109 1202 0 0 20 0 1 0 12576762 42496000 8922 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4777 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10375 8922 850 747 0 9438 0
Current children cumulated CPU time: 3343.11 s
Current children cumulated vsize: 41500 KiB
Current children cumulated memory: 35688 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.19 2.05 2/236 120485
/proc/meminfo: memFree=113301560/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41500 memory=35688 CPUtime=3402.63 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 41802 0 0 0 339043 1220 0 0 20 0 1 0 12576762 42496000 8922 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4797 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10375 8922 850 747 0 9438 0
Current children cumulated CPU time: 3402.63 s
Current children cumulated vsize: 41500 KiB
Current children cumulated memory: 35688 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.17 1.98 2/236 120496
/proc/meminfo: memFree=113085956/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41500 memory=35688 CPUtime=3462.36 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 42424 0 0 0 344999 1237 0 0 20 0 1 0 12576762 42496000 8922 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4809 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10375 8922 850 747 0 9438 0
Current children cumulated CPU time: 3462.36 s
Current children cumulated vsize: 41500 KiB
Current children cumulated memory: 35688 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.18 1.94 2/236 120506
/proc/meminfo: memFree=112872920/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41500 memory=35688 CPUtime=3522 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 43046 0 0 0 350947 1253 0 0 20 0 1 0 12576762 42496000 8922 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4831 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10375 8922 850 747 0 9438 0
Current children cumulated CPU time: 3522 s
Current children cumulated vsize: 41500 KiB
Current children cumulated memory: 35688 KiB
[startup+3642.3 s]
/proc/loadavg: 1.10 1.16 1.88 2/236 120517
/proc/meminfo: memFree=112657160/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41564 memory=35752 CPUtime=3581.61 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 43597 0 0 0 356893 1268 0 0 20 0 1 0 12576762 42561536 8938 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4856 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10391 8938 850 747 0 9454 0
Current children cumulated CPU time: 3581.61 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 35752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3660.8 s]
/proc/loadavg: 1.14 1.16 1.87 2/236 120521
/proc/meminfo: memFree=112593588/131524600 swapFree=131070960/131071996
[pid=118560] ppid=118557 vsize=41564 memory=35752 CPUtime=3600.04 cores=4,6
/proc/118560/stat : 118560 (Exact_veripb2_n) R 118557 118560 113360 0 -1 4194304 43772 0 0 0 358731 1273 0 0 20 0 1 0 12576762 42561536 8938 134679101440 4194304 7250417 140726991506560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4859 0 0 7950792 8015128 23076864 140726991508278 140726991508567 140726991508567 140726991515582 0
/proc/118560/statm: 10391 8938 850 747 0 9454 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 35752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3660.9 s]
# the end of solver process 118560 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3587.32 s, system=12.748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3660.9
CPU time (s): 3600.06
CPU user time (s): 3587.32
CPU system time (s): 12.748
CPU usage (%): 98.3383
Max. virtual memory (cumulated for all children) (KiB): 41564
Max. memory (cumulated for all children) (KiB): 35752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.32
system time used= 12.748
maximum resident set size= 36012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43774
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30032056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1523
involuntary context switches= 9044
# summary of solver processes directly reported to runsolver:
# pid: 118560
# total CPU time (s): 3600.06
# total CPU user time (s): 3587.32
# total CPU system time (s): 12.748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56916 second user time and 14.3489 second system time
The end
Begin job on nodeC031 at 2024-07-23 20:47:52 IDJOB=4440742 IDBENCH=147611 IDSOLVER=3080 FILE ID=nodeC031/4440742-1721760472 RUNJOBID= nodeC031-1721751754-113371 SLURM_JOB_ID= 7770646 Free space on /tmp= 890068 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_7_60_2.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-4440742-1721760472/watcher-4440742-1721760472 -o /tmp/evaluation-result-4440742-1721760472/solver-4440742-1721760472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721751754-113371 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440742-1721760472 --seed=1089136443 HOME/instance-4440742-1721760472.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=1089136443 nodeC031.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 : 3684.588 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 : 7000.44 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 : 3684.057 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 : 7007.12 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 : 3693.850 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 : 7000.44 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 : 3600.446 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 : 7007.12 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 : 3646.778 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 : 7000.44 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 : 3684.073 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 : 7007.12 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 : 3620.753 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 : 7000.44 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.255 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 103139268 kB MemAvailable: 129431024 kB Buffers: 172416 kB Cached: 26879308 kB SwapCached: 44 kB Active: 1128624 kB Inactive: 26547440 kB Active(anon): 3740 kB Inactive(anon): 657496 kB Active(file): 1124884 kB Inactive(file): 25889944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070960 kB Dirty: 471152 kB Writeback: 0 kB AnonPages: 622460 kB Mapped: 112804 kB Shmem: 37424 kB KReclaimable: 233152 kB Slab: 352660 kB SReclaimable: 233152 kB SUnreclaim: 119508 kB KernelStack: 4156 kB PageTables: 10704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 976704 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20064 kB HardwareCorrupted: 0 kB AnonHugePages: 477184 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: 297684 kB DirectMap2M: 28835840 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890080 MiB End job on nodeC031 at 2024-07-23 21:48:53