Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | MSAT (TO) | 3600.11 | 3611.12 |
| 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.07 o 89 0.00/0.08 o 88 0.09/0.16 o 85 0.09/0.16 o 84 0.09/0.16 o 83 0.29/0.39 o 82 0.68/0.78 o 81 0.88/0.95 o 79 3.68/3.72 o 76 3.68/3.75 o 75 4.38/4.40 o 74 5.47/5.51 o 73 5.97/6.06 o 72 10.35/10.45 o 71 10.76/10.84 o 69 12.36/12.44 o 68 14.65/14.71 o 67 18.53/18.67 o 66 18.63/18.72 o 65 22.83/22.98 o 64 34.00/34.12 o 63 42.77/42.98 o 62 55.13/55.37 o 61 57.93/58.10 o 60 81.26/81.52 o 59 81.46/81.71 o 57 83.06/83.35 o 55 92.13/92.48 o 54 92.34/92.65 o 53 92.74/93.06 o 52 93.53/93.86 o 50 94.33/94.67 o 49 100.61/101.00 o 47 106.29/106.68 o 46 106.39/106.71 o 45 106.70/107.04 o 44 106.70/107.07 o 43 109.09/109.41 o 42 149.77/150.23 o 41 194.72/195.38 o 40 240.77/241.57 o 39 345.04/346.14 o 38 399.17/400.45 o 37 456.29/457.75 o 36 621.78/623.77 o 35 672.64/674.72 o 34 673.73/675.83 o 33 690.67/692.87 o 32 730.65/732.98 o 30 750.19/752.50 o 29 1052.66/1055.94 o 28 1126.73/1130.22 o 27 3600.08/3611.10 c Program interrupted by user. 3600.08/3611.10 s SATISFIABLE 3600.08/3611.10 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 27
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 (62545 MiB free)
memory of node 1: 64473 MiB (62179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425738-1720890798/watcher-4425738-1720890798 -o /tmp/evaluation-result-4425738-1720890798/solver-4425738-1720890798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720890802-716359 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=806929766 HOME/instance-4425738-1720890798.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=717020, runsolver pid=717017
[startup+0.100562 s]*
/proc/loadavg: 0.67 0.23 0.17 5/257 717021
/proc/meminfo: memFree=127704564/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=38600 memory=18360 CPUtime=0.09 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 3429 0 0 0 9 0 0 0 20 0 1 0 141243320 39526400 4590 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 9650 4590 1108 1005 0 8413 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38600 KiB
Current children cumulated memory: 18360 KiB
[startup+0.205506 s]*
/proc/loadavg: 0.67 0.23 0.17 5/257 717021
/proc/meminfo: memFree=127701508/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=41164 memory=21000 CPUtime=0.2 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 4048 0 0 0 20 0 0 0 20 0 1 0 141243320 42151936 5250 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 10291 5250 1108 1005 0 9054 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 21000 KiB
[startup+0.30546 s]*
/proc/loadavg: 0.67 0.23 0.17 5/257 717021
/proc/meminfo: memFree=127698900/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=41708 memory=23692 CPUtime=0.29 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 4210 0 0 0 29 0 0 0 20 0 1 0 141243320 42708992 5923 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 10427 5923 1140 1005 0 9190 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 23692 KiB
[startup+0.70019 s]
/proc/loadavg: 0.67 0.23 0.17 5/257 717021
/proc/meminfo: memFree=127695228/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=44828 memory=28880 CPUtime=0.68 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 4977 0 0 0 68 0 0 0 20 0 1 0 141243320 45903872 7220 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 11207 7220 1140 1005 0 9970 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 28880 KiB
[startup+1.50018 s]
/proc/loadavg: 0.67 0.23 0.17 5/253 717023
/proc/meminfo: memFree=127743012/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=46540 memory=32496 CPUtime=1.48 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 5411 0 0 0 147 1 0 0 20 0 1 0 141243320 47656960 8124 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 11635 8124 1140 1005 0 10398 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46540 KiB
Current children cumulated memory: 32496 KiB
[startup+3.10549 s]
/proc/loadavg: 0.67 0.23 0.17 5/255 717127
/proc/meminfo: memFree=128022636/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=51656 memory=43620 CPUtime=3.08 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 6663 0 0 0 306 2 0 0 20 0 1 0 141243320 52895744 10905 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 12914 10905 1140 1005 0 11677 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51656 KiB
Current children cumulated memory: 43620 KiB
[startup+6.30017 s]
/proc/loadavg: 0.94 0.29 0.20 6/257 717159
/proc/meminfo: memFree=127070244/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=79868 memory=66620 CPUtime=6.27 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 11088 0 0 0 623 4 0 0 20 0 1 0 141243320 81784832 16655 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 19967 16655 1140 1005 0 18730 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 66620 KiB
[startup+12.7002 s]
/proc/loadavg: 1.18 0.35 0.22 6/257 717160
/proc/meminfo: memFree=125061152/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=103292 memory=77532 CPUtime=12.65 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 12227 0 0 0 1256 9 0 0 20 0 1 0 141243320 105771008 19383 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 25823 19383 1140 1005 0 24586 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 103292 KiB
Current children cumulated memory: 77532 KiB
[startup+25.5002 s]
/proc/loadavg: 1.81 0.53 0.28 6/257 717162
/proc/meminfo: memFree=124667072/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=131972 memory=111824 CPUtime=25.42 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 18291 0 0 0 2526 16 0 0 20 0 1 0 141243320 135139328 27956 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 32993 27956 1140 1005 0 31756 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 131972 KiB
Current children cumulated memory: 111824 KiB
[startup+51.1056 s]
/proc/loadavg: 2.62 0.83 0.38 6/257 717167
/proc/meminfo: memFree=124466104/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=133716 memory=122020 CPUtime=50.96 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 18828 0 0 0 5067 29 0 0 20 0 1 0 141243320 136925184 30505 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 33429 30505 1140 1005 0 32192 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 133716 KiB
Current children cumulated memory: 122020 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.35 0.59 6/257 717176
/proc/meminfo: memFree=124085840/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=189904 memory=146916 CPUtime=102.01 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 24022 0 0 0 10144 57 0 0 20 0 1 0 141243320 194461696 36729 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 47476 36729 1140 1005 0 46239 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 189904 KiB
Current children cumulated memory: 146916 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.87 0.81 6/257 717187
/proc/meminfo: memFree=123503872/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=224220 memory=193672 CPUtime=161.84 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 31638 0 0 0 16097 87 0 0 20 0 1 0 141243320 229601280 48418 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 56055 48418 1140 1005 0 54818 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 224220 KiB
Current children cumulated memory: 193672 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.29 1.03 6/255 717197
/proc/meminfo: memFree=122702628/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=228056 memory=200276 CPUtime=221.64 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 32845 0 0 0 22044 120 0 0 20 0 1 0 141243320 233529344 50069 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 57014 50069 1140 1005 0 55777 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 228056 KiB
Current children cumulated memory: 200276 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.62 1.22 6/255 717207
/proc/meminfo: memFree=121822660/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=229448 memory=206860 CPUtime=281.44 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 33525 0 0 0 27995 149 0 0 20 0 1 0 141243320 234954752 51715 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 57362 51715 1140 1005 0 56125 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 229448 KiB
Current children cumulated memory: 206860 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.89 1.40 6/254 717264
/proc/meminfo: memFree=118451048/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=258884 memory=235264 CPUtime=341.25 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 38571 0 0 0 33944 181 0 0 20 0 1 0 141243320 265097216 58816 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 64721 58816 1140 1005 0 63484 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 258884 KiB
Current children cumulated memory: 235264 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.12 1.58 6/254 717274
/proc/meminfo: memFree=117730444/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=261380 memory=237492 CPUtime=401.06 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 39162 0 0 0 39894 212 0 0 20 0 1 0 141243320 267653120 59373 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 65345 59373 1140 1005 0 64108 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 261380 KiB
Current children cumulated memory: 237492 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.30 1.74 6/257 717289
/proc/meminfo: memFree=116436352/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=261572 memory=237676 CPUtime=460.88 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 39267 0 0 0 45847 241 0 0 20 0 1 0 141243320 267849728 59419 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 65393 59419 1140 1005 0 64156 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 265892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.22 4.04 6/257 718910
/proc/meminfo: memFree=82096748/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=284676 memory=266024 CPUtime=2913.35 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 47145 0 0 0 289883 1452 0 0 20 0 1 0 141243320 291508224 66506 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 71169 66506 1140 1005 0 69932 0
Current children cumulated CPU time: 2913.35 s
Current children cumulated vsize: 284676 KiB
Current children cumulated memory: 266024 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.19 4.04 6/257 718921
/proc/meminfo: memFree=81865764/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=354912 memory=270988 CPUtime=2973.17 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48076 0 0 0 295838 1479 0 0 20 0 1 0 141243320 363429888 67747 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88728 67747 1140 1005 0 87491 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 354912 KiB
Current children cumulated memory: 270988 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.20 4.05 6/257 718933
/proc/meminfo: memFree=81615412/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=354912 memory=271040 CPUtime=3032.98 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48202 0 0 0 301789 1509 0 0 20 0 1 0 141243320 363429888 67760 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88728 67760 1140 1005 0 87491 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 354912 KiB
Current children cumulated memory: 271040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.19 4.05 6/255 718943
/proc/meminfo: memFree=81397180/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=354912 memory=271212 CPUtime=3092.8 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48274 0 0 0 307738 1542 0 0 20 0 1 0 141243320 363429888 67803 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88728 67803 1140 1005 0 87491 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 354912 KiB
Current children cumulated memory: 271212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.02 4.15 4.05 5/247 718984
/proc/meminfo: memFree=103226620/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=354912 memory=271212 CPUtime=3152.62 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48349 0 0 0 313692 1570 0 0 20 0 1 0 141243320 363429888 67803 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88728 67803 1140 1005 0 87491 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 354912 KiB
Current children cumulated memory: 271212 KiB
[startup+3222.3 s]
/proc/loadavg: 3.52 3.98 3.99 5/247 718994
/proc/meminfo: memFree=103213260/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=354912 memory=271212 CPUtime=3212.43 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48427 0 0 0 319646 1597 0 0 20 0 1 0 141243320 363429888 67803 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88728 67803 1140 1005 0 87491 0
Current children cumulated CPU time: 3212.43 s
Current children cumulated vsize: 354912 KiB
Current children cumulated memory: 271212 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.82 3.94 5/247 719005
/proc/meminfo: memFree=103110404/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=271940 CPUtime=3272.26 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48691 0 0 0 325597 1629 0 0 20 0 1 0 141243320 364199936 67985 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 67985 1140 1005 0 87679 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 271940 KiB
[startup+3342.3 s]
/proc/loadavg: 3.32 3.73 3.90 5/247 719015
/proc/meminfo: memFree=103105648/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=271964 CPUtime=3332.08 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 48789 0 0 0 331546 1662 0 0 20 0 1 0 141243320 364199936 67991 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 67991 1140 1005 0 87679 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 271964 KiB
[startup+3402.3 s]
/proc/loadavg: 3.23 3.63 3.85 5/247 719025
/proc/meminfo: memFree=103095204/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=273192 CPUtime=3391.9 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 49168 0 0 0 337499 1691 0 0 20 0 1 0 141243320 364199936 68298 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 68298 1140 1005 0 87679 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 273192 KiB
[startup+3462.3 s]
/proc/loadavg: 3.19 3.54 3.80 5/250 719041
/proc/meminfo: memFree=103072368/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=273316 CPUtime=3451.72 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 49280 0 0 0 343456 1716 0 0 20 0 1 0 141243320 364199936 68329 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 68329 1140 1005 0 87679 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 273316 KiB
[startup+3522.3 s]
/proc/loadavg: 3.19 3.47 3.76 5/250 719051
/proc/meminfo: memFree=103008332/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=273356 CPUtime=3511.54 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 49343 0 0 0 349408 1746 0 0 20 0 1 0 141243320 364199936 68339 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 68339 1140 1005 0 87679 0
Current children cumulated CPU time: 3511.54 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 273356 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.40 3.72 5/250 719061
/proc/meminfo: memFree=102933960/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=273356 CPUtime=3571.36 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 49407 0 0 0 355361 1775 0 0 20 0 1 0 141243320 364199936 68339 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 68339 1140 1005 0 87679 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 273356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 2.92 3.33 3.68 4/243 719097
/proc/meminfo: memFree=110624076/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=273704 CPUtime=3600.08 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 49438 0 0 0 358219 1789 0 0 20 0 1 0 141243320 364199936 68426 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 68426 1140 1005 0 87679 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 273704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 717020 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3582.2 s, system=17.9023 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 2.92 3.33 3.68 4/243 719097
/proc/meminfo: memFree=110624076/131524600 swapFree=131071996/131071996
[pid=717020] ppid=717017 vsize=355664 memory=273704 CPUtime=3600.08 cores=1,3
/proc/717020/stat : 717020 (Exact) R 717017 717020 716347 0 -1 4194304 49438 0 0 0 358219 1789 0 0 20 0 1 0 141243320 364199936 68426 134679101440 4194304 8309489 140725683250896 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 27701248 140725683258333 140725683258502 140725683258502 140725683265487 0
/proc/717020/statm: 88916 68426 1140 1005 0 87679 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 273704 KiB
Child status: 10
Real time (s): 3611.12
CPU time (s): 3600.11
CPU user time (s): 3582.2
CPU system time (s): 17.9023
CPU usage (%): 99.695
Max. virtual memory (cumulated for all children) (KiB): 446660
Max. memory (cumulated for all children) (KiB): 323740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.2
system time used= 17.9023
maximum resident set size= 360704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49440
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= 8
involuntary context switches= 1747
# summary of solver processes directly reported to runsolver:
# pid: 717020
# total CPU time (s): 3600.11
# total CPU user time (s): 3582.2
# total CPU system time (s): 17.9023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97542 second user time and 16.8798 second system time
The end
Begin job on nodeC020 at 2024-07-13 19:13:31 IDJOB=4425738 IDBENCH=144120 IDSOLVER=3040 FILE ID=nodeC020/4425738-1720890798 RUNJOBID= nodeC020-1720890802-716359 SLURM_JOB_ID= 7485803 Free space on /tmp= 890048 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-dsjc125-1-4_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425738-1720890798/watcher-4425738-1720890798 -o /tmp/evaluation-result-4425738-1720890798/solver-4425738-1720890798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720890802-716359 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=806929766 HOME/instance-4425738-1720890798.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4a9eb458ba5998baf9d85c7a824f8669 RANDOM SEED=806929766 nodeC020.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 : 3667.565 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 : 7000.05 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 : 3662.011 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.84 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 : 3600.152 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 : 7000.05 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 : 3655.857 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.84 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 : 3667.523 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 : 7000.05 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 : 3667.136 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.84 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 : 3600.149 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 : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.164 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.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127718848 kB MemAvailable: 128045452 kB Buffers: 332604 kB Cached: 836888 kB SwapCached: 0 kB Active: 526516 kB Inactive: 2714160 kB Active(anon): 1568 kB Inactive(anon): 2106992 kB Active(file): 524948 kB Inactive(file): 607168 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19820 kB Writeback: 0 kB AnonPages: 2069848 kB Mapped: 113956 kB Shmem: 37720 kB KReclaimable: 68624 kB Slab: 166568 kB SReclaimable: 68624 kB SUnreclaim: 97944 kB KernelStack: 4144 kB PageTables: 13008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2476480 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52928 kB HardwareCorrupted: 0 kB AnonHugePages: 1114112 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: 168660 kB DirectMap2M: 10090496 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890040 MiB End job on nodeC020 at 2024-07-13 20:13:42