Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.12 | 3609.25 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo |
| MD5SUM | 4a9eb458ba5998baf9d85c7a824f8669 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 3586.32 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 500 |
| Total number of constraints | 3069 |
| Number of soft constraints | 2944 |
| Number of constraints which are clauses | 2944 |
| Number of constraints which are cardinality constraints (but not clauses) | 125 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Top cost | 737 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 2944 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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.04 o 138 0.00/0.04 o 137 0.00/0.05 o 136 0.00/0.07 o 135 0.00/0.10 o 133 0.50/0.51 o 131 0.50/0.52 o 128 0.50/0.52 o 126 0.50/0.53 o 125 0.50/0.59 o 123 0.78/0.81 o 122 1.09/1.15 o 120 2.88/2.94 o 119 2.88/2.95 o 118 2.88/2.96 o 116 2.98/3.00 o 115 3.28/3.31 o 114 3.88/3.97 o 113 4.08/4.11 o 112 4.98/5.00 o 111 7.27/7.37 o 110 7.47/7.55 o 109 10.16/10.27 o 107 16.15/16.26 o 106 16.85/16.95 o 105 17.55/17.64 o 97 19.24/19.31 o 96 22.33/22.46 o 95 22.94/23.01 o 94 28.12/28.24 o 93 33.10/33.26 o 92 33.60/33.79 o 91 34.50/34.66 o 89 42.98/43.18 o 88 43.07/43.21 o 87 47.46/47.64 o 85 47.86/48.05 o 84 49.96/50.13 o 83 53.15/53.36 o 79 53.45/53.65 o 78 59.03/59.26 o 77 71.58/71.82 o 76 71.58/71.83 o 75 73.48/73.71 o 74 105.37/105.71 o 73 141.05/141.51 o 72 141.45/141.94 o 71 149.02/149.54 o 70 176.53/177.19 o 69 177.62/178.23 o 68 177.92/178.59 o 67 235.42/236.27 o 66 247.28/248.10 o 64 248.48/249.33 o 61 257.85/258.70 o 60 271.71/272.61 o 59 284.07/285.02 o 58 284.17/285.16 o 57 381.66/382.97 o 55 400.51/401.87 o 54 482.62/484.12 o 53 542.37/544.04 o 52 549.85/551.50 o 51 556.73/558.47 o 50 658.09/660.09 o 49 664.57/666.52 o 48 671.75/673.75 o 47 671.85/673.82 o 46 739.49/741.69 o 45 760.64/762.80 o 44 886.64/889.11 o 43 915.66/918.24 o 42 923.04/925.68 o 41 939.10/941.77 o 40 985.19/987.93 o 39 1009.24/1012.06 o 38 1027.29/1030.13 o 37 1059.01/1061.96 o 35 1073.37/1076.36 o 34 1080.16/1083.19 o 33 2003.38/2008.64 o 32 2401.91/2408.16 o 31 2419.06/2425.33 o 30 3600.05/3609.25 c Program interrupted by user. 3600.05/3609.25 s SATISFIABLE 3600.05/3609.25 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 -x477 -x478 -x479 x480 -x481 x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 x498 -x499 -x500
OK 30
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 (63181 MiB free)
memory of node 1: 64473 MiB (63456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425461-1720890797/watcher-4425461-1720890797 -o /tmp/evaluation-result-4425461-1720890797/solver-4425461-1720890797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720890801-714413 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1186498392 HOME/instance-4425461-1720890797.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x
solver pid=714982, runsolver pid=714979
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 0.63 0.20 0.13 5/257 714983
/proc/meminfo: memFree=129666000/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=34032 memory=14132 CPUtime=0.09 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 2475 0 0 0 9 0 0 0 20 0 1 0 141246755 34848768 3533 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 8508 3533 835 746 0 7572 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34032 KiB
Current children cumulated memory: 14132 KiB
[startup+0.205402 s]*
/proc/loadavg: 0.63 0.20 0.13 5/257 714983
/proc/meminfo: memFree=129664452/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=35352 memory=15452 CPUtime=0.2 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 2811 0 0 0 20 0 0 0 20 0 1 0 141246755 36200448 3863 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 8838 3863 835 746 0 7902 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35352 KiB
Current children cumulated memory: 15452 KiB
[startup+0.305343 s]*
/proc/loadavg: 0.63 0.20 0.13 5/257 714983
/proc/meminfo: memFree=129661200/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=36012 memory=18028 CPUtime=0.3 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 2947 0 0 0 30 0 0 0 20 0 1 0 141246755 36876288 4507 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 9003 4507 835 746 0 8067 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36012 KiB
Current children cumulated memory: 18028 KiB
[startup+0.700168 s]
/proc/loadavg: 0.63 0.20 0.13 5/257 714983
/proc/meminfo: memFree=129655804/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=38924 memory=22976 CPUtime=0.68 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 3693 0 0 0 68 0 0 0 20 0 1 0 141246755 39858176 5744 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 9731 5744 835 746 0 8795 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 22976 KiB
[startup+1.50018 s]
/proc/loadavg: 0.63 0.20 0.13 5/257 714983
/proc/meminfo: memFree=129647860/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=43128 memory=29240 CPUtime=1.49 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 4730 0 0 0 148 1 0 0 20 0 1 0 141246755 44163072 7310 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 10782 7310 835 746 0 9846 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43128 KiB
Current children cumulated memory: 29240 KiB
[startup+3.10543 s]
/proc/loadavg: 0.63 0.20 0.13 5/257 714984
/proc/meminfo: memFree=129593712/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=51544 memory=42400 CPUtime=3.08 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 6526 0 0 0 307 1 0 0 20 0 1 0 141246755 52781056 10600 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 12886 10600 835 746 0 11950 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51544 KiB
Current children cumulated memory: 42400 KiB
[startup+6.30017 s]
/proc/loadavg: 0.90 0.26 0.15 5/257 714984
/proc/meminfo: memFree=129548908/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=70932 memory=59420 CPUtime=6.27 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 8995 0 0 0 625 2 0 0 20 0 1 0 141246755 72634368 14855 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 17733 14855 835 746 0 16797 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70932 KiB
Current children cumulated memory: 59420 KiB
[startup+12.7002 s]
/proc/loadavg: 1.14 0.33 0.17 5/257 715030
/proc/meminfo: memFree=128888960/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=73376 memory=63484 CPUtime=12.65 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 9535 0 0 0 1263 2 0 0 20 0 1 0 141246755 75137024 15871 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 18344 15871 835 746 0 17408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73376 KiB
Current children cumulated memory: 63484 KiB
[startup+25.5002 s]
/proc/loadavg: 1.78 0.51 0.23 5/257 715033
/proc/meminfo: memFree=127891680/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=111872 memory=83408 CPUtime=25.43 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 12860 0 0 0 2539 4 0 0 20 0 1 0 141246755 114556928 20852 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 27968 20852 835 746 0 27032 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 111872 KiB
Current children cumulated memory: 83408 KiB
[startup+51.1053 s]
/proc/loadavg: 2.59 0.80 0.34 5/257 715036
/proc/meminfo: memFree=127525560/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=119684 memory=100476 CPUtime=50.96 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 15634 0 0 0 5091 5 0 0 20 0 1 0 141246755 122556416 25119 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 29921 25119 835 746 0 28985 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 119684 KiB
Current children cumulated memory: 100476 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.31 0.54 5/255 715045
/proc/meminfo: memFree=126929324/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=203436 memory=153244 CPUtime=101.98 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 24712 0 0 0 10190 8 0 0 20 0 1 0 141246755 208318464 38311 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 50859 38311 835 746 0 49923 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 203436 KiB
Current children cumulated memory: 153244 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.82 0.76 5/255 715056
/proc/meminfo: memFree=126325748/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=210220 memory=164456 CPUtime=161.78 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 26043 0 0 0 16170 8 0 0 20 0 1 0 141246755 215265280 41114 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 52555 41114 835 746 0 51619 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 210220 KiB
Current children cumulated memory: 164456 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.23 0.97 5/255 715066
/proc/meminfo: memFree=126129276/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=212720 memory=167212 CPUtime=221.57 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 26810 0 0 0 22149 8 0 0 20 0 1 0 141246755 217825280 41803 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 53180 41803 835 746 0 52244 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 212720 KiB
Current children cumulated memory: 167212 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 2.61 1.18 5/255 715076
/proc/meminfo: memFree=125959400/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=230008 memory=183152 CPUtime=281.37 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 29773 0 0 0 28128 9 0 0 20 0 1 0 141246755 235528192 45788 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 57502 45788 835 746 0 56566 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 230008 KiB
Current children cumulated memory: 183152 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 2.95 1.39 5/254 715087
/proc/meminfo: memFree=124956136/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=244384 memory=211880 CPUtime=341.17 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 33353 0 0 0 34108 9 0 0 20 0 1 0 141246755 250249216 52970 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 61096 52970 835 746 0 60160 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 244384 KiB
Current children cumulated memory: 211880 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.15 1.56 5/256 715101
/proc/meminfo: memFree=124152816/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=244796 memory=230680 CPUtime=401.01 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 33601 0 0 0 40092 9 0 0 20 0 1 0 141246755 250671104 57670 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 61199 57670 835 746 0 60263 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 244796 KiB
Current children cumulated memory: 230680 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.33 1.72 6/256 715111
/proc/meminfo: memFree=123798704/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=245408 memory=231292 CPUtime=460.87 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 33860 0 0 0 46078 9 0 0 20 0 1 0 141246755 251297792 57823 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 61352 57823 835 746 0 60416 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
Current children cumulated memory: 255392 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 3.98 5/257 716723
/proc/meminfo: memFree=114616268/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323280 memory=255744 CPUtime=2854.99 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39404 0 0 0 285487 12 0 0 20 0 1 0 141246755 331038720 63936 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80820 63936 835 746 0 79884 0
Current children cumulated CPU time: 2854.99 s
Current children cumulated vsize: 323280 KiB
Current children cumulated memory: 255744 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.00 5/257 716733
/proc/meminfo: memFree=114522996/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323280 memory=255812 CPUtime=2914.84 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39518 0 0 0 291472 12 0 0 20 0 1 0 141246755 331038720 63953 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80820 63953 835 746 0 79884 0
Current children cumulated CPU time: 2914.84 s
Current children cumulated vsize: 323280 KiB
Current children cumulated memory: 255812 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.12 4.01 5/258 716745
/proc/meminfo: memFree=114430988/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323280 memory=255816 CPUtime=2974.69 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39534 0 0 0 297457 12 0 0 20 0 1 0 141246755 331038720 63954 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80820 63954 835 746 0 79884 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 323280 KiB
Current children cumulated memory: 255816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/256 716756
/proc/meminfo: memFree=114351092/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323440 memory=255972 CPUtime=3034.55 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39653 0 0 0 303443 12 0 0 20 0 1 0 141246755 331202560 63993 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80860 63993 835 746 0 79924 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 323440 KiB
Current children cumulated memory: 255972 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/255 716766
/proc/meminfo: memFree=114259888/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323600 memory=255972 CPUtime=3094.4 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39712 0 0 0 309428 12 0 0 20 0 1 0 141246755 331366400 63993 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80900 63993 835 746 0 79964 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 323600 KiB
Current children cumulated memory: 255972 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/257 716780
/proc/meminfo: memFree=114163092/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323824 memory=256380 CPUtime=3154.25 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39871 0 0 0 315413 12 0 0 20 0 1 0 141246755 331595776 64095 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80956 64095 835 746 0 80020 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 323824 KiB
Current children cumulated memory: 256380 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.01 5/257 716790
/proc/meminfo: memFree=114077084/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323824 memory=256380 CPUtime=3214.1 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 39894 0 0 0 321398 12 0 0 20 0 1 0 141246755 331595776 64095 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80956 64095 835 746 0 80020 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 323824 KiB
Current children cumulated memory: 256380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.12 4.02 5/257 716801
/proc/meminfo: memFree=113989076/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323824 memory=256476 CPUtime=3273.96 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40004 0 0 0 327384 12 0 0 20 0 1 0 141246755 331595776 64119 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80956 64119 835 746 0 80020 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 323824 KiB
Current children cumulated memory: 256476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.13 4.03 5/257 716811
/proc/meminfo: memFree=113906032/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=323824 memory=256476 CPUtime=3333.81 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40034 0 0 0 333369 12 0 0 20 0 1 0 141246755 331595776 64119 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 80956 64119 835 746 0 80020 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 323824 KiB
Current children cumulated memory: 256476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.03 5/258 716824
/proc/meminfo: memFree=113788184/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=324080 memory=256640 CPUtime=3393.66 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40163 0 0 0 339354 12 0 0 20 0 1 0 141246755 331857920 64160 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 81020 64160 835 746 0 80084 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 324080 KiB
Current children cumulated memory: 256640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.03 5/258 716836
/proc/meminfo: memFree=113600272/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=324080 memory=256648 CPUtime=3453.51 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40209 0 0 0 345339 12 0 0 20 0 1 0 141246755 331857920 64162 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 81020 64162 835 746 0 80084 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 324080 KiB
Current children cumulated memory: 256648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/256 716846
/proc/meminfo: memFree=113473384/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=324304 memory=256864 CPUtime=3513.37 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40332 0 0 0 351325 12 0 0 20 0 1 0 141246755 332087296 64216 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 81076 64216 835 746 0 80140 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 324304 KiB
Current children cumulated memory: 256864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.16 4.05 5/256 716857
/proc/meminfo: memFree=113377476/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=324460 memory=256964 CPUtime=3573.22 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40391 0 0 0 357310 12 0 0 20 0 1 0 141246755 332247040 64241 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 81115 64241 835 746 0 80179 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 324460 KiB
Current children cumulated memory: 256964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.42 4.20 4.06 4/249 716892
/proc/meminfo: memFree=113627200/131524600 swapFree=131071996/131071996
[pid=714982] ppid=714979 vsize=324460 memory=256964 CPUtime=3600.05 cores=1,3
/proc/714982/stat : 714982 (Exact_nosoplex) R 714979 714982 714401 0 -1 4194304 40391 0 0 0 359993 12 0 0 20 0 1 0 141246755 332247040 64241 134679101440 4194304 7248369 140736267482848 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37330944 140736267486154 140736267486333 140736267486333 140736267493318 0
/proc/714982/statm: 81115 64241 835 746 0 80179 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 324460 KiB
Current children cumulated memory: 256964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.25 s]
# the end of solver process 714982 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.99 s, system=0.130508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.25
CPU time (s): 3600.12
CPU user time (s): 3599.99
CPU system time (s): 0.130508
CPU usage (%): 99.747
Max. virtual memory (cumulated for all children) (KiB): 324460
Max. memory (cumulated for all children) (KiB): 256964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.99
system time used= 0.130508
maximum resident set size= 337832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40409
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= 38
involuntary context switches= 1531
# summary of solver processes directly reported to runsolver:
# pid: 714982
# total CPU time (s): 3600.12
# total CPU user time (s): 3599.99
# total CPU system time (s): 0.130508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3683 second user time and 15.676 second system time
The end
Begin job on nodeC028 at 2024-07-13 19:13:30 IDJOB=4425461 IDBENCH=144120 IDSOLVER=3039 FILE ID=nodeC028/4425461-1720890797 RUNJOBID= nodeC028-1720890801-714413 SLURM_JOB_ID= 7485817 Free space on /tmp= 890068 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-dsjc125-1-4_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425461-1720890797/watcher-4425461-1720890797 -o /tmp/evaluation-result-4425461-1720890797/solver-4425461-1720890797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720890801-714413 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1186498392 HOME/instance-4425461-1720890797.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4a9eb458ba5998baf9d85c7a824f8669 RANDOM SEED=1186498392 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 : 3649.591 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 : 3656.451 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 : 3599.796 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 : 3661.047 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 : 3649.688 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 : 3665.357 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 : 3599.884 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.933 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: 129677072 kB MemAvailable: 129649256 kB Buffers: 320088 kB Cached: 500056 kB SwapCached: 0 kB Active: 477760 kB Inactive: 820112 kB Active(anon): 1560 kB Inactive(anon): 513884 kB Active(file): 476200 kB Inactive(file): 306228 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10240 kB Writeback: 0 kB AnonPages: 476716 kB Mapped: 111876 kB Shmem: 37720 kB KReclaimable: 59156 kB Slab: 154968 kB SReclaimable: 59156 kB SUnreclaim: 95812 kB KernelStack: 4140 kB PageTables: 9756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 869264 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53920 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 166612 kB DirectMap2M: 10092544 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890052 MiB End job on nodeC028 at 2024-07-13 20:13:39