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) | 85 | 3600.07 | 3688.25 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb |
| MD5SUM | 51fa3ae0158cc49e421df545accb4e20 |
| 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 | 84 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 441 |
| Total number of constraints | 441 |
| Number of constraints which are clauses | 361 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 361 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 361 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 361 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.11 o 114 0.10/0.11 o 113 0.10/0.11 o 112 0.10/0.12 o 111 0.10/0.12 o 110 0.10/0.12 o 109 0.10/0.13 o 108 0.10/0.16 o 107 0.21/0.24 o 106 1.28/1.32 o 105 1.38/1.46 o 104 2.99/3.09 o 103 13.85/13.91 o 102 13.85/13.99 o 101 14.54/14.66 o 100 17.14/17.29 o 99 21.63/21.77 o 98 21.73/21.82 o 97 31.86/32.73 o 96 36.55/37.49 o 95 59.59/60.58 o 94 72.17/73.72 o 93 84.33/85.92 o 92 97.65/99.47 o 91 112.71/114.57 o 90 121.47/123.32 o 89 153.44/155.59 o 88 423.75/431.51 o 87 741.59/759.30 o 86 846.64/867.27 o 85 3600.01/3687.80 c Program interrupted by user. 3600.01/3687.80 s SATISFIABLE 3600.01/3687.80 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 x170 -x171 -x172 -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 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 x274 -x275 x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 x285 -x286 x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
OK 85
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 (57493 MiB free)
memory of node 1: 64473 MiB (45640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441290-1721805515/watcher-4441290-1721805515 -o /tmp/evaluation-result-4441290-1721805515/solver-4441290-1721805515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721801547-174342 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441290-1721805515 --seed=30256573 HOME/instance-4441290-1721805515.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=178896, runsolver pid=178893
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.09 4.12 4.09 5/251 178897
/proc/meminfo: memFree=105597664/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=27948 memory=5848 CPUtime=0.1 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 530 0 0 0 9 1 0 0 20 0 1 0 16540318 28618752 1462 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 6987 1462 1075 1006 0 5748 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27948 KiB
Current children cumulated memory: 5848 KiB
[startup+0.213746 s]*
/proc/loadavg: 4.09 4.12 4.09 5/251 178897
/proc/meminfo: memFree=105588320/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=30812 memory=11096 CPUtime=0.21 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 1265 0 0 0 20 1 0 0 20 0 1 0 16540318 31551488 2774 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 7703 2774 1155 1006 0 6464 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30812 KiB
Current children cumulated memory: 11096 KiB
[startup+0.313532 s]*
/proc/loadavg: 4.09 4.12 4.09 5/251 178897
/proc/meminfo: memFree=105583140/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=31604 memory=11812 CPUtime=0.31 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 1455 0 0 0 29 2 0 0 20 0 1 0 16540318 32362496 2953 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 7901 2953 1155 1006 0 6662 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31604 KiB
Current children cumulated memory: 11812 KiB
[startup+0.7003 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 178897
/proc/meminfo: memFree=105570392/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=33920 memory=16132 CPUtime=0.68 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 2012 0 0 0 66 2 0 0 20 0 1 0 16540318 34734080 4033 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 8480 4033 1155 1006 0 7241 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33920 KiB
Current children cumulated memory: 16132 KiB
[startup+1.50032 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 178897
/proc/meminfo: memFree=105545984/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=37532 memory=21084 CPUtime=1.48 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 2739 0 0 0 144 4 0 0 20 0 1 0 16540318 38432768 5271 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 9383 5271 1155 1006 0 8144 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37532 KiB
Current children cumulated memory: 21084 KiB
[startup+3.11317 s]
/proc/loadavg: 4.09 4.12 4.09 5/247 178897
/proc/meminfo: memFree=105443744/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=39720 memory=25316 CPUtime=3.09 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 3266 0 0 0 300 9 0 0 20 0 1 0 16540318 40673280 6329 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 9930 6329 1155 1006 0 8691 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39720 KiB
Current children cumulated memory: 25316 KiB
[startup+6.30031 s]
/proc/loadavg: 4.08 4.12 4.09 5/248 178898
/proc/meminfo: memFree=105293316/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=47060 memory=35052 CPUtime=6.26 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 4735 0 0 0 611 15 0 0 20 0 1 0 16540318 48189440 8763 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 11765 8763 1155 1006 0 10526 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 35052 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.12 4.09 5/248 178899
/proc/meminfo: memFree=105014776/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=49776 memory=41980 CPUtime=12.65 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 5453 0 0 0 1231 34 0 0 20 0 1 0 16540318 50970624 10495 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 12444 10495 1155 1006 0 11205 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 49776 KiB
Current children cumulated memory: 41980 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.09 4/248 178901
/proc/meminfo: memFree=104421984/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=56112 memory=47412 CPUtime=25.42 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 6863 0 0 0 2476 66 0 0 20 0 1 0 16540318 57458688 11853 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 14028 11853 1155 1006 0 12789 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56112 KiB
Current children cumulated memory: 47412 KiB
[startup+51.1132 s]
/proc/loadavg: 4.08 4.11 4.09 5/248 178905
/proc/meminfo: memFree=103261484/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=60152 memory=50520 CPUtime=50.22 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 7628 0 0 0 4887 135 0 0 20 0 1 0 16540318 61595648 12630 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 74 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 15038 12630 1155 1006 0 13799 0
Current children cumulated CPU time: 50.22 s
Current children cumulated vsize: 60152 KiB
Current children cumulated memory: 50520 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 178923
/proc/meminfo: memFree=100937488/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=61192 memory=51600 CPUtime=100.54 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 8010 0 0 0 9797 257 0 0 20 0 1 0 16540318 62660608 12900 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 146 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 15298 12900 1155 1006 0 14059 0
Current children cumulated CPU time: 100.54 s
Current children cumulated vsize: 61192 KiB
Current children cumulated memory: 51600 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/251 178962
/proc/meminfo: memFree=98665088/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=68232 memory=57332 CPUtime=159.74 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 9460 0 0 0 15580 394 0 0 20 0 1 0 16540318 69869568 14333 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 208 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 17058 14333 1155 1006 0 15819 0
Current children cumulated CPU time: 159.74 s
Current children cumulated vsize: 68232 KiB
Current children cumulated memory: 57332 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/251 178973
/proc/meminfo: memFree=96016424/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=71944 memory=60728 CPUtime=219.13 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 10333 0 0 0 21370 543 0 0 20 0 1 0 16540318 73670656 15182 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 256 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 17986 15182 1155 1006 0 16747 0
Current children cumulated CPU time: 219.13 s
Current children cumulated vsize: 71944 KiB
Current children cumulated memory: 60728 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/252 178985
/proc/meminfo: memFree=93305784/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=73992 memory=63244 CPUtime=277.52 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) D 178893 178896 174331 0 -1 4194304 10894 0 0 0 27080 672 0 0 20 0 1 0 16540318 75767808 15811 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 385 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 18498 15811 1155 1006 0 17259 0
Current children cumulated CPU time: 277.52 s
Current children cumulated vsize: 73992 KiB
Current children cumulated memory: 63244 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 179045
/proc/meminfo: memFree=93290172/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=74248 memory=69096 CPUtime=336.35 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 11002 0 0 0 32830 805 0 0 20 0 1 0 16540318 76029952 17274 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 502 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 18562 17274 1155 1006 0 17323 0
Current children cumulated CPU time: 336.35 s
Current children cumulated vsize: 74248 KiB
Current children cumulated memory: 69096 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 179438
/proc/meminfo: memFree=91492744/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=77192 memory=71224 CPUtime=394.91 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 11619 0 0 0 38547 944 0 0 20 0 1 0 16540318 79044608 17806 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 630 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 19298 17806 1155 1006 0 18059 0
Current children cumulated CPU time: 394.91 s
Current children cumulated vsize: 77192 KiB
Current children cumulated memory: 71224 KiB
[startup+462.301 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 179448
/proc/meminfo: memFree=89299008/131655788 swapFree=131071996/131071996
[pid=178896] ppid=178893 vsize=77296 memory=71648 CPUtime=454 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 12221 0 0 0 44330 1070 0 0 20 0 1 0 16540318 79151104 17912 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 707 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 19324 17912 1155 1006 0 18085 0
################
# More data... #
################
Current children cumulated memory: 90208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.57 4.37 4.27 5/268 180796
/proc/meminfo: memFree=595096/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96096 memory=90372 CPUtime=2979.73 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31106 0 0 0 291458 6515 0 0 20 0 1 0 16540318 98402304 22593 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5444 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24024 22593 1200 1006 0 22785 0
Current children cumulated CPU time: 2979.73 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 90372 KiB
[startup+3102.3 s]
/proc/loadavg: 4.67 4.45 4.30 5/283 180826
/proc/meminfo: memFree=505996/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96096 memory=90464 CPUtime=3039.13 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31151 0 0 0 297261 6652 0 0 20 0 1 0 16540318 98402304 22616 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5487 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24024 22616 1200 1006 0 22785 0
Current children cumulated CPU time: 3039.13 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 90464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.40 4.29 5/284 180838
/proc/meminfo: memFree=686832/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96096 memory=90464 CPUtime=3098.2 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31194 0 0 0 303044 6776 0 0 20 0 1 0 16540318 98402304 22616 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5565 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24024 22616 1200 1006 0 22785 0
Current children cumulated CPU time: 3098.2 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 90464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.32 4.27 5/284 180849
/proc/meminfo: memFree=573456/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96096 memory=90472 CPUtime=3157.4 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31244 0 0 0 308835 6905 0 0 20 0 1 0 16540318 98402304 22618 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5628 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24024 22618 1200 1006 0 22785 0
Current children cumulated CPU time: 3157.4 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 90472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.32 4.27 4/284 180860
/proc/meminfo: memFree=527692/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96096 memory=90604 CPUtime=3216.46 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31348 0 0 0 314609 7037 0 0 20 0 1 0 16540318 98402304 22651 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5706 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24024 22651 1200 1006 0 22785 0
Current children cumulated CPU time: 3216.46 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 90604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.29 4.27 5/280 180872
/proc/meminfo: memFree=542800/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96096 memory=90604 CPUtime=3275.44 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31425 0 0 0 320365 7179 0 0 20 0 1 0 16540318 98402304 22651 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5794 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24024 22651 1200 1006 0 22785 0
Current children cumulated CPU time: 3275.44 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 90604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.51 4.35 4.29 5/267 180882
/proc/meminfo: memFree=631664/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=95880 memory=90408 CPUtime=3334.38 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 31705 0 0 0 326128 7310 0 0 20 0 1 0 16540318 98181120 22602 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5882 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 23970 22602 1200 1006 0 22731 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 95880 KiB
Current children cumulated memory: 90408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.30 4.27 5/265 180892
/proc/meminfo: memFree=594528/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96008 memory=90536 CPUtime=3391.72 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 32391 0 0 0 331736 7436 0 0 20 0 1 0 16540318 98312192 22634 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6133 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24002 22634 1200 1006 0 22763 0
Current children cumulated CPU time: 3391.72 s
Current children cumulated vsize: 96008 KiB
Current children cumulated memory: 90536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.27 4.27 5/265 180947
/proc/meminfo: memFree=20385792/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=96392 memory=91404 CPUtime=3447.95 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 32989 0 0 0 337236 7559 0 0 20 0 1 0 16540318 98705408 22851 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6494 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 24098 22851 1200 1006 0 22859 0
Current children cumulated CPU time: 3447.95 s
Current children cumulated vsize: 96392 KiB
Current children cumulated memory: 91404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.38 4.33 4.28 5/260 180960
/proc/meminfo: memFree=14615868/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=110324 memory=93020 CPUtime=3498.47 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 36214 0 0 0 342186 7661 0 0 20 0 1 0 16540318 112971776 23255 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7427 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 27581 23255 1200 1006 0 26342 0
Current children cumulated CPU time: 3498.47 s
Current children cumulated vsize: 110324 KiB
Current children cumulated memory: 93020 KiB
[startup+3642.3 s]
/proc/loadavg: 4.17 4.28 4.27 5/261 180972
/proc/meminfo: memFree=11492372/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=110704 memory=93484 CPUtime=3555.01 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 36392 0 0 0 347740 7761 0 0 20 0 1 0 16540318 113360896 23371 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7755 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 27676 23371 1200 1006 0 26437 0
Current children cumulated CPU time: 3555.01 s
Current children cumulated vsize: 110704 KiB
Current children cumulated memory: 93484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3687.8 s]
/proc/loadavg: 4.14 4.25 4.26 5/261 180979
/proc/meminfo: memFree=7561568/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=110704 memory=93780 CPUtime=3600.01 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 38901 0 0 0 352165 7836 0 0 20 0 1 0 16540318 113360896 23445 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7794 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 27676 23445 1200 1006 0 26437 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 110704 KiB
Current children cumulated memory: 93780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3688.25 s]
# the end of solver process 178896 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3521.66 s, system=78.4092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3688 s]*
/proc/loadavg: 4.14 4.25 4.26 3/262 180982
/proc/meminfo: memFree=7512352/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=80368 memory=76012 CPUtime=3600.04 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) D 178893 178896 174331 0 -1 4194304 38902 0 0 0 352165 7839 0 0 20 0 1 0 16540318 82296832 19003 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7821 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 20092 19003 1200 1006 0 18853 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 76012 KiB
[startup+3688.2 s]
/proc/loadavg: 4.14 4.25 4.26 3/262 180982
/proc/meminfo: memFree=7512352/131655788 swapFree=131071728/131071996
[pid=178896] ppid=178893 vsize=80368 memory=76012 CPUtime=3600.06 cores=4,6
/proc/178896/stat : 178896 (Exact_veripb2) R 178893 178896 174331 0 -1 4194304 38902 0 0 0 352166 7840 0 0 20 0 1 0 16540318 82296832 19003 134679101440 4194304 8311665 140735355030336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7846 0 0 9173656 9252184 22040576 140735355036490 140735355036768 140735355036768 140735355043783 0
/proc/178896/statm: 20092 19003 1200 1006 0 18853 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 76012 KiB
Child status: 10
Real time (s): 3688.25
CPU time (s): 3600.07
CPU user time (s): 3521.66
CPU system time (s): 78.4092
CPU usage (%): 97.6091
Max. virtual memory (cumulated for all children) (KiB): 126976
Max. memory (cumulated for all children) (KiB): 98516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3521.66
system time used= 78.4092
maximum resident set size= 109724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75614448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9970
involuntary context switches= 5056
# summary of solver processes directly reported to runsolver:
# pid: 178896
# total CPU time (s): 3600.07
# total CPU user time (s): 3521.66
# total CPU system time (s): 78.4092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8841 second user time and 40.0581 second system time
The end
Begin job on nodeC002 at 2024-07-24 09:18:35 IDJOB=4441290 IDBENCH=155338 IDSOLVER=3081 FILE ID=nodeC002/4441290-1721805515 RUNJOBID= nodeC002-1721801547-174342 SLURM_JOB_ID= 7770686 Free space on /tmp= 723756 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.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-4441290-1721805515/watcher-4441290-1721805515 -o /tmp/evaluation-result-4441290-1721805515/solver-4441290-1721805515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721801547-174342 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441290-1721805515 --seed=30256573 HOME/instance-4441290-1721805515.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=30256573 nodeC002.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 : 3660.253 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.43 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 : 3661.532 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.41 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.327 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.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.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 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.41 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 : 2992.949 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.43 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 : 3661.636 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.41 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.164 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.43 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.261 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.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 105609936 kB MemAvailable: 129084356 kB Buffers: 244528 kB Cached: 23985692 kB SwapCached: 0 kB Active: 2674872 kB Inactive: 22634660 kB Active(anon): 1468 kB Inactive(anon): 1132336 kB Active(file): 2673404 kB Inactive(file): 21502324 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 549664 kB Writeback: 84 kB AnonPages: 1078720 kB Mapped: 133008 kB Shmem: 54088 kB KReclaimable: 277784 kB Slab: 415116 kB SReclaimable: 277784 kB SUnreclaim: 137332 kB KernelStack: 4000 kB PageTables: 11464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1362292 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20000 kB HardwareCorrupted: 0 kB AnonHugePages: 710656 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: 297800 kB DirectMap2M: 30015488 kB DirectMap1G: 105906176 kB Free space on /tmp at the end= 723720 MiB End job on nodeC002 at 2024-07-24 10:20:03