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) | 5 | 3600.05 | 3643.18 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | d93197574d7bf829fc84498a7cd9d0ce |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3583.48 |
| 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 | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| 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.02 o 1033 0.28/0.39 o 1031 0.28/0.39 o 1029 0.28/0.39 o 1027 0.28/0.39 o 1023 0.28/0.40 o 1021 0.38/0.49 o 1020 0.38/0.49 o 1018 0.38/0.50 o 1014 0.48/0.51 o 1012 0.48/0.51 o 996 0.48/0.51 o 992 0.57/0.61 o 991 0.57/0.61 o 989 0.66/0.73 o 987 0.66/0.73 o 985 0.66/0.76 o 983 1.56/1.67 o 981 1.56/1.67 o 977 2.36/2.47 o 975 2.36/2.48 o 973 2.46/2.57 o 971 2.56/2.60 o 969 2.66/2.72 o 967 4.76/4.81 o 965 4.76/4.82 o 933 4.96/5.01 o 931 4.96/5.02 o 927 4.96/5.04 o 923 4.96/5.05 o 921 4.96/5.05 o 919 4.96/5.05 o 915 5.06/5.15 o 914 5.06/5.15 o 912 5.06/5.15 o 911 5.06/5.16 o 909 5.06/5.17 o 905 5.15/5.28 o 903 5.25/5.30 o 902 5.25/5.30 o 900 5.25/5.30 o 898 5.35/5.42 o 896 5.35/5.42 o 892 5.35/5.42 o 828 5.35/5.43 o 812 5.35/5.47 o 684 5.35/5.47 o 682 5.45/5.57 o 618 5.45/5.59 o 614 5.45/5.59 o 606 5.45/5.59 o 604 5.55/5.60 o 596 5.55/5.60 o 594 5.65/5.79 o 590 5.76/5.82 o 588 5.76/5.83 o 572 6.15/6.21 o 557 6.15/6.21 o 541 7.15/7.21 o 538 7.15/7.21 o 534 7.15/7.21 o 532 10.84/10.91 o 528 10.84/10.91 o 526 10.84/10.92 o 522 10.84/10.92 o 518 10.84/10.92 o 486 10.84/10.92 o 478 10.84/10.94 o 476 10.84/10.97 o 467 10.84/10.97 o 459 10.84/10.99 o 455 11.04/11.12 o 453 11.04/11.12 o 445 11.84/11.99 o 437 11.94/12.01 o 435 11.94/12.01 o 431 11.94/12.01 o 367 11.94/12.06 o 366 11.94/12.06 o 364 12.04/12.12 o 362 12.04/12.12 o 358 12.04/12.13 o 351 12.04/12.13 o 349 12.04/12.16 o 347 12.04/12.19 o 345 12.13/12.21 o 343 12.13/12.21 o 339 12.13/12.21 o 335 12.13/12.23 o 333 12.34/12.40 o 332 12.34/12.43 o 330 12.34/12.48 o 328 12.54/12.65 o 326 12.54/12.65 o 324 12.54/12.65 o 320 12.54/12.69 o 319 12.54/12.69 o 317 12.54/12.69 o 315 12.64/12.77 o 313 12.84/12.95 o 311 13.14/13.25 o 309 13.14/13.26 o 308 13.14/13.26 o 306 13.14/13.26 o 302 13.14/13.27 o 298 13.14/13.28 o 296 13.14/13.28 o 288 13.14/13.28 o 284 13.14/13.28 o 282 13.24/13.33 o 280 13.24/13.33 o 276 13.24/13.37 o 274 13.24/13.37 o 272 13.24/13.37 o 270 13.34/13.44 o 268 13.44/13.51 o 265 14.83/14.95 o 263 14.83/14.95 o 261 15.14/15.29 o 260 15.14/15.29 o 258 15.23/15.30 o 256 18.93/19.08 o 254 18.93/19.09 o 250 18.93/19.09 o 242 19.03/19.11 o 241 19.03/19.11 o 237 19.12/19.29 o 235 19.62/19.78 o 233 19.72/19.81 o 231 19.72/19.82 o 229 19.72/19.82 o 223 19.72/19.82 o 221 19.72/19.83 o 215 19.72/19.84 o 213 19.82/19.91 o 211 21.03/21.17 o 207 21.03/21.17 o 205 21.12/21.23 o 177 21.12/21.24 o 169 21.12/21.27 o 167 21.22/21.30 o 165 21.22/21.30 o 161 21.62/21.70 o 154 21.62/21.70 o 150 21.62/21.70 o 146 21.62/21.74 o 144 22.22/22.35 o 142 23.41/23.57 o 140 23.41/23.59 o 138 23.41/23.59 o 136 23.41/23.59 o 134 23.41/23.59 o 132 23.51/23.67 o 124 23.51/23.68 o 122 23.61/23.78 o 120 23.81/23.98 o 118 23.81/23.98 o 114 23.92/24.09 o 113 23.92/24.09 o 109 24.01/24.10 o 107 24.01/24.13 o 106 24.01/24.13 o 104 24.01/24.14 o 102 24.11/24.24 o 101 24.11/24.24 o 97 24.11/24.24 o 89 24.41/24.53 o 85 24.41/24.55 o 84 24.41/24.55 o 82 24.41/24.56 o 66 24.41/24.57 o 58 24.41/24.57 o 56 24.51/24.66 o 54 24.51/24.66 o 52 24.51/24.66 o 50 24.51/24.66 o 46 24.51/24.66 o 44 24.71/24.85 o 40 26.91/27.08 o 39 28.20/28.30 o 38 28.20/28.30 o 36 30.60/30.72 o 35 33.69/33.84 o 33 33.69/33.85 o 29 34.79/35.74 o 27 34.79/35.74 o 23 34.79/35.75 o 19 54.92/55.91 o 18 60.90/61.97 o 17 60.90/61.97 o 15 69.70/71.44 o 13 279.94/285.85 o 9 940.49/962.24 o 8 948.98/971.00 o 6 1191.84/1216.39 o 5 3600.02/3643.10 c Program interrupted by user. 3600.02/3643.10 s SATISFIABLE 3600.02/3643.10 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
OK 5
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 (44865 MiB free)
memory of node 1: 64510 MiB (53337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440740-1721760215/watcher-4440740-1721760215 -o /tmp/evaluation-result-4440740-1721760215/solver-4440740-1721760215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721751754-113448 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440740-1721760215 --seed=988840420 HOME/instance-4440740-1721760215.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=118575, runsolver pid=118572
[startup+0.100872 s]*
/proc/loadavg: 4.16 4.22 4.16 5/262 118576
/proc/meminfo: memFree=100543408/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=26116 memory=4620 CPUtime=0.08 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 407 0 0 0 8 0 0 0 20 0 1 0 12544405 26742784 1155 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 6529 1155 850 747 0 5592 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26116 KiB
Current children cumulated memory: 4620 KiB
[startup+0.205459 s]*
/proc/loadavg: 4.16 4.22 4.16 5/262 118576
/proc/meminfo: memFree=100526944/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=26372 memory=5076 CPUtime=0.18 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 563 0 0 0 18 0 0 0 20 0 1 0 12544405 27004928 1269 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 6593 1269 850 747 0 5656 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26372 KiB
Current children cumulated memory: 5076 KiB
[startup+0.305195 s]*
/proc/loadavg: 4.16 4.22 4.16 5/262 118576
/proc/meminfo: memFree=100512160/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=26764 memory=7588 CPUtime=0.28 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 677 0 0 0 28 0 0 0 20 0 1 0 12544405 27406336 1897 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 6691 1897 850 747 0 5754 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 26764 KiB
Current children cumulated memory: 7588 KiB
[startup+0.700172 s]
/proc/loadavg: 4.16 4.22 4.16 5/262 118576
/proc/meminfo: memFree=100482532/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=27044 memory=7848 CPUtime=0.66 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 731 0 0 0 66 0 0 0 20 0 1 0 12544405 27693056 1962 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 6761 1962 850 747 0 5824 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 27044 KiB
Current children cumulated memory: 7848 KiB
[startup+1.5002 s]
/proc/loadavg: 4.16 4.22 4.16 5/262 118576
/proc/meminfo: memFree=100414556/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=28060 memory=10932 CPUtime=1.47 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 979 0 0 0 146 1 0 0 20 0 1 0 12544405 28733440 2733 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 7015 2733 850 747 0 6078 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 28060 KiB
Current children cumulated memory: 10932 KiB
[startup+3.10501 s]
/proc/loadavg: 4.15 4.21 4.16 5/262 118576
/proc/meminfo: memFree=100141312/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=29392 memory=11980 CPUtime=3.07 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 1251 0 0 0 305 2 0 0 20 0 1 0 12544405 30097408 2995 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 7348 2995 850 747 0 6411 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 29392 KiB
Current children cumulated memory: 11980 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.21 4.16 4/262 118576
/proc/meminfo: memFree=100037964/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=31176 memory=15588 CPUtime=6.25 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 1656 0 0 0 621 4 0 0 20 0 1 0 12544405 31924224 3897 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 7794 3897 850 747 0 6857 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 31176 KiB
Current children cumulated memory: 15588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.21 4.16 5/262 118578
/proc/meminfo: memFree=99907508/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=31656 memory=18184 CPUtime=12.64 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 1981 0 0 0 1254 10 0 0 20 0 1 0 12544405 32415744 4546 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 7914 4546 850 747 0 6977 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 31656 KiB
Current children cumulated memory: 18184 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.20 4.16 5/262 118579
/proc/meminfo: memFree=99460716/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=32584 memory=18708 CPUtime=25.41 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 2176 0 0 0 2522 19 0 0 20 0 1 0 12544405 33366016 4677 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8146 4677 850 747 0 7209 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 32584 KiB
Current children cumulated memory: 18708 KiB
[startup+51.1048 s]
/proc/loadavg: 4.26 4.23 4.17 5/262 118584
/proc/meminfo: memFree=98579292/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=33596 memory=21824 CPUtime=50.14 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 2598 0 0 0 4983 31 0 0 20 0 1 0 12544405 34402304 5456 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 81 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8399 5456 850 747 0 7462 0
Current children cumulated CPU time: 50.14 s
Current children cumulated vsize: 33596 KiB
Current children cumulated memory: 21824 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/261 118595
/proc/meminfo: memFree=96931932/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=33744 memory=22216 CPUtime=100.02 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 3312 0 0 0 9953 49 0 0 20 0 1 0 12544405 34553856 5554 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 199 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8436 5554 850 747 0 7499 0
Current children cumulated CPU time: 100.02 s
Current children cumulated vsize: 33744 KiB
Current children cumulated memory: 22216 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/259 118606
/proc/meminfo: memFree=95413476/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=34064 memory=22560 CPUtime=158.48 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 4102 0 0 0 15779 69 0 0 20 0 1 0 12544405 34881536 5640 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 337 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8516 5640 850 747 0 7579 0
Current children cumulated CPU time: 158.48 s
Current children cumulated vsize: 34064 KiB
Current children cumulated memory: 22560 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/259 118617
/proc/meminfo: memFree=94060764/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=34384 memory=22888 CPUtime=217.55 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 4710 0 0 0 21668 87 0 0 20 0 1 0 12544405 35209216 5722 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 417 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8596 5722 850 747 0 7659 0
Current children cumulated CPU time: 217.55 s
Current children cumulated vsize: 34384 KiB
Current children cumulated memory: 22888 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.18 4.17 5/260 118630
/proc/meminfo: memFree=92756236/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=34908 memory=23164 CPUtime=276.45 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 5514 0 0 0 27541 104 0 0 20 0 1 0 12544405 35745792 5791 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 511 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8727 5791 850 747 0 7790 0
Current children cumulated CPU time: 276.45 s
Current children cumulated vsize: 34908 KiB
Current children cumulated memory: 23164 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.19 4.17 5/259 118641
/proc/meminfo: memFree=90349556/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=35228 memory=23548 CPUtime=335.84 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 6294 0 0 0 33463 121 0 0 20 0 1 0 12544405 36073472 5887 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 557 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8807 5887 850 747 0 7870 0
Current children cumulated CPU time: 335.84 s
Current children cumulated vsize: 35228 KiB
Current children cumulated memory: 23548 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/261 118653
/proc/meminfo: memFree=88975344/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=35548 memory=23812 CPUtime=395.04 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 7076 0 0 0 39366 138 0 0 20 0 1 0 12544405 36401152 5953 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 623 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8887 5953 850 747 0 7950 0
Current children cumulated CPU time: 395.04 s
Current children cumulated vsize: 35548 KiB
Current children cumulated memory: 23812 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/263 118667
/proc/meminfo: memFree=86763460/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=35408 memory=23948 CPUtime=453.07 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 7602 0 0 0 45154 153 0 0 20 0 1 0 12544405 36257792 5987 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 805 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 8852 5987 850 747 0 7915 0
################
# More data... #
################
Current children cumulated memory: 26196 KiB
[startup+2982.3 s]
/proc/loadavg: 1.14 2.29 3.31 2/241 120418
/proc/meminfo: memFree=115417004/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37008 memory=26196 CPUtime=2944.39 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 36692 0 0 0 293680 759 0 0 20 0 1 0 12544405 37896192 6549 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3015 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9252 6549 850 747 0 8315 0
Current children cumulated CPU time: 2944.39 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 26196 KiB
[startup+3042.3 s]
/proc/loadavg: 1.16 2.09 3.17 2/241 120428
/proc/meminfo: memFree=115272556/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37008 memory=26196 CPUtime=3002.3 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 37310 0 0 0 299461 769 0 0 20 0 1 0 12544405 37896192 6549 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3211 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9252 6549 850 747 0 8315 0
Current children cumulated CPU time: 3002.3 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 26196 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.90 3.04 2/239 120440
/proc/meminfo: memFree=115126844/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37008 memory=26196 CPUtime=3061.89 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 37929 0 0 0 305409 780 0 0 20 0 1 0 12544405 37896192 6549 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3238 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9252 6549 850 747 0 8315 0
Current children cumulated CPU time: 3061.89 s
Current children cumulated vsize: 37008 KiB
Current children cumulated memory: 26196 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.75 2.91 2/237 120450
/proc/meminfo: memFree=114979296/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37072 memory=26260 CPUtime=3121.59 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 38650 0 0 0 311368 791 0 0 20 0 1 0 12544405 37961728 6565 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3255 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9268 6565 850 747 0 8331 0
Current children cumulated CPU time: 3121.59 s
Current children cumulated vsize: 37072 KiB
Current children cumulated memory: 26260 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.64 2.80 2/237 120460
/proc/meminfo: memFree=114834316/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37072 memory=26260 CPUtime=3181.16 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 39269 0 0 0 317312 804 0 0 20 0 1 0 12544405 37961728 6565 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3286 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9268 6565 850 747 0 8331 0
Current children cumulated CPU time: 3181.16 s
Current children cumulated vsize: 37072 KiB
Current children cumulated memory: 26260 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.54 2.69 2/237 120473
/proc/meminfo: memFree=114695292/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37072 memory=26260 CPUtime=3240.83 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 39887 0 0 0 323267 816 0 0 20 0 1 0 12544405 37961728 6565 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3305 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9268 6565 850 747 0 8331 0
Current children cumulated CPU time: 3240.83 s
Current children cumulated vsize: 37072 KiB
Current children cumulated memory: 26260 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.47 2.59 2/237 120484
/proc/meminfo: memFree=114555336/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3300.62 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 40522 0 0 0 329235 827 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3312 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3300.62 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.41 2.50 2/237 120495
/proc/meminfo: memFree=114409284/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3360.35 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 41140 0 0 0 335197 838 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3327 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3360.35 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.35 2.41 2/240 120510
/proc/meminfo: memFree=114265628/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3419.95 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 41759 0 0 0 341146 849 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3353 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3419.95 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.31 2.33 2/240 120523
/proc/meminfo: memFree=114122104/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3479.7 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 42378 0 0 0 347110 860 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3366 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3479.7 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.27 2.25 2/240 120534
/proc/meminfo: memFree=113968760/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3539.42 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 42997 0 0 0 353069 873 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3379 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3539.42 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
[startup+3642.3 s]
/proc/loadavg: 1.15 1.25 2.18 2/240 120545
/proc/meminfo: memFree=113821716/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3599.22 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 43616 0 0 0 359038 884 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3387 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3599.22 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3643.1 s]
/proc/loadavg: 1.15 1.25 2.18 2/240 120545
/proc/meminfo: memFree=113818860/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3600.02 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 43616 0 0 0 359118 884 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3387 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3643.18 s]
# the end of solver process 118575 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.19 s, system=8.85765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3643.1 s]
/proc/loadavg: 1.15 1.25 2.18 2/240 120545
/proc/meminfo: memFree=113818860/131524600 swapFree=131071984/131071996
[pid=118575] ppid=118572 vsize=37136 memory=26324 CPUtime=3600.02 cores=5,7
/proc/118575/stat : 118575 (Exact_veripb2_n) R 118572 118575 113435 0 -1 4194304 43616 0 0 0 359118 884 0 0 20 0 1 0 12544405 38027264 6581 134679101440 4194304 7250417 140733414723152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3387 0 0 7950792 8015128 33550336 140733414728503 140733414728791 140733414728791 140733414735806 0
/proc/118575/statm: 9284 6581 850 747 0 8347 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 26324 KiB
Child status: 10
Real time (s): 3643.18
CPU time (s): 3600.05
CPU user time (s): 3591.19
CPU system time (s): 8.85765
CPU usage (%): 98.8162
Max. virtual memory (cumulated for all children) (KiB): 37484
Max. memory (cumulated for all children) (KiB): 26456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.19
system time used= 8.85764
maximum resident set size= 26584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20204816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1225
involuntary context switches= 4854
# summary of solver processes directly reported to runsolver:
# pid: 118575
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.19
# total CPU system time (s): 8.85765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66409 second user time and 13.8002 second system time
The end
Begin job on nodeC022 at 2024-07-23 20:43:35 IDJOB=4440740 IDBENCH=147594 IDSOLVER=3080 FILE ID=nodeC022/4440740-1721760215 RUNJOBID= nodeC022-1721751754-113448 SLURM_JOB_ID= 7770643 Free space on /tmp= 890052 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_6_50_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-4440740-1721760215/watcher-4440740-1721760215 -o /tmp/evaluation-result-4440740-1721760215/solver-4440740-1721760215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721751754-113448 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440740-1721760215 --seed=988840420 HOME/instance-4440740-1721760215.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce RANDOM SEED=988840420 nodeC022.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 : 3600.739 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.866 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 : 7006.75 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 : 3668.894 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.646 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 : 7006.75 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 : 3668.923 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3647.096 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 : 7006.75 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 : 3599.953 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.524 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 100562636 kB MemAvailable: 127459556 kB Buffers: 183200 kB Cached: 27438836 kB SwapCached: 0 kB Active: 1164504 kB Inactive: 28993116 kB Active(anon): 1560 kB Inactive(anon): 2571828 kB Active(file): 1162944 kB Inactive(file): 26421288 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071984 kB Dirty: 712576 kB Writeback: 4 kB AnonPages: 2534872 kB Mapped: 113052 kB Shmem: 37712 kB KReclaimable: 304672 kB Slab: 440128 kB SReclaimable: 304672 kB SUnreclaim: 135456 kB KernelStack: 4240 kB PageTables: 14068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3060304 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21344 kB HardwareCorrupted: 0 kB AnonHugePages: 2349056 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: 31981568 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890080 MiB End job on nodeC022 at 2024-07-23 21:44:18