| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | UNSAT | 1601.75 | 201.947 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-21.xml |
| MD5SUM | c7982e61e1aa12db31c7a822b635a08f |
| 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 | 7.58339 |
| 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 | 122 |
| Distribution of variable degrees | [{"degree":109,"count":4},{"degree":110,"count":1},{"degree":112,"count":3},{"degree":113,"count":1},{"degree":114,"count":5},{"degree":115,"count":1},{"degree":116,"count":1},{"degree":117,"count":1},{"degree":118,"count":1},{"degree":120,"count":1},{"degree":121,"count":1},{"degree":122,"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 |
4.84/1.95 c root propagations : 0 4.84/1.95 c restarts enabled, print stats at every restarts 4.84/1.95 c 4.84/1.95 c 4.84/1.95 c 4.84/1.95 c This is cosoco 2.00 -- 4.84/1.95 c 4.84/1.95 c command line: cosoco -model -nbcores=8 HOME/instance-4398063-1568602314.xml 4.84/1.95 c ========================================[ Problem Statistics ]=========================================== 4.84/1.95 c | 4.84/1.95 c | Parse time : 1.30 s 4.84/1.95 c | 4.84/1.95 c | Variables: 21 4.84/1.95 c | Domain Sizes: 2..2 4.84/1.95 c | 4.84/1.95 c | Constraints: 133 4.84/1.95 c | Arity: 18..18 4.84/1.95 c | 4.84/1.95 c | Types: 4.84/1.95 c | Extension: 133 (nb tuples: 57971..57971) -- (shared: 1056) 4.84/1.95 c | 4.84/1.95 c ========================================================================================================= 4.84/1.95 c Parallel mode: Portfolio 4.84/1.95 c [pFactory][Group N°0] created (threads:8). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 4.84/1.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 4.84/1.95 c [pFactory][Group N°0] concurrent mode: enabled. 4.84/1.95 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 4.84/1.95 c [pFactory][Group N°0] task 7 launched on thread 6. 4.84/1.95 c [pFactory][Group N°0] task 6 launched on thread 1. 4.84/1.95 c [pFactory][Group N°0] task 5 launched on thread 2. 4.84/1.95 c [pFactory][Group N°0] task 4 launched on thread 0. 4.84/1.95 c [pFactory][Group N°0] task 3 launched on thread 7. 4.84/1.95 c [pFactory][Group N°0] task 2 launched on thread 3. 4.84/1.95 c [pFactory][Group N°0] task 1 launched on thread 5. 4.84/1.95 c [pFactory][Group N°0] task 0 launched on thread 4. 4.84/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.95 c root propagations : 0 4.84/1.95 c restarts enabled, print stats at every restarts 4.84/1.95 c 4.84/1.95 c 4.84/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.97 c root propagations : 0 4.84/1.97 c restarts enabled, print stats at every restarts 4.84/1.97 c 4.84/1.97 c 4.84/1.97 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.97 c root propagations : 0 4.84/1.97 c restarts enabled, print stats at every restarts 4.84/1.97 c 4.84/1.97 c 4.84/1.97 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.98 c root propagations : 0 4.84/1.98 c restarts enabled, print stats at every restarts 4.84/1.98 c 4.84/1.98 c 4.84/1.98 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.98 c root propagations : 0 4.84/1.98 c restarts enabled, print stats at every restarts 4.84/1.98 c 4.84/1.98 c 4.84/1.98 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.98 c root propagations : 0 4.84/1.98 c restarts enabled, print stats at every restarts 4.84/1.98 c 4.84/1.98 c 4.84/1.98 c root propagations : 0 4.84/1.98 c restarts enabled, print stats at every restarts 4.84/1.98 c 4.84/1.98 c 4.84/1.98 c conflicts decisions filterCalls propagationsc conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.84/1.98 Root Prop. Nogoods min/max/avg depth 12.03/2.82 c 32 104 14542 623 0 0 10 15 13 12.82/2.90 c 32 116 15391 618 0 0 12 15 13 13.69/3.02 c 32 116 15391 618 0 0 12 15 13 13.69/3.08 c 32 110 14647 580 0 0 12 15 13 14.49/3.19 c 101 348 47759 1948 0 0 10 15 13 16.01/3.34 c 101 361 48399 1916 0 0 9 15 13 16.81/3.40 c 101 361 49972 1998 0 0 10 15 13 16.81/3.47 c 101 349 46089 1939 0 0 11 15 13 18.41/3.62 c 33 118 16204 647 0 0 14 14 7 19.21/3.72 c 33 129 17016 647 0 0 13 13 6 20.81/3.96 c 33 129 17016 647 0 0 13 13 6 20.81/3.96 c 33 123 16160 612 0 0 13 13 6 24.79/4.47 c 211 756 104896 4323 0 0 10 15 13 27.99/4.81 c 64 234 31909 1258 0 0 12 15 13 27.99/4.86 c 64 241 32510 1273 0 0 9 14 12 27.99/4.89 c 211 741 101509 4186 0 0 9 15 13 28.80/4.91 c 211 746 101356 4094 0 0 10 15 13 29.65/5.08 c 211 714 96099 4041 0 0 9 15 13 29.65/5.09 c 64 241 32510 1273 0 0 9 14 12 30.45/5.12 c 64 233 30979 1224 0 0 12 15 13 35.98/5.82 c 332 1173 161048 6726 0 0 11 15 13 36.78/5.91 c 65 254 34130 1305 0 0 13 13 6 38.44/6.11 c 65 247 33533 1290 0 0 13 13 6 39.17/6.23 c 65 254 34130 1305 0 0 13 13 6 39.96/6.31 c 332 1140 154915 6505 0 0 10 14 13 39.96/6.32 c 65 246 32488 1247 0 0 13 13 6 43.97/6.81 c 332 1184 159953 6580 0 0 9 15 13 44.77/6.90 c 332 1144 153511 6423 0 0 10 15 13 45.63/7.04 c 66 267 35748 1337 0 0 13 13 6 47.16/7.24 c 465 1645 225798 9429 0 0 10 15 13 47.95/7.39 c 66 267 35748 1337 0 0 13 13 6 48.75/7.45 c 66 259 34032 1276 0 0 13 13 6 48.75/7.45 c 66 260 35073 1316 0 0 13 13 6 51.96/7.84 c 465 1605 217407 9099 0 0 9 15 13 55.14/8.23 c 67 280 37411 1364 0 0 13 13 6 57.54/8.55 c 67 272 35541 1299 0 0 13 13 6 58.33/8.60 c 67 280 37411 1364 0 0 13 13 6 58.33/8.63 c 67 273 36677 1346 0 0 13 13 6 58.33/8.65 c 465 1645 220882 9155 0 0 7 14 13 59.14/8.78 c 611 2147 294166 12280 0 0 10 15 13 59.93/8.86 c 465 1613 215807 9157 0 0 10 15 13 66.32/9.68 c 611 2104 284167 11861 0 0 9 15 13 66.32/9.69 c 128 501 67240 2572 0 0 11 14 13 67.92/9.81 c 128 493 64060 2547 0 0 11 14 13 68.72/9.98 c 128 478 64871 2504 0 0 10 15 13 69.58/10.07 c 128 501 67240 2572 0 0 11 14 13 72.71/10.45 c 771 2692 365713 15344 0 0 10 15 13 73.51/10.58 c 611 2128 285766 11902 0 0 10 15 13 75.10/10.72 c 611 2132 283867 12031 0 0 9 15 13 75.90/10.83 c 129 507 65708 2581 0 0 14 14 7 76.70/10.99 c 129 515 68948 2607 0 0 14 14 7 77.56/11.11 c 129 491 66743 2544 0 0 13 13 6 79.89/11.39 c 129 515 68948 2607 0 0 14 14 7 83.09/11.72 c 771 2639 356514 14965 0 0 8 14 13 83.89/11.87 c 130 521 67352 2615 0 0 14 14 7 86.35/12.15 c 130 529 70647 2642 0 0 14 14 7 86.35/12.16 c 130 504 68403 2574 0 0 13 13 6 86.35/12.17 c 947 3313 449412 18749 0 0 10 15 13 89.48/12.54 c 771 2649 355582 14851 0 0 8 14 13 89.48/12.56 c 130 529 70647 2642 0 0 14 14 7 89.48/12.59 c 771 2684 357068 15197 0 0 11 15 13 91.88/12.90 c 131 535 69000 2649 0 0 14 14 7 95.06/13.25 c 131 517 70283 2614 0 0 13 13 6 95.86/13.35 c 131 543 72325 2678 0 0 14 14 7 99.06/13.77 c 131 543 72325 2678 0 0 14 14 7 99.06/13.79 c 947 3281 441125 18548 0 0 8 15 13 100.66/13.91 c 132 549 70678 2686 0 0 14 14 7 100.66/13.96 c 1140 4012 542949 22607 0 0 10 15 13 104.65/14.43 c 132 530 71943 2644 0 0 13 13 6 105.45/14.56 c 132 557 74013 2714 0 0 14 14 7 106.25/14.65 c 947 3303 438109 18735 0 0 11 15 13 107.04/14.71 c 947 3259 437543 18329 0 0 8 15 13 108.64/14.99 c 132 557 74013 2714 0 0 14 14 7 110.31/15.13 c 133 563 72361 2723 0 0 14 14 7 114.23/15.63 c 133 543 73749 2681 0 0 13 13 6 115.03/15.76 c 133 571 75691 2750 0 0 14 14 7 115.03/15.79 c 1140 3944 529855 22310 0 0 7 15 13 115.83/15.87 c 1352 4753 641443 26794 0 0 10 15 13 119.02/16.20 c 133 571 75691 2750 0 0 14 14 7 119.82/16.36 c 134 577 74043 2761 0 0 14 14 7 123.82/16.83 c 1140 3980 526215 22578 0 0 8 15 13 123.82/16.84 c 134 556 75551 2718 0 0 13 13 6 123.82/16.87 c 134 585 77358 2777 0 0 14 14 7 123.82/16.89 c 1140 3915 526460 22038 0 0 9 14 13 127.80/17.31 c 134 585 77358 2777 0 0 14 14 7 129.41/17.57 c 135 591 75696 2796 0 0 14 14 7 131.80/17.88 c 1585 5562 752048 31418 0 0 10 15 13 132.60/17.96 c 135 599 79042 2813 0 0 14 14 7 132.60/17.96 c 1352 4695 629794 26440 0 0 9 15 13 132.60/17.98 c 135 569 77357 2755 0 0 13 13 6 135.79/18.39 c 135 599 79042 2813 0 0 14 14 7 140.59/18.95 c 1352 4693 619350 26606 0 0 10 15 13 142.98/19.22 c 1352 4632 623138 26096 0 0 10 14 13 142.98/19.24 c 256 1012 132238 5165 0 0 10 15 13 145.37/19.60 c 256 987 134389 5194 0 0 11 15 13 146.97/19.73 c 256 1046 138829 5320 0 0 11 14 13 148.57/19.98 c 1841 6475 874000 36598 0 0 10 15 13 150.24/20.15 c 256 1046 138829 5320 0 0 11 14 13 150.24/20.18 c 1585 5510 740001 30914 0 0 7 15 13 153.36/20.58 c 257 1025 133758 5187 0 0 13 13 6 155.76/20.88 c 257 1001 136079 5232 0 0 14 14 7 156.56/21.00 c 257 1060 140507 5356 0 0 14 14 7 158.95/21.21 c 1585 5498 725355 31118 0 0 6 15 13 160.54/21.42 c 257 1060 140507 5356 0 0 14 14 7 162.15/21.60 c 1585 5403 728083 30512 0 0 9 15 13 164.54/21.95 c 258 1038 135292 5216 0 0 13 13 6 166.21/22.13 c 2122 7446 1005662 42076 0 0 9 15 13 166.21/22.15 c 258 1015 137767 5270 0 0 14 14 7 166.94/22.21 c 258 1074 142195 5392 0 0 14 14 7 167.74/22.35 c 1841 6399 860868 35971 0 0 8 15 13 170.13/22.61 c 258 1074 142195 5392 0 0 14 14 7 174.91/23.29 c 259 1051 136812 5238 0 0 13 13 6 175.71/23.36 c 259 1088 143873 5428 0 0 14 14 7 176.51/23.40 c 1841 6384 840022 35986 0 0 8 15 13 176.51/23.43 c 259 1029 139457 5308 0 0 14 14 7 178.91/23.76 c 259 1088 143873 5428 0 0 14 14 7 180.51/23.98 c 1841 6269 843898 35454 0 0 8 14 13 184.49/24.46 c 260 1064 138346 5267 0 0 13 13 6 184.49/24.49 c 260 1102 145540 5455 0 0 14 14 7 186.09/24.62 c 260 1043 141145 5346 0 0 14 14 7 186.09/24.64 c 2431 8562 1155723 48379 0 0 10 15 13 186.89/24.73 c 2122 7403 998330 41676 0 0 8 15 13 187.69/24.89 c 260 1102 145540 5455 0 0 14 14 7 194.08/25.64 c 261 1116 147218 5491 0 0 14 14 7 194.08/25.66 c 261 1077 139875 5296 0 0 13 13 6 195.68/25.83 c 2122 7394 972031 41581 0 0 8 15 13 195.68/25.88 c 261 1057 142826 5381 0 0 14 14 7 197.34/26.06 c 261 1116 147218 5491 0 0 14 14 7 201.27/26.51 c 2122 7262 978631 41022 0 0 8 15 13 202.87/26.78 c 262 1130 148885 5518 0 0 14 14 7 203.67/26.84 c 262 1090 141409 5325 0 0 13 13 6 206.13/27.17 c 262 1071 144509 5416 0 0 14 14 7 206.86/27.21 c 262 1130 148885 5518 0 0 14 14 7 206.86/27.26 c 2431 8459 1140705 47809 0 0 10 15 13 206.86/27.27 c 2770 9750 1319122 55091 0 0 7 15 13 212.46/27.92 c 263 1144 150563 5554 0 0 14 14 7 213.32/28.03 c 263 1103 142938 5354 0 0 13 13 6 214.84/28.27 c 2431 8441 1109695 47643 0 0 9 15 13 215.64/28.35 c 263 1144 150563 5554 0 0 14 14 7 216.44/28.43 c 263 1085 146190 5451 0 0 14 14 7 221.30/29.04 c 264 1157 152113 5575 0 0 13 13 6 222.09/29.17 c 2431 8318 1125202 47190 0 0 10 14 13 222.83/29.21 c 264 1116 144473 5385 0 0 13 13 6 224.43/29.49 c 264 1157 152113 5575 0 0 13 13 6 226.02/29.66 c 264 1099 147875 5486 0 0 14 14 7 227.62/29.82 c 2770 9622 1299193 54346 0 0 6 15 13 231.61/30.33 c 265 1170 153693 5605 0 0 13 13 6 232.41/30.45 c 265 1129 146003 5416 0 0 13 13 6 232.41/30.49 c 3142 11030 1493654 62473 0 0 9 15 13 234.81/30.78 c 2770 9593 1260847 54106 0 0 7 15 13 234.81/30.79 c 265 1170 153693 5605 0 0 13 13 6 236.41/30.91 c 265 1113 149556 5521 0 0 14 14 7 242.00/31.61 c 266 1183 155243 5626 0 0 13 13 6 242.00/31.63 c 266 1142 147537 5445 0 0 13 13 6 245.25/32.05 c 2770 9467 1280166 53695 0 0 10 15 13 245.25/32.07 c 266 1183 155243 5626 0 0 13 13 6 245.25/32.09 c 266 1127 151241 5556 0 0 14 14 7 249.98/32.61 c 3142 10915 1472775 61635 0 0 8 15 13 251.58/32.84 c 267 1155 149066 5474 0 0 13 13 6 251.58/32.85 c 267 1196 156823 5656 0 0 13 13 6 254.77/33.24 c 267 1141 152922 5591 0 0 14 14 7 255.56/33.33 c 267 1196 156823 5656 0 0 13 13 6 258.76/33.72 c 3142 10893 1433123 61444 0 0 9 15 13 258.76/33.76 c 3551 12422 1682713 70406 0 0 7 15 13 260.36/33.99 c 268 1168 150601 5505 0 0 13 13 6 262.02/34.14 c 268 1209 158373 5677 0 0 13 13 6 264.35/34.43 c 268 1155 154691 5629 0 0 14 14 7 265.95/34.62 c 268 1209 158373 5677 0 0 13 13 6 270.00/35.16 c 3142 10788 1460086 61109 0 0 8 15 13 270.72/35.21 c 269 1181 152131 5536 0 0 13 13 6 271.52/35.39 c 269 1222 159953 5707 0 0 13 13 6 273.92/35.62 c 269 1168 156324 5655 0 0 13 13 6 275.52/35.83 c 3551 12331 1662823 69544 0 0 6 15 13 275.52/35.87 c 269 1222 159953 5707 0 0 13 13 6 280.31/36.44 c 270 1194 153666 5567 0 0 13 13 6 281.91/36.69 c 270 1235 161503 5728 0 0 13 13 6 282.71/36.75 c 3551 12313 1626496 69515 0 0 9 15 13 283.51/36.82 c 270 1181 157961 5681 0 0 13 13 6 284.30/36.99 c 4000 13996 1894106 79349 0 0 5 15 13 285.97/37.17 c 270 1235 161503 5728 0 0 13 13 6 289.09/37.59 c 271 1207 155196 5598 0 0 13 13 6 292.29/37.98 c 271 1248 163083 5758 0 0 13 13 6 292.29/37.99 c 271 1194 159594 5707 0 0 13 13 6 293.95/38.15 c 3551 12155 1646423 69023 0 0 8 15 13 296.28/38.44 c 271 1248 163083 5758 0 0 13 13 6 300.28/38.93 c 4000 13867 1870065 78200 0 0 9 15 13 306.67/39.73 c 512 2016 264991 10157 0 0 6 15 13 309.93/40.11 c 4000 13842 1835721 78302 0 0 8 15 13 309.93/40.17 c 512 2013 271751 10314 0 0 8 15 13 312.25/40.44 c 512 2102 280743 10617 0 0 8 15 13 313.05/40.50 c 4493 15687 2122331 89132 0 0 9 15 13 315.45/40.86 c 512 2102 280743 10617 0 0 8 15 13 317.11/41.10 c 513 2029 266754 10186 0 0 13 13 6 320.24/41.41 c 4000 13700 1858158 77801 0 0 9 15 13 320.24/41.43 c 513 2026 273286 10335 0 0 13 13 6 322.64/41.71 c 513 2115 282298 10640 0 0 13 13 6 325.90/42.14 c 513 2115 282298 10640 0 0 13 13 6 327.42/42.37 c 4493 15556 2099786 87747 0 0 5 15 13 328.22/42.43 c 514 2042 268517 10215 0 0 13 13 6 330.62/42.75 c 514 2039 274823 10357 0 0 13 13 6 333.07/43.01 c 514 2128 283857 10663 0 0 13 13 6 336.19/43.45 c 514 2128 283857 10663 0 0 13 13 6 338.59/43.71 c 4493 15540 2063759 87911 0 0 9 15 13 338.59/43.78 c 515 2055 270163 10236 0 0 13 13 6 341.06/44.04 c 515 2052 276358 10378 0 0 13 13 6 342.59/44.26 c 5035 17519 2369100 99559 0 0 8 15 13 343.38/44.33 c 515 2141 285412 10686 0 0 13 13 6 346.59/44.75 c 515 2141 285412 10686 0 0 13 13 6 349.05/45.10 c 516 2068 271926 10265 0 0 13 13 6 349.89/45.13 c 4493 15394 2089114 87461 0 0 7 15 13 350.57/45.23 c 516 2065 278001 10408 0 0 13 13 6 352.97/45.59 c 516 2154 286971 10709 0 0 13 13 6 357.02/46.01 c 516 2154 286971 10709 0 0 13 13 6 358.56/46.29 c 5035 17468 2355643 98563 0 0 6 15 13 359.36/46.39 c 517 2081 273572 10286 0 0 13 13 6 360.21/46.43 c 517 2078 279536 10429 0 0 13 13 6 363.36/46.80 c 517 2167 288526 10732 0 0 13 13 6 366.55/47.23 c 517 2167 288526 10732 0 0 13 13 6 367.35/47.31 c 5035 17395 2314570 98376 0 0 7 15 13 369.74/47.62 c 518 2091 281179 10459 0 0 13 13 6 369.74/47.64 c 518 2094 275335 10315 0 0 13 13 6 373.00/48.06 c 518 2180 290085 10755 0 0 13 13 6 375.33/48.34 c 5631 19628 2659475 111548 0 0 7 15 13 376.13/48.48 c 518 2180 290085 10755 0 0 13 13 6 379.33/48.82 c 519 2104 282714 10480 0 0 13 13 6 380.13/48.92 c 519 2107 276981 10336 0 0 13 13 6 381.79/49.16 c 5035 17230 2342526 97978 0 0 8 15 13 382.52/49.27 c 519 2193 291640 10778 0 0 13 13 6 385.71/49.69 c 519 2193 291640 10778 0 0 13 13 6 388.11/50.00 c 520 2117 284357 10510 0 0 13 13 6 388.11/50.00 c 5631 19527 2636803 110158 0 0 6 15 13 390.50/50.21 c 520 2120 278744 10365 0 0 13 13 6 392.90/50.51 c 520 2206 293199 10801 0 0 13 13 6 396.10/50.95 c 520 2206 293199 10801 0 0 13 13 6 398.49/51.23 c 521 2130 285892 10531 0 0 13 13 6 398.49/51.24 c 5631 19454 2597720 110092 0 0 7 15 13 400.09/51.47 c 521 2133 280390 10386 0 0 13 13 6 402.48/51.73 c 521 2219 294754 10824 0 0 13 13 6 405.75/52.16 c 521 2219 294754 10824 0 0 13 13 6 408.07/52.42 c 522 2143 287535 10561 0 0 13 13 6 410.47/52.71 c 522 2146 282153 10415 0 0 13 13 6 410.47/52.76 c 6286 21870 2962414 124535 0 0 9 15 13 412.07/52.98 c 522 2232 296313 10847 0 0 13 13 6 413.73/53.15 c 5631 19257 2617678 109606 0 0 8 15 13 416.05/53.42 c 522 2232 296313 10847 0 0 13 13 6 417.65/53.63 c 523 2156 289070 10582 0 0 13 13 6 420.91/54.02 c 523 2159 283799 10436 0 0 13 13 6 420.91/54.02 c 6286 21809 2947871 122954 0 0 8 15 13 421.71/54.18 c 523 2245 297868 10870 0 0 13 13 6 425.63/54.63 c 523 2245 297868 10870 0 0 13 13 6 427.24/54.84 c 524 2169 290713 10612 0 0 13 13 6 428.03/54.96 c 6286 21695 2894514 122646 0 0 5 15 13 430.42/55.25 c 524 2172 285562 10465 0 0 13 13 6 432.03/55.46 c 524 2258 299427 10893 0 0 13 13 6 436.02/55.90 c 524 2258 299427 10893 0 0 13 13 6 436.88/56.06 c 525 2182 292248 10633 0 0 13 13 6 440.81/56.52 c 525 2185 287208 10486 0 0 13 13 6 441.61/56.66 c 525 2271 300982 10916 0 0 13 13 6 445.67/57.12 c 525 2271 300982 10916 0 0 13 13 6 446.39/57.25 c 526 2195 293891 10663 0 0 13 13 6 446.39/57.29 c 6286 21518 2928708 122516 0 0 8 15 13 450.39/57.75 c 526 2198 288971 10515 0 0 13 13 6 450.39/57.78 c 7006 24345 3298856 138765 0 0 8 15 13 451.99/57.91 c 526 2284 302541 10939 0 0 13 13 6 454.38/58.28 c 7006 24355 3294398 137062 0 0 9 15 13 455.18/58.37 c 526 2284 302541 10939 0 0 13 13 6 455.98/58.47 c 527 2208 295426 10684 0 0 13 13 6 460.84/59.05 c 527 2211 290617 10536 0 0 13 13 6 461.64/59.11 c 527 2297 304096 10962 0 0 13 13 6 463.96/59.49 c 7006 24220 3237345 137023 0 0 9 15 13 465.56/59.61 c 527 2297 304096 10962 0 0 13 13 6 465.56/59.68 c 528 2221 297069 10714 0 0 13 13 6 470.35/60.27 c 528 2224 292380 10565 0 0 13 13 6 471.15/60.36 c 528 2310 305655 10985 0 0 13 13 6 475.15/60.87 c 528 2310 305655 10985 0 0 13 13 6 475.95/60.91 c 529 2234 298604 10735 0 0 13 13 6 480.74/61.53 c 529 2237 294026 10586 0 0 13 13 6 480.74/61.58 c 529 2323 307210 11008 0 0 13 13 6 482.33/61.71 c 7006 24040 3273679 136861 0 0 8 15 13 484.79/62.09 c 529 2323 307210 11008 0 0 13 13 6 485.59/62.11 c 530 2247 300247 10765 0 0 13 13 6 490.32/62.77 c 530 2250 295789 10615 0 0 13 13 6 491.12/62.83 c 530 2336 308769 11031 0 0 13 13 6 491.12/62.84 c 7798 27115 3668552 154574 0 0 4 15 13 495.10/63.33 c 531 2260 301782 10786 0 0 13 13 6 495.10/63.36 c 530 2336 308769 11031 0 0 13 13 6 499.10/63.81 c 7798 27116 3668766 152663 0 0 7 15 13 500.76/64.04 c 531 2349 310324 11054 0 0 13 13 6 500.76/64.07 c 531 2263 297435 10636 0 0 13 13 6 502.29/64.29 c 7798 26974 3603393 152321 0 0 8 15 13 504.69/64.54 c 532 2273 303425 10816 0 0 13 13 6 504.69/64.58 c 531 2349 310324 11054 0 0 13 13 6 510.28/65.29 c 532 2362 311883 11077 0 0 13 13 6 511.08/65.33 c 532 2276 299198 10665 0 0 13 13 6 514.28/65.75 c 533 2286 304960 10837 0 0 13 13 6 515.08/65.84 c 532 2362 311883 11077 0 0 13 13 6 520.66/66.50 c 533 2375 313438 11100 0 0 13 13 6 521.46/66.62 c 533 2289 300844 10686 0 0 13 13 6 523.86/66.96 c 534 2299 306603 10867 0 0 13 13 6 524.72/67.06 c 533 2375 313438 11100 0 0 13 13 6 525.52/67.13 c 7798 26808 3649922 152557 0 0 8 15 13 530.25/67.74 c 534 2388 314997 11123 0 0 13 13 6 531.05/67.86 c 534 2302 302607 10715 0 0 13 13 6 533.50/68.16 c 8669 30205 4078139 171948 0 0 8 15 13 533.50/68.16 c 535 2312 308138 10888 0 0 13 13 6 535.03/68.31 c 534 2388 314997 11123 0 0 13 13 6 539.83/68.95 c 535 2401 316552 11146 0 0 13 13 6 541.49/69.15 c 535 2315 304253 10736 0 0 13 13 6 542.22/69.23 c 8669 30075 4071052 169568 0 0 8 15 13 543.01/69.36 c 536 2325 309781 10918 0 0 13 13 6 544.61/69.53 c 535 2401 316552 11146 0 0 13 13 6 547.01/69.81 c 8669 29969 4006460 169342 0 0 7 15 13 549.47/70.20 c 536 2414 318111 11169 0 0 13 13 6 551.00/70.38 c 536 2328 306016 10765 0 0 13 13 6 552.60/70.58 c 537 2338 311316 10939 0 0 13 13 6 554.20/70.78 c 536 2414 318111 11169 0 0 13 13 6 559.79/71.41 c 537 2427 319666 11192 0 0 13 13 6 561.38/71.63 c 537 2341 307662 10786 0 0 13 13 6 562.18/71.78 c 538 2351 312959 10969 0 0 13 13 6 563.78/71.99 c 537 2427 319666 11192 0 0 13 13 6 567.77/72.49 c 8669 29808 4057631 169682 0 0 4 15 13 569.37/72.65 c 538 2440 321225 11215 0 0 13 13 6 570.97/72.84 c 538 2354 309425 10815 0 0 13 13 6 571.77/72.99 c 539 2364 314494 10990 0 0 13 13 6 574.15/73.25 c 538 2440 321225 11215 0 0 13 13 6 578.95/73.86 c 539 2453 322780 11238 0 0 13 13 6 579.75/73.98 c 9627 33537 4525448 191051 0 0 7 15 13 581.41/74.12 c 539 2367 311071 10836 0 0 13 13 6 581.41/74.19 c 540 2377 316137 11020 0 0 13 13 6 583.74/74.45 c 539 2453 322780 11238 0 0 13 13 6 586.14/74.74 c 9627 33368 4512295 188292 0 0 7 15 13 588.59/75.10 c 540 2466 324339 11261 0 0 13 13 6 590.12/75.28 c 9627 33283 4463276 188239 0 0 7 15 13 590.92/75.35 c 540 2380 312834 10865 0 0 13 13 6 590.92/75.39 c 541 2390 317672 11041 0 0 13 13 6 594.12/75.71 c 540 2466 324339 11261 0 0 13 13 6 598.91/76.33 c 541 2479 325894 11284 0 0 13 13 6 601.31/76.61 c 542 2403 319315 11071 0 0 13 13 6 601.31/76.62 c 541 2393 314480 10886 0 0 13 13 6 603.71/76.93 c 541 2479 325894 11284 0 0 13 13 6 608.49/77.58 c 542 2492 327453 11307 0 0 13 13 6 610.89/77.83 c 543 2416 320850 11092 0 0 13 13 6 610.89/77.85 c 542 2406 316243 10915 0 0 13 13 6 613.35/78.19 c 542 2492 327453 11307 0 0 13 13 6 614.08/78.25 c 9627 33068 4500303 188159 0 0 7 15 13 618.88/78.80 c 543 2505 329008 11330 0 0 13 13 6 621.34/79.16 c 543 2419 317889 10936 0 0 13 13 6 623.67/79.40 c 543 2505 329008 11330 0 0 13 13 6 627.66/79.98 c 10680 37060 4998591 211284 0 0 6 15 13 638.02/81.24 c 1024 4149 557821 20906 0 0 7 15 13 639.62/81.44 c 10680 37003 5004415 208880 0 0 4 15 13 639.62/81.48 c 10680 37006 4968440 209248 0 0 9 15 13 646.01/82.21 c 1024 4056 542316 20234 0 0 8 15 13 648.41/82.50 c 1025 4162 559453 20934 0 0 13 13 6 650.01/82.72 c 1024 4237 567469 21073 0 0 6 15 13 653.97/83.29 c 1024 4237 567469 21073 0 0 6 15 13 656.37/83.55 c 1025 4070 543983 20268 0 0 14 14 7 658.77/83.85 c 1026 4175 561085 20962 0 0 13 13 6 660.43/84.03 c 1025 4251 569213 21107 0 0 14 14 7 665.15/84.62 c 1025 4251 569213 21107 0 0 14 14 7 667.55/84.94 c 1026 4084 545650 20302 0 0 14 14 7 667.55/84.96 c 10680 36788 5009499 209058 0 0 9 15 13 669.94/85.21 c 1027 4188 562717 20990 0 0 13 13 6 669.94/85.28 c 1026 4265 570954 21141 0 0 14 14 7 675.54/85.90 c 1026 4265 570954 21141 0 0 14 14 7 678.73/86.35 c 1027 4098 547317 20336 0 0 14 14 7 679.53/86.48 c 1028 4201 564349 21018 0 0 13 13 6 680.33/86.51 c 1027 4279 572698 21175 0 0 14 14 7 680.33/86.59 c 11838 41173 5552888 234628 0 0 5 15 13 685.18/87.17 c 1027 4279 572698 21175 0 0 14 14 7 689.11/87.61 c 1028 4112 548983 20370 0 0 14 14 7 689.91/87.70 c 1028 4293 574439 21209 0 0 14 14 7 689.91/87.72 c 11838 41067 5522307 232196 0 0 7 15 13 689.91/87.76 c 1029 4214 565981 21046 0 0 13 13 6 695.50/88.40 c 11838 40941 5534936 231567 0 0 9 15 13 695.50/88.41 c 1028 4293 574439 21209 0 0 14 14 7 698.70/88.89 c 1029 4307 576183 21243 0 0 14 14 7 699.49/89.00 c 1029 4126 550650 20404 0 0 14 14 7 700.35/89.02 c 1030 4227 567613 21074 0 0 13 13 6 705.08/89.65 c 1029 4307 576183 21243 0 0 14 14 7 708.34/90.09 c 1030 4321 577924 21277 0 0 14 14 7 710.67/90.31 c 1031 4240 569245 21102 0 0 13 13 6 710.67/90.35 c 1030 4140 552317 20438 0 0 14 14 7 715.47/90.90 c 1030 4321 577924 21277 0 0 14 14 7 717.85/91.28 c 1031 4335 579668 21311 0 0 14 14 7 719.45/91.43 c 11838 40800 5560480 231758 0 0 9 15 13 720.25/91.57 c 1032 4253 570877 21130 0 0 13 13 6 721.05/91.69 c 1031 4154 553984 20472 0 0 14 14 7 725.11/92.14 c 1031 4335 579668 21311 0 0 14 14 7 727.44/92.48 c 1032 4349 581409 21345 0 0 14 14 7 730.64/92.85 c 1033 4266 572509 21158 0 0 13 13 6 731.43/92.95 c 1032 4168 555650 20506 0 0 14 14 7 734.61/93.36 c 1032 4349 581409 21345 0 0 14 14 7 737.01/93.68 c 1033 4363 583153 21379 0 0 14 14 7 741.07/94.13 c 1034 4279 574139 21186 0 0 13 13 6 741.80/94.28 c 13111 45587 6143544 259717 0 0 7 15 13 741.80/94.29 c 1033 4182 557351 20540 0 0 14 14 7 744.20/94.52 c 1033 4363 583153 21379 0 0 14 14 7 746.60/94.86 c 13111 45522 6121719 257254 0 0 6 15 13 746.60/94.89 c 1034 4377 584894 21413 0 0 14 14 7 752.18/95.53 c 1035 4292 575771 21214 0 0 13 13 6 752.98/95.68 c 1034 4377 584894 21413 0 0 14 14 7 753.78/95.75 c 1034 4196 559045 20574 0 0 14 14 7 756.24/96.07 c 1035 4391 586638 21447 0 0 14 14 7 760.97/96.64 c 13111 45469 6145218 257104 0 0 6 15 13 761.77/96.79 c 1036 4305 577401 21242 0 0 13 13 6 762.57/96.83 c 1035 4391 586638 21447 0 0 14 14 7 764.23/97.05 c 1035 4210 560746 20608 0 0 14 14 7 765.75/97.26 c 1036 4405 588388 21481 0 0 14 14 7 771.35/98.00 c 1036 4405 588388 21481 0 0 14 14 7 773.01/98.11 c 1037 4318 579033 21270 0 0 13 13 6 773.74/98.27 c 1036 4224 562439 20642 0 0 14 14 7 775.34/98.42 c 1037 4419 590132 21515 0 0 14 14 7 781.00/99.13 c 1037 4419 590132 21515 0 0 14 14 7 781.73/99.23 c 13111 45179 6158788 256624 0 0 7 15 13 782.53/99.40 c 1038 4331 580663 21298 0 0 13 13 6 784.12/99.59 c 1037 4238 564140 20676 0 0 14 14 7 784.12/99.59 c 1038 4433 591882 21549 0 0 14 14 7 789.71/100.27 c 1038 4433 591882 21549 0 0 14 14 7 792.91/100.69 c 1039 4447 593626 21583 0 0 14 14 7 793.71/100.77 c 1039 4344 582295 21326 0 0 13 13 6 795.31/100.92 c 1038 4252 565834 20710 0 0 14 14 7 798.50/101.34 c 1039 4447 593626 21583 0 0 14 14 7 802.50/101.86 c 1040 4461 595376 21617 0 0 14 14 7 804.15/102.03 c 14511 50331 6763507 284462 0 0 6 15 13 804.15/102.07 c 1040 4357 583925 21354 0 0 13 13 6 804.96/102.20 c 1039 4266 567535 20744 0 0 14 14 7 805.68/102.25 c 14511 50443 6798556 287156 0 0 5 15 13 807.28/102.47 c 1040 4461 595376 21617 0 0 14 14 7 811.28/102.95 c 1041 4475 597120 21651 0 0 14 14 7 815.23/103.41 c 1041 4370 585557 21382 0 0 13 13 6 815.23/103.46 c 1040 4280 569228 20778 0 0 14 14 7 816.03/103.56 c 1041 4475 597120 21651 0 0 14 14 7 820.89/104.13 c 1042 4489 598870 21685 0 0 14 14 7 825.61/104.71 c 1042 4489 598870 21685 0 0 14 14 7 825.61/104.73 c 1042 4383 587187 21410 0 0 13 13 6 825.61/104.78 c 1041 4294 570929 20812 0 0 14 14 7 829.60/105.23 c 1043 4503 600614 21719 0 0 14 14 7 833.60/105.76 c 1043 4503 600614 21719 0 0 14 14 7 836.06/106.06 c 1043 4396 588819 21438 0 0 13 13 6 836.06/106.10 c 1042 4308 572623 20846 0 0 14 14 7 837.58/106.25 c 14511 50435 6824000 285150 0 0 3 15 13 839.18/106.40 c 1044 4517 602364 21753 0 0 14 14 7 842.39/106.89 c 1044 4517 602364 21753 0 0 14 14 7 846.37/107.38 c 1044 4409 590449 21466 0 0 13 13 6 847.17/107.41 c 1043 4322 574324 20880 0 0 14 14 7 847.97/107.52 c 1045 4531 604108 21787 0 0 14 14 7 851.17/107.97 c 1045 4531 604108 21787 0 0 14 14 7 851.17/107.99 c 14511 50039 6828542 284534 0 0 8 15 13 856.76/108.64 c 1044 4336 576017 20914 0 0 14 14 7 857.56/108.70 c 1046 4545 605858 21821 0 0 14 14 7 857.56/108.73 c 1045 4422 592081 21494 0 0 13 13 6 860.81/109.11 c 1046 4545 605858 21821 0 0 14 14 7 866.34/109.80 c 1047 4559 607602 21855 0 0 14 14 7 867.14/109.99 c 1045 4350 577718 20948 0 0 14 14 7 868.00/110.05 c 1046 4435 593711 21522 0 0 13 13 6 869.53/110.20 c 1047 4559 607602 21855 0 0 14 14 7 871.13/110.46 c 16051 55742 7487756 314488 0 0 3 15 13 875.12/110.98 c 1048 4573 609352 21889 0 0 14 14 7 876.78/111.15 c 16051 55738 7498944 317257 0 0 7 15 13 878.32/111.34 c 1048 4573 609352 21889 0 0 14 14 7 878.32/111.35 c 1046 4364 579412 20982 0 0 14 14 7 879.12/111.40 c 1047 4448 595343 21550 0 0 13 13 6 883.98/112.07 c 1049 4587 611096 21923 0 0 14 14 7 887.10/112.42 c 1049 4587 611096 21923 0 0 14 14 7 888.70/112.69 c 1047 4378 581098 21015 0 0 14 14 7 889.50/112.71 c 1048 4461 596973 21578 0 0 13 13 6 893.49/113.25 c 1050 4601 612846 21957 0 0 14 14 7 895.88/113.56 c 1050 4601 612846 21957 0 0 14 14 7 899.07/113.96 c 1048 4392 582776 21046 0 0 14 14 7 899.93/114.05 c 1049 4474 598605 21606 0 0 13 13 6 902.26/114.34 c 1051 4615 614590 21991 0 0 14 14 7 904.66/114.63 c 1051 4615 614590 21991 0 0 14 14 7 909.45/115.29 c 1049 4406 584584 21085 0 0 14 14 7 910.25/115.35 c 1050 4487 600235 21634 0 0 13 13 6 911.85/115.53 c 1052 4629 616340 22025 0 0 14 14 7 913.44/115.77 c 1052 4629 616340 22025 0 0 14 14 7 915.90/116.03 c 16051 55806 7552083 315835 0 0 7 15 13 920.63/116.63 c 1053 4643 618084 22059 0 0 14 14 7 920.63/116.69 c 1050 4420 586371 21119 0 0 14 14 7 921.43/116.70 c 1051 4500 601867 21662 0 0 13 13 6 922.23/116.86 c 1053 4643 618084 22059 0 0 14 14 7 924.69/117.14 c 16051 55354 7548899 314505 0 0 6 15 13 930.22/117.81 c 1054 4657 619834 22093 0 0 14 14 7 931.01/118.01 c 1054 4657 619834 22093 0 0 14 14 7 931.88/118.04 c 1052 4513 603497 21690 0 0 13 13 6 931.88/118.04 c 1051 4434 588057 21152 0 0 14 14 7 939.00/118.90 c 1055 4671 621578 22127 0 0 14 14 7 939.86/119.09 c 1055 4671 621578 22127 0 0 14 14 7 941.39/119.29 c 1052 4448 589844 21186 0 0 14 14 7 942.19/119.39 c 1053 4526 605129 21718 0 0 13 13 6 947.85/120.07 c 1056 4685 623328 22161 0 0 14 14 7 949.37/120.22 c 1056 4685 623328 22161 0 0 14 14 7 949.37/120.26 c 17745 61613 8283042 347770 0 0 4 15 13 951.77/120.52 c 1053 4462 591530 21219 0 0 14 14 7 952.57/120.69 c 1054 4539 606759 21746 0 0 13 13 6 956.63/121.16 c 1057 4699 625072 22195 0 0 14 14 7 958.16/121.30 c 1057 4699 625072 22195 0 0 14 14 7 958.16/121.34 c 17745 61454 8273532 350031 0 0 7 15 13 961.36/121.70 c 1054 4476 593317 21253 0 0 14 14 7 963.82/122.03 c 1055 4552 608391 21774 0 0 13 13 6 966.14/122.35 c 1058 4713 626822 22229 0 0 14 14 7 966.94/122.45 c 1058 4713 626822 22229 0 0 14 14 7 970.93/122.93 c 1055 4489 594951 21283 0 0 13 13 6 974.12/123.35 c 1056 4565 610021 21802 0 0 13 13 6 974.92/123.46 c 1059 4727 628566 22263 0 0 14 14 7 975.72/123.54 c 1059 4727 628566 22263 0 0 14 14 7 979.78/124.10 c 1056 4503 596738 21317 0 0 14 14 7 984.50/124.65 c 1060 4741 630316 22297 0 0 14 14 7 984.50/124.69 c 1060 4741 630316 22297 0 0 14 14 7 985.30/124.71 c 1057 4578 611653 21830 0 0 13 13 6 990.07/125.32 c 1057 4516 598372 21347 0 0 13 13 6 993.27/125.74 c 1061 4755 632060 22331 0 0 14 14 7 993.27/125.76 c 1061 4755 632060 22331 0 0 14 14 7 994.87/125.91 c 17745 61135 8330095 347147 0 0 6 15 13 994.87/126.01 c 1058 4591 613283 21858 0 0 13 13 6 995.73/126.10 c 17745 61751 8353409 349576 0 0 8 15 13 999.66/126.51 c 1058 4529 600169 21379 0 0 13 13 6 1002.86/126.90 c 1062 4769 633810 22365 0 0 14 14 7 1002.86/126.91 c 1062 4769 633810 22365 0 0 14 14 7 1006.04/127.36 c 1059 4604 614915 21886 0 0 13 13 6 1009.24/127.77 c 1059 4543 601985 21422 0 0 14 14 7 1010.84/127.98 c 1063 4783 635554 22399 0 0 14 14 7 1011.70/128.01 c 1063 4783 635554 22399 0 0 14 14 7 1016.43/128.65 c 1060 4617 616515 21909 0 0 13 13 6 1018.83/128.99 c 1060 4556 603720 21453 0 0 13 13 6 1020.49/129.13 c 1064 4797 637304 22433 0 0 14 14 7 1020.49/129.18 c 1064 4797 637304 22433 0 0 14 14 7 1026.81/129.99 c 1061 4630 618147 21937 0 0 13 13 6 1026.81/129.99 c 19608 68142 9172489 384860 0 0 7 15 13 1028.47/130.16 c 1061 4569 605354 21483 0 0 13 13 6 1029.20/130.20 c 1065 4811 639048 22467 0 0 14 14 7 1029.20/130.28 c 1065 4811 639048 22467 0 0 14 14 7 1037.99/131.31 c 1062 4643 619747 21960 0 0 13 13 6 1037.99/131.35 c 1066 4825 640798 22501 0 0 14 14 7 1037.99/131.39 c 1062 4582 607151 21515 0 0 13 13 6 1038.79/131.46 c 1066 4825 640798 22501 0 0 14 14 7 1043.64/132.07 c 19608 67877 9127594 386530 0 0 8 15 13 1046.77/132.43 c 1067 4839 642542 22535 0 0 14 14 7 1047.57/132.56 c 1067 4839 642542 22535 0 0 14 14 7 1047.57/132.60 c 1063 4596 608967 21558 0 0 14 14 7 1048.37/132.65 c 1063 4656 621379 21988 0 0 13 13 6 1055.55/133.56 c 1068 4853 644292 22569 0 0 14 14 7 1057.15/133.73 c 1068 4853 644292 22569 0 0 14 14 7 1057.95/133.80 c 1064 4609 610702 21589 0 0 13 13 6 1058.75/133.95 c 1064 4669 622979 22011 0 0 13 13 6 1064.33/134.63 c 1069 4867 646036 22603 0 0 14 14 7 1065.93/134.82 c 1069 4867 646036 22603 0 0 14 14 7 1066.73/134.97 c 1065 4622 612336 21619 0 0 13 13 6 1069.11/135.28 c 1065 4682 624611 22039 0 0 13 13 6 1073.11/135.77 c 1070 4881 647786 22637 0 0 14 14 7 1074.71/135.98 c 1070 4881 647786 22637 0 0 14 14 7 1076.37/136.16 c 1066 4635 614133 21651 0 0 13 13 6 1076.37/136.20 c 19608 68219 9231896 386208 0 0 6 15 13 1079.50/136.50 c 19608 67521 9215061 383737 0 0 5 15 13 1079.50/136.57 c 1066 4695 626211 22062 0 0 13 13 6 1081.90/136.83 c 1071 4895 649530 22671 0 0 14 14 7 1083.56/137.07 c 1071 4895 649530 22671 0 0 14 14 7 1085.88/137.36 c 1067 4649 615949 21694 0 0 14 14 7 1090.68/137.93 c 1067 4708 627843 22090 0 0 13 13 6 1090.68/137.98 c 1072 4909 651280 22705 0 0 14 14 7 1093.07/138.24 c 1072 4909 651280 22705 0 0 14 14 7 1095.47/138.56 c 1068 4662 617684 21725 0 0 13 13 6 1099.53/139.06 c 1073 4923 653024 22739 0 0 14 14 7 1101.06/139.25 c 1068 4721 629443 22113 0 0 13 13 6 1101.85/139.35 c 1073 4923 653024 22739 0 0 14 14 7 1105.05/139.71 c 1069 4675 619318 21755 0 0 13 13 6 1108.31/140.19 c 1074 4937 654774 22773 0 0 14 14 7 1111.44/140.52 c 1074 4937 654774 22773 0 0 14 14 7 1111.44/140.59 c 1069 4734 631075 22141 0 0 13 13 6 1114.64/140.93 c 1070 4688 621115 21787 0 0 13 13 6 1117.03/141.26 c 1075 4951 656518 22807 0 0 14 14 7 1117.83/141.39 c 21657 75198 10125806 425001 0 0 5 16 13 1120.22/141.61 c 1075 4951 656518 22807 0 0 14 14 7 1121.82/141.89 c 1070 4747 632675 22164 0 0 13 13 6 1124.28/142.15 c 1071 4702 622931 21830 0 0 14 14 7 1126.61/142.40 c 1076 4965 658268 22841 0 0 14 14 7 1129.01/142.78 c 1076 4965 658268 22841 0 0 14 14 7 1132.99/143.25 c 1071 4760 634307 22192 0 0 13 13 6 1133.79/143.35 c 1072 4715 624666 21861 0 0 13 13 6 1134.59/143.49 c 1077 4979 660012 22875 0 0 14 14 7 1137.79/143.85 c 1077 4979 660012 22875 0 0 14 14 7 1138.59/143.97 c 21657 74972 10087647 426926 0 0 6 15 13 1143.38/144.50 c 1073 4728 626300 21891 0 0 13 13 6 1143.38/144.55 c 1072 4773 635907 22215 0 0 13 13 6 1144.18/144.62 c 1078 4993 661762 22909 0 0 14 14 7 1147.44/145.01 c 1078 4993 661762 22909 0 0 14 14 7 1152.16/145.69 c 1079 5007 663506 22943 0 0 14 14 7 1152.16/145.69 c 1074 4741 628097 21923 0 0 13 13 6 1153.75/145.90 c 1073 4786 637539 22243 0 0 13 13 6 1155.41/146.10 c 1079 5007 663506 22943 0 0 14 14 7 1161.74/146.81 c 1080 5021 665256 22977 0 0 14 14 7 1161.74/146.87 c 1075 4755 629792 21956 0 0 14 14 7 1164.93/147.20 c 1074 4799 639139 22266 0 0 13 13 6 1164.93/147.28 c 1080 5021 665256 22977 0 0 14 14 7 1169.72/147.87 c 1081 5035 667000 23011 0 0 14 14 7 1171.38/148.02 c 21657 74549 10172828 424118 0 0 7 15 13 1171.38/148.07 c 1076 4768 631589 21988 0 0 13 13 6 1173.71/148.35 c 1081 5035 667000 23011 0 0 14 14 7 1175.31/148.53 c 1075 4812 640771 22294 0 0 13 13 6 1177.71/148.87 c 21657 75360 10214035 427020 0 0 4 15 13 1178.51/149.00 c 1082 5049 668750 23045 0 0 14 14 7 1181.70/149.33 c 1077 4782 633284 22021 0 0 14 14 7 1183.30/149.50 c 1082 5049 668750 23045 0 0 14 14 7 1185.69/149.84 c 1076 4825 642371 22317 0 0 13 13 6 1187.35/150.08 c 1083 5063 670494 23079 0 0 14 14 7 1191.28/150.53 c 1078 4796 635035 22058 0 0 14 14 7 1191.28/150.59 c 1083 5063 670494 23079 0 0 14 14 7 1196.14/151.19 c 1077 4838 644003 22345 0 0 13 13 6 1196.87/151.23 c 1084 5077 672244 23113 0 0 14 14 7 1200.86/151.75 c 1079 4810 636729 22091 0 0 14 14 7 1200.86/151.75 c 1084 5077 672244 23113 0 0 14 14 7 1205.65/152.30 c 1085 5091 673988 23147 0 0 14 14 7 1207.25/152.50 c 1078 4851 645603 22368 0 0 13 13 6 1209.65/152.84 c 1085 5091 673988 23147 0 0 14 14 7 1210.44/152.95 c 1080 4824 638429 22131 0 0 14 14 7 1212.83/153.24 c 23910 82939 11169874 468648 0 0 8 15 13 1214.43/153.44 c 1086 5105 675738 23181 0 0 14 14 7 1217.63/153.84 c 1079 4864 647235 22396 0 0 13 13 6 1219.29/154.01 c 1086 5105 675738 23181 0 0 14 14 7 1221.62/154.32 c 1081 4838 640120 22164 0 0 14 14 7 1223.22/154.50 c 1087 5119 677482 23215 0 0 14 14 7 1227.28/155.11 c 1087 5119 677482 23215 0 0 14 14 7 1228.08/155.16 c 1080 4877 648835 22419 0 0 13 13 6 1232.00/155.66 c 1082 4852 641778 22195 0 0 14 14 7 1239.18/156.52 c 1081 4890 650467 22447 0 0 13 13 6 1242.37/156.96 c 1083 4866 643473 22228 0 0 14 14 7 1247.96/157.65 c 23910 82741 11136261 470947 0 0 6 15 13 1249.56/157.80 c 1082 4903 652067 22470 0 0 13 13 6 1252.02/158.17 c 1084 4880 645224 22265 0 0 14 14 7 1260.01/159.13 c 1083 4916 653699 22498 0 0 13 13 6 1262.33/159.40 c 1085 4894 646915 22298 0 0 14 14 7 1267.99/160.18 c 2048 8426 1127184 41826 0 0 7 15 13 1270.32/160.41 c 1084 4929 655299 22521 0 0 13 13 6 1271.92/160.60 c 1086 4908 648593 22329 0 0 14 14 7 1273.52/160.89 c 23910 82392 11241266 468485 0 0 7 15 13 1273.52/160.90 c 2048 8426 1127184 41826 0 0 7 15 13 1277.50/161.39 c 2049 8440 1128844 41851 0 0 14 14 7 1280.70/161.74 c 1085 4942 656931 22549 0 0 13 13 6 1282.30/161.94 c 1087 4922 650251 22360 0 0 14 14 7 1283.96/162.15 c 2049 8440 1128844 41851 0 0 14 14 7 1284.69/162.27 c 23910 83169 11249628 471367 0 0 4 15 13 1287.09/162.53 c 2050 8454 1130588 41885 0 0 14 14 7 1291.15/163.05 c 1086 4955 658531 22572 0 0 13 13 6 1293.47/163.31 c 2050 8454 1130588 41885 0 0 14 14 7 1296.67/163.78 c 2051 8468 1132338 41919 0 0 14 14 7 1301.46/164.40 c 1087 4968 660163 22600 0 0 13 13 6 1303.86/164.60 c 2051 8468 1132338 41919 0 0 14 14 7 1305.46/164.89 c 2052 8482 1134082 41953 0 0 14 14 7 1312.64/165.73 c 2052 8482 1134082 41953 0 0 14 14 7 1315.10/166.09 c 2053 8496 1135742 41978 0 0 14 14 7 1319.82/166.64 c 26388 91528 12348698 517520 0 0 5 15 13 1322.21/166.98 c 2053 8496 1135742 41978 0 0 14 14 7 1324.61/167.22 c 2054 8510 1137486 42012 0 0 14 14 7 1325.41/167.37 c 2048 8281 1120517 41756 0 0 7 15 13 1331.06/168.10 c 2054 8510 1137486 42012 0 0 14 14 7 1333.39/168.40 c 2055 8524 1139146 42037 0 0 14 14 7 1334.99/168.57 c 2049 8295 1122182 41787 0 0 14 14 7 1341.38/169.33 c 2055 8524 1139146 42037 0 0 14 14 7 1342.98/169.51 c 2056 8538 1140890 42071 0 0 14 14 7 1346.16/169.97 c 2050 8309 1123883 41827 0 0 14 14 7 1347.82/170.16 c 2048 8284 1110159 41591 0 0 5 15 13 1350.15/170.44 c 2056 8538 1140890 42071 0 0 14 14 7 1351.75/170.69 c 2057 8552 1142550 42096 0 0 14 14 7 1355.01/171.05 c 26388 91181 12272181 519002 0 0 5 15 13 1356.53/171.28 c 2051 8323 1125548 41858 0 0 14 14 7 1358.93/171.58 c 2049 8297 1111863 41623 0 0 13 13 6 1359.73/171.68 c 2057 8552 1142550 42096 0 0 14 14 7 1361.33/171.81 c 2058 8566 1144294 42130 0 0 14 14 7 1366.91/172.54 c 2052 8337 1127249 41898 0 0 14 14 7 1369.31/172.81 c 2058 8566 1144294 42130 0 0 14 14 7 1370.10/172.96 c 2050 8310 1113564 41655 0 0 13 13 6 1370.96/173.01 c 2059 8580 1145954 42155 0 0 14 14 7 1376.49/173.78 c 2053 8351 1128914 41929 0 0 14 14 7 1378.95/174.04 c 2059 8580 1145954 42155 0 0 14 14 7 1379.75/174.11 c 2060 8594 1147698 42189 0 0 14 14 7 1380.48/174.29 c 2051 8323 1115268 41687 0 0 13 13 6 1382.88/174.59 c 26388 90903 12404712 516945 0 0 6 15 13 1386.08/175.01 c 2054 8365 1130615 41969 0 0 14 14 7 1387.74/175.16 c 2060 8594 1147698 42189 0 0 14 14 7 1388.47/175.29 c 2061 8608 1149358 42214 0 0 14 14 7 1390.07/175.46 c 26388 91873 12422851 520579 0 0 7 15 13 1390.87/175.55 c 2052 8336 1116969 41719 0 0 13 13 6 1396.45/176.25 c 2055 8379 1132280 42000 0 0 14 14 7 1397.25/176.39 c 2062 8622 1151102 42248 0 0 14 14 7 1397.25/176.39 c 2061 8608 1149358 42214 0 0 14 14 7 1401.25/176.81 c 2053 8349 1118673 41751 0 0 13 13 6 1406.03/177.46 c 2056 8393 1133981 42040 0 0 14 14 7 1406.83/177.52 c 2062 8622 1151102 42248 0 0 14 14 7 1406.83/177.58 c 2063 8636 1152762 42273 0 0 14 14 7 1410.89/178.06 c 2054 8362 1120374 41783 0 0 13 13 6 1415.61/178.68 c 2064 8650 1154506 42307 0 0 14 14 7 1416.41/178.75 c 2057 8407 1135646 42071 0 0 14 14 7 1416.41/178.75 c 2063 8636 1152762 42273 0 0 14 14 7 1420.40/179.30 c 2055 8375 1122078 41815 0 0 13 13 6 1425.20/179.87 c 2065 8664 1156166 42332 0 0 14 14 7 1425.20/179.87 c 2064 8650 1154506 42307 0 0 14 14 7 1426.00/179.97 c 2058 8421 1137304 42102 0 0 14 14 7 1430.79/180.55 c 2056 8388 1123779 41847 0 0 13 13 6 1433.98/180.97 c 2066 8678 1157910 42366 0 0 14 14 7 1435.65/181.12 c 2065 8664 1156166 42332 0 0 14 14 7 1435.65/181.19 c 2059 8435 1138969 42133 0 0 14 14 7 1437.97/181.48 c 29113 100888 13624920 570585 0 0 7 15 13 1440.37/181.79 c 2057 8401 1125483 41879 0 0 13 13 6 1443.63/182.16 c 2067 8692 1159570 42391 0 0 14 14 7 1444.36/182.23 c 2066 8678 1157910 42366 0 0 14 14 7 1445.96/182.41 c 2060 8449 1140627 42164 0 0 14 14 7 1450.81/183.04 c 2058 8414 1127182 41911 0 0 13 13 6 1452.34/183.25 c 2068 8706 1161314 42425 0 0 14 14 7 1453.94/183.45 c 2067 8692 1159570 42391 0 0 14 14 7 1455.54/183.61 c 2061 8463 1142292 42195 0 0 14 14 7 1461.12/184.38 c 2059 8427 1128886 41943 0 0 13 13 6 1461.92/184.46 c 2069 8720 1162974 42450 0 0 14 14 7 1462.72/184.59 c 2068 8706 1161314 42425 0 0 14 14 7 1464.32/184.77 c 2062 8477 1143950 42226 0 0 14 14 7 1470.71/185.56 c 2070 8734 1164718 42484 0 0 14 14 7 1471.51/185.64 c 2060 8440 1130585 41975 0 0 13 13 6 1473.11/185.83 c 2069 8720 1162974 42450 0 0 14 14 7 1473.11/185.85 c 29113 100707 13562576 572970 0 0 6 15 13 1473.91/185.99 c 2063 8491 1145615 42257 0 0 14 14 7 1480.29/186.75 c 2071 8748 1166378 42509 0 0 14 14 7 1481.89/186.93 c 2061 8453 1132289 42007 0 0 13 13 6 1481.89/186.97 c 2070 8734 1164718 42484 0 0 14 14 7 1484.28/187.20 c 2064 8505 1147273 42288 0 0 14 14 7 1489.07/187.85 c 2072 8762 1168122 42543 0 0 14 14 7 1492.25/188.21 c 2062 8466 1133988 42039 0 0 13 13 6 1492.25/188.22 c 2071 8748 1166378 42509 0 0 14 14 7 1493.85/188.42 c 2065 8519 1148938 42319 0 0 14 14 7 1498.71/189.04 c 2073 8776 1169782 42568 0 0 14 14 7 1501.84/189.42 c 29113 100402 13696270 570690 1 0 8 15 13 1501.84/189.43 c 2072 8762 1168193 42549 1 0 14 14 7 1502.64/189.51 c 2063 8479 1135810 42072 1 0 13 13 6 1503.44/189.63 c 2066 8533 1150714 42351 1 0 14 14 7 1507.50/190.11 c 2073 8776 1169887 42588 1 0 14 14 7 1508.23/190.20 c 2074 8790 1171597 42608 1 0 14 14 7 1508.23/190.21 c 2064 8492 1137509 42104 1 0 13 13 6 1508.23/190.27 c 2067 8547 1152379 42382 1 0 14 14 7 1509.82/190.42 c 29000 100795 13633728 571785 0 0 6 15 13 1513.02/190.80 c 2074 8790 1171584 42627 1 0 14 14 7 1513.02/190.83 c 2075 8804 1173291 42647 1 0 14 14 7 1513.02/190.88 c 2068 8561 1154037 42413 1 0 14 14 7 1513.02/190.89 c 2065 8505 1139213 42136 1 0 13 13 6 1513.82/190.93 c 31000 107493 14509312 607235 0 0 6 15 13 1514.68/191.08 c 29000 100796 13633846 571787 1 0 0 0 0 1516.21/191.27 c 30000 103778 13968394 590401 0 0 7 15 13 1517.81/191.41 c 29000 100798 13633955 571789 1 0 0 0 0 1517.81/191.45 c 2075 8804 1173278 42666 1 0 14 14 7 1517.81/191.48 c 2076 8818 1174988 42686 1 0 14 14 7 1517.81/191.48 c 2069 8575 1155702 42444 1 0 14 14 7 1518.61/191.55 c 2066 8518 1140912 42168 1 0 13 13 6 1519.41/191.60 c 31000 107494 14509430 607237 1 0 0 0 0 1522.67/192.09 c 2076 8818 1174975 42705 1 0 14 14 7 1522.67/192.09 c 2077 8832 1176682 42725 1 0 14 14 7 1523.47/192.11 c 2070 8589 1157360 42475 1 0 14 14 7 1524.20/192.24 c 2067 8531 1142616 42200 1 0 13 13 6 1527.39/192.69 c 29113 101174 13685622 573968 1 0 10 15 13 1528.19/192.71 c 2071 8603 1159025 42506 1 0 14 14 7 1528.19/192.71 c 2078 8846 1178379 42764 1 0 14 14 7 1528.19/192.75 c 2077 8832 1176669 42744 1 0 14 14 7 1528.99/192.89 c 2068 8544 1144191 42223 1 0 13 13 6 1532.18/193.29 c 2072 8617 1160683 42537 1 0 14 14 7 1532.98/193.33 c 2079 8860 1180073 42803 1 0 14 14 7 1533.78/193.40 c 2078 8846 1178366 42783 1 0 14 14 7 1534.57/193.56 c 2069 8557 1145895 42255 1 0 13 13 6 1536.97/193.86 c 2073 8631 1162348 42568 1 0 14 14 7 1537.77/193.94 c 2080 8874 1181770 42842 1 0 14 14 7 1537.77/193.94 c 30000 103394 14103839 587887 1 0 8 15 13 1538.63/194.05 c 2079 8860 1180060 42822 1 0 14 14 7 1540.16/194.21 c 2070 8570 1147470 42278 1 0 13 13 6 1541.76/194.46 c 2074 8645 1164006 42599 1 0 14 14 7 1542.56/194.55 c 2081 8888 1183464 42881 1 0 14 14 7 1544.16/194.70 c 2080 8874 1181757 42861 1 0 14 14 7 1544.96/194.87 c 2071 8583 1149174 42310 1 0 13 13 6 1546.62/195.05 c 2075 8659 1165671 42630 1 0 14 14 7 1547.42/195.16 c 2082 8902 1185161 42920 1 0 14 14 7 1548.95/195.34 c 2081 8888 1183451 42900 1 0 14 14 7 1550.55/195.51 c 2072 8596 1150749 42333 1 0 13 13 6 1551.35/195.65 c 2076 8673 1167329 42661 1 0 14 14 7 1552.14/195.77 c 2083 8916 1186855 42959 1 0 14 14 7 1553.74/195.99 c 2082 8902 1185148 42939 1 0 14 14 7 1555.41/196.17 c 2073 8609 1152453 42365 1 0 13 13 6 1556.13/196.23 c 2077 8687 1168994 42692 1 0 14 14 7 1556.93/196.38 c 2084 8930 1188552 42998 1 0 14 14 7 1559.33/196.63 c 2083 8916 1186842 42978 1 0 14 14 7 1559.33/196.68 c 32110 111257 15020309 628681 1 0 7 15 13 1560.93/196.83 c 2078 8701 1170652 42723 1 0 14 14 7 1560.93/196.83 c 2074 8622 1154028 42388 1 0 13 13 6 1561.73/196.99 c 2085 8944 1190246 43037 1 0 14 14 7 1564.12/197.27 c 2084 8930 1188534 43016 1 0 14 14 7 1565.72/197.43 c 2079 8715 1172317 42754 1 0 14 14 7 1565.72/197.48 c 2075 8635 1155732 42420 1 0 13 13 6 1567.32/197.60 c 2086 8958 1191938 43075 1 0 14 14 7 1569.71/197.90 c 2085 8944 1190223 43054 1 0 14 14 7 1570.57/198.03 c 2080 8729 1173975 42785 1 0 14 14 7 1571.37/198.12 c 2076 8648 1157307 42443 1 0 13 13 6 1572.10/198.21 c 2087 8972 1193627 43113 1 0 14 14 7 1574.50/198.53 c 2086 8958 1191915 43092 1 0 14 14 7 1575.29/198.63 c 2081 8743 1175640 42816 1 0 14 14 7 1576.09/198.77 c 2077 8661 1159011 42475 1 0 13 13 6 1576.89/198.81 c 2088 8986 1195319 43151 1 0 14 14 7 1579.35/199.19 c 31000 106873 14576177 607884 1 0 6 15 13 1580.08/199.24 c 2087 8972 1193718 43131 2 0 14 14 7 1580.88/199.33 c 2082 8757 1177536 42857 2 0 14 14 7 1581.68/199.48 c 2089 9000 1197122 43190 2 0 14 14 7 1582.48/199.50 c 2078 8674 1160950 42504 2 0 13 13 6 1583.28/199.60 c 2088 8986 1195530 43170 3 0 14 14 7 1583.28/199.63 c 31000 106874 14576291 607886 2 0 0 0 0 1583.28/199.69 c 2083 8771 1179390 42888 3 0 14 14 7 1584.08/199.79 c 2089 9000 1197219 43208 3 0 14 14 7 1584.88/199.83 c 31000 106875 14576411 607888 3 0 0 0 0 1584.88/199.83 c 2090 9014 1198934 43229 3 0 14 14 7 1584.88/199.87 c 2084 8785 1181124 42918 3 0 14 14 7 1584.88/199.89 c 2079 8687 1162900 42533 3 0 13 13 6 1585.67/199.99 c 2090 9014 1198911 43246 3 0 14 14 7 1586.54/200.01 c 2091 9028 1200623 43267 3 0 14 14 7 1586.54/200.07 c 2085 8799 1182849 42942 3 0 14 14 7 1586.54/200.09 c 2080 8700 1164725 42561 3 0 13 13 6 1587.34/200.17 c 2091 9028 1200600 43284 3 0 14 14 7 1587.34/200.19 c 2092 9042 1202315 43305 3 0 14 14 7 1588.06/200.24 c 2086 8813 1184583 42972 3 0 14 14 7 1588.06/200.29 c 2081 8713 1166555 42589 3 0 13 13 6 1588.86/200.36 c 2092 9042 1202292 43322 3 0 14 14 7 1588.86/200.37 c 2093 9056 1204004 43343 3 0 14 14 7 1589.66/200.43 c 2087 8827 1186317 43002 3 0 14 14 7 1589.66/200.48 c 2082 8726 1168380 42617 3 0 13 13 6 1590.46/200.54 c 2093 9056 1203981 43360 3 0 14 14 7 1590.46/200.55 c 2094 9070 1205696 43381 3 0 14 14 7 1590.46/200.59 c 2088 8841 1188051 43032 3 0 14 14 7 1591.27/200.67 c 2083 8739 1170210 42645 3 0 13 13 6 1592.07/200.73 c 2095 9084 1207385 43419 3 0 14 14 7 1592.07/200.73 c 2094 9070 1205673 43398 3 0 14 14 7 1592.07/200.78 c 2089 8855 1189785 43062 3 0 14 14 7 1592.87/200.86 c 2084 8752 1171867 42674 3 0 13 13 6 1593.67/200.91 c 2096 9098 1209077 43457 3 0 14 14 7 1593.67/200.91 c 2095 9084 1207362 43436 3 0 14 14 7 1593.67/200.95 c 2090 8869 1191519 43092 3 0 14 14 7 1593.67/201.00 c 33000 114408 15443562 646280 1 0 6 15 13 1594.53/201.07 c 2085 8765 1173529 42703 3 0 13 13 6 1594.53/201.09 c 2097 9112 1210766 43495 3 0 14 14 7 1594.53/201.11 c 2096 9098 1209054 43474 3 0 14 14 7 1595.33/201.14 c 2091 8883 1193253 43122 3 0 14 14 7 1596.06/201.26 c 2086 8778 1175186 42732 3 0 13 13 6 1596.06/201.27 c 2098 9126 1212458 43533 3 0 14 14 7 1596.06/201.28 c 2097 9112 1210749 43512 3 0 14 14 7 1596.06/201.30 c 2092 8897 1194987 43152 3 0 14 14 7 1596.86/201.36 c 32000 110704 14892913 629747 2 0 6 15 13 1596.86/201.39 c 33000 114409 15443695 646283 3 0 0 0 0 1597.66/201.42 c 2099 9139 1214132 43555 5 0 13 13 6 1597.66/201.42 c 2087 8792 1176964 42763 5 0 14 14 7 1597.66/201.44 c 2098 9125 1212423 43534 5 0 13 13 6 1597.66/201.46 c 2093 8911 1196843 43193 5 0 14 14 7 1597.66/201.48 c 2100 9152 1215707 43582 5 0 13 13 6 1597.66/201.49 c 2088 8806 1178611 42792 5 0 14 14 7 1598.46/201.51 c 2099 9138 1213998 43561 5 0 13 13 6 1598.46/201.53 c 2094 8925 1198571 43232 5 0 14 14 7 1598.46/201.54 c 32000 110705 14893046 629751 5 0 0 0 0 1598.46/201.54 c 2101 9165 1217250 43602 5 0 13 13 6 1598.46/201.55 c 2089 8820 1180258 42821 5 0 14 14 7 1598.46/201.57 c 2100 9151 1215541 43581 5 0 13 13 6 1598.46/201.60 c 2095 8939 1200298 43271 5 0 14 14 7 1599.25/201.61 c 2102 9178 1218825 43629 5 0 13 13 6 1599.25/201.62 c 2090 8834 1181905 42850 5 0 14 14 7 1599.25/201.63 c 2101 9164 1217116 43608 5 0 13 13 6 1599.25/201.66 c 2096 8953 1202026 43310 5 0 14 14 7 1599.25/201.66 c 2103 9191 1220368 43649 5 0 13 13 6 1599.25/201.68 c 2091 8848 1183552 42879 5 0 14 14 7 1599.25/201.69 c 2102 9177 1218659 43628 5 0 13 13 6 1600.05/201.73 c 2097 8967 1203753 43349 5 0 14 14 7 1600.05/201.73 c 2104 9204 1221943 43676 5 0 13 13 6 1600.05/201.74 c 2092 8862 1185199 42908 5 0 14 14 7 1600.05/201.76 c 2103 9190 1220234 43655 5 0 13 13 6 1600.05/201.76 c 31000 107793 14589423 611269 5 0 5 15 13 1600.05/201.78 c 2105 9217 1223486 43696 5 0 13 13 6 1600.05/201.79 c 2098 8981 1205481 43388 5 0 14 14 7 1600.05/201.79 c 31000 107795 14589540 611271 5 0 0 0 0 1600.85/201.80 c 2093 8876 1186846 42937 5 0 14 14 7 1600.85/201.81 c 2104 9203 1221777 43675 5 0 13 13 6 1600.85/201.83 c 31000 107796 14589657 611273 6 0 0 0 0 1600.85/201.85 c 2106 9231 1225241 43725 6 0 14 14 7 1600.85/201.86 c 2099 8995 1207325 43428 6 0 14 14 7 1600.85/201.87 c 2094 8890 1188610 42967 6 0 14 14 7 1600.85/201.88 c 31000 107806 14590714 611283 6 0 0 0 0 1600.85/201.88 c 2105 9217 1223532 43704 6 0 14 14 7 1600.85/201.89 c 2107 9245 1226914 43754 6 0 14 14 7 1601.65/201.90 c 2100 9009 1209053 43467 6 0 14 14 7 1601.65/201.92 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 5. 1601.65/201.92 c [pFactory][Group N°0] Thread N°0 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°1 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°2 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°3 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°4 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°5 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°6 is joined. 1601.65/201.92 c [pFactory][Group N°0] Thread N°7 is joined. 1601.65/201.92 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°2) 1601.65/201.92 s UNSATISFIABLE 1601.65/201.92 c restarts : 184 1601.65/201.92 c conflicts : 2105 (1 /sec) 1601.65/201.92 c decisions : 9218 (6 /sec) 1601.65/201.92 c propagations : 43706 (27 /sec) 1601.65/201.92 c root propagations : 0 1601.65/201.92 c filter calls : 1223646 (765 /sec) 1601.65/201.92 c useless filter calls : 1204376 (98 %) 1601.65/201.92 c Memory used : 1090.59 MB 1601.65/201.92 c CPU time : 1599.92 s 1601.65/201.92 c real time : 201.898 s 1601.65/201.92
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 (15311 MiB free)
memory of node 1: 16384 MiB (15046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398063-1568602314/watcher-4398063-1568602314 -o /tmp/evaluation-result-4398063-1568602314/solver-4398063-1568602314 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398063-1568602314.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8267, runsolver pid=8264
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 1.80 1.20 1.51 2/194 8269
/proc/meminfo: memFree=31081752/32770624 swapFree=66998772/67108860
[pid=8267] ppid=8264 vsize=28020 memory=4216 CPUtime=0.08 cores=0-7
/proc/8267/stat : 8267 (cosoco) R 8264 8267 7626 0 -1 4202496 1220 0 1 0 8 0 0 0 20 0 1 0 436482787 28692480 1054 33554432000 4194304 6211092 140732938793696 140732938790232 5812149 0 0 4096 8405026 0 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 7005 1054 806 493 0 310 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28020 KiB
Current children cumulated memory: 4216 KiB
[startup+0.209381 s]*
/proc/loadavg: 1.80 1.20 1.51 2/194 8269
/proc/meminfo: memFree=31081008/32770624 swapFree=66998772/67108860
[pid=8267] ppid=8264 vsize=28740 memory=4764 CPUtime=0.19 cores=0-7
/proc/8267/stat : 8267 (cosoco) R 8264 8267 7626 0 -1 4202496 1454 0 1 0 19 0 0 0 20 0 1 0 436482787 29429760 1191 33554432000 4194304 6211092 140732938793696 140732938790232 139871647316965 0 0 4096 8405026 0 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 7185 1191 806 493 0 490 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28740 KiB
Current children cumulated memory: 4764 KiB
[startup+0.308649 s]*
/proc/loadavg: 1.80 1.20 1.51 3/194 8271
/proc/meminfo: memFree=31132624/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=29652 memory=5596 CPUtime=0.29 cores=0-7
/proc/8267/stat : 8267 (cosoco) R 8264 8267 7626 0 -1 4202496 1712 0 1 0 29 0 0 0 20 0 1 0 436482787 30363648 1399 33554432000 4194304 6211092 140732938793696 140732938790968 139871647316965 0 0 4096 8405026 0 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 7413 1399 806 493 0 718 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29652 KiB
Current children cumulated memory: 5596 KiB
[startup+0.700301 s]
/proc/loadavg: 1.80 1.20 1.51 2/193 8271
/proc/meminfo: memFree=31565780/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=32400 memory=8052 CPUtime=0.67 cores=0-7
/proc/8267/stat : 8267 (cosoco) R 8264 8267 7626 0 -1 4202496 2547 0 1 0 67 0 0 0 20 0 1 0 436482787 33177600 2013 33554432000 4194304 6211092 140732938793696 140732938790968 139871647316965 0 0 4096 8405026 0 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 8100 2013 806 493 0 1405 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 32400 KiB
Current children cumulated memory: 8052 KiB
[startup+1.50037 s]
/proc/loadavg: 1.80 1.20 1.51 2/193 8271
/proc/meminfo: memFree=31541712/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=625256 memory=532996 CPUtime=1.65 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 134368 0 1 0 150 15 0 0 20 0 9 0 436482787 640262144 133249 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 156314 133249 817 493 0 149619 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 625256 KiB
Current children cumulated memory: 532996 KiB
[startup+3.11036 s]
/proc/loadavg: 1.80 1.20 1.51 9/201 8279
/proc/meminfo: memFree=31036972/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533356 CPUtime=14.49 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 208131 0 1 0 1402 47 0 0 20 0 9 0 436482787 1177133056 133339 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133339 828 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=0 CPUtime=1.63 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 7837 0 0 0 157 6 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871629434232 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=0 CPUtime=1.63 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 6034 0 0 0 163 0 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871621041528 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=12369 CPUtime=1.62 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 5655 0 0 0 158 4 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871612648824 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=0 CPUtime=1.62 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 13652 0 0 0 162 0 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871604255840 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=3632 CPUtime=1.61 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 11698 0 0 0 160 1 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871595863136 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=28876 CPUtime=1.62 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 12765 0 0 0 162 0 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871587470432 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=988 CPUtime=1.62 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 4144 0 0 0 159 3 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871579078008 5037825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=-4695052241013923951 CPUtime=1.59 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 11997 0 0 0 147 12 0 0 20 0 9 0 436482934 1177133056 133339 33554432000 4194304 6211092 140732938793696 139871570685024 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533356 KiB
[startup+6.30137 s]
/proc/loadavg: 2.21 1.29 1.54 9/201 8279
/proc/meminfo: memFree=31038092/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533408 CPUtime=39.96 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 509498 0 1 0 3901 95 0 0 20 0 9 0 436482787 1177133056 133352 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133352 828 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=279419164021952 CPUtime=4.82 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 43877 0 0 0 467 15 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871629433952 5037843 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=341 CPUtime=4.82 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 41552 0 0 0 479 3 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871621041248 5038813 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=342 CPUtime=4.81 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 44777 0 0 0 464 17 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871612648544 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=0 CPUtime=4.82 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 49738 0 0 0 479 3 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871604255840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=2340 CPUtime=4.81 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 49674 0 0 0 477 4 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871595863136 5039549 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=139709582138688 CPUtime=4.82 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 48252 0 0 0 479 3 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871587470432 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=533408 CPUtime=4.81 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 48086 0 0 0 466 15 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871579077728 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=1408 CPUtime=4.74 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 49183 0 0 0 457 17 0 0 20 0 9 0 436482934 1177133056 133352 33554432000 4194304 6211092 140732938793696 139871570685024 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 39.96 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533408 KiB
[startup+12.7014 s]
/proc/loadavg: 2.76 1.42 1.58 9/201 8279
/proc/meminfo: memFree=31038448/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533416 CPUtime=91.08 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 701511 0 1 0 9000 108 0 0 20 0 9 0 436482787 1177133056 133354 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133354 828 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=0 CPUtime=11.21 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 61552 0 0 0 1105 16 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871629433952 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=6392 CPUtime=11.22 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 59783 0 0 0 1117 5 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871621041248 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=5674 CPUtime=11.21 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 62570 0 0 0 1102 19 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871612648544 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=533416 CPUtime=11.22 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 80844 0 0 0 1118 4 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871604255840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=0 CPUtime=11.2 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 80218 0 0 0 1115 5 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871595863136 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=533416 CPUtime=11.21 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 77743 0 0 0 1117 4 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871587470432 5037821 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=1804 CPUtime=11.21 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 66620 0 0 0 1105 16 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871579077728 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=533412 CPUtime=11.05 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 77834 0 0 0 1086 19 0 0 20 0 9 0 436482934 1177133056 133354 33554432000 4194304 6211092 140732938793696 139871570685024 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 91.08 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533416 KiB
[startup+25.5014 s]
/proc/loadavg: 4.06 1.77 1.69 9/201 8279
/proc/meminfo: memFree=31040204/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=193.29 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1080349 0 1 0 19195 134 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=533440 CPUtime=24.02 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 111262 0 0 0 2380 22 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5038964 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=139709582159762 CPUtime=24.02 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 109493 0 0 0 2394 8 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=533440 CPUtime=24 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 112261 0 0 0 2378 22 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=24.02 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 125061 0 0 0 2396 6 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=0 CPUtime=24 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 127107 0 0 0 2392 8 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=533440 CPUtime=24.02 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 120197 0 0 0 2395 7 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=533440 CPUtime=24.01 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 116388 0 0 0 2381 20 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=533440 CPUtime=23.68 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 124221 0 0 0 2345 23 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 193.29 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+51.1104 s]
/proc/loadavg: 5.59 2.32 1.88 9/201 8281
/proc/meminfo: memFree=31040812/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=397.76 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1305493 0 1 0 39625 151 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=49.62 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 143164 0 0 0 4938 24 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=533440 CPUtime=49.62 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 141562 0 0 0 4953 9 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5038995 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=533440 CPUtime=49.61 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 144184 0 0 0 4936 25 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5038947 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=533440 CPUtime=49.62 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 148960 0 0 0 4955 7 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=5161 CPUtime=49.6 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 148865 0 0 0 4950 10 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
################
# More data... #
################
Current children cumulated CPU time: 1522.67 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+198.401 s]
/proc/loadavg: 7.89 4.56 2.78 9/201 8290
/proc/meminfo: memFree=31041488/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=1573.7 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1680726 0 1 0 157191 179 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=279419164769696 CPUtime=195.98 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 191566 0 0 0 19571 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=776 CPUtime=196.9 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 190013 0 0 0 19677 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=1564 CPUtime=196.86 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 192886 0 0 0 19657 29 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=196.9 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 197804 0 0 0 19679 11 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=196.88 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 183800 0 0 0 19675 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=3632 CPUtime=196.85 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 195945 0 0 0 19672 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=28876 CPUtime=196.16 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 197239 0 0 0 19589 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=2016 CPUtime=195.65 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 197108 0 0 0 19538 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 1573.7 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+200.001 s]*
/proc/loadavg: 7.90 4.62 2.81 9/201 8290
/proc/meminfo: memFree=31041348/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=1586.54 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1680730 0 1 0 158475 179 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=8317482817917895235 CPUtime=197.58 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 191566 0 0 0 19731 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5039014 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=4126316290023845779 CPUtime=198.51 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 190013 0 0 0 19838 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=279419164570944 CPUtime=198.46 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 192886 0 0 0 19817 29 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5038848 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=8027220352060254570 CPUtime=198.51 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 197805 0 0 0 19840 11 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=7667730649140848994 CPUtime=198.49 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 183801 0 0 0 19836 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=3047711566422646390 CPUtime=198.46 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 195946 0 0 0 19833 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=7811866753774152032 CPUtime=197.75 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 197239 0 0 0 19748 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=7811866753774152032 CPUtime=197.25 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 197109 0 0 0 19698 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 1586.54 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+200.801 s]
/proc/loadavg: 7.90 4.62 2.81 9/201 8290
/proc/meminfo: memFree=31041348/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=1592.87 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1680730 0 1 0 159107 180 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=28876 CPUtime=198.38 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 191566 0 0 0 19811 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=988 CPUtime=199.3 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 190013 0 0 0 19917 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5039121 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=2016 CPUtime=199.26 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 192886 0 0 0 19897 29 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=1384 CPUtime=199.3 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 197805 0 0 0 19919 11 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=776 CPUtime=199.28 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 183801 0 0 0 19915 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=1564 CPUtime=199.25 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 195946 0 0 0 19912 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5039022 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=8556 CPUtime=198.54 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 197239 0 0 0 19827 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=1052 CPUtime=198.04 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 197109 0 0 0 19777 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038982 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 1592.87 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+201.601 s]
/proc/loadavg: 7.90 4.62 2.81 9/201 8290
/proc/meminfo: memFree=31041348/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=1599.25 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1680732 0 1 0 159745 180 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=533440 CPUtime=199.18 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 191567 0 0 0 19891 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5037825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.1 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 190013 0 0 0 19997 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=988 CPUtime=200.06 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 192886 0 0 0 19977 29 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.1 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 197805 0 0 0 19999 11 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=14008 CPUtime=200.08 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 183801 0 0 0 19995 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=9616 CPUtime=200.05 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 195946 0 0 0 19992 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=533440 CPUtime=199.32 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 197240 0 0 0 19905 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=988 CPUtime=198.84 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 197109 0 0 0 19857 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038982 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 1599.25 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+201.801 s]
/proc/loadavg: 7.90 4.62 2.81 9/201 8290
/proc/meminfo: memFree=31041348/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=1600.85 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1680732 0 1 0 159905 180 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=199.38 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 191567 0 0 0 19911 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=200.3 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 190013 0 0 0 20017 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=111632 CPUtime=200.26 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 192886 0 0 0 19997 29 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5038664 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=808 CPUtime=200.3 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 197805 0 0 0 20019 11 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038982 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=-7035114785800479027 CPUtime=200.28 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 183801 0 0 0 20015 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5038982 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=988 CPUtime=200.25 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 195946 0 0 0 20012 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5039217 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=2016 CPUtime=199.52 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 197240 0 0 0 19925 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5038784 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=1384 CPUtime=199.04 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 197109 0 0 0 19877 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 1600.85 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
[startup+201.901 s]
/proc/loadavg: 7.90 4.62 2.81 9/201 8290
/proc/meminfo: memFree=31041348/32770624 swapFree=66998776/67108860
[pid=8267] ppid=8264 vsize=1149544 memory=533440 CPUtime=1601.65 cores=0-7
/proc/8267/stat : 8267 (cosoco) S 8264 8267 7626 0 -1 1077944320 1680733 0 1 0 159985 180 0 0 20 0 9 0 436482787 1177133056 133360 33554432000 4194304 6211092 140732938793696 140732938791952 139871663357687 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 1 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
/proc/8267/statm: 287386 133360 832 493 0 280691 0
[pid=8267/tid=8272] ppid=8264 vsize=1149544 memory=533440 CPUtime=199.48 cores=0-7
/proc/8267/task/8272/stat : 8272 (cosoco) R 8264 8267 7626 0 -1 4202560 191567 0 0 0 19921 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871629433952 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8273] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.4 cores=0-7
/proc/8267/task/8273/stat : 8273 (cosoco) R 8264 8267 7626 0 -1 4202560 190013 0 0 0 20027 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871621041248 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8274] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.36 cores=0-7
/proc/8267/task/8274/stat : 8274 (cosoco) R 8264 8267 7626 0 -1 4202560 192886 0 0 0 20007 29 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871612648544 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8275] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.4 cores=0-7
/proc/8267/task/8275/stat : 8275 (cosoco) R 8264 8267 7626 0 -1 4202560 197805 0 0 0 20029 11 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871604255840 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8276] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.38 cores=0-7
/proc/8267/task/8276/stat : 8276 (cosoco) R 8264 8267 7626 0 -1 4202560 183801 0 0 0 20025 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871595863136 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8277] ppid=8264 vsize=1149544 memory=533440 CPUtime=200.35 cores=0-7
/proc/8267/task/8277/stat : 8277 (cosoco) R 8264 8267 7626 0 -1 4202560 195946 0 0 0 20022 13 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871587470432 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8278] ppid=8264 vsize=1149544 memory=533440 CPUtime=199.62 cores=0-7
/proc/8267/task/8278/stat : 8278 (cosoco) R 8264 8267 7626 0 -1 4202560 197240 0 0 0 19935 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871579077728 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
[pid=8267/tid=8279] ppid=8264 vsize=1149544 memory=533440 CPUtime=199.14 cores=0-7
/proc/8267/task/8279/stat : 8279 (cosoco) R 8264 8267 7626 0 -1 4202560 197110 0 0 0 19887 27 0 0 20 0 9 0 436482934 1177133056 133360 33554432000 4194304 6211092 140732938793696 139871570685024 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17321984 140732938802193 140732938802285 140732938802285 140732938805198 0
Current children cumulated CPU time: 1601.65 s
Current children cumulated vsize: 1149544 KiB
Current children cumulated memory: 533440 KiB
Child status: 0
Real time (s): 201.947
CPU time (s): 1601.75
CPU user time (s): 1599.93
CPU system time (s): 1.82673
CPU usage (%): 793.155
Max. virtual memory (cumulated for all children) (KiB): 1149544
Max. memory (cumulated for all children) (KiB): 533440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.93
system time used= 1.82673
maximum resident set size= 533648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1680777
page faults= 1
swaps= 0
block input operations= 9928
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 15441
# summary of solver processes directly reported to runsolver:
# pid: 8267
# total CPU time (s): 1601.75
# total CPU user time (s): 1599.93
# total CPU system time (s): 1.82673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04021 second user time and 1.8983 second system time
The end
Begin job on node102 at 2019-09-16 04:51:08 IDJOB=4398063 IDBENCH=125984 IDSOLVER=2851 FILE ID=node102/4398063-1568602314 RUNJOBID= node102-1568597211-7653 PBS_JOBID= 21703406 Free space on /tmp= 59328 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-21.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398063-1568602314/watcher-4398063-1568602314 -o /tmp/evaluation-result-4398063-1568602314/solver-4398063-1568602314 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568597211-7653 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398063-1568602314.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c7982e61e1aa12db31c7a822b635a08f RANDOM SEED=1447726090 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31086348 kB MemAvailable: 31898424 kB Buffers: 125528 kB Cached: 979536 kB SwapCached: 7752 kB Active: 373476 kB Inactive: 743796 kB Active(anon): 7000 kB Inactive(anon): 46632 kB Active(file): 366476 kB Inactive(file): 697164 kB Unevictable: 110384 kB Mlocked: 110384 kB SwapTotal: 67108860 kB SwapFree: 66998772 kB Dirty: 5200 kB Writeback: 0 kB AnonPages: 115032 kB Mapped: 41568 kB Shmem: 33368 kB Slab: 157284 kB SReclaimable: 128544 kB SUnreclaim: 28740 kB KernelStack: 3440 kB PageTables: 5884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 509424 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59324 MiB End job on node102 at 2019-09-16 04:54:30