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) | 39 | 3600.12 | 3659.77 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 o 1085 0.58/0.63 o 1081 0.58/0.63 o 1065 0.68/0.74 o 1059 0.68/0.74 o 1057 0.68/0.74 o 1041 0.78/0.80 o 1037 1.19/1.29 o 1035 3.27/3.37 o 1033 3.37/3.40 o 1025 3.37/3.40 o 1021 4.87/4.95 o 1019 6.86/6.93 o 1017 9.25/9.32 o 1005 9.25/9.33 o 1003 10.34/10.40 o 945 16.82/16.90 o 941 18.71/18.87 o 939 18.71/18.89 o 937 18.81/18.92 o 925 18.81/18.93 o 923 19.31/19.49 o 916 19.41/19.50 o 914 19.41/19.50 o 912 19.41/19.54 o 908 19.41/19.55 o 906 20.31/20.49 o 904 20.91/21.02 o 902 21.30/21.40 o 900 21.70/21.83 o 896 23.20/23.35 o 892 26.77/26.93 o 886 26.77/26.98 o 878 26.88/27.00 o 876 26.99/27.15 o 874 26.99/27.19 o 618 27.08/27.25 o 612 27.08/27.26 o 610 27.08/27.27 o 608 27.08/27.28 o 604 27.28/27.47 o 602 27.88/28.01 o 600 27.98/28.13 o 596 27.98/28.14 o 592 27.98/28.15 o 588 33.43/34.77 o 586 49.18/50.51 o 584 49.18/50.51 o 582 49.18/50.52 o 580 73.99/76.42 o 578 73.99/76.43 o 576 73.99/76.45 o 574 73.99/76.46 o 572 78.17/80.69 o 568 78.27/80.70 o 556 78.27/80.70 o 552 78.97/81.43 o 536 78.97/81.45 o 528 78.97/81.47 o 526 79.46/81.98 o 512 79.46/81.98 o 508 79.46/81.99 o 506 79.96/82.45 o 504 79.96/82.46 o 502 80.16/82.62 o 498 80.16/82.63 o 496 80.16/82.64 o 494 80.16/82.64 o 492 80.87/83.32 o 488 81.56/84.07 o 480 81.66/84.11 o 444 82.36/84.83 o 380 86.64/89.11 o 348 86.64/89.15 o 316 88.23/90.71 o 311 88.23/90.72 o 309 88.23/90.73 o 307 93.57/96.83 o 301 100.25/103.58 o 297 100.34/103.60 o 295 100.34/103.61 o 293 100.34/103.62 o 291 100.95/104.21 o 289 101.14/104.45 o 287 102.14/105.42 o 276 102.14/105.43 o 274 102.14/105.45 o 272 103.33/106.65 o 260 118.58/121.96 o 244 120.17/123.58 o 228 120.77/124.13 o 222 120.77/124.15 o 218 128.41/132.42 o 214 133.00/137.08 o 210 188.04/194.22 o 209 188.04/194.23 o 205 188.14/194.30 o 204 188.14/194.32 o 202 189.54/195.73 o 200 194.43/200.65 o 192 209.37/215.63 o 184 209.57/215.89 o 180 209.88/216.13 o 152 210.07/216.35 o 150 215.51/222.27 o 148 215.51/222.28 o 146 243.04/250.65 o 145 243.04/250.66 o 143 243.34/250.92 o 142 243.34/250.93 o 140 243.34/250.94 o 136 246.44/254.02 o 135 259.49/267.17 o 133 267.95/275.62 o 131 274.43/283.12 o 129 286.67/295.40 o 128 306.58/316.22 o 124 306.67/316.30 o 122 307.57/317.21 o 120 327.60/337.34 o 116 350.48/360.75 o 115 350.48/360.76 o 111 350.48/360.79 o 107 351.68/361.96 o 106 351.68/361.97 o 104 354.97/365.24 o 100 358.25/368.58 o 99 508.53/522.26 o 98 521.95/536.33 o 96 523.74/538.12 o 64 724.87/748.48 o 63 810.08/835.62 o 61 833.34/859.71 o 59 867.74/894.84 o 55 914.99/943.30 o 51 977.75/1007.89 o 47 1003.76/1034.60 o 43 1003.86/1034.70 o 39 3600.08/3659.60 c Program interrupted by user. 3600.08/3659.60 s SATISFIABLE 3600.08/3659.60 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 39
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: 63968 MiB (53207 MiB free)
memory of node 1: 64473 MiB (55113 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441146-1721760142/watcher-4441146-1721760142 -o /tmp/evaluation-result-4441146-1721760142/solver-4441146-1721760142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721752193-114072 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441146-1721760142 --seed=1532869034 HOME/instance-4441146-1721760142.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=118817, runsolver pid=118814
[startup+0.101253 s]*
/proc/loadavg: 4.14 4.13 4.12 5/263 118818
/proc/meminfo: memFree=110903300/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=27888 memory=6148 CPUtime=0.09 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 561 0 0 0 9 0 0 0 20 0 1 0 12537165 28557312 1537 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 6972 1537 1155 1006 0 5733 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 6148 KiB
[startup+0.205652 s]*
/proc/loadavg: 4.14 4.13 4.12 5/263 118818
/proc/meminfo: memFree=110888460/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=27988 memory=6652 CPUtime=0.19 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 667 0 0 0 19 0 0 0 20 0 1 0 12537165 28659712 1663 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 6997 1663 1155 1006 0 5758 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27988 KiB
Current children cumulated memory: 6652 KiB
[startup+0.305601 s]*
/proc/loadavg: 4.14 4.13 4.12 5/263 118818
/proc/meminfo: memFree=110873872/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=28084 memory=6912 CPUtime=0.3 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 755 0 0 0 29 1 0 0 20 0 1 0 12537165 28758016 1728 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 7021 1728 1155 1006 0 5782 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 6912 KiB
[startup+0.700237 s]
/proc/loadavg: 4.14 4.13 4.12 5/263 118818
/proc/meminfo: memFree=110845508/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=28928 memory=10360 CPUtime=0.68 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 1051 0 0 0 66 2 0 0 20 0 1 0 12537165 29622272 2590 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 7232 2590 1155 1006 0 5993 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 10360 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.13 4.12 5/263 118818
/proc/meminfo: memFree=110779228/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=29908 memory=11104 CPUtime=1.48 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 1282 0 0 0 145 3 0 0 20 0 1 0 12537165 30625792 2776 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 7477 2776 1155 1006 0 6238 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29908 KiB
Current children cumulated memory: 11104 KiB
[startup+3.10561 s]
/proc/loadavg: 4.14 4.13 4.12 5/263 118818
/proc/meminfo: memFree=110577680/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=30408 memory=13796 CPUtime=3.08 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 1413 0 0 0 300 8 0 0 20 0 1 0 12537165 31137792 3449 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 7602 3449 1155 1006 0 6363 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 30408 KiB
Current children cumulated memory: 13796 KiB
[startup+6.30024 s]
/proc/loadavg: 4.12 4.13 4.12 4/263 118818
/proc/meminfo: memFree=110539852/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=32160 memory=17372 CPUtime=6.26 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 1830 0 0 0 611 15 0 0 20 0 1 0 12537165 32931840 4343 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 8040 4343 1155 1006 0 6801 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 32160 KiB
Current children cumulated memory: 17372 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.12 5/263 118820
/proc/meminfo: memFree=110187220/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=34352 memory=23340 CPUtime=12.63 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 2426 0 0 0 1236 27 0 0 20 0 1 0 12537165 35176448 5835 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 8588 5835 1155 1006 0 7349 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 34352 KiB
Current children cumulated memory: 23340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.11 5/263 118821
/proc/meminfo: memFree=109377692/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=36688 memory=27496 CPUtime=25.39 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 3009 0 0 0 2493 46 0 0 20 0 1 0 12537165 37568512 6874 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 9172 6874 1155 1006 0 7933 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 36688 KiB
Current children cumulated memory: 27496 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.13 4.11 5/263 118826
/proc/meminfo: memFree=108549808/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=37532 memory=30376 CPUtime=49.78 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 3440 0 0 0 4902 76 0 0 20 0 1 0 12537165 38432768 7594 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 112 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 9383 7594 1155 1006 0 8144 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 37532 KiB
Current children cumulated memory: 30376 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/266 118838
/proc/meminfo: memFree=106273964/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=39060 memory=31908 CPUtime=99.06 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 3924 0 0 0 9772 134 0 0 20 0 1 0 12537165 39997440 7977 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 286 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 9765 7977 1155 1006 0 8526 0
Current children cumulated CPU time: 99.06 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 31908 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/267 118851
/proc/meminfo: memFree=104150244/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=40752 memory=33736 CPUtime=157.44 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 4613 0 0 0 15544 200 0 0 20 0 1 0 12537165 41730048 8434 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 426 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 10188 8434 1155 1006 0 8949 0
Current children cumulated CPU time: 157.44 s
Current children cumulated vsize: 40752 KiB
Current children cumulated memory: 33736 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/267 118861
/proc/meminfo: memFree=102536156/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=41056 memory=34188 CPUtime=215.61 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 4921 0 0 0 21289 272 0 0 20 0 1 0 12537165 42041344 8547 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 587 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 10264 8547 1155 1006 0 9025 0
Current children cumulated CPU time: 215.61 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 34188 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/265 118873
/proc/meminfo: memFree=101150900/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=41248 memory=34720 CPUtime=273.62 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 5349 0 0 0 27023 339 0 0 20 0 1 0 12537165 42237952 8680 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 766 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 10312 8680 1155 1006 0 9073 0
Current children cumulated CPU time: 273.62 s
Current children cumulated vsize: 41248 KiB
Current children cumulated memory: 34720 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 118883
/proc/meminfo: memFree=99868344/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=57384 memory=43632 CPUtime=332.14 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 6793 0 0 0 32814 400 0 0 20 0 1 0 12537165 58761216 10908 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 893 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 14346 10908 1155 1006 0 13107 0
Current children cumulated CPU time: 332.14 s
Current children cumulated vsize: 57384 KiB
Current children cumulated memory: 43632 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.17 4.12 3/261 118894
/proc/meminfo: memFree=98085304/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=57676 memory=43896 CPUtime=391.21 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 6876 0 0 0 38663 458 0 0 20 0 1 0 12537165 59060224 10974 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 2 0 0 967 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 14419 10974 1155 1006 0 13180 0
Current children cumulated CPU time: 391.21 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 43896 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/262 118908
/proc/meminfo: memFree=96777788/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=58028 memory=44124 CPUtime=450.34 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 6974 0 0 0 44530 504 0 0 20 0 1 0 12537165 59420672 11031 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 2 0 0 997 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 14507 11031 1155 1006 0 13268 0
################
# More data... #
################
Current children cumulated memory: 54836 KiB
[startup+2982.3 s]
/proc/loadavg: 4.40 4.23 4.18 5/264 120585
/proc/meminfo: memFree=33407484/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=63660 memory=54904 CPUtime=2927.92 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 8805 0 0 0 290494 2298 0 0 20 0 1 0 12537165 65187840 13726 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4108 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 15915 13726 1155 1006 0 14676 0
Current children cumulated CPU time: 2927.92 s
Current children cumulated vsize: 63660 KiB
Current children cumulated memory: 54904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.25 4.22 4.18 5/265 120597
/proc/meminfo: memFree=31843928/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64104 memory=55264 CPUtime=2987.3 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 8906 0 0 0 296389 2341 0 0 20 0 1 0 12537165 65642496 13816 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4150 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16026 13816 1155 1006 0 14787 0
Current children cumulated CPU time: 2987.3 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 55264 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.21 4.18 4/264 120607
/proc/meminfo: memFree=31116880/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64104 memory=55264 CPUtime=3046.84 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 8959 0 0 0 302297 2387 0 0 20 0 1 0 12537165 65642496 13816 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4176 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16026 13816 1155 1006 0 14787 0
Current children cumulated CPU time: 3046.84 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 55264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.17 4/253 120672
/proc/meminfo: memFree=43501868/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55408 CPUtime=3106.39 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9029 0 0 0 308206 2433 0 0 20 0 1 0 12537165 65974272 13852 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4202 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13852 1155 1006 0 14868 0
Current children cumulated CPU time: 3106.39 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55408 KiB
[startup+3222.3 s]
/proc/loadavg: 2.81 3.79 4.04 3/249 120691
/proc/meminfo: memFree=103305832/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55620 CPUtime=3165.94 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9080 0 0 0 314121 2473 0 0 20 0 1 0 12537165 65974272 13905 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4230 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13905 1155 1006 0 14868 0
Current children cumulated CPU time: 3165.94 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55620 KiB
[startup+3282.3 s]
/proc/loadavg: 1.83 3.34 3.87 2/239 120734
/proc/meminfo: memFree=109620440/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3225.42 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9101 0 0 0 320038 2504 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4265 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3225.42 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
[startup+3342.3 s]
/proc/loadavg: 1.36 2.93 3.69 2/238 120745
/proc/meminfo: memFree=109291060/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3284.96 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9124 0 0 0 325954 2542 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4295 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3284.96 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
[startup+3402.3 s]
/proc/loadavg: 1.21 2.60 3.53 2/238 120756
/proc/meminfo: memFree=108949912/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3344.62 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9146 0 0 0 331884 2578 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4314 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3344.62 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
[startup+3462.3 s]
/proc/loadavg: 1.25 2.36 3.38 2/238 120767
/proc/meminfo: memFree=108594108/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3404.13 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9167 0 0 0 337799 2614 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4347 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3404.13 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
[startup+3522.3 s]
/proc/loadavg: 1.19 2.14 3.24 2/240 120783
/proc/meminfo: memFree=108266168/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3463.67 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9188 0 0 0 343716 2651 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4378 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3463.67 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 1.96 3.11 2/240 120795
/proc/meminfo: memFree=107926068/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3523.3 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9208 0 0 0 349641 2689 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4397 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3523.3 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
[startup+3642.3 s]
/proc/loadavg: 1.06 1.78 2.97 2/240 120807
/proc/meminfo: memFree=107598404/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3582.83 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9230 0 0 0 355556 2727 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4429 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3582.83 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3659.6 s]
/proc/loadavg: 1.13 1.76 2.95 2/240 120812
/proc/meminfo: memFree=107486644/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=64428 memory=55732 CPUtime=3600.08 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9230 0 0 0 357271 2737 0 0 20 0 1 0 12537165 65974272 13933 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4429 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 16107 13933 1155 1006 0 14868 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 55732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3659.77 s]
# the end of solver process 118817 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3572.72 s, system=27.3981 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3659.7 s]
/proc/loadavg: 1.13 1.76 2.95 2/240 120812
/proc/meminfo: memFree=107486644/131524600 swapFree=131071996/131071996
[pid=118817] ppid=118814 vsize=33452 memory=29104 CPUtime=3600.11 cores=0,2
/proc/118817/stat : 118817 (Exact_veripb2) R 118814 118817 114062 0 -1 4194304 9231 0 0 0 357272 2739 0 0 20 0 1 0 12537165 34254848 7276 134679101440 4194304 8311665 140727737929456 0 0 0 0 0 8404994 0 0 0 17 2 0 0 4441 0 0 9173656 9252184 23359488 140727737938760 140727737939040 140727737939040 140727737946055 0
/proc/118817/statm: 8363 7276 1170 1006 0 7124 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 33452 KiB
Current children cumulated memory: 29104 KiB
Child status: 10
Real time (s): 3659.77
CPU time (s): 3600.12
CPU user time (s): 3572.72
CPU system time (s): 27.3981
CPU usage (%): 98.37
Max. virtual memory (cumulated for all children) (KiB): 64428
Max. memory (cumulated for all children) (KiB): 55732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.72
system time used= 27.3981
maximum resident set size= 55732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39086176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3791
involuntary context switches= 28629
# summary of solver processes directly reported to runsolver:
# pid: 118817
# total CPU time (s): 3600.12
# total CPU user time (s): 3572.72
# total CPU system time (s): 27.3981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30215 second user time and 16.5372 second system time
The end
Begin job on nodeC024 at 2024-07-23 20:42:22 IDJOB=4441146 IDBENCH=147578 IDSOLVER=3081 FILE ID=nodeC024/4441146-1721760142 RUNJOBID= nodeC024-1721752193-114072 SLURM_JOB_ID= 7770657 Free space on /tmp= 890032 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_1.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-4441146-1721760142/watcher-4441146-1721760142 -o /tmp/evaluation-result-4441146-1721760142/solver-4441146-1721760142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721752193-114072 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441146-1721760142 --seed=1532869034 HOME/instance-4441146-1721760142.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=1532869034 nodeC024.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 : 3631.784 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 : 3689.557 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 : 7005.58 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 : 3648.783 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 : 3600.361 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 : 7005.58 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 : 3683.174 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 : 3689.558 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 : 7005.58 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 : 3624.457 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 : 3600.283 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 : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110923408 kB MemAvailable: 124995328 kB Buffers: 173864 kB Cached: 14672648 kB SwapCached: 0 kB Active: 1162632 kB Inactive: 18725404 kB Active(anon): 1560 kB Inactive(anon): 5077832 kB Active(file): 1161072 kB Inactive(file): 13647572 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 882872 kB Writeback: 0 kB AnonPages: 5041064 kB Mapped: 117536 kB Shmem: 37720 kB KReclaimable: 206196 kB Slab: 344344 kB SReclaimable: 206196 kB SUnreclaim: 138148 kB KernelStack: 4256 kB PageTables: 19772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5957252 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 kB HardwareCorrupted: 0 kB AnonHugePages: 3237888 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: 336596 kB DirectMap2M: 38234112 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890076 MiB End job on nodeC024 at 2024-07-23 21:43:22