Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | UNSAT | 1598.52 | 201.529 |
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.24/1.90 c root propagations : 0 5.24/1.90 c restarts enabled, print stats at every restarts 5.24/1.90 c 5.24/1.90 c 5.24/1.90 c 5.24/1.90 c This is cosoco 2.00 -- 5.24/1.90 c 5.24/1.90 c command line: cosoco -model -nbcores=8 HOME/instance-4398093-1568602412.xml 5.24/1.90 c ========================================[ Problem Statistics ]=========================================== 5.24/1.90 c | 5.24/1.90 c | Parse time : 1.26 s 5.24/1.90 c | 5.24/1.90 c | Variables: 21 5.24/1.90 c | Domain Sizes: 2..2 5.24/1.90 c | 5.24/1.90 c | Constraints: 133 5.24/1.90 c | Arity: 18..18 5.24/1.90 c | 5.24/1.90 c | Types: 5.24/1.90 c | Extension: 133 (nb tuples: 57992..57992) -- (shared: 1056) 5.24/1.90 c | 5.24/1.90 c ========================================================================================================= 5.24/1.90 c Parallel mode: Portfolio 5.24/1.90 c [pFactory][Group N°0] created (threads:8). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 5.24/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 5.24/1.90 c [pFactory][Group N°0] concurrent mode: enabled. 5.24/1.90 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 5.24/1.90 c [pFactory][Group N°0] task 7 launched on thread 0. 5.24/1.90 c [pFactory][Group N°0] task 6 launched on thread 1. 5.24/1.90 c [pFactory][Group N°0] task 5 launched on thread 2. 5.24/1.90 c [pFactory][Group N°0] task 4 launched on thread 5. 5.24/1.90 c [pFactory][Group N°0] task 3 launched on thread 6. 5.24/1.90 c [pFactory][Group N°0] task 2 launched on thread 7. 5.24/1.90 c [pFactory][Group N°0] task 1 launched on thread 4. 5.24/1.90 c [pFactory][Group N°0] task 0 launched on thread 3. 5.24/1.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.90 c root propagations : 0 5.24/1.90 c restarts enabled, print stats at every restarts 5.24/1.90 c 5.24/1.90 c 5.24/1.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.90 c root propagations : 0 5.24/1.90 c restarts enabled, print stats at every restarts 5.24/1.90 c 5.24/1.90 c 5.24/1.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.91 c root propagations : 0 5.24/1.91 c restarts enabled, print stats at every restarts 5.24/1.91 c 5.24/1.91 c 5.24/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.93 c root propagations : 0 5.24/1.93 c restarts enabled, print stats at every restarts 5.24/1.93 c 5.24/1.93 c 5.24/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.93 c root propagations : 0 5.24/1.93 c restarts enabled, print stats at every restarts 5.24/1.93 c 5.24/1.93 c 5.24/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.93 c root propagations : 0 5.24/1.93 c restarts enabled, print stats at every restarts 5.24/1.93 c 5.24/1.93 c 5.24/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.24/1.93 c root propagations : 0 5.24/1.93 c restarts enabled, print stats at every restarts 5.24/1.93 c 5.24/1.93 c 5.24/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.61/2.79 c 32 113 15919 629 0 0 12 15 13 12.41/2.86 c 32 111 15772 618 0 0 11 16 13 14.07/3.02 c 32 110 15374 606 0 0 12 15 13 14.88/3.15 c 101 366 49789 2032 0 0 9 15 13 14.88/3.16 c 32 111 15772 618 0 0 11 16 13 15.60/3.25 c 101 339 49589 1949 0 0 11 15 13 16.40/3.31 c 101 352 50527 2037 0 0 11 16 13 16.40/3.32 c 101 349 48839 1935 0 0 9 15 13 17.20/3.48 c 33 126 17462 652 0 0 13 13 6 19.59/3.77 c 33 124 17395 640 0 0 13 13 6 20.40/3.81 c 33 124 17078 644 0 0 14 14 7 22.87/4.14 c 33 124 17395 640 0 0 13 13 6 23.59/4.27 c 211 753 102511 4276 0 0 10 15 13 24.38/4.39 c 64 235 32615 1264 0 0 12 15 13 25.93/4.51 c 211 730 101361 4089 0 0 9 15 13 26.73/4.61 c 64 232 31864 1280 0 0 12 15 13 26.73/4.65 c 211 696 99777 4005 0 0 9 15 13 27.53/4.73 c 211 740 101931 4258 0 0 10 15 13 28.33/4.90 c 64 237 33575 1268 0 0 12 15 13 32.32/5.33 c 65 248 34166 1294 0 0 13 13 6 32.32/5.34 c 64 237 33575 1268 0 0 12 15 13 33.92/5.53 c 332 1165 159792 6672 0 0 8 15 13 33.92/5.57 c 65 245 33392 1303 0 0 13 13 6 34.72/5.69 c 332 1151 157004 6431 0 0 7 15 13 37.12/5.97 c 65 250 35250 1299 0 0 13 13 6 39.51/6.22 c 66 261 35676 1317 0 0 13 13 6 39.51/6.27 c 332 1135 159855 6463 0 0 10 15 13 41.11/6.44 c 332 1184 160580 6762 0 0 9 15 13 41.11/6.44 c 65 250 35250 1299 0 0 13 13 6 44.31/6.85 c 66 258 34995 1327 0 0 13 13 6 45.11/6.96 c 465 1639 226221 9298 0 0 11 15 13 45.96/7.02 c 465 1600 214589 8893 0 0 9 15 13 46.78/7.12 c 66 263 36904 1330 0 0 13 13 6 46.78/7.15 c 67 274 37227 1347 0 0 13 13 6 50.69/7.61 c 66 263 36904 1330 0 0 13 13 6 53.08/7.96 c 465 1608 225603 9098 0 0 11 15 13 55.47/8.22 c 128 487 66378 2544 0 0 10 15 13 55.47/8.24 c 465 1654 223973 9411 0 0 9 15 13 55.47/8.24 c 67 271 36523 1350 0 0 13 13 6 55.47/8.27 c 67 276 38570 1353 0 0 13 13 6 56.27/8.37 c 611 2175 300356 12374 0 0 10 15 13 59.46/8.74 c 611 2102 280164 11764 0 0 7 15 13 59.46/8.77 c 67 276 38570 1353 0 0 13 13 6 62.73/9.17 c 129 500 67976 2567 0 0 13 13 6 66.66/9.62 c 128 494 70210 2576 0 0 11 14 13 66.66/9.64 c 611 2113 295965 12033 0 0 8 15 13 67.46/9.77 c 128 470 63884 2522 0 0 10 15 13 68.25/9.86 c 771 2715 375604 15508 0 0 7 15 13 69.91/10.10 c 611 2150 292402 12247 0 0 9 15 13 70.71/10.13 c 130 513 69579 2590 0 0 13 13 6 70.71/10.13 c 128 494 70210 2576 0 0 11 14 13 73.84/10.53 c 771 2649 350421 14807 0 0 8 15 13 75.44/10.78 c 129 507 71733 2597 0 0 13 13 6 77.90/11.09 c 129 483 65400 2545 0 0 13 13 6 79.43/11.27 c 131 526 71177 2613 0 0 13 13 6 79.43/11.27 c 129 507 71733 2597 0 0 13 13 6 79.43/11.29 c 947 3303 455313 18943 0 0 9 15 13 81.83/11.56 c 771 2671 370238 15094 0 0 9 15 13 85.02/11.94 c 130 519 73247 2620 0 0 12 12 6 85.87/12.08 c 771 2691 367611 15463 0 0 9 15 13 88.22/12.32 c 130 496 66932 2576 0 0 13 13 6 88.22/12.39 c 947 3270 430631 18222 0 0 7 15 13 89.01/12.45 c 130 519 73247 2620 0 0 12 12 6 89.01/12.46 c 132 539 72829 2645 0 0 13 13 6 94.67/13.12 c 131 532 74818 2642 0 0 13 13 6 94.67/13.14 c 1140 3958 545645 22644 0 0 10 15 13 97.00/13.48 c 131 509 68448 2599 0 0 13 13 6 98.59/13.63 c 131 532 74818 2642 0 0 13 13 6 98.59/13.64 c 133 552 74427 2668 0 0 13 13 6 100.20/13.87 c 947 3302 459667 18685 0 0 6 15 13 102.66/14.20 c 947 3293 451802 18917 0 0 11 15 13 103.38/14.23 c 1140 3928 515611 21925 0 0 9 15 13 104.18/14.39 c 132 545 76392 2665 0 0 13 13 6 105.78/14.52 c 132 522 69982 2630 0 0 13 13 6 108.16/14.85 c 134 565 76079 2700 0 0 13 13 6 108.96/14.90 c 132 545 76392 2665 0 0 13 13 6 111.34/15.20 c 1352 4677 645480 26739 0 0 10 15 13 115.34/15.71 c 133 535 71498 2653 0 0 13 13 6 116.14/15.83 c 133 558 78065 2696 0 0 13 13 6 117.80/16.07 c 135 578 77677 2723 0 0 13 13 6 118.60/16.12 c 1140 3973 551156 22512 0 0 9 15 13 119.33/16.22 c 1352 4680 612489 26038 0 0 6 15 13 119.33/16.28 c 1140 3989 546315 22876 0 0 6 15 13 120.13/16.34 c 133 558 78065 2696 0 0 13 13 6 123.33/16.78 c 134 548 73032 2684 0 0 13 13 6 127.32/17.21 c 1585 5465 754848 31331 0 0 8 15 13 127.32/17.22 c 134 570 79582 2719 0 0 12 12 6 130.51/17.68 c 134 570 79582 2719 0 0 12 12 6 131.31/17.78 c 256 991 136135 5083 0 0 9 15 13 132.91/17.94 c 135 561 74548 2707 0 0 13 13 6 135.30/18.21 c 1585 5483 715347 30524 0 0 10 15 13 135.30/18.25 c 1352 4719 652798 26667 0 0 11 15 13 136.10/18.36 c 1352 4764 653004 27268 0 0 8 15 13 136.90/18.46 c 135 583 81153 2742 0 0 13 13 6 140.89/18.92 c 135 583 81153 2742 0 0 13 13 6 140.89/18.96 c 257 1005 137753 5111 0 0 14 14 7 142.56/19.17 c 1841 6300 869318 36212 0 0 8 15 13 144.08/19.39 c 256 988 130842 5105 0 0 7 15 13 150.55/20.15 c 256 1003 139575 5153 0 0 9 15 13 150.55/20.15 c 258 1019 139487 5146 0 0 14 14 7 152.07/20.38 c 1841 6365 827886 35416 0 0 6 15 13 152.87/20.48 c 1585 5552 762754 31875 0 0 10 15 13 153.67/20.56 c 257 1001 132370 5128 0 0 13 13 6 154.47/20.60 c 256 1003 139575 5153 0 0 9 15 13 154.47/20.64 c 1585 5547 766043 31354 0 0 11 15 13 160.06/21.33 c 2122 7255 998304 41649 0 0 9 15 13 160.06/21.35 c 259 1033 141105 5174 0 0 14 14 7 160.86/21.43 c 257 1017 141245 5184 0 0 14 14 7 163.26/21.73 c 258 1014 133898 5151 0 0 13 13 6 164.06/21.89 c 257 1017 141245 5184 0 0 14 14 7 169.64/22.52 c 260 1047 142839 5209 0 0 14 14 7 170.44/22.65 c 1841 6431 882073 37011 0 0 10 15 13 171.25/22.70 c 2122 7362 958123 40846 0 0 8 15 13 171.25/22.77 c 258 1031 142916 5215 0 0 14 14 7 173.69/23.01 c 1841 6444 886893 36405 0 0 7 15 13 173.69/23.04 c 259 1027 135426 5174 0 0 13 13 6 175.23/23.21 c 258 1031 142916 5215 0 0 14 14 7 177.63/23.53 c 2431 8304 1140133 47581 0 0 7 15 13 178.43/23.62 c 261 1061 144492 5239 0 0 14 14 7 183.22/24.21 c 259 1045 144586 5246 0 0 14 14 7 184.02/24.35 c 260 1040 136954 5197 0 0 13 13 6 186.41/24.62 c 259 1045 144586 5246 0 0 14 14 7 187.21/24.72 c 262 1075 146172 5275 0 0 14 14 7 188.75/24.99 c 2431 8394 1091815 46571 0 0 9 15 13 189.60/25.03 c 2122 7406 1017418 42575 0 0 6 15 13 193.54/25.51 c 260 1059 146257 5277 0 0 14 14 7 193.54/25.58 c 2122 7439 1021319 41875 0 0 10 15 13 194.34/25.67 c 261 1053 138482 5220 0 0 13 13 6 195.94/25.86 c 263 1089 147825 5305 0 0 14 14 7 195.94/25.89 c 2770 9471 1299495 54267 0 0 7 15 13 196.74/25.91 c 260 1059 146257 5277 0 0 14 14 7 203.99/26.87 c 261 1073 147927 5308 0 0 14 14 7 204.72/26.95 c 264 1103 149501 5341 0 0 14 14 7 204.72/26.98 c 262 1066 140010 5243 0 0 13 13 6 207.11/27.25 c 261 1073 147927 5308 0 0 14 14 7 208.70/27.41 c 2431 8484 1165093 48781 0 0 10 15 13 210.30/27.61 c 2770 9556 1243643 53049 0 0 8 15 13 213.55/28.05 c 265 1117 151154 5371 0 0 14 14 7 213.55/28.06 c 2431 8479 1164454 47837 0 0 9 15 13 214.36/28.16 c 262 1087 149598 5339 0 0 14 14 7 215.89/28.30 c 263 1079 141538 5266 0 0 13 13 6 215.89/28.36 c 3142 10756 1474647 61593 0 0 9 15 13 217.48/28.53 c 262 1087 149598 5339 0 0 14 14 7 222.35/29.11 c 266 1131 152830 5407 0 0 14 14 7 225.47/29.50 c 263 1101 151268 5370 0 0 14 14 7 226.27/29.61 c 264 1092 143066 5289 0 0 13 13 6 227.87/29.87 c 263 1101 151268 5370 0 0 14 14 7 230.33/30.16 c 267 1145 154483 5437 0 0 14 14 7 230.33/30.18 c 3142 10857 1412808 60222 0 0 10 15 13 231.06/30.23 c 2770 9665 1328756 55521 0 0 6 15 13 235.06/30.78 c 264 1115 153060 5405 0 0 14 14 7 236.66/30.93 c 2770 9688 1330135 54603 0 0 5 15 13 236.66/30.93 c 265 1105 144594 5312 0 0 13 13 6 238.32/31.15 c 264 1115 153060 5405 0 0 14 14 7 239.05/31.22 c 268 1159 156177 5474 0 0 14 14 7 240.65/31.40 c 3551 12146 1667220 69693 0 0 9 15 13 246.31/32.13 c 265 1128 154728 5430 0 0 13 13 6 247.03/32.23 c 266 1118 146122 5335 0 0 13 13 6 247.83/32.34 c 269 1173 157830 5504 0 0 14 14 7 248.63/32.50 c 265 1128 154728 5430 0 0 13 13 6 251.83/32.80 c 3551 12262 1593558 67909 0 0 6 15 13 252.63/32.97 c 3142 10940 1503581 62795 0 0 5 15 13 256.62/33.43 c 266 1142 156398 5461 0 0 14 14 7 256.62/33.43 c 270 1187 159527 5541 0 0 14 14 7 257.42/33.55 c 267 1131 147650 5358 0 0 13 13 6 259.02/33.76 c 266 1142 156398 5461 0 0 14 14 7 259.02/33.78 c 3142 10968 1503706 61778 0 0 8 15 13 265.40/34.53 c 271 1201 161259 5580 0 0 14 14 7 265.40/34.59 c 4000 13686 1879520 78581 0 0 7 15 13 267.00/34.72 c 267 1156 158190 5496 0 0 14 14 7 267.80/34.81 c 268 1144 149178 5381 0 0 13 13 6 269.45/35.03 c 267 1156 158190 5496 0 0 14 14 7 274.98/35.70 c 4000 13814 1794542 76642 0 0 9 15 13 276.58/35.98 c 3551 12355 1697299 71026 0 0 7 15 13 277.43/36.10 c 268 1169 159858 5521 0 0 13 13 6 278.27/36.13 c 269 1157 150706 5404 0 0 13 13 6 279.77/36.38 c 268 1169 159858 5521 0 0 13 13 6 282.17/36.61 c 512 2037 280579 10328 0 0 7 15 13 286.96/37.25 c 3551 12418 1699432 69912 0 0 8 15 13 287.75/37.34 c 269 1182 161524 5546 0 0 13 13 6 287.75/37.38 c 270 1170 152234 5427 0 0 13 13 6 289.35/37.60 c 269 1182 161524 5546 0 0 13 13 6 290.15/37.69 c 513 2049 282125 10350 0 0 12 12 6 290.95/37.78 c 4493 15386 2112579 88400 0 0 8 15 13 297.34/38.56 c 270 1195 163192 5571 0 0 13 13 6 298.13/38.65 c 4493 15536 2015668 86125 0 0 10 15 13 298.93/38.70 c 271 1183 153762 5450 0 0 13 13 6 299.73/38.80 c 270 1195 163192 5571 0 0 13 13 6 299.73/38.81 c 514 2061 283672 10372 0 0 12 12 6 300.53/38.96 c 4000 13912 1909196 79870 0 0 7 15 13 306.92/39.77 c 271 1208 164858 5596 0 0 13 13 6 308.52/39.96 c 515 2073 285218 10394 0 0 12 12 6 308.52/39.99 c 271 1208 164858 5596 0 0 13 13 6 314.11/40.60 c 4000 13943 1904874 78503 0 0 8 15 13 316.50/40.95 c 512 1999 264611 10121 0 0 7 15 13 317.36/41.05 c 516 2085 286767 10416 0 0 12 12 6 317.36/41.07 c 5035 17232 2367194 99102 0 0 7 15 13 324.50/41.92 c 5035 17379 2259482 96468 0 0 8 15 13 325.35/42.10 c 517 2097 288313 10438 0 0 12 12 6 326.16/42.14 c 512 1999 279501 10305 0 0 6 15 13 326.89/42.22 c 513 2012 266134 10144 0 0 13 13 6 326.89/42.27 c 512 1999 279501 10305 0 0 6 15 13 329.28/42.58 c 4493 15614 2143588 89620 0 0 7 15 13 334.14/43.15 c 518 2109 289860 10460 0 0 12 12 6 335.67/43.38 c 513 2012 281028 10328 0 0 13 13 6 336.47/43.47 c 514 2025 267662 10167 0 0 13 13 6 336.47/43.49 c 513 2012 281028 10328 0 0 13 13 6 339.67/43.87 c 4493 15625 2130078 88152 0 0 9 15 13 342.86/44.25 c 519 2122 291486 10492 0 0 13 13 6 345.25/44.58 c 5631 19228 2638788 110564 0 0 6 15 13 346.05/44.63 c 514 2025 282612 10355 0 0 13 13 6 346.86/44.72 c 514 2025 282612 10355 0 0 13 13 6 346.86/44.78 c 515 2038 269185 10190 0 0 13 13 6 352.43/45.41 c 520 2135 293090 10521 0 0 13 13 6 352.43/45.47 c 5631 19495 2538015 108061 0 0 6 15 13 356.42/45.91 c 515 2038 284139 10378 0 0 13 13 6 356.42/45.98 c 515 2038 284139 10378 0 0 13 13 6 358.08/46.13 c 516 2051 270713 10213 0 0 13 13 6 358.81/46.28 c 5035 17506 2406263 100592 0 0 6 15 13 360.41/46.49 c 521 2147 294637 10543 0 0 12 12 6 365.26/47.06 c 516 2051 285723 10405 0 0 13 13 6 366.07/47.12 c 516 2051 285723 10405 0 0 13 13 6 368.39/47.45 c 517 2064 272236 10236 0 0 13 13 6 369.98/47.62 c 522 2160 296263 10575 0 0 13 13 6 369.98/47.69 c 5035 17481 2381117 98583 0 0 8 15 13 374.77/48.24 c 517 2064 287250 10428 0 0 13 13 6 374.77/48.27 c 517 2064 287250 10428 0 0 13 13 6 378.77/48.71 c 523 2173 297867 10604 0 0 13 13 6 378.77/48.74 c 6286 21495 2948445 123530 0 0 8 15 13 378.77/48.77 c 518 2077 273764 10259 0 0 13 13 6 383.55/49.31 c 6286 21737 2831321 120452 0 0 9 15 13 383.55/49.38 c 518 2077 288834 10455 0 0 13 13 6 383.55/49.38 c 518 2077 288834 10455 0 0 13 13 6 386.75/49.79 c 524 2186 299475 10633 0 0 13 13 6 388.35/49.98 c 5631 19524 2680172 112200 0 0 6 15 13 389.21/50.08 c 519 2090 275287 10282 0 0 13 13 6 393.14/50.54 c 519 2090 290361 10478 0 0 13 13 6 393.14/50.55 c 519 2090 290361 10478 0 0 13 13 6 395.54/50.84 c 525 2199 301083 10662 0 0 13 13 6 400.33/51.40 c 520 2104 276964 10319 0 0 14 14 7 401.93/51.63 c 5631 19541 2659574 110253 0 0 8 15 13 401.93/51.66 c 520 2103 291945 10505 0 0 13 13 6 401.93/51.67 c 520 2103 291945 10505 0 0 13 13 6 404.32/51.98 c 526 2211 302630 10684 0 0 12 12 6 409.11/52.58 c 521 2118 278643 10356 0 0 14 14 7 411.51/52.80 c 521 2116 293472 10528 0 0 13 13 6 411.51/52.84 c 521 2116 293472 10528 0 0 13 13 6 411.51/52.84 c 7006 23934 3280040 137406 0 0 9 15 13 413.97/53.13 c 527 2224 304281 10716 0 0 13 13 6 414.70/53.24 c 7006 24219 3150381 134208 0 0 6 16 13 418.70/53.77 c 522 2132 280320 10393 0 0 14 14 7 420.30/53.93 c 522 2129 295056 10555 0 0 13 13 6 420.30/53.98 c 522 2129 295056 10555 0 0 13 13 6 422.69/54.24 c 528 2237 305889 10745 0 0 13 13 6 425.88/54.67 c 6286 21821 3004147 125332 0 0 9 15 13 427.48/54.86 c 523 2146 281964 10422 0 0 14 14 7 429.13/55.07 c 523 2142 296583 10578 0 0 13 13 6 429.94/55.16 c 523 2142 296583 10578 0 0 13 13 6 431.45/55.35 c 529 2249 307436 10767 0 0 12 12 6 436.26/55.99 c 6286 21778 2969253 122963 0 0 9 15 13 437.92/56.16 c 524 2160 283606 10451 0 0 14 14 7 438.65/56.21 c 524 2155 298167 10605 0 0 13 13 6 439.45/56.31 c 524 2155 298167 10605 0 0 13 13 6 440.24/56.48 c 530 2262 309087 10799 0 0 13 13 6 446.63/57.22 c 7798 27023 3511476 149592 0 0 6 15 13 447.43/57.35 c 525 2168 299751 10632 0 0 13 13 6 448.23/57.47 c 525 2168 299751 10632 0 0 13 13 6 449.03/57.53 c 7798 26643 3657002 153025 0 0 6 15 13 449.03/57.56 c 525 2174 285277 10484 0 0 14 14 7 449.03/57.60 c 531 2275 310695 10828 0 0 13 13 6 456.21/58.48 c 526 2181 301295 10662 0 0 13 13 6 457.81/58.61 c 526 2181 301295 10662 0 0 13 13 6 457.81/58.69 c 532 2287 312245 10850 0 0 12 12 6 458.61/58.76 c 526 2188 286921 10513 0 0 14 14 7 465.00/59.54 c 7006 24335 3356546 139749 0 0 9 15 13 466.60/59.75 c 527 2194 302840 10692 0 0 13 13 6 466.60/59.77 c 533 2300 313893 10882 0 0 13 13 6 467.40/59.90 c 527 2194 302840 10692 0 0 13 13 6 469.05/60.06 c 527 2202 288563 10542 0 0 14 14 7 469.86/60.19 c 7006 24219 3298733 136776 0 0 6 15 13 476.18/60.92 c 534 2312 315443 10904 0 0 12 12 6 477.04/61.01 c 528 2207 304424 10719 0 0 13 13 6 477.84/61.19 c 528 2207 304424 10719 0 0 13 13 6 480.17/61.41 c 528 2216 290234 10575 0 0 14 14 7 484.17/61.97 c 535 2325 317051 10933 0 0 13 13 6 485.83/62.14 c 8669 30028 3900390 166156 0 0 9 15 13 486.56/62.22 c 529 2220 306008 10746 0 0 13 13 6 488.16/62.43 c 529 2220 306008 10746 0 0 13 13 6 488.95/62.57 c 529 2230 291878 10604 0 0 14 14 7 489.75/62.66 c 8669 29673 4063112 169918 0 0 6 15 13 493.01/63.08 c 536 2338 318673 10962 0 0 13 13 6 495.34/63.35 c 530 2233 307592 10773 0 0 13 13 6 496.95/63.58 c 530 2233 307592 10773 0 0 13 13 6 499.34/63.87 c 530 2244 293520 10633 0 0 14 14 7 501.81/64.18 c 537 2351 320321 10994 0 0 13 13 6 504.13/64.49 c 531 2246 309176 10800 0 0 13 13 6 505.73/64.62 c 7798 27094 3732026 155439 0 0 8 15 13 506.53/64.74 c 531 2246 309176 10800 0 0 13 13 6 510.52/65.21 c 531 2258 295192 10666 0 0 14 14 7 511.30/65.31 c 538 2363 321871 11016 0 0 12 12 6 513.69/65.61 c 532 2259 310720 10830 0 0 13 13 6 514.49/65.70 c 7798 27021 3681515 152299 0 0 8 15 13 516.09/65.91 c 532 2259 310720 10830 0 0 13 13 6 519.28/66.38 c 539 2376 323479 11045 0 0 13 13 6 520.88/66.57 c 532 2272 296836 10695 0 0 14 14 7 523.29/66.85 c 533 2272 312265 10860 0 0 13 13 6 525.75/67.18 c 533 2272 312265 10860 0 0 13 13 6 527.27/67.34 c 9627 33346 4328973 184495 0 0 7 16 13 528.87/67.50 c 540 2389 325101 11074 0 0 13 13 6 532.92/68.07 c 533 2286 298478 10724 0 0 14 14 7 532.92/68.10 c 534 2285 313849 10887 0 0 13 13 6 534.45/68.21 c 9627 33036 4525856 188900 0 0 8 15 13 536.05/68.47 c 534 2285 313849 10887 0 0 13 13 6 537.65/68.60 c 541 2402 326720 11103 0 0 13 13 6 543.24/69.32 c 535 2298 315433 10914 0 0 13 13 6 544.84/69.53 c 534 2300 300150 10757 0 0 14 14 7 545.64/69.69 c 535 2298 315433 10914 0 0 13 13 6 546.46/69.73 c 542 2415 328506 11140 0 0 13 13 6 551.23/70.32 c 8669 30180 4167426 173092 0 0 8 15 13 552.03/70.43 c 536 2311 317017 10941 0 0 13 13 6 555.22/70.80 c 543 2428 330125 11169 0 0 13 13 6 555.22/70.83 c 536 2311 317017 10941 0 0 13 13 6 555.22/70.89 c 535 2314 301794 10786 0 0 14 14 7 559.21/71.36 c 8669 30000 4089971 169217 0 0 8 15 13 560.81/71.57 c 537 2324 318601 10968 0 0 13 13 6 564.01/71.99 c 537 2324 318601 10968 0 0 13 13 6 567.20/72.37 c 536 2328 303435 10815 0 0 14 14 7 569.60/72.68 c 538 2337 320145 10998 0 0 13 13 6 570.40/72.75 c 10680 36939 4793817 204481 0 0 8 15 13 573.66/73.13 c 538 2337 320145 10998 0 0 13 13 6 579.18/73.86 c 537 2342 305108 10848 0 0 14 14 7 579.98/73.95 c 539 2350 321690 11028 0 0 13 13 6 579.98/73.96 c 1024 4091 557999 20831 0 0 8 15 13 583.17/74.39 c 539 2350 321690 11028 0 0 13 13 6 583.97/74.47 c 10680 36633 5019715 209478 0 0 8 15 13 588.82/75.11 c 1025 4104 559604 20861 0 0 13 13 6 589.63/75.19 c 540 2363 323274 11055 0 0 13 13 6 591.15/75.31 c 538 2356 306752 10877 0 0 14 14 7 593.55/75.64 c 540 2363 323274 11055 0 0 13 13 6 597.60/76.16 c 9627 33561 4641209 192293 0 0 6 15 13 597.60/76.19 c 1026 4117 561208 20891 0 0 13 13 6 599.13/76.38 c 541 2376 324858 11082 0 0 13 13 6 601.53/76.67 c 539 2370 308393 10906 0 0 14 14 7 603.13/76.82 c 541 2376 324858 11082 0 0 13 13 6 604.78/77.05 c 9627 33287 4537726 188101 0 0 7 15 13 606.32/77.29 c 1027 4130 562813 20921 0 0 13 13 6 607.91/77.49 c 542 2389 326442 11109 0 0 13 13 6 611.91/77.94 c 542 2389 326442 11109 0 0 13 13 6 613.57/78.11 c 540 2384 310066 10939 0 0 14 14 7 615.10/78.34 c 1028 4143 564417 20951 0 0 13 13 6 615.10/78.37 c 11838 40875 5296975 226462 0 0 4 16 13 617.49/78.64 c 543 2402 328026 11136 0 0 13 13 6 621.55/79.11 c 543 2402 328026 11136 0 0 13 13 6 623.08/79.36 c 1029 4156 566022 20981 0 0 13 13 6 625.47/79.62 c 541 2398 311710 10968 0 0 14 14 7 631.06/80.37 c 1030 4169 567626 21011 0 0 13 13 6 636.71/81.02 c 542 2412 313392 11006 0 0 14 14 7 636.71/81.09 c 11838 40619 5568001 232288 0 0 7 15 13 639.05/81.36 c 1031 4182 569231 21041 0 0 13 13 6 642.24/81.77 c 1024 4095 559032 20705 0 0 10 15 13 646.23/82.24 c 1024 4095 559032 20705 0 0 10 15 13 647.03/82.34 c 1032 4195 570835 21071 0 0 13 13 6 647.83/82.42 c 543 2426 315036 11035 0 0 14 14 7 651.03/82.88 c 10680 36956 5033917 209116 0 0 7 15 13 651.83/82.97 c 1025 4108 560573 20735 0 0 13 13 6 655.02/83.30 c 10680 37329 5174067 213745 0 0 6 15 13 655.02/83.34 c 1033 4208 572440 21101 0 0 13 13 6 655.82/83.46 c 1025 4108 560573 20735 0 0 13 13 6 662.20/84.21 c 1026 4121 562114 20765 0 0 13 13 6 663.00/84.36 c 1034 4221 574044 21131 0 0 13 13 6 666.20/84.74 c 1026 4121 562114 20765 0 0 13 13 6 669.46/85.16 c 13111 45332 5875352 250953 0 0 7 15 13 670.99/85.35 c 1035 4234 575649 21161 0 0 13 13 6 671.79/85.47 c 1027 4134 563677 20793 0 0 13 13 6 676.64/86.02 c 1027 4134 563677 20793 0 0 13 13 6 676.64/86.05 c 1024 4089 536510 20463 0 0 7 15 13 678.97/86.36 c 1036 4247 577253 21191 0 0 13 13 6 682.96/86.80 c 1028 4147 565233 20821 0 0 13 13 6 686.95/87.36 c 1028 4147 565233 20821 0 0 13 13 6 686.95/87.37 c 1037 4260 578858 21221 0 0 13 13 6 687.75/87.48 c 1025 4103 538154 20492 0 0 14 14 7 692.61/88.02 c 1029 4160 566774 20851 0 0 13 13 6 694.14/88.22 c 13111 45050 6172958 257367 0 0 6 15 13 694.94/88.38 c 1038 4273 580462 21251 0 0 13 13 6 697.34/88.61 c 1029 4160 566774 20851 0 0 13 13 6 698.94/88.86 c 1026 4117 539796 20521 0 0 14 14 7 702.13/89.28 c 1030 4173 568315 20881 0 0 13 13 6 702.93/89.38 c 1039 4286 582067 21281 0 0 13 13 6 706.92/89.89 c 1030 4173 568315 20881 0 0 13 13 6 707.72/89.99 c 11838 40996 5578235 232005 0 0 8 15 13 710.11/90.26 c 1027 4131 541440 20550 0 0 14 14 7 710.91/90.38 c 1040 4299 583671 21311 0 0 13 13 6 711.71/90.49 c 1031 4186 569878 20909 0 0 13 13 6 713.31/90.65 c 11838 41380 5747614 237201 0 0 7 15 13 717.37/91.14 c 1031 4186 569878 20909 0 0 13 13 6 718.90/91.39 c 1041 4312 585276 21341 0 0 13 13 6 721.30/91.61 c 1028 4145 543082 20579 0 0 14 14 7 722.10/91.75 c 1032 4199 571580 20945 0 0 13 13 6 723.70/91.99 c 14511 50105 6495467 277320 0 0 6 16 13 727.69/92.40 c 1042 4325 586880 21371 0 0 13 13 6 727.69/92.43 c 1032 4199 571580 20945 0 0 13 13 6 731.67/93.00 c 1029 4159 544726 20608 0 0 14 14 7 732.52/93.01 c 1033 4212 573143 20973 0 0 13 13 6 734.86/93.39 c 1043 4338 588485 21401 0 0 13 13 6 738.06/93.70 c 1033 4212 573143 20973 0 0 13 13 6 741.32/94.12 c 1034 4225 574845 21009 0 0 13 13 6 742.84/94.34 c 1030 4173 546368 20637 0 0 14 14 7 742.84/94.38 c 1044 4351 590089 21431 0 0 13 13 6 746.84/94.82 c 1034 4225 574845 21009 0 0 13 13 6 750.03/95.24 c 1035 4238 576391 21039 0 0 13 13 6 750.83/95.37 c 1045 4364 591694 21461 0 0 13 13 6 754.03/95.70 c 1031 4187 548012 20666 0 0 14 14 7 755.63/95.96 c 1035 4238 576391 21039 0 0 13 13 6 758.82/96.33 c 1036 4251 578093 21075 0 0 13 13 6 758.82/96.36 c 1046 4377 593298 21491 0 0 13 13 6 762.01/96.78 c 14511 49993 6859151 285614 0 0 5 15 13 764.46/97.03 c 1032 4201 549654 20695 0 0 14 14 7 764.46/97.09 c 1036 4251 578093 21075 0 0 13 13 6 766.00/97.30 c 13111 45322 6179351 256882 0 0 4 15 13 766.80/97.35 c 1047 4390 594903 21521 0 0 13 13 6 767.60/97.47 c 1037 4264 579639 21105 0 0 13 13 6 773.97/98.26 c 1037 4264 579639 21105 0 0 13 13 6 774.77/98.35 c 1048 4403 596507 21551 0 0 13 13 6 775.57/98.42 c 1033 4215 551298 20724 0 0 14 14 7 776.37/98.58 c 1038 4277 581154 21128 0 0 13 13 6 781.23/99.13 c 13111 45911 6387407 263187 0 0 4 15 13 782.76/99.35 c 1049 4416 598112 21581 0 0 13 13 6 782.76/99.38 c 1038 4277 581154 21128 0 0 13 13 6 784.36/99.57 c 16051 55495 7197119 307254 0 0 6 15 13 785.96/99.73 c 1039 4290 582700 21158 0 0 13 13 6 785.96/99.78 c 1034 4229 552940 20753 0 0 14 14 7 790.75/100.36 c 1050 4429 599716 21611 0 0 13 13 6 792.34/100.56 c 1039 4290 582700 21158 0 0 13 13 6 794.74/100.85 c 1040 4303 584215 21181 0 0 13 13 6 797.20/101.16 c 1035 4243 554584 20782 0 0 14 14 7 798.73/101.35 c 1051 4442 601321 21641 0 0 13 13 6 801.13/101.68 c 1040 4303 584215 21181 0 0 13 13 6 803.52/101.99 c 1041 4316 585756 21211 0 0 13 13 6 806.71/102.36 c 1052 4455 602925 21671 0 0 13 13 6 808.31/102.52 c 1036 4257 556226 20811 0 0 14 14 7 810.71/102.84 c 1041 4316 585756 21211 0 0 13 13 6 813.90/103.21 c 1042 4329 587271 21234 0 0 13 13 6 814.70/103.34 c 1053 4468 604530 21701 0 0 13 13 6 819.50/103.90 c 1037 4271 557870 20840 0 0 14 14 7 820.35/104.07 c 1042 4329 587271 21234 0 0 13 13 6 822.69/104.35 c 1054 4481 606134 21731 0 0 13 13 6 823.48/104.47 c 1043 4342 588812 21264 0 0 13 13 6 828.34/105.05 c 14511 50192 6846474 284574 0 0 5 15 13 829.87/105.26 c 1038 4285 559512 20869 0 0 14 14 7 830.67/105.35 c 1043 4342 588812 21264 0 0 13 13 6 830.67/105.36 c 1055 4494 607739 21761 0 0 13 13 6 833.08/105.69 c 1044 4355 590327 21287 0 0 13 13 6 835.47/105.99 c 16051 55395 7596403 316291 0 0 3 15 13 838.66/106.38 c 1056 4507 609343 21791 0 0 13 13 6 840.26/106.59 c 1044 4355 590327 21287 0 0 13 13 6 841.06/106.65 c 1039 4299 561156 20898 0 0 14 14 7 843.46/106.93 c 1045 4368 591868 21317 0 0 13 13 6 846.64/107.38 c 1057 4520 610948 21821 0 0 13 13 6 850.63/107.86 c 1045 4368 591868 21317 0 0 13 13 6 851.43/108.01 c 1040 4313 562798 20927 0 0 14 14 7 853.09/108.15 c 1046 4381 593383 21340 0 0 13 13 6 854.62/108.39 c 1058 4533 612552 21851 0 0 13 13 6 857.02/108.68 c 17745 61401 7958670 339653 0 0 6 16 13 860.27/109.10 c 1046 4381 593383 21340 0 0 13 13 6 862.61/109.34 c 14511 50898 7096248 291933 0 0 7 15 13 862.61/109.39 c 1059 4546 614157 21881 0 0 13 13 6 863.41/109.41 c 1047 4394 594924 21370 0 0 13 13 6 863.41/109.41 c 1041 4327 564442 20956 0 0 14 14 7 870.59/110.39 c 1047 4394 594924 21370 0 0 13 13 6 871.39/110.40 c 1060 4559 615761 21911 0 0 13 13 6 872.99/110.61 c 1048 4407 596439 21393 0 0 13 13 6 873.79/110.76 c 1042 4341 566084 20985 0 0 14 14 7 878.58/111.38 c 1061 4572 617366 21941 0 0 13 13 6 880.98/111.60 c 1048 4407 596439 21393 0 0 13 13 6 882.58/111.84 c 1049 4420 597980 21423 0 0 13 13 6 885.04/112.13 c 1043 4355 567728 21014 0 0 14 14 7 886.56/112.38 c 1062 4585 618970 21971 0 0 13 13 6 890.56/112.85 c 1049 4420 597980 21423 0 0 13 13 6 892.22/113.04 c 1050 4433 599495 21446 0 0 13 13 6 894.55/113.35 c 1063 4598 620575 22001 0 0 13 13 6 895.35/113.47 c 1044 4369 569370 21043 0 0 14 14 7 900.20/114.07 c 1050 4433 599495 21446 0 0 13 13 6 900.20/114.07 c 16051 55548 7573414 314981 0 0 5 15 13 901.74/114.27 c 1051 4446 601036 21476 0 0 13 13 6 902.54/114.34 c 1064 4611 622179 22031 0 0 13 13 6 906.53/114.86 c 1045 4383 571014 21072 0 0 14 14 7 910.52/115.33 c 1065 4624 623784 22061 0 0 13 13 6 910.52/115.33 c 1051 4446 601036 21476 0 0 13 13 6 911.32/115.46 c 1052 4459 602551 21499 0 0 13 13 6 912.12/115.59 c 17745 61228 8399003 349662 0 0 7 15 13 916.98/116.20 c 1046 4397 572656 21101 0 0 14 14 7 918.51/116.32 c 1066 4637 625388 22091 0 0 13 13 6 920.11/116.55 c 1052 4459 602551 21499 0 0 13 13 6 921.71/116.71 c 1053 4472 604092 21529 0 0 13 13 6 926.50/117.30 c 1067 4650 626993 22121 0 0 13 13 6 928.09/117.58 c 1047 4411 574300 21130 0 0 14 14 7 930.48/117.83 c 1053 4472 604092 21529 0 0 13 13 6 930.48/117.88 c 19608 67807 8791407 375648 0 0 7 16 13 931.28/117.92 c 1054 4485 605607 21552 0 0 13 13 6 934.47/118.30 c 1068 4663 628597 22151 0 0 13 13 6 937.67/118.73 c 16051 56244 7846256 322638 0 0 7 15 13 939.26/118.94 c 1048 4425 575942 21159 0 0 14 14 7 940.12/119.05 c 1054 4485 605607 21552 0 0 13 13 6 940.93/119.18 c 1055 4498 607148 21582 0 0 13 13 6 941.65/119.28 c 1069 4676 630202 22181 0 0 13 13 6 949.64/120.28 c 1070 4689 631806 22211 0 0 13 13 6 950.44/120.33 c 1055 4498 607148 21582 0 0 13 13 6 950.44/120.33 c 1049 4439 577586 21188 0 0 14 14 7 950.44/120.38 c 1056 4511 608663 21605 0 0 13 13 6 957.63/121.26 c 1071 4702 633411 22241 0 0 13 13 6 960.03/121.54 c 1056 4511 608663 21605 0 0 13 13 6 960.82/121.62 c 1057 4524 610204 21635 0 0 13 13 6 960.82/121.67 c 1050 4453 579227 21217 0 0 14 14 7 965.61/122.24 c 1072 4715 635015 22271 0 0 13 13 6 969.61/122.79 c 1057 4524 610204 21635 0 0 13 13 6 970.41/122.81 c 1058 4537 611719 21658 0 0 13 13 6 972.87/123.17 c 1051 4467 580871 21246 0 0 14 14 7 973.60/123.21 c 1073 4728 636620 22301 0 0 13 13 6 976.80/123.66 c 17745 61402 8376786 348359 0 0 5 15 13 980.05/124.02 c 1058 4537 611719 21658 0 0 13 13 6 980.05/124.05 c 1059 4550 613260 21688 0 0 13 13 6 981.59/124.21 c 1074 4741 638224 22331 0 0 13 13 6 984.78/124.68 c 1052 4481 582512 21275 0 0 14 14 7 988.84/125.20 c 1075 4754 639829 22361 0 0 13 13 6 989.57/125.26 c 1060 4563 614775 21711 0 0 13 13 6 989.57/125.29 c 1059 4550 613260 21688 0 0 13 13 6 996.02/126.09 c 19608 67672 9284199 386461 0 0 5 15 13 996.83/126.19 c 1076 4767 641433 22391 0 0 13 13 6 997.56/126.20 c 1053 4495 584156 21304 0 0 14 14 7 999.96/126.51 c 1061 4576 616316 21741 0 0 13 13 6 999.96/126.52 c 1060 4563 614775 21711 0 0 13 13 6 1004.82/127.18 c 1077 4780 643038 22421 0 0 13 13 6 1007.95/127.50 c 21657 74823 9696139 414444 0 0 6 16 13 1009.54/127.72 c 1062 4589 617831 21764 0 0 13 13 6 1009.54/127.73 c 1054 4509 585797 21333 0 0 14 14 7 1009.54/127.77 c 1061 4576 616316 21741 0 0 13 13 6 1012.79/128.17 c 1078 4793 644642 22451 0 0 13 13 6 1019.12/128.97 c 1063 4602 619372 21794 0 0 13 13 6 1019.97/129.01 c 1062 4589 617831 21764 0 0 13 13 6 1020.78/129.17 c 1079 4806 646247 22481 0 0 13 13 6 1021.50/129.23 c 1055 4523 587441 21362 0 0 14 14 7 1024.70/129.63 c 17745 62245 8696712 357145 0 0 5 15 13 1028.76/130.16 c 1080 4819 647851 22511 0 0 13 13 6 1028.76/130.17 c 1064 4615 620887 21817 0 0 13 13 6 1029.49/130.28 c 1063 4602 619372 21794 0 0 13 13 6 1033.49/130.74 c 1056 4537 589082 21391 0 0 14 14 7 1036.74/131.14 c 1081 4832 649456 22541 0 0 13 13 6 1039.07/131.42 c 1065 4628 622428 21847 0 0 13 13 6 1039.87/131.51 c 1064 4615 620887 21817 0 0 13 13 6 1044.73/132.11 c 1082 4845 651060 22571 0 0 13 13 6 1045.46/132.24 c 1057 4551 590726 21420 0 0 14 14 7 1048.65/132.62 c 1066 4641 623943 21870 0 0 13 13 6 1049.45/132.77 c 1065 4628 622428 21847 0 0 13 13 6 1051.91/133.09 c 1083 4858 652665 22601 0 0 13 13 6 1057.44/133.78 c 1058 4565 592367 21449 0 0 14 14 7 1058.24/133.86 c 1067 4654 625484 21900 0 0 13 13 6 1059.04/133.99 c 1066 4641 623943 21870 0 0 13 13 6 1059.89/134.08 c 1084 4871 654269 22631 0 0 13 13 6 1062.23/134.38 c 19608 67923 9265059 385252 0 0 7 15 13 1067.88/135.04 c 1085 4884 655874 22661 0 0 13 13 6 1067.88/135.07 c 1068 4667 626999 21923 0 0 13 13 6 1069.42/135.24 c 1067 4654 625484 21900 0 0 13 13 6 1069.42/135.27 c 1059 4579 594011 21478 0 0 14 14 7 1075.87/136.03 c 1086 4897 657478 22691 0 0 13 13 6 1078.20/136.30 c 1069 4680 628540 21953 0 0 13 13 6 1079.00/136.46 c 1068 4667 626999 21923 0 0 13 13 6 1081.40/136.79 c 1060 4593 595652 21507 0 0 14 14 7 1083.92/137.02 c 1087 4910 659083 22721 0 0 13 13 6 1087.79/137.50 c 1070 4693 630055 21976 0 0 13 13 6 1087.79/137.52 c 21657 74740 10259780 427050 0 0 5 15 13 1089.37/137.73 c 1069 4680 628540 21953 0 0 13 13 6 1093.36/138.25 c 23910 82678 10714427 457743 0 0 6 16 13 1093.36/138.29 c 1061 4607 597296 21536 0 0 14 14 7 1097.35/138.75 c 1071 4706 631596 22006 0 0 13 13 6 1098.94/138.93 c 1070 4693 630055 21976 0 0 13 13 6 1106.12/139.84 c 1062 4621 598978 21574 0 0 14 14 7 1106.92/139.98 c 1072 4719 633111 22029 0 0 13 13 6 1108.58/140.16 c 1071 4706 631596 22006 0 0 13 13 6 1111.71/140.56 c 19608 68786 9617360 394666 0 0 6 15 13 1117.30/141.23 c 1073 4732 634652 22059 0 0 13 13 6 1118.10/141.31 c 1063 4635 600619 21603 0 0 14 14 7 1118.10/141.36 c 1072 4719 633111 22029 0 0 13 13 6 1124.56/142.13 c 2048 8274 1114245 41815 0 0 7 15 13 1126.88/142.43 c 1074 4745 636167 22082 0 0 13 13 6 1128.48/142.62 c 1073 4732 634652 22059 0 0 13 13 6 1129.28/142.70 c 1064 4649 602263 21632 0 0 14 14 7 1133.27/143.27 c 2049 8288 1115969 41846 0 0 14 14 7 1136.47/143.68 c 1075 4758 637708 22112 0 0 13 13 6 1138.07/143.86 c 1074 4745 636167 22082 0 0 13 13 6 1140.53/144.19 c 1065 4663 603945 21670 0 0 14 14 7 1143.65/144.53 c 2050 8302 1117689 41877 0 0 14 14 7 1146.05/144.89 c 1076 4771 639223 22135 0 0 13 13 6 1148.51/145.11 c 1075 4758 637708 22112 0 0 13 13 6 1152.44/145.65 c 1066 4677 605586 21699 0 0 14 14 7 1152.44/145.69 c 2051 8316 1119413 41908 0 0 14 14 7 1156.50/146.13 c 1077 4784 640764 22165 0 0 13 13 6 1158.03/146.34 c 1076 4771 639223 22135 0 0 13 13 6 1158.03/146.34 c 21657 75020 10226036 425528 0 0 6 15 13 1161.23/146.78 c 2052 8330 1121133 41939 0 0 14 14 7 1163.68/147.04 c 1067 4691 607230 21728 0 0 14 14 7 1166.01/147.34 c 1078 4797 642279 22188 0 0 13 13 6 1168.41/147.62 c 1077 4784 640764 22165 0 0 13 13 6 1170.01/147.86 c 2053 8344 1122857 41970 0 0 14 14 7 1175.59/148.54 c 1068 4705 608912 21766 0 0 14 14 7 1175.59/148.58 c 1079 4810 643820 22218 0 0 13 13 6 1177.99/148.85 c 1078 4797 642279 22188 0 0 13 13 6 1178.79/148.96 c 2054 8358 1124577 42001 0 0 14 14 7 1185.17/149.79 c 1080 4823 645335 22241 0 0 13 13 6 1185.97/149.83 c 23910 82581 11343893 472063 0 0 7 15 13 1186.77/149.99 c 1069 4719 610596 21804 0 0 14 14 7 1187.63/150.03 c 2055 8372 1126301 42032 0 0 14 14 7 1188.43/150.12 c 1079 4810 643820 22218 0 0 13 13 6 1193.16/150.74 c 26388 91193 11816859 505142 0 0 6 15 13 1195.61/151.05 c 1081 4836 646876 22271 0 0 13 13 6 1196.42/151.12 c 2056 8386 1128021 42063 0 0 14 14 7 1197.95/151.35 c 1070 4733 612237 21833 0 0 14 14 7 1197.95/151.36 c 1080 4823 645335 22241 0 0 13 13 6 1204.41/152.18 c 2057 8400 1129745 42094 0 0 14 14 7 1205.13/152.28 c 1082 4849 648391 22294 0 0 13 13 6 1208.33/152.62 c 1081 4836 646876 22271 0 0 13 13 6 1209.93/152.85 c 1071 4747 613881 21862 0 0 14 14 7 1213.12/153.27 c 2058 8414 1131465 42125 0 0 14 14 7 1214.72/153.45 c 21657 75939 10623958 435608 0 0 5 15 13 1215.52/153.54 c 1083 4862 649932 22324 0 0 13 13 6 1217.92/153.87 c 1082 4849 648391 22294 0 0 13 13 6 1221.91/154.33 c 2059 8428 1133189 42156 0 0 14 14 7 1221.91/154.36 c 1072 4761 615563 21900 0 0 14 14 7 1225.10/154.77 c 1084 4875 651447 22347 0 0 13 13 6 1228.36/155.15 c 1083 4862 649932 22324 0 0 13 13 6 1230.69/155.41 c 2060 8442 1134909 42187 0 0 14 14 7 1233.90/155.83 c 1073 4775 617247 21938 0 0 14 14 7 1235.55/156.04 c 1085 4888 652988 22377 0 0 13 13 6 1237.89/156.39 c 1084 4875 651447 22347 0 0 13 13 6 1238.69/156.47 c 2061 8456 1136633 42218 0 0 14 14 7 1244.35/157.18 c 1074 4789 618888 21967 0 0 14 14 7 1245.07/157.28 c 1086 4901 654503 22400 0 0 13 13 6 1247.47/157.56 c 2062 8470 1138353 42249 0 0 14 14 7 1248.27/157.69 c 1085 4888 652988 22377 0 0 13 13 6 1255.45/158.53 c 1087 4914 656044 22430 0 0 13 13 6 1256.25/158.61 c 2063 8484 1140077 42280 0 0 14 14 7 1256.25/158.67 c 1075 4803 620530 21996 0 0 14 14 7 1258.65/158.92 c 1086 4901 654503 22400 0 0 13 13 6 1264.22/159.62 c 23910 82833 11281026 469875 0 0 6 15 13 1264.22/159.69 c 2064 8498 1141797 42311 0 0 14 14 7 1268.29/160.17 c 1076 4817 622214 22034 0 0 14 14 7 1268.29/160.19 c 1087 4914 656044 22430 0 0 13 13 6 1273.01/160.75 c 2065 8512 1143521 42342 0 0 14 14 7 1279.40/161.55 c 1077 4831 623896 22072 0 0 14 14 7 1281.79/161.83 c 2066 8526 1145241 42373 0 0 14 14 7 1289.78/162.88 c 2067 8540 1146965 42404 0 0 14 14 7 1290.58/162.93 c 1078 4845 625537 22101 0 0 14 14 7 1297.77/163.84 c 29113 100567 13034469 557065 0 0 6 16 13 1298.57/163.95 c 2068 8554 1148685 42435 0 0 14 14 7 1300.96/164.24 c 2048 8216 1105967 41222 0 0 7 15 13 1301.76/164.30 c 1079 4859 627179 22130 0 0 14 14 7 1303.36/164.50 c 26388 91153 12530607 521057 0 0 4 15 13 1307.41/165.01 c 2069 8568 1150389 42460 0 0 14 14 7 1311.34/165.51 c 2049 8229 1107558 41249 0 0 13 13 6 1312.94/165.72 c 1080 4873 628863 22168 0 0 14 14 7 1314.54/165.94 c 2048 8216 1105967 41222 0 0 7 15 13 1315.39/166.07 c 2070 8582 1152109 42491 0 0 14 14 7 1320.13/166.67 c 2050 8242 1109160 41273 0 0 13 13 6 1323.38/167.08 c 1081 4887 630545 22206 0 0 14 14 7 1324.19/167.12 c 2071 8596 1153813 42516 0 0 14 14 7 1324.91/167.21 c 2049 8229 1107558 41249 0 0 13 13 6 1326.51/167.42 c 23910 83916 11753007 481376 0 0 7 15 13 1328.91/167.78 c 2051 8255 1110751 41300 0 0 13 13 6 1332.17/168.19 c 2072 8610 1155533 42547 0 0 14 14 7 1334.49/168.40 c 2050 8242 1109160 41273 0 0 13 13 6 1334.49/168.45 c 1082 4901 632186 22235 0 0 14 14 7 1337.69/168.85 c 2052 8268 1112353 41324 0 0 13 13 6 1340.88/169.23 c 2073 8624 1157237 42572 0 0 14 14 7 1343.28/169.53 c 2051 8255 1110751 41300 0 0 13 13 6 1345.67/169.83 c 1083 4915 633828 22264 0 0 14 14 7 1346.47/169.96 c 2053 8281 1113944 41351 0 0 13 13 6 1349.66/170.30 c 2074 8638 1158957 42603 0 0 14 14 7 1352.06/170.61 c 2052 8268 1112353 41324 0 0 13 13 6 1355.31/171.05 c 2054 8294 1115546 41375 0 0 13 13 6 1356.85/171.22 c 1084 4929 635512 22302 0 0 14 14 7 1357.65/171.34 c 2075 8652 1160661 42628 0 0 14 14 7 1360.85/171.74 c 2053 8281 1113944 41351 0 0 13 13 6 1364.11/172.16 c 2055 8307 1117137 41402 0 0 13 13 6 1366.43/172.42 c 2076 8666 1162389 42662 0 0 14 14 7 1367.23/172.58 c 1085 4943 637194 22340 0 0 14 14 7 1369.63/172.84 c 2054 8294 1115546 41375 0 0 13 13 6 1372.09/173.19 c 26388 91516 12456323 518874 0 0 6 15 13 1372.88/173.24 c 2056 8320 1118739 41426 0 0 13 13 6 1375.22/173.54 c 2077 8680 1164043 42686 0 0 14 14 7 1378.42/173.93 c 1086 4957 638835 22369 0 0 14 14 7 1378.42/173.96 c 2055 8307 1117137 41402 0 0 13 13 6 1381.61/174.33 c 2057 8333 1120330 41453 0 0 13 13 6 1384.00/174.62 c 2078 8694 1165721 42719 0 0 14 14 7 1387.26/175.05 c 2056 8320 1118739 41426 0 0 13 13 6 1389.59/175.30 c 1087 4971 640477 22398 0 0 14 14 7 1390.39/175.41 c 2058 8346 1121932 41477 0 0 13 13 6 1391.99/175.68 c 2079 8708 1167375 42743 0 0 14 14 7 1396.05/176.17 c 2057 8333 1120330 41453 0 0 13 13 6 1399.18/176.51 c 2059 8359 1123523 41504 0 0 13 13 6 1400.78/176.75 c 2080 8722 1169053 42776 0 0 14 14 7 1404.76/177.26 c 2058 8346 1121932 41477 0 0 13 13 6 1405.56/177.35 c 32110 110967 14380504 614299 0 0 4 16 13 1407.16/177.57 c 2060 8372 1125125 41528 0 0 13 13 6 1409.56/177.82 c 2081 8736 1170707 42800 0 0 14 14 7 1413.55/178.38 c 2059 8359 1123523 41504 0 0 13 13 6 1415.14/178.52 c 29113 100664 13835401 575112 0 0 6 15 13 1415.94/178.68 c 2061 8385 1126716 41555 0 0 13 13 6 1417.54/178.89 c 2082 8750 1172377 42830 0 0 14 14 7 1422.33/179.46 c 2060 8372 1125125 41528 0 0 13 13 6 1424.73/179.78 c 2062 8398 1128318 41579 0 0 13 13 6 1426.33/179.95 c 2083 8764 1174051 42860 0 0 14 14 7 1431.91/180.60 c 2061 8385 1126716 41555 0 0 13 13 6 1433.51/180.89 c 2063 8411 1129909 41606 0 0 13 13 6 1435.16/181.02 c 2084 8778 1175721 42890 0 0 14 14 7 1435.97/181.19 c 2048 8287 1082544 41010 0 0 6 15 13 1439.89/181.68 c 2062 8398 1128318 41579 0 0 13 13 6 1442.29/181.97 c 2064 8424 1131511 41630 0 0 13 13 6 1443.15/182.07 c 2085 8792 1177395 42920 0 0 14 14 7 1447.07/182.55 c 2049 8300 1084072 41033 0 0 13 13 6 1449.47/182.82 c 2063 8411 1129909 41606 0 0 13 13 6 1451.12/183.10 c 2065 8437 1133102 41657 0 0 13 13 6 1451.93/183.13 c 2086 8806 1179065 42950 0 0 14 14 7 1457.45/183.89 c 2064 8424 1131511 41630 0 0 13 13 6 1459.11/184.01 c 30000 103704 14252415 592389 0 0 7 15 13 1459.11/184.04 c 2050 8313 1085675 41057 0 0 13 13 6 1463.04/184.57 c 2066 8450 1134828 41681 1 0 13 13 6 1463.04/184.57 c 2087 8821 1180935 42983 1 0 15 15 7 1464.64/184.72 c 26388 92730 13007634 532027 1 0 4 15 13 1467.09/185.03 c 30000 103705 14252527 592391 1 0 0 0 0 1469.43/185.37 c 2088 8836 1182693 43020 1 0 15 15 7 1470.23/185.41 c 2065 8437 1133189 41661 1 0 13 13 6 1470.23/185.43 c 2067 8463 1136526 41713 1 0 13 13 6 1474.23/185.96 c 2051 8326 1087395 41088 1 0 13 13 6 1475.89/186.13 c 2089 8851 1184451 43052 1 0 15 15 7 1476.62/186.25 c 2066 8450 1134803 41684 1 0 13 13 6 1476.62/186.27 c 2068 8476 1138222 41745 1 0 13 13 6 1481.41/186.86 c 2090 8866 1186209 43089 1 0 15 15 7 1482.21/186.91 c 2052 8339 1088993 41116 1 0 13 13 6 1483.07/187.05 c 2069 8489 1139920 41777 1 0 13 13 6 1483.07/187.09 c 2067 8463 1136501 41716 1 0 13 13 6 1484.60/187.30 c 34000 117543 15228761 650671 0 0 7 16 13 1487.79/187.62 c 2091 8881 1187967 43121 1 0 15 15 7 1489.39/187.82 c 2070 8502 1141616 41809 1 0 13 13 6 1489.39/187.86 c 2053 8352 1090597 41144 1 0 13 13 6 1489.39/187.87 c 2068 8476 1138197 41748 1 0 13 13 6 1491.04/188.06 c 29000 100570 13712577 570431 0 0 7 15 13 1493.38/188.33 c 2092 8896 1189725 43158 1 0 15 15 7 1493.38/188.33 c 34000 117544 15228873 650673 1 0 0 0 0 1494.18/188.47 c 27000 94853 13308663 544164 1 0 10 15 13 1495.78/188.61 c 2071 8515 1143314 41841 1 0 13 13 6 1495.78/188.65 c 2069 8489 1139895 41780 1 0 13 13 6 1496.58/188.74 c 2054 8365 1092195 41172 1 0 13 13 6 1499.03/189.07 c 2093 8911 1191483 43190 1 0 15 15 7 1501.37/189.39 c 2072 8528 1145010 41873 1 0 13 13 6 1502.16/189.45 c 2070 8502 1141591 41812 1 0 13 13 6 1503.76/189.65 c 2055 8378 1093799 41200 1 0 13 13 6 1505.36/189.82 c 2094 8926 1193241 43227 1 0 15 15 7 1507.02/190.06 c 29113 100977 13765592 572642 1 0 11 15 13 1507.82/190.17 c 2073 8541 1146708 41905 1 0 13 13 6 1508.55/190.25 c 2071 8515 1143289 41844 1 0 13 13 6 1510.94/190.53 c 2056 8391 1095397 41228 1 0 13 13 6 1510.94/190.58 c 2095 8941 1194999 43259 1 0 15 15 7 1514.14/190.93 c 2074 8554 1148404 41937 1 0 13 13 6 1514.99/191.06 c 2072 8528 1144985 41876 1 0 13 13 6 1517.33/191.32 c 2096 8956 1196757 43296 1 0 15 15 7 1518.13/191.43 c 2057 8404 1097001 41256 1 0 13 13 6 1520.53/191.71 c 2075 8567 1150102 41969 1 0 13 13 6 1520.53/191.71 c 31000 107203 14749155 612445 1 0 8 15 13 1521.33/191.85 c 2073 8541 1146683 41908 1 0 13 13 6 1522.98/192.08 c 2097 8971 1198515 43328 1 0 15 15 7 1525.31/192.30 c 2058 8417 1098599 41284 1 0 13 13 6 1526.11/192.48 c 2076 8580 1151648 41992 1 0 13 13 6 1527.71/192.63 c 2074 8554 1148379 41940 1 0 13 13 6 1529.31/192.80 c 2098 8986 1200273 43365 1 0 15 15 7 1532.50/193.22 c 2059 8430 1100203 41312 1 0 13 13 6 1533.30/193.31 c 2077 8593 1153223 42021 1 0 13 13 6 1534.10/193.43 c 2075 8567 1149925 41963 1 0 13 13 6 1534.90/193.56 c 2099 9001 1202031 43397 1 0 15 15 7 1538.95/194.08 c 2078 8606 1154919 42053 1 0 13 13 6 1538.95/194.10 c 2060 8443 1101803 41342 1 0 13 13 6 1540.49/194.25 c 2076 8580 1151500 41992 1 0 13 13 6 1540.49/194.29 c 2100 9016 1203789 43434 1 0 15 15 7 1545.28/194.88 c 2079 8619 1156465 42076 1 0 13 13 6 1546.94/195.03 c 2061 8456 1103411 41372 1 0 13 13 6 1546.94/195.05 c 2077 8593 1153196 42024 1 0 13 13 6 1546.94/195.05 c 2101 9031 1205547 43466 1 0 15 15 7 1550.07/195.45 c 35406 122390 15866621 678083 1 0 7 16 13 1551.67/195.67 c 2080 8632 1158040 42105 1 0 13 13 6 1552.47/195.79 c 2102 9046 1207305 43503 1 0 15 15 7 1553.27/195.87 c 2078 8606 1154742 42047 1 0 13 13 6 1554.07/195.91 c 2062 8469 1105009 41400 1 0 13 13 6 1558.06/196.45 c 2081 8645 1159586 42128 1 0 13 13 6 1558.86/196.55 c 2103 9061 1209063 43535 1 0 15 15 7 1559.66/196.68 c 2079 8619 1156317 42076 1 0 13 13 6 1561.26/196.82 c 2063 8482 1106613 41428 1 0 13 13 6 1565.24/197.34 c 2082 8658 1161272 42158 2 0 13 13 6 1566.04/197.44 c 2104 9074 1210704 43566 2 0 13 13 6 1566.84/197.60 c 2080 8632 1157974 42100 2 0 13 13 6 1569.24/197.81 c 2083 8671 1162818 42181 2 0 13 13 6 1569.24/197.85 c 2064 8496 1108375 41454 2 0 14 14 7 1570.04/197.94 c 2105 9088 1212357 43605 2 0 14 14 7 1570.89/198.09 c 2081 8645 1159549 42129 2 0 13 13 6 1572.43/198.20 c 32000 110723 15245992 632487 1 0 7 15 13 1572.43/198.27 c 2084 8684 1164393 42210 2 0 13 13 6 1574.03/198.40 c 2106 9102 1214007 43644 2 0 14 14 7 1574.03/198.41 c 2065 8510 1110024 41479 2 0 14 14 7 1574.82/198.54 c 2082 8658 1161095 42152 2 0 13 13 6 1575.62/198.70 c 2085 8697 1165939 42233 2 0 13 13 6 1576.42/198.72 c 32000 110724 15246103 632489 2 0 0 0 0 1576.42/198.73 c 36000 124416 16132951 689535 1 0 8 16 13 1577.23/198.84 c 2107 9115 1215753 43676 3 0 13 13 6 1578.03/198.94 c 2066 8524 1111786 41509 3 0 14 14 7 1578.03/198.99 c 32000 110725 15246219 632491 3 0 0 0 0 1578.03/199.00 c 2083 8671 1162783 42182 3 0 13 13 6 1579.69/199.12 c 2108 9128 1217383 43707 3 0 13 13 6 1579.69/199.14 c 2086 8710 1167627 42263 3 0 13 13 6 1580.42/199.24 c 2067 8537 1113433 41530 3 0 13 13 6 1580.42/199.27 c 2084 8684 1164329 42205 3 0 13 13 6 1580.42/199.28 c 36000 124417 16133080 689538 3 0 0 0 0 1581.22/199.37 c 2109 9141 1219013 43738 3 0 13 13 6 1581.22/199.39 c 2087 8723 1169173 42286 3 0 13 13 6 1582.82/199.52 c 2085 8697 1165901 42234 3 0 13 13 6 1582.82/199.55 c 2068 8550 1115086 41551 3 0 13 13 6 1583.62/199.63 c 2110 9154 1220643 43769 3 0 13 13 6 1583.62/199.64 c 2088 8736 1170745 42315 3 0 13 13 6 1584.42/199.71 c 32110 111115 15300357 634726 3 0 9 14 13 1584.42/199.76 c 2086 8710 1167447 42257 3 0 13 13 6 1585.22/199.83 c 2069 8563 1116733 41572 3 0 13 13 6 1585.22/199.87 c 2111 9167 1222273 43800 3 0 13 13 6 1585.22/199.88 c 2089 8749 1172291 42338 3 0 13 13 6 1586.87/200.01 c 2087 8723 1169019 42286 3 0 13 13 6 1587.68/200.12 c 2112 9180 1223903 43831 3 0 13 13 6 1587.68/200.14 c 2070 8576 1118386 41593 3 0 13 13 6 1587.68/200.14 c 2090 8762 1173863 42367 3 0 13 13 6 1588.41/200.26 c 2088 8736 1170565 42309 3 0 13 13 6 1589.21/200.36 c 2091 8775 1175409 42390 3 0 13 13 6 1589.21/200.37 c 2113 9193 1225533 43862 3 0 13 13 6 1590.01/200.41 c 2071 8589 1120033 41614 3 0 13 13 6 1590.80/200.51 c 2089 8749 1172137 42338 3 0 13 13 6 1591.60/200.61 c 2092 8788 1176981 42419 3 0 13 13 6 1591.60/200.62 c 2114 9206 1227163 43893 3 0 13 13 6 1592.40/200.70 c 2072 8602 1121686 41635 3 0 13 13 6 1592.40/200.74 c 2090 8762 1173683 42361 3 0 13 13 6 1593.20/200.89 c 2115 9219 1229007 43923 4 0 13 13 6 1594.00/200.90 c 2093 8802 1178722 42448 4 0 14 14 7 1594.00/200.95 c 2073 8615 1123464 41658 5 0 13 13 6 1594.00/200.96 c 2091 8775 1175310 42386 5 0 13 13 6 1594.85/201.03 c 2094 8815 1180404 42471 5 0 13 13 6 1594.85/201.04 c 2116 9232 1230849 43953 5 0 13 13 6 1594.85/201.05 c 2074 8628 1125117 41679 5 0 13 13 6 1594.85/201.06 c 2092 8788 1177004 42413 5 0 13 13 6 1595.66/201.12 c 2095 8828 1182098 42498 5 0 13 13 6 1595.66/201.12 c 2117 9245 1232580 43982 5 0 13 13 6 1595.66/201.14 c 2075 8641 1126764 41700 5 0 13 13 6 1595.66/201.15 c 2093 8801 1178696 42440 5 0 13 13 6 1596.38/201.20 c 2096 8841 1183790 42525 5 0 13 13 6 1596.38/201.21 c 2118 9258 1234309 44011 5 0 13 13 6 1596.38/201.24 c 2094 8814 1180390 42467 5 0 13 13 6 1596.38/201.24 c 2076 8654 1128417 41721 5 0 13 13 6 1596.38/201.29 c 2097 8854 1185484 42552 5 0 13 13 6 1596.38/201.29 c 2119 9271 1236040 44040 5 0 13 13 6 1597.18/201.32 c 2095 8827 1182103 42494 6 0 13 13 6 1597.18/201.33 c 2077 8667 1130176 41743 6 0 13 13 6 1597.18/201.36 c 2098 8867 1187197 42579 6 0 13 13 6 1597.18/201.37 c 2096 8840 1183706 42520 6 0 13 13 6 1597.18/201.37 c 2120 9284 1237671 44063 6 0 13 13 6 1597.18/201.37 c 2078 8680 1131829 41764 6 0 13 13 6 1597.98/201.41 c 2099 8880 1188800 42605 6 0 13 13 6 1597.98/201.41 c 2121 9297 1239189 44085 6 0 13 13 6 1597.98/201.41 c 2097 8853 1185307 42546 6 0 13 13 6 1597.98/201.42 c 2079 8693 1133476 41785 6 0 13 13 6 1597.98/201.45 c 2100 8894 1190624 42639 7 0 14 14 7 1598.49/201.51 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 1. 1598.49/201.51 c [pFactory][Group N°0] Thread N°0 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°1 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°2 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°3 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°4 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°5 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°6 is joined. 1598.49/201.51 c [pFactory][Group N°0] Thread N°7 is joined. 1598.49/201.51 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°4) 1598.49/201.51 s UNSATISFIABLE 1598.49/201.51 c restarts : 176 1598.49/201.51 c conflicts : 2097 (1 /sec) 1598.49/201.51 c decisions : 8864 (6 /sec) 1598.49/201.51 c propagations : 42558 (27 /sec) 1598.49/201.51 c root propagations : 0 1598.49/201.51 c filter calls : 1186573 (743 /sec) 1598.49/201.51 c useless filter calls : 1167606 (98 %) 1598.49/201.51 c Memory used : 1090.77 MB 1598.49/201.51 c CPU time : 1596.92 s 1598.49/201.51 c real time : 201.508 s 1598.49/201.51
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 (15016 MiB free) memory of node 1: 16384 MiB (15326 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398093-1568602412/watcher-4398093-1568602412 -o /tmp/evaluation-result-4398093-1568602412/solver-4398093-1568602412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568597208-1351 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398093-1568602412.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 Current StackSize limit: 8192 KiB solver pid=2117, runsolver pid=2114 [startup+0.100151 s]* /proc/loadavg: 6.87 3.16 2.20 2/192 2118 /proc/meminfo: memFree=31069880/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7 /proc/2117/stat : 2117 (cosoco) R 2114 2117 1323 0 -1 4202496 1254 0 0 0 10 0 0 0 20 0 1 0 436179096 28692480 1054 33554432000 4194304 6211092 140722524758464 140722524755000 140280283683813 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/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.208931 s]* /proc/loadavg: 6.87 3.16 2.20 2/192 2118 /proc/meminfo: memFree=31069136/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=28872 memory=5028 CPUtime=0.21 cores=0-7 /proc/2117/stat : 2117 (cosoco) R 2114 2117 1323 0 -1 4202496 1490 0 0 0 21 0 0 0 20 0 1 0 436179096 29564928 1257 33554432000 4194304 6211092 140722524758464 140722524755736 140280283683813 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/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.308677 s]* /proc/loadavg: 6.87 3.16 2.20 2/192 2118 /proc/meminfo: memFree=31068036/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=29784 memory=5596 CPUtime=0.31 cores=0-7 /proc/2117/stat : 2117 (cosoco) R 2114 2117 1323 0 -1 4202496 1759 0 0 0 31 0 0 0 20 0 1 0 436179096 30498816 1399 33554432000 4194304 6211092 140722524758464 140722524755736 5743377 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/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.700268 s] /proc/loadavg: 6.87 3.16 2.20 2/192 2118 /proc/meminfo: memFree=31066176/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=32532 memory=8316 CPUtime=0.69 cores=0-7 /proc/2117/stat : 2117 (cosoco) R 2114 2117 1323 0 -1 4202496 2615 0 0 0 69 0 0 0 20 0 1 0 436179096 33312768 2079 33554432000 4194304 6211092 140722524758464 140722524755736 5812195 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/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.50105 s] /proc/loadavg: 6.87 3.16 2.20 2/192 2118 /proc/meminfo: memFree=31031548/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=625436 memory=533272 CPUtime=2.04 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 134414 0 0 0 189 15 0 0 20 0 9 0 436179096 640446464 133318 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 156359 133318 839 493 0 149664 0 Current children cumulated CPU time: 2.04 s Current children cumulated vsize: 625436 KiB Current children cumulated memory: 533272 KiB [startup+3.11105 s] /proc/loadavg: 6.40 3.12 2.19 9/201 2128 /proc/meminfo: memFree=30539688/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533668 CPUtime=14.88 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 212752 0 0 0 1439 49 0 0 20 0 9 0 436179096 1177317376 133417 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133417 850 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=3616 CPUtime=1.68 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 4507 0 0 0 165 3 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280265801080 5038992 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=29572 CPUtime=1.68 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 6584 0 0 0 168 0 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280257408376 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=988 CPUtime=1.68 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 6080 0 0 0 164 4 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280249015808 5037808 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=588 CPUtime=1.68 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 12660 0 0 0 167 1 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280240622688 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=780 CPUtime=1.68 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 14147 0 0 0 157 11 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280232230264 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=1056 CPUtime=1.64 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 7163 0 0 0 164 0 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280223837560 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=11464 CPUtime=1.68 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 12352 0 0 0 159 9 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280215444576 5037783 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=4000 CPUtime=1.68 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 14848 0 0 0 167 1 0 0 20 0 9 0 436179239 1177317376 133417 33554432000 4194304 6211092 140722524758464 140280207051872 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 14.88 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533668 KiB [startup+6.30105 s] /proc/loadavg: 6.40 3.12 2.19 9/201 2128 /proc/meminfo: memFree=30540764/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533696 CPUtime=40.31 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 510143 0 0 0 3942 89 0 0 20 0 9 0 436179096 1177317376 133424 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133424 850 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=533272 CPUtime=4.84 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 49048 0 0 0 471 13 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280265800800 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=533696 CPUtime=4.87 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 43331 0 0 0 484 3 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=-7035114785800479027 CPUtime=4.87 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 45852 0 0 0 472 15 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280249015392 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=301741416391115062 CPUtime=4.83 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 46609 0 0 0 480 3 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280240622688 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=588 CPUtime=4.86 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 47616 0 0 0 471 15 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280232229984 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=780 CPUtime=4.82 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 44626 0 0 0 479 3 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280223837280 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=1056 CPUtime=4.86 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 48960 0 0 0 472 14 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280215444576 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=29572 CPUtime=4.87 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 49690 0 0 0 483 4 0 0 20 0 9 0 436179239 1177317376 133424 33554432000 4194304 6211092 140722524758464 140280207051872 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 40.31 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533696 KiB [startup+12.7011 s] /proc/loadavg: 6.72 3.30 2.26 9/200 2128 /proc/meminfo: memFree=30540508/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533700 CPUtime=91.42 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 825148 0 0 0 9034 108 0 0 20 0 9 0 436179096 1177317376 133425 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133425 850 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=37844 CPUtime=11.24 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 83113 0 0 0 1109 15 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280265800800 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=0 CPUtime=11.27 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 78123 0 0 0 1122 5 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=0 CPUtime=11.26 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 79892 0 0 0 1109 17 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280249015392 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=55 CPUtime=11.14 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 87830 0 0 0 1109 5 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280240622688 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=33218 CPUtime=11.26 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 93284 0 0 0 1109 17 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280232229984 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=533700 CPUtime=11.21 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 78901 0 0 0 1116 5 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280223837280 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=139836887806773 CPUtime=11.27 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 92438 0 0 0 1110 17 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280215444576 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=533700 CPUtime=11.27 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 97156 0 0 0 1120 7 0 0 20 0 9 0 436179239 1177317376 133425 33554432000 4194304 6211092 140722524758464 140280207051872 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 91.42 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533700 KiB [startup+25.5011 s] /proc/loadavg: 7.07 3.49 2.33 9/200 2129 /proc/meminfo: memFree=30540312/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=193.54 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1079814 0 0 0 19230 124 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=533716 CPUtime=24.02 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 115870 0 0 0 2384 18 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5037825 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=533716 CPUtime=24.04 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 110899 0 0 0 2397 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=533716 CPUtime=24.05 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 112747 0 0 0 2386 19 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=55 CPUtime=23.76 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 116161 0 0 0 2370 6 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5037874 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=533716 CPUtime=24.04 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 125913 0 0 0 2385 19 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5037825 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=55 CPUtime=24.01 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 109701 0 0 0 2393 8 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=164 CPUtime=24.07 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 124055 0 0 0 2388 19 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=3616 CPUtime=24.06 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 130057 0 0 0 2397 9 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 193.54 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+51.1101 s] /proc/loadavg: 7.73 3.93 2.51 9/200 2131 /proc/meminfo: memFree=30542844/32770624 swapFree=66921488/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=398 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1263741 0 0 0 39662 138 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=533716 CPUtime=49.62 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 146656 0 0 0 4942 20 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5038954 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=533716 CPUtime=49.64 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 142122 0 0 0 4955 9 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=533716 CPUtime=49.65 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 143547 0 0 0 4944 21 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=0 CPUtime=49.01 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 125131 0 0 0 4894 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=533716 CPUtime=49.65 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 141458 0 0 0 4945 20 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 ################ # More data... # ################ [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=4872558044660077418 CPUtime=188.85 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 189460 0 0 0 18872 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=1056 CPUtime=190.52 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 189744 0 0 0 19027 25 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=533716 CPUtime=189.55 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 130745 0 0 0 18948 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=3616 CPUtime=190.52 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 164300 0 0 0 19030 22 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=-7035114785800479027 CPUtime=190.49 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 186688 0 0 0 19037 12 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5038848 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=29572 CPUtime=190.52 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 187278 0 0 0 19029 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=988 CPUtime=190.54 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 178239 0 0 0 19041 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1522.98 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+198.401 s] /proc/loadavg: 8.04 5.60 3.36 9/199 2140 /proc/meminfo: memFree=30541732/32770624 swapFree=66921492/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=1574.03 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1553952 0 0 0 157246 157 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=29572 CPUtime=196.89 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 193086 0 0 0 19666 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=533716 CPUtime=195.15 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 189461 0 0 0 19502 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=2012 CPUtime=196.91 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 189744 0 0 0 19666 25 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5039029 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=533716 CPUtime=195.94 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 130745 0 0 0 19587 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=16890 CPUtime=196.91 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 164300 0 0 0 19669 22 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=588 CPUtime=196.89 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 186688 0 0 0 19677 12 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=780 CPUtime=196.91 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 187278 0 0 0 19668 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=-7035114785800479027 CPUtime=196.94 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 178239 0 0 0 19681 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5039536 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1574.03 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+200.001 s]* /proc/loadavg: 8.04 5.60 3.36 9/199 2140 /proc/meminfo: memFree=30541856/32770624 swapFree=66921492/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=1586.87 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1555228 0 0 0 158529 158 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=8317482817917895235 CPUtime=198.5 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 193119 0 0 0 19827 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=4872558044660077418 CPUtime=196.74 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 189846 0 0 0 19661 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=4104 CPUtime=198.52 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 189765 0 0 0 19827 25 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5037744 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=876 CPUtime=197.55 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 130936 0 0 0 19748 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=1448 CPUtime=198.52 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 164351 0 0 0 19830 22 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=1408 CPUtime=198.49 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 186697 0 0 0 19837 12 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=2740 CPUtime=198.52 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 187328 0 0 0 19829 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5038995 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=533716 CPUtime=198.54 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 178775 0 0 0 19841 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1586.87 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+200.801 s] /proc/loadavg: 8.04 5.60 3.36 9/199 2140 /proc/meminfo: memFree=30541856/32770624 swapFree=66921492/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=1593.2 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1555230 0 0 0 159162 158 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=533716 CPUtime=199.29 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 193119 0 0 0 19906 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=2432 CPUtime=197.52 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 189847 0 0 0 19739 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=-7035114785800479027 CPUtime=199.3 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 189765 0 0 0 19905 25 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5389408 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=5964 CPUtime=198.34 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 130936 0 0 0 19827 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=588 CPUtime=199.31 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 164351 0 0 0 19909 22 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=533716 CPUtime=199.29 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 186697 0 0 0 19917 12 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5038947 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=-7035114785800479027 CPUtime=199.31 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 187329 0 0 0 19908 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=588 CPUtime=199.33 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 178775 0 0 0 19920 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1593.2 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+201.201 s] /proc/loadavg: 8.04 5.60 3.36 10/199 2140 /proc/meminfo: memFree=30541844/32770624 swapFree=66921492/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=1596.38 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1555231 0 0 0 159480 158 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=29572 CPUtime=199.69 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 193119 0 0 0 19946 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=988 CPUtime=197.91 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 189847 0 0 0 19778 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=2012 CPUtime=199.7 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 189765 0 0 0 19945 25 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=1324 CPUtime=198.74 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 130936 0 0 0 19867 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=1704 CPUtime=199.71 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 164351 0 0 0 19949 22 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5037854 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=5964 CPUtime=199.69 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 186698 0 0 0 19957 12 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5039129 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=588 CPUtime=199.71 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 187329 0 0 0 19948 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=5787477641288517003 CPUtime=199.73 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 178775 0 0 0 19960 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5008971 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1596.38 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+201.401 s] /proc/loadavg: 8.04 5.60 3.36 10/199 2140 /proc/meminfo: memFree=30541844/32770624 swapFree=66921492/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533716 CPUtime=1597.98 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1555231 0 0 0 159640 158 0 0 20 0 9 0 436179096 1177317376 133429 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133429 854 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=288230596084498767 CPUtime=199.89 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 193119 0 0 0 19966 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280265800800 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2120] ppid=2114 vsize=1149724 memory=14409311174527323 CPUtime=198.11 cores=0-7 /proc/2117/task/2120/stat : 2120 (cosoco) R 2114 2117 1323 0 -1 4202560 189847 0 0 0 19798 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280257408096 5038730 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2121] ppid=2114 vsize=1149724 memory=739410910913369289 CPUtime=199.9 cores=0-7 /proc/2117/task/2121/stat : 2121 (cosoco) R 2114 2117 1323 0 -1 4202560 189765 0 0 0 19965 25 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280249015392 5038259 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2122] ppid=2114 vsize=1149724 memory=-7019007802211091872 CPUtime=198.94 cores=0-7 /proc/2117/task/2122/stat : 2122 (cosoco) R 2114 2117 1323 0 -1 4202560 130936 0 0 0 19887 7 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280240622688 5038947 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2123] ppid=2114 vsize=1149724 memory=4206468019014099040 CPUtime=199.91 cores=0-7 /proc/2117/task/2123/stat : 2123 (cosoco) R 2114 2117 1323 0 -1 4202560 164351 0 0 0 19969 22 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280232229984 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2124] ppid=2114 vsize=1149724 memory=6944656592387989600 CPUtime=199.89 cores=0-7 /proc/2117/task/2124/stat : 2124 (cosoco) R 2114 2117 1323 0 -1 4202560 186698 0 0 0 19977 12 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280223837280 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2125] ppid=2114 vsize=1149724 memory=6944652177228980320 CPUtime=199.91 cores=0-7 /proc/2117/task/2125/stat : 2125 (cosoco) R 2114 2117 1323 0 -1 4202560 187329 0 0 0 19968 23 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280215444576 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 [pid=2117/tid=2126] ppid=2114 vsize=1149724 memory=6944656592455360569 CPUtime=199.93 cores=0-7 /proc/2117/task/2126/stat : 2126 (cosoco) R 2114 2117 1323 0 -1 4202560 178775 0 0 0 19980 13 0 0 20 0 9 0 436179239 1177317376 133429 33554432000 4194304 6211092 140722524758464 140280207051872 5039217 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1597.98 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533716 KiB [startup+201.501 s] /proc/loadavg: 8.04 5.60 3.36 10/199 2140 /proc/meminfo: memFree=30541844/32770624 swapFree=66921492/67108860 [pid=2117] ppid=2114 vsize=1149724 memory=533724 CPUtime=1598.49 cores=0-7 /proc/2117/stat : 2117 (cosoco) S 2114 2117 1323 0 -1 1077944320 1555243 0 0 0 159691 158 0 0 20 0 2 0 436179096 1177317376 133431 33554432000 4194304 6211092 140722524758464 140722524756720 140280299724535 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 /proc/2117/statm: 287431 133431 856 493 0 280736 0 [pid=2117/tid=2119] ppid=2114 vsize=1149724 memory=533716 CPUtime=199.99 cores=0-7 /proc/2117/task/2119/stat : 2119 (cosoco) R 2114 2117 1323 0 -1 4202560 193119 0 0 0 19976 23 0 0 20 0 2 0 436179239 1177317376 133431 33554432000 4194304 6211092 140722524758464 140280265800800 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24264704 140722524763153 140722524763245 140722524763245 140722524766158 0 Current children cumulated CPU time: 1598.49 s Current children cumulated vsize: 1149724 KiB Current children cumulated memory: 533724 KiB Child status: 0 Real time (s): 201.529 CPU time (s): 1598.52 CPU user time (s): 1596.92 CPU system time (s): 1.59795 CPU usage (%): 793.197 Max. virtual memory (cumulated for all children) (KiB): 1149724 Max. memory (cumulated for all children) (KiB): 533724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1596.92 system time used= 1.59795 maximum resident set size= 533828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1555275 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= 197 involuntary context switches= 15280 # summary of solver processes directly reported to runsolver: # pid: 2117 # total CPU time (s): 1598.52 # total CPU user time (s): 1596.92 # total CPU system time (s): 1.59795 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.13143 second user time and 1.75955 second system time The end
Begin job on node141 at 2019-09-16 04:52:50 IDJOB=4398093 IDBENCH=126013 IDSOLVER=2851 FILE ID=node141/4398093-1568602412 RUNJOBID= node141-1568597208-1351 PBS_JOBID= 21703404 Free space on /tmp= 58540 MiB SOLVER NAME= cosoco 2.O 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-4398093-1568602412/watcher-4398093-1568602412 -o /tmp/evaluation-result-4398093-1568602412/solver-4398093-1568602412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568597208-1351 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398093-1568602412.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 91ee56688d10982c4440a8b03ad88e11 RANDOM SEED=1042607634 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 31070968 kB MemAvailable: 31830224 kB Buffers: 206012 kB Cached: 849652 kB SwapCached: 78460 kB Active: 446712 kB Inactive: 691636 kB Active(anon): 9532 kB Inactive(anon): 114908 kB Active(file): 437180 kB Inactive(file): 576728 kB Unevictable: 109172 kB Mlocked: 109172 kB SwapTotal: 67108860 kB SwapFree: 66921488 kB Dirty: 4744 kB Writeback: 0 kB AnonPages: 112984 kB Mapped: 40820 kB Shmem: 33668 kB Slab: 152812 kB SReclaimable: 122368 kB SUnreclaim: 30444 kB KernelStack: 3728 kB PageTables: 5276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58540 MiB End job on node141 at 2019-09-16 04:56:12