Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | SAT (TO) | 28 | 3600.1 | 3658.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | d6e4abba593cb3232b5d1a2a9d687dd6 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| 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 | 82 |
| 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 | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| 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 744 0.69/0.76 o 742 0.69/0.76 o 740 0.69/0.76 o 734 0.69/0.77 o 732 0.89/0.90 o 728 0.89/0.90 o 726 0.89/0.90 o 725 0.89/0.91 o 721 0.89/0.91 o 705 0.89/0.91 o 701 0.89/0.91 o 697 0.89/0.91 o 693 1.59/1.64 o 691 3.28/3.34 o 689 3.28/3.34 o 687 3.28/3.35 o 683 4.48/4.53 o 675 4.67/4.74 o 673 4.67/4.74 o 671 4.77/4.86 o 669 7.86/7.91 o 667 7.86/7.92 o 665 7.86/7.92 o 663 8.98/9.03 o 661 8.98/9.03 o 659 8.98/9.04 o 657 14.15/14.27 o 654 25.11/25.29 o 652 25.11/25.29 o 650 25.41/25.55 o 642 25.41/25.56 o 640 25.41/25.56 o 638 25.52/25.64 o 637 25.61/25.72 o 636 25.61/25.72 o 634 25.61/25.73 o 632 30.39/30.56 o 600 30.59/30.75 o 572 30.80/30.91 o 568 30.80/30.93 o 552 33.09/33.28 o 548 33.09/33.29 o 546 36.71/37.24 o 544 37.31/37.82 o 536 37.31/37.84 o 528 37.62/38.17 o 526 37.71/38.20 o 518 37.71/38.21 o 502 40.30/40.85 o 470 47.49/48.01 o 468 47.49/48.01 o 466 69.94/71.34 o 462 69.94/71.35 o 460 74.32/75.74 o 454 74.32/75.75 o 452 74.32/75.76 o 444 74.52/75.96 o 442 75.12/76.58 o 440 75.22/76.68 o 438 75.22/76.69 o 434 75.81/77.27 o 432 83.71/85.12 o 428 83.71/85.15 o 426 83.80/85.29 o 418 83.80/85.30 o 370 83.90/85.38 o 368 84.40/85.85 o 366 84.40/85.86 o 364 84.40/85.86 o 362 111.15/114.64 o 354 115.43/118.94 o 352 115.43/118.95 o 350 115.43/118.96 o 346 115.43/118.98 o 344 116.04/119.51 o 341 116.04/119.51 o 339 116.94/120.45 o 335 134.61/139.82 o 328 134.61/139.88 o 324 163.60/171.14 o 322 194.71/202.32 o 318 194.71/202.33 o 316 194.71/202.34 o 312 194.71/202.36 o 310 196.30/203.95 o 308 196.30/203.97 o 304 202.77/212.03 o 284 214.42/223.79 o 282 215.32/224.68 o 280 215.32/224.69 o 278 215.42/224.76 o 270 216.32/225.64 o 268 218.12/227.47 o 259 218.12/227.48 o 257 234.70/244.36 o 255 252.57/262.26 o 253 253.76/263.48 o 251 303.47/314.31 o 250 321.77/334.05 o 248 321.77/334.08 o 244 323.95/336.23 o 242 323.95/336.24 o 240 323.95/336.25 o 238 323.95/336.25 o 236 336.02/348.31 o 228 349.66/362.47 o 224 349.66/362.49 o 222 351.16/363.92 o 221 351.16/363.93 o 213 351.16/363.94 o 209 351.28/364.06 o 201 351.28/364.07 o 197 356.36/369.14 o 191 365.13/377.96 o 189 365.13/377.97 o 187 365.13/377.98 o 185 450.71/465.08 o 184 460.57/474.95 o 182 461.57/476.00 o 180 461.69/476.01 o 178 461.69/476.01 o 176 462.47/476.85 o 174 462.57/476.96 o 173 462.87/477.22 o 172 462.87/477.23 o 168 463.96/478.35 o 166 463.96/478.36 o 164 495.54/510.27 o 162 495.54/510.27 o 160 495.54/510.28 o 158 495.54/510.29 o 156 502.57/517.49 o 151 516.43/531.30 o 147 536.73/551.99 o 143 555.38/570.69 o 139 555.48/570.76 o 131 557.08/572.33 o 130 570.53/586.17 o 126 572.42/588.07 o 118 607.91/624.11 o 117 626.50/643.13 o 115 659.45/676.59 o 111 659.45/676.60 o 107 661.25/678.34 o 91 665.24/682.34 o 89 665.24/682.35 o 85 665.24/682.37 o 83 762.81/781.11 o 81 1047.42/1069.01 o 80 1050.91/1072.46 o 78 1062.48/1084.25 o 76 1091.83/1113.83 o 74 1093.03/1115.06 o 72 1093.52/1115.59 o 70 1096.51/1118.54 o 68 1136.42/1158.79 o 66 1136.63/1158.91 o 64 1136.63/1158.92 o 62 1136.63/1158.93 o 58 1180.07/1203.14 o 56 1180.07/1203.15 o 50 1180.07/1203.16 o 48 1188.13/1211.23 o 46 1190.73/1213.88 o 38 1190.83/1213.90 o 36 1198.70/1221.85 o 34 1434.20/1459.14 o 33 1475.39/1500.63 o 29 3527.74/3584.80 o 28 3600.05/3657.90 c Program interrupted by user. 3600.05/3657.90 s SATISFIABLE 3600.05/3657.90 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 28
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 (55765 MiB free)
memory of node 1: 64473 MiB (41113 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441147-1721761055/watcher-4441147-1721761055 -o /tmp/evaluation-result-4441147-1721761055/solver-4441147-1721761055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107565 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441147-1721761055 --seed=1116042674 HOME/instance-4441147-1721761055.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB
solver pid=112974, runsolver pid=112971
[startup+0.100097 s]*
/proc/loadavg: 4.18 4.18 4.18 5/249 112975
/proc/meminfo: memFree=99197168/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=28140 memory=6604 CPUtime=0.1 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 626 0 0 0 10 0 0 0 20 0 1 0 12095419 28815360 1651 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 7035 1651 1155 1006 0 5796 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 6604 KiB
[startup+0.21335 s]*
/proc/loadavg: 4.18 4.18 4.18 5/249 112975
/proc/meminfo: memFree=99190424/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=28140 memory=8908 CPUtime=0.21 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 687 0 0 0 21 0 0 0 20 0 1 0 12095419 28815360 2227 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 7035 2227 1155 1006 0 5796 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 8908 KiB
[startup+0.313391 s]*
/proc/loadavg: 4.18 4.18 4.18 5/249 112975
/proc/meminfo: memFree=99186616/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=28228 memory=8908 CPUtime=0.32 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 718 0 0 0 31 1 0 0 20 0 1 0 12095419 28905472 2227 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 7057 2227 1155 1006 0 5818 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 28228 KiB
Current children cumulated memory: 8908 KiB
[startup+0.700311 s]
/proc/loadavg: 4.18 4.18 4.18 6/249 112975
/proc/meminfo: memFree=99179412/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=28860 memory=9588 CPUtime=0.69 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 872 0 0 0 67 2 0 0 20 0 1 0 12095419 29552640 2397 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 7215 2397 1155 1006 0 5976 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28860 KiB
Current children cumulated memory: 9588 KiB
[startup+1.50033 s]
/proc/loadavg: 4.18 4.18 4.18 5/249 112975
/proc/meminfo: memFree=99160672/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=29548 memory=12268 CPUtime=1.48 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 1039 0 0 0 145 3 0 0 20 0 1 0 12095419 30257152 3067 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 7387 3067 1155 1006 0 6148 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29548 KiB
Current children cumulated memory: 12268 KiB
[startup+3.11296 s]
/proc/loadavg: 4.18 4.18 4.18 5/249 112975
/proc/meminfo: memFree=99090848/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=30292 memory=15116 CPUtime=3.09 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 1244 0 0 0 302 7 0 0 20 0 1 0 12095419 31019008 3779 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 7573 3779 1155 1006 0 6334 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30292 KiB
Current children cumulated memory: 15116 KiB
[startup+6.30033 s]
/proc/loadavg: 4.17 4.18 4.18 5/249 112976
/proc/meminfo: memFree=99012672/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=32440 memory=18900 CPUtime=6.27 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 1815 0 0 0 611 16 0 0 20 0 1 0 12095419 33218560 4725 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 8110 4725 1155 1006 0 6871 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32440 KiB
Current children cumulated memory: 18900 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.17 4.18 5/249 112976
/proc/meminfo: memFree=98889904/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=34344 memory=24720 CPUtime=12.66 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 2301 0 0 0 1238 28 0 0 20 0 1 0 12095419 35168256 6180 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 8586 6180 1155 1006 0 7347 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 24720 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.18 4.18 5/249 112978
/proc/meminfo: memFree=98662304/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=37260 memory=29764 CPUtime=25.41 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 3184 0 0 0 2494 47 0 0 20 0 1 0 12095419 38154240 7441 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 9315 7441 1155 1006 0 8076 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 37260 KiB
Current children cumulated memory: 29764 KiB
[startup+51.1142 s]
/proc/loadavg: 4.48 4.25 4.20 5/264 112998
/proc/meminfo: memFree=97550356/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=39116 memory=31288 CPUtime=50.59 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 3708 0 0 0 4978 81 0 0 20 0 1 0 12095419 40054784 7822 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 36 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 9779 7822 1155 1006 0 8540 0
Current children cumulated CPU time: 50.59 s
Current children cumulated vsize: 39116 KiB
Current children cumulated memory: 31288 KiB
[startup+102.3 s]
/proc/loadavg: 5.03 4.43 4.27 5/266 113223
/proc/meminfo: memFree=103845192/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=40092 memory=32336 CPUtime=98.88 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 4187 0 0 0 9740 148 0 0 20 0 1 0 12095419 41054208 8084 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 313 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10023 8084 1155 1006 0 8784 0
Current children cumulated CPU time: 98.88 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 32336 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.39 4.27 5/266 113234
/proc/meminfo: memFree=102650556/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=40836 memory=35000 CPUtime=157.06 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 4562 0 0 0 15491 215 0 0 20 0 1 0 12095419 41816064 8750 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 481 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10209 8750 1155 1006 0 8970 0
Current children cumulated CPU time: 157.06 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 35000 KiB
[startup+222.3 s]
/proc/loadavg: 4.63 4.43 4.29 5/267 113258
/proc/meminfo: memFree=101580616/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=41180 memory=35472 CPUtime=213.03 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 4666 0 0 0 21025 278 0 0 20 0 1 0 12095419 42168320 8868 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 870 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10295 8868 1155 1006 0 9056 0
Current children cumulated CPU time: 213.03 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 35472 KiB
[startup+282.3 s]
/proc/loadavg: 4.87 4.56 4.35 5/267 113269
/proc/meminfo: memFree=99585448/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=43228 memory=37224 CPUtime=271.95 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 5402 0 0 0 26859 336 0 0 20 0 1 0 12095419 44265472 9306 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 963 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10807 9306 1155 1006 0 9568 0
Current children cumulated CPU time: 271.95 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 37224 KiB
[startup+342.3 s]
/proc/loadavg: 4.32 4.46 4.32 5/267 113280
/proc/meminfo: memFree=98189436/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=43944 memory=37816 CPUtime=330.04 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 5904 0 0 0 32595 409 0 0 20 0 1 0 12095419 44998656 9454 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1140 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10986 9454 1155 1006 0 9747 0
Current children cumulated CPU time: 330.04 s
Current children cumulated vsize: 43944 KiB
Current children cumulated memory: 37816 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.40 4.31 6/247 113337
/proc/meminfo: memFree=103834796/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=43936 memory=37816 CPUtime=388.95 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 6272 0 0 0 38406 489 0 0 20 0 1 0 12095419 44990464 9454 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1233 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10984 9454 1155 1006 0 9745 0
Current children cumulated CPU time: 388.95 s
Current children cumulated vsize: 43936 KiB
Current children cumulated memory: 37816 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.34 4.29 5/247 113393
/proc/meminfo: memFree=102066856/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=43996 memory=38040 CPUtime=448.01 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 6757 0 0 0 44236 565 0 0 20 0 1 0 12095419 45051904 9510 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1311 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 10999 9510 1155 1006 0 9760 0
Current children cumulated CPU time: 448.01 s
################
# More data... #
################
Current children cumulated memory: 53856 KiB
[startup+3042.3 s]
/proc/loadavg: 3.23 3.27 3.62 4/240 114535
/proc/meminfo: memFree=79306684/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=64808 memory=53856 CPUtime=2991.71 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10277 0 0 0 296317 2854 0 0 20 0 1 0 12095419 66363392 13464 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4285 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16202 13464 1155 1006 0 14963 0
Current children cumulated CPU time: 2991.71 s
Current children cumulated vsize: 64808 KiB
Current children cumulated memory: 53856 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.23 3.58 4/241 114546
/proc/meminfo: memFree=78366292/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=64808 memory=53856 CPUtime=3051.14 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10296 0 0 0 302218 2896 0 0 20 0 1 0 12095419 66363392 13464 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4327 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16202 13464 1155 1006 0 14963 0
Current children cumulated CPU time: 3051.14 s
Current children cumulated vsize: 64808 KiB
Current children cumulated memory: 53856 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.22 3.56 4/241 114558
/proc/meminfo: memFree=77453616/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=53876 CPUtime=3108.95 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10349 0 0 0 307961 2934 0 0 20 0 1 0 12095419 66625536 13469 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4531 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13469 1155 1006 0 15027 0
Current children cumulated CPU time: 3108.95 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 53876 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.19 3.52 4/242 114572
/proc/meminfo: memFree=76551196/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54068 CPUtime=3168.59 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10384 0 0 0 313886 2973 0 0 20 0 1 0 12095419 66625536 13517 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4551 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13517 1155 1006 0 15027 0
Current children cumulated CPU time: 3168.59 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54068 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.18 3.50 4/242 114583
/proc/meminfo: memFree=75664348/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54068 CPUtime=3228.13 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10404 0 0 0 319802 3011 0 0 20 0 1 0 12095419 66625536 13517 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4582 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13517 1155 1006 0 15027 0
Current children cumulated CPU time: 3228.13 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54068 KiB
[startup+3342.3 s]
/proc/loadavg: 3.36 3.24 3.50 4/241 114594
/proc/meminfo: memFree=74747584/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54068 CPUtime=3287.6 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10424 0 0 0 325708 3052 0 0 20 0 1 0 12095419 66625536 13517 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4621 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13517 1155 1006 0 15027 0
Current children cumulated CPU time: 3287.6 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54068 KiB
[startup+3402.3 s]
/proc/loadavg: 3.18 3.21 3.47 4/240 114605
/proc/meminfo: memFree=73855332/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54068 CPUtime=3347.32 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10444 0 0 0 331643 3089 0 0 20 0 1 0 12095419 66625536 13517 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4632 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13517 1155 1006 0 15027 0
Current children cumulated CPU time: 3347.32 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54068 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.20 3.45 4/240 114615
/proc/meminfo: memFree=72989844/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54068 CPUtime=3406.97 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10479 0 0 0 337572 3125 0 0 20 0 1 0 12095419 66625536 13517 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4653 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13517 1155 1006 0 15027 0
Current children cumulated CPU time: 3406.97 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54068 KiB
[startup+3522.3 s]
/proc/loadavg: 3.22 3.21 3.44 4/240 115008
/proc/meminfo: memFree=72171196/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54068 CPUtime=3465.88 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10499 0 0 0 343421 3167 0 0 20 0 1 0 12095419 66625536 13517 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4746 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13517 1155 1006 0 15027 0
Current children cumulated CPU time: 3465.88 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54068 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.20 3.42 4/240 115019
/proc/meminfo: memFree=71256940/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54132 CPUtime=3525.24 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10518 0 0 0 349315 3209 0 0 20 0 1 0 12095419 66625536 13533 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4796 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13533 1155 1006 0 15027 0
Current children cumulated CPU time: 3525.24 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54132 KiB
[startup+3642.3 s]
/proc/loadavg: 3.12 3.17 3.40 4/240 115029
/proc/meminfo: memFree=70340384/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65064 memory=54132 CPUtime=3584.49 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10537 0 0 0 355200 3249 0 0 20 0 1 0 12095419 66625536 13533 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4856 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16266 13533 1155 1006 0 15027 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 65064 KiB
Current children cumulated memory: 54132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3657.9 s]
/proc/loadavg: 3.09 3.17 3.39 4/240 115200
/proc/meminfo: memFree=70093368/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=65256 memory=54132 CPUtime=3600.05 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10554 0 0 0 356747 3258 0 0 20 0 1 0 12095419 66822144 13533 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4856 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 16314 13533 1155 1006 0 15075 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 65256 KiB
Current children cumulated memory: 54132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3658.11 s]
# the end of solver process 112974 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3567.47 s, system=32.6217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3658 s]*
/proc/loadavg: 3.09 3.17 3.39 5/241 115201
/proc/meminfo: memFree=70099684/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=34020 memory=29532 CPUtime=3600.07 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) D 112971 112974 107554 0 -1 4194304 10555 0 0 0 356747 3260 0 0 20 0 1 0 12095419 34836480 7383 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4870 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 8505 7383 1170 1006 0 7266 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 34020 KiB
Current children cumulated memory: 29532 KiB
[startup+3658.11 s]
/proc/loadavg: 3.09 3.17 3.39 5/241 115201
/proc/meminfo: memFree=70099684/131655788 swapFree=131067352/131071996
[pid=112974] ppid=112971 vsize=34020 memory=29532 CPUtime=3600.09 cores=4,6
/proc/112974/stat : 112974 (Exact_veripb2) R 112971 112974 107554 0 -1 4194304 10555 0 0 0 356747 3262 0 0 20 0 1 0 12095419 34836480 7383 134679101440 4194304 8311665 140729093671488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4884 0 0 9173656 9252184 21250048 140729093677896 140729093678176 140729093678176 140729093685191 0
/proc/112974/statm: 8505 7383 1170 1006 0 7266 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 34020 KiB
Current children cumulated memory: 29532 KiB
Child status: 10
Real time (s): 3658.11
CPU time (s): 3600.1
CPU user time (s): 3567.47
CPU system time (s): 32.6217
CPU usage (%): 98.414
Max. virtual memory (cumulated for all children) (KiB): 65256
Max. memory (cumulated for all children) (KiB): 54132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.47
system time used= 32.6217
maximum resident set size= 58256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10556
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45100848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5181
involuntary context switches= 4840
# summary of solver processes directly reported to runsolver:
# pid: 112974
# total CPU time (s): 3600.1
# total CPU user time (s): 3567.47
# total CPU system time (s): 32.6217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1114 second user time and 31.9436 second system time
The end
Begin job on nodeC009 at 2024-07-23 20:57:36 IDJOB=4441147 IDBENCH=147586 IDSOLVER=3081 FILE ID=nodeC009/4441147-1721761055 RUNJOBID= nodeC009-1721752159-107565 SLURM_JOB_ID= 7770655 Free space on /tmp= 723736 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441147-1721761055/watcher-4441147-1721761055 -o /tmp/evaluation-result-4441147-1721761055/solver-4441147-1721761055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107565 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441147-1721761055 --seed=1116042674 HOME/instance-4441147-1721761055.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=1116042674 nodeC009.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 : 3676.454 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.96 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 : 3657.816 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.36 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.419 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.96 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.380 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.36 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 : 2993.175 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.96 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 : 3577.808 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.36 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.255 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.96 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.384 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 99204164 kB MemAvailable: 126816048 kB Buffers: 173884 kB Cached: 28239952 kB SwapCached: 3620 kB Active: 1066240 kB Inactive: 30805060 kB Active(anon): 1744 kB Inactive(anon): 3493268 kB Active(file): 1064496 kB Inactive(file): 27311792 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131067352 kB Dirty: 168272 kB Writeback: 20 kB AnonPages: 3449832 kB Mapped: 101148 kB Shmem: 37508 kB KReclaimable: 151592 kB Slab: 256064 kB SReclaimable: 151592 kB SUnreclaim: 104472 kB KernelStack: 3968 kB PageTables: 16264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4245924 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 2566144 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: 285512 kB DirectMap2M: 27930624 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723752 MiB End job on nodeC009 at 2024-07-23 21:58:34