| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | UNSAT | 1588.32 | 200.225 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-29.xml |
| MD5SUM | 91ee56688d10982c4440a8b03ad88e11 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 9.38861 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 21 |
| Number of constraints | 133 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":21}] |
| Minimum variable degree | 109 |
| Maximum variable degree | 120 |
| Distribution of variable degrees | [{"degree":109,"count":1},{"degree":110,"count":1},{"degree":111,"count":1},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":5},{"degree":116,"count":4},{"degree":117,"count":1},{"degree":119,"count":1},{"degree":120,"count":1}] |
| Minimum constraint arity | 18 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":18,"count":133}] |
| Number of extensional constraints | 133 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":133}] |
| Optimization problem | NO |
| Type of objective |
5.20/1.91 c root propagations : 0 5.20/1.91 c restarts enabled, print stats at every restarts 5.20/1.91 c 5.20/1.91 c 5.20/1.91 c 5.20/1.91 c This is cosoco 2.00 -- 5.20/1.91 c 5.20/1.91 c command line: cosoco -model -nbcores=8 HOME/instance-4409353-1569824190.xml 5.20/1.91 c ========================================[ Problem Statistics ]=========================================== 5.20/1.91 c | 5.20/1.91 c | Parse time : 1.26 s 5.20/1.91 c | 5.20/1.91 c | Variables: 21 5.20/1.91 c | Domain Sizes: 2..2 5.20/1.91 c | 5.20/1.91 c | Constraints: 133 5.20/1.91 c | Arity: 18..18 5.20/1.91 c | 5.20/1.91 c | Types: 5.20/1.91 c | Extension: 133 (nb tuples: 57992..57992) -- (shared: 1056) 5.20/1.91 c | 5.20/1.91 c ========================================================================================================= 5.20/1.91 c Parallel mode: Portfolio 5.20/1.91 c [pFactory][Group N°0] created (threads:8). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 5.20/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 5.20/1.91 c [pFactory][Group N°0] concurrent mode: enabled. 5.20/1.91 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 5.20/1.91 c [pFactory][Group N°0] task 7 launched on thread 6. 5.20/1.91 c [pFactory][Group N°0] task 6 launched on thread 1. 5.20/1.91 c [pFactory][Group N°0] task 5 launched on thread 0. 5.20/1.91 c [pFactory][Group N°0] task 4 launched on thread 2. 5.20/1.91 c [pFactory][Group N°0] task 3 launched on thread 7. 5.20/1.91 c [pFactory][Group N°0] task 2 launched on thread 4. 5.20/1.91 c [pFactory][Group N°0] task 1 launched on thread 5. 5.20/1.91 c [pFactory][Group N°0] task 0 launched on thread 3. 5.20/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.91 c root propagations : 0 5.20/1.91 c restarts enabled, print stats at every restarts 5.20/1.91 c 5.20/1.91 c 5.20/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.91 c root propagations : 0 5.20/1.91 c restarts enabled, print stats at every restarts 5.20/1.91 c 5.20/1.91 c 5.20/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.91 c root propagations : 0 5.20/1.91 c restarts enabled, print stats at every restarts 5.20/1.91 c 5.20/1.91 c 5.20/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.94 c root propagations : 0 5.20/1.95 c restarts enabled, print stats at every restarts 5.20/1.95 c 5.20/1.95 c 5.20/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.95 c root propagations : 0 5.20/1.95 c restarts enabled, print stats at every restarts 5.20/1.95 c 5.20/1.95 c 5.20/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.95 c root propagations : 0 5.20/1.95 c restarts enabled, print stats at every restarts 5.20/1.95 c 5.20/1.95 c 5.20/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.20/1.95 c root propagations : 0 5.20/1.95 c restarts enabled, print stats at every restarts 5.20/1.95 c 5.20/1.95 c 5.20/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.59/2.78 c 32 113 15919 629 0 0 12 15 13 12.39/2.86 c 32 111 15772 618 0 0 11 16 13 13.19/2.99 c 32 111 15772 618 0 0 11 16 13 14.05/3.05 c 32 110 15374 606 0 0 12 15 13 14.85/3.16 c 101 366 49789 2032 0 0 9 15 13 15.58/3.28 c 101 339 49589 1949 0 0 11 15 13 16.37/3.32 c 101 349 48839 1935 0 0 9 15 13 17.17/3.44 c 101 352 50527 2037 0 0 11 16 13 17.17/3.49 c 33 126 17462 652 0 0 13 13 6 19.57/3.78 c 33 124 17395 640 0 0 13 13 6 20.38/3.83 c 33 124 17078 644 0 0 14 14 7 22.03/4.03 c 33 124 17395 640 0 0 13 13 6 23.56/4.29 c 211 753 102511 4276 0 0 10 15 13 25.19/4.40 c 64 235 32615 1264 0 0 12 15 13 25.96/4.52 c 211 730 101361 4089 0 0 9 15 13 26.76/4.66 c 64 232 31864 1280 0 0 12 15 13 26.76/4.68 c 211 696 99777 4005 0 0 9 15 13 28.36/4.89 c 211 740 101931 4258 0 0 10 15 13 29.16/4.91 c 64 237 33575 1268 0 0 12 15 13 31.54/5.22 c 64 237 33575 1268 0 0 12 15 13 32.35/5.31 c 65 248 34166 1294 0 0 13 13 6 33.95/5.54 c 332 1165 159792 6672 0 0 8 15 13 34.74/5.64 c 65 245 33392 1303 0 0 13 13 6 35.54/5.72 c 332 1151 157004 6431 0 0 7 15 13 37.14/5.97 c 65 250 35250 1299 0 0 13 13 6 39.53/6.22 c 66 261 35676 1317 0 0 13 13 6 39.53/6.25 c 332 1135 159855 6463 0 0 10 15 13 40.33/6.33 c 65 250 35250 1299 0 0 13 13 6 42.73/6.68 c 332 1184 160580 6762 0 0 9 15 13 45.13/6.95 c 66 258 34995 1327 0 0 13 13 6 45.13/7.00 c 465 1639 226221 9298 0 0 11 15 13 45.99/7.06 c 465 1600 214589 8893 0 0 9 15 13 46.78/7.11 c 66 263 36904 1330 0 0 13 13 6 46.78/7.15 c 67 274 37227 1347 0 0 13 13 6 49.12/7.50 c 66 263 36904 1330 0 0 13 13 6 53.12/7.93 c 465 1608 225603 9098 0 0 11 15 13 54.78/8.19 c 128 487 66378 2544 0 0 10 15 13 55.50/8.23 c 67 276 38570 1353 0 0 13 13 6 56.30/8.35 c 67 271 36523 1350 0 0 13 13 6 57.10/8.43 c 611 2175 300356 12374 0 0 10 15 13 57.10/8.46 c 465 1654 223973 9411 0 0 9 15 13 58.70/8.66 c 67 276 38570 1353 0 0 13 13 6 59.50/8.77 c 611 2102 280164 11764 0 0 7 15 13 62.76/9.12 c 129 500 67976 2567 0 0 13 13 6 65.87/9.53 c 611 2113 295965 12033 0 0 8 15 13 65.87/9.57 c 128 494 70210 2576 0 0 11 14 13 69.08/9.92 c 128 470 63884 2522 0 0 10 15 13 69.08/9.92 c 771 2715 375604 15508 0 0 7 15 13 69.94/10.04 c 128 494 70210 2576 0 0 11 14 13 69.94/10.06 c 130 513 69579 2590 0 0 13 13 6 72.26/10.31 c 611 2150 292402 12247 0 0 9 15 13 73.86/10.56 c 771 2649 350421 14807 0 0 8 15 13 75.47/10.70 c 129 507 71733 2597 0 0 13 13 6 79.45/11.20 c 131 526 71177 2613 0 0 13 13 6 79.45/11.21 c 129 507 71733 2597 0 0 13 13 6 79.45/11.26 c 129 483 65400 2545 0 0 13 13 6 80.25/11.37 c 947 3303 455313 18943 0 0 9 15 13 81.05/11.41 c 771 2671 370238 15094 0 0 9 15 13 84.24/11.84 c 130 519 73247 2620 0 0 12 12 6 88.24/12.30 c 771 2691 367611 15463 0 0 9 15 13 89.03/12.40 c 130 519 73247 2620 0 0 12 12 6 89.03/12.41 c 132 539 72829 2645 0 0 13 13 6 89.03/12.44 c 947 3270 430631 18222 0 0 7 15 13 89.83/12.51 c 130 496 66932 2576 0 0 13 13 6 93.03/12.99 c 131 532 74818 2642 0 0 13 13 6 94.69/13.19 c 1140 3958 545645 22644 0 0 10 15 13 97.82/13.58 c 131 532 74818 2642 0 0 13 13 6 97.82/13.59 c 133 552 74427 2668 0 0 13 13 6 98.62/13.67 c 947 3302 459667 18685 0 0 6 15 13 98.62/13.69 c 131 509 68448 2599 0 0 13 13 6 103.40/14.25 c 132 545 76392 2665 0 0 13 13 6 103.40/14.26 c 1140 3928 515611 21925 0 0 9 15 13 105.01/14.41 c 947 3293 451802 18917 0 0 11 15 13 107.40/14.72 c 132 522 69982 2630 0 0 13 13 6 107.40/14.78 c 134 565 76079 2700 0 0 13 13 6 108.20/14.89 c 132 545 76392 2665 0 0 13 13 6 111.39/15.23 c 1352 4677 645480 26739 0 0 10 15 13 114.58/15.69 c 133 558 78065 2696 0 0 13 13 6 116.19/15.87 c 133 535 71498 2653 0 0 13 13 6 116.19/15.89 c 1140 3973 551156 22512 0 0 9 15 13 116.99/15.95 c 135 578 77677 2723 0 0 13 13 6 119.38/16.23 c 1352 4680 612489 26038 0 0 6 15 13 120.18/16.34 c 133 558 78065 2696 0 0 13 13 6 121.78/16.52 c 1140 3989 546315 22876 0 0 6 15 13 124.97/16.91 c 134 548 73032 2684 0 0 13 13 6 125.83/17.07 c 134 570 79582 2719 0 0 12 12 6 127.36/17.25 c 1585 5465 754848 31331 0 0 8 15 13 129.76/17.58 c 256 991 136135 5083 0 0 9 15 13 131.36/17.71 c 134 570 79582 2719 0 0 12 12 6 132.95/17.99 c 1352 4719 652798 26667 0 0 11 15 13 133.82/18.05 c 135 561 74548 2707 0 0 13 13 6 134.62/18.19 c 1585 5483 715347 30524 0 0 10 15 13 136.14/18.32 c 135 583 81153 2742 0 0 13 13 6 138.54/18.64 c 1352 4764 653004 27268 0 0 8 15 13 139.34/18.72 c 257 1005 137753 5111 0 0 14 14 7 140.94/18.98 c 135 583 81153 2742 0 0 13 13 6 143.32/19.21 c 1841 6300 869318 36212 0 0 8 15 13 145.72/19.51 c 256 988 130842 5105 0 0 7 15 13 148.12/19.86 c 258 1019 139487 5146 0 0 14 14 7 148.92/20.00 c 256 1003 139575 5153 0 0 9 15 13 152.10/20.33 c 1841 6365 827886 35416 0 0 6 15 13 152.10/20.35 c 1585 5547 766043 31354 0 0 11 15 13 154.51/20.64 c 257 1001 132370 5128 0 0 13 13 6 154.51/20.66 c 256 1003 139575 5153 0 0 9 15 13 156.10/20.84 c 1585 5552 762754 31875 0 0 10 15 13 156.90/20.99 c 259 1033 141105 5174 0 0 14 14 7 159.29/21.26 c 257 1017 141245 5184 0 0 14 14 7 160.09/21.37 c 2122 7255 998304 41649 0 0 9 15 13 164.09/21.81 c 258 1014 133898 5151 0 0 13 13 6 164.89/21.95 c 257 1017 141245 5184 0 0 14 14 7 165.75/22.10 c 260 1047 142839 5209 0 0 14 14 7 169.67/22.57 c 258 1031 142916 5215 0 0 14 14 7 170.47/22.67 c 1841 6444 886893 36405 0 0 7 15 13 170.47/22.67 c 2122 7362 958123 40846 0 0 8 15 13 173.74/23.04 c 259 1027 135426 5174 0 0 13 13 6 173.74/23.07 c 1841 6431 882073 37011 0 0 10 15 13 175.27/23.21 c 261 1061 144492 5239 0 0 14 14 7 176.07/23.30 c 258 1031 142916 5215 0 0 14 14 7 178.47/23.62 c 2431 8304 1140133 47581 0 0 7 15 13 180.87/23.99 c 259 1045 144586 5246 0 0 14 14 7 183.26/24.24 c 260 1040 136954 5197 0 0 13 13 6 184.06/24.33 c 262 1075 146172 5275 0 0 14 14 7 187.25/24.73 c 259 1045 144586 5246 0 0 14 14 7 188.85/24.94 c 2431 8394 1091815 46571 0 0 9 15 13 190.51/25.15 c 2122 7439 1021319 41875 0 0 10 15 13 191.24/25.30 c 260 1059 146257 5277 0 0 14 14 7 192.84/25.43 c 261 1053 138482 5220 0 0 13 13 6 192.84/25.47 c 263 1089 147825 5305 0 0 14 14 7 193.64/25.51 c 2122 7406 1017418 42575 0 0 6 15 13 196.84/25.96 c 2770 9471 1299495 54267 0 0 7 15 13 197.70/26.04 c 260 1059 146257 5277 0 0 14 14 7 201.62/26.56 c 264 1103 149501 5341 0 0 14 14 7 202.42/26.64 c 261 1073 147927 5308 0 0 14 14 7 202.42/26.65 c 262 1066 140010 5243 0 0 13 13 6 208.01/27.39 c 261 1073 147927 5308 0 0 14 14 7 209.61/27.56 c 2431 8479 1164454 47837 0 0 9 15 13 209.61/27.59 c 2770 9556 1243643 53049 0 0 8 15 13 210.41/27.68 c 265 1117 151154 5371 0 0 14 14 7 212.00/27.85 c 263 1079 141538 5266 0 0 13 13 6 212.80/27.94 c 262 1087 149598 5339 0 0 14 14 7 212.80/27.99 c 2431 8484 1165093 48781 0 0 10 15 13 216.79/28.50 c 3142 10756 1474647 61593 0 0 9 15 13 219.19/28.72 c 262 1087 149598 5339 0 0 14 14 7 219.19/28.78 c 266 1131 152830 5407 0 0 14 14 7 221.65/29.07 c 264 1092 143066 5289 0 0 13 13 6 223.17/29.28 c 263 1101 151268 5370 0 0 14 14 7 227.97/29.84 c 267 1145 154483 5437 0 0 14 14 7 229.63/30.07 c 263 1101 151268 5370 0 0 14 14 7 230.43/30.19 c 3142 10857 1412808 60222 0 0 10 15 13 231.16/30.27 c 265 1105 144594 5312 0 0 13 13 6 231.96/30.36 c 2770 9688 1330135 54603 0 0 5 15 13 233.56/30.56 c 264 1115 153060 5405 0 0 14 14 7 235.96/30.89 c 2770 9665 1328756 55521 0 0 6 15 13 236.75/30.90 c 268 1159 156177 5474 0 0 14 14 7 239.94/31.38 c 264 1115 153060 5405 0 0 14 14 7 240.74/31.45 c 266 1118 146122 5335 0 0 13 13 6 241.54/31.58 c 3551 12146 1667220 69693 0 0 9 15 13 244.73/31.91 c 265 1128 154728 5430 0 0 13 13 6 245.60/32.03 c 269 1173 157830 5504 0 0 14 14 7 250.33/32.68 c 267 1131 147650 5358 0 0 13 13 6 251.13/32.73 c 265 1128 154728 5430 0 0 13 13 6 251.93/32.86 c 3551 12262 1593558 67909 0 0 6 15 13 254.39/33.14 c 270 1187 159527 5541 0 0 14 14 7 254.39/33.20 c 266 1142 156398 5461 0 0 14 14 7 255.11/33.21 c 3142 10968 1503706 61778 0 0 8 15 13 259.11/33.75 c 3142 10940 1503581 62795 0 0 5 15 13 259.91/33.84 c 268 1144 149178 5381 0 0 13 13 6 261.57/34.03 c 266 1142 156398 5461 0 0 14 14 7 263.09/34.24 c 271 1201 161259 5580 0 0 14 14 7 264.69/34.49 c 267 1156 158190 5496 0 0 14 14 7 267.89/34.83 c 4000 13686 1879520 78581 0 0 7 15 13 269.55/35.05 c 269 1157 150706 5404 0 0 13 13 6 271.88/35.35 c 267 1156 158190 5496 0 0 14 14 7 275.88/35.80 c 4000 13814 1794542 76642 0 0 9 15 13 275.88/35.84 c 268 1169 159858 5521 0 0 13 13 6 279.06/36.21 c 270 1170 152234 5427 0 0 13 13 6 279.86/36.36 c 512 2037 280579 10328 0 0 7 15 13 282.26/36.61 c 3551 12418 1699432 69912 0 0 8 15 13 282.26/36.69 c 268 1169 159858 5521 0 0 13 13 6 283.86/36.82 c 3551 12355 1697299 71026 0 0 7 15 13 285.52/37.08 c 269 1182 161524 5546 0 0 13 13 6 288.65/37.42 c 271 1183 153762 5450 0 0 13 13 6 288.65/37.46 c 513 2049 282125 10350 0 0 12 12 6 292.65/37.97 c 269 1182 161524 5546 0 0 13 13 6 293.51/38.04 c 4493 15386 2112579 88400 0 0 8 15 13 295.82/38.31 c 270 1195 163192 5571 0 0 13 13 6 297.42/38.57 c 514 2061 283672 10372 0 0 12 12 6 299.82/38.80 c 4493 15536 2015668 86125 0 0 10 15 13 302.28/39.19 c 270 1195 163192 5571 0 0 13 13 6 304.60/39.49 c 271 1208 164858 5596 0 0 13 13 6 305.40/39.57 c 512 1999 264611 10121 0 0 7 15 13 307.00/39.70 c 515 2073 285218 10394 0 0 12 12 6 307.80/39.86 c 4000 13943 1904874 78503 0 0 8 15 13 307.80/39.88 c 4000 13912 1909196 79870 0 0 7 15 13 311.79/40.38 c 271 1208 164858 5596 0 0 13 13 6 314.99/40.72 c 513 2012 266134 10144 0 0 13 13 6 314.99/40.79 c 516 2085 286767 10416 0 0 12 12 6 319.78/41.36 c 5035 17232 2367194 99102 0 0 7 15 13 323.77/41.85 c 517 2097 288313 10438 0 0 12 12 6 323.77/41.86 c 514 2025 267662 10167 0 0 13 13 6 323.77/41.86 c 512 1999 279501 10305 0 0 6 15 13 326.23/42.16 c 5035 17379 2259482 96468 0 0 8 15 13 330.95/42.73 c 512 1999 279501 10305 0 0 6 15 13 332.56/42.90 c 518 2109 289860 10460 0 0 12 12 6 333.42/43.07 c 515 2038 269185 10190 0 0 13 13 6 333.42/43.07 c 513 2012 281028 10328 0 0 13 13 6 333.42/43.09 c 4493 15625 2130078 88152 0 0 9 15 13 338.14/43.63 c 4493 15614 2143588 89620 0 0 7 15 13 340.54/43.97 c 513 2012 281028 10328 0 0 13 13 6 341.40/44.01 c 519 2122 291486 10492 0 0 13 13 6 343.73/44.31 c 516 2051 270713 10213 0 0 13 13 6 343.73/44.31 c 514 2025 282612 10355 0 0 13 13 6 348.52/44.97 c 5631 19228 2638788 110564 0 0 6 15 13 350.18/45.17 c 520 2135 293090 10521 0 0 13 13 6 350.91/45.21 c 514 2025 282612 10355 0 0 13 13 6 353.32/45.51 c 517 2064 272236 10236 0 0 13 13 6 353.32/45.53 c 515 2038 284139 10378 0 0 13 13 6 355.71/45.87 c 5631 19495 2538015 108061 0 0 6 15 13 358.90/46.26 c 521 2147 294637 10543 0 0 12 12 6 360.50/46.47 c 515 2038 284139 10378 0 0 13 13 6 362.10/46.66 c 516 2051 285723 10405 0 0 13 13 6 362.90/46.73 c 518 2077 273764 10259 0 0 13 13 6 363.70/46.85 c 5035 17481 2381117 98583 0 0 8 15 13 367.69/47.38 c 522 2160 296263 10575 0 0 13 13 6 369.28/47.50 c 5035 17506 2406263 100592 0 0 6 15 13 370.08/47.60 c 516 2051 285723 10405 0 0 13 13 6 371.68/47.82 c 517 2064 287250 10428 0 0 13 13 6 372.48/47.92 c 519 2090 275287 10282 0 0 13 13 6 376.47/48.49 c 523 2173 297867 10604 0 0 13 13 6 378.87/48.78 c 517 2064 287250 10428 0 0 13 13 6 380.47/48.93 c 518 2077 288834 10455 0 0 13 13 6 382.13/49.16 c 520 2104 276964 10319 0 0 14 14 7 382.85/49.22 c 6286 21495 2948445 123530 0 0 8 15 13 385.25/49.56 c 524 2186 299475 10633 0 0 13 13 6 387.65/49.82 c 6286 21737 2831321 120452 0 0 9 15 13 388.45/49.90 c 518 2077 288834 10455 0 0 13 13 6 389.31/50.07 c 519 2090 290361 10478 0 0 13 13 6 390.83/50.26 c 521 2118 278643 10356 0 0 14 14 7 394.03/50.60 c 525 2199 301083 10662 0 0 13 13 6 394.03/50.69 c 5631 19541 2659574 110253 0 0 8 15 13 397.29/51.05 c 519 2090 290361 10478 0 0 13 13 6 398.09/51.17 c 520 2103 291945 10505 0 0 13 13 6 399.62/51.36 c 522 2132 280320 10393 0 0 14 14 7 399.62/51.38 c 5631 19524 2680172 112200 0 0 6 15 13 402.81/51.74 c 526 2211 302630 10684 0 0 12 12 6 406.07/52.18 c 520 2103 291945 10505 0 0 13 13 6 407.60/52.32 c 521 2116 293472 10528 0 0 13 13 6 407.60/52.39 c 523 2146 281964 10422 0 0 14 14 7 411.60/52.88 c 527 2224 304281 10716 0 0 13 13 6 415.59/53.34 c 521 2116 293472 10528 0 0 13 13 6 416.39/53.43 c 522 2129 295056 10555 0 0 13 13 6 416.39/53.44 c 7006 23934 3280040 137406 0 0 9 15 13 417.19/53.57 c 524 2160 283606 10451 0 0 14 14 7 419.58/53.86 c 7006 24219 3150381 134208 0 0 6 16 13 421.25/54.01 c 528 2237 305889 10745 0 0 13 13 6 424.37/54.47 c 522 2129 295056 10555 0 0 13 13 6 425.17/54.59 c 523 2142 296583 10578 0 0 13 13 6 427.57/54.87 c 525 2174 285277 10484 0 0 14 14 7 429.23/55.02 c 6286 21778 2969253 122963 0 0 9 15 13 430.03/55.12 c 529 2249 307436 10767 0 0 12 12 6 433.96/55.64 c 523 2142 296583 10578 0 0 13 13 6 434.76/55.70 c 524 2155 298167 10605 0 0 13 13 6 436.36/55.93 c 526 2188 286921 10513 0 0 14 14 7 438.02/56.17 c 6286 21821 3004147 125332 0 0 9 15 13 438.75/56.25 c 530 2262 309087 10799 0 0 13 13 6 442.74/56.76 c 524 2155 298167 10605 0 0 13 13 6 443.54/56.85 c 525 2168 299751 10632 0 0 13 13 6 446.00/57.13 c 527 2202 288563 10542 0 0 14 14 7 447.53/57.35 c 531 2275 310695 10828 0 0 13 13 6 452.33/57.91 c 7798 27023 3511476 149592 0 0 6 15 13 452.33/57.92 c 525 2168 299751 10632 0 0 13 13 6 452.33/57.95 c 526 2181 301295 10662 0 0 13 13 6 454.72/58.21 c 7798 26643 3657002 153025 0 0 6 15 13 455.52/58.35 c 528 2216 290234 10575 0 0 14 14 7 456.31/58.44 c 532 2287 312245 10850 0 0 12 12 6 461.17/59.03 c 526 2181 301295 10662 0 0 13 13 6 461.97/59.16 c 7006 24219 3298733 136776 0 0 6 15 13 462.70/59.23 c 527 2194 302840 10692 0 0 13 13 6 464.30/59.45 c 529 2230 291878 10604 0 0 14 14 7 465.09/59.52 c 533 2300 313893 10882 0 0 13 13 6 471.48/60.35 c 527 2194 302840 10692 0 0 13 13 6 473.08/60.51 c 528 2207 304424 10719 0 0 13 13 6 473.88/60.64 c 530 2244 293520 10633 0 0 14 14 7 473.88/60.69 c 534 2312 315443 10904 0 0 12 12 6 478.67/61.21 c 7006 24335 3356546 139749 0 0 9 15 13 481.86/61.64 c 528 2207 304424 10719 0 0 13 13 6 482.66/61.75 c 529 2220 306008 10746 0 0 13 13 6 482.66/61.76 c 535 2325 317051 10933 0 0 13 13 6 483.46/61.85 c 531 2258 295192 10666 0 0 14 14 7 491.45/62.88 c 530 2233 307592 10773 0 0 13 13 6 491.45/62.88 c 529 2220 306008 10746 0 0 13 13 6 491.45/62.89 c 536 2338 318673 10962 0 0 13 13 6 492.25/62.99 c 8669 30028 3900390 166156 0 0 9 15 13 493.91/63.14 c 532 2272 296836 10695 0 0 14 14 7 496.23/63.44 c 8669 29673 4063112 169918 0 0 6 15 13 501.10/64.01 c 537 2351 320321 10994 0 0 13 13 6 501.10/64.02 c 530 2233 307592 10773 0 0 13 13 6 501.10/64.04 c 531 2246 309176 10800 0 0 13 13 6 505.02/64.53 c 533 2286 298478 10724 0 0 14 14 7 505.82/64.62 c 7798 27021 3681515 152299 0 0 8 15 13 509.88/65.15 c 538 2363 321871 11016 0 0 12 12 6 509.88/65.16 c 532 2259 310720 10830 0 0 13 13 6 509.88/65.20 c 531 2246 309176 10800 0 0 13 13 6 515.41/65.84 c 534 2300 300150 10757 0 0 14 14 7 518.60/66.25 c 539 2376 323479 11045 0 0 13 13 6 519.39/66.34 c 532 2259 310720 10830 0 0 13 13 6 520.19/66.43 c 533 2272 312265 10860 0 0 13 13 6 520.19/66.45 c 7798 27094 3732026 155439 0 0 8 15 13 525.05/67.09 c 535 2314 301794 10786 0 0 14 14 7 527.38/67.37 c 540 2389 325101 11074 0 0 13 13 6 529.78/67.62 c 533 2272 312265 10860 0 0 13 13 6 529.78/67.69 c 534 2285 313849 10887 0 0 13 13 6 535.36/68.34 c 9627 33346 4328973 184495 0 0 7 16 13 536.16/68.44 c 536 2328 303435 10815 0 0 14 14 7 536.16/68.46 c 541 2402 326720 11103 0 0 13 13 6 539.36/68.87 c 534 2285 313849 10887 0 0 13 13 6 539.36/68.90 c 535 2298 315433 10914 0 0 13 13 6 541.02/69.07 c 9627 33036 4525856 188900 0 0 8 15 13 544.94/69.58 c 542 2415 328506 11140 0 0 13 13 6 546.54/69.79 c 537 2342 305108 10848 0 0 14 14 7 549.00/70.01 c 536 2311 317017 10941 0 0 13 13 6 549.00/70.10 c 535 2298 315433 10914 0 0 13 13 6 550.53/70.24 c 8669 30000 4089971 169217 0 0 8 15 13 553.73/70.66 c 543 2428 330125 11169 0 0 13 13 6 557.79/71.13 c 538 2356 306752 10877 0 0 14 14 7 557.79/71.17 c 537 2324 318601 10968 0 0 13 13 6 558.51/71.23 c 536 2311 317017 10941 0 0 13 13 6 566.50/72.27 c 538 2337 320145 10998 0 0 13 13 6 567.30/72.32 c 8669 30180 4167426 173092 0 0 8 15 13 567.30/72.37 c 539 2370 308393 10906 0 0 14 14 7 567.30/72.39 c 537 2324 318601 10968 0 0 13 13 6 576.88/73.51 c 538 2337 320145 10998 0 0 13 13 6 576.88/73.51 c 539 2350 321690 11028 0 0 13 13 6 578.48/73.72 c 540 2384 310066 10939 0 0 14 14 7 579.28/73.87 c 10680 36939 4793817 204481 0 0 8 15 13 579.28/73.89 c 1024 4091 557999 20831 0 0 8 15 13 586.47/74.74 c 540 2363 323274 11055 0 0 13 13 6 586.47/74.77 c 539 2350 321690 11028 0 0 13 13 6 588.93/75.03 c 1025 4104 559604 20861 0 0 13 13 6 588.93/75.06 c 541 2398 311710 10968 0 0 14 14 7 592.05/75.46 c 10680 36633 5019715 209478 0 0 8 15 13 596.05/75.92 c 9627 33287 4537726 188101 0 0 7 15 13 596.05/75.97 c 541 2376 324858 11082 0 0 13 13 6 596.91/76.03 c 540 2363 323274 11055 0 0 13 13 6 597.71/76.12 c 1026 4117 561208 20891 0 0 13 13 6 599.24/76.32 c 542 2412 313392 11006 0 0 14 14 7 604.90/77.09 c 542 2389 326442 11109 0 0 13 13 6 606.43/77.22 c 1027 4130 562813 20921 0 0 13 13 6 606.43/77.26 c 541 2376 324858 11082 0 0 13 13 6 608.82/77.54 c 543 2426 315036 11035 0 0 14 14 7 614.41/78.25 c 543 2402 328026 11136 0 0 13 13 6 614.41/78.27 c 1028 4143 564417 20951 0 0 13 13 6 615.21/78.39 c 9627 33561 4641209 192293 0 0 6 15 13 616.02/78.40 c 542 2389 326442 11109 0 0 13 13 6 623.19/79.30 c 1029 4156 566022 20981 0 0 13 13 6 624.79/79.56 c 543 2402 328026 11136 0 0 13 13 6 625.59/79.62 c 11838 40875 5296975 226462 0 0 4 16 13 631.18/80.31 c 1030 4169 567626 21011 0 0 13 13 6 635.98/80.97 c 1024 4089 536510 20463 0 0 7 15 13 639.16/81.30 c 1031 4182 569231 21041 0 0 13 13 6 639.96/81.43 c 1024 4095 559032 20705 0 0 10 15 13 641.56/81.68 c 10680 36956 5033917 209116 0 0 7 15 13 646.35/82.24 c 1025 4103 538154 20492 0 0 14 14 7 646.35/82.25 c 11838 40619 5568001 232288 0 0 7 15 13 647.15/82.31 c 1032 4195 570835 21071 0 0 13 13 6 649.55/82.65 c 1025 4108 560573 20735 0 0 13 13 6 650.34/82.73 c 1024 4095 559032 20705 0 0 10 15 13 655.12/83.33 c 1033 4208 572440 21101 0 0 13 13 6 655.92/83.49 c 1026 4117 539796 20521 0 0 14 14 7 659.92/83.91 c 1026 4121 562114 20765 0 0 13 13 6 659.92/83.98 c 1025 4108 560573 20735 0 0 13 13 6 663.10/84.36 c 1034 4221 574044 21131 0 0 13 13 6 666.30/84.71 c 1027 4131 541440 20550 0 0 14 14 7 670.29/85.21 c 1027 4134 563677 20793 0 0 13 13 6 670.29/85.26 c 1026 4121 562114 20765 0 0 13 13 6 671.09/85.39 c 1035 4234 575649 21161 0 0 13 13 6 673.49/85.68 c 10680 37329 5174067 213745 0 0 6 15 13 675.89/85.91 c 1028 4145 543082 20579 0 0 14 14 7 679.87/86.43 c 1036 4247 577253 21191 0 0 13 13 6 680.67/86.54 c 13111 45332 5875352 250953 0 0 7 15 13 680.67/86.56 c 1028 4147 565233 20821 0 0 13 13 6 680.67/86.57 c 1027 4134 563677 20793 0 0 13 13 6 685.53/87.15 c 1029 4159 544726 20608 0 0 14 14 7 687.86/87.46 c 1037 4260 578858 21221 0 0 13 13 6 691.06/87.84 c 1029 4160 566774 20851 0 0 13 13 6 691.86/87.93 c 1028 4147 565233 20821 0 0 13 13 6 695.04/88.34 c 1030 4173 546368 20637 0 0 14 14 7 695.84/88.48 c 1038 4273 580462 21251 0 0 13 13 6 698.24/88.73 c 11838 40996 5578235 232005 0 0 8 15 13 701.50/89.14 c 1030 4173 568315 20881 0 0 13 13 6 702.23/89.22 c 1029 4160 566774 20851 0 0 13 13 6 703.82/89.50 c 13111 45050 6172958 257367 0 0 6 15 13 704.62/89.52 c 1039 4286 582067 21281 0 0 13 13 6 704.62/89.54 c 1031 4187 548012 20666 0 0 14 14 7 711.79/90.42 c 1031 4186 569878 20909 0 0 13 13 6 712.59/90.56 c 1030 4173 568315 20881 0 0 13 13 6 713.39/90.60 c 1040 4299 583671 21311 0 0 13 13 6 714.19/90.72 c 1032 4201 549654 20695 0 0 14 14 7 721.38/91.67 c 1041 4312 585276 21341 0 0 13 13 6 721.38/91.69 c 1032 4199 571580 20945 0 0 13 13 6 723.04/91.83 c 1031 4186 569878 20909 0 0 13 13 6 723.04/91.87 c 1033 4215 551298 20724 0 0 14 14 7 730.16/92.73 c 1042 4325 586880 21371 0 0 13 13 6 731.76/92.94 c 1033 4212 573143 20973 0 0 13 13 6 731.76/92.99 c 11838 41380 5747614 237201 0 0 7 15 13 732.64/93.02 c 1034 4229 552940 20753 0 0 14 14 7 733.42/93.13 c 1032 4199 571580 20945 0 0 13 13 6 735.74/93.47 c 14511 50105 6495467 277320 0 0 6 16 13 738.14/93.78 c 1043 4338 588485 21401 0 0 13 13 6 740.61/94.04 c 1034 4225 574845 21009 0 0 13 13 6 742.13/94.22 c 1035 4243 554584 20782 0 0 14 14 7 743.73/94.41 c 1033 4212 573143 20973 0 0 13 13 6 746.93/94.82 c 1044 4351 590089 21431 0 0 13 13 6 749.39/95.17 c 1035 4238 576391 21039 0 0 13 13 6 750.92/95.37 c 1036 4257 556226 20811 0 0 14 14 7 752.52/95.56 c 1034 4225 574845 21009 0 0 13 13 6 754.91/95.87 c 1045 4364 591694 21461 0 0 13 13 6 755.71/95.94 c 13111 45322 6179351 256882 0 0 4 15 13 758.10/96.26 c 1036 4251 578093 21075 0 0 13 13 6 760.50/96.53 c 1037 4271 557870 20840 0 0 14 14 7 762.10/96.73 c 1035 4238 576391 21039 0 0 13 13 6 763.70/96.93 c 1046 4377 593298 21491 0 0 13 13 6 766.89/97.39 c 1037 4264 579639 21105 0 0 13 13 6 769.29/97.67 c 1038 4285 559512 20869 0 0 14 14 7 770.89/97.88 c 1036 4251 578093 21075 0 0 13 13 6 771.69/97.98 c 1047 4390 594903 21521 0 0 13 13 6 773.35/98.17 c 14511 49993 6859151 285614 0 0 5 15 13 775.67/98.48 c 1038 4277 581154 21128 0 0 13 13 6 778.87/98.83 c 1039 4299 561156 20898 0 0 14 14 7 780.53/99.04 c 1048 4403 596507 21551 0 0 13 13 6 780.53/99.05 c 1037 4264 579639 21105 0 0 13 13 6 785.25/99.60 c 1039 4290 582700 21158 0 0 13 13 6 787.65/99.99 c 1040 4313 562798 20927 0 0 14 14 7 788.51/100.09 c 1049 4416 598112 21581 0 0 13 13 6 790.03/100.20 c 1038 4277 581154 21128 0 0 13 13 6 793.21/100.69 c 1040 4303 584215 21181 0 0 13 13 6 797.27/101.17 c 1041 4327 564442 20956 0 0 14 14 7 797.27/101.17 c 1050 4429 599716 21611 0 0 13 13 6 798.00/101.26 c 16051 55495 7197119 307254 0 0 6 15 13 798.80/101.31 c 1039 4290 582700 21158 0 0 13 13 6 800.40/101.56 c 13111 45911 6387407 263187 0 0 4 15 13 802.00/101.77 c 1041 4316 585756 21211 0 0 13 13 6 805.98/102.23 c 1051 4442 601321 21641 0 0 13 13 6 806.78/102.31 c 1042 4341 566084 20985 0 0 14 14 7 806.78/102.37 c 1040 4303 584215 21181 0 0 13 13 6 811.58/102.92 c 1042 4329 587271 21234 0 0 13 13 6 814.77/103.31 c 1052 4455 602925 21671 0 0 13 13 6 815.57/103.46 c 1041 4316 585756 21211 0 0 13 13 6 815.57/103.48 c 1043 4355 567728 21014 0 0 14 14 7 816.37/103.54 c 14511 50192 6846474 284574 0 0 5 15 13 821.23/104.11 c 1043 4342 588812 21264 0 0 13 13 6 822.75/104.39 c 1053 4468 604530 21701 0 0 13 13 6 825.15/104.62 c 1044 4369 569370 21043 0 0 14 14 7 825.15/104.64 c 1042 4329 587271 21234 0 0 13 13 6 829.94/105.28 c 1044 4355 590327 21287 0 0 13 13 6 831.54/105.47 c 1054 4481 606134 21731 0 0 13 13 6 833.94/105.78 c 1045 4383 571014 21072 0 0 14 14 7 834.74/105.84 c 1043 4342 588812 21264 0 0 13 13 6 839.52/106.49 c 1045 4368 591868 21317 0 0 13 13 6 840.32/106.55 c 1055 4494 607739 21761 0 0 13 13 6 843.52/106.91 c 1046 4397 572656 21101 0 0 14 14 7 843.52/107.00 c 1044 4355 590327 21287 0 0 13 13 6 848.31/107.57 c 16051 55395 7596403 316291 0 0 3 15 13 849.11/107.64 c 1056 4507 609343 21791 0 0 13 13 6 849.11/107.66 c 1046 4381 593383 21340 0 0 13 13 6 852.37/108.08 c 1047 4411 574300 21130 0 0 14 14 7 853.90/108.20 c 1045 4368 591868 21317 0 0 13 13 6 857.89/108.71 c 1057 4520 610948 21821 0 0 13 13 6 858.69/108.86 c 1047 4394 594924 21370 0 0 13 13 6 861.88/109.21 c 1048 4425 575942 21159 0 0 14 14 7 862.68/109.35 c 1046 4381 593383 21340 0 0 13 13 6 865.87/109.78 c 1058 4533 612552 21851 0 0 13 13 6 868.33/110.03 c 1048 4407 596439 21393 0 0 13 13 6 870.66/110.37 c 1049 4439 577586 21188 0 0 14 14 7 872.26/110.56 c 1047 4394 594924 21370 0 0 13 13 6 872.26/110.58 c 17745 61401 7958670 339653 0 0 6 16 13 874.65/110.87 c 1059 4546 614157 21881 0 0 13 13 6 877.82/111.24 c 1049 4420 597980 21423 0 0 13 13 6 880.22/111.53 c 1050 4453 579227 21217 0 0 14 14 7 881.82/111.73 c 1048 4407 596439 21393 0 0 13 13 6 883.42/111.94 c 14511 50898 7096248 291933 0 0 7 15 13 883.42/111.95 c 1060 4559 615761 21911 0 0 13 13 6 886.61/112.36 c 16051 55548 7573414 314981 0 0 5 15 13 887.41/112.40 c 1050 4433 599495 21446 0 0 13 13 6 890.61/112.80 c 1051 4467 580871 21246 0 0 14 14 7 891.40/112.93 c 1049 4420 597980 21423 0 0 13 13 6 892.27/113.02 c 1061 4572 617366 21941 0 0 13 13 6 896.99/113.60 c 1051 4446 601036 21476 0 0 13 13 6 900.25/114.06 c 1052 4481 582512 21275 0 0 14 14 7 901.05/114.11 c 1062 4585 618970 21971 0 0 13 13 6 901.05/114.11 c 1050 4433 599495 21446 0 0 13 13 6 905.78/114.77 c 1052 4459 602551 21499 0 0 13 13 6 909.04/115.18 c 1063 4598 620575 22001 0 0 13 13 6 909.76/115.29 c 1053 4495 584156 21304 0 0 14 14 7 910.56/115.32 c 1051 4446 601036 21476 0 0 13 13 6 915.37/115.98 c 1053 4472 604092 21529 0 0 13 13 6 917.75/116.27 c 1064 4611 622179 22031 0 0 13 13 6 919.35/116.48 c 1052 4459 602551 21499 0 0 13 13 6 920.15/116.57 c 1054 4509 585797 21333 0 0 14 14 7 925.01/117.15 c 1054 4485 605607 21552 0 0 13 13 6 925.74/117.20 c 17745 61228 8399003 349662 0 0 7 15 13 926.53/117.34 c 1065 4624 623784 22061 0 0 13 13 6 928.93/117.68 c 1053 4472 604092 21529 0 0 13 13 6 929.73/117.79 c 1055 4523 587441 21362 0 0 14 14 7 934.52/118.35 c 1055 4498 607148 21582 0 0 13 13 6 935.32/118.42 c 1066 4637 625388 22091 0 0 13 13 6 938.52/118.83 c 1054 4485 605607 21552 0 0 13 13 6 940.18/119.04 c 1056 4537 589082 21391 0 0 14 14 7 943.30/119.49 c 1067 4650 626993 22121 0 0 13 13 6 944.10/119.51 c 1056 4511 608663 21605 0 0 13 13 6 944.10/119.59 c 19608 67807 8791407 375648 0 0 7 16 13 948.16/120.01 c 1055 4498 607148 21582 0 0 13 13 6 950.49/120.30 c 1057 4551 590726 21420 0 0 14 14 7 952.08/120.56 c 1068 4663 628597 22151 0 0 13 13 6 953.68/120.72 c 1057 4524 610204 21635 0 0 13 13 6 955.28/120.95 c 16051 56244 7846256 322638 0 0 7 15 13 956.94/121.17 c 1056 4511 608663 21605 0 0 13 13 6 960.06/121.57 c 17745 61402 8376786 348359 0 0 5 15 13 960.06/121.59 c 1058 4565 592367 21449 0 0 14 14 7 960.86/121.65 c 1069 4676 630202 22181 0 0 13 13 6 962.46/121.89 c 1058 4537 611719 21658 0 0 13 13 6 966.44/122.38 c 1057 4524 610204 21635 0 0 13 13 6 969.64/122.73 c 1070 4689 631806 22211 0 0 13 13 6 970.44/122.83 c 1059 4579 594011 21478 0 0 14 14 7 972.10/123.09 c 1059 4550 613260 21688 0 0 13 13 6 976.03/123.54 c 1058 4537 611719 21658 0 0 13 13 6 978.43/123.81 c 1071 4702 633411 22241 0 0 13 13 6 980.09/124.08 c 1060 4593 595652 21507 0 0 14 14 7 981.62/124.25 c 1060 4563 614775 21711 0 0 13 13 6 985.61/124.74 c 1059 4550 613260 21688 0 0 13 13 6 986.41/124.87 c 1072 4715 635015 22271 0 0 13 13 6 990.40/125.30 c 1061 4607 597296 21536 0 0 14 14 7 991.20/125.44 c 1061 4576 616316 21741 0 0 13 13 6 995.23/125.91 c 1060 4563 614775 21711 0 0 13 13 6 995.23/125.94 c 1073 4728 636620 22301 0 0 13 13 6 999.98/126.55 c 1062 4621 598978 21574 0 0 14 14 7 1000.78/126.61 c 1062 4589 617831 21764 0 0 13 13 6 1004.04/127.03 c 1074 4741 638224 22331 0 0 13 13 6 1004.84/127.12 c 1061 4576 616316 21741 0 0 13 13 6 1008.77/127.69 c 19608 67672 9284199 386461 0 0 5 15 13 1009.57/127.77 c 1063 4635 600619 21603 0 0 14 14 7 1010.37/127.81 c 1063 4602 619372 21794 0 0 13 13 6 1012.03/128.10 c 1075 4754 639829 22361 0 0 13 13 6 1013.56/128.28 c 1062 4589 617831 21764 0 0 13 13 6 1019.14/128.93 c 1064 4649 602263 21632 0 0 14 14 7 1019.14/128.99 c 1064 4615 620887 21817 0 0 13 13 6 1020.00/129.02 c 21657 74823 9696139 414444 0 0 6 16 13 1020.80/129.17 c 1076 4767 641433 22391 0 0 13 13 6 1023.12/129.47 c 1063 4602 619372 21794 0 0 13 13 6 1028.78/130.19 c 1065 4663 603945 21670 0 0 14 14 7 1028.78/130.19 c 1065 4628 622428 21847 0 0 13 13 6 1029.51/130.24 c 1077 4780 643038 22421 0 0 13 13 6 1032.70/130.63 c 1064 4615 620887 21817 0 0 13 13 6 1038.29/131.31 c 1078 4793 644642 22451 0 0 13 13 6 1038.29/131.36 c 1066 4641 623943 21870 0 0 13 13 6 1038.29/131.37 c 17745 62245 8696712 357145 0 0 5 15 13 1038.29/131.38 c 1066 4677 605586 21699 0 0 14 14 7 1041.49/131.79 c 19608 67923 9265059 385252 0 0 7 15 13 1042.28/131.83 c 1065 4628 622428 21847 0 0 13 13 6 1046.27/132.38 c 1079 4806 646247 22481 0 0 13 13 6 1047.86/132.55 c 1067 4691 607230 21728 0 0 14 14 7 1047.86/132.55 c 1067 4654 625484 21900 0 0 13 13 6 1051.92/133.01 c 1066 4641 623943 21870 0 0 13 13 6 1055.05/133.46 c 1080 4819 647851 22511 0 0 13 13 6 1057.45/133.72 c 1068 4667 626999 21923 0 0 13 13 6 1057.45/133.77 c 1068 4705 608912 21766 0 0 14 14 7 1061.44/134.21 c 1067 4654 625484 21900 0 0 13 13 6 1063.83/134.53 c 1081 4832 649456 22541 0 0 13 13 6 1067.03/134.91 c 1069 4680 628540 21953 0 0 13 13 6 1067.03/134.98 c 1069 4719 610596 21804 0 0 14 14 7 1070.22/135.37 c 1068 4667 626999 21923 0 0 13 13 6 1072.62/135.61 c 1082 4845 651060 22571 0 0 13 13 6 1075.88/136.07 c 1070 4693 630055 21976 0 0 13 13 6 1075.88/136.09 c 1070 4733 612237 21833 0 0 14 14 7 1079.81/136.57 c 1069 4680 628540 21953 0 0 13 13 6 1080.61/136.68 c 1083 4858 652665 22601 0 0 13 13 6 1085.40/137.25 c 1071 4706 631596 22006 0 0 13 13 6 1086.19/137.31 c 1071 4747 613881 21862 0 0 14 14 7 1089.39/137.74 c 1070 4693 630055 21976 0 0 13 13 6 1089.39/137.76 c 1084 4871 654269 22631 0 0 13 13 6 1094.98/138.41 c 1072 4719 633111 22029 0 0 13 13 6 1095.78/138.56 c 1072 4761 615563 21900 0 0 14 14 7 1098.17/138.83 c 1085 4884 655874 22661 0 0 13 13 6 1098.98/138.93 c 1071 4706 631596 22006 0 0 13 13 6 1100.64/139.15 c 21657 74740 10259780 427050 0 0 5 15 13 1102.96/139.49 c 23910 82678 10714427 457743 0 0 6 16 13 1104.56/139.60 c 1073 4732 634652 22059 0 0 13 13 6 1105.36/139.75 c 1073 4775 617247 21938 0 0 14 14 7 1106.96/139.90 c 1086 4897 657478 22691 0 0 13 13 6 1107.81/140.10 c 1072 4719 633111 22029 0 0 13 13 6 1113.35/140.77 c 1074 4745 636167 22082 0 0 13 13 6 1114.15/140.88 c 1074 4789 618888 21967 0 0 14 14 7 1114.95/140.98 c 1087 4910 659083 22721 0 0 13 13 6 1117.33/141.29 c 1073 4732 634652 22059 0 0 13 13 6 1122.13/141.84 c 19608 68786 9617360 394666 0 0 6 15 13 1122.93/141.97 c 1075 4758 637708 22112 0 0 13 13 6 1124.59/142.11 c 1075 4803 620530 21996 0 0 14 14 7 1126.91/142.45 c 1074 4745 636167 22082 0 0 13 13 6 1132.56/143.15 c 1076 4771 639223 22135 0 0 13 13 6 1133.29/143.29 c 21657 75020 10226036 425528 0 0 6 15 13 1134.09/143.33 c 1076 4817 622214 22034 0 0 14 14 7 1136.49/143.63 c 1075 4758 637708 22112 0 0 13 13 6 1142.07/144.31 c 1077 4784 640764 22165 0 0 13 13 6 1142.87/144.49 c 1077 4831 623896 22072 0 0 14 14 7 1146.07/144.80 c 1076 4771 639223 22135 0 0 13 13 6 1150.86/145.48 c 1078 4797 642279 22188 0 0 13 13 6 1152.46/145.63 c 1078 4845 625537 22101 0 0 14 14 7 1154.85/145.99 c 1077 4784 640764 22165 0 0 13 13 6 1158.04/146.35 c 2048 8274 1114245 41815 0 0 7 15 13 1160.44/146.66 c 1079 4810 643820 22218 0 0 13 13 6 1161.24/146.78 c 1079 4859 627179 22130 0 0 14 14 7 1164.50/147.16 c 1078 4797 642279 22188 0 0 13 13 6 1168.43/147.60 c 2049 8288 1115969 41846 0 0 14 14 7 1170.03/147.84 c 1080 4823 645335 22241 0 0 13 13 6 1170.82/147.95 c 1080 4873 628863 22168 0 0 14 14 7 1174.01/148.36 c 1079 4810 643820 22218 0 0 13 13 6 1178.82/148.96 c 2050 8302 1117689 41877 0 0 14 14 7 1179.68/149.04 c 1081 4836 646876 22271 0 0 13 13 6 1179.68/149.09 c 1081 4887 630545 22206 0 0 14 14 7 1183.60/149.53 c 1080 4823 645335 22241 0 0 13 13 6 1189.19/150.22 c 2051 8316 1119413 41908 0 0 14 14 7 1189.19/150.23 c 1082 4849 648391 22294 0 0 13 13 6 1189.19/150.24 c 1082 4901 632186 22235 0 0 14 14 7 1193.18/150.72 c 1081 4836 646876 22271 0 0 13 13 6 1197.97/151.38 c 1083 4915 633828 22264 0 0 14 14 7 1197.97/151.39 c 2052 8330 1121133 41939 0 0 14 14 7 1198.77/151.44 c 1083 4862 649932 22324 0 0 13 13 6 1200.37/151.63 c 23910 82581 11343893 472063 0 0 7 15 13 1201.17/151.70 c 26388 91193 11816859 505142 0 0 6 15 13 1202.77/151.90 c 1082 4849 648391 22294 0 0 13 13 6 1207.56/152.55 c 1084 4929 635512 22302 0 0 14 14 7 1207.56/152.55 c 2053 8344 1122857 41970 0 0 14 14 7 1208.36/152.62 c 1084 4875 651447 22347 0 0 13 13 6 1212.41/153.11 c 1083 4862 649932 22324 0 0 13 13 6 1217.13/153.72 c 1085 4943 637194 22340 0 0 14 14 7 1217.13/153.73 c 2054 8358 1124577 42001 0 0 14 14 7 1217.93/153.84 c 1085 4888 652988 22377 0 0 13 13 6 1219.59/154.04 c 21657 75939 10623958 435608 0 0 5 15 13 1221.12/154.29 c 1084 4875 651447 22347 0 0 13 13 6 1225.92/154.88 c 1086 4957 638835 22369 0 0 14 14 7 1225.92/154.88 c 2055 8372 1126301 42032 0 0 14 14 7 1227.58/155.02 c 1086 4901 654503 22400 0 0 13 13 6 1231.50/155.50 c 1085 4888 652988 22377 0 0 13 13 6 1234.70/155.92 c 23910 82833 11281026 469875 0 0 6 15 13 1235.56/156.01 c 1087 4971 640477 22398 0 0 14 14 7 1235.56/156.05 c 2056 8386 1128021 42063 0 0 14 14 7 1237.09/156.22 c 1087 4914 656044 22430 0 0 13 13 6 1240.29/156.68 c 1086 4901 654503 22400 0 0 13 13 6 1245.07/157.22 c 2057 8400 1129745 42094 0 0 14 14 7 1249.87/157.88 c 1087 4914 656044 22430 0 0 13 13 6 1253.86/158.38 c 2058 8414 1131465 42125 0 0 14 14 7 1263.44/159.51 c 2059 8428 1133189 42156 0 0 14 14 7 1272.22/160.67 c 2060 8442 1134909 42187 0 0 14 14 7 1277.81/161.39 c 2048 8287 1082544 41010 0 0 6 15 13 1281.01/161.76 c 2048 8216 1105967 41222 0 0 7 15 13 1281.81/161.80 c 2061 8456 1136633 42218 0 0 14 14 7 1287.39/162.53 c 2049 8300 1084072 41033 0 0 13 13 6 1290.59/162.95 c 2049 8229 1107558 41249 0 0 13 13 6 1290.59/162.98 c 2062 8470 1138353 42249 0 0 14 14 7 1294.58/163.41 c 2048 8216 1105967 41222 0 0 7 15 13 1297.77/163.80 c 2050 8313 1085675 41057 0 0 13 13 6 1299.43/164.08 c 2050 8242 1109160 41273 0 0 13 13 6 1300.23/164.13 c 2063 8484 1140077 42280 0 0 14 14 7 1302.55/164.43 c 29113 100567 13034469 557065 0 0 6 16 13 1304.15/164.60 c 2049 8229 1107558 41249 0 0 13 13 6 1307.41/165.03 c 2051 8326 1087203 41080 0 0 13 13 6 1308.21/165.15 c 2051 8255 1110751 41300 0 0 13 13 6 1308.94/165.30 c 2064 8498 1141797 42311 0 0 14 14 7 1312.94/165.71 c 2050 8242 1109160 41273 0 0 13 13 6 1316.20/166.15 c 2052 8339 1088806 41104 0 0 13 13 6 1316.20/166.16 c 2052 8268 1112353 41324 0 0 13 13 6 1318.52/166.42 c 2065 8512 1143521 42342 0 0 14 14 7 1319.32/166.53 c 26388 91153 12530607 521057 0 0 4 15 13 1320.92/166.76 c 2051 8255 1110751 41300 0 0 13 13 6 1324.18/167.16 c 23910 83916 11753007 481376 0 0 7 15 13 1324.91/167.20 c 2053 8281 1113944 41351 0 0 13 13 6 1324.91/167.27 c 2053 8352 1090334 41127 0 0 13 13 6 1327.31/167.58 c 2066 8526 1145241 42373 0 0 14 14 7 1328.91/167.79 c 2052 8268 1112353 41324 0 0 13 13 6 1332.90/168.23 c 2054 8294 1115546 41375 0 0 13 13 6 1334.49/168.42 c 2054 8365 1091937 41151 0 0 13 13 6 1336.89/168.72 c 2067 8540 1146965 42404 0 0 14 14 7 1336.89/168.78 c 26388 91516 12456323 518874 0 0 6 15 13 1337.69/168.85 c 2053 8281 1113944 41351 0 0 13 13 6 1340.88/169.27 c 2055 8307 1117137 41402 0 0 13 13 6 1343.27/169.54 c 2055 8378 1093465 41174 0 0 13 13 6 1345.67/169.89 c 2068 8554 1148685 42435 0 0 14 14 7 1346.47/169.90 c 2054 8294 1115546 41375 0 0 13 13 6 1349.66/170.30 c 2056 8320 1118739 41426 0 0 13 13 6 1352.06/170.66 c 2056 8391 1095068 41198 0 0 13 13 6 1354.46/170.96 c 2055 8307 1117137 41402 0 0 13 13 6 1355.32/171.02 c 2069 8568 1150389 42460 0 0 14 14 7 1357.65/171.35 c 2057 8333 1120330 41453 0 0 13 13 6 1361.64/171.80 c 2057 8404 1096596 41221 0 0 13 13 6 1362.44/171.99 c 2056 8320 1118739 41426 0 0 13 13 6 1364.10/172.19 c 2070 8582 1152109 42491 0 0 14 14 7 1365.63/172.37 c 2058 8346 1121932 41477 0 0 13 13 6 1370.43/172.93 c 2058 8417 1098199 41245 0 0 13 13 6 1371.29/173.03 c 2057 8333 1120330 41453 0 0 13 13 6 1373.60/173.33 c 2071 8596 1153813 42516 0 0 14 14 7 1374.40/173.43 c 2059 8359 1123523 41504 0 0 13 13 6 1379.26/174.06 c 2058 8346 1121932 41477 0 0 13 13 6 1379.26/174.06 c 2059 8430 1099727 41268 0 0 13 13 6 1382.38/174.47 c 2060 8372 1125125 41528 0 0 13 13 6 1382.38/174.49 c 2072 8610 1155533 42547 0 0 14 14 7 1387.24/175.10 c 2059 8359 1123523 41504 0 0 13 13 6 1388.04/175.18 c 2060 8443 1101330 41292 0 0 13 13 6 1391.16/175.53 c 2061 8385 1126716 41555 0 0 13 13 6 1391.96/175.62 c 2073 8624 1157237 42572 0 0 14 14 7 1396.02/176.14 c 2060 8372 1125125 41528 0 0 13 13 6 1397.54/176.33 c 2061 8456 1102858 41315 0 0 13 13 6 1399.15/176.55 c 2062 8398 1128318 41579 0 0 13 13 6 1400.75/176.78 c 2074 8638 1158957 42603 0 0 14 14 7 1404.01/177.19 c 2061 8385 1126716 41555 0 0 13 13 6 1406.33/177.46 c 2062 8469 1104461 41339 0 0 13 13 6 1407.13/177.59 c 2063 8411 1129909 41606 0 0 13 13 6 1408.73/177.71 c 32110 110967 14380504 614299 0 0 4 16 13 1410.33/177.90 c 2075 8652 1160661 42628 0 0 14 14 7 1412.72/178.21 c 2062 8398 1128318 41579 0 0 13 13 6 1415.92/178.61 c 2063 8482 1105989 41362 0 0 13 13 6 1415.92/178.61 c 2064 8424 1131511 41630 0 0 13 13 6 1419.18/179.08 c 2076 8666 1162389 42662 0 0 14 14 7 1420.69/179.25 c 2063 8411 1129909 41606 0 0 13 13 6 1423.88/179.64 c 2065 8437 1133102 41657 0 0 13 13 6 1424.69/179.73 c 2064 8495 1107592 41386 0 0 13 13 6 1428.68/180.26 c 2064 8424 1131511 41630 0 0 13 13 6 1431.87/180.63 c 2077 8680 1164043 42686 0 0 14 14 7 1431.87/180.65 c 2066 8450 1134704 41681 0 0 13 13 6 1433.47/180.85 c 2065 8508 1109120 41409 0 0 13 13 6 1436.66/181.20 c 29113 100664 13835401 575112 0 0 6 15 13 1437.46/181.30 c 2065 8437 1133102 41657 0 0 13 13 6 1439.86/181.69 c 2067 8463 1136295 41708 0 0 13 13 6 1442.26/181.96 c 2066 8521 1110723 41433 0 0 13 13 6 1443.92/182.13 c 2078 8694 1165721 42719 0 0 14 14 7 1445.45/182.32 c 2066 8450 1134704 41681 0 0 13 13 6 1446.25/182.50 c 33000 114026 14774876 631181 0 0 7 16 13 1448.64/182.71 c 2068 8476 1137897 41732 0 0 13 13 6 1448.64/182.74 c 29000 100570 13712577 570431 0 0 7 15 13 1451.11/183.07 c 2067 8534 1112251 41456 0 0 13 13 6 1454.23/183.48 c 33000 114027 14774988 631183 1 0 0 0 0 1455.03/183.51 c 26388 92730 13007634 532027 1 0 4 15 13 1455.03/183.55 c 29000 100571 13712689 570433 1 0 0 0 0 1456.63/183.71 c 2067 8463 1136382 41712 1 0 13 13 6 1459.89/184.13 c 2069 8489 1139575 41763 1 0 13 13 6 1459.89/184.14 c 2079 8708 1167459 42750 1 0 14 14 7 1463.02/184.50 c 2068 8476 1137996 41735 1 0 13 13 6 1463.82/184.60 c 2068 8547 1114024 41489 1 0 13 13 6 1465.41/184.84 c 29113 100978 13765592 572643 1 0 11 15 13 1466.21/184.91 c 2070 8502 1141189 41786 1 0 13 13 6 1468.59/185.29 c 2080 8723 1169289 42790 1 0 15 15 7 1469.39/185.31 c 2069 8489 1139694 41767 1 0 13 13 6 1470.19/185.45 c 2069 8560 1115594 41511 1 0 13 13 6 1472.59/185.72 c 2071 8515 1142887 41818 1 0 13 13 6 1475.05/186.04 c 2070 8502 1141390 41799 1 0 13 13 6 1476.58/186.27 c 2070 8573 1117192 41539 1 0 13 13 6 1478.18/186.45 c 2081 8737 1170933 42819 1 0 14 14 7 1478.18/186.45 c 2072 8528 1144583 41850 1 0 13 13 6 1480.58/186.78 c 2071 8515 1143088 41831 1 0 13 13 6 1483.04/187.06 c 2071 8586 1118762 41561 1 0 13 13 6 1483.84/187.19 c 2073 8541 1146281 41882 1 0 13 13 6 1486.96/187.51 c 2072 8528 1144784 41863 1 0 13 13 6 1487.76/187.63 c 2082 8751 1172559 42849 1 0 14 14 7 1489.36/187.86 c 2072 8599 1120360 41589 1 0 13 13 6 1490.16/187.92 c 2074 8554 1147977 41914 1 0 13 13 6 1491.82/188.16 c 30000 103704 14252415 592389 0 0 7 15 13 1492.55/188.25 c 2073 8541 1146482 41895 1 0 13 13 6 1495.75/188.65 c 2075 8567 1149675 41946 1 0 13 13 6 1495.75/188.67 c 2073 8612 1121930 41611 1 0 13 13 6 1496.55/188.75 c 2083 8766 1174386 42889 1 0 15 15 7 1498.15/188.93 c 34000 117445 15231163 650543 1 0 5 16 13 1498.15/188.96 c 2074 8554 1148178 41927 1 0 13 13 6 1501.33/189.38 c 2076 8580 1151371 41978 1 0 13 13 6 1502.13/189.43 c 30000 104026 14165992 589881 1 0 8 15 13 1502.13/189.47 c 2074 8625 1123528 41639 1 0 13 13 6 1504.53/189.70 c 2075 8567 1149876 41959 1 0 13 13 6 1506.12/189.96 c 2084 8781 1176144 42921 1 0 15 15 7 1507.79/190.15 c 2077 8593 1153069 42010 1 0 13 13 6 1508.51/190.28 c 2075 8638 1125098 41661 1 0 13 13 6 1510.11/190.44 c 2076 8580 1151572 41991 1 0 13 13 6 1513.31/190.88 c 2078 8606 1154765 42042 1 0 13 13 6 1514.97/191.08 c 2076 8651 1126698 41691 1 0 13 13 6 1515.77/191.16 c 2085 8796 1177902 42958 1 0 15 15 7 1515.77/191.18 c 2077 8593 1153270 42023 1 0 13 13 6 1519.70/191.65 c 2079 8619 1156484 42075 2 0 13 13 6 1522.10/191.96 c 2078 8606 1154954 42053 2 0 13 13 6 1522.10/191.97 c 2077 8664 1128337 41715 2 0 13 13 6 1522.96/192.10 c 2080 8632 1158059 42104 2 0 13 13 6 1525.28/192.36 c 2086 8810 1179632 42990 2 0 14 14 7 1526.08/192.41 c 2079 8619 1156529 42082 2 0 13 13 6 1526.08/192.44 c 2078 8677 1129866 41738 2 0 13 13 6 1526.88/192.53 c 2081 8645 1159629 42133 2 0 13 13 6 1529.28/192.81 c 2080 8632 1158099 42111 2 0 13 13 6 1529.28/192.89 c 2079 8690 1131428 41768 2 0 13 13 6 1530.08/192.96 c 2082 8658 1161237 42165 2 0 13 13 6 1530.08/192.99 c 2087 8823 1181243 43013 2 0 13 13 6 1532.47/193.20 c 28000 98363 13807783 564365 2 0 8 15 13 1532.47/193.24 c 2081 8645 1159674 42140 2 0 13 13 6 1533.27/193.32 c 2080 8703 1132953 41791 2 0 13 13 6 1533.27/193.37 c 2083 8671 1162842 42197 2 0 13 13 6 1535.67/193.64 c 2082 8658 1161244 42169 2 0 13 13 6 1535.67/193.65 c 2088 8836 1182847 43036 2 0 13 13 6 1536.47/193.80 c 2081 8716 1134478 41814 2 0 13 13 6 1537.27/193.81 c 2084 8684 1164417 42226 2 0 13 13 6 1537.27/193.88 c 35000 120970 15703474 670005 1 0 5 15 13 1538.93/194.07 c 2083 8671 1162819 42198 2 0 13 13 6 1540.45/194.23 c 2085 8697 1165987 42255 2 0 13 13 6 1540.45/194.25 c 2082 8729 1136003 41837 2 0 13 13 6 1541.25/194.35 c 2089 8850 1184466 43067 2 0 14 14 7 1542.05/194.48 c 2084 8684 1164389 42227 2 0 13 13 6 1543.65/194.66 c 2086 8710 1167595 42287 2 0 13 13 6 1544.45/194.72 c 2083 8742 1137528 41860 2 0 13 13 6 1545.25/194.88 c 31000 107554 14641022 609897 1 0 5 15 13 1546.05/194.90 c 2085 8697 1165964 42256 2 0 13 13 6 1546.05/194.99 c 2090 8864 1186082 43098 2 0 14 14 7 1546.98/195.07 c 2087 8723 1169200 42319 2 0 13 13 6 1547.71/195.17 c 2084 8755 1139053 41883 2 0 13 13 6 1549.24/195.30 c 2086 8710 1167534 42285 2 0 13 13 6 1550.83/195.50 c 2088 8736 1170775 42348 2 0 13 13 6 1551.63/195.65 c 2085 8768 1140578 41906 2 0 13 13 6 1551.63/195.65 c 2091 8877 1187693 43121 2 0 13 13 6 1552.43/195.74 c 2087 8723 1169109 42314 2 0 13 13 6 1554.02/195.94 c 2089 8749 1172345 42377 2 0 13 13 6 1555.68/196.11 c 2086 8781 1142103 41929 2 0 13 13 6 1555.68/196.16 c 2088 8736 1170679 42343 2 0 13 13 6 1556.40/196.24 c 35406 122398 15889611 677861 2 0 9 16 13 1556.40/196.29 c 2092 8890 1189296 43144 2 0 13 13 6 1557.20/196.38 c 2090 8762 1173953 42409 2 0 13 13 6 1558.80/196.57 c 2087 8794 1143628 41952 2 0 13 13 6 1558.80/196.59 c 2089 8749 1172254 42372 2 0 13 13 6 1560.40/196.79 c 2091 8775 1175558 42441 2 0 13 13 6 1562.01/196.96 c 2093 8903 1190907 43167 2 0 13 13 6 1562.01/196.99 c 2090 8762 1173824 42401 2 0 13 13 6 1562.87/197.02 c 2088 8807 1145153 41975 2 0 13 13 6 1564.39/197.22 c 2092 8788 1177133 42470 2 0 13 13 6 1565.99/197.46 c 31000 107202 14749155 612444 1 0 8 15 13 1565.99/197.48 c 2091 8775 1175513 42431 3 0 13 13 6 1566.79/197.56 c 2089 8820 1146904 42008 3 0 13 13 6 1567.59/197.67 c 2094 8916 1192624 43191 3 0 13 13 6 1568.39/197.71 c 2093 8801 1178817 42500 3 0 13 13 6 1568.39/197.74 c 2092 8788 1177083 42460 3 0 13 13 6 1569.19/197.82 c 2090 8833 1148430 42031 3 0 13 13 6 1569.99/197.99 c 2094 8814 1180425 42532 3 0 13 13 6 1570.85/198.01 c 2093 8801 1178658 42489 3 0 13 13 6 1570.85/198.08 c 2095 8930 1194243 43222 3 0 14 14 7 1570.85/198.09 c 2091 8846 1150067 42063 3 0 13 13 6 1572.38/198.24 c 2095 8827 1182030 42564 3 0 13 13 6 1572.38/198.26 c 2094 8814 1180228 42518 3 0 13 13 6 1573.18/198.34 c 2092 8859 1151593 42086 3 0 13 13 6 1573.98/198.47 c 2096 8944 1195976 43261 3 0 14 14 7 1574.78/198.53 c 2096 8840 1183605 42593 3 0 13 13 6 1574.78/198.54 c 2095 8827 1181803 42547 3 0 13 13 6 1575.57/198.61 c 2093 8872 1153230 42118 3 0 13 13 6 1576.37/198.79 c 2097 8853 1185175 42622 3 0 13 13 6 1576.37/198.79 c 2096 8840 1183373 42576 3 0 13 13 6 1577.17/198.86 c 2094 8885 1154756 42141 3 0 13 13 6 1577.17/198.88 c 2097 8957 1197587 43284 3 0 13 13 6 1578.83/199.03 c 2098 8866 1186897 42655 4 0 13 13 6 1578.83/199.03 c 2097 8853 1185062 42606 4 0 13 13 6 1579.63/199.11 c 2095 8899 1156530 42178 4 0 14 14 7 1579.63/199.12 c 36000 124482 16164927 689527 2 0 9 16 13 1579.63/199.17 c 2099 8879 1188502 42687 4 0 13 13 6 1579.63/199.17 c 2098 8866 1186632 42635 4 0 13 13 6 1580.36/199.24 c 2098 8971 1199318 43314 4 0 14 14 7 1580.36/199.25 c 29000 101854 14303003 584464 4 0 7 15 13 1580.36/199.27 c 2096 8913 1158262 42214 4 0 14 14 7 1581.16/199.31 c 2099 8879 1188207 42664 4 0 13 13 6 1581.16/199.31 c 2100 8892 1190077 42716 4 0 13 13 6 1581.16/199.34 c 29000 101855 14303116 584466 5 0 0 0 0 1581.16/199.37 c 36000 124483 16165057 689530 4 0 0 0 0 1581.16/199.38 c 29000 101857 14303229 584468 5 0 0 0 0 1581.95/199.42 c 2097 8926 1159900 42238 5 0 13 13 6 1581.95/199.45 c 2099 8985 1201057 43344 5 0 14 14 7 1581.95/199.46 c 2100 8892 1189873 42686 5 0 13 13 6 1581.95/199.46 c 2101 8905 1191743 42738 5 0 13 13 6 1582.75/199.51 c 2098 8939 1161424 42261 5 0 13 13 6 1582.75/199.54 c 2101 8905 1191500 42714 5 0 13 13 6 1582.75/199.55 c 2102 8918 1193381 42767 5 0 13 13 6 1582.75/199.57 c 2100 8999 1202674 43373 5 0 14 14 7 1582.75/199.59 c 2099 8952 1162949 42284 5 0 13 13 6 1583.55/199.62 c 2102 8918 1193125 42742 5 0 13 13 6 1583.55/199.62 c 2103 8931 1195017 42796 5 0 13 13 6 1583.55/199.67 c 2100 8965 1164473 42307 5 0 13 13 6 1583.55/199.68 c 2101 9013 1204300 43402 5 0 14 14 7 1584.35/199.70 c 2103 8931 1194752 42770 5 0 13 13 6 1584.35/199.71 c 2104 8944 1196655 42825 5 0 13 13 6 1584.35/199.75 c 2101 8978 1165998 42330 5 0 13 13 6 1584.35/199.78 c 2104 8944 1196377 42798 5 0 13 13 6 1584.35/199.78 c 2105 8957 1198291 42854 5 0 13 13 6 1584.35/199.80 c 2102 9027 1205917 43431 5 0 14 14 7 1585.15/199.83 c 2102 8991 1167522 42353 5 0 13 13 6 1585.15/199.86 c 2105 8957 1198004 42826 5 0 13 13 6 1585.15/199.87 c 2106 8970 1199929 42883 5 0 13 13 6 1585.95/199.91 c 2103 9004 1169047 42376 5 0 13 13 6 1585.95/199.92 c 2103 9041 1207543 43460 5 0 14 14 7 1585.95/199.93 c 2106 8970 1199629 42854 5 0 13 13 6 1585.95/199.94 c 2107 8983 1201565 42912 5 0 13 13 6 1585.95/199.99 c 29113 102267 14361527 586799 5 0 10 15 13 1585.95/200.00 c 2104 9018 1170791 42408 6 0 14 14 7 1586.85/200.02 c 2107 8983 1201415 42887 6 0 13 13 6 1586.85/200.03 c 2104 9055 1209271 43488 6 0 14 14 7 1586.85/200.03 c 2108 8996 1203351 42945 6 0 13 13 6 1586.85/200.05 c 2105 9032 1172421 42439 6 0 14 14 7 1586.85/200.07 c 2108 8996 1202973 42908 6 0 13 13 6 1586.85/200.08 c 2109 9009 1205132 42978 7 0 13 13 6 1586.85/200.09 c 2105 9069 1210995 43523 7 0 14 14 7 1586.85/200.10 c 2106 9046 1174190 42472 7 0 14 14 7 1586.85/200.11 c 2110 9022 1206806 43010 7 0 13 13 6 1587.61/200.12 c 2109 9009 1204758 42941 7 0 13 13 6 1587.61/200.13 c 2107 9058 1175674 42493 7 0 12 12 6 1587.61/200.14 c 2106 9083 1212605 43549 7 0 14 14 7 1587.61/200.14 c 2111 9036 1208649 43049 8 0 14 14 7 1587.61/200.15 c 2112 9050 1210314 43089 8 0 14 14 7 1587.61/200.15 c 2110 9023 1206601 42980 8 0 14 14 7 1587.61/200.15 c 2108 9072 1177443 42526 8 0 14 14 7 1587.61/200.16 c 2113 9064 1211984 43129 8 0 14 14 7 1587.61/200.17 c 2111 9037 1208266 43020 8 0 14 14 7 1587.61/200.17 c 2107 9097 1214342 43585 8 0 14 14 7 1587.61/200.17 c 2109 9084 1178855 42549 8 0 12 12 6 1587.61/200.18 c 2112 9051 1210039 43052 9 0 14 14 7 1587.61/200.18 c 2114 9078 1213649 43169 8 0 14 14 7 1587.61/200.19 c 2110 9097 1180533 42579 10 0 13 13 6 1587.61/200.19 c 2108 9112 1216399 43624 9 0 15 15 7 1587.61/200.19 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5. 1587.61/200.19 c [pFactory][Group N°0] Thread N°0 is joined. 1587.61/200.19 c [pFactory][Group N°0] Thread N°1 is joined. 1587.61/200.19 c 2113 9065 1211893 43089 10 0 14 14 7 1587.61/200.19 c [pFactory][Group N°0] Thread N°2 is joined. 1587.61/200.19 c [pFactory][Group N°0] Thread N°3 is joined. 1587.61/200.19 c [pFactory][Group N°0] Thread N°4 is joined. 1587.61/200.19 c [pFactory][Group N°0] Thread N°5 is joined. 1587.61/200.19 c [pFactory][Group N°0] Thread N°6 is joined. 1587.61/200.19 c [pFactory][Group N°0] Thread N°7 is joined. 1587.61/200.19 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0) 1587.61/200.19 s UNSATISFIABLE 1587.61/200.19 c restarts : 193 1587.61/200.19 c conflicts : 2114 (1 /sec) 1587.61/200.19 c decisions : 9082 (6 /sec) 1587.61/200.19 c propagations : 43175 (27 /sec) 1587.61/200.19 c root propagations : 0 1587.61/200.19 c filter calls : 1214125 (765 /sec) 1587.61/200.19 c useless filter calls : 1194906 (98 %) 1587.61/200.19 c Memory used : 1090.77 MB 1587.61/200.19 c CPU time : 1586.31 s 1587.61/200.19 c real time : 200.19 s 1587.61/200.19
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (15183 MiB free)
memory of node 1: 16384 MiB (15475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409353-1569824190/watcher-4409353-1569824190 -o /tmp/evaluation-result-4409353-1569824190/solver-4409353-1569824190 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409353-1569824190.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15249, runsolver pid=15246
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 7.85 4.55 2.77 2/191 15250
/proc/meminfo: memFree=31394840/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7
/proc/15249/stat : 15249 (cosoco) R 15246 15249 14101 0 -1 4202496 1256 0 0 0 10 0 0 0 20 0 1 0 558332756 28692480 1054 33554432000 4194304 6211132 140737134929456 140737134925992 5555652 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 7005 1054 806 493 0 310 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28020 KiB
Current children cumulated memory: 4216 KiB
[startup+0.208929 s]*
/proc/loadavg: 7.85 4.55 2.77 2/191 15250
/proc/meminfo: memFree=31394796/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=28872 memory=5028 CPUtime=0.21 cores=0-7
/proc/15249/stat : 15249 (cosoco) R 15246 15249 14101 0 -1 4202496 1493 0 0 0 21 0 0 0 20 0 1 0 558332756 29564928 1257 33554432000 4194304 6211132 140737134929456 140737134926728 5743409 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 7218 1257 806 493 0 523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 5028 KiB
[startup+0.30862 s]*
/proc/loadavg: 7.85 4.55 2.77 2/191 15250
/proc/meminfo: memFree=31394052/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=29784 memory=5596 CPUtime=0.31 cores=0-7
/proc/15249/stat : 15249 (cosoco) R 15246 15249 14101 0 -1 4202496 1763 0 0 0 31 0 0 0 20 0 1 0 558332756 30498816 1399 33554432000 4194304 6211132 140737134929456 140737134926728 5743398 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 7446 1399 806 493 0 751 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 5596 KiB
[startup+0.700327 s]
/proc/loadavg: 7.85 4.55 2.77 2/191 15250
/proc/meminfo: memFree=31392192/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=32532 memory=8316 CPUtime=0.69 cores=0-7
/proc/15249/stat : 15249 (cosoco) R 15246 15249 14101 0 -1 4202496 2624 0 0 0 69 0 0 0 20 0 1 0 558332756 33312768 2079 33554432000 4194304 6211132 140737134929456 140737134926728 140216661447808 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 8133 2079 806 493 0 1438 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 8316 KiB
[startup+1.50121 s]
/proc/loadavg: 7.85 4.55 2.77 2/191 15250
/proc/meminfo: memFree=31357224/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=625436 memory=533272 CPUtime=2.01 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 134414 0 0 0 185 16 0 0 20 0 9 0 558332756 640446464 133318 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 156359 133318 839 493 0 149664 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 625436 KiB
Current children cumulated memory: 533272 KiB
[startup+3.11021 s]
/proc/loadavg: 7.85 4.55 2.77 9/199 15258
/proc/meminfo: memFree=30862380/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533668 CPUtime=14.85 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 212992 0 0 0 1437 48 0 0 20 0 9 0 558332756 1177317376 133417 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133417 850 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=0 CPUtime=1.67 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 6117 0 0 0 162 5 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216627502456 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=281150639609064 CPUtime=1.67 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 6621 0 0 0 167 0 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216619109752 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=533436 CPUtime=1.67 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 8208 0 0 0 161 6 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216610717048 5038947 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=0 CPUtime=1.67 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 12451 0 0 0 167 0 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216602324064 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=0 CPUtime=1.67 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 14820 0 0 0 166 1 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216593931360 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=667680 CPUtime=1.67 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 13447 0 0 0 167 0 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216585538656 5037821 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=0 CPUtime=1.67 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 4520 0 0 0 164 3 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216577146232 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=0 CPUtime=1.65 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 12422 0 0 0 154 11 0 0 20 0 9 0 558332898 1177317376 133417 33554432000 4194304 6211132 140737134929456 140216568753248 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 14.85 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533668 KiB
[startup+6.30121 s]
/proc/loadavg: 7.86 4.60 2.80 9/199 15258
/proc/meminfo: memFree=30862880/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533696 CPUtime=40.33 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 567880 0 0 0 3926 107 0 0 20 0 9 0 558332756 1177317376 133424 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133424 850 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=533272 CPUtime=4.87 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 48199 0 0 0 470 17 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216627502176 5037821 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=533668 CPUtime=4.87 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 45260 0 0 0 484 3 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216619109472 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=1128 CPUtime=4.86 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 47628 0 0 0 469 17 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216610716768 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=2828 CPUtime=4.87 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 61590 0 0 0 480 7 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216602324064 5037858 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=10368 CPUtime=4.86 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 62583 0 0 0 482 4 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216593931360 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=2020 CPUtime=4.86 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 60097 0 0 0 482 4 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216585538656 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=988 CPUtime=4.86 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 50870 0 0 0 468 18 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216577145952 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=1432 CPUtime=4.79 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 57329 0 0 0 462 17 0 0 20 0 9 0 558332898 1177317376 133424 33554432000 4194304 6211132 140737134929456 140216568753248 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 40.33 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533696 KiB
[startup+12.7012 s]
/proc/loadavg: 7.87 4.66 2.83 9/199 15258
/proc/meminfo: memFree=30863640/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533700 CPUtime=91.44 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 837980 0 0 0 9018 126 0 0 20 0 9 0 558332756 1177317376 133425 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133425 850 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=56 CPUtime=11.27 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 80988 0 0 0 1108 19 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216627502176 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=533700 CPUtime=11.26 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 78265 0 0 0 1121 5 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216619109472 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=0 CPUtime=11.26 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 78474 0 0 0 1106 20 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216610716768 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=3512 CPUtime=11.26 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 98337 0 0 0 1117 9 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216602324064 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=10368 CPUtime=11.27 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 97105 0 0 0 1120 7 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216593931360 5038964 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=533696 CPUtime=11.26 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 94675 0 0 0 1120 6 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216585538656 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=-6595500271158067543 CPUtime=11.26 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 83538 0 0 0 1105 21 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216577145952 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=533700 CPUtime=11.1 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 92189 0 0 0 1091 19 0 0 20 0 9 0 558332898 1177317376 133425 33554432000 4194304 6211132 140737134929456 140216568753248 5038944 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 91.44 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533700 KiB
[startup+25.5012 s]
/proc/loadavg: 7.90 4.82 2.91 9/199 15258
/proc/meminfo: memFree=30864188/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533716 CPUtime=193.64 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1043852 0 0 0 19220 144 0 0 20 0 9 0 558332756 1177317376 133429 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133429 854 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=533696 CPUtime=24.06 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 112906 0 0 0 2385 21 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216627502176 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=2106 CPUtime=24.07 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 110221 0 0 0 2399 8 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216619109472 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=533700 CPUtime=24.05 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 110360 0 0 0 2383 22 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216610716768 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=0 CPUtime=24.06 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 115400 0 0 0 2396 10 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216602324064 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=0 CPUtime=24.06 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 115814 0 0 0 2398 8 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216593931360 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=6943526294502006880 CPUtime=24.06 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 113974 0 0 0 2398 8 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216585538656 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=6944652177228980320 CPUtime=24.06 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 115495 0 0 0 2382 24 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216577145952 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=6944656592387989600 CPUtime=23.72 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 115271 0 0 0 2350 22 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216568753248 5039104 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 193.64 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533716 KiB
[startup+51.1102 s]
/proc/loadavg: 7.93 5.08 3.05 9/199 15261
/proc/meminfo: memFree=30864104/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533716 CPUtime=398.09 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1308835 0 0 0 39646 163 0 0 20 0 9 0 558332756 1177317376 133429 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133429 854 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=533716 CPUtime=49.66 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 146122 0 0 0 4942 24 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216627502176 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=0 CPUtime=49.67 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 143257 0 0 0 4956 11 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216619109472 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=533700 CPUtime=49.66 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 143501 0 0 0 4942 24 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216610716768 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=533700 CPUtime=49.65 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 148445 0 0 0 4953 12 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216602324064 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=533716 CPUtime=49.67 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 148920 0 0 0 4957 10 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216593931360 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
################
# More data... #
################
[pid=15249] ppid=15246 vsize=1149724 memory=533716 CPUtime=1420.69 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1726206 0 0 0 141876 193 0 0 20 0 9 0 558332756 1177317376 133429 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133429 854 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=12040 CPUtime=177.71 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 194644 0 0 0 17742 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216627502176 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=533716 CPUtime=177.74 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 192052 0 0 0 17759 15 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216619109472 5039149 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=776 CPUtime=176.95 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 192000 0 0 0 17667 28 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216610716768 5039014 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=2020 CPUtime=177.71 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 195437 0 0 0 17756 15 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216602324064 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=988 CPUtime=177.69 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 212437 0 0 0 17755 14 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216593931360 5039536 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=56 CPUtime=177.71 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 199804 0 0 0 17758 13 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216585538656 5038964 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=776 CPUtime=177.2 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 197836 0 0 0 17691 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216577145952 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=533716 CPUtime=176.47 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 207585 0 0 0 17618 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216568753248 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 1420.69 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533716 KiB
[startup+192.001 s]*
/proc/loadavg: 8.59 6.37 3.81 9/199 15269
/proc/meminfo: memFree=30865744/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533716 CPUtime=1522.96 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1726224 0 0 0 152103 193 0 0 20 0 9 0 558332756 1177317376 133429 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133429 854 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=6935054825532540783 CPUtime=190.51 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 194647 0 0 0 19022 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216627502176 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=4126316290023845779 CPUtime=190.55 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 192053 0 0 0 19040 15 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216619109472 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=10368 CPUtime=189.76 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 192004 0 0 0 18948 28 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216610716768 5037801 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=11073 CPUtime=190.52 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 195439 0 0 0 19037 15 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216602324064 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=3760700279599192088 CPUtime=190.32 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 212438 0 0 0 19018 14 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216593931360 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=2320092755828725024 CPUtime=190.52 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 199807 0 0 0 19039 13 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216585538656 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=3834171922882747733 CPUtime=190 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 197839 0 0 0 18971 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216577145952 5039217 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=281152720113680 CPUtime=189.27 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 207586 0 0 0 18898 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216568753248 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 1522.96 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533716 KiB
[startup+195.201 s]
/proc/loadavg: 8.62 6.42 3.84 9/199 15269
/proc/meminfo: memFree=30865868/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533716 CPUtime=1548.44 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1726224 0 0 0 154651 193 0 0 20 0 9 0 558332756 1177317376 133429 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133429 854 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=533716 CPUtime=193.7 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 194647 0 0 0 19341 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216627502176 5389440 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=3512 CPUtime=193.74 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 192053 0 0 0 19359 15 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216619109472 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=533716 CPUtime=192.95 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 192004 0 0 0 19267 28 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216610716768 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=1560 CPUtime=193.71 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 195439 0 0 0 19356 15 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216602324064 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=6935054825532540783 CPUtime=193.47 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 212438 0 0 0 19333 14 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216593931360 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=988 CPUtime=193.71 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 199807 0 0 0 19358 13 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216585538656 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=533716 CPUtime=193.19 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 197839 0 0 0 19290 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216577145952 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=140578574565976 CPUtime=192.46 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 207586 0 0 0 19217 29 0 0 20 0 9 0 558332898 1177317376 133429 33554432000 4194304 6211132 140737134929456 140216568753248 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 1548.44 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533716 KiB
[startup+198.401 s]
/proc/loadavg: 8.62 6.42 3.84 10/199 15269
/proc/meminfo: memFree=30865604/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533720 CPUtime=1573.98 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1769776 0 0 0 157201 197 0 0 20 0 9 0 558332756 1177317376 133430 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133430 855 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=1056 CPUtime=196.91 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 204586 0 0 0 19660 31 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216627502176 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=533716 CPUtime=196.93 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 200913 0 0 0 19678 15 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216619109472 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=1716 CPUtime=196.11 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 201917 0 0 0 19582 29 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216610716768 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=533716 CPUtime=196.91 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 195450 0 0 0 19676 15 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216602324064 5038992 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=1232 CPUtime=196.66 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 212452 0 0 0 19652 14 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216593931360 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=533716 CPUtime=196.91 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 199819 0 0 0 19678 13 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216585538656 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=533716 CPUtime=196.4 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 209932 0 0 0 19609 31 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216577145952 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=988 CPUtime=195.65 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 210296 0 0 0 19536 29 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216568753248 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 1573.98 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533720 KiB
[startup+199.201 s]
/proc/loadavg: 8.65 6.46 3.87 9/199 15269
/proc/meminfo: memFree=30865728/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533720 CPUtime=1580.36 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1769779 0 0 0 157839 197 0 0 20 0 9 0 558332756 1177317376 133430 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133430 855 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=533720 CPUtime=197.71 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 204587 0 0 0 19740 31 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216627502176 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=533720 CPUtime=197.73 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 200914 0 0 0 19758 15 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216619109472 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=1056 CPUtime=196.9 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 201917 0 0 0 19661 29 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216610716768 5038737 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=3512 CPUtime=197.71 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 195450 0 0 0 19756 15 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216602324064 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=10368 CPUtime=197.46 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 212452 0 0 0 19732 14 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216593931360 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=1716 CPUtime=197.71 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 199819 0 0 0 19758 13 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216585538656 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=6284 CPUtime=197.2 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 209932 0 0 0 19689 31 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216577145952 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=11624 CPUtime=196.45 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 210297 0 0 0 19616 29 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216568753248 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 1580.36 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533720 KiB
[startup+200.006 s]*
/proc/loadavg: 8.65 6.46 3.87 9/199 15269
/proc/meminfo: memFree=30865420/32770624 swapFree=66936012/67108860
[pid=15249] ppid=15246 vsize=1149724 memory=533720 CPUtime=1586.85 cores=0-7
/proc/15249/stat : 15249 (cosoco) S 15246 15249 14101 0 -1 1077944320 1770855 0 0 0 158488 197 0 0 20 0 9 0 558332756 1177317376 133430 33554432000 4194304 6211132 140737134929456 140737134927712 140216661425911 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
/proc/15249/statm: 287431 133430 855 493 0 280736 0
[pid=15249/tid=15251] ppid=15246 vsize=1149724 memory=6935054825532540783 CPUtime=198.52 cores=0-7
/proc/15249/task/15251/stat : 15251 (cosoco) R 15246 15249 14101 0 -1 4202560 204587 0 0 0 19821 31 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216627502176 5039536 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15252] ppid=15246 vsize=1149724 memory=796 CPUtime=198.54 cores=0-7
/proc/15249/task/15252/stat : 15252 (cosoco) R 15246 15249 14101 0 -1 4202560 201990 0 0 0 19839 15 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216619109472 5037825 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15253] ppid=15246 vsize=1149724 memory=1804 CPUtime=197.7 cores=0-7
/proc/15249/task/15253/stat : 15253 (cosoco) R 15246 15249 14101 0 -1 4202560 201917 0 0 0 19741 29 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216610716768 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15254] ppid=15246 vsize=1149724 memory=916 CPUtime=198.52 cores=0-7
/proc/15249/task/15254/stat : 15254 (cosoco) R 15246 15249 14101 0 -1 4202560 195450 0 0 0 19837 15 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216602324064 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15255] ppid=15246 vsize=1149724 memory=4126316290023845779 CPUtime=198.27 cores=0-7
/proc/15249/task/15255/stat : 15255 (cosoco) R 15246 15249 14101 0 -1 4202560 212452 0 0 0 19813 14 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216593931360 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15256] ppid=15246 vsize=1149724 memory=288230583166042426 CPUtime=198.52 cores=0-7
/proc/15249/task/15256/stat : 15256 (cosoco) R 15246 15249 14101 0 -1 4202560 199819 0 0 0 19839 13 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216585538656 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15257] ppid=15246 vsize=1149724 memory=13848568834296438 CPUtime=198.01 cores=0-7
/proc/15249/task/15257/stat : 15257 (cosoco) R 15246 15249 14101 0 -1 4202560 209932 0 0 0 19770 31 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216577145952 5037825 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
[pid=15249/tid=15258] ppid=15246 vsize=1149724 memory=4000 CPUtime=197.26 cores=0-7
/proc/15249/task/15258/stat : 15258 (cosoco) R 15246 15249 14101 0 -1 4202560 210297 0 0 0 19697 29 0 0 20 0 9 0 558332898 1177317376 133430 33554432000 4194304 6211132 140737134929456 140216568753248 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24027136 140737134933009 140737134933101 140737134933101 140737134936014 0
Current children cumulated CPU time: 1586.85 s
Current children cumulated vsize: 1149724 KiB
Current children cumulated memory: 533720 KiB
[startup+200.2 s]*
/proc/loadavg: 8.65 6.46 3.87 2/191 15269
/proc/meminfo: memFree=31076040/32770624 swapFree=66936012/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 200.225
CPU time (s): 1588.32
CPU user time (s): 1586.31
CPU system time (s): 2.00649
CPU usage (%): 793.266
Max. virtual memory (cumulated for all children) (KiB): 1149724
Max. memory (cumulated for all children) (KiB): 533720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1586.31
system time used= 2.00649
maximum resident set size= 533828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1770902
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= 118
involuntary context switches= 14125
# summary of solver processes directly reported to runsolver:
# pid: 15249
# total CPU time (s): 1588.32
# total CPU user time (s): 1586.31
# total CPU system time (s): 2.00649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.997593 second user time and 1.90407 second system time
The end
Begin job on node147 at 2019-09-30 08:15:46 IDJOB=4409353 IDBENCH=126013 IDSOLVER=2877 FILE ID=node147/4409353-1569824190 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-29.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409353-1569824190/watcher-4409353-1569824190 -o /tmp/evaluation-result-4409353-1569824190/solver-4409353-1569824190 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409353-1569824190.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 91ee56688d10982c4440a8b03ad88e11 RANDOM SEED=636739843 node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31395628 kB MemAvailable: 31795268 kB Buffers: 234812 kB Cached: 493884 kB SwapCached: 68896 kB Active: 418248 kB Inactive: 383264 kB Active(anon): 18624 kB Inactive(anon): 136744 kB Active(file): 399624 kB Inactive(file): 246520 kB Unevictable: 107716 kB Mlocked: 107716 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 4684 kB Writeback: 0 kB AnonPages: 219272 kB Mapped: 26480 kB Shmem: 73672 kB Slab: 168196 kB SReclaimable: 138664 kB SUnreclaim: 29532 kB KernelStack: 3552 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node147 at 2019-09-30 08:19:06