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) | 8 | 3600.02 | 3633.36 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| 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 | 3600.07 |
| 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 | 64 |
| 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 | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| 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.00 o 651 0.68/0.77 o 647 0.68/0.77 o 643 0.68/0.77 o 635 0.77/0.81 o 619 0.77/0.81 o 491 0.77/0.83 o 487 0.77/0.83 o 485 0.87/0.94 o 453 0.87/0.94 o 451 1.17/1.20 o 437 1.17/1.20 o 435 1.17/1.21 o 433 1.17/1.21 o 429 1.17/1.21 o 413 1.17/1.24 o 405 1.17/1.25 o 401 1.17/1.25 o 397 1.17/1.25 o 393 1.17/1.26 o 377 1.17/1.26 o 375 1.17/1.26 o 373 1.17/1.27 o 369 2.09/2.14 o 367 2.09/2.14 o 365 2.09/2.14 o 361 2.47/2.52 o 355 2.47/2.56 o 353 2.47/2.56 o 349 2.57/2.65 o 333 2.57/2.66 o 285 2.57/2.67 o 281 2.57/2.67 o 273 2.57/2.67 o 269 2.68/2.71 o 237 2.87/2.96 o 233 3.67/3.76 o 229 3.67/3.77 o 224 3.67/3.77 o 222 3.77/3.85 o 206 3.77/3.85 o 204 3.77/3.88 o 202 3.77/3.89 o 200 3.77/3.89 o 198 3.77/3.89 o 192 3.77/3.89 o 190 3.87/3.91 o 186 3.87/3.91 o 184 3.87/3.98 o 182 3.87/3.99 o 166 4.46/4.55 o 165 5.76/5.82 o 161 5.97/6.10 o 157 6.36/6.46 o 141 6.86/6.94 o 140 8.15/8.29 o 138 8.35/8.42 o 136 8.35/8.42 o 134 8.35/8.43 o 130 8.35/8.43 o 128 8.45/8.59 o 126 8.86/8.94 o 124 8.86/8.94 o 122 8.86/8.96 o 120 8.86/8.96 o 112 8.86/8.96 o 108 9.55/9.69 o 106 9.66/9.70 o 98 10.45/10.53 o 80 13.15/13.27 o 78 13.54/13.60 o 77 13.54/13.60 o 73 14.74/14.85 o 72 14.74/14.85 o 70 14.74/14.85 o 66 18.43/18.59 o 64 18.43/18.59 o 62 18.43/18.59 o 60 18.53/18.60 o 56 18.53/18.61 o 52 18.95/19.02 o 51 19.43/19.55 o 49 19.83/19.92 o 48 20.22/20.33 o 47 20.22/20.34 o 39 20.82/20.98 o 38 23.81/23.95 o 36 23.81/23.99 o 34 23.92/24.06 o 18 72.28/75.03 o 16 158.20/161.85 o 14 160.69/164.38 o 10 734.98/743.10 o 9 2688.32/2712.80 o 8 3600.00/3633.30 c Program interrupted by user. 3600.00/3633.30 s SATISFIABLE 3600.00/3633.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 x100 x101 x102 x103 x104 -x105 x106 x107 -x108 -x109 x110 x111 x112 x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 x124 x125 x126 -x127 x128 -x129 x130 -x131 -x132 x133 -x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146
OK 8
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 (35358 MiB free)
memory of node 1: 64473 MiB (59837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440741-1721761556/watcher-4440741-1721761556 -o /tmp/evaluation-result-4440741-1721761556/solver-4440741-1721761556 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105173 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440741-1721761556 --seed=1421584426 HOME/instance-4440741-1721761556.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=110915, runsolver pid=110912
[startup+0.100155 s]*
/proc/loadavg: 4.09 4.18 4.23 5/250 110916
/proc/meminfo: memFree=97478056/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=26080 memory=4352 CPUtime=0.09 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 356 0 0 0 9 0 0 0 20 0 1 0 12145083 26705920 1088 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 6520 1088 850 747 0 5583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26080 KiB
Current children cumulated memory: 4352 KiB
[startup+0.210188 s]*
/proc/loadavg: 4.09 4.18 4.23 5/250 110916
/proc/meminfo: memFree=97476628/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=26080 memory=4616 CPUtime=0.2 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 407 0 0 0 20 0 0 0 20 0 1 0 12145083 26705920 1154 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 6520 1154 850 747 0 5583 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26080 KiB
Current children cumulated memory: 4616 KiB
[startup+0.309976 s]*
/proc/loadavg: 4.09 4.18 4.23 5/250 110916
/proc/meminfo: memFree=97473880/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=26080 memory=6664 CPUtime=0.3 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 451 0 0 0 30 0 0 0 20 0 1 0 12145083 26705920 1666 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 6520 1666 850 747 0 5583 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26080 KiB
Current children cumulated memory: 6664 KiB
[startup+0.700305 s]
/proc/loadavg: 4.09 4.18 4.23 5/250 110916
/proc/meminfo: memFree=97471116/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=26272 memory=6980 CPUtime=0.68 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 495 0 0 0 68 0 0 0 20 0 1 0 12145083 26902528 1745 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 6568 1745 850 747 0 5631 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26272 KiB
Current children cumulated memory: 6980 KiB
[startup+1.50029 s]
/proc/loadavg: 4.09 4.18 4.23 5/250 110916
/proc/meminfo: memFree=97465040/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=26864 memory=7604 CPUtime=1.48 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 642 0 0 0 147 1 0 0 20 0 1 0 12145083 27508736 1901 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 6716 1901 850 747 0 5779 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26864 KiB
Current children cumulated memory: 7604 KiB
[startup+3.1139 s]
/proc/loadavg: 4.09 4.18 4.23 5/250 110917
/proc/meminfo: memFree=97419056/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=28208 memory=12820 CPUtime=3.09 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 956 0 0 0 307 2 0 0 20 0 1 0 12145083 28884992 3205 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 7052 3205 850 747 0 6115 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28208 KiB
Current children cumulated memory: 12820 KiB
[startup+6.30029 s]
/proc/loadavg: 4.09 4.17 4.23 5/250 110917
/proc/meminfo: memFree=97376688/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=29920 memory=16376 CPUtime=6.26 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 1358 0 0 0 623 3 0 0 20 0 1 0 12145083 30638080 4094 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 7480 4094 850 747 0 6543 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 29920 KiB
Current children cumulated memory: 16376 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.17 4.22 5/250 110919
/proc/meminfo: memFree=97279760/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=30648 memory=19248 CPUtime=12.65 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 1604 0 0 0 1257 8 0 0 20 0 1 0 12145083 31383552 4812 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 7662 4812 850 747 0 6725 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30648 KiB
Current children cumulated memory: 19248 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.16 4.22 5/250 110920
/proc/meminfo: memFree=97100732/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=31416 memory=20000 CPUtime=25.4 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 1929 0 0 0 2527 13 0 0 20 0 1 0 12145083 32169984 5000 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 7854 5000 850 747 0 6917 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 20000 KiB
[startup+51.1138 s]
/proc/loadavg: 4.12 4.16 4.22 5/250 110924
/proc/meminfo: memFree=96839260/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=32324 memory=20800 CPUtime=48.85 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 2321 0 0 0 4860 25 0 0 20 0 1 0 12145083 33099776 5200 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 208 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8081 5200 850 747 0 7144 0
Current children cumulated CPU time: 48.85 s
Current children cumulated vsize: 32324 KiB
Current children cumulated memory: 20800 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.21 5/242 110934
/proc/meminfo: memFree=96116808/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=32760 memory=21392 CPUtime=99.22 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 3035 0 0 0 9878 44 0 0 20 0 1 0 12145083 33546240 5348 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 275 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8190 5348 850 747 0 7253 0
Current children cumulated CPU time: 99.22 s
Current children cumulated vsize: 32760 KiB
Current children cumulated memory: 21392 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.20 5/242 110944
/proc/meminfo: memFree=94636280/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=33336 memory=21940 CPUtime=158.7 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 3963 0 0 0 15804 66 0 0 20 0 1 0 12145083 34136064 5485 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 308 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8334 5485 850 747 0 7397 0
Current children cumulated CPU time: 158.7 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 21940 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.19 5/242 110954
/proc/meminfo: memFree=93812720/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=33720 memory=22336 CPUtime=218.24 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 4763 0 0 0 21738 86 0 0 20 0 1 0 12145083 34529280 5584 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 337 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8430 5584 850 747 0 7493 0
Current children cumulated CPU time: 218.24 s
Current children cumulated vsize: 33720 KiB
Current children cumulated memory: 22336 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.18 4/244 110969
/proc/meminfo: memFree=92879680/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=34040 memory=22704 CPUtime=277.41 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 5642 0 0 0 27638 103 0 0 20 0 1 0 12145083 34856960 5676 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 402 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8510 5676 850 747 0 7573 0
Current children cumulated CPU time: 277.41 s
Current children cumulated vsize: 34040 KiB
Current children cumulated memory: 22704 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.17 5/244 111025
/proc/meminfo: memFree=96293660/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=34360 memory=23036 CPUtime=337.07 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 6339 0 0 0 33589 118 0 0 20 0 1 0 12145083 35184640 5759 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 419 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8590 5759 850 747 0 7653 0
Current children cumulated CPU time: 337.07 s
Current children cumulated vsize: 34360 KiB
Current children cumulated memory: 23036 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.17 5/244 111035
/proc/meminfo: memFree=95462196/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=34424 memory=23100 CPUtime=396.56 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 6968 0 0 0 39520 136 0 0 20 0 1 0 12145083 35250176 5775 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 453 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8606 5775 850 747 0 7669 0
Current children cumulated CPU time: 396.56 s
Current children cumulated vsize: 34424 KiB
Current children cumulated memory: 23100 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.16 5/246 111188
/proc/meminfo: memFree=99693212/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=34692 memory=23172 CPUtime=456.18 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 7532 0 0 0 45466 152 0 0 20 0 1 0 12145083 35524608 5793 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 476 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 8673 5793 850 747 0 7736 0
################
# More data... #
################
Current children cumulated memory: 28004 KiB
[startup+2922.3 s]
/proc/loadavg: 3.20 3.27 3.39 4/237 112331
/proc/meminfo: memFree=103222744/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=2896.7 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 34785 0 0 0 288936 734 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1772 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 2896.7 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+2982.3 s]
/proc/loadavg: 3.63 3.36 3.42 4/236 112723
/proc/meminfo: memFree=102679796/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=2955.23 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 35404 0 0 0 294776 747 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1904 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 2955.23 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+3042.3 s]
/proc/loadavg: 3.52 3.40 3.43 4/236 112733
/proc/meminfo: memFree=102137072/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=3014.96 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 36110 0 0 0 300737 759 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1916 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 3014.96 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+3102.3 s]
/proc/loadavg: 3.19 3.32 3.40 4/236 112744
/proc/meminfo: memFree=101632368/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=3074.67 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 36729 0 0 0 306697 770 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1929 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 3074.67 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+3162.3 s]
/proc/loadavg: 3.17 3.29 3.38 4/238 112924
/proc/meminfo: memFree=101104224/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=3134.33 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 37348 0 0 0 312650 783 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1948 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 3134.33 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.25 3.36 4/238 112934
/proc/meminfo: memFree=100583208/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=3194.06 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 37967 0 0 0 318610 796 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1960 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 3194.06 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.22 3.34 4/238 112947
/proc/meminfo: memFree=100058108/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=36920 memory=28004 CPUtime=3253.79 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 38586 0 0 0 324570 809 0 0 20 0 1 0 12145083 37806080 7001 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1971 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9230 7001 850 747 0 8293 0
Current children cumulated CPU time: 3253.79 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 28004 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.21 3.33 4/238 112969
/proc/meminfo: memFree=99531612/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37048 memory=28132 CPUtime=3313.53 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 39237 0 0 0 330530 823 0 0 20 0 1 0 12145083 37937152 7033 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1982 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9262 7033 850 747 0 8325 0
Current children cumulated CPU time: 3313.53 s
Current children cumulated vsize: 37048 KiB
Current children cumulated memory: 28132 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.18 3.31 4/238 112980
/proc/meminfo: memFree=99011152/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37048 memory=28132 CPUtime=3373.24 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 39856 0 0 0 336488 836 0 0 20 0 1 0 12145083 37937152 7033 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1996 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9262 7033 850 747 0 8325 0
Current children cumulated CPU time: 3373.24 s
Current children cumulated vsize: 37048 KiB
Current children cumulated memory: 28132 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.18 3.30 4/236 112991
/proc/meminfo: memFree=98497248/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37048 memory=28132 CPUtime=3432.96 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 40562 0 0 0 342446 850 0 0 20 0 1 0 12145083 37937152 7033 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2008 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9262 7033 850 747 0 8325 0
Current children cumulated CPU time: 3432.96 s
Current children cumulated vsize: 37048 KiB
Current children cumulated memory: 28132 KiB
[startup+3522.3 s]
/proc/loadavg: 3.19 3.18 3.29 4/236 113001
/proc/meminfo: memFree=98000136/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37112 memory=28196 CPUtime=3492.68 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 41197 0 0 0 348406 862 0 0 20 0 1 0 12145083 38002688 7049 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2020 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9278 7049 850 747 0 8341 0
Current children cumulated CPU time: 3492.68 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 28196 KiB
[startup+3582.3 s]
/proc/loadavg: 3.19 3.17 3.28 4/235 113011
/proc/meminfo: memFree=97476756/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37112 memory=28196 CPUtime=3552.41 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 41816 0 0 0 354365 876 0 0 20 0 1 0 12145083 38002688 7049 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2031 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9278 7049 850 747 0 8341 0
Current children cumulated CPU time: 3552.41 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 28196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3633.3 s]
/proc/loadavg: 3.22 3.18 3.27 4/235 113020
/proc/meminfo: memFree=97062532/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37112 memory=28196 CPUtime=3600 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 42261 0 0 0 359113 887 0 0 20 0 1 0 12145083 38002688 7049 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2359 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9278 7049 850 747 0 8341 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 28196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3633.36 s]
# the end of solver process 110915 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.14 s, system=8.87482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3633.3 s]
/proc/loadavg: 3.22 3.18 3.27 4/235 113020
/proc/meminfo: memFree=97062532/131655788 swapFree=131070960/131071996
[pid=110915] ppid=110912 vsize=37112 memory=28196 CPUtime=3600 cores=1,3
/proc/110915/stat : 110915 (Exact_veripb2_n) R 110912 110915 105161 0 -1 4194304 42261 0 0 0 359113 887 0 0 20 0 1 0 12145083 38002688 7049 134679101440 4194304 7250417 140726875951024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2359 0 0 7950792 8015128 26279936 140726875956026 140726875956315 140726875956315 140726875963326 0
/proc/110915/statm: 9278 7049 850 747 0 8341 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 28196 KiB
Child status: 10
Real time (s): 3633.36
CPU time (s): 3600.02
CPU user time (s): 3591.14
CPU system time (s): 8.87482
CPU usage (%): 99.0824
Max. virtual memory (cumulated for all children) (KiB): 37112
Max. memory (cumulated for all children) (KiB): 28196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.14
system time used= 8.87482
maximum resident set size= 28456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21074744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 579
involuntary context switches= 8778
# summary of solver processes directly reported to runsolver:
# pid: 110915
# total CPU time (s): 3600.02
# total CPU user time (s): 3591.14
# total CPU system time (s): 8.87482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7304 second user time and 34.4053 second system time
The end
Begin job on nodeC007 at 2024-07-23 21:05:56 IDJOB=4440741 IDBENCH=147612 IDSOLVER=3080 FILE ID=nodeC007/4440741-1721761556 RUNJOBID= nodeC007-1721752167-105173 SLURM_JOB_ID= 7770656 Free space on /tmp= 723752 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_3.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-4440741-1721761556/watcher-4440741-1721761556 -o /tmp/evaluation-result-4440741-1721761556/solver-4440741-1721761556 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105173 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440741-1721761556 --seed=1421584426 HOME/instance-4440741-1721761556.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=1421584426 nodeC007.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 : 3658.268 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.67 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 : 1197.211 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.359 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.67 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 : 1795.808 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.578 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.67 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 : 3651.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.215 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.67 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.326 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 97481256 kB MemAvailable: 127354652 kB Buffers: 177284 kB Cached: 30487548 kB SwapCached: 156 kB Active: 703364 kB Inactive: 32876864 kB Active(anon): 1792 kB Inactive(anon): 2951040 kB Active(file): 701572 kB Inactive(file): 29925824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070960 kB Dirty: 107344 kB Writeback: 0 kB AnonPages: 2915368 kB Mapped: 89864 kB Shmem: 37356 kB KReclaimable: 172396 kB Slab: 277072 kB SReclaimable: 172396 kB SUnreclaim: 104676 kB KernelStack: 4032 kB PageTables: 14988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3523072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 2762752 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: 367432 kB DirectMap2M: 54063104 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723768 MiB End job on nodeC007 at 2024-07-23 22:06:30