0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c root propagations : 100
0.10/0.14 c
0.10/0.14 c This is cosoco 2.00 --
0.10/0.14 c
0.10/0.14 c command line: cosoco -model -nbcores=8 HOME/instance-4409343-1569839165.xml
0.10/0.14 c ========================================[ Problem Statistics ]===========================================
0.10/0.14 c |
0.10/0.14 c | Parse time : 0.12 s
0.10/0.14 c |
0.10/0.14 c | Variables: 80
0.10/0.14 c | Domain Sizes: 26..26
0.10/0.14 c |
0.10/0.14 c | Constraints: 18
0.10/0.14 c | Arity: 8..10
0.10/0.14 c |
0.10/0.14 c | Types:
0.10/0.14 c | Extension: 18 (nb tuples: 4591..7074) -- (shared: 128)
0.10/0.14 c |
0.10/0.14 c =========================================================================================================
0.10/0.14 c Parallel mode: Portfolio
0.10/0.14 c [pFactory][Group N°0] created (threads:8).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.10/0.14 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.10/0.14 c [pFactory][Group N°0] concurrent mode: enabled.
0.10/0.14 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.10/0.14 c [pFactory][Group N°0] task 7 launched on thread 0.
0.10/0.14 c [pFactory][Group N°0] task 6 launched on thread 1.
0.10/0.14 c [pFactory][Group N°0] task 5 launched on thread 2.
0.10/0.14 c [pFactory][Group N°0] task 4 launched on thread 6.
0.10/0.14 c [pFactory][Group N°0] task 3 launched on thread 7.
0.10/0.14 c [pFactory][Group N°0] task 2 launched on thread 4.
0.10/0.14 c [pFactory][Group N°0] task 1 launched on thread 3.
0.10/0.14 c [pFactory][Group N°0] task 0 launched on thread 5.
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.14 c root propagations : 100
0.10/0.14 c restarts enabled, print stats at every restarts
0.10/0.14 c
0.10/0.14 c
0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.15 c 0 2 89 178 52 0 0 0 0
0.10/0.15 c 0 2 90 176 52 0 0 0 0
0.10/0.15 c 0 2 89 250 52 0 0 0 0
0.10/0.15 c 0 2 89 178 52 0 0 0 0
0.10/0.15 c 0 2 96 567 52 0 0 0 0
0.10/0.15 c 0 3 91 180 52 0 0 0 0
0.10/0.15 c 0 2 89 166 52 0 0 0 0
0.10/0.15 c 0 3 92 178 52 0 0 0 0
0.10/0.15 c 0 3 91 252 52 0 0 0 0
0.10/0.15 c 0 3 91 180 52 0 0 0 0
0.10/0.15 c 0 3 98 569 52 0 0 0 0
0.10/0.15 c 0 2 95 338 52 0 0 0 0
0.10/0.15 c 0 5 125 1035 52 0 0 0 0
0.10/0.15 c 0 5 111 257 52 0 0 0 0
0.10/0.15 c 0 4 111 232 52 0 0 0 0
0.10/0.15 c 0 5 111 402 52 0 0 0 0
0.10/0.15 c 0 5 111 257 52 0 0 0 0
0.10/0.15 c 0 5 113 254 52 0 0 0 0
0.10/0.19 c 32 58 2078 27569 52 0 3 15 11
0.83/0.22 c 32 62 1657 26045 52 0 1 12 6
0.83/0.23 c 33 62 2215 29023 52 0 4 4 2
0.83/0.23 c 33 67 1781 27847 52 0 5 5 2
0.83/0.23 c 32 85 2886 33914 52 0 3 13 9
0.83/0.23 c 32 81 2544 32613 52 0 3 9 6
0.83/0.25 c 33 82 2599 33793 52 0 1 1 0
0.83/0.25 c 33 89 3016 35454 52 0 4 4 2
0.83/0.26 c 101 152 5799 82637 52 0 4 14 11
0.83/0.31 c 64 152 4755 61195 52 0 11 14 11
0.83/0.31 c 64 137 4219 57054 52 0 9 10 8
1.62/0.32 c 64 174 4052 63338 52 0 1 12 7
1.62/0.32 c 65 140 4325 58619 52 0 3 3 1
1.62/0.32 c 65 157 4945 62760 52 0 5 5 2
1.62/0.33 c 65 178 4153 64824 52 0 4 4 2
1.62/0.33 c 66 142 4389 60328 52 0 2 2 1
1.62/0.34 c 66 180 4193 65878 52 0 2 2 1
1.62/0.34 c 66 168 5106 64292 52 0 11 11 5
1.62/0.34 c 67 144 4460 61688 52 0 2 2 1
1.62/0.34 c 101 218 6806 84888 52 0 9 14 10
1.62/0.35 c 64 150 4875 63785 52 0 6 11 8
1.62/0.35 c 67 181 4223 67305 52 0 1 1 0
1.62/0.35 c 67 177 5249 65854 52 0 9 9 4
1.62/0.35 c 101 236 7520 102826 52 0 4 17 10
1.62/0.36 c 65 156 5099 65936 52 0 6 6 3
1.62/0.37 c 66 158 5156 67417 52 0 2 2 1
1.62/0.38 c 67 167 5293 68869 52 0 9 9 4
2.41/0.48 c 101 207 6714 107859 52 0 4 14 7
3.19/0.54 c 128 253 8187 124863 52 0 3 15 9
3.19/0.55 c 128 375 10860 128647 52 0 4 13 11
3.19/0.55 c 211 520 14787 194610 52 0 1 13 10
3.19/0.55 c 211 489 14236 198307 52 0 4 14 10
3.19/0.56 c 129 258 8378 127718 52 0 5 5 2
3.19/0.56 c 129 381 11006 130471 52 0 6 6 3
3.19/0.56 c 128 345 8605 136787 53 0 2 12 6
3.19/0.57 c 130 261 8507 130009 53 0 3 3 1
3.19/0.57 c 130 391 11136 131704 53 0 10 10 5
3.19/0.57 c 129 356 8716 138263 55 0 11 11 5
3.19/0.57 c 128 366 11021 132760 52 0 3 14 10
3.19/0.58 c 131 270 8618 131091 55 0 9 9 4
3.19/0.58 c 131 401 11314 133562 55 0 10 10 5
3.19/0.58 c 130 361 8828 140869 55 0 5 5 2
3.19/0.59 c 132 275 8726 132666 55 0 5 5 2
3.19/0.59 c 129 375 11174 134320 55 0 9 9 4
3.19/0.59 c 131 365 8917 142339 55 0 4 4 2
3.19/0.60 c 133 286 8892 133932 55 0 11 11 5
3.19/0.60 c 132 410 11441 134955 55 0 9 9 4
3.19/0.60 c 130 386 11337 135752 55 0 11 11 5
3.19/0.60 c 134 289 9003 135781 55 0 3 3 1
3.19/0.60 c 132 367 8960 143419 55 0 2 2 1
3.93/0.61 c 133 368 8976 144385 55 0 1 1 0
3.93/0.61 c 135 290 9056 136978 55 0 1 1 0
3.93/0.61 c 133 422 11586 136424 55 0 12 12 6
3.93/0.61 c 131 397 11481 137209 55 0 11 11 5
3.93/0.62 c 134 379 9081 145587 55 0 11 11 5
3.93/0.63 c 134 425 11658 137579 55 0 3 3 1
3.93/0.63 c 132 402 11669 139306 55 0 5 5 2
3.93/0.63 c 135 381 9140 146846 55 0 2 2 1
3.93/0.64 c 135 431 11830 139737 55 0 6 6 3
3.93/0.64 c 133 411 11820 140833 55 0 9 9 4
3.93/0.65 c 134 415 11920 142144 55 0 4 4 2
3.93/0.67 c 135 424 12038 143306 55 0 9 9 4
4.65/0.72 c 211 435 13718 204289 52 0 2 14 9
4.65/0.74 c 332 702 21193 296678 52 0 11 14 11
4.65/0.78 c 211 450 14210 205727 52 0 2 15 6
5.45/0.84 c 256 511 16049 242578 55 0 2 18 10
5.45/0.86 c 257 514 16104 243460 55 0 3 3 1
5.45/0.86 c 332 726 23055 310795 55 0 2 12 5
5.45/0.87 c 258 518 16172 244814 55 0 4 4 2
5.45/0.87 c 256 653 20004 240467 55 0 5 13 10
5.45/0.88 c 259 529 16285 246013 55 0 11 11 5
5.45/0.89 c 260 533 16353 247367 55 0 4 4 2
5.45/0.89 c 257 665 20183 241886 55 0 12 12 6
6.25/0.90 c 261 544 16466 248566 55 0 11 11 5
6.25/0.90 c 258 676 20276 242945 55 0 11 11 5
6.25/0.91 c 262 548 16534 249920 55 0 4 4 2
6.25/0.91 c 259 678 20338 244507 55 0 2 2 1
6.25/0.91 c 260 680 20395 246098 55 0 2 2 1
6.25/0.92 c 263 559 16647 251119 55 0 11 11 5
6.25/0.92 c 261 682 20457 247660 55 0 2 2 1
6.25/0.92 c 264 563 16715 252473 55 0 4 4 2
6.25/0.93 c 262 684 20514 249251 55 0 2 2 1
6.25/0.93 c 265 574 16828 253672 55 0 11 11 5
6.25/0.94 c 263 686 20576 250813 55 0 2 2 1
6.25/0.94 c 266 578 16896 255026 55 0 4 4 2
6.25/0.94 c 264 688 20635 252405 55 0 2 2 1
6.25/0.95 c 267 589 17011 256225 55 0 11 11 5
6.25/0.95 c 265 690 20697 253967 55 0 2 2 1
6.25/0.97 c 268 593 17079 257578 55 0 4 4 2
6.25/0.97 c 266 692 20754 255558 55 0 2 2 1
6.25/0.97 c 267 694 20816 257120 55 0 2 2 1
6.25/0.98 c 269 604 17192 258776 55 0 11 11 5
6.25/0.98 c 268 696 20873 258711 55 0 2 2 1
6.25/0.98 c 270 608 17260 260129 55 0 4 4 2
6.25/0.98 c 465 937 29452 413379 55 0 4 18 12
6.25/0.98 c 269 698 20935 260273 55 0 2 2 1
6.25/0.99 c 332 699 20318 299985 55 0 2 12 9
6.25/0.99 c 271 619 17373 261327 55 0 11 11 5
6.25/0.99 c 270 700 20992 261864 55 0 2 2 1
6.25/1.00 c 271 702 21054 263426 55 0 2 2 1
7.13/1.01 c 256 722 21322 269785 55 0 3 13 8
7.13/1.02 c 257 733 21478 271221 57 0 11 11 5
7.13/1.04 c 258 738 21633 273458 57 0 5 5 2
7.13/1.04 c 256 651 16638 274580 55 0 1 13 6
7.13/1.05 c 257 662 16754 276064 57 0 11 11 5
7.13/1.06 c 259 748 21814 275471 57 0 10 10 5
7.13/1.06 c 258 665 16838 277140 57 0 3 3 1
7.13/1.07 c 259 676 16949 278620 57 0 11 11 5
7.13/1.08 c 260 760 22003 276807 57 0 12 12 6
7.13/1.08 c 260 679 17033 279696 57 0 3 3 1
7.13/1.09 c 261 690 17144 281176 57 0 11 11 5
7.13/1.09 c 261 770 22184 278817 57 0 10 10 5
7.13/1.10 c 262 693 17228 282252 57 0 3 3 1
7.91/1.12 c 263 704 17339 283732 57 0 11 11 5
7.91/1.12 c 262 782 22373 280153 57 0 12 12 6
7.91/1.12 c 264 707 17424 284808 57 0 3 3 1
7.91/1.13 c 265 718 17535 286288 57 0 11 11 5
7.91/1.13 c 263 792 22554 282163 57 0 10 10 5
7.91/1.15 c 266 721 17619 287364 57 0 3 3 1
7.91/1.15 c 267 732 17730 288844 57 0 11 11 5
7.91/1.15 c 264 804 22743 283499 57 0 12 12 6
7.91/1.15 c 332 655 21252 323818 55 0 2 14 7
7.91/1.16 c 268 735 17815 289920 57 0 3 3 1
7.91/1.17 c 269 746 17926 291400 57 0 11 11 5
7.91/1.17 c 265 814 22924 285509 57 0 10 10 5
7.91/1.18 c 270 749 18011 292476 57 0 3 3 1
7.91/1.18 c 266 826 23113 286845 57 0 12 12 6
7.91/1.19 c 271 760 18124 293687 57 0 11 11 5
8.65/1.20 c 267 836 23294 288855 57 0 10 10 5
8.65/1.21 c 268 848 23483 290191 57 0 12 12 6
8.65/1.23 c 269 858 23671 292264 57 0 10 10 5
8.65/1.25 c 465 1071 32643 453093 57 0 2 12 6
8.65/1.25 c 270 870 23858 293598 57 0 12 12 6
8.65/1.25 c 611 1233 38523 540576 55 0 7 18 11
8.65/1.27 c 271 880 24045 295668 57 0 10 10 5
10.24/1.42 c 465 957 28980 433941 57 0 3 13 6
11.04/1.53 c 771 1540 46629 674057 57 0 3 15 10
11.84/1.60 c 611 1435 41783 591122 57 0 2 12 8
11.84/1.61 c 512 1119 31157 477666 57 0 2 15 9
11.84/1.62 c 513 1125 31243 478697 57 0 6 6 3
11.84/1.63 c 514 1136 31395 480218 57 0 11 11 5
11.84/1.65 c 515 1145 31490 481426 57 0 9 9 4
11.84/1.66 c 516 1148 31617 483836 57 0 3 3 1
11.84/1.66 c 465 909 30286 467486 57 0 4 14 7
11.84/1.67 c 512 1212 38631 524844 57 0 2 17 6
11.84/1.67 c 517 1153 31664 484777 57 0 5 5 2
11.84/1.67 c 518 1157 31737 486098 57 0 4 4 2
11.84/1.68 c 513 1216 38780 526389 57 0 4 4 2
11.84/1.68 c 519 1162 31784 487039 57 0 5 5 2
11.84/1.68 c 520 1166 31857 488360 57 0 4 4 2
11.84/1.69 c 514 1227 38893 527714 57 0 11 11 5
11.84/1.69 c 521 1171 31904 489301 57 0 5 5 2
11.84/1.69 c 515 1229 38928 528738 57 0 2 2 1
12.64/1.70 c 522 1175 31977 490622 57 0 4 4 2
12.64/1.70 c 516 1232 39066 530873 57 0 3 3 1
12.64/1.70 c 523 1180 32024 491563 57 0 5 5 2
12.64/1.72 c 517 1234 39101 531897 57 0 2 2 1
12.64/1.72 c 524 1184 32097 492884 57 0 4 4 2
12.64/1.73 c 525 1189 32144 493825 57 0 5 5 2
12.64/1.73 c 518 1237 39239 534032 57 0 3 3 1
12.64/1.73 c 526 1193 32217 495146 57 0 4 4 2
12.64/1.73 c 519 1239 39274 535056 57 0 2 2 1
12.64/1.74 c 527 1198 32264 496087 57 0 5 5 2
12.64/1.74 c 520 1242 39412 537191 57 0 3 3 1
12.64/1.75 c 528 1202 32337 497408 57 0 4 4 2
12.64/1.75 c 521 1244 39447 538215 57 0 2 2 1
12.64/1.75 c 512 1267 34260 515361 57 0 1 15 10
12.64/1.75 c 529 1207 32384 498349 57 0 5 5 2
12.64/1.76 c 530 1211 32457 499670 57 0 4 4 2
12.64/1.76 c 522 1247 39585 540350 57 0 3 3 1
12.64/1.76 c 513 1269 34305 516418 57 0 2 2 1
12.64/1.77 c 531 1216 32504 500611 57 0 5 5 2
12.64/1.77 c 523 1249 39620 541374 57 0 2 2 1
12.64/1.77 c 514 1280 34410 517597 57 0 11 11 5
12.64/1.77 c 532 1220 32577 501932 57 0 4 4 2
12.64/1.78 c 524 1252 39758 543509 57 0 3 3 1
12.64/1.78 c 533 1225 32624 502873 57 0 5 5 2
12.64/1.78 c 525 1254 39793 544533 57 0 2 2 1
12.64/1.78 c 515 1285 34566 519726 57 0 5 5 2
12.64/1.78 c 534 1229 32697 504194 57 0 4 4 2
12.64/1.79 c 535 1234 32744 505135 57 0 5 5 2
12.64/1.79 c 526 1257 39931 546668 57 0 3 3 1
12.64/1.80 c 516 1294 34691 520766 57 0 9 9 4
13.44/1.80 c 536 1238 32817 506456 57 0 4 4 2
13.44/1.80 c 527 1259 39966 547692 57 0 2 2 1
13.44/1.81 c 517 1299 34738 521707 57 0 5 5 2
13.44/1.81 c 537 1243 32864 507397 57 0 5 5 2
13.44/1.82 c 528 1262 40104 549827 57 0 3 3 1
13.44/1.82 c 518 1303 34811 523028 57 0 4 4 2
13.44/1.82 c 538 1247 32937 508718 57 0 4 4 2
13.44/1.82 c 529 1264 40139 550851 57 0 2 2 1
13.44/1.82 c 519 1308 34858 523969 57 0 5 5 2
13.44/1.82 c 539 1252 32984 509659 57 0 5 5 2
13.44/1.83 c 520 1312 34931 525290 57 0 4 4 2
13.44/1.83 c 540 1256 33057 510980 57 0 4 4 2
13.44/1.83 c 530 1267 40277 552986 57 0 3 3 1
13.44/1.83 c 521 1317 34978 526231 57 0 5 5 2
13.44/1.83 c 541 1261 33104 511921 57 0 5 5 2
13.44/1.83 c 531 1269 40312 554010 57 0 2 2 1
13.44/1.84 c 522 1321 35051 527552 57 0 4 4 2
13.44/1.84 c 542 1265 33177 513242 57 0 4 4 2
13.44/1.84 c 532 1273 40410 555459 57 0 4 4 2
13.44/1.85 c 523 1326 35098 528493 57 0 5 5 2
13.44/1.85 c 543 1270 33224 514183 57 0 5 5 2
13.44/1.85 c 533 1275 40445 556483 57 0 2 2 1
13.44/1.85 c 524 1330 35171 529814 57 0 4 4 2
13.44/1.87 c 534 1279 40543 557932 57 0 4 4 2
13.44/1.87 c 525 1335 35218 530755 57 0 5 5 2
13.44/1.87 c 611 1285 37724 573598 57 0 1 16 7
13.44/1.87 c 535 1281 40578 558956 57 0 2 2 1
13.44/1.88 c 526 1339 35291 532076 57 0 4 4 2
13.44/1.88 c 527 1344 35338 533017 57 0 5 5 2
13.44/1.88 c 536 1285 40676 560405 57 0 4 4 2
13.44/1.89 c 528 1348 35411 534338 57 0 4 4 2
13.44/1.89 c 537 1287 40711 561429 57 0 2 2 1
13.44/1.89 c 771 1762 52306 721729 57 0 2 13 9
14.24/1.90 c 529 1353 35458 535279 57 0 5 5 2
14.24/1.90 c 538 1291 40809 562878 57 0 4 4 2
14.24/1.90 c 530 1357 35531 536600 57 0 4 4 2
14.24/1.91 c 539 1293 40844 563902 57 0 2 2 1
14.24/1.91 c 531 1362 35578 537541 57 0 5 5 2
14.24/1.92 c 540 1297 40942 565351 57 0 4 4 2
14.24/1.92 c 532 1366 35653 538862 57 0 4 4 2
14.24/1.92 c 541 1299 40979 566375 57 0 2 2 1
14.24/1.92 c 533 1371 35700 539802 57 0 5 5 2
14.24/1.93 c 534 1375 35773 541122 57 0 4 4 2
14.24/1.93 c 542 1303 41077 567823 57 0 4 4 2
14.24/1.94 c 535 1380 35820 542062 57 0 5 5 2
14.24/1.94 c 543 1305 41112 568846 57 0 2 2 1
14.24/1.95 c 536 1384 35893 543382 57 0 4 4 2
14.24/1.95 c 537 1389 35940 544322 57 0 5 5 2
14.24/1.96 c 538 1393 36013 545642 57 0 4 4 2
14.24/1.97 c 539 1398 36060 546582 57 0 5 5 2
14.24/1.97 c 540 1402 36133 547902 57 0 4 4 2
14.24/1.98 c 541 1407 36180 548842 57 0 5 5 2
14.24/1.99 c 542 1411 36253 550162 57 0 4 4 2
14.24/1.99 c 543 1416 36300 551102 57 0 5 5 2
14.24/2.00 c 611 1223 40175 600153 57 0 3 13 9
15.10/2.03 c 512 1467 43758 558799 57 0 3 19 11
15.10/2.04 c 513 1478 43941 560113 57 0 11 11 5
15.10/2.05 c 514 1489 44057 561133 57 0 11 11 5
15.10/2.07 c 515 1499 44304 562690 57 0 10 10 5
15.10/2.09 c 516 1510 44601 564447 57 0 11 11 5
15.91/2.11 c 517 1522 44893 567041 57 0 12 12 6
15.91/2.12 c 947 1890 58266 856146 57 0 2 13 6
15.91/2.12 c 518 1532 45111 569139 57 0 10 10 5
15.91/2.14 c 519 1537 45292 570699 57 0 5 5 2
15.91/2.15 c 520 1548 45405 571718 57 0 11 11 5
15.91/2.17 c 521 1558 45650 573273 57 0 10 10 5
15.91/2.19 c 522 1569 45948 575028 57 0 11 11 5
16.63/2.21 c 523 1581 46242 577619 57 0 12 12 6
16.63/2.22 c 524 1591 46546 579400 57 0 10 10 5
16.63/2.24 c 525 1602 46680 580418 57 0 11 11 5
16.63/2.26 c 526 1612 46919 582104 57 0 10 10 5
16.63/2.27 c 771 1769 49354 730646 57 0 2 16 9
16.63/2.28 c 527 1623 47214 584016 57 0 11 11 5
16.63/2.29 c 528 1635 47508 586604 57 0 12 12 6
16.63/2.29 c 947 2226 63945 875906 57 0 2 14 7
17.43/2.31 c 529 1645 47810 588382 57 0 10 10 5
17.43/2.32 c 1000 2007 61494 912610 57 0 3 14 6
17.43/2.33 c 1000 2008 61500 912617 57 0 0 0 0
17.43/2.33 c 530 1656 47941 589399 57 0 11 11 5
17.43/2.33 c 1000 2010 61522 912664 57 0 0 0 0
17.43/2.34 c 531 1666 48180 590953 57 0 10 10 5
17.43/2.36 c 532 1677 48476 592852 57 0 11 11 5
17.43/2.38 c 533 1689 48770 595435 57 0 12 12 6
18.23/2.40 c 534 1699 49071 597211 57 0 10 10 5
18.23/2.41 c 1000 2328 67260 920267 57 0 2 11 7
18.23/2.41 c 535 1710 49200 598227 57 0 11 11 5
18.23/2.43 c 536 1720 49441 599790 57 0 10 10 5
18.23/2.45 c 537 1731 49739 601688 57 0 11 11 5
18.23/2.47 c 538 1743 50035 604269 57 0 12 12 6
18.23/2.48 c 539 1753 50325 606043 57 0 10 10 5
19.03/2.50 c 540 1764 50454 607056 57 0 11 11 5
19.03/2.52 c 541 1774 50690 608557 57 0 10 10 5
19.03/2.53 c 542 1785 50987 610453 57 0 11 11 5
19.03/2.55 c 543 1797 51281 613033 57 0 12 12 6
19.03/2.59 c 947 2104 59680 880510 57 0 2 14 11
19.83/2.62 c 1140 2553 74460 1023671 57 0 1 13 9
19.83/2.64 c 771 1626 51961 783092 57 0 3 13 7
20.63/2.76 c 1140 2419 72212 1070802 57 0 2 13 7
20.63/2.78 c 1000 2220 63043 931784 57 0 3 13 7
21.43/2.81 c 1024 2476 61481 918364 57 0 2 14 10
21.43/2.82 c 1025 2481 61541 919700 57 0 5 5 2
21.43/2.83 c 1026 2482 61587 920934 57 0 1 1 0
21.43/2.85 c 1027 2485 61696 922573 57 0 3 3 1
21.43/2.85 c 1028 2490 61756 923908 57 0 5 5 2
21.43/2.86 c 1029 2493 61865 925547 57 0 3 3 1
21.43/2.87 c 1030 2498 61925 926882 57 0 5 5 2
21.43/2.88 c 1031 2501 62034 928521 57 0 3 3 1
21.43/2.89 c 1032 2506 62094 929856 57 0 5 5 2
22.23/2.90 c 1033 2509 62203 931495 57 0 3 3 1
22.23/2.90 c 1034 2514 62263 932830 57 0 5 5 2
22.23/2.91 c 1035 2517 62372 934469 57 0 3 3 1
22.23/2.92 c 1036 2522 62432 935804 57 0 5 5 2
22.23/2.93 c 1037 2525 62543 937443 57 0 3 3 1
22.23/2.94 c 1038 2530 62603 938777 57 0 5 5 2
22.23/2.96 c 1039 2533 62712 940415 57 0 3 3 1
22.23/2.96 c 1040 2538 62772 941749 57 0 5 5 2
22.23/2.97 c 1041 2541 62881 943387 57 0 3 3 1
22.23/2.98 c 1042 2546 62941 944721 57 0 5 5 2
22.23/2.99 c 1043 2549 63050 946359 57 0 3 3 1
22.23/3.00 c 1044 2554 63110 947693 57 0 5 5 2
23.08/3.01 c 1045 2557 63219 949331 57 0 3 3 1
23.08/3.01 c 1046 2562 63279 950665 57 0 5 5 2
23.08/3.02 c 1047 2565 63388 952303 57 0 3 3 1
23.08/3.03 c 1048 2570 63448 953637 57 0 5 5 2
23.08/3.04 c 1049 2573 63557 955275 57 0 3 3 1
23.08/3.04 c 1352 2987 86381 1214082 57 0 2 13 7
23.08/3.05 c 1050 2578 63617 956609 57 0 5 5 2
23.08/3.07 c 1051 2581 63726 958247 57 0 3 3 1
23.08/3.08 c 1052 2586 63786 959581 57 0 5 5 2
23.08/3.08 c 1140 2507 71927 1051231 57 0 4 16 9
23.08/3.08 c 1053 2589 63895 961219 57 0 3 3 1
23.08/3.09 c 1054 2594 63957 962553 57 0 5 5 2
23.08/3.10 c 1055 2597 64068 964190 57 0 3 3 1
23.89/3.11 c 1056 2602 64130 965522 57 0 5 5 2
23.89/3.12 c 947 2023 65213 946480 57 0 3 13 9
23.89/3.12 c 1057 2605 64241 967156 57 0 3 3 1
23.89/3.13 c 1058 2610 64301 968485 57 0 5 5 2
23.89/3.14 c 1059 2613 64410 970118 57 0 3 3 1
23.89/3.14 c 1060 2618 64470 971447 57 0 5 5 2
23.89/3.15 c 1061 2621 64579 973080 57 0 3 3 1
23.89/3.16 c 1062 2626 64639 974409 57 0 5 5 2
23.89/3.18 c 1063 2629 64748 976042 57 0 3 3 1
23.89/3.19 c 1064 2634 64808 977371 57 0 5 5 2
24.61/3.20 c 1065 2637 64917 979004 57 0 3 3 1
24.61/3.20 c 1066 2642 64977 980333 57 0 5 5 2
24.61/3.21 c 1067 2645 65086 981966 57 0 3 3 1
24.61/3.22 c 1068 2650 65146 983295 57 0 5 5 2
24.61/3.23 c 1069 2653 65255 984928 57 0 3 3 1
24.61/3.24 c 1070 2658 65315 986257 57 0 5 5 2
24.61/3.25 c 1071 2661 65424 987890 57 0 3 3 1
24.61/3.25 c 1072 2666 65484 989219 57 0 5 5 2
24.61/3.26 c 1073 2669 65593 990852 57 0 3 3 1
24.61/3.27 c 1074 2674 65655 992181 57 0 5 5 2
24.61/3.29 c 1075 2677 65764 993813 57 0 3 3 1
24.61/3.29 c 1000 2342 62817 977168 57 0 2 14 8
25.41/3.30 c 1076 2682 65824 995141 57 0 5 5 2
25.41/3.31 c 1077 2685 65933 996773 57 0 3 3 1
25.41/3.31 c 1078 2690 65993 998101 57 0 5 5 2
25.41/3.32 c 1079 2693 66102 999733 57 0 3 3 1
25.41/3.33 c 1080 2698 66162 1001061 57 0 5 5 2
25.41/3.34 c 1081 2701 66271 1002693 57 0 3 3 1
25.41/3.35 c 1082 2706 66331 1004021 57 0 5 5 2
25.41/3.35 c 1024 2385 64053 997886 57 0 5 15 10
25.41/3.36 c 1083 2709 66440 1005653 57 0 3 3 1
25.41/3.36 c 1025 2388 64265 999644 57 0 3 3 1
25.41/3.36 c 1084 2714 66502 1006981 57 0 5 5 2
25.41/3.36 c 1026 2390 64382 1001029 57 0 2 2 1
25.41/3.38 c 1085 2717 66665 1009049 57 0 3 3 1
25.41/3.38 c 1027 2396 64603 1003439 57 0 6 6 3
25.41/3.39 c 1086 2728 66920 1011533 57 0 11 11 5
26.21/3.40 c 1028 2399 64816 1005196 57 0 3 3 1
26.21/3.40 c 1029 2401 64934 1006580 57 0 2 2 1
26.21/3.41 c 1087 2731 67080 1013577 57 0 3 3 1
26.21/3.41 c 1352 2975 87017 1299999 57 0 3 14 8
26.21/3.41 c 1030 2407 65155 1008989 57 0 6 6 3
26.21/3.43 c 1031 2416 65359 1010471 57 0 9 9 4
26.21/3.44 c 1032 2418 65407 1011601 57 0 2 2 1
26.21/3.45 c 1033 2427 65611 1013083 57 0 9 9 4
26.21/3.45 c 1034 2429 65659 1014213 57 0 2 2 1
26.21/3.47 c 1035 2438 65863 1015695 57 0 9 9 4
26.21/3.48 c 1036 2447 65964 1017004 57 0 9 9 4
26.21/3.49 c 1037 2452 66023 1018328 57 0 5 5 2
27.01/3.50 c 1038 2458 66244 1020737 57 0 6 6 3
27.01/3.51 c 1039 2467 66448 1022219 57 0 9 9 4
27.01/3.53 c 1040 2476 66549 1023528 57 0 9 9 4
27.01/3.54 c 1041 2481 66608 1024852 57 0 5 5 2
27.01/3.54 c 1000 2614 80731 1026019 57 0 3 14 8
27.01/3.55 c 1042 2487 66828 1027196 57 0 6 6 3
27.01/3.56 c 1043 2496 67032 1028678 57 0 9 9 4
27.01/3.57 c 1044 2505 67133 1029987 57 0 9 9 4
27.01/3.58 c 1045 2510 67192 1031311 57 0 5 5 2
27.01/3.59 c 1046 2516 67413 1033720 57 0 6 6 3
27.81/3.61 c 1047 2525 67617 1035202 57 0 9 9 4
27.81/3.61 c 1024 2675 82434 1048352 57 0 4 12 8
27.81/3.62 c 1048 2536 67734 1036572 57 0 11 11 5
27.81/3.63 c 1049 2545 67835 1037881 57 0 9 9 4
27.81/3.63 c 1025 2686 82650 1049822 57 0 11 11 5
27.81/3.64 c 1050 2550 67894 1039205 57 0 5 5 2
27.81/3.64 c 1026 2697 82761 1050797 57 0 11 11 5
27.81/3.64 c 1585 3596 101551 1442325 57 0 2 16 9
27.81/3.65 c 1051 2556 68114 1041549 57 0 6 6 3
27.81/3.65 c 1000 2307 71887 1067906 57 0 1 15 6
27.81/3.65 c 1027 2702 82974 1053708 57 0 5 5 2
27.81/3.65 c 1000 2309 71911 1067966 57 0 0 0 0
27.81/3.66 c 1052 2565 68320 1043031 57 0 9 9 4
27.81/3.66 c 1000 2312 71951 1068289 57 0 0 0 0
27.81/3.66 c 1028 2713 83085 1054697 57 0 11 11 5
27.81/3.66 c 1000 2313 71953 1068291 57 0 0 0 0
27.81/3.67 c 1053 2576 68439 1044399 57 0 11 11 5
27.81/3.67 c 1000 2316 71991 1068613 57 0 0 0 0
27.81/3.68 c 1029 2718 83300 1057605 57 0 5 5 2
27.81/3.69 c 1054 2585 68542 1045704 57 0 9 9 4
27.81/3.69 c 1140 2504 79666 1153138 57 0 3 18 9
27.81/3.69 c 1030 2729 83411 1058590 57 0 11 11 5
28.61/3.70 c 1055 2590 68601 1047023 57 0 5 5 2
28.61/3.71 c 1056 2596 68824 1049427 57 0 6 6 3
28.61/3.71 c 1031 2734 83624 1061496 57 0 5 5 2
28.61/3.71 c 1032 2745 83735 1062480 57 0 11 11 5
28.61/3.72 c 1057 2605 69030 1050904 57 0 9 9 4
28.61/3.73 c 1058 2616 69147 1052268 57 0 11 11 5
28.61/3.73 c 1033 2750 83946 1065374 57 0 5 5 2
28.61/3.74 c 1059 2625 69248 1053571 57 0 9 9 4
28.61/3.74 c 1034 2761 84055 1066357 57 0 11 11 5
28.61/3.75 c 1060 2630 69307 1054889 57 0 5 5 2
28.61/3.75 c 1035 2766 84266 1069251 57 0 5 5 2
28.61/3.76 c 1061 2636 69528 1057223 58 0 6 6 3
28.61/3.76 c 1036 2777 84377 1070236 58 0 11 11 5
28.61/3.77 c 1024 2402 74080 1099057 57 0 3 14 8
28.61/3.77 c 1062 2645 69732 1058698 58 0 9 9 4
28.61/3.78 c 1037 2782 84588 1073128 58 0 5 5 2
28.61/3.78 c 1063 2656 69849 1060061 58 0 11 11 5
28.61/3.79 c 1025 2413 74220 1100126 58 0 11 11 5
28.61/3.79 c 1352 3006 86901 1283575 57 0 2 18 8
28.61/3.79 c 1038 2793 84697 1074112 58 0 11 11 5
28.61/3.79 c 1064 2665 69950 1061363 58 0 9 9 4
28.61/3.79 c 1026 2416 74292 1101660 58 0 3 3 1
28.61/3.80 c 1065 2670 70009 1062680 58 0 5 5 2
28.61/3.80 c 1039 2798 84908 1077004 58 0 5 5 2
29.49/3.82 c 1027 2427 74434 1102843 58 0 11 11 5
29.49/3.82 c 1040 2809 85017 1077988 58 0 11 11 5
29.49/3.82 c 1066 2676 70230 1065078 58 0 6 6 3
29.49/3.82 c 1028 2432 74595 1103907 58 0 5 5 2
29.49/3.83 c 1067 2685 70434 1066553 58 0 9 9 4
29.49/3.83 c 1041 2814 85231 1080801 58 0 5 5 2
29.49/3.84 c 1068 2696 70551 1067916 58 0 11 11 5
29.49/3.84 c 1042 2825 85340 1081785 58 0 11 11 5
29.49/3.84 c 1029 2439 74788 1105869 58 0 7 7 3
29.49/3.85 c 1069 2705 70652 1069218 58 0 9 9 4
29.49/3.85 c 1030 2443 74923 1107674 58 0 4 4 2
29.49/3.85 c 1043 2830 85553 1084688 58 0 5 5 2
29.49/3.85 c 1070 2710 70711 1070535 58 0 5 5 2
29.49/3.86 c 1031 2455 75057 1108914 58 0 12 12 6
29.49/3.86 c 1044 2841 85662 1085672 58 0 11 11 5
29.49/3.87 c 1071 2716 70930 1072868 58 0 6 6 3
29.49/3.87 c 1032 2458 75129 1110448 58 0 3 3 1
29.49/3.88 c 1045 2846 85875 1088575 58 0 5 5 2
29.49/3.88 c 1072 2725 71134 1074343 58 0 9 9 4
29.49/3.88 c 1033 2469 75271 1111631 58 0 11 11 5
29.49/3.89 c 1046 2857 85984 1089559 58 0 11 11 5
29.49/3.89 c 1073 2736 71251 1075706 58 0 11 11 5
29.49/3.90 c 1034 2474 75432 1112695 58 0 5 5 2
29.49/3.90 c 1074 2745 71352 1077008 58 0 9 9 4
29.49/3.90 c 1047 2862 86197 1092462 58 0 5 5 2
30.25/3.91 c 1075 2750 71411 1078325 58 0 5 5 2
30.25/3.91 c 1048 2873 86306 1093446 58 0 11 11 5
30.25/3.91 c 1035 2481 75626 1114704 58 0 7 7 3
30.25/3.92 c 1076 2756 71631 1080723 58 0 6 6 3
30.25/3.92 c 1036 2485 75759 1116427 58 0 4 4 2
30.25/3.92 c 1049 2878 86519 1096349 58 0 5 5 2
30.25/3.93 c 1050 2889 86628 1097333 58 0 11 11 5
30.25/3.93 c 1037 2497 75893 1117667 58 0 12 12 6
30.25/3.93 c 1077 2765 71835 1082198 58 0 9 9 4
30.25/3.94 c 1078 2776 71952 1083561 58 0 11 11 5
30.25/3.94 c 1038 2500 75965 1119201 58 0 3 3 1
30.25/3.95 c 1051 2894 86841 1100236 58 0 5 5 2
30.25/3.95 c 1079 2785 72053 1084863 58 0 9 9 4
30.25/3.96 c 1039 2511 76107 1120384 58 0 11 11 5
30.25/3.96 c 1052 2905 86950 1101220 58 0 11 11 5
30.25/3.96 c 1080 2790 72112 1086180 58 0 5 5 2
30.25/3.97 c 1040 2516 76268 1121448 58 0 5 5 2
30.25/3.97 c 1053 2910 87163 1104123 58 0 5 5 2
30.25/3.97 c 1081 2796 72332 1088578 58 0 6 6 3
30.25/3.98 c 1054 2921 87272 1105107 58 0 11 11 5
30.25/3.98 c 1041 2523 76461 1123452 58 0 7 7 3
30.25/3.99 c 1082 2805 72536 1090053 58 0 9 9 4
30.25/4.00 c 1083 2816 72653 1091416 58 0 11 11 5
30.25/4.00 c 1055 2925 87404 1106429 58 0 4 4 2
30.25/4.00 c 1042 2527 76594 1125175 58 0 4 4 2
30.25/4.00 c 1056 2936 87515 1107399 58 0 11 11 5
30.25/4.00 c 1084 2825 72754 1092718 58 0 9 9 4
30.25/4.01 c 1085 2830 72813 1094035 58 0 5 5 2
31.06/4.02 c 1043 2539 76729 1126415 58 0 12 12 6
31.06/4.02 c 1057 2940 87654 1108816 58 0 4 4 2
31.06/4.03 c 1086 2836 73033 1096433 58 0 6 6 3
31.06/4.03 c 1044 2542 76801 1127949 58 0 3 3 1
31.06/4.03 c 1058 2951 87765 1109786 58 0 11 11 5
31.06/4.04 c 1352 3100 96579 1329086 57 0 7 16 14
31.06/4.05 c 1045 2553 76943 1129132 58 0 11 11 5
31.06/4.05 c 1059 2955 87904 1111203 58 0 4 4 2
31.06/4.05 c 1087 2845 73237 1097908 58 0 9 9 4
31.06/4.05 c 1060 2966 88016 1112173 58 0 11 11 5
31.06/4.06 c 1046 2558 77104 1130196 58 0 5 5 2
31.06/4.07 c 1061 2970 88155 1113590 58 0 4 4 2
31.06/4.07 c 1047 2565 77298 1132184 58 0 7 7 3
31.06/4.08 c 1062 2981 88268 1114560 58 0 11 11 5
31.06/4.08 c 1048 2569 77435 1133989 58 0 4 4 2
31.06/4.09 c 1063 2985 88400 1115881 58 0 4 4 2
31.06/4.09 c 1049 2581 77570 1135228 58 0 12 12 6
31.06/4.11 c 1064 2996 88512 1116850 58 0 11 11 5
31.06/4.11 c 1050 2584 77642 1136761 58 0 3 3 1
31.06/4.12 c 1065 3000 88651 1118266 58 0 4 4 2
31.06/4.12 c 1051 2595 77784 1137943 58 0 11 11 5
31.96/4.13 c 1066 3011 88763 1119235 58 0 11 11 5
31.96/4.13 c 1052 2600 77945 1139006 58 0 5 5 2
31.96/4.13 c 1067 3015 88895 1120556 58 0 4 4 2
31.96/4.14 c 1053 2607 78140 1140998 58 0 7 7 3
31.96/4.15 c 1068 3026 89007 1121525 58 0 11 11 5
31.96/4.15 c 1054 2611 78273 1142720 58 0 4 4 2
31.96/4.16 c 1069 3031 89174 1123494 58 0 5 5 2
31.96/4.17 c 1055 2623 78408 1143959 58 0 12 12 6
31.96/4.17 c 1070 3034 89242 1124431 58 0 3 3 1
31.96/4.18 c 1056 2626 78480 1145492 58 0 3 3 1
31.96/4.18 c 1071 3037 89314 1125788 58 0 3 3 1
31.96/4.19 c 1057 2637 78622 1146674 58 0 11 11 5
31.96/4.19 c 1072 3048 89422 1126761 58 0 11 11 5
32.63/4.21 c 1058 2642 78783 1147737 58 0 5 5 2
32.63/4.21 c 1073 3053 89592 1128859 58 0 5 5 2
32.63/4.21 c 1074 3056 89660 1129796 58 0 3 3 1
32.63/4.22 c 1059 2649 78975 1149714 58 0 7 7 3
32.63/4.23 c 1075 3059 89732 1131153 58 0 3 3 1
32.63/4.23 c 1060 2653 79110 1151518 58 0 4 4 2
32.63/4.24 c 1076 3070 89840 1132126 58 0 11 11 5
32.63/4.24 c 1585 3410 101750 1542694 57 0 3 15 6
32.63/4.24 c 1061 2665 79245 1152757 58 0 12 12 6
32.63/4.25 c 1077 3075 90010 1134224 58 0 5 5 2
32.63/4.25 c 1062 2668 79317 1154290 58 0 3 3 1
32.63/4.26 c 1078 3078 90078 1135199 58 0 3 3 1
32.63/4.26 c 1063 2679 79459 1155472 58 0 11 11 5
32.63/4.27 c 1079 3081 90150 1136556 58 0 3 3 1
32.63/4.28 c 1064 2684 79620 1156535 58 0 5 5 2
32.63/4.28 c 1080 3092 90259 1137529 58 0 11 11 5
32.63/4.29 c 1065 2691 79813 1158496 58 0 7 7 3
32.63/4.29 c 1081 3097 90427 1139547 58 0 5 5 2
33.46/4.30 c 1066 2695 79948 1160300 58 0 4 4 2
33.46/4.30 c 1082 3100 90495 1140522 58 0 3 3 1
33.46/4.30 c 1585 3483 100769 1496977 58 0 3 19 10
33.46/4.32 c 1067 2707 80082 1161539 58 0 12 12 6
33.46/4.32 c 1083 3103 90567 1141879 58 0 3 3 1
33.46/4.33 c 1068 2710 80154 1163072 58 0 3 3 1
33.46/4.33 c 1084 3114 90676 1142852 58 0 11 11 5
33.46/4.34 c 1841 4162 117722 1696754 58 0 1 14 6
33.46/4.34 c 1069 2721 80296 1164254 58 0 11 11 5
33.46/4.34 c 1085 3119 90846 1144950 58 0 5 5 2
33.46/4.35 c 1086 3122 90915 1145825 58 0 3 3 1
33.46/4.35 c 1070 2726 80457 1165317 58 0 5 5 2
33.46/4.36 c 1087 3125 90987 1147182 58 0 3 3 1
33.46/4.37 c 1071 2733 80650 1167278 58 0 7 7 3
33.46/4.38 c 1072 2737 80783 1169000 58 0 4 4 2
33.46/4.39 c 1073 2749 80920 1170239 58 0 12 12 6
34.22/4.40 c 1074 2752 80992 1171772 58 0 3 3 1
34.22/4.41 c 1075 2763 81134 1172953 58 0 11 11 5
34.22/4.43 c 1076 2768 81295 1174016 58 0 5 5 2
34.22/4.44 c 1077 2775 81490 1176016 58 0 7 7 3
34.22/4.46 c 1078 2780 81623 1177814 58 0 5 5 2
34.22/4.47 c 1079 2785 81784 1178875 58 0 5 5 2
34.22/4.48 c 1080 2792 81979 1180862 58 0 7 7 3
34.22/4.49 c 1585 3587 113133 1531572 58 0 5 17 12
34.22/4.49 c 1081 2797 82110 1182659 58 0 5 5 2
35.06/4.52 c 1082 2802 82274 1183720 58 0 5 5 2
35.06/4.52 c 1083 2809 82468 1185690 58 0 7 7 3
35.06/4.54 c 1084 2814 82601 1187474 58 0 5 5 2
35.06/4.55 c 1085 2819 82762 1188532 58 0 5 5 2
35.06/4.56 c 1086 2826 82956 1190532 58 0 7 7 3
35.06/4.58 c 1087 2831 83089 1192316 58 0 5 5 2
35.79/4.62 c 2000 4472 126944 1835284 58 0 2 13 9
36.59/4.72 c 1841 3999 117873 1760702 58 0 11 16 11
37.39/4.85 c 2122 4794 134259 1934583 58 0 2 13 10
39.04/5.02 c 1841 4045 116838 1738712 58 0 2 16 8
40.58/5.24 c 2000 4368 125810 1868290 59 0 4 14 11
40.58/5.26 c 2000 4452 129775 1938697 59 0 2 12 7
40.58/5.28 c 1841 4031 129676 1774518 58 0 6 16 10
42.98/5.52 c 2122 4692 134064 1983984 59 0 3 14 10
42.98/5.57 c 2431 5436 155008 2204140 58 0 2 14 7
43.78/5.60 c 2000 4573 124415 1863546 59 0 2 14 7
43.78/5.62 c 2122 4683 137362 2056650 59 0 5 15 8
44.58/5.72 c 2048 4674 126808 1903718 59 0 2 12 7
44.58/5.74 c 2049 4679 126869 1905022 59 0 5 5 2
44.58/5.75 c 2050 4685 127065 1907485 59 0 6 6 3
44.58/5.76 c 2051 4688 127125 1908845 59 0 3 3 1
44.58/5.77 c 2052 4689 127189 1910267 59 0 1 1 0
44.58/5.78 c 2053 4698 127288 1911355 59 0 9 9 4
44.58/5.79 c 2054 4702 127370 1912292 59 0 4 4 2
44.58/5.79 c 2000 4381 141002 1941905 59 0 5 18 10
44.58/5.79 c 2000 4382 141007 1941910 59 0 0 0 0
44.58/5.79 c 2055 4703 127397 1913441 59 0 1 1 0
45.38/5.80 c 2056 4706 127476 1914341 59 0 3 3 1
45.38/5.81 c 2057 4717 127568 1915245 59 0 11 11 5
45.38/5.82 c 2058 4722 127724 1917545 59 0 5 5 2
45.38/5.82 c 2059 4724 127779 1918730 59 0 2 2 1
45.38/5.83 c 2060 4729 127838 1920031 59 0 5 5 2
45.38/5.85 c 2061 4735 128035 1922545 59 0 6 6 3
45.38/5.86 c 2062 4738 128095 1923903 59 0 3 3 1
45.38/5.87 c 2063 4747 128194 1924990 59 0 9 9 4
45.38/5.88 c 2064 4751 128276 1925926 59 0 4 4 2
45.38/5.89 c 2065 4754 128355 1926826 59 0 3 3 1
46.18/5.90 c 2066 4765 128447 1927730 59 0 11 11 5
46.18/5.91 c 2067 4770 128603 1930030 59 0 5 5 2
46.18/5.92 c 2068 4772 128658 1931215 59 0 2 2 1
46.18/5.92 c 2069 4777 128717 1932516 59 0 5 5 2
46.18/5.94 c 2070 4783 128914 1935001 59 0 6 6 3
46.18/5.95 c 2071 4786 128974 1936359 59 0 3 3 1
46.18/5.96 c 2072 4795 129073 1937446 59 0 9 9 4
46.18/5.97 c 2073 4799 129155 1938382 59 0 4 4 2
46.18/5.98 c 2074 4802 129234 1939282 59 0 3 3 1
46.18/5.99 c 2075 4813 129326 1940186 59 0 11 11 5
46.18/6.00 c 2076 4818 129483 1942486 59 0 5 5 2
47.03/6.01 c 2077 4820 129540 1943671 59 0 2 2 1
47.03/6.02 c 2078 4825 129601 1945026 59 0 5 5 2
47.03/6.04 c 2079 4831 129800 1947539 59 0 6 6 3
47.03/6.05 c 2080 4834 129856 1948597 59 0 3 3 1
47.03/6.06 c 2081 4845 129949 1949504 59 0 11 11 5
47.03/6.07 c 2082 4850 130103 1951687 59 0 5 5 2
47.03/6.07 c 2083 4852 130160 1952870 59 0 2 2 1
47.03/6.08 c 2084 4857 130221 1954223 59 0 5 5 2
47.03/6.09 c 2000 4314 118723 1867059 59 0 2 15 7
47.03/6.09 c 2085 4863 130418 1956734 59 0 6 6 3
47.03/6.10 c 2000 4316 118753 1867338 59 0 0 0 0
47.03/6.10 c 2086 4866 130476 1957792 59 0 3 3 1
47.84/6.11 c 2087 4877 130569 1958697 59 0 11 11 5
47.84/6.12 c 2088 4882 130713 1960569 59 0 5 5 2
47.84/6.13 c 2089 4884 130768 1961750 59 0 2 2 1
47.84/6.15 c 2090 4889 130829 1963102 59 0 5 5 2
47.84/6.16 c 2091 4895 131026 1965612 59 0 6 6 3
47.84/6.17 c 2092 4898 131082 1966669 59 0 3 3 1
47.84/6.18 c 2093 4909 131175 1967574 59 0 11 11 5
47.84/6.19 c 2094 4914 131329 1969755 59 0 5 5 2
48.57/6.20 c 2095 4916 131384 1970936 59 0 2 2 1
48.57/6.20 c 2048 4421 121493 1912405 59 0 3 13 8
48.57/6.21 c 2096 4921 131445 1972288 59 0 5 5 2
48.57/6.21 c 2122 4630 149557 2069307 59 0 4 16 8
48.57/6.21 c 2049 4426 121554 1913757 59 0 5 5 2
48.57/6.22 c 2097 4927 131642 1974798 59 0 6 6 3
48.57/6.22 c 2050 4432 121750 1916214 59 0 6 6 3
48.57/6.23 c 2098 4930 131698 1975855 59 0 3 3 1
48.57/6.23 c 2051 4435 121806 1917271 59 0 3 3 1
48.57/6.24 c 2099 4941 131791 1976760 59 0 11 11 5
48.57/6.24 c 2052 4446 121899 1918176 59 0 11 11 5
48.57/6.26 c 2100 4946 131945 1978941 59 0 5 5 2
48.57/6.26 c 2101 4948 132000 1980122 59 0 2 2 1
48.57/6.26 c 2053 4451 122051 1920388 59 0 5 5 2
48.57/6.26 c 2054 4453 122106 1921569 59 0 2 2 1
48.57/6.27 c 2102 4953 132061 1981474 59 0 5 5 2
48.57/6.27 c 2055 4458 122167 1922921 59 0 5 5 2
48.57/6.28 c 2103 4959 132257 1983931 59 0 6 6 3
48.57/6.28 c 2056 4464 122365 1925456 59 0 6 6 3
48.57/6.29 c 2104 4962 132313 1984988 59 0 3 3 1
48.57/6.30 c 2057 4467 122421 1926513 59 0 3 3 1
49.36/6.30 c 2105 4973 132406 1985893 59 0 11 11 5
49.36/6.31 c 2058 4478 122514 1927418 59 0 11 11 5
49.36/6.31 c 2106 4978 132559 1988063 59 0 5 5 2
49.36/6.32 c 2059 4483 122666 1929630 59 0 5 5 2
49.36/6.32 c 2107 4980 132614 1989244 59 0 2 2 1
49.36/6.33 c 2060 4485 122721 1930811 59 0 2 2 1
49.36/6.33 c 2108 4985 132675 1990596 59 0 5 5 2
49.36/6.34 c 2061 4490 122782 1932163 59 0 5 5 2
49.36/6.34 c 2109 4991 132872 1993077 59 0 6 6 3
49.36/6.35 c 2062 4496 122982 1934780 59 0 6 6 3
49.36/6.35 c 2110 4994 132928 1994134 59 0 3 3 1
49.36/6.36 c 2063 4499 123038 1935837 59 0 3 3 1
49.36/6.36 c 2111 5005 133021 1995039 59 0 11 11 5
49.36/6.37 c 2064 4510 123131 1936742 59 0 11 11 5
49.36/6.37 c 2112 5010 133165 1996911 59 0 5 5 2
49.36/6.38 c 2113 5012 133220 1998092 59 0 2 2 1
49.36/6.38 c 2431 5477 159399 2370589 59 0 2 18 10
49.36/6.38 c 2065 4515 123283 1938954 59 0 5 5 2
49.36/6.39 c 2066 4517 123338 1940135 59 0 2 2 1
49.36/6.39 c 2770 6267 178094 2496856 59 0 2 13 8
49.36/6.39 c 2114 5017 133281 1999444 59 0 5 5 2
50.16/6.40 c 2067 4522 123399 1941487 59 0 5 5 2
50.16/6.40 c 2115 5023 133478 2001925 59 0 6 6 3
50.16/6.41 c 2068 4528 123597 1944022 59 0 6 6 3
50.16/6.41 c 2116 5026 133534 2002982 59 0 3 3 1
50.16/6.42 c 2069 4531 123653 1945079 59 0 3 3 1
50.16/6.42 c 2117 5037 133627 2003887 59 0 11 11 5
50.16/6.43 c 2070 4542 123746 1945984 59 0 11 11 5
50.16/6.43 c 2118 5042 133773 2005759 59 0 5 5 2
50.16/6.44 c 2071 4547 123892 1947908 59 0 5 5 2
50.16/6.44 c 2119 5044 133828 2006939 59 0 2 2 1
50.16/6.45 c 2072 4549 123949 1949088 59 0 2 2 1
50.16/6.45 c 2120 5049 133891 2008290 59 0 5 5 2
50.16/6.46 c 2073 4554 124012 1950439 59 0 5 5 2
50.16/6.46 c 2121 5055 134090 2010769 59 0 6 6 3
50.16/6.47 c 2074 4560 124210 1952914 59 0 6 6 3
50.16/6.47 c 2122 5058 134146 2011824 59 0 3 3 1
50.16/6.48 c 2075 4563 124266 1953969 59 0 3 3 1
50.16/6.48 c 2123 5069 134238 2012725 59 0 11 11 5
50.16/6.50 c 2076 4574 124358 1954870 59 0 11 11 5
50.16/6.50 c 2124 5074 134390 2014891 59 0 5 5 2
50.96/6.51 c 2077 4579 124510 1957078 59 0 5 5 2
50.96/6.51 c 2125 5076 134445 2016068 59 0 2 2 1
50.96/6.51 c 2078 4581 124565 1958255 59 0 2 2 1
50.96/6.51 c 2126 5081 134506 2017418 59 0 5 5 2
50.96/6.52 c 2079 4586 124626 1959605 59 0 5 5 2
50.96/6.52 c 2127 5087 134702 2019871 59 0 6 6 3
50.96/6.53 c 2080 4592 124828 1962264 59 0 6 6 3
50.96/6.54 c 2128 5090 134758 2020926 59 0 3 3 1
50.96/6.54 c 2081 4595 124886 1963319 59 0 3 3 1
50.96/6.55 c 2129 5101 134852 2021827 59 0 11 11 5
50.96/6.55 c 2082 4606 124978 1964219 59 0 11 11 5
50.96/6.56 c 2130 5106 134996 2023731 59 0 5 5 2
50.96/6.56 c 2431 5398 153711 2297221 59 0 1 13 7
50.96/6.56 c 2083 4611 125132 1966432 59 0 5 5 2
50.96/6.56 c 2131 5108 135053 2024980 59 0 2 2 1
50.96/6.58 c 2084 4613 125187 1967680 59 0 2 2 1
50.96/6.58 c 2132 5113 135114 2026328 59 0 5 5 2
50.96/6.59 c 2085 4618 125248 1969028 59 0 5 5 2
50.96/6.59 c 2133 5119 135311 2028806 59 0 6 6 3
51.76/6.60 c 2086 4624 125445 1971506 59 0 6 6 3
51.76/6.60 c 2134 5122 135367 2029859 59 0 3 3 1
51.76/6.61 c 2087 4627 125501 1972559 59 0 3 3 1
51.76/6.61 c 2135 5133 135460 2030760 59 0 11 11 5
51.76/6.62 c 2088 4638 125594 1973460 59 0 11 11 5
51.76/6.62 c 2136 5138 135613 2032963 59 0 5 5 2
51.76/6.63 c 2089 4643 125747 1975672 59 0 5 5 2
51.76/6.63 c 2137 5140 135668 2034211 59 0 2 2 1
51.76/6.64 c 2090 4645 125802 1976920 59 0 2 2 1
51.76/6.64 c 2138 5145 135729 2035559 59 0 5 5 2
51.76/6.64 c 2091 4650 125863 1978268 59 0 5 5 2
51.76/6.65 c 2139 5151 135929 2038173 59 0 6 6 3
51.76/6.65 c 2092 4656 126060 1980775 59 0 6 6 3
51.76/6.66 c 2140 5154 135985 2039226 59 0 3 3 1
51.76/6.66 c 2093 4659 126116 1981828 59 0 3 3 1
51.76/6.67 c 2141 5165 136078 2040127 59 0 11 11 5
51.76/6.68 c 2094 4670 126209 1982729 59 0 11 11 5
51.76/6.68 c 2142 5170 136222 2042030 59 0 5 5 2
51.76/6.69 c 2095 4675 126362 1984941 59 0 5 5 2
51.76/6.69 c 2143 5172 136277 2043278 59 0 2 2 1
52.56/6.70 c 2096 4677 126417 1986189 59 0 2 2 1
52.56/6.70 c 2144 5177 136338 2044626 59 0 5 5 2
52.56/6.71 c 2097 4682 126478 1987537 59 0 5 5 2
52.56/6.71 c 2145 5183 136534 2047080 59 0 6 6 3
52.56/6.72 c 2098 4688 126674 1989991 59 0 6 6 3
52.56/6.72 c 2146 5186 136592 2048134 59 0 3 3 1
52.56/6.73 c 2099 4691 126732 1991045 59 0 3 3 1
52.56/6.73 c 2147 5197 136695 2049059 59 0 11 11 5
52.56/6.74 c 2100 4702 126835 1991970 59 0 11 11 5
52.56/6.74 c 2148 5200 136784 2050221 59 0 3 3 1
52.56/6.74 c 2149 5201 136816 2051321 59 0 1 1 0
52.56/6.75 c 2101 4705 126920 1993060 59 0 3 3 1
52.56/6.75 c 2150 5203 136876 2052569 59 0 2 2 1
52.56/6.75 c 2102 4707 126982 1994309 59 0 2 2 1
52.56/6.76 c 2151 5208 136937 2053914 59 0 5 5 2
52.56/6.76 c 2103 4712 127043 1995654 59 0 5 5 2
52.56/6.77 c 2152 5214 137137 2056571 59 0 6 6 3
52.56/6.78 c 2104 4718 127237 1998105 59 0 6 6 3
52.56/6.79 c 2153 5217 137195 2057624 59 0 3 3 1
52.56/6.79 c 2105 4721 127295 1999158 59 0 3 3 1
53.36/6.80 c 2154 5228 137296 2058552 59 0 11 11 5
53.36/6.80 c 2106 4732 127398 2000213 59 0 11 11 5
53.36/6.81 c 2155 5231 137384 2059755 59 0 3 3 1
53.36/6.81 c 2107 4737 127459 2001557 59 0 5 5 2
53.36/6.82 c 2156 5233 137444 2061003 59 0 2 2 1
53.36/6.82 c 2108 4743 127654 2004006 59 0 6 6 3
53.36/6.83 c 2157 5238 137505 2062347 59 0 5 5 2
53.36/6.83 c 2109 4746 127710 2005058 59 0 3 3 1
53.36/6.84 c 2158 5244 137703 2064956 59 0 6 6 3
53.36/6.84 c 2110 4757 127813 2006113 59 0 11 11 5
53.36/6.85 c 2159 5247 137759 2066008 59 0 3 3 1
53.36/6.85 c 2111 4762 127874 2007457 59 0 5 5 2
53.36/6.86 c 2160 5258 137860 2066936 59 0 11 11 5
53.36/6.86 c 2112 4768 128069 2009959 59 0 6 6 3
53.36/6.87 c 2161 5261 137945 2068024 59 0 3 3 1
53.36/6.87 c 2113 4771 128125 2011011 59 0 3 3 1
53.36/6.87 c 2162 5263 138005 2069272 59 0 2 2 1
53.36/6.88 c 2163 5268 138066 2070616 59 0 5 5 2
53.36/6.88 c 2114 4782 128228 2012066 59 0 11 11 5
53.36/6.89 c 2115 4787 128289 2013410 59 0 5 5 2
53.36/6.90 c 2164 5274 138262 2073089 59 0 6 6 3
54.16/6.90 c 2116 4793 128483 2015860 59 0 6 6 3
54.16/6.91 c 2165 5277 138318 2074141 59 0 3 3 1
54.16/6.91 c 2117 4796 128539 2016912 59 0 3 3 1
54.16/6.92 c 2166 5288 138419 2075069 59 0 11 11 5
54.16/6.92 c 2118 4807 128642 2017967 59 0 11 11 5
54.16/6.92 c 2167 5291 138504 2076157 59 0 3 3 1
54.16/6.94 c 2119 4812 128703 2019311 59 0 5 5 2
54.16/6.94 c 2168 5293 138564 2077405 59 0 2 2 1
54.16/6.94 c 2169 5298 138625 2078749 59 0 5 5 2
54.16/6.95 c 2120 4818 128896 2021683 59 0 6 6 3
54.16/6.95 c 2170 5304 138825 2081404 59 0 6 6 3
54.16/6.95 c 2121 4821 128952 2022735 59 0 3 3 1
54.16/6.96 c 3000 6709 190208 2702897 59 0 1 13 6
54.16/6.96 c 2171 5307 138881 2082456 59 0 3 3 1
54.16/6.97 c 2122 4832 129055 2023790 59 0 11 11 5
54.16/6.98 c 2123 4837 129116 2025134 59 0 5 5 2
54.16/6.98 c 2172 5318 138982 2083384 59 0 11 11 5
54.16/6.98 c 2173 5321 139070 2084587 59 0 3 3 1
54.16/6.99 c 2124 4843 129309 2027530 59 0 6 6 3
54.16/6.99 c 2174 5323 139130 2085835 59 0 2 2 1
54.16/7.00 c 2125 4846 129365 2028582 59 0 3 3 1
55.01/7.01 c 2175 5328 139191 2087179 59 0 5 5 2
55.01/7.01 c 2126 4857 129468 2029637 59 0 11 11 5
55.01/7.02 c 2127 4862 129529 2030981 59 0 5 5 2
55.01/7.03 c 2128 4868 129724 2033431 59 0 6 6 3
55.01/7.04 c 2129 4871 129783 2034483 59 0 3 3 1
55.01/7.05 c 2431 5401 172320 2394017 59 0 2 15 9
55.01/7.05 c 2130 4882 129888 2035537 59 0 11 11 5
55.01/7.06 c 2131 4887 129949 2036878 59 0 5 5 2
55.01/7.07 c 2132 4891 130034 2038136 59 0 4 4 2
55.01/7.08 c 2133 4896 130095 2039477 59 0 5 5 2
55.01/7.09 c 2134 4900 130180 2040735 59 0 4 4 2
55.01/7.10 c 2135 4905 130241 2042076 59 0 5 5 2
55.82/7.11 c 2136 4909 130326 2043334 59 0 4 4 2
55.82/7.11 c 2137 4914 130387 2044675 59 0 5 5 2
55.82/7.12 c 2138 4918 130472 2045933 59 0 4 4 2
55.82/7.14 c 2139 4923 130533 2047274 59 0 5 5 2
55.82/7.15 c 2140 4927 130618 2048532 59 0 4 4 2
55.82/7.15 c 2000 5632 162935 2147682 59 0 2 16 9
55.82/7.16 c 2141 4932 130679 2049873 59 0 5 5 2
55.82/7.17 c 2142 4936 130764 2051131 59 0 4 4 2
55.82/7.17 c 2143 4941 130825 2052472 59 0 5 5 2
55.82/7.18 c 2144 4945 130910 2053730 59 0 4 4 2
55.82/7.19 c 2145 4950 130971 2055071 59 0 5 5 2
56.55/7.20 c 2146 4954 131056 2056329 59 0 4 4 2
56.55/7.21 c 2147 4959 131117 2057670 59 0 5 5 2
56.55/7.22 c 2148 4963 131202 2058928 59 0 4 4 2
56.55/7.22 c 2149 4968 131263 2060269 59 0 5 5 2
56.55/7.23 c 2150 4972 131348 2061527 59 0 4 4 2
56.55/7.25 c 2151 4977 131409 2062868 59 0 5 5 2
56.55/7.26 c 2152 4981 131494 2064126 59 0 4 4 2
56.55/7.27 c 2153 4986 131555 2065467 59 0 5 5 2
56.55/7.27 c 2154 4990 131640 2066725 59 0 4 4 2
56.55/7.28 c 2155 4995 131701 2068066 59 0 5 5 2
56.55/7.29 c 2156 4999 131786 2069324 59 0 4 4 2
57.35/7.30 c 2157 5004 131847 2070665 59 0 5 5 2
57.35/7.31 c 2158 5008 131932 2071923 59 0 4 4 2
57.35/7.31 c 3142 7104 198793 2834972 59 0 2 15 9
57.35/7.32 c 2159 5013 131993 2073264 59 0 5 5 2
57.35/7.32 c 2048 5750 167063 2202377 59 0 6 15 8
57.35/7.33 c 2160 5017 132078 2074522 59 0 4 4 2
57.35/7.33 c 2161 5022 132139 2075863 59 0 5 5 2
57.35/7.33 c 2049 5762 167235 2203489 59 0 12 12 6
57.35/7.34 c 2162 5026 132224 2077121 59 0 4 4 2
57.35/7.35 c 2163 5031 132285 2078462 59 0 5 5 2
57.35/7.35 c 2050 5767 167347 2204769 59 0 5 5 2
57.35/7.36 c 2164 5035 132370 2079720 59 0 4 4 2
57.35/7.36 c 2051 5776 167476 2205947 59 0 9 9 4
57.35/7.38 c 2165 5040 132431 2081061 59 0 5 5 2
57.35/7.38 c 2052 5788 167656 2207425 59 0 12 12 6
57.35/7.39 c 2166 5044 132516 2082319 59 0 4 4 2
57.35/7.39 c 2167 5049 132577 2083660 59 0 5 5 2
57.35/7.39 c 2053 5792 167801 2209437 59 0 4 4 2
57.35/7.39 c 2000 4748 144009 2141866 58 0 3 16 7
57.35/7.40 c 2168 5053 132662 2084918 59 0 4 4 2
58.19/7.41 c 2169 5058 132723 2086259 59 0 5 5 2
58.19/7.41 c 2054 5797 167913 2210717 59 0 5 5 2
58.19/7.42 c 2170 5062 132808 2087517 59 0 4 4 2
58.19/7.42 c 2055 5806 168042 2211895 59 0 9 9 4
58.19/7.43 c 2171 5067 132869 2088858 59 0 5 5 2
58.19/7.43 c 2172 5071 132954 2090116 59 0 4 4 2
58.19/7.43 c 2056 5818 168222 2213373 59 0 12 12 6
58.19/7.44 c 2173 5076 133015 2091457 59 0 5 5 2
58.19/7.45 c 2057 5823 168380 2215907 59 0 5 5 2
58.19/7.45 c 2174 5080 133100 2092715 59 0 4 4 2
58.19/7.46 c 2175 5085 133161 2094056 59 0 5 5 2
58.19/7.46 c 2058 5828 168492 2217187 59 0 5 5 2
58.19/7.47 c 2059 5837 168621 2218365 59 0 9 9 4
58.19/7.49 c 2060 5849 168801 2219843 59 0 12 12 6
58.95/7.50 c 2061 5854 168959 2222377 59 0 5 5 2
58.95/7.51 c 2770 6091 180835 2706826 59 0 3 13 6
58.95/7.52 c 2062 5859 169071 2223657 59 0 5 5 2
58.95/7.52 c 2048 4884 147059 2184181 59 0 3 11 8
58.95/7.53 c 2063 5868 169200 2224835 59 0 9 9 4
58.95/7.53 c 2049 4896 147224 2185724 59 0 12 12 6
58.95/7.53 c 2770 6196 176204 2625773 59 0 2 16 8
58.95/7.54 c 2064 5880 169380 2226313 59 0 12 12 6
58.95/7.55 c 2050 4906 147459 2187609 59 0 10 10 5
58.95/7.56 c 2065 5885 169538 2228847 59 0 5 5 2
58.95/7.56 c 2051 4913 147650 2189540 59 0 7 7 3
58.95/7.57 c 2066 5890 169650 2230127 59 0 5 5 2
58.95/7.59 c 2052 4919 147766 2190813 59 0 6 6 3
58.95/7.59 c 2067 5899 169779 2231305 59 0 9 9 4
59.74/7.60 c 2053 4925 147929 2192447 59 0 6 6 3
59.74/7.60 c 2068 5911 169959 2232783 59 0 12 12 6
59.74/7.61 c 2054 4932 148119 2194373 59 0 7 7 3
59.74/7.61 c 2069 5916 170120 2235311 59 0 5 5 2
59.74/7.62 c 2055 4938 148238 2195647 61 0 6 6 3
59.74/7.63 c 2070 5921 170234 2236590 61 0 5 5 2
59.74/7.63 c 2056 4944 148401 2197278 61 0 6 6 3
59.74/7.64 c 2071 5930 170364 2237766 61 0 9 9 4
59.74/7.65 c 2057 4951 148591 2199223 61 0 7 7 3
59.74/7.66 c 2072 5942 170543 2239241 61 0 12 12 6
59.74/7.66 c 2058 4957 148706 2200494 61 0 6 6 3
59.74/7.67 c 2073 5947 170702 2241766 61 0 5 5 2
59.74/7.69 c 2059 4963 148869 2202125 61 0 6 6 3
59.74/7.69 c 2074 5952 170813 2243043 61 0 5 5 2
60.54/7.70 c 2060 4970 149061 2204059 61 0 7 7 3
60.54/7.70 c 2075 5961 170943 2244219 61 0 9 9 4
60.54/7.71 c 2061 4976 149176 2205330 61 0 6 6 3
60.54/7.71 c 2076 5973 171122 2245694 61 0 12 12 6
60.54/7.72 c 2062 4982 149339 2206961 61 0 6 6 3
60.54/7.73 c 2077 5978 171281 2248219 61 0 5 5 2
60.54/7.73 c 2063 4989 149529 2208906 61 0 7 7 3
60.54/7.74 c 2078 5983 171392 2249496 61 0 5 5 2
60.54/7.75 c 2064 4995 149644 2210177 61 0 6 6 3
60.54/7.76 c 2079 5992 171524 2250672 61 0 9 9 4
60.54/7.76 c 2065 5001 149809 2211808 61 0 6 6 3
60.54/7.77 c 2080 6004 171702 2252146 61 0 12 12 6
60.54/7.78 c 2066 5008 150001 2213764 61 0 7 7 3
60.54/7.78 c 2081 6009 171861 2254665 61 0 5 5 2
61.34/7.80 c 2067 5014 150116 2215034 61 0 6 6 3
61.34/7.80 c 2082 6014 171973 2255941 61 0 5 5 2
61.34/7.81 c 2068 5020 150279 2216664 61 0 6 6 3
61.34/7.81 c 2083 6023 172103 2257116 61 0 9 9 4
61.34/7.82 c 2069 5027 150470 2218620 61 0 7 7 3
61.34/7.83 c 2084 6035 172283 2258590 61 0 12 12 6
61.34/7.83 c 2070 5033 150588 2219892 61 0 6 6 3
61.34/7.84 c 2085 6040 172441 2261110 61 0 5 5 2
61.34/7.85 c 2071 5039 150750 2221520 61 0 6 6 3
61.34/7.86 c 2086 6045 172553 2262385 61 0 5 5 2
61.34/7.86 c 2072 5046 150940 2223474 61 0 7 7 3
61.34/7.87 c 2087 6054 172683 2263560 61 0 9 9 4
61.34/7.87 c 2073 5052 151056 2224745 61 0 6 6 3
61.34/7.88 c 2088 6066 172861 2265033 61 0 12 12 6
61.34/7.89 c 2074 5058 151218 2226373 61 0 6 6 3
62.17/7.91 c 2089 6071 173019 2267553 61 0 5 5 2
62.17/7.91 c 2075 5065 151416 2228478 61 0 7 7 3
62.17/7.92 c 2090 6076 173133 2268829 61 0 5 5 2
62.17/7.92 c 2076 5071 151534 2229749 61 0 6 6 3
62.17/7.93 c 2091 6085 173265 2270005 61 0 9 9 4
62.17/7.93 c 2077 5077 151698 2231376 61 0 6 6 3
62.17/7.94 c 2092 6097 173443 2271476 61 0 12 12 6
62.17/7.94 c 2078 5084 151888 2233327 61 0 7 7 3
62.17/7.95 c 2093 6102 173601 2273994 61 0 5 5 2
62.17/7.96 c 2079 5090 152004 2234596 61 0 6 6 3
62.17/7.97 c 2094 6107 173713 2275268 61 0 5 5 2
62.17/7.97 c 2080 5096 152166 2236222 61 0 6 6 3
62.17/7.98 c 2095 6116 173843 2276443 61 0 9 9 4
62.17/7.99 c 2081 5103 152357 2238157 61 0 7 7 3
62.17/8.00 c 2096 6128 174021 2277914 61 0 12 12 6
62.17/8.01 c 2082 5109 152473 2239426 61 0 6 6 3
63.00/8.02 c 2097 6133 174179 2280432 61 0 5 5 2
63.00/8.03 c 2083 5115 152637 2241052 61 0 6 6 3
63.00/8.03 c 2098 6138 174292 2281706 61 0 5 5 2
63.00/8.04 c 2084 5122 152813 2243008 63 0 7 7 3
63.00/8.04 c 2099 6147 174426 2282879 63 0 9 9 4
63.00/8.05 c 2085 5128 152928 2244273 63 0 6 6 3
63.00/8.05 c 2100 6159 174604 2284347 63 0 12 12 6
63.00/8.06 c 2086 5134 153090 2245895 63 0 6 6 3
63.00/8.07 c 2101 6165 174815 2286372 63 0 6 6 3
63.00/8.08 c 2087 5141 153264 2247841 63 0 7 7 3
63.00/8.09 c 2102 6176 174927 2287452 63 0 11 11 5
63.00/8.10 c 2088 5147 153374 2249059 63 0 6 6 3
63.00/8.10 c 2103 6184 175170 2289044 63 0 8 8 4
63.00/8.11 c 2089 5153 153536 2250680 63 0 6 6 3
63.00/8.11 c 2104 6196 175367 2290351 63 0 12 12 6
63.93/8.13 c 2090 5160 153709 2252635 63 0 7 7 3
63.93/8.14 c 2105 6208 175546 2291819 63 0 12 12 6
63.93/8.14 c 2091 5166 153819 2253853 63 0 6 6 3
63.93/8.15 c 2106 6213 175657 2293088 63 0 5 5 2
63.93/8.15 c 2092 5172 153981 2255474 63 0 6 6 3
63.93/8.15 c 3000 6648 190927 2844002 63 0 2 14 8
63.93/8.16 c 2093 5179 154157 2257534 63 0 7 7 3
63.93/8.16 c 2107 6222 175786 2294257 63 0 9 9 4
63.93/8.17 c 2094 5185 154267 2258752 63 0 6 6 3
63.93/8.17 c 2108 6234 175963 2295624 63 0 12 12 6
63.93/8.18 c 2095 5191 154429 2260373 63 0 6 6 3
63.93/8.19 c 2109 6242 176157 2297179 63 0 8 8 4
64.53/8.21 c 2096 5198 154604 2262333 63 0 7 7 3
64.53/8.21 c 2110 6254 176343 2298487 63 0 12 12 6
64.53/8.22 c 2097 5204 154714 2263551 63 0 6 6 3
64.53/8.22 c 2111 6266 176521 2299955 63 0 12 12 6
64.53/8.22 c 2770 6065 196282 2739237 59 0 3 16 7
64.53/8.23 c 2098 5210 154876 2265172 63 0 6 6 3
64.53/8.23 c 2112 6271 176632 2301224 63 0 5 5 2
64.53/8.24 c 2099 5217 155051 2267132 63 0 7 7 3
64.53/8.24 c 2113 6280 176761 2302393 63 0 9 9 4
64.53/8.25 c 2100 5223 155161 2268350 63 0 6 6 3
64.53/8.26 c 3000 6666 197533 2951181 59 0 3 13 8
64.53/8.26 c 2114 6292 176938 2303760 63 0 12 12 6
64.53/8.26 c 2101 5229 155323 2269971 63 0 6 6 3
64.53/8.27 c 2115 6300 177132 2305315 63 0 8 8 4
64.53/8.28 c 2102 5236 155496 2271926 63 0 7 7 3
64.53/8.29 c 2116 6312 177318 2306623 63 0 12 12 6
64.53/8.29 c 2103 5242 155606 2273144 63 0 6 6 3
64.53/8.29 c 3551 7931 220842 3173518 61 0 1 16 7
64.53/8.30 c 2117 6324 177496 2308091 63 0 12 12 6
65.37/8.31 c 2104 5248 155768 2274765 63 0 6 6 3
65.37/8.32 c 2105 5255 155942 2276715 63 0 7 7 3
65.37/8.32 c 2118 6329 177607 2309360 63 0 5 5 2
65.37/8.33 c 2106 5261 156052 2277933 63 0 6 6 3
65.37/8.33 c 2119 6338 177737 2310529 63 0 9 9 4
65.37/8.34 c 2107 5267 156214 2279554 63 0 6 6 3
65.37/8.34 c 2120 6350 177915 2311902 63 0 12 12 6
65.37/8.36 c 2108 5274 156385 2281477 63 0 7 7 3
65.37/8.36 c 2121 6358 178109 2313457 63 0 8 8 4
65.37/8.37 c 2109 5280 156495 2282695 63 0 6 6 3
65.37/8.37 c 2122 6370 178295 2314765 63 0 12 12 6
65.37/8.38 c 2110 5286 156657 2284316 63 0 6 6 3
65.37/8.39 c 2123 6382 178473 2316233 63 0 12 12 6
66.13/8.41 c 2111 5293 156825 2286234 63 0 7 7 3
66.13/8.41 c 2124 6387 178584 2317502 63 0 5 5 2
66.13/8.42 c 2112 5299 156935 2287452 63 0 6 6 3
66.13/8.42 c 2125 6396 178713 2318671 63 0 9 9 4
66.13/8.42 c 2113 5306 157065 2289066 63 0 7 7 3
66.13/8.43 c 2126 6408 178891 2320044 63 0 12 12 6
66.13/8.44 c 2114 5311 157140 2289885 63 0 5 5 2
66.13/8.45 c 2127 6411 178951 2321174 63 0 3 3 1
66.13/8.46 c 2115 5323 157295 2291050 63 0 12 12 6
66.13/8.46 c 2128 6419 179133 2322763 63 0 8 8 4
66.13/8.47 c 2116 5330 157466 2292967 63 0 7 7 3
66.13/8.47 c 2129 6423 179316 2324236 63 0 4 4 2
66.13/8.48 c 2117 5338 157639 2294419 63 0 8 8 4
66.13/8.48 c 2130 6435 179467 2325599 63 0 12 12 6
66.13/8.49 c 2118 5342 157722 2295619 63 0 4 4 2
66.13/8.49 c 2131 6447 179658 2326907 63 0 12 12 6
66.98/8.50 c 2119 5348 157887 2297283 63 0 6 6 3
66.98/8.52 c 2132 6459 179902 2328411 63 0 12 12 6
66.98/8.52 c 2120 5353 157969 2298011 63 0 5 5 2
66.98/8.53 c 2133 6464 180013 2329676 63 0 5 5 2
66.98/8.53 c 2121 5359 158134 2299675 63 0 6 6 3
66.98/8.54 c 2122 5364 158216 2300403 63 0 5 5 2
66.98/8.54 c 2134 6477 180190 2331015 63 0 13 13 6
66.98/8.55 c 2123 5370 158381 2302067 63 0 6 6 3
66.98/8.55 c 2135 6489 180381 2332323 63 0 12 12 6
66.98/8.55 c 3142 6966 199612 2973881 63 0 3 14 7
66.98/8.56 c 2124 5375 158463 2302795 63 0 5 5 2
66.98/8.56 c 2136 6501 180625 2333827 63 0 12 12 6
66.98/8.57 c 2125 5381 158628 2304459 63 0 6 6 3
66.98/8.58 c 2137 6506 180738 2335092 63 0 5 5 2
66.98/8.58 c 2126 5386 158713 2305187 63 0 5 5 2
66.98/8.60 c 2138 6510 180947 2336589 63 0 4 4 2
67.73/8.61 c 2127 5392 158876 2306856 63 0 6 6 3
67.73/8.61 c 2139 6522 181095 2337948 63 0 12 12 6
67.73/8.62 c 2128 5397 158958 2307581 63 0 5 5 2
67.73/8.62 c 2140 6534 181287 2339253 63 0 12 12 6
67.73/8.62 c 2129 5403 159119 2309249 63 0 6 6 3
67.73/8.64 c 2130 5408 159201 2309974 63 0 5 5 2
67.73/8.64 c 2141 6546 181530 2340753 63 0 12 12 6
67.73/8.65 c 2131 5414 159362 2311642 63 0 6 6 3
67.73/8.65 c 2142 6551 181640 2342015 63 0 5 5 2
67.73/8.66 c 2132 5419 159446 2312367 63 0 5 5 2
67.73/8.66 c 2143 6555 181843 2343510 63 0 4 4 2
67.73/8.67 c 2133 5430 159575 2313421 63 0 11 11 5
67.73/8.67 c 2144 6567 181982 2344707 63 0 12 12 6
67.73/8.68 c 2134 5442 159771 2314700 63 0 12 12 6
67.73/8.69 c 2145 6578 182123 2346130 63 0 11 11 5
68.53/8.71 c 2135 5449 159902 2316308 63 0 7 7 3
68.53/8.71 c 2146 6583 182233 2347392 63 0 5 5 2
68.53/8.72 c 2136 5454 159975 2317123 63 0 5 5 2
68.53/8.72 c 2147 6592 182359 2348554 63 0 9 9 4
68.53/8.72 c 3142 6986 206845 3097891 63 0 2 15 7
68.53/8.73 c 2137 5459 160083 2318734 63 0 5 5 2
68.53/8.73 c 2148 6604 182541 2350013 64 0 12 12 6
68.53/8.74 c 2138 5466 160207 2320334 64 0 7 7 3
68.53/8.74 c 2149 6616 182682 2351187 64 0 12 12 6
68.53/8.75 c 2139 5471 160278 2321148 64 0 5 5 2
68.53/8.75 c 2150 6627 182821 2352606 64 0 11 11 5
68.53/8.76 c 2140 5476 160386 2322757 64 0 5 5 2
68.53/8.77 c 2141 5483 160507 2324355 64 0 7 7 3
68.53/8.77 c 2151 6632 182931 2353864 64 0 5 5 2
68.53/8.78 c 2142 5488 160578 2325169 64 0 5 5 2
68.53/8.78 c 2152 6641 183055 2355023 64 0 9 9 4
68.53/8.79 c 2143 5493 160686 2326778 64 0 5 5 2
68.53/8.79 c 2153 6653 183232 2356480 64 0 12 12 6
68.53/8.80 c 2144 5500 160807 2328376 64 0 7 7 3
69.38/8.81 c 2154 6665 183373 2357654 64 0 12 12 6
69.38/8.81 c 2145 5505 160878 2329190 64 0 5 5 2
69.38/8.82 c 2155 6676 183512 2359073 64 0 11 11 5
69.38/8.82 c 2146 5510 160986 2330799 64 0 5 5 2
69.38/8.83 c 2156 6681 183622 2360331 64 0 5 5 2
69.38/8.84 c 2147 5517 161107 2332397 64 0 7 7 3
69.38/8.85 c 2157 6690 183746 2361490 64 0 9 9 4
69.38/8.85 c 2148 5522 161178 2333211 64 0 5 5 2
69.38/8.86 c 2149 5527 161286 2334820 64 0 5 5 2
69.38/8.86 c 2158 6702 183922 2362947 64 0 12 12 6
69.38/8.87 c 2159 6714 184063 2364121 64 0 12 12 6
69.38/8.87 c 2150 5534 161407 2336418 64 0 7 7 3
69.38/8.88 c 2151 5539 161478 2337232 64 0 5 5 2
69.38/8.88 c 2160 6725 184202 2365540 64 0 11 11 5
69.38/8.89 c 3000 7081 189886 2815754 63 0 1 17 8
69.38/8.89 c 2152 5544 161586 2338841 64 0 5 5 2
69.38/8.90 c 2161 6730 184312 2366798 64 0 5 5 2
70.20/8.92 c 2153 5551 161707 2340439 64 0 7 7 3
70.20/8.92 c 2162 6739 184436 2367957 64 0 9 9 4
70.20/8.92 c 2154 5556 161778 2341253 64 0 5 5 2
70.20/8.92 c 2163 6751 184613 2369414 64 0 12 12 6
70.20/8.93 c 2155 5561 161886 2342862 64 0 5 5 2
70.20/8.94 c 2164 6763 184754 2370588 64 0 12 12 6
70.20/8.94 c 2156 5568 162007 2344460 64 0 7 7 3
70.20/8.95 c 2165 6774 184893 2372007 64 0 11 11 5
70.20/8.96 c 2157 5573 162081 2345275 64 0 5 5 2
70.20/8.96 c 2158 5578 162189 2346881 64 0 5 5 2
70.20/8.97 c 2166 6779 185006 2373267 64 0 5 5 2
70.20/8.98 c 2159 5585 162309 2348476 64 0 7 7 3
70.20/8.98 c 2167 6788 185131 2374424 64 0 9 9 4
70.20/8.99 c 2160 5590 162380 2349288 64 0 5 5 2
70.20/8.99 c 2168 6800 185307 2375878 64 0 12 12 6
70.20/9.00 c 2161 5595 162488 2350894 64 0 5 5 2
70.20/9.00 c 2169 6812 185448 2377049 64 0 12 12 6
70.20/9.00 c 3000 6490 211434 2969926 63 0 3 13 7
71.00/9.01 c 3000 6491 211446 2969945 64 0 0 0 0
71.00/9.01 c 3000 6492 211448 2969947 64 0 0 0 0
71.00/9.01 c 2170 6823 185587 2378465 64 0 11 11 5
71.00/9.01 c 3000 6495 211496 2970310 64 0 0 0 0
71.00/9.02 c 2162 5602 162608 2352489 64 0 7 7 3
71.00/9.02 c 3000 6498 211525 2970402 64 0 0 0 0
71.00/9.03 c 2163 5607 162681 2353301 64 0 5 5 2
71.00/9.03 c 2171 6828 185699 2379722 64 0 5 5 2
71.00/9.04 c 2164 5612 162789 2354912 64 0 5 5 2
71.00/9.04 c 2172 6837 185825 2380899 64 0 9 9 4
71.00/9.05 c 2165 5619 162909 2356506 64 0 7 7 3
71.00/9.06 c 2173 6849 186001 2382352 64 0 12 12 6
71.00/9.06 c 2166 5624 162980 2357317 64 0 5 5 2
71.00/9.07 c 2174 6861 186142 2383522 64 0 12 12 6
71.00/9.07 c 2167 5629 163088 2358928 64 0 5 5 2
71.00/9.08 c 2175 6872 186281 2384937 64 0 11 11 5
71.00/9.09 c 2168 5636 163208 2360522 64 0 7 7 3
71.00/9.10 c 2169 5641 163279 2361333 64 0 5 5 2
71.00/9.10 c 4000 9102 252866 3554929 64 0 1 16 10
71.81/9.11 c 2170 5646 163387 2362944 64 0 5 5 2
71.81/9.12 c 2171 5653 163507 2364538 64 0 7 7 3
71.81/9.13 c 2172 5658 163578 2365349 64 0 5 5 2
71.81/9.14 c 2173 5663 163690 2366960 65 0 5 5 2
71.81/9.16 c 2174 5670 163811 2368551 65 0 7 7 3
71.81/9.16 c 2175 5675 163882 2369360 65 0 5 5 2
74.12/9.42 c 3142 6732 220487 3100292 64 0 6 15 10
75.71/9.65 c 3551 7996 228166 3404119 64 0 2 15 8
76.51/9.79 c 3000 6768 183653 2877669 63 0 2 17 8
78.97/10.07 c 3551 7672 232267 3506263 64 0 3 14 7
82.90/10.56 c 4493 10200 284343 4031819 66 0 1 15 6
85.30/10.82 c 3551 7598 251480 3533093 66 0 4 16 8
85.30/10.83 c 4000 9122 257907 3845876 66 0 2 19 8
89.29/11.38 c 4000 9223 251415 3739511 66 0 2 14 7
90.09/11.45 c 4000 8778 264857 3986823 66 0 2 16 8
90.09/11.49 c 3000 7333 215729 3162531 66 0 2 19 7
91.69/11.66 c 4096 9378 256644 3826191 66 0 3 11 7
91.69/11.67 c 4097 9387 256994 3829059 66 0 9 9 4
91.69/11.69 c 4098 9399 257142 3830264 66 0 12 12 6
91.69/11.69 c 3000 8633 248700 3265422 66 0 3 18 8
92.49/11.70 c 4099 9402 257219 3831444 66 0 3 3 1
92.49/11.71 c 4100 9411 257560 3834283 66 0 9 9 4
92.49/11.72 c 4101 9423 257708 3835488 66 0 12 12 6
92.49/11.73 c 4102 9426 257785 3836668 66 0 3 3 1
92.49/11.74 c 4103 9435 258131 3839533 66 0 9 9 4
92.49/11.76 c 4104 9447 258279 3840738 66 0 12 12 6
92.49/11.77 c 4105 9450 258356 3841918 66 0 3 3 1
92.49/11.78 c 4106 9459 258702 3844783 66 0 9 9 4
92.49/11.78 c 4493 10374 293033 4277808 66 0 3 18 11
92.49/11.79 c 4107 9471 258850 3845988 66 0 12 12 6
93.29/11.80 c 4108 9474 258927 3847168 66 0 3 3 1
93.29/11.81 c 4109 9483 259281 3850213 66 0 9 9 4
93.29/11.82 c 4110 9495 259429 3851418 66 0 12 12 6
93.29/11.83 c 4111 9498 259506 3852598 66 0 3 3 1
93.29/11.85 c 4112 9507 259860 3855642 66 0 9 9 4
93.29/11.86 c 4113 9519 260008 3856847 66 0 12 12 6
93.29/11.87 c 4114 9522 260085 3858027 66 0 3 3 1
93.29/11.88 c 4115 9531 260434 3861071 66 0 9 9 4
93.29/11.89 c 4116 9543 260587 3862284 66 0 12 12 6
94.09/11.90 c 4117 9546 260665 3863464 66 0 3 3 1
94.09/11.92 c 4118 9555 261003 3866523 66 0 9 9 4
94.09/11.93 c 4119 9567 261154 3867735 66 0 12 12 6
94.09/11.94 c 4120 9570 261232 3868915 66 0 3 3 1
94.09/11.95 c 4121 9579 261570 3871974 66 0 9 9 4
94.09/11.96 c 4122 9591 261721 3873186 66 0 12 12 6
94.09/11.97 c 4123 9594 261799 3874366 66 0 3 3 1
94.09/11.98 c 4124 9603 262137 3877425 66 0 9 9 4
94.09/11.99 c 4125 9615 262288 3878637 66 0 12 12 6
94.09/12.00 c 4000 8727 287717 4000329 66 0 3 17 9
94.09/12.00 c 5000 11232 315229 4513589 66 0 1 15 7
94.94/12.01 c 4126 9618 262366 3879817 66 0 3 3 1
94.94/12.01 c 4000 8729 287729 4000360 66 0 0 0 0
94.94/12.02 c 4127 9627 262700 3882887 66 0 9 9 4
94.94/12.03 c 4128 9639 262855 3884100 66 0 12 12 6
94.94/12.04 c 4129 9642 262935 3885278 66 0 3 3 1
94.94/12.05 c 4130 9651 263274 3888335 66 0 9 9 4
94.94/12.06 c 4131 9654 263335 3889044 66 0 3 3 1
94.94/12.07 c 4132 9657 263417 3890221 66 0 3 3 1
94.94/12.08 c 4133 9666 263751 3893286 66 0 9 9 4
94.94/12.10 c 4134 9669 263812 3893994 66 0 3 3 1
95.75/12.11 c 4135 9672 263895 3895163 66 0 3 3 1
95.75/12.12 c 4136 9675 263981 3896435 66 0 3 3 1
95.75/12.13 c 4137 9677 264038 3897554 66 0 2 2 1
95.75/12.13 c 4138 9678 264052 3898182 66 0 1 1 0
95.75/12.13 c 5035 11306 317240 4547115 66 0 1 13 5
95.75/12.14 c 4139 9682 264186 3900370 66 0 4 4 2
95.75/12.14 c 4140 9686 264234 3901012 66 0 4 4 2
95.75/12.15 c 4141 9688 264290 3902073 66 0 2 2 1
95.75/12.16 c 4142 9692 264338 3902715 66 0 4 4 2
95.75/12.16 c 4143 9694 264394 3903776 66 0 2 2 1
95.75/12.17 c 4144 9698 264442 3904418 66 0 4 4 2
95.75/12.18 c 4145 9700 264500 3905480 66 0 2 2 1
95.75/12.18 c 4146 9704 264548 3906121 66 0 4 4 2
95.75/12.19 c 4147 9706 264606 3907182 66 0 2 2 1
95.75/12.19 c 4148 9710 264654 3907822 66 0 4 4 2
96.48/12.21 c 4149 9712 264710 3908882 66 0 2 2 1
96.48/12.22 c 4150 9716 264758 3909522 66 0 4 4 2
96.48/12.22 c 4151 9718 264814 3910582 66 0 2 2 1
96.48/12.23 c 4152 9722 264862 3911222 66 0 4 4 2
96.48/12.24 c 4153 9724 264918 3912282 66 0 2 2 1
96.48/12.24 c 4154 9728 264966 3912922 66 0 4 4 2
96.48/12.25 c 4155 9730 265022 3913982 66 0 2 2 1
96.48/12.26 c 4156 9734 265070 3914622 66 0 4 4 2
96.48/12.26 c 4157 9736 265126 3915682 66 0 2 2 1
96.48/12.27 c 4158 9740 265174 3916322 66 0 4 4 2
96.48/12.28 c 4159 9742 265230 3917382 66 0 2 2 1
96.48/12.28 c 4160 9746 265278 3918022 66 0 4 4 2
96.48/12.29 c 4161 9748 265334 3919082 66 0 2 2 1
96.48/12.29 c 4162 9752 265382 3919722 66 0 4 4 2
97.27/12.30 c 4163 9754 265438 3920782 66 0 2 2 1
97.27/12.32 c 4164 9758 265486 3921422 66 0 4 4 2
97.27/12.32 c 4165 9760 265542 3922482 66 0 2 2 1
97.27/12.33 c 4166 9764 265590 3923122 66 0 4 4 2
97.27/12.34 c 4167 9766 265646 3924182 66 0 2 2 1
97.27/12.34 c 4168 9770 265694 3924822 66 0 4 4 2
97.27/12.35 c 4169 9772 265750 3925882 66 0 2 2 1
97.27/12.36 c 4170 9776 265798 3926522 66 0 4 4 2
97.27/12.36 c 4171 9778 265854 3927582 66 0 2 2 1
97.27/12.37 c 4172 9782 265902 3928222 66 0 4 4 2
97.27/12.37 c 4173 9784 265958 3929282 66 0 2 2 1
97.27/12.38 c 4174 9788 266006 3929922 66 0 4 4 2
97.27/12.39 c 4175 9790 266062 3930982 66 0 2 2 1
97.27/12.39 c 4176 9794 266110 3931622 66 0 4 4 2
98.08/12.40 c 4177 9796 266168 3932682 66 0 2 2 1
98.08/12.41 c 4178 9800 266216 3933320 66 0 4 4 2
98.08/12.41 c 4179 9802 266271 3934378 66 0 2 2 1
98.08/12.42 c 4180 9806 266319 3935016 66 0 4 4 2
98.08/12.43 c 4181 9808 266374 3936074 66 0 2 2 1
98.08/12.43 c 4182 9812 266422 3936712 66 0 4 4 2
98.08/12.45 c 4183 9814 266477 3937770 66 0 2 2 1
98.08/12.45 c 4000 8632 241414 3809479 66 0 2 15 7
98.08/12.46 c 4184 9818 266525 3938408 66 0 4 4 2
98.08/12.46 c 4185 9820 266580 3939466 66 0 2 2 1
98.08/12.47 c 4186 9824 266628 3940104 66 0 4 4 2
98.08/12.48 c 4187 9826 266683 3941162 66 0 2 2 1
98.08/12.48 c 4188 9830 266731 3941800 66 0 4 4 2
98.08/12.49 c 4189 9832 266786 3942858 66 0 2 2 1
98.08/12.49 c 4190 9836 266834 3943496 66 0 4 4 2
98.89/12.50 c 4191 9838 266889 3944554 66 0 2 2 1
98.89/12.51 c 4192 9842 266937 3945192 66 0 4 4 2
98.89/12.51 c 4193 9844 266992 3946250 66 0 2 2 1
98.89/12.52 c 4194 9848 267040 3946888 66 0 4 4 2
98.89/12.53 c 4195 9850 267099 3947946 67 0 2 2 1
98.89/12.53 c 4196 9854 267153 3948586 67 0 4 4 2
98.89/12.54 c 4197 9856 267208 3949640 67 0 2 2 1
98.89/12.56 c 4198 9860 267262 3950279 67 0 4 4 2
98.89/12.56 c 4199 9862 267317 3951332 67 0 2 2 1
98.89/12.57 c 4200 9866 267371 3951971 67 0 4 4 2
98.89/12.57 c 4201 9868 267426 3953023 67 0 2 2 1
98.89/12.58 c 4202 9872 267478 3953661 67 0 4 4 2
98.89/12.59 c 4203 9874 267533 3954713 67 0 2 2 1
98.89/12.59 c 4204 9878 267585 3955351 67 0 4 4 2
99.70/12.60 c 4205 9880 267640 3956403 67 0 2 2 1
99.70/12.61 c 4206 9884 267692 3957041 67 0 4 4 2
99.70/12.61 c 4207 9886 267747 3958093 67 0 2 2 1
99.70/12.62 c 4208 9890 267799 3958731 67 0 4 4 2
99.70/12.63 c 4209 9892 267854 3959783 67 0 2 2 1
99.70/12.63 c 4210 9896 267906 3960421 67 0 4 4 2
99.70/12.64 c 4211 9898 267961 3961473 67 0 2 2 1
99.70/12.64 c 4212 9902 268013 3962111 67 0 4 4 2
99.70/12.64 c 4096 8892 247819 3897917 67 0 2 15 9
99.70/12.65 c 4213 9904 268068 3963163 67 0 2 2 1
99.70/12.65 c 4097 8896 247911 3898939 67 0 4 4 2
99.70/12.67 c 4214 9908 268120 3963801 67 0 4 4 2
99.70/12.67 c 4098 8900 247963 3899577 67 0 4 4 2
99.70/12.67 c 4215 9910 268175 3964853 67 0 2 2 1
99.70/12.67 c 4099 8902 248018 3900629 67 0 2 2 1
99.70/12.68 c 4216 9914 268227 3965491 67 0 4 4 2
99.70/12.68 c 4100 8906 248070 3901267 67 0 4 4 2
99.70/12.69 c 4217 9916 268282 3966543 67 0 2 2 1
99.70/12.69 c 4101 8908 248125 3902319 67 0 2 2 1
99.70/12.69 c 4218 9920 268334 3967181 67 0 4 4 2
99.70/12.69 c 4102 8912 248177 3902957 67 0 4 4 2
99.70/12.70 c 4219 9922 268389 3968233 67 0 2 2 1
99.70/12.70 c 4103 8914 248232 3904009 67 0 2 2 1
99.70/12.70 c 4220 9926 268441 3968871 67 0 4 4 2
100.50/12.70 c 4104 8918 248284 3904647 67 0 4 4 2
100.50/12.71 c 4221 9928 268496 3969923 67 0 2 2 1
100.50/12.71 c 4105 8920 248339 3905699 67 0 2 2 1
100.50/12.72 c 4222 9932 268548 3970561 67 0 4 4 2
100.50/12.72 c 4106 8924 248391 3906337 67 0 4 4 2
100.50/12.72 c 4223 9934 268603 3971613 67 0 2 2 1
100.50/12.72 c 4107 8926 248446 3907389 67 0 2 2 1
100.50/12.73 c 4224 9938 268655 3972251 67 0 4 4 2
100.50/12.73 c 4108 8930 248498 3908027 67 0 4 4 2
100.50/12.74 c 4225 9940 268710 3973303 67 0 2 2 1
100.50/12.74 c 4109 8932 248553 3909079 67 0 2 2 1
100.50/12.74 c 4226 9944 268762 3973941 67 0 4 4 2
100.50/12.74 c 4110 8936 248605 3909717 67 0 4 4 2
100.50/12.75 c 4227 9946 268817 3974993 67 0 2 2 1
100.50/12.75 c 4111 8938 248660 3910769 67 0 2 2 1
100.50/12.75 c 4228 9950 268869 3975631 67 0 4 4 2
100.50/12.76 c 4112 8942 248712 3911407 67 0 4 4 2
100.50/12.76 c 4229 9952 268924 3976683 67 0 2 2 1
100.50/12.76 c 4113 8944 248767 3912459 67 0 2 2 1
100.50/12.78 c 4230 9956 268976 3977321 67 0 4 4 2
100.50/12.78 c 4114 8948 248819 3913097 67 0 4 4 2
100.50/12.78 c 4231 9958 269031 3978373 67 0 2 2 1
100.50/12.78 c 4115 8950 248874 3914149 67 0 2 2 1
100.50/12.79 c 4232 9962 269083 3979011 67 0 4 4 2
100.50/12.79 c 4116 8954 248926 3914787 67 0 4 4 2
100.50/12.80 c 4233 9964 269138 3980063 67 0 2 2 1
100.50/12.80 c 4117 8956 248981 3915839 67 0 2 2 1
100.50/12.80 c 4234 9968 269190 3980701 67 0 4 4 2
100.50/12.80 c 4118 8960 249033 3916477 67 0 4 4 2
101.31/12.81 c 4235 9970 269245 3981753 67 0 2 2 1
101.31/12.81 c 4119 8962 249088 3917529 67 0 2 2 1
101.31/12.82 c 4236 9974 269297 3982391 67 0 4 4 2
101.31/12.82 c 4120 8966 249140 3918167 67 0 4 4 2
101.31/12.82 c 4237 9976 269352 3983443 67 0 2 2 1
101.31/12.82 c 4121 8968 249195 3919219 67 0 2 2 1
101.31/12.83 c 4238 9980 269404 3984081 67 0 4 4 2
101.31/12.83 c 4122 8972 249247 3919857 67 0 4 4 2
101.31/12.83 c 4239 9982 269459 3985133 67 0 2 2 1
101.31/12.83 c 4123 8974 249302 3920909 67 0 2 2 1
101.31/12.85 c 4240 9986 269511 3985771 67 0 4 4 2
101.31/12.85 c 4124 8978 249354 3921547 67 0 4 4 2
101.31/12.85 c 4241 9988 269566 3986823 67 0 2 2 1
101.31/12.86 c 4125 8980 249409 3922599 67 0 2 2 1
101.31/12.86 c 4242 9992 269618 3987461 67 0 4 4 2
101.31/12.86 c 4493 9747 297251 4465762 66 0 2 18 9
101.31/12.86 c 4126 8984 249465 3923242 67 0 4 4 2
101.31/12.86 c 4243 9994 269676 3988513 67 0 2 2 1
101.31/12.87 c 4127 8986 249520 3924292 67 0 2 2 1
101.31/12.87 c 4244 9998 269729 3989154 67 0 4 4 2
101.31/12.88 c 4128 8990 249573 3924933 67 0 4 4 2
101.31/12.88 c 4245 10000 269784 3990204 67 0 2 2 1
101.31/12.88 c 4129 8992 249628 3925983 67 0 2 2 1
101.31/12.88 c 4246 10004 269837 3990845 67 0 4 4 2
101.31/12.89 c 4130 8996 249681 3926624 67 0 4 4 2
101.31/12.89 c 4247 10006 269892 3991895 67 0 2 2 1
101.31/12.89 c 4131 8998 249736 3927674 67 0 2 2 1
101.31/12.89 c 4248 10010 269945 3992536 67 0 4 4 2
101.31/12.90 c 4132 9002 249789 3928315 67 0 4 4 2
101.31/12.90 c 4249 10012 270000 3993586 67 0 2 2 1
102.12/12.91 c 4133 9004 249844 3929365 67 0 2 2 1
102.12/12.91 c 4250 10016 270053 3994227 67 0 4 4 2
102.12/12.91 c 4134 9008 249897 3930006 67 0 4 4 2
102.12/12.91 c 4251 10018 270108 3995277 67 0 2 2 1
102.12/12.92 c 4135 9010 249952 3931056 67 0 2 2 1
102.12/12.92 c 4252 10022 270161 3995918 67 0 4 4 2
102.12/12.93 c 4136 9014 250005 3931697 67 0 4 4 2
102.12/12.93 c 4253 10024 270216 3996968 67 0 2 2 1
102.12/12.93 c 4137 9016 250060 3932747 67 0 2 2 1
102.12/12.93 c 4254 10028 270269 3997609 67 0 4 4 2
102.12/12.94 c 4138 9020 250113 3933388 67 0 4 4 2
102.12/12.94 c 4255 10030 270324 3998659 67 0 2 2 1
102.12/12.96 c 4139 9022 250168 3934438 67 0 2 2 1
102.12/12.96 c 4256 10034 270377 3999300 67 0 4 4 2
102.12/12.96 c 4140 9026 250221 3935079 67 0 4 4 2
102.12/12.96 c 4257 10036 270432 4000350 67 0 2 2 1
102.12/12.97 c 4141 9028 250276 3936129 67 0 2 2 1
102.12/12.97 c 4258 10040 270485 4000991 67 0 4 4 2
102.12/12.97 c 4142 9032 250329 3936770 67 0 4 4 2
102.12/12.97 c 4259 10042 270540 4002041 67 0 2 2 1
102.12/12.98 c 4143 9034 250384 3937820 67 0 2 2 1
102.12/12.98 c 4260 10046 270593 4002682 67 0 4 4 2
102.12/12.99 c 4144 9038 250437 3938461 67 0 4 4 2
102.12/12.99 c 4261 10048 270648 4003732 67 0 2 2 1
102.12/12.99 c 4145 9040 250492 3939511 67 0 2 2 1
102.12/12.99 c 4262 10052 270701 4004373 67 0 4 4 2
102.12/13.00 c 4146 9044 250545 3940152 67 0 4 4 2
102.12/13.00 c 4263 10054 270756 4005423 67 0 2 2 1
102.12/13.01 c 4147 9046 250600 3941202 67 0 2 2 1
102.12/13.01 c 4264 10058 270809 4006064 67 0 4 4 2
102.12/13.01 c 4148 9050 250653 3941843 67 0 4 4 2
102.12/13.01 c 4265 10060 270864 4007114 67 0 2 2 1
102.98/13.02 c 4149 9052 250708 3942893 67 0 2 2 1
102.98/13.02 c 4266 10064 270917 4007755 67 0 4 4 2
102.98/13.02 c 4150 9056 250761 3943534 67 0 4 4 2
102.98/13.02 c 4267 10066 270972 4008805 67 0 2 2 1
102.98/13.03 c 4151 9058 250816 3944584 67 0 2 2 1
102.98/13.03 c 4268 10070 271025 4009446 67 0 4 4 2
102.98/13.04 c 4152 9062 250869 3945225 67 0 4 4 2
102.98/13.04 c 4269 10072 271080 4010496 67 0 2 2 1
102.98/13.04 c 4153 9064 250924 3946275 67 0 2 2 1
102.98/13.04 c 4270 10076 271133 4011137 67 0 4 4 2
102.98/13.05 c 4154 9068 250977 3946916 67 0 4 4 2
102.98/13.05 c 4271 10078 271188 4012187 67 0 2 2 1
102.98/13.07 c 4155 9070 251032 3947966 67 0 2 2 1
102.98/13.07 c 4272 10082 271241 4012828 67 0 4 4 2
102.98/13.07 c 4156 9074 251085 3948607 67 0 4 4 2
102.98/13.07 c 4273 10084 271296 4013878 67 0 2 2 1
102.98/13.08 c 4157 9076 251140 3949657 67 0 2 2 1
102.98/13.08 c 4274 10088 271349 4014519 67 0 4 4 2
102.98/13.08 c 4158 9080 251193 3950298 67 0 4 4 2
102.98/13.08 c 4275 10090 271404 4015569 67 0 2 2 1
102.98/13.09 c 4159 9082 251248 3951348 67 0 2 2 1
102.98/13.09 c 4276 10094 271457 4016210 67 0 4 4 2
102.98/13.10 c 4160 9086 251301 3951989 67 0 4 4 2
102.98/13.10 c 4277 10096 271512 4017260 67 0 2 2 1
102.98/13.10 c 4161 9088 251356 3953039 67 0 2 2 1
102.98/13.10 c 4278 10100 271565 4017901 67 0 4 4 2
103.73/13.11 c 4162 9092 251409 3953680 67 0 4 4 2
103.73/13.11 c 4279 10102 271620 4018951 67 0 2 2 1
103.73/13.12 c 4163 9094 251464 3954730 67 0 2 2 1
103.73/13.12 c 4280 10106 271673 4019592 67 0 4 4 2
103.73/13.12 c 4164 9098 251517 3955371 67 0 4 4 2
103.73/13.12 c 4281 10108 271728 4020642 67 0 2 2 1
103.73/13.13 c 4165 9100 251572 3956421 67 0 2 2 1
103.73/13.13 c 4282 10112 271781 4021283 67 0 4 4 2
103.73/13.13 c 4166 9104 251625 3957062 67 0 4 4 2
103.73/13.13 c 4283 10114 271836 4022333 67 0 2 2 1
103.73/13.14 c 4167 9106 251680 3958112 67 0 2 2 1
103.73/13.14 c 4284 10118 271889 4022974 67 0 4 4 2
103.73/13.15 c 4168 9110 251733 3958753 67 0 4 4 2
103.73/13.15 c 4285 10120 271944 4024024 67 0 2 2 1
103.73/13.15 c 4169 9112 251788 3959803 67 0 2 2 1
103.73/13.15 c 4286 10124 271997 4024665 67 0 4 4 2
103.73/13.16 c 4170 9116 251841 3960444 67 0 4 4 2
103.73/13.16 c 4287 10126 272052 4025715 67 0 2 2 1
103.73/13.18 c 4171 9118 251896 3961494 67 0 2 2 1
103.73/13.18 c 4288 10130 272105 4026356 67 0 4 4 2
103.73/13.18 c 4172 9122 251949 3962135 67 0 4 4 2
103.73/13.18 c 4289 10132 272160 4027406 67 0 2 2 1
103.73/13.19 c 4173 9124 252004 3963185 67 0 2 2 1
103.73/13.19 c 4290 10136 272213 4028047 67 0 4 4 2
103.73/13.20 c 4174 9128 252057 3963826 67 0 4 4 2
103.73/13.20 c 4291 10138 272268 4029097 67 0 2 2 1
103.73/13.20 c 4175 9130 252112 3964876 67 0 2 2 1
103.73/13.20 c 4292 10142 272321 4029738 67 0 4 4 2
104.53/13.21 c 4176 9134 252165 3965517 67 0 4 4 2
104.53/13.21 c 4293 10144 272376 4030788 67 0 2 2 1
104.53/13.21 c 4177 9136 252220 3966567 67 0 2 2 1
104.53/13.21 c 4294 10148 272429 4031429 67 0 4 4 2
104.53/13.22 c 4178 9140 252273 3967208 67 0 4 4 2
104.53/13.22 c 4295 10150 272484 4032479 67 0 2 2 1
104.53/13.22 c 5000 11658 327147 4771153 66 0 2 14 8
104.53/13.23 c 4179 9142 252328 3968258 67 0 2 2 1
104.53/13.23 c 4296 10154 272537 4033120 67 0 4 4 2
104.53/13.23 c 4180 9146 252381 3968899 67 0 4 4 2
104.53/13.23 c 4297 10156 272592 4034170 67 0 2 2 1
104.53/13.24 c 4181 9148 252436 3969949 67 0 2 2 1
104.53/13.24 c 4298 10160 272645 4034811 67 0 4 4 2
104.53/13.25 c 4182 9152 252489 3970590 67 0 4 4 2
104.53/13.25 c 4299 10162 272700 4035861 67 0 2 2 1
104.53/13.25 c 4183 9154 252544 3971640 67 0 2 2 1
104.53/13.25 c 4300 10166 272753 4036502 67 0 4 4 2
104.53/13.26 c 4184 9158 252597 3972281 67 0 4 4 2
104.53/13.26 c 4301 10168 272810 4037552 67 0 2 2 1
104.53/13.26 c 4185 9160 252654 3973331 67 0 2 2 1
104.53/13.27 c 4302 10172 272863 4038193 67 0 4 4 2
104.53/13.28 c 4186 9164 252707 3973972 67 0 4 4 2
104.53/13.28 c 4303 10174 272918 4039242 67 0 2 2 1
104.53/13.29 c 4187 9166 252762 3975021 67 0 2 2 1
104.53/13.29 c 4304 10178 272971 4039883 67 0 4 4 2
104.53/13.29 c 4188 9170 252815 3975662 67 0 4 4 2
104.53/13.29 c 4305 10180 273026 4040932 67 0 2 2 1
104.53/13.30 c 4189 9172 252870 3976711 67 0 2 2 1
104.53/13.30 c 4306 10184 273079 4041573 67 0 4 4 2
104.53/13.30 c 4190 9176 252923 3977352 67 0 4 4 2
104.53/13.30 c 4307 10186 273134 4042622 67 0 2 2 1
104.53/13.30 c 4191 9178 252978 3978401 67 0 2 2 1
105.34/13.32 c 4308 10190 273187 4043263 67 0 4 4 2
105.34/13.32 c 5035 11721 329011 4800294 67 0 4 16 10
105.34/13.32 c 4192 9182 253031 3979042 67 0 4 4 2
105.34/13.32 c 4309 10192 273242 4044312 67 0 2 2 1
105.34/13.32 c 4193 9184 253086 3980091 67 0 2 2 1
105.34/13.33 c 4310 10196 273295 4044953 67 0 4 4 2
105.34/13.33 c 4194 9188 253139 3980732 67 0 4 4 2
105.34/13.34 c 4311 10198 273350 4046002 67 0 2 2 1
105.34/13.34 c 4195 9190 253194 3981781 67 0 2 2 1
105.34/13.34 c 4312 10202 273403 4046643 67 0 4 4 2
105.34/13.34 c 4196 9194 253247 3982422 67 0 4 4 2
105.34/13.35 c 4313 10204 273458 4047692 67 0 2 2 1
105.34/13.35 c 4197 9196 253302 3983471 67 0 2 2 1
105.34/13.36 c 4314 10208 273511 4048333 67 0 4 4 2
105.34/13.36 c 4198 9200 253355 3984112 67 0 4 4 2
105.34/13.36 c 4315 10210 273566 4049382 67 0 2 2 1
105.34/13.36 c 4199 9202 253410 3985161 67 0 2 2 1
105.34/13.37 c 4316 10214 273619 4050023 67 0 4 4 2
105.34/13.37 c 4200 9206 253463 3985802 67 0 4 4 2
105.34/13.37 c 4317 10216 273674 4051072 67 0 2 2 1
105.34/13.37 c 4201 9208 253518 3986851 67 0 2 2 1
105.34/13.38 c 4318 10220 273727 4051713 67 0 4 4 2
105.34/13.38 c 4202 9212 253571 3987492 67 0 4 4 2
105.34/13.39 c 4319 10222 273782 4052762 67 0 2 2 1
105.34/13.39 c 4203 9214 253626 3988541 67 0 2 2 1
105.34/13.39 c 4320 10226 273835 4053403 67 0 4 4 2
105.34/13.39 c 4204 9218 253679 3989182 67 0 4 4 2
106.06/13.40 c 4321 10228 273890 4054452 67 0 2 2 1
106.06/13.40 c 4205 9220 253734 3990231 67 0 2 2 1
106.06/13.41 c 4322 10232 273943 4055093 67 0 4 4 2
106.06/13.41 c 4206 9224 253787 3990872 67 0 4 4 2
106.06/13.41 c 4323 10234 273998 4056142 67 0 2 2 1
106.06/13.41 c 4207 9226 253842 3991921 67 0 2 2 1
106.06/13.42 c 4324 10238 274051 4056783 67 0 4 4 2
106.06/13.43 c 4208 9230 253895 3992562 67 0 4 4 2
106.06/13.43 c 4325 10240 274106 4057832 67 0 2 2 1
106.06/13.43 c 4209 9232 253950 3993611 67 0 2 2 1
106.06/13.44 c 4326 10244 274159 4058473 67 0 4 4 2
106.06/13.44 c 4210 9236 254003 3994252 67 0 4 4 2
106.06/13.44 c 4327 10246 274214 4059522 67 0 2 2 1
106.06/13.45 c 4211 9238 254058 3995301 67 0 2 2 1
106.06/13.45 c 4328 10250 274267 4060163 67 0 4 4 2
106.06/13.45 c 4212 9242 254111 3995942 67 0 4 4 2
106.06/13.45 c 4329 10252 274322 4061212 67 0 2 2 1
106.06/13.46 c 4213 9244 254166 3996991 67 0 2 2 1
106.06/13.46 c 4330 10256 274375 4061853 67 0 4 4 2
106.06/13.46 c 4214 9248 254219 3997632 67 0 4 4 2
106.06/13.47 c 4331 10258 274430 4062902 67 0 2 2 1
106.06/13.47 c 4215 9250 254276 3998681 67 0 2 2 1
106.06/13.47 c 4332 10262 274485 4063543 67 0 4 4 2
106.06/13.48 c 4216 9254 254329 3999321 67 0 4 4 2
106.06/13.48 c 4333 10264 274540 4064591 67 0 2 2 1
106.06/13.48 c 4217 9256 254384 4000369 67 0 2 2 1
106.06/13.49 c 4334 10268 274593 4065231 67 0 4 4 2
106.06/13.49 c 4218 9260 254437 4001009 67 0 4 4 2
106.86/13.50 c 4335 10270 274648 4066279 67 0 2 2 1
106.86/13.50 c 4219 9262 254492 4002057 67 0 2 2 1
106.86/13.51 c 4336 10274 274701 4066919 67 0 4 4 2
106.86/13.51 c 4220 9266 254545 4002697 67 0 4 4 2
106.86/13.51 c 4493 9762 321008 4506715 66 0 3 18 8
106.86/13.51 c 4337 10276 274756 4067967 67 0 2 2 1
106.86/13.51 c 4221 9268 254600 4003745 67 0 2 2 1
106.86/13.52 c 4338 10280 274809 4068607 67 0 4 4 2
106.86/13.52 c 4222 9272 254653 4004385 67 0 4 4 2
106.86/13.53 c 4339 10282 274864 4069655 67 0 2 2 1
106.86/13.53 c 4223 9274 254708 4005433 67 0 2 2 1
106.86/13.53 c 4340 10286 274917 4070295 67 0 4 4 2
106.86/13.53 c 4224 9278 254761 4006073 67 0 4 4 2
106.86/13.54 c 4341 10288 274972 4071343 67 0 2 2 1
106.86/13.54 c 4225 9280 254816 4007121 67 0 2 2 1
106.86/13.54 c 4342 10292 275025 4071983 67 0 4 4 2
106.86/13.55 c 4226 9284 254869 4007761 67 0 4 4 2
106.86/13.55 c 4343 10294 275080 4073031 67 0 2 2 1
106.86/13.55 c 4227 9286 254924 4008809 67 0 2 2 1
106.86/13.57 c 4344 10298 275133 4073671 67 0 4 4 2
106.86/13.57 c 4228 9290 254977 4009449 67 0 4 4 2
106.86/13.57 c 4345 10300 275188 4074719 67 0 2 2 1
106.86/13.57 c 4229 9292 255032 4010497 67 0 2 2 1
106.86/13.58 c 4346 10304 275241 4075359 67 0 4 4 2
106.86/13.58 c 4230 9296 255085 4011137 67 0 4 4 2
106.86/13.59 c 4347 10306 275296 4076407 67 0 2 2 1
106.86/13.59 c 4231 9298 255140 4012185 67 0 2 2 1
106.86/13.59 c 4348 10310 275349 4077047 67 0 4 4 2
106.86/13.59 c 4232 9302 255193 4012825 67 0 4 4 2
107.65/13.60 c 4349 10312 275404 4078095 67 0 2 2 1
107.65/13.60 c 4233 9304 255248 4013873 67 0 2 2 1
107.65/13.60 c 4350 10316 275457 4078735 67 0 4 4 2
107.65/13.60 c 4234 9308 255301 4014513 67 0 4 4 2
107.65/13.61 c 4351 10318 275512 4079783 67 0 2 2 1
107.65/13.61 c 4235 9310 255356 4015561 67 0 2 2 1
107.65/13.61 c 4236 9314 255409 4016201 67 0 4 4 2
107.65/13.63 c 4237 9316 255464 4017249 67 0 2 2 1
107.65/13.64 c 4238 9320 255517 4017889 67 0 4 4 2
107.65/13.64 c 4239 9322 255572 4018937 67 0 2 2 1
107.65/13.65 c 4240 9326 255625 4019577 67 0 4 4 2
107.65/13.66 c 4241 9328 255680 4020625 67 0 2 2 1
107.65/13.66 c 4242 9332 255733 4021265 67 0 4 4 2
107.65/13.67 c 4243 9334 255788 4022313 67 0 2 2 1
107.65/13.67 c 4244 9338 255841 4022953 67 0 4 4 2
107.65/13.68 c 4245 9340 255896 4024001 67 0 2 2 1
107.65/13.68 c 5631 12538 352974 5094151 67 0 2 18 8
107.65/13.69 c 4246 9344 255949 4024641 67 0 4 4 2
107.65/13.69 c 4247 9346 256006 4025690 67 0 2 2 1
108.45/13.70 c 4248 9350 256059 4026329 67 0 4 4 2
108.45/13.71 c 4249 9352 256114 4027377 67 0 2 2 1
108.45/13.71 c 4250 9356 256167 4028016 67 0 4 4 2
108.45/13.72 c 4251 9358 256222 4029064 67 0 2 2 1
108.45/13.74 c 4252 9362 256275 4029703 67 0 4 4 2
108.45/13.74 c 4253 9364 256330 4030751 67 0 2 2 1
108.45/13.75 c 4254 9368 256383 4031390 67 0 4 4 2
108.45/13.75 c 4255 9370 256438 4032438 67 0 2 2 1
108.45/13.76 c 4256 9374 256491 4033077 67 0 4 4 2
108.45/13.77 c 4257 9376 256546 4034125 67 0 2 2 1
108.45/13.77 c 4258 9380 256599 4034764 67 0 4 4 2
108.45/13.78 c 4259 9382 256659 4035812 67 0 2 2 1
108.45/13.79 c 4260 9385 256722 4036959 67 0 3 3 1
108.45/13.79 c 4261 9387 256777 4038056 67 0 2 2 1
109.25/13.80 c 4262 9390 256840 4039203 67 0 3 3 1
109.25/13.81 c 4263 9392 256894 4040244 67 0 2 2 1
109.25/13.81 c 4264 9395 256957 4041391 67 0 3 3 1
109.25/13.82 c 4265 9397 257011 4042432 67 0 2 2 1
109.25/13.83 c 4266 9400 257074 4043579 67 0 3 3 1
109.25/13.84 c 4267 9402 257128 4044620 67 0 2 2 1
109.25/13.84 c 4268 9405 257191 4045767 67 0 3 3 1
109.25/13.85 c 4269 9407 257246 4046864 67 0 2 2 1
109.25/13.86 c 4270 9413 257494 4050196 67 0 6 6 3
109.25/13.87 c 4271 9419 257623 4051326 67 0 6 6 3
109.25/13.87 c 4272 9420 257649 4052648 67 0 1 1 0
109.25/13.89 c 4273 9422 257711 4053763 67 0 2 2 1
110.05/13.90 c 4274 9425 257778 4054878 67 0 3 3 1
110.05/13.90 c 4275 9427 257843 4055993 67 0 2 2 1
110.05/13.91 c 4276 9430 257910 4057106 67 0 3 3 1
110.05/13.92 c 4277 9432 257975 4058219 67 0 2 2 1
110.05/13.92 c 4278 9435 258042 4059330 67 0 3 3 1
110.05/13.93 c 4279 9437 258104 4060441 67 0 2 2 1
110.05/13.94 c 4280 9440 258171 4061552 67 0 3 3 1
110.05/13.94 c 4281 9442 258233 4062663 67 0 2 2 1
110.05/13.95 c 4282 9445 258300 4063774 67 0 3 3 1
110.05/13.96 c 4283 9447 258362 4064885 67 0 2 2 1
110.05/13.97 c 4284 9450 258429 4065996 67 0 3 3 1
110.05/13.97 c 4285 9452 258491 4067107 67 0 2 2 1
110.05/13.98 c 4286 9455 258558 4068218 67 0 3 3 1
110.05/14.00 c 4287 9457 258620 4069329 67 0 2 2 1
110.05/14.00 c 4288 9460 258687 4070440 67 0 3 3 1
110.91/14.01 c 4289 9462 258749 4071551 67 0 2 2 1
110.91/14.02 c 4290 9465 258816 4072662 67 0 3 3 1
110.91/14.02 c 4291 9467 258878 4073773 67 0 2 2 1
110.91/14.03 c 4292 9470 258945 4074884 67 0 3 3 1
110.91/14.04 c 4293 9472 259007 4075995 67 0 2 2 1
110.91/14.04 c 4294 9475 259074 4077106 67 0 3 3 1
110.91/14.05 c 4295 9477 259136 4078217 67 0 2 2 1
110.91/14.06 c 4296 9480 259203 4079328 67 0 3 3 1
110.91/14.07 c 4297 9482 259265 4080439 67 0 2 2 1
110.91/14.07 c 4298 9485 259332 4081550 67 0 3 3 1
110.91/14.08 c 4299 9487 259394 4082661 67 0 2 2 1
110.91/14.09 c 4300 9490 259461 4083772 67 0 3 3 1
110.91/14.09 c 4301 9492 259523 4084883 67 0 2 2 1
111.71/14.11 c 4302 9495 259590 4085994 67 0 3 3 1
111.71/14.12 c 4303 9497 259652 4087105 67 0 2 2 1
111.71/14.12 c 4304 9500 259719 4088216 67 0 3 3 1
111.71/14.13 c 4305 9502 259786 4089336 68 0 2 2 1
111.71/14.14 c 4306 9505 259855 4090457 68 0 3 3 1
111.71/14.14 c 4307 9507 259919 4091575 68 0 2 2 1
111.71/14.15 c 4308 9510 259984 4092614 68 0 3 3 1
111.71/14.16 c 4309 9512 260041 4093642 68 0 2 2 1
111.71/14.16 c 4310 9515 260102 4094678 68 0 3 3 1
111.71/14.17 c 4311 9517 260168 4095720 68 0 2 2 1
111.71/14.18 c 4312 9520 260226 4096754 68 0 3 3 1
111.71/14.19 c 4313 9522 260289 4097793 68 0 2 2 1
111.71/14.19 c 4314 9525 260349 4098827 68 0 3 3 1
112.44/14.20 c 4315 9527 260418 4099894 68 0 2 2 1
112.44/14.22 c 4316 9530 260475 4100926 68 0 3 3 1
112.44/14.22 c 4317 9532 260544 4101993 68 0 2 2 1
112.44/14.23 c 4318 9535 260601 4103025 68 0 3 3 1
112.44/14.24 c 4319 9537 260670 4104167 68 0 2 2 1
112.44/14.24 c 4320 9540 260727 4105199 68 0 3 3 1
112.44/14.25 c 4321 9542 260796 4106266 68 0 2 2 1
112.44/14.26 c 4322 9545 260853 4107298 68 0 3 3 1
112.44/14.27 c 4323 9547 260922 4108440 68 0 2 2 1
112.44/14.27 c 4324 9550 260979 4109472 68 0 3 3 1
112.44/14.28 c 4325 9552 261048 4110539 68 0 2 2 1
112.44/14.29 c 4326 9555 261105 4111571 68 0 3 3 1
112.44/14.29 c 4327 9557 261174 4112638 68 0 2 2 1
113.24/14.30 c 4328 9560 261231 4113670 68 0 3 3 1
113.24/14.31 c 4329 9562 261300 4114737 68 0 2 2 1
113.24/14.31 c 4330 9565 261357 4115769 68 0 3 3 1
113.24/14.33 c 4331 9567 261426 4116911 68 0 2 2 1
113.24/14.34 c 4332 9570 261483 4117943 68 0 3 3 1
113.24/14.35 c 4333 9572 261552 4119085 68 0 2 2 1
113.24/14.35 c 4334 9575 261609 4120117 68 0 3 3 1
113.24/14.36 c 4335 9577 261680 4121259 68 0 2 2 1
113.24/14.37 c 4336 9580 261737 4122290 68 0 3 3 1
113.24/14.37 c 4337 9582 261806 4123431 68 0 2 2 1
113.24/14.38 c 4338 9585 261863 4124462 68 0 3 3 1
113.24/14.39 c 4339 9587 261932 4125603 68 0 2 2 1
113.24/14.39 c 4340 9590 261989 4126634 68 0 3 3 1
114.04/14.40 c 4341 9592 262058 4127700 68 0 2 2 1
114.04/14.41 c 4342 9595 262115 4128731 68 0 3 3 1
114.04/14.42 c 4343 9597 262184 4129872 68 0 2 2 1
114.04/14.44 c 4344 9601 262266 4130624 69 0 4 4 2
114.04/14.44 c 4345 9603 262330 4131691 69 0 2 2 1
114.04/14.45 c 4346 9607 262404 4132427 69 0 4 4 2
114.04/14.46 c 4347 9609 262471 4133652 69 0 2 2 1
114.04/14.47 c 4348 9613 262545 4134388 69 0 4 4 2
114.04/14.47 c 4349 9615 262612 4135613 69 0 2 2 1
114.04/14.47 c 5000 10752 330355 4978469 68 0 2 16 7
114.04/14.48 c 4350 9619 262686 4136349 69 0 4 4 2
114.04/14.49 c 4351 9621 262750 4137416 69 0 2 2 1
114.84/14.58 c 5035 10817 332443 5012544 69 0 6 12 9
115.64/14.66 c 4000 9469 283069 4177808 69 0 2 16 7
116.44/14.73 c 6000 13149 372086 5428608 69 0 1 15 6
116.44/14.74 c 6000 13150 372100 5428630 70 0 0 0 0
117.24/14.81 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 0.
117.24/14.81 c [pFactory][Group N°0] Thread N°0 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°1 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°2 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°3 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°4 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°5 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°6 is joined.
117.24/14.81 c [pFactory][Group N°0] Thread N°7 is joined.
117.24/14.81 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°5)
117.24/14.81 s UNSATISFIABLE
117.24/14.81 c restarts : 514
117.24/14.81 c conflicts : 4863 (41 /sec)
117.24/14.81 c decisions : 11193 (95 /sec)
117.24/14.81 c propagations : 4524564 (38555 /sec)
117.24/14.81 c root propagations : 100
117.24/14.81 c filter calls : 303854 (2589 /sec)
117.24/14.81 c useless filter calls : 73329 (24 %)
117.24/14.81 c Memory used : 583.82 MB
117.24/14.81 c CPU time : 117.353 s
117.24/14.81 c real time : 14.8152 s
117.24/14.81
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 (15258 MiB free)
memory of node 1: 16384 MiB (15707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409343-1569839165/watcher-4409343-1569839165 -o /tmp/evaluation-result-4409343-1569839165/solver-4409343-1569839165 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569839116-1483 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409343-1569839165.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=1676, runsolver pid=1673
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 7.63 8.49 8.67 2/191 1677
/proc/meminfo: memFree=31706552/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=30672 memory=6792 CPUtime=0.1 cores=0-7
/proc/1676/stat : 1676 (cosoco) R 1673 1676 1456 0 -1 4202496 1927 0 0 0 10 0 0 0 20 0 1 0 560184226 31408128 1698 33554432000 4194304 6211132 140735006472048 140735006468584 5743398 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 7668 1698 814 493 0 973 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30672 KiB
Current children cumulated memory: 6792 KiB
[startup+0.210636 s]*
/proc/loadavg: 7.63 8.49 8.67 9/199 1685
/proc/meminfo: memFree=31696120/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17084 CPUtime=0.83 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 4619 0 0 0 83 0 0 0 20 0 9 0 560184226 645746688 4271 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4271 816 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=8316850467074736180 CPUtime=0.09 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499781910112 5037886 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=9329 CPUtime=0.09 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 14 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499773516896 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=139678686064310 CPUtime=0.09 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499765124704 5039213 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=-1 CPUtime=0.09 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499756732000 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=0 CPUtime=0.09 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499748338784 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=0 CPUtime=0.09 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499739946592 5039022 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=-1 CPUtime=0.09 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499731553888 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=0 CPUtime=0.08 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499723160672 5037783 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17084 KiB
[startup+0.310638 s]*
/proc/loadavg: 7.63 8.49 8.67 9/199 1685
/proc/meminfo: memFree=31696120/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17084 CPUtime=1.62 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 4622 0 0 0 162 0 0 0 20 0 9 0 560184226 645746688 4271 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4271 816 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=1398722017469774279 CPUtime=0.19 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 20 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499781910112 5039328 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=4126316290023845779 CPUtime=0.19 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 15 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499773516896 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=0 CPUtime=0.19 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 12 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499765124192 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=0 CPUtime=0.19 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499756731488 5039199 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=0 CPUtime=0.19 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499748338784 5039178 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=0 CPUtime=0.19 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499739946080 5039536 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=0 CPUtime=0.19 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 11 0 0 0 19 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499731553888 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=0 CPUtime=0.17 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 17 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499723160672 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17084 KiB
[startup+0.700638 s]
/proc/loadavg: 7.63 8.49 8.67 9/199 1685
/proc/meminfo: memFree=31696228/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17084 CPUtime=4.65 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 4623 0 0 0 465 0 0 0 20 0 9 0 560184226 645746688 4271 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4271 816 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=14008 CPUtime=0.57 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 20 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499781909600 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=4100 CPUtime=0.57 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 15 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499773516896 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=6684 CPUtime=0.57 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 12 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499765124192 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=2116 CPUtime=0.57 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 11 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499756731488 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=12028 CPUtime=0.57 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499748338784 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=0 CPUtime=0.57 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499739946080 5039213 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=4126316290023845779 CPUtime=0.57 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 11 0 0 0 57 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499731553376 5039178 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=0 CPUtime=0.53 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 10 0 0 0 53 0 0 0 20 0 9 0 560184239 645746688 4271 33554432000 4194304 6211132 140735006472048 140499723160672 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17084 KiB
[startup+1.50064 s]
/proc/loadavg: 7.63 8.49 8.67 9/199 1685
/proc/meminfo: memFree=31696228/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17496 CPUtime=11.04 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 8095 0 0 0 1102 2 0 0 20 0 9 0 560184226 645746688 4374 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4374 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=0 CPUtime=1.36 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 430 0 0 0 136 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499781909600 5039199 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=-3535470213243961690 CPUtime=1.37 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 454 0 0 0 137 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499773516896 5039061 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=0 CPUtime=1.37 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 429 0 0 0 137 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499765124192 5394183 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=0 CPUtime=1.37 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 469 0 0 0 137 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499756731488 5039561 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=0 CPUtime=1.36 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 423 0 0 0 136 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499748338784 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=9047914855943115630 CPUtime=1.37 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 492 0 0 0 137 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499739946080 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=0 CPUtime=1.37 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 451 0 0 0 137 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499731553376 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=139678577593008 CPUtime=1.31 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 423 0 0 0 131 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499723160672 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 11.04 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17496 KiB
[startup+3.10964 s]
/proc/loadavg: 7.74 8.50 8.67 10/199 1685
/proc/meminfo: memFree=31695928/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17496 CPUtime=23.89 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 8105 0 0 0 2387 2 0 0 20 0 9 0 560184226 645746688 4374 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4374 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=55 CPUtime=2.97 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 430 0 0 0 297 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499781909600 5039536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=0 CPUtime=2.98 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 454 0 0 0 298 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499773516896 5037843 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=0 CPUtime=2.97 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 429 0 0 0 297 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499765124192 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=496 CPUtime=2.97 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 469 0 0 0 297 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499756731488 5039029 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=1564 CPUtime=2.97 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 423 0 0 0 297 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499748338784 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=928 CPUtime=2.97 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 492 0 0 0 297 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499739946080 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=1808 CPUtime=2.98 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 451 0 0 0 298 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499731553376 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=17496 CPUtime=2.9 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 433 0 0 0 290 0 0 0 20 0 9 0 560184239 645746688 4374 33554432000 4194304 6211132 140735006472048 140499723160672 5039536 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 23.89 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17496 KiB
[startup+6.30064 s]
/proc/loadavg: 7.74 8.50 8.67 9/199 1685
/proc/meminfo: memFree=31696516/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17508 CPUtime=49.36 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 18468 0 0 0 4934 2 0 0 20 0 9 0 560184226 645746688 4377 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4377 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=2337 CPUtime=6.16 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 1709 0 0 0 616 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499781909600 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=10852 CPUtime=6.17 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 1708 0 0 0 617 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499773516896 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=984 CPUtime=6.17 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 1724 0 0 0 617 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499765124192 5039178 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=2004 CPUtime=6.16 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 1760 0 0 0 616 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499756731488 5039210 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=3620 CPUtime=6.16 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 1688 0 0 0 616 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499748338784 5039561 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=17508 CPUtime=6.16 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 1870 0 0 0 616 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499739946080 5039135 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=17508 CPUtime=6.17 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 1768 0 0 0 617 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499731553376 5038982 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=0 CPUtime=6.05 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 1717 0 0 0 605 0 0 0 20 0 9 0 560184239 645746688 4377 33554432000 4194304 6211132 140735006472048 140499723160672 5039070 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 49.36 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17508 KiB
[startup+12.7046 s]
/proc/loadavg: 7.76 8.49 8.66 9/199 1685
/proc/meminfo: memFree=31697384/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17524 CPUtime=100.5 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 25296 0 0 0 10048 2 0 0 20 0 9 0 560184226 645746688 4381 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4381 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=1026 CPUtime=12.57 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 2531 0 0 0 1257 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499781909600 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=1027 CPUtime=12.57 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 2609 0 0 0 1257 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499773516896 5039137 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=1027 CPUtime=12.57 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 2567 0 0 0 1257 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499765124192 5039540 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=1026 CPUtime=12.56 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 2596 0 0 0 1256 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499756731488 5039199 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=164 CPUtime=12.56 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 2531 0 0 0 1256 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499748338784 5039104 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=6656426216303648864 CPUtime=12.56 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 2763 0 0 0 1256 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499739946080 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=6944656592455097440 CPUtime=12.57 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 2606 0 0 0 1257 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499731553376 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=6944656575208382560 CPUtime=12.37 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 2569 0 0 0 1237 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499723160672 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 100.5 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17524 KiB
[startup+14.8204 s]
# the end of solver process 1676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=117.353 s, system=0.031977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8056 s]
/proc/loadavg: 7.76 8.49 8.66 9/199 1685
/proc/meminfo: memFree=31697384/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17524 CPUtime=101.31 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 25296 0 0 0 10129 2 0 0 20 0 9 0 560184226 645746688 4381 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4381 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=427524744 CPUtime=12.67 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 2531 0 0 0 1267 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499781909600 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=139678577835582 CPUtime=12.67 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 2609 0 0 0 1267 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499773516896 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=279357155267904 CPUtime=12.67 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 2567 0 0 0 1267 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499765124192 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=279357155267968 CPUtime=12.66 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 2596 0 0 0 1266 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499756731488 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=279357155268032 CPUtime=12.66 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 2531 0 0 0 1266 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499748338784 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=0 CPUtime=12.66 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 2763 0 0 0 1266 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499739946080 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=146862111722778 CPUtime=12.67 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 2606 0 0 0 1267 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499731553376 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=146862111722779 CPUtime=12.47 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 2569 0 0 0 1247 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499723160672 5039189 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 101.31 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17524 KiB
[startup+13.6006 s]
/proc/loadavg: 7.86 8.50 8.67 10/199 1685
/proc/meminfo: memFree=31697632/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17524 CPUtime=107.65 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 25321 0 0 0 10763 2 0 0 20 0 9 0 560184226 645746688 4381 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4381 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=139678577653329 CPUtime=13.46 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 2543 0 0 0 1346 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499781909600 5039104 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=-7035114785800479027 CPUtime=13.47 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 2609 0 0 0 1347 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499773516896 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=6944656592455360604 CPUtime=13.47 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 2567 0 0 0 1347 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499765124192 5039014 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=0 CPUtime=13.46 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 2596 0 0 0 1346 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499756731488 5039217 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=1432 CPUtime=13.46 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 2531 0 0 0 1346 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499748338784 5039121 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=1060 CPUtime=13.46 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 2763 0 0 0 1346 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499739946080 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=740 CPUtime=13.46 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 2619 0 0 0 1346 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499731553376 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=1228 CPUtime=13.25 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 2569 0 0 0 1325 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499723160672 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 107.65 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17524 KiB
[startup+14.4006 s]
/proc/loadavg: 7.86 8.50 8.67 9/199 1685
/proc/meminfo: memFree=31697880/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17524 CPUtime=114.04 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 25323 0 0 0 11402 2 0 0 20 0 9 0 560184226 645746688 4381 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4381 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=-7035114785800479027 CPUtime=14.26 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 2543 0 0 0 1426 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499781909600 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=4137280412607091059 CPUtime=14.27 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 2609 0 0 0 1427 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499773516896 5039029 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=6943526294502006880 CPUtime=14.27 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 2567 0 0 0 1427 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499765124192 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=7593744554002895203 CPUtime=14.25 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 2596 0 0 0 1425 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499756731488 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=7593723659742176871 CPUtime=14.26 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 2531 0 0 0 1426 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499748338784 5039332 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=3620 CPUtime=14.26 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 2764 0 0 0 1426 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499739946080 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=10852 CPUtime=14.26 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 2619 0 0 0 1426 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499731553376 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=984 CPUtime=14.04 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 2570 0 0 0 1404 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499723160672 5039121 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 114.04 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17524 KiB
[startup+14.8006 s]
/proc/loadavg: 7.86 8.50 8.67 9/199 1685
/proc/meminfo: memFree=31697880/32770624 swapFree=66997708/67108860
[pid=1676] ppid=1673 vsize=630612 memory=17524 CPUtime=117.24 cores=0-7
/proc/1676/stat : 1676 (cosoco) S 1673 1676 1456 0 -1 1077944320 25328 0 0 0 11722 2 0 0 20 0 9 0 560184226 645746688 4381 33554432000 4194304 6211132 140735006472048 140735006470304 140499805052663 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
/proc/1676/statm: 157653 4381 827 493 0 150958 0
[pid=1676/tid=1678] ppid=1673 vsize=630612 memory=1228 CPUtime=14.66 cores=0-7
/proc/1676/task/1678/stat : 1678 (cosoco) R 1673 1676 1456 0 -1 4202560 2544 0 0 0 1466 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499781909600 5039129 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1679] ppid=1673 vsize=630612 memory=9564 CPUtime=14.67 cores=0-7
/proc/1676/task/1679/stat : 1679 (cosoco) R 1673 1676 1456 0 -1 4202560 2609 0 0 0 1467 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499773516896 5039178 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1680] ppid=1673 vsize=630612 memory=4060 CPUtime=14.67 cores=0-7
/proc/1676/task/1680/stat : 1680 (cosoco) R 1673 1676 1456 0 -1 4202560 2568 0 0 0 1467 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499765124192 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1681] ppid=1673 vsize=630612 memory=2836 CPUtime=14.65 cores=0-7
/proc/1676/task/1681/stat : 1681 (cosoco) R 1673 1676 1456 0 -1 4202560 2597 0 0 0 1465 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499756731488 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1682] ppid=1673 vsize=630612 memory=1540 CPUtime=14.66 cores=0-7
/proc/1676/task/1682/stat : 1682 (cosoco) R 1673 1676 1456 0 -1 4202560 2532 0 0 0 1466 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499748338784 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1683] ppid=1673 vsize=630612 memory=1732 CPUtime=14.66 cores=0-7
/proc/1676/task/1683/stat : 1683 (cosoco) R 1673 1676 1456 0 -1 4202560 2764 0 0 0 1466 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499739946080 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1684] ppid=1673 vsize=630612 memory=6176 CPUtime=14.66 cores=0-7
/proc/1676/task/1684/stat : 1684 (cosoco) R 1673 1676 1456 0 -1 4202560 2620 0 0 0 1466 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499731553376 5039536 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
[pid=1676/tid=1685] ppid=1673 vsize=630612 memory=17524 CPUtime=14.44 cores=0-7
/proc/1676/task/1685/stat : 1685 (cosoco) R 1673 1676 1456 0 -1 4202560 2570 0 0 0 1444 0 0 0 20 0 9 0 560184239 645746688 4381 33554432000 4194304 6211132 140735006472048 140499723160672 5039217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37814272 140735006479377 140735006479469 140735006479469 140735006482382 0
Current children cumulated CPU time: 117.24 s
Current children cumulated vsize: 630612 KiB
Current children cumulated memory: 17524 KiB
Child status: 0
Real time (s): 14.8205
CPU time (s): 117.385
CPU user time (s): 117.353
CPU system time (s): 0.031977
CPU usage (%): 792.046
Max. virtual memory (cumulated for all children) (KiB): 630612
Max. memory (cumulated for all children) (KiB): 17524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.353
system time used= 0.031977
maximum resident set size= 17812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2111
# summary of solver processes directly reported to runsolver:
# pid: 1676
# total CPU time (s): 117.385
# total CPU user time (s): 117.353
# total CPU system time (s): 0.031977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095485 second user time and 0.1799 second system time
The end
Begin job on node126 at 2019-09-30 12:25:27
IDJOB=4409343
IDBENCH=140445
IDSOLVER=2877
FILE ID=node126/4409343-1569839165
RUNJOBID= node126-1569839116-1483
PBS_JOBID= 21705964
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-vg/Crossword-m1c-words-vg-8-10.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409343-1569839165/watcher-4409343-1569839165 -o /tmp/evaluation-result-4409343-1569839165/solver-4409343-1569839165 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569839116-1483 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409343-1569839165.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 144dece3b308d129da0ce1fbe3c65b44
RANDOM SEED=68236026
node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31709588 kB
MemAvailable: 31856660 kB
Buffers: 121320 kB
Cached: 344160 kB
SwapCached: 7400 kB
Active: 324668 kB
Inactive: 151232 kB
Active(anon): 3880 kB
Inactive(anon): 82084 kB
Active(file): 320788 kB
Inactive(file): 69148 kB
Unevictable: 109440 kB
Mlocked: 109440 kB
SwapTotal: 67108860 kB
SwapFree: 66997708 kB
Dirty: 3260 kB
Writeback: 0 kB
AnonPages: 126908 kB
Mapped: 26752 kB
Shmem: 66832 kB
Slab: 175804 kB
SReclaimable: 145940 kB
SUnreclaim: 29864 kB
KernelStack: 3728 kB
PageTables: 5892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 539916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 81920 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 130432 kB
DirectMap2M: 33415168 kB
Free space on /tmp at the end= 62028 MiB
End job on node126 at 2019-09-30 12:25:42