Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 191 | 3600.15 | 3611.97 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| 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 | 183 |
| 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 | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| 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.00/0.09 o 227 0.00/0.09 o 226 0.00/0.09 o 225 0.09/0.11 o 224 0.09/0.16 o 223 0.09/0.18 o 222 0.20/0.25 o 221 0.30/0.33 o 220 0.50/0.55 o 219 1.00/1.08 o 218 1.69/1.75 o 217 2.68/2.75 o 216 2.68/2.76 o 215 3.78/3.83 o 214 5.57/5.60 o 213 8.36/8.45 o 212 9.35/9.41 o 211 21.81/21.98 o 210 22.20/22.37 o 209 29.38/29.50 o 208 44.32/44.50 o 207 54.98/55.23 o 206 66.53/66.80 o 205 71.82/72.17 o 204 71.92/72.25 o 203 83.28/83.68 o 202 83.68/84.06 o 201 94.03/94.40 o 200 136.49/137.00 o 199 168.08/168.77 o 198 181.74/182.40 o 197 195.19/195.93 o 196 503.36/505.12 o 195 1097.65/1101.34 o 194 1112.61/1116.31 o 193 1962.13/1968.51 o 192 2336.76/2344.31 o 191 3600.07/3611.96 c Program interrupted by user. 3600.07/3611.96 s SATISFIABLE 3600.07/3611.96 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 -x442 -x443 x444 x445 -x446 -x447 -x448 -x449 x450 x451 -x452 x453 x454 x455 -x456 x457 -x458 x459 -x460 -x461 -x462 -x463 x464 x465 x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476
OK 191
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 (63075 MiB free)
memory of node 1: 64473 MiB (63152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433033-1721088483/watcher-4433033-1721088483 -o /tmp/evaluation-result-4433033-1721088483/solver-4433033-1721088483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721081271-820966 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1821353378 HOME/instance-4433033-1721088483.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
solver pid=825857, runsolver pid=825854
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.13 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129253768/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=29364 memory=7852 CPUtime=0.09 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 1023 0 0 0 9 0 0 0 20 0 1 0 161015361 30068736 1963 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 7341 1963 1092 1005 0 6104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 7852 KiB
[startup+0.20555 s]*
/proc/loadavg: 4.13 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129250448/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=30284 memory=9472 CPUtime=0.2 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 1428 0 0 0 20 0 0 0 20 0 1 0 161015361 31010816 2368 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 7571 2368 1108 1005 0 6334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30284 KiB
Current children cumulated memory: 9472 KiB
[startup+0.305124 s]*
/proc/loadavg: 4.13 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129248768/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=30940 memory=10912 CPUtime=0.3 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 1768 0 0 0 30 0 0 0 20 0 1 0 161015361 31682560 2728 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 7735 2728 1140 1005 0 6498 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30940 KiB
Current children cumulated memory: 10912 KiB
[startup+0.700229 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129243836/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=32908 memory=14808 CPUtime=0.69 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 2264 0 0 0 68 1 0 0 20 0 1 0 161015361 33697792 3702 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 8227 3702 1140 1005 0 6990 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32908 KiB
Current children cumulated memory: 14808 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129240280/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=34288 memory=18172 CPUtime=1.49 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 2610 0 0 0 147 2 0 0 20 0 1 0 161015361 35110912 4543 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 8572 4543 1140 1005 0 7335 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34288 KiB
Current children cumulated memory: 18172 KiB
[startup+3.10541 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129223844/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=36372 memory=22212 CPUtime=3.09 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 3158 0 0 0 305 4 0 0 20 0 1 0 161015361 37244928 5553 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 9093 5553 1140 1005 0 7856 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36372 KiB
Current children cumulated memory: 22212 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 825858
/proc/meminfo: memFree=129204864/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=41860 memory=33076 CPUtime=6.27 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 4372 0 0 0 619 8 0 0 20 0 1 0 161015361 42864640 8269 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 10465 8269 1140 1005 0 9228 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41860 KiB
Current children cumulated memory: 33076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 825860
/proc/meminfo: memFree=129192252/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=43792 memory=35148 CPUtime=12.64 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 4852 0 0 0 1250 14 0 0 20 0 1 0 161015361 44843008 8787 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 10948 8787 1140 1005 0 9711 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 43792 KiB
Current children cumulated memory: 35148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 825861
/proc/meminfo: memFree=129162224/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=60112 memory=42528 CPUtime=25.39 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 6074 0 0 0 2509 30 0 0 20 0 1 0 161015361 61554688 10632 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 15028 10632 1140 1005 0 13791 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 42528 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 825866
/proc/meminfo: memFree=129137016/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=63056 memory=47660 CPUtime=50.91 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 6876 0 0 0 5031 60 0 0 20 0 1 0 161015361 64569344 11915 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 15764 11915 1140 1005 0 14527 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 63056 KiB
Current children cumulated memory: 47660 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 825874
/proc/meminfo: memFree=129113472/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=66668 memory=53548 CPUtime=101.9 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 7865 0 0 0 10067 123 0 0 20 0 1 0 161015361 68268032 13387 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 16667 13387 1140 1005 0 15430 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 66668 KiB
Current children cumulated memory: 53548 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 825889
/proc/meminfo: memFree=129094616/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=68384 memory=56556 CPUtime=161.7 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 8362 0 0 0 15974 196 0 0 20 0 1 0 161015361 70025216 14139 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 17096 14139 1140 1005 0 15859 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 68384 KiB
Current children cumulated memory: 56556 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 825899
/proc/meminfo: memFree=129076348/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=73576 memory=60680 CPUtime=221.51 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 9454 0 0 0 21885 266 0 0 20 0 1 0 161015361 75341824 15170 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 18394 15170 1140 1005 0 17157 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 73576 KiB
Current children cumulated memory: 60680 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/256 825909
/proc/meminfo: memFree=129059156/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=80236 memory=67644 CPUtime=281.31 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 10685 0 0 0 27793 338 0 0 20 0 1 0 161015361 82161664 16911 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 20059 16911 1140 1005 0 18822 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 80236 KiB
Current children cumulated memory: 67644 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 825921
/proc/meminfo: memFree=129055992/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=81496 memory=68604 CPUtime=341.13 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 10989 0 0 0 33705 408 0 0 20 0 1 0 161015361 83451904 17151 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 20374 17151 1140 1005 0 19137 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 68604 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 825932
/proc/meminfo: memFree=129041560/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=82924 memory=70088 CPUtime=400.94 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 11342 0 0 0 39620 474 0 0 20 0 1 0 161015361 84914176 17522 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 20731 17522 1140 1005 0 19494 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 82924 KiB
Current children cumulated memory: 70088 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 825942
/proc/meminfo: memFree=129018080/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=85096 memory=72100 CPUtime=460.71 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 11867 0 0 0 45530 541 0 0 20 0 1 0 161015361 87138304 18025 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 21274 18025 1140 1005 0 20037 0
################
# More data... #
################
Current children cumulated memory: 107896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/256 827385
/proc/meminfo: memFree=128899732/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=112956 memory=108152 CPUtime=2912.97 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 20277 0 0 0 287975 3322 0 0 20 0 1 0 161015361 115666944 27038 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28239 27038 1140 1005 0 27002 0
Current children cumulated CPU time: 2912.97 s
Current children cumulated vsize: 112956 KiB
Current children cumulated memory: 108152 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 827397
/proc/meminfo: memFree=128898472/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=113532 memory=108564 CPUtime=2972.79 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 20469 0 0 0 293886 3393 0 0 20 0 1 0 161015361 116256768 27141 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28383 27141 1140 1005 0 27146 0
Current children cumulated CPU time: 2972.79 s
Current children cumulated vsize: 113532 KiB
Current children cumulated memory: 108564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/257 827576
/proc/meminfo: memFree=128897264/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=113724 memory=108920 CPUtime=3032.58 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 20579 0 0 0 299796 3462 0 0 20 0 1 0 161015361 116453376 27230 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28431 27230 1140 1005 0 27194 0
Current children cumulated CPU time: 3032.58 s
Current children cumulated vsize: 113724 KiB
Current children cumulated memory: 108920 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 827586
/proc/meminfo: memFree=128896112/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=114108 memory=109240 CPUtime=3092.36 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 20708 0 0 0 305707 3529 0 0 20 0 1 0 161015361 116846592 27310 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28527 27310 1140 1005 0 27290 0
Current children cumulated CPU time: 3092.36 s
Current children cumulated vsize: 114108 KiB
Current children cumulated memory: 109240 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 827599
/proc/meminfo: memFree=128894824/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=114364 memory=109688 CPUtime=3152.13 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 20854 0 0 0 311618 3595 0 0 20 0 1 0 161015361 117108736 27422 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28591 27422 1140 1005 0 27354 0
Current children cumulated CPU time: 3152.13 s
Current children cumulated vsize: 114364 KiB
Current children cumulated memory: 109688 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/257 827622
/proc/meminfo: memFree=128893524/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=114616 memory=109688 CPUtime=3211.91 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 20934 0 0 0 317534 3657 0 0 20 0 1 0 161015361 117366784 27422 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28654 27422 1140 1005 0 27417 0
Current children cumulated CPU time: 3211.91 s
Current children cumulated vsize: 114616 KiB
Current children cumulated memory: 109688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.18 4.12 5/257 827632
/proc/meminfo: memFree=128892028/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=115204 memory=110264 CPUtime=3271.69 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 21124 0 0 0 323439 3730 0 0 20 0 1 0 161015361 117968896 27566 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28801 27566 1140 1005 0 27564 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 115204 KiB
Current children cumulated memory: 110264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/257 827644
/proc/meminfo: memFree=128890688/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=115340 memory=110492 CPUtime=3331.47 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 21213 0 0 0 329352 3795 0 0 20 0 1 0 161015361 118108160 27623 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28835 27623 1140 1005 0 27598 0
Current children cumulated CPU time: 3331.47 s
Current children cumulated vsize: 115340 KiB
Current children cumulated memory: 110492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 827655
/proc/meminfo: memFree=128887952/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=115800 memory=110888 CPUtime=3391.24 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 21379 0 0 0 335267 3857 0 0 20 0 1 0 161015361 118579200 27722 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 28950 27722 1140 1005 0 27713 0
Current children cumulated CPU time: 3391.24 s
Current children cumulated vsize: 115800 KiB
Current children cumulated memory: 110888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 827665
/proc/meminfo: memFree=128882240/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=116264 memory=111252 CPUtime=3451.02 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 21540 0 0 0 341177 3925 0 0 20 0 1 0 161015361 119054336 27813 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 29066 27813 1140 1005 0 27829 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 116264 KiB
Current children cumulated memory: 111252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 827675
/proc/meminfo: memFree=128880820/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=116596 memory=111544 CPUtime=3510.8 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 21678 0 0 0 347083 3997 0 0 20 0 1 0 161015361 119394304 27886 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 29149 27886 1140 1005 0 27912 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 116596 KiB
Current children cumulated memory: 111544 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 827686
/proc/meminfo: memFree=128879340/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=116916 memory=112072 CPUtime=3570.58 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 21799 0 0 0 352993 4065 0 0 20 0 1 0 161015361 119721984 28018 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 29229 28018 1140 1005 0 27992 0
Current children cumulated CPU time: 3570.58 s
Current children cumulated vsize: 116916 KiB
Current children cumulated memory: 112072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 3.84 4.06 4.07 2/234 827784
/proc/meminfo: memFree=129211460/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=118004 memory=112664 CPUtime=3600.07 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 22012 0 0 0 355910 4097 0 0 20 0 1 0 161015361 120836096 28166 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 29501 28166 1140 1005 0 28264 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 118004 KiB
Current children cumulated memory: 112664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.97 s]
# the end of solver process 825857 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3559.17 s, system=40.9817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 3.84 4.06 4.07 2/234 827784
/proc/meminfo: memFree=129211460/131524600 swapFree=131071996/131071996
[pid=825857] ppid=825854 vsize=118004 memory=112664 CPUtime=3600.07 cores=0,2
/proc/825857/stat : 825857 (Exact) R 825854 825857 820956 0 -1 4194304 22012 0 0 0 355910 4097 0 0 20 0 1 0 161015361 120836096 28166 134679101440 4194304 8309489 140735471943712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 18755584 140735471948734 140735471948904 140735471948904 140735471955919 0
/proc/825857/statm: 29501 28166 1140 1005 0 28264 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 118004 KiB
Current children cumulated memory: 112664 KiB
Child status: 10
Real time (s): 3611.97
CPU time (s): 3600.15
CPU user time (s): 3559.17
CPU system time (s): 40.9817
CPU usage (%): 99.6728
Max. virtual memory (cumulated for all children) (KiB): 118004
Max. memory (cumulated for all children) (KiB): 112664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.17
system time used= 40.9817
maximum resident set size= 112928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 24671
# summary of solver processes directly reported to runsolver:
# pid: 825857
# total CPU time (s): 3600.15
# total CPU user time (s): 3559.17
# total CPU system time (s): 40.9817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57881 second user time and 15.8346 second system time
The end
Begin job on nodeC028 at 2024-07-16 02:08:16 IDJOB=4433033 IDBENCH=147547 IDSOLVER=3060 FILE ID=nodeC028/4433033-1721088483 RUNJOBID= nodeC028-1721081271-820966 SLURM_JOB_ID= 7505556 Free space on /tmp= 890048 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433033-1721088483/watcher-4433033-1721088483 -o /tmp/evaluation-result-4433033-1721088483/solver-4433033-1721088483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721081271-820966 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1821353378 HOME/instance-4433033-1721088483.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=1821353378 nodeC028.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 : 3645.805 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.56 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 : 3685.340 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.59 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 : 3661.754 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.56 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.172 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.59 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 : 3672.985 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.56 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 : 3685.432 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.59 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 : 3601.687 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.56 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 : 3599.942 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129259784 kB MemAvailable: 129704888 kB Buffers: 379360 kB Cached: 906436 kB SwapCached: 0 kB Active: 674476 kB Inactive: 1011680 kB Active(anon): 1560 kB Inactive(anon): 436524 kB Active(file): 672916 kB Inactive(file): 575156 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 24548 kB Writeback: 0 kB AnonPages: 397712 kB Mapped: 117676 kB Shmem: 37720 kB KReclaimable: 73708 kB Slab: 175244 kB SReclaimable: 73708 kB SUnreclaim: 101536 kB KernelStack: 4048 kB PageTables: 10364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 849368 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60128 kB HardwareCorrupted: 0 kB AnonHugePages: 329728 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: 193236 kB DirectMap2M: 18454528 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 890060 MiB End job on nodeC028 at 2024-07-16 03:08:28