0.00/0.07 c root propagations : 48
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c root propagations : 48
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c This is cosoco 2.00 --
0.00/0.07 c
0.00/0.07 c command line: cosoco -model -nbcores=8 HOME/instance-4409463-1569839160.xml
0.00/0.07 c ========================================[ Problem Statistics ]===========================================
0.00/0.07 c |
0.00/0.07 c | Parse time : 0.07 s
0.00/0.07 c |
0.00/0.07 c | Variables: 49
0.00/0.07 c | Domain Sizes: 26..26
0.00/0.07 c |
0.00/0.07 c | Constraints: 14
0.00/0.07 c | Arity: 7..7
0.00/0.07 c |
0.00/0.07 c | Types:
0.00/0.07 c | Extension: 14 (nb tuples: 7360..7360) -- (shared: 104)
0.00/0.07 c |
0.00/0.07 c =========================================================================================================
0.00/0.07 c Parallel mode: Portfolio
0.00/0.07 c [pFactory][Group N°0] created (threads:8).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.07 c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.07 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.07 c [pFactory][Group N°0] task 7 launched on thread 0.
0.00/0.07 c [pFactory][Group N°0] task 6 launched on thread 6.
0.00/0.07 c [pFactory][Group N°0] task 5 launched on thread 2.
0.00/0.07 c [pFactory][Group N°0] task 4 launched on thread 1.
0.00/0.07 c [pFactory][Group N°0] task 3 launched on thread 7.
0.00/0.07 c [pFactory][Group N°0] task 2 launched on thread 4.
0.00/0.07 c [pFactory][Group N°0] task 1 launched on thread 3.
0.00/0.07 c [pFactory][Group N°0] task 0 launched on thread 5.
0.00/0.07 c c conflictsconflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07
0.00/0.07 c root propagations : 48
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c root propagations : 48
0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c root propagations : 48
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c root propagations : 48
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c root propagations : 48
0.00/0.07 c restarts enabled, print stats at every restarts
0.00/0.07 c
0.00/0.07 c
0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.08 c root propagations : 48
0.00/0.08 c restarts enabled, print stats at every restarts
0.00/0.08 c
0.00/0.08 c
0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.09 c 32 83 1805 14475 24 0 14 15 13
0.00/0.10 c 32 77 1743 14215 24 0 10 17 13
0.00/0.11 c 33 93 1939 15401 24 0 10 10 5
0.00/0.11 c 32 83 1882 16400 24 0 8 14 12
0.00/0.11 c 32 71 1591 17689 24 0 3 12 9
0.00/0.11 c 33 86 1904 15219 24 0 9 9 4
0.00/0.11 c 33 97 2075 17714 24 0 14 14 7
0.40/0.12 c 33 80 1702 18689 24 0 9 9 4
0.40/0.12 c 101 172 5614 46493 24 0 8 15 12
0.40/0.13 c 64 143 3600 30316 24 0 12 16 13
0.40/0.14 c 101 254 6597 54145 24 0 8 14 10
0.40/0.14 c 64 163 3553 33224 24 0 8 15 11
0.40/0.14 c 101 203 4618 45618 24 0 9 16 12
0.40/0.14 c 65 154 3789 31520 24 0 11 11 5
0.40/0.14 c 64 179 4177 34068 24 0 9 15 11
0.40/0.16 c 64 154 3231 34087 24 0 7 15 10
0.40/0.16 c 65 171 3630 34278 24 0 8 8 4
0.40/0.16 c 65 162 3326 35094 24 0 8 8 4
0.40/0.16 c 65 190 4320 35093 24 0 11 11 5
0.40/0.16 c 66 166 3966 32568 24 0 12 12 6
0.40/0.16 c 66 179 3730 35344 24 0 8 8 4
0.40/0.16 c 66 170 3431 36162 24 0 8 8 4
0.40/0.17 c 67 187 3807 36398 24 0 8 8 4
0.40/0.17 c 66 201 4492 36322 24 0 11 11 5
0.40/0.17 c 67 181 4169 33573 24 0 15 15 7
0.40/0.17 c 67 178 3565 37287 24 0 8 8 4
0.40/0.18 c 67 213 4638 37220 24 0 12 12 6
0.40/0.20 c 101 213 5783 61102 24 0 6 12 8
0.40/0.20 c 128 280 6940 59886 24 0 14 16 14
0.40/0.21 c 211 448 12672 108141 24 0 8 15 12
0.40/0.21 c 128 341 7020 65487 24 0 8 15 12
0.40/0.21 c 129 294 7066 60842 24 0 14 14 7
1.21/0.22 c 129 356 7211 66802 24 0 15 15 7
1.21/0.23 c 130 306 7308 62251 24 0 12 12 6
1.21/0.23 c 130 364 7290 67775 24 0 8 8 4
1.21/0.23 c 128 326 7308 59948 24 0 11 17 14
1.21/0.24 c 131 372 7379 68803 24 0 8 8 4
1.21/0.24 c 131 316 7428 63282 24 0 10 10 5
1.21/0.24 c 129 338 7510 60981 24 0 12 12 6
1.21/0.24 c 128 371 7828 77357 24 0 3 14 10
1.21/0.25 c 132 378 7589 70200 24 0 6 6 3
1.21/0.25 c 211 441 11020 106366 24 0 8 15 12
1.21/0.25 c 129 374 7910 78446 24 0 3 3 1
1.21/0.25 c 132 327 7543 64125 24 0 11 11 5
1.21/0.25 c 130 348 7677 62067 24 0 10 10 5
1.21/0.26 c 133 386 7668 71254 24 0 8 8 4
1.21/0.26 c 130 382 7995 79528 24 0 8 8 4
1.21/0.26 c 133 338 7762 65958 24 0 11 11 5
1.21/0.26 c 131 359 7817 63126 24 0 11 11 5
1.21/0.26 c 211 547 12406 118917 24 0 2 15 9
1.21/0.26 c 131 385 8077 80615 24 0 3 3 1
1.21/0.27 c 134 394 7769 72319 24 0 8 8 4
1.21/0.27 c 132 393 8159 81695 24 0 8 8 4
1.21/0.27 c 132 368 7940 64134 24 0 9 9 4
1.21/0.27 c 135 402 7846 73371 24 0 8 8 4
1.21/0.27 c 134 348 7898 67015 24 0 10 10 5
1.21/0.28 c 133 396 8241 82782 24 0 3 3 1
1.21/0.29 c 134 404 8323 83862 24 0 8 8 4
1.21/0.29 c 133 378 8175 65213 24 0 10 10 5
1.21/0.29 c 135 363 8089 68072 24 0 15 15 7
1.21/0.29 c 135 407 8405 84949 24 0 3 3 1
1.21/0.29 c 332 728 19392 167498 24 0 8 19 13
1.21/0.29 c 134 386 8242 66092 24 0 8 8 4
1.21/0.30 c 135 400 8390 67055 24 0 14 14 7
1.21/0.31 c 211 427 13064 122553 24 0 7 16 10
2.08/0.35 c 256 656 14237 141692 24 0 7 16 13
2.08/0.35 c 332 742 20806 180011 24 0 9 20 12
2.08/0.36 c 257 670 14380 142750 24 0 14 14 7
2.08/0.37 c 258 681 14543 144027 24 0 11 11 5
2.08/0.37 c 332 643 19523 175527 24 0 12 15 13
2.08/0.37 c 259 689 14614 145083 24 0 8 8 4
2.08/0.37 c 260 703 14719 146102 24 0 14 14 7
2.08/0.38 c 261 712 14833 147144 24 0 9 9 4
2.08/0.38 c 256 689 17319 137575 24 0 7 16 13
2.08/0.38 c 256 662 13790 136690 24 0 3 16 12
2.08/0.38 c 262 720 14917 148160 24 0 8 8 4
2.08/0.39 c 257 677 13977 138023 24 0 15 15 7
2.08/0.39 c 257 701 17474 138573 24 0 12 12 6
2.08/0.40 c 263 725 15041 149104 24 0 5 5 2
2.08/0.40 c 258 685 14072 138963 24 0 8 8 4
2.08/0.40 c 264 733 15116 150100 24 0 8 8 4
2.08/0.40 c 258 713 17641 139893 24 0 12 12 6
2.08/0.41 c 265 735 15187 151199 24 0 2 2 1
2.08/0.41 c 259 693 14164 139991 24 0 8 8 4
2.79/0.42 c 266 743 15262 152195 24 0 8 8 4
2.79/0.42 c 332 858 19736 190504 24 0 2 15 9
2.79/0.42 c 465 974 27152 240046 24 0 5 15 10
2.79/0.42 c 259 723 17806 140991 24 0 10 10 5
2.79/0.42 c 465 983 27994 241597 24 0 14 16 14
2.79/0.42 c 260 698 14249 140969 24 0 5 5 2
2.79/0.42 c 267 745 15333 153294 24 0 2 2 1
2.79/0.43 c 268 753 15408 154290 24 0 8 8 4
2.79/0.43 c 261 706 14387 142267 24 0 8 8 4
2.79/0.43 c 260 735 18002 142171 24 0 12 12 6
2.79/0.43 c 269 755 15479 155389 24 0 2 2 1
2.79/0.43 c 262 714 14468 143316 24 0 8 8 4
2.79/0.44 c 270 763 15554 156385 24 0 8 8 4
2.79/0.44 c 261 751 18259 143386 24 0 16 16 8
2.79/0.44 c 271 765 15627 157484 25 0 2 2 1
2.79/0.44 c 263 728 14642 144661 25 0 14 14 7
2.79/0.44 c 465 907 27329 241119 24 0 8 15 13
2.79/0.45 c 264 736 14741 145724 25 0 8 8 4
2.79/0.46 c 262 761 18387 144325 25 0 10 10 5
2.79/0.46 c 265 750 14886 146728 25 0 14 14 7
2.79/0.47 c 266 758 14965 147660 25 0 8 8 4
2.79/0.47 c 263 775 18573 145403 25 0 14 14 7
2.79/0.47 c 256 692 15884 139430 24 0 3 15 10
2.79/0.47 c 267 766 15040 148655 25 0 8 8 4
2.79/0.48 c 264 787 18750 146666 25 0 12 12 6
2.79/0.48 c 268 768 15111 149753 25 0 2 2 1
2.79/0.48 c 257 700 15992 140489 25 0 8 8 4
2.79/0.48 c 465 1104 25287 247905 25 0 2 16 12
2.79/0.48 c 269 776 15186 150748 25 0 8 8 4
2.79/0.49 c 270 778 15257 151846 25 0 2 2 1
2.79/0.49 c 258 714 16153 141435 25 0 14 14 7
2.79/0.49 c 265 797 18974 148354 25 0 10 10 5
2.79/0.49 c 271 786 15332 152841 25 0 8 8 4
2.79/0.49 c 266 806 19049 149189 25 0 9 9 4
2.79/0.50 c 259 729 16339 142453 25 0 15 15 7
2.79/0.51 c 267 816 19184 150249 25 0 10 10 5
3.62/0.53 c 268 828 19380 151428 25 0 12 12 6
3.62/0.53 c 260 741 16643 144675 25 0 12 12 6
3.62/0.54 c 269 837 19501 152433 25 0 9 9 4
3.62/0.54 c 261 751 16776 145598 25 0 10 10 5
3.62/0.55 c 270 847 19618 153277 25 0 10 10 5
3.62/0.55 c 262 759 16887 146607 25 0 8 8 4
3.62/0.55 c 611 1299 37044 323899 24 0 4 16 11
3.62/0.56 c 271 856 19741 154273 25 0 9 9 4
3.62/0.56 c 263 767 16984 147565 25 0 8 8 4
3.62/0.56 c 264 781 17145 148510 25 0 14 14 7
3.62/0.56 c 512 1410 30251 279912 25 0 2 16 12
3.62/0.57 c 611 1281 37501 318801 25 0 5 15 12
3.62/0.58 c 513 1418 30397 281213 25 0 8 8 4
3.62/0.59 c 265 792 17284 149521 25 0 11 11 5
3.62/0.59 c 514 1426 30482 282268 25 0 8 8 4
3.62/0.59 c 515 1440 30623 283507 25 0 14 14 7
3.62/0.60 c 266 801 17453 150613 25 0 9 9 4
3.62/0.60 c 611 1438 32424 322472 25 0 3 15 11
3.62/0.60 c 516 1449 30706 284381 25 0 9 9 4
4.32/0.61 c 517 1457 30790 285459 25 0 8 8 4
4.32/0.61 c 267 810 17580 151526 25 0 9 9 4
4.32/0.61 c 611 1330 35235 327886 25 0 4 15 9
4.32/0.61 c 518 1466 30873 286333 25 0 9 9 4
4.32/0.62 c 268 818 17692 152534 25 0 8 8 4
4.32/0.62 c 519 1474 30957 287411 25 0 8 8 4
4.32/0.62 c 520 1483 31040 288285 25 0 9 9 4
4.32/0.63 c 269 826 17787 153491 25 0 8 8 4
4.32/0.63 c 521 1491 31124 289363 25 0 8 8 4
4.32/0.63 c 270 840 17948 154436 25 0 14 14 7
4.32/0.63 c 522 1500 31207 290237 25 0 9 9 4
4.32/0.64 c 523 1508 31293 291315 26 0 8 8 4
4.32/0.65 c 524 1517 31376 292188 26 0 9 9 4
4.32/0.65 c 271 851 18089 155447 26 0 11 11 5
4.32/0.65 c 525 1525 31460 293265 26 0 8 8 4
4.32/0.66 c 526 1534 31543 294138 26 0 9 9 4
4.32/0.66 c 527 1542 31627 295215 26 0 8 8 4
4.32/0.66 c 512 1577 32547 289919 26 0 2 16 12
4.32/0.67 c 528 1551 31710 296088 26 0 9 9 4
4.32/0.67 c 513 1585 32629 290975 26 0 8 8 4
4.32/0.67 c 529 1559 31794 297165 26 0 8 8 4
4.32/0.68 c 514 1599 32772 292029 26 0 14 14 7
4.32/0.69 c 530 1568 31877 298038 26 0 9 9 4
4.32/0.69 c 515 1610 32935 293178 26 0 11 11 5
5.04/0.70 c 531 1576 31961 299115 26 0 8 8 4
5.04/0.70 c 516 1618 33015 294111 26 0 8 8 4
5.04/0.70 c 532 1585 32044 299988 26 0 9 9 4
5.04/0.70 c 771 1648 47440 415548 25 0 9 16 12
5.04/0.70 c 517 1623 33139 295053 26 0 5 5 2
5.04/0.71 c 533 1593 32128 301065 26 0 8 8 4
5.04/0.71 c 518 1637 33282 296107 26 0 14 14 7
5.04/0.71 c 534 1602 32211 301938 26 0 9 9 4
5.04/0.71 c 771 1651 44790 412241 25 0 9 17 14
5.04/0.71 c 519 1648 33445 297256 26 0 11 11 5
5.04/0.72 c 535 1610 32295 303015 26 0 8 8 4
5.04/0.72 c 520 1656 33525 298189 26 0 8 8 4
5.04/0.72 c 536 1619 32378 303888 26 0 9 9 4
5.04/0.72 c 521 1661 33650 299131 26 0 5 5 2
5.04/0.73 c 537 1627 32462 304965 26 0 8 8 4
5.04/0.73 c 522 1675 33793 300185 26 0 14 14 7
5.04/0.73 c 538 1636 32545 305838 26 0 9 9 4
5.04/0.73 c 523 1686 33956 301334 26 0 11 11 5
5.04/0.74 c 539 1644 32629 306915 26 0 8 8 4
5.04/0.74 c 524 1694 34036 302267 26 0 8 8 4
5.04/0.75 c 540 1653 32712 307788 26 0 9 9 4
5.04/0.75 c 525 1699 34160 303209 26 0 5 5 2
5.04/0.75 c 771 1665 47015 415045 25 0 7 14 9
5.04/0.75 c 541 1661 32796 308865 26 0 8 8 4
5.04/0.75 c 526 1713 34303 304263 26 0 14 14 7
5.04/0.76 c 542 1670 32879 309738 26 0 9 9 4
5.04/0.76 c 771 1790 42001 419416 25 0 2 15 10
5.04/0.76 c 527 1724 34466 305412 26 0 11 11 5
5.04/0.76 c 543 1678 32963 310815 26 0 8 8 4
5.04/0.76 c 528 1732 34546 306345 26 0 8 8 4
5.04/0.77 c 529 1737 34670 307287 26 0 5 5 2
5.04/0.78 c 530 1751 34813 308341 26 0 14 14 7
5.04/0.79 c 531 1762 34976 309490 26 0 11 11 5
5.04/0.79 c 532 1770 35056 310423 26 0 8 8 4
5.84/0.80 c 533 1775 35180 311365 26 0 5 5 2
5.84/0.80 c 534 1789 35323 312419 26 0 14 14 7
5.84/0.81 c 535 1800 35486 313568 26 0 11 11 5
5.84/0.81 c 536 1808 35566 314501 26 0 8 8 4
5.84/0.82 c 947 1938 55132 490982 26 0 11 16 14
5.84/0.82 c 537 1813 35691 315443 26 0 5 5 2
5.84/0.82 c 538 1827 35834 316497 26 0 14 14 7
5.84/0.83 c 947 2073 57006 507093 26 0 8 16 12
5.84/0.84 c 539 1838 35997 317646 26 0 11 11 5
5.84/0.84 c 947 2044 58067 499313 26 0 8 20 14
5.84/0.84 c 540 1846 36077 318579 26 0 8 8 4
5.84/0.85 c 512 1469 35250 300476 26 0 5 16 10
5.84/0.85 c 512 1406 35813 295406 25 0 7 18 12
5.84/0.85 c 541 1851 36201 319521 26 0 5 5 2
5.84/0.86 c 542 1865 36344 320575 26 0 14 14 7
5.84/0.86 c 1000 2047 57479 514978 26 0 14 14 13
5.84/0.86 c 513 1420 35981 296421 26 0 14 14 7
5.84/0.86 c 513 1482 35443 301463 26 0 13 13 6
5.84/0.86 c 543 1876 36466 321514 26 0 11 11 5
5.84/0.86 c 1000 2051 57515 515143 26 0 0 0 0
5.84/0.87 c 514 1491 35580 302701 26 0 9 9 4
5.84/0.87 c 1000 2053 57529 515168 26 0 0 0 0
5.84/0.87 c 514 1425 36114 298082 26 0 5 5 2
5.84/0.87 c 1000 2055 57541 515192 26 0 0 0 0
5.84/0.87 c 515 1500 35705 303681 26 0 9 9 4
5.84/0.88 c 515 1434 36276 299068 26 0 9 9 4
5.84/0.89 c 516 1443 36392 300151 26 0 9 9 4
5.84/0.89 c 516 1514 35859 304653 26 0 14 14 7
5.84/0.89 c 1000 2170 60083 537223 26 0 8 15 10
6.64/0.90 c 517 1523 35982 305632 26 0 9 9 4
6.64/0.90 c 517 1457 36591 301121 26 0 14 14 7
6.64/0.92 c 518 1537 36136 306604 26 0 14 14 7
6.64/0.92 c 518 1462 36724 302781 26 0 5 5 2
6.64/0.92 c 1000 2209 61752 533361 26 0 3 15 9
6.64/0.93 c 519 1546 36259 307583 26 0 9 9 4
6.64/0.93 c 1000 2211 61768 533388 26 0 0 0 0
6.64/0.93 c 519 1471 36884 303766 26 0 9 9 4
6.64/0.93 c 1000 2213 61780 533420 26 0 0 0 0
6.64/0.93 c 947 2254 52005 512434 26 0 3 16 11
6.64/0.93 c 1000 2215 61792 533452 26 0 0 0 0
6.64/0.94 c 520 1560 36415 308555 26 0 14 14 7
6.64/0.94 c 520 1480 37002 304849 26 0 9 9 4
6.64/0.95 c 521 1569 36538 309533 26 0 9 9 4
6.64/0.95 c 521 1494 37198 305818 26 0 14 14 7
6.64/0.96 c 522 1583 36692 310504 26 0 14 14 7
6.64/0.96 c 522 1499 37332 307435 26 0 5 5 2
6.64/0.97 c 523 1592 36815 311482 26 0 9 9 4
6.64/0.97 c 523 1508 37492 308419 26 0 9 9 4
6.64/0.98 c 524 1606 36969 312453 26 0 14 14 7
6.64/0.98 c 524 1517 37608 309501 26 0 9 9 4
6.64/0.99 c 525 1615 37092 313431 26 0 9 9 4
6.64/1.00 c 525 1531 37807 310470 26 0 14 14 7
6.64/1.01 c 526 1629 37245 314402 26 0 14 14 7
7.56/1.02 c 526 1536 37941 312087 26 0 5 5 2
7.56/1.02 c 1140 2403 66971 598933 26 0 9 16 13
7.56/1.02 c 527 1638 37368 315380 26 0 9 9 4
7.56/1.02 c 527 1545 38101 313071 26 0 9 9 4
7.56/1.03 c 528 1554 38217 314153 26 0 9 9 4
7.56/1.04 c 528 1652 37521 316351 26 0 14 14 7
7.56/1.05 c 529 1661 37644 317329 26 0 9 9 4
7.56/1.05 c 529 1568 38416 315122 26 0 14 14 7
7.56/1.05 c 530 1671 37803 318757 26 0 10 10 5
7.56/1.05 c 1140 2478 67543 615499 26 0 2 19 11
7.56/1.05 c 530 1573 38549 316739 26 0 5 5 2
7.56/1.07 c 531 1686 37969 319798 26 0 15 15 7
7.56/1.07 c 531 1582 38709 317723 26 0 9 9 4
7.56/1.08 c 532 1591 38825 318805 26 0 9 9 4
7.56/1.08 c 532 1696 38084 320599 26 0 10 10 5
7.56/1.08 c 1140 2703 63797 619033 26 0 4 15 11
7.56/1.08 c 1140 2580 70979 617573 26 0 5 15 11
7.56/1.09 c 533 1711 38270 321801 27 0 15 15 7
7.56/1.09 c 533 1605 39023 319774 27 0 14 14 7
8.30/1.11 c 534 1610 39156 321390 27 0 5 5 2
8.30/1.11 c 534 1724 38546 323523 27 0 13 13 6
8.30/1.12 c 535 1735 38673 324592 27 0 11 11 5
8.30/1.12 c 535 1619 39316 322374 27 0 9 9 4
8.30/1.13 c 536 1628 39432 323455 27 0 9 9 4
8.30/1.13 c 536 1750 38840 325632 27 0 15 15 7
8.30/1.14 c 537 1760 38957 326433 27 0 10 10 5
8.30/1.14 c 537 1642 39630 324423 27 0 14 14 7
8.30/1.15 c 538 1775 39144 327667 28 0 15 15 7
8.30/1.15 c 538 1647 39765 326038 28 0 5 5 2
8.30/1.16 c 1000 2655 57317 562689 26 0 2 15 9
8.30/1.16 c 539 1788 39420 329388 28 0 13 13 6
8.30/1.16 c 539 1656 39925 327020 28 0 9 9 4
8.30/1.16 c 1000 2972 63080 565815 28 0 2 17 11
8.30/1.17 c 1352 2882 79556 725852 26 0 8 16 13
8.30/1.17 c 1000 2981 63157 566352 28 0 0 0 0
8.30/1.17 c 540 1799 39547 330455 28 0 11 11 5
8.30/1.18 c 540 1665 40041 328099 28 0 9 9 4
8.30/1.18 c 1024 2715 58833 576147 28 0 8 15 12
8.30/1.18 c 541 1814 39744 331842 28 0 15 15 7
8.30/1.19 c 541 1679 40240 329065 28 0 14 14 7
8.30/1.19 c 1025 2723 58928 577089 28 0 8 8 4
8.30/1.19 c 1024 3035 64126 576624 28 0 8 15 13
8.30/1.19 c 542 1823 39858 332876 28 0 9 9 4
8.30/1.20 c 1025 3044 64225 577431 28 0 9 9 4
8.30/1.20 c 1026 2734 59182 579084 28 0 11 11 5
8.30/1.20 c 542 1690 40390 330029 28 0 11 11 5
9.09/1.21 c 543 1837 40009 333846 28 0 14 14 7
9.09/1.21 c 1026 3052 64327 578398 28 0 8 8 4
9.09/1.21 c 1027 2748 59324 580317 28 0 14 14 7
9.09/1.21 c 543 1700 40545 331020 28 0 10 10 5
9.09/1.22 c 1352 2884 80693 724792 26 0 4 16 12
9.09/1.22 c 1027 3063 64577 580302 28 0 11 11 5
9.09/1.22 c 1028 2756 59423 581296 28 0 8 8 4
9.09/1.23 c 1029 2770 59603 582616 28 0 14 14 7
9.09/1.23 c 1028 3077 64722 581554 28 0 14 14 7
9.09/1.23 c 1029 3091 64901 582870 28 0 14 14 7
9.09/1.23 c 1030 2778 59702 583595 28 0 8 8 4
9.09/1.24 c 1352 3185 85334 736823 27 0 5 16 13
9.09/1.24 c 1031 2792 59882 584915 28 0 14 14 7
9.09/1.25 c 1030 3102 65154 584841 28 0 11 11 5
9.09/1.25 c 1032 2800 59981 585894 28 0 8 8 4
9.09/1.25 c 1031 3116 65300 586093 28 0 14 14 7
9.09/1.26 c 1033 2814 60161 587214 28 0 14 14 7
9.09/1.26 c 1032 3130 65479 587409 28 0 14 14 7
9.09/1.28 c 1034 2822 60260 588193 28 0 8 8 4
9.09/1.28 c 1033 3141 65728 589304 28 0 11 11 5
9.09/1.29 c 1035 2836 60440 589513 28 0 14 14 7
9.09/1.29 c 1034 3155 65874 590556 28 0 14 14 7
9.09/1.29 c 1036 2844 60539 590492 28 0 8 8 4
9.09/1.29 c 1035 3169 66053 591872 28 0 14 14 7
9.83/1.30 c 1037 2858 60719 591812 28 0 14 14 7
9.83/1.30 c 1036 3180 66302 593738 28 0 11 11 5
9.83/1.31 c 1038 2866 60818 592791 28 0 8 8 4
9.83/1.31 c 1037 3194 66448 594990 28 0 14 14 7
9.83/1.32 c 1039 2880 60998 594111 28 0 14 14 7
9.83/1.32 c 1352 3295 76069 742085 28 0 2 16 9
9.83/1.32 c 1038 3208 66627 596306 28 0 14 14 7
9.83/1.32 c 1040 2888 61097 595090 28 0 8 8 4
9.83/1.32 c 1039 3219 66876 598201 28 0 11 11 5
9.83/1.33 c 1041 2902 61277 596410 28 0 14 14 7
9.83/1.34 c 1040 3233 67020 599453 28 0 14 14 7
9.83/1.34 c 1042 2910 61376 597389 28 0 8 8 4
9.83/1.34 c 1041 3241 67120 600502 28 0 8 8 4
9.83/1.35 c 1043 2924 61556 598709 28 0 14 14 7
9.83/1.35 c 1042 3252 67283 601644 28 0 11 11 5
9.83/1.36 c 1044 2932 61655 599688 28 0 8 8 4
9.83/1.36 c 1043 3257 67380 602641 28 0 5 5 2
9.83/1.36 c 1045 2946 61835 601008 28 0 14 14 7
9.83/1.36 c 1044 3265 67457 603681 28 0 8 8 4
9.83/1.37 c 1046 2954 61934 601987 28 0 8 8 4
9.83/1.37 c 1045 3273 67552 604749 28 0 8 8 4
9.83/1.38 c 1585 3324 93783 849688 28 0 9 17 13
9.83/1.39 c 1047 2968 62114 603307 28 0 14 14 7
9.83/1.39 c 1046 3281 67629 605789 28 0 8 8 4
9.83/1.39 c 1585 3506 94215 860937 28 0 3 15 10
9.83/1.39 c 1585 3729 102330 867622 28 0 8 16 13
10.63/1.40 c 1048 2976 62213 604286 28 0 8 8 4
10.63/1.40 c 1047 3289 67724 606857 28 0 8 8 4
10.63/1.40 c 1049 2990 62393 605606 28 0 14 14 7
10.63/1.40 c 1048 3297 67801 607897 28 0 8 8 4
10.63/1.40 c 1049 3305 67896 608965 28 0 8 8 4
10.63/1.40 c 1050 2998 62492 606585 28 0 8 8 4
10.63/1.42 c 1050 3313 67973 610005 28 0 8 8 4
10.63/1.42 c 1051 3012 62672 607905 28 0 14 14 7
10.63/1.43 c 1051 3321 68068 611073 28 0 8 8 4
10.63/1.43 c 1052 3020 62771 608884 28 0 8 8 4
10.63/1.44 c 1052 3329 68145 612113 28 0 8 8 4
10.63/1.44 c 1053 3034 62951 610204 28 0 14 14 7
10.63/1.44 c 1053 3337 68240 613181 28 0 8 8 4
10.63/1.44 c 1054 3042 63050 611183 28 0 8 8 4
10.63/1.45 c 1054 3345 68317 614221 28 0 8 8 4
10.63/1.45 c 1055 3056 63230 612503 28 0 14 14 7
10.63/1.46 c 1055 3353 68412 615289 28 0 8 8 4
10.63/1.46 c 1056 3064 63329 613482 28 0 8 8 4
10.63/1.47 c 1056 3361 68489 616329 28 0 8 8 4
10.63/1.47 c 1057 3078 63509 614802 28 0 14 14 7
10.63/1.47 c 1057 3369 68584 617397 28 0 8 8 4
10.63/1.47 c 1058 3086 63608 615781 28 0 8 8 4
10.63/1.48 c 1058 3377 68661 618437 28 0 8 8 4
10.63/1.48 c 1059 3100 63788 617101 28 0 14 14 7
10.63/1.48 c 1585 3860 90770 874914 28 0 8 17 12
10.63/1.49 c 1059 3385 68756 619505 28 0 8 8 4
10.63/1.49 c 1060 3108 63887 618080 28 0 8 8 4
10.63/1.49 c 1060 3393 68833 620545 28 0 8 8 4
10.63/1.49 c 1000 2664 70798 573107 28 0 8 15 12
11.43/1.50 c 1061 3122 64067 619400 28 0 14 14 7
11.43/1.50 c 1061 3401 68928 621613 28 0 8 8 4
11.43/1.51 c 1062 3130 64166 620379 28 0 8 8 4
11.43/1.51 c 1062 3409 69005 622653 28 0 8 8 4
11.43/1.52 c 1063 3144 64346 621699 28 0 14 14 7
11.43/1.52 c 1063 3417 69100 623721 28 0 8 8 4
11.43/1.53 c 1064 3152 64445 622678 28 0 8 8 4
11.43/1.53 c 1064 3425 69177 624761 28 0 8 8 4
11.43/1.53 c 1000 3046 72278 601084 28 0 5 15 12
11.43/1.53 c 1065 3166 64625 623998 28 0 14 14 7
11.43/1.53 c 1065 3433 69272 625829 28 0 8 8 4
11.43/1.53 c 1024 2721 72372 586748 28 0 8 16 10
11.43/1.54 c 1841 4067 108140 992428 28 0 6 16 13
11.43/1.54 c 1066 3174 64724 624977 28 0 8 8 4
11.43/1.54 c 1066 3441 69349 626869 28 0 8 8 4
11.43/1.54 c 1025 2730 72506 587754 28 0 9 9 4
11.43/1.55 c 1067 3188 64904 626297 28 0 14 14 7
11.43/1.55 c 1067 3449 69444 627937 28 0 8 8 4
11.43/1.55 c 1026 2739 72617 588829 28 0 9 9 4
11.43/1.56 c 1024 3105 73895 613656 28 0 10 15 13
11.43/1.56 c 1068 3457 69521 628977 28 0 8 8 4
11.43/1.56 c 1068 3196 65003 627276 28 0 8 8 4
11.43/1.57 c 1027 2753 72809 590244 28 0 14 14 7
11.43/1.57 c 1069 3465 69616 630045 28 0 8 8 4
11.43/1.57 c 1025 3119 74045 614681 28 0 14 14 7
11.43/1.57 c 1069 3210 65183 628596 28 0 14 14 7
11.43/1.57 c 1841 3892 111114 986213 28 0 8 18 12
11.43/1.57 c 1070 3473 69693 631085 28 0 8 8 4
11.43/1.57 c 1070 3218 65282 629575 28 0 8 8 4
11.43/1.58 c 1028 2762 72923 591316 28 0 9 9 4
11.43/1.58 c 1026 3133 74227 615728 28 0 14 14 7
11.43/1.58 c 1071 3481 69788 632153 28 0 8 8 4
11.43/1.58 c 1071 3232 65462 630895 28 0 14 14 7
11.43/1.58 c 1841 4257 120360 1016024 28 0 5 15 11
11.43/1.58 c 1029 2776 73115 592731 28 0 14 14 7
11.43/1.59 c 1027 3144 74399 616882 28 0 11 11 5
11.43/1.59 c 1072 3489 69865 633193 28 0 8 8 4
11.43/1.59 c 1072 3240 65561 631874 28 0 8 8 4
12.24/1.60 c 1030 2785 73229 593803 28 0 9 9 4
12.24/1.60 c 1073 3497 69960 634261 28 0 8 8 4
12.24/1.60 c 1028 3152 74495 617829 28 0 8 8 4
12.24/1.60 c 1073 3254 65741 633194 28 0 14 14 7
12.24/1.60 c 1074 3505 70037 635301 28 0 8 8 4
12.24/1.60 c 1031 2799 73421 595218 28 0 14 14 7
12.24/1.61 c 1029 3160 74587 618754 28 0 8 8 4
12.24/1.61 c 1074 3262 65840 634173 28 0 8 8 4
12.24/1.62 c 1075 3513 70132 636369 28 0 8 8 4
12.24/1.62 c 1032 2808 73535 596290 28 0 9 9 4
12.24/1.62 c 1030 3174 74792 619950 28 0 14 14 7
12.24/1.62 c 1075 3276 66020 635493 28 0 14 14 7
12.24/1.63 c 1076 3521 70209 637409 28 0 8 8 4
12.24/1.63 c 1076 3284 66119 636472 28 0 8 8 4
12.24/1.63 c 1033 2822 73727 597705 28 0 14 14 7
12.24/1.63 c 1031 3188 74939 620866 28 0 14 14 7
12.24/1.64 c 1077 3529 70304 638477 28 0 8 8 4
12.24/1.64 c 1077 3298 66299 637792 28 0 14 14 7
12.24/1.64 c 1034 2831 73841 598777 28 0 9 9 4
12.24/1.64 c 1078 3537 70381 639517 28 0 8 8 4
12.24/1.64 c 1032 3191 75045 621947 28 0 3 3 1
12.24/1.64 c 1078 3306 66398 638771 28 0 8 8 4
12.24/1.65 c 1079 3545 70476 640585 28 0 8 8 4
12.24/1.65 c 1033 3205 75209 623144 28 0 14 14 7
12.24/1.65 c 1035 2845 74033 600192 28 0 14 14 7
12.24/1.65 c 1079 3320 66578 640091 28 0 14 14 7
12.24/1.66 c 1080 3553 70553 641625 28 0 8 8 4
12.24/1.66 c 1036 2854 74147 601264 28 0 9 9 4
12.24/1.66 c 1034 3220 75395 624151 28 0 15 15 7
12.24/1.66 c 1080 3328 66677 641070 28 0 8 8 4
12.24/1.66 c 1081 3561 70648 642693 28 0 8 8 4
12.24/1.66 c 1037 2868 74339 602679 28 0 14 14 7
12.24/1.67 c 1081 3342 66857 642390 28 0 14 14 7
12.24/1.67 c 1841 4409 105560 1006052 28 0 3 15 11
12.24/1.67 c 1082 3569 70725 643733 28 0 8 8 4
12.24/1.67 c 1035 3234 75562 625193 28 0 14 14 7
12.24/1.67 c 1038 2877 74453 603751 28 0 9 9 4
12.24/1.67 c 1082 3350 66956 643369 28 0 8 8 4
12.24/1.67 c 1036 3248 75679 626238 28 0 14 14 7
12.24/1.67 c 1083 3577 70820 644801 28 0 8 8 4
12.24/1.68 c 1083 3364 67136 644689 28 0 14 14 7
12.24/1.68 c 1084 3585 70897 645841 28 0 8 8 4
12.24/1.69 c 1039 2891 74645 605166 28 0 14 14 7
12.24/1.69 c 1037 3256 75771 627163 28 0 8 8 4
12.24/1.69 c 1084 3372 67235 645668 28 0 8 8 4
12.24/1.69 c 1085 3593 70992 646909 28 0 8 8 4
12.24/1.69 c 1038 3270 75976 628359 28 0 14 14 7
13.02/1.70 c 1040 2900 74759 606238 28 0 9 9 4
13.02/1.70 c 1086 3601 71069 647949 28 0 8 8 4
13.02/1.70 c 1085 3386 67415 646988 28 0 14 14 7
13.02/1.71 c 1041 2914 74951 607653 28 0 14 14 7
13.02/1.71 c 1039 3284 76123 629275 28 0 14 14 7
13.02/1.71 c 1087 3609 71164 649017 28 0 8 8 4
13.02/1.71 c 1086 3394 67514 647967 28 0 8 8 4
13.02/1.72 c 1042 2923 75065 608725 28 0 9 9 4
13.02/1.72 c 1040 3287 76229 630356 28 0 3 3 1
13.02/1.72 c 1087 3408 67694 649287 28 0 14 14 7
13.02/1.73 c 1041 3301 76393 631553 28 0 14 14 7
13.02/1.73 c 1043 2937 75257 610140 28 0 14 14 7
13.02/1.73 c 2122 4580 122888 1138418 28 0 8 17 11
13.02/1.74 c 1044 2946 75371 611212 28 0 9 9 4
13.02/1.74 c 1042 3316 76579 632562 28 0 15 15 7
13.02/1.75 c 1045 2960 75563 612627 28 0 14 14 7
13.02/1.75 c 1043 3330 76746 633604 28 0 14 14 7
13.02/1.76 c 1044 3344 76863 634649 28 0 14 14 7
13.02/1.76 c 1046 2969 75677 613699 28 0 9 9 4
13.02/1.76 c 1045 3352 76955 635574 28 0 8 8 4
13.02/1.77 c 1047 2983 75869 615114 28 0 14 14 7
13.02/1.77 c 1046 3366 77161 636770 28 0 14 14 7
13.02/1.77 c 1048 2992 75983 616186 28 0 9 9 4
13.02/1.78 c 1049 3006 76175 617601 28 0 14 14 7
13.02/1.78 c 1047 3380 77308 637686 28 0 14 14 7
13.02/1.79 c 2122 4920 118877 1137705 28 0 2 16 13
13.82/1.80 c 1048 3383 77414 638767 28 0 3 3 1
13.82/1.80 c 1050 3015 76289 618673 28 0 9 9 4
13.82/1.80 c 1049 3397 77578 639964 28 0 14 14 7
13.82/1.80 c 1051 3029 76481 620088 28 0 14 14 7
13.82/1.81 c 1050 3412 77764 640971 28 0 15 15 7
13.82/1.81 c 1052 3038 76595 621160 28 0 9 9 4
13.82/1.82 c 1053 3052 76787 622575 28 0 14 14 7
13.82/1.82 c 1051 3426 77931 642013 28 0 14 14 7
13.82/1.84 c 1052 3440 78048 643058 28 0 14 14 7
13.82/1.84 c 1054 3061 76901 623647 28 0 9 9 4
13.82/1.85 c 1053 3448 78140 643983 28 0 8 8 4
13.82/1.85 c 1055 3075 77093 625062 28 0 14 14 7
13.82/1.86 c 1056 3084 77207 626134 28 0 9 9 4
13.82/1.86 c 1054 3464 78410 645667 28 0 16 16 8
13.82/1.86 c 2122 4403 126450 1145995 28 0 9 17 10
13.82/1.87 c 1057 3098 77399 627549 28 0 14 14 7
13.82/1.87 c 1055 3478 78639 647132 28 0 14 14 7
13.82/1.88 c 1058 3107 77513 628621 28 0 9 9 4
13.82/1.88 c 1056 3488 78784 648276 28 0 10 10 5
13.82/1.89 c 1059 3121 77705 630036 28 0 14 14 7
13.82/1.89 c 1057 3498 78908 649065 28 0 10 10 5
14.62/1.90 c 1060 3130 77819 631108 28 0 9 9 4
14.62/1.90 c 1058 3513 79094 650072 28 0 15 15 7
14.62/1.90 c 1061 3144 78011 632523 28 0 14 14 7
14.62/1.91 c 1062 3153 78125 633595 28 0 9 9 4
14.62/1.91 c 1059 3528 79247 650999 28 0 15 15 7
14.62/1.92 c 1063 3167 78317 635010 28 0 14 14 7
14.62/1.92 c 1060 3532 79319 652102 28 0 4 4 2
14.62/1.93 c 1064 3176 78431 636082 28 0 9 9 4
14.62/1.94 c 1061 3545 79677 653840 28 0 13 13 6
14.62/1.95 c 1065 3190 78623 637497 28 0 14 14 7
14.62/1.95 c 1062 3559 79827 654865 28 0 14 14 7
14.62/1.95 c 2122 4870 135719 1187394 28 0 4 25 9
14.62/1.96 c 1066 3199 78737 638569 28 0 9 9 4
14.62/1.96 c 1063 3573 80007 655882 28 0 14 14 7
14.62/1.97 c 1067 3213 78929 639984 28 0 14 14 7
14.62/1.97 c 1064 3584 80183 657063 28 0 11 11 5
14.62/1.98 c 1068 3222 79043 641056 28 0 9 9 4
14.62/1.98 c 1065 3592 80279 658010 28 0 8 8 4
14.62/1.98 c 1069 3236 79235 642471 28 0 14 14 7
14.62/1.99 c 1066 3600 80371 658935 28 0 8 8 4
14.62/1.99 c 1070 3245 79349 643543 28 0 9 9 4
14.62/2.01 c 1071 3259 79543 644958 28 0 14 14 7
15.50/2.01 c 1067 3616 80628 660552 28 0 16 16 8
15.50/2.01 c 1072 3268 79659 646031 28 0 9 9 4
15.50/2.02 c 1068 3630 80856 661964 28 0 14 14 7
15.50/2.02 c 1073 3282 79851 647444 28 0 14 14 7
15.50/2.03 c 2431 5306 141494 1309744 28 0 3 17 11
15.50/2.03 c 1074 3291 79944 648296 28 0 9 9 4
15.50/2.03 c 1069 3640 81001 663106 28 0 10 10 5
15.50/2.04 c 2431 5544 134344 1289829 28 0 2 16 11
15.50/2.05 c 1075 3300 80036 649170 28 0 9 9 4
15.50/2.05 c 1070 3650 81125 663894 28 0 10 10 5
15.50/2.06 c 2431 4998 143729 1303154 28 0 8 17 13
15.50/2.06 c 1076 3314 80171 650197 28 0 14 14 7
15.50/2.06 c 1071 3665 81311 664899 28 0 15 15 7
15.50/2.07 c 1077 3325 80378 651350 28 0 11 11 5
15.50/2.07 c 1072 3679 81478 665939 28 0 14 14 7
15.50/2.08 c 1073 3693 81594 666982 28 0 14 14 7
15.50/2.08 c 1078 3335 80539 652326 28 0 10 10 5
15.50/2.09 c 1074 3701 81686 667905 28 0 8 8 4
15.50/2.10 c 1079 3347 80746 653357 28 0 12 12 6
15.50/2.10 c 1075 3717 81956 669589 28 0 16 16 8
15.50/2.11 c 1080 3356 80897 654297 28 0 9 9 4
16.36/2.12 c 1076 3731 82182 670999 28 0 14 14 7
16.36/2.12 c 1081 3367 81026 655313 28 0 11 11 5
16.36/2.12 c 1077 3741 82327 672141 28 0 10 10 5
16.36/2.13 c 1082 3381 81209 656280 28 0 14 14 7
16.36/2.14 c 1078 3751 82451 672929 28 0 10 10 5
16.36/2.15 c 1083 3393 81386 657714 28 0 12 12 6
16.36/2.15 c 1079 3766 82637 673934 28 0 15 15 7
16.36/2.16 c 1084 3401 81469 658627 28 0 8 8 4
16.36/2.16 c 1080 3780 82804 674974 28 0 14 14 7
16.36/2.17 c 1081 3794 82920 676017 28 0 14 14 7
16.36/2.17 c 1085 3415 81602 659658 28 0 14 14 7
16.36/2.18 c 1082 3802 83012 676940 28 0 8 8 4
16.36/2.18 c 1086 3429 81740 660610 28 0 14 14 7
16.36/2.19 c 1083 3818 83269 678557 28 0 16 16 8
16.36/2.19 c 1087 3443 81897 661577 28 0 14 14 7
17.05/2.20 c 1084 3832 83499 680020 28 0 14 14 7
17.05/2.21 c 1085 3842 83644 681162 28 0 10 10 5
17.05/2.22 c 1086 3857 83802 682085 28 0 15 15 7
17.05/2.23 c 2770 6380 151502 1453329 28 0 2 16 11
17.05/2.24 c 1087 3871 83972 683070 28 0 14 14 7
17.05/2.25 c 2431 5656 156522 1354852 28 0 4 17 13
17.05/2.28 c 2770 5782 162966 1481085 28 0 5 17 13
17.81/2.37 c 2770 6259 161930 1483676 28 0 4 16 11
18.61/2.41 c 2770 6288 174630 1505748 29 0 9 17 13
18.61/2.41 c 2000 5571 119696 1122101 28 0 2 16 11
18.61/2.42 c 3000 6272 177476 1601641 29 0 9 16 14
18.61/2.45 c 2000 5479 117331 1127871 29 0 3 18 11
18.61/2.46 c 2048 5674 122217 1148930 29 0 8 17 12
18.61/2.47 c 2049 5685 122467 1150844 29 0 11 11 5
18.61/2.48 c 2050 5699 122611 1152092 29 0 14 14 7
18.61/2.49 c 2051 5707 122703 1152915 29 0 8 8 4
18.61/2.49 c 3000 6939 163903 1585534 29 0 2 16 8
18.61/2.49 c 2048 5594 119906 1154132 29 0 5 15 10
19.41/2.50 c 2052 5715 122846 1154203 29 0 8 8 4
19.41/2.50 c 2053 5723 122951 1155256 29 0 8 8 4
19.41/2.50 c 2049 5600 119999 1155100 29 0 6 6 3
19.41/2.51 c 2054 5731 123059 1156295 29 0 8 8 4
19.41/2.51 c 2050 5611 120151 1156626 29 0 11 11 5
19.41/2.52 c 2055 5745 123203 1157543 29 0 14 14 7
19.41/2.52 c 2051 5625 120329 1158032 29 0 14 14 7
19.41/2.52 c 2052 5639 120474 1159280 29 0 14 14 7
19.41/2.53 c 2056 5753 123295 1158366 29 0 8 8 4
19.41/2.53 c 2053 5653 120652 1160686 29 0 14 14 7
19.41/2.53 c 2057 5761 123438 1159654 29 0 8 8 4
19.41/2.54 c 2058 5769 123542 1160707 29 0 8 8 4
19.41/2.54 c 2054 5667 120797 1161934 29 0 14 14 7
19.41/2.54 c 3142 6594 188110 1684347 29 0 8 16 11
19.41/2.55 c 2059 5777 123650 1161746 29 0 8 8 4
19.41/2.55 c 2055 5681 120975 1163340 29 0 14 14 7
19.41/2.55 c 2060 5791 123794 1162994 29 0 14 14 7
19.41/2.56 c 2056 5695 121120 1164588 29 0 14 14 7
19.41/2.57 c 2057 5709 121234 1165480 29 0 14 14 7
19.41/2.57 c 2061 5799 123886 1163817 29 0 8 8 4
19.41/2.57 c 2062 5807 124029 1165105 29 0 8 8 4
19.41/2.57 c 2058 5720 121383 1166437 29 0 11 11 5
19.41/2.58 c 2063 5815 124133 1166158 29 0 8 8 4
19.41/2.58 c 3000 6759 176935 1614412 29 0 3 16 11
19.41/2.58 c 2059 5728 121505 1167360 29 0 8 8 4
19.41/2.59 c 2064 5823 124241 1167197 29 0 8 8 4
19.41/2.59 c 2060 5736 121582 1168400 29 0 8 8 4
20.21/2.60 c 2065 5837 124385 1168445 29 0 14 14 7
20.21/2.60 c 2061 5744 121681 1169477 29 0 8 8 4
20.21/2.60 c 2066 5845 124477 1169268 29 0 8 8 4
20.21/2.61 c 2062 5752 121758 1170517 29 0 8 8 4
20.21/2.62 c 2067 5853 124620 1170556 29 0 8 8 4
20.21/2.62 c 2063 5760 121857 1171594 29 0 8 8 4
20.21/2.63 c 2068 5861 124725 1171609 29 0 8 8 4
20.21/2.63 c 2064 5768 121934 1172634 29 0 8 8 4
20.21/2.63 c 2069 5869 124833 1172648 29 0 8 8 4
20.21/2.63 c 2065 5776 122033 1173711 29 0 8 8 4
20.21/2.64 c 2070 5883 124977 1173896 29 0 14 14 7
20.21/2.64 c 2066 5784 122110 1174751 29 0 8 8 4
20.21/2.65 c 2071 5891 125069 1174719 29 0 8 8 4
20.21/2.65 c 2067 5792 122209 1175828 29 0 8 8 4
20.21/2.66 c 2072 5899 125212 1176007 29 0 8 8 4
20.21/2.66 c 2068 5800 122286 1176868 29 0 8 8 4
20.21/2.66 c 2073 5907 125317 1177060 29 0 8 8 4
20.21/2.66 c 2000 5224 133400 1092283 28 0 6 15 13
20.21/2.66 c 3142 7268 171423 1657611 29 0 3 16 10
20.21/2.66 c 2069 5808 122385 1177945 29 0 8 8 4
20.21/2.67 c 2074 5915 125425 1178099 29 0 8 8 4
20.21/2.67 c 2070 5816 122462 1178985 29 0 8 8 4
20.21/2.67 c 2075 5929 125569 1179347 29 0 14 14 7
20.21/2.69 c 2071 5824 122561 1180062 29 0 8 8 4
20.21/2.69 c 2076 5937 125661 1180170 29 0 8 8 4
20.21/2.69 c 3142 7030 184559 1693285 29 0 8 17 12
21.01/2.70 c 2072 5832 122638 1181102 29 0 8 8 4
21.01/2.70 c 2077 5945 125803 1181458 29 0 8 8 4
21.01/2.70 c 2078 5953 125907 1182511 29 0 8 8 4
21.01/2.70 c 2073 5840 122737 1182179 29 0 8 8 4
21.01/2.70 c 2079 5961 126015 1183550 29 0 8 8 4
21.01/2.71 c 2074 5848 122814 1183219 29 0 8 8 4
21.01/2.72 c 2075 5856 122913 1184296 29 0 8 8 4
21.01/2.72 c 2080 5975 126159 1184798 29 0 14 14 7
21.01/2.73 c 2076 5864 122990 1185336 29 0 8 8 4
21.01/2.73 c 2081 5983 126251 1185621 29 0 8 8 4
21.01/2.73 c 2077 5872 123089 1186413 29 0 8 8 4
21.01/2.73 c 2082 5991 126394 1186909 29 0 8 8 4
21.01/2.73 c 2048 5351 136465 1126044 29 0 7 16 10
21.01/2.73 c 2083 5999 126499 1187962 29 0 8 8 4
21.01/2.74 c 2078 5880 123166 1187453 29 0 8 8 4
21.01/2.74 c 3000 6795 187435 1652893 29 0 3 25 9
21.01/2.75 c 2084 6007 126607 1189001 29 0 8 8 4
21.01/2.75 c 3000 6798 187463 1653011 29 0 0 0 0
21.01/2.75 c 2049 5360 136562 1127131 29 0 9 9 4
21.01/2.75 c 3000 6799 187465 1653013 29 0 0 0 0
21.01/2.75 c 2079 5888 123265 1188530 29 0 8 8 4
21.01/2.75 c 3000 6801 187478 1653044 29 0 0 0 0
21.01/2.76 c 2085 6021 126753 1190249 29 0 14 14 7
21.01/2.76 c 2080 5896 123344 1189570 29 0 8 8 4
21.01/2.76 c 2050 5371 136714 1128309 29 0 11 11 5
21.01/2.76 c 2081 5904 123443 1190646 29 0 8 8 4
21.01/2.77 c 2086 6029 126845 1191071 29 0 8 8 4
21.01/2.77 c 2051 5383 136906 1129621 29 0 12 12 6
21.01/2.78 c 2087 6037 126990 1192358 29 0 8 8 4
21.01/2.78 c 2082 5912 123522 1191685 29 0 8 8 4
21.01/2.78 c 2088 6045 127095 1193409 29 0 8 8 4
21.01/2.78 c 2083 5920 123621 1192760 29 0 8 8 4
21.01/2.78 c 2052 5393 137050 1130631 29 0 10 10 5
21.01/2.79 c 2089 6053 127203 1194446 29 0 8 8 4
21.01/2.79 c 2084 5928 123698 1193798 29 0 8 8 4
21.01/2.79 c 2053 5403 137175 1131685 29 0 10 10 5
21.81/2.80 c 2090 6067 127347 1195692 29 0 14 14 7
21.81/2.80 c 2085 5936 123797 1194873 29 0 8 8 4
21.81/2.81 c 2091 6075 127439 1196513 29 0 8 8 4
21.81/2.81 c 2086 5944 123874 1195911 29 0 8 8 4
21.81/2.81 c 2054 5413 137314 1132524 29 0 10 10 5
21.81/2.81 c 3551 7527 215498 1896330 29 0 8 15 13
21.81/2.81 c 2092 6083 127582 1197799 29 0 8 8 4
21.81/2.81 c 2087 5952 123973 1196986 29 0 8 8 4
21.81/2.81 c 2055 5423 137413 1133323 29 0 10 10 5
21.81/2.81 c 2093 6091 127687 1198850 29 0 8 8 4
21.81/2.82 c 2088 5960 124050 1198024 29 0 8 8 4
21.81/2.82 c 2094 6099 127795 1199887 29 0 8 8 4
21.81/2.83 c 2056 5433 137555 1134332 29 0 10 10 5
21.81/2.83 c 2089 5968 124149 1199099 29 0 8 8 4
21.81/2.83 c 2095 6113 127939 1201133 29 0 14 14 7
21.81/2.84 c 2090 5976 124226 1200137 29 0 8 8 4
21.81/2.84 c 2057 5443 137677 1135356 29 0 10 10 5
21.81/2.84 c 2096 6121 128031 1201954 29 0 8 8 4
21.81/2.84 c 2091 5984 124325 1201212 29 0 8 8 4
21.81/2.85 c 2058 5454 137836 1136470 29 0 11 11 5
21.81/2.86 c 2097 6129 128174 1203240 29 0 8 8 4
21.81/2.86 c 2092 5992 124402 1202250 29 0 8 8 4
21.81/2.86 c 2059 5463 137957 1137523 29 0 9 9 4
21.81/2.86 c 2098 6137 128279 1204291 29 0 8 8 4
21.81/2.86 c 3142 7175 198198 1732139 29 0 8 14 12
21.81/2.86 c 2093 6000 124501 1203325 29 0 8 8 4
21.81/2.87 c 2099 6145 128387 1205328 29 0 8 8 4
21.81/2.87 c 2000 6049 149845 1199603 29 0 8 16 13
21.81/2.87 c 2060 5477 138127 1138390 29 0 14 14 7
21.81/2.87 c 2094 6008 124578 1204363 29 0 8 8 4
21.81/2.88 c 2100 6159 128531 1206574 29 0 14 14 7
21.81/2.88 c 2095 6016 124677 1205438 29 0 8 8 4
21.81/2.88 c 2061 5486 138219 1139157 29 0 9 9 4
21.81/2.89 c 2101 6167 128623 1207395 29 0 8 8 4
21.81/2.89 c 2096 6024 124754 1206476 29 0 8 8 4
21.81/2.89 c 2102 6175 128766 1208681 29 0 8 8 4
21.81/2.89 c 2097 6032 124853 1207551 29 0 8 8 4
21.81/2.89 c 2103 6183 128871 1209732 29 0 8 8 4
21.81/2.89 c 2062 5496 138404 1140354 29 0 10 10 5
22.61/2.90 c 3551 8121 191860 1858187 29 0 2 16 12
22.61/2.90 c 2098 6040 124930 1208589 29 0 8 8 4
22.61/2.90 c 2104 6191 128979 1210769 29 0 8 8 4
22.61/2.91 c 2048 6163 152884 1224066 29 0 9 14 12
22.61/2.91 c 2063 5507 138603 1141688 29 0 11 11 5
22.61/2.91 c 2099 6048 125029 1209664 29 0 8 8 4
22.61/2.91 c 2105 6205 129123 1212015 29 0 14 14 7
22.61/2.91 c 2049 6171 152958 1224820 29 0 8 8 4
22.61/2.93 c 2100 6056 125106 1210702 29 0 8 8 4
22.61/2.93 c 2106 6213 129215 1212836 29 0 8 8 4
22.61/2.93 c 2050 6179 153054 1225889 29 0 8 8 4
22.61/2.93 c 2064 5517 138753 1142782 29 0 10 10 5
22.61/2.93 c 2101 6064 125205 1211777 29 0 8 8 4
22.61/2.93 c 2107 6221 129358 1214122 29 0 8 8 4
22.61/2.93 c 2051 6193 153194 1226918 29 0 14 14 7
22.61/2.93 c 2065 5525 138850 1143847 29 0 8 8 4
22.61/2.93 c 2108 6229 129463 1215173 29 0 8 8 4
22.61/2.94 c 2102 6072 125282 1212815 29 0 8 8 4
22.61/2.94 c 2109 6237 129571 1216210 29 0 8 8 4
22.61/2.95 c 2103 6080 125381 1213890 29 0 8 8 4
22.61/2.95 c 2066 5539 139039 1145205 29 0 14 14 7
22.61/2.95 c 2052 6202 153295 1227736 29 0 9 9 4
22.61/2.95 c 2110 6251 129715 1217456 29 0 14 14 7
22.61/2.95 c 2104 6088 125458 1214928 29 0 8 8 4
22.61/2.95 c 2067 5553 139168 1146145 29 0 14 14 7
22.61/2.95 c 2053 6211 153381 1228549 29 0 9 9 4
22.61/2.96 c 2105 6096 125557 1216003 29 0 8 8 4
22.61/2.96 c 2111 6259 129807 1218277 29 0 8 8 4
22.61/2.96 c 2054 6222 153594 1230240 29 0 11 11 5
22.61/2.97 c 2112 6267 129950 1219563 29 0 8 8 4
22.61/2.97 c 2106 6104 125634 1217041 29 0 c 8 8 4
22.61/2.97 20685567 139364 1147324 29 0 14 14 7
22.61/2.98 c 2113 6275 130055 1220614 29 0 8 8 4
22.61/2.98 c 2107 6112 125733 1218116 29 0 8 8 4
22.61/2.98 c 2055 6237 153799 1231533 29 0 15 15 7
22.61/2.98 c 2069 5575 139436 1147898 29 0 8 8 4
22.61/2.99 c 2114 6283 130163 1221651 29 0 8 8 4
22.61/2.99 c 2108 6120 125810 1219154 29 0 8 8 4
22.61/2.99 c 2056 6246 153900 1232494 29 0 9 9 4
22.61/3.00 c 2115 6297 130307 1222897 29 0 14 14 7
22.61/3.00 c 2070 5585 139566 1148806 29 0 10 10 5
22.61/3.00 c 2109 6128 125909 1220229 29 0 8 8 4
22.61/3.00 c 2057 6255 154022 1233415 29 0 9 9 4
23.46/3.01 c 2110 6136 125986 1221267 29 0 8 8 4
23.46/3.01 c 2116 6305 130399 1223718 29 0 8 8 4
23.46/3.01 c 2071 5600 139776 1150143 29 0 15 15 7
23.46/3.01 c 2117 6313 130542 1225004 29 0 8 8 4
23.46/3.01 c 2111 6144 126085 1222342 29 0 8 8 4
23.46/3.02 c 2118 6321 130647 1226055 29 0 8 8 4
23.46/3.02 c 2072 5615 139985 1151467 29 0 15 15 7
23.46/3.02 c 2058 6263 154118 1234357 29 0 8 8 4
23.46/3.02 c 2112 6152 126162 1223380 29 0 8 8 4
23.46/3.02 c 2119 6329 130755 1227092 29 0 8 8 4
23.46/3.02 c 2073 5624 140121 1152857 29 0 9 9 4
23.46/3.02 c 2113 6160 126261 1224455 29 0 8 8 4
23.46/3.03 c 2059 6272 154258 1235674 29 0 9 9 4
23.46/3.03 c 2120 6343 130899 1228338 29 0 14 14 7
23.46/3.03 c 2114 6168 126338 1225493 29 0 8 8 4
23.46/3.03 c 2074 5638 140383 1154136 29 0 14 14 7
23.46/3.04 c 2060 6281 154380 1236595 29 0 9 9 4
23.46/3.04 c 2121 6351 130991 1229159 29 0 8 8 4
23.46/3.04 c 2115 6176 126437 1226568 29 0 8 8 4
23.46/3.04 c 2061 6289 154476 1237537 29 0 8 8 4
23.46/3.04 c 2122 6359 131134 1230445 29 0 8 8 4
23.46/3.06 c 2075 5652 140609 1155333 29 0 14 14 7
23.46/3.06 c 2116 6184 126514 1227606 29 0 8 8 4
23.46/3.06 c 2123 6367 131239 1231496 29 0 8 8 4
23.46/3.06 c 2062 6298 154616 1238854 29 0 9 9 4
23.46/3.06 c 2117 6192 126613 1228681 29 0 8 8 4
23.46/3.06 c 2124 6375 131347 1232533 29 0 8 8 4
23.46/3.06 c 2076 5661 140792 1156570 29 0 9 9 4
23.46/3.06 c 4000 8437 240884 2119400 29 0 8 16 13
23.46/3.06 c 2118 6200 126690 1229719 29 0 8 8 4
23.46/3.06 c 2063 6307 154738 1239775 29 0 9 9 4
23.46/3.07 c 2125 6389 131491 1233779 29 0 14 14 7
23.46/3.07 c 2119 6208 126789 1230794 29 0 8 8 4
23.46/3.07 c 2077 5675 140953 1157537 29 0 14 14 7
23.46/3.08 c 2064 6315 154834 1240717 29 0 8 8 4
23.46/3.08 c 2126 6397 131583 1234600 29 0 8 8 4
23.46/3.08 c 2120 6216 126866 1231832 29 0 8 8 4
23.46/3.09 c 2127 6405 131726 1235886 29 0 8 8 4
23.46/3.09 c 2078 5685 141111 1158959 29 0 10 10 5
23.46/3.09 c 2065 6324 154974 1242034 29 0 9 9 4
23.46/3.09 c 2121 6224 126965 1232907 29 0 8 8 4
23.46/3.09 c 2128 6413 131831 1236937 29 0 8 8 4
23.46/3.09 c 2079 5690 141228 1160152 29 0 5 5 2
23.46/3.10 c 2066 6333 155096 1242955 29 0 9 9 4
23.46/3.10 c 2122 6232 127042 1233945 29 0 8 8 4
23.46/3.10 c 2129 6421 131939 1237974 29 0 8 8 4
23.46/3.10 c 2123 6240 127141 1235020 29 0 8 8 4
23.46/3.10 c 2067 6341 155192 1243897 29 0 8 8 4
23.46/3.10 c 2080 5704 141490 1161422 29 0 14 14 7
24.27/3.11 c 2130 6435 132083 1239220 29 0 14 14 7
24.27/3.11 c 2124 6248 127218 1236058 29 0 8 8 4
24.27/3.12 c 2068 6350 155332 1245214 29 0 9 9 4
24.27/3.12 c 2081 5719 141656 1162452 29 0 15 15 7
24.27/3.12 c 2131 6443 132175 1240041 29 0 8 8 4
24.27/3.12 c 2125 6256 127317 1237133 29 0 8 8 4
24.27/3.12 c 2132 6451 132318 1241327 29 0 8 8 4
24.27/3.13 c 2069 6359 155454 1246135 29 0 9 9 4
24.27/3.13 c 2126 6264 127394 1238171 29 0 8 8 4
24.27/3.13 c 2133 6459 132423 1242378 29 0 8 8 4
24.27/3.13 c 2082 5729 141794 1163440 29 0 10 10 5
24.27/3.14 c 2070 6367 155550 1247077 29 0 8 8 4
24.27/3.14 c 2127 6272 127493 1239246 29 0 8 8 4
24.27/3.14 c 2134 6467 132531 1243415 29 0 8 8 4
24.27/3.14 c 2083 5743 141955 1164407 29 0 14 14 7
24.27/3.14 c 2128 6280 127570 1240284 29 0 8 8 4
24.27/3.15 c 2135 6481 132675 1244661 29 0 14 14 7
24.27/3.15 c 2071 6376 155690 1248394 29 0 9 9 4
24.27/3.15 c 2129 6288 127669 1241359 29 0 8 8 4
24.27/3.15 c 2084 5753 142113 1165829 29 0 10 10 5
24.27/3.16 c 2136 6489 132767 1245482 29 0 8 8 4
24.27/3.16 c 2072 6385 155812 1249315 29 0 9 9 4
24.27/3.16 c 3551 7919 206105 1925175 29 0 5 17 10
24.27/3.17 c 2130 6296 127746 1242397 29 0 8 8 4
24.27/3.17 c 2137 6497 132910 1246768 29 0 8 8 4
24.27/3.17 c 2085 5758 142230 1167022 29 0 5 5 2
24.27/3.17 c 2073 6393 155908 1250257 29 0 8 8 4
24.27/3.17 c 2138 6505 133015 1247819 29 0 8 8 4
24.27/3.18 c 2131 6304 127845 1243472 29 0 8 8 4
24.27/3.18 c 2086 5772 142492 1168292 29 0 14 14 7
24.27/3.18 c 2074 6402 156048 1251574 29 0 9 9 4
24.27/3.18 c 2139 6513 133123 1248856 29 0 8 8 4
24.27/3.18 c 2132 6312 127922 1244510 29 0 8 8 4
24.27/3.19 c 2133 6320 128021 1245585 29 0 8 8 4
24.27/3.19 c 2140 6527 133267 1250102 29 0 14 14 7
24.27/3.19 c 2075 6411 156170 1252495 29 0 9 9 4
24.27/3.19 c 2087 5787 142658 1169322 29 0 15 15 7
24.27/3.19 c 4000 9020 213836 2084994 29 0 2 17 13
25.00/3.20 c 2134 6328 128098 1246623 29 0 8 8 4
25.00/3.20 c 2141 6535 133359 1250923 29 0 8 8 4
25.00/3.20 c 2076 6419 156266 1253437 29 0 8 8 4
25.00/3.20 c 2088 5797 142796 1170310 29 0 10 10 5
25.00/3.20 c 2135 6336 128197 1247698 29 0 8 8 4
25.00/3.20 c 2142 6543 133502 1252209 29 0 8 8 4
25.00/3.21 c 2077 6428 156406 1254754 29 0 9 9 4
25.00/3.21 c 2143 6551 133606 1253260 29 0 8 8 4
25.00/3.21 c 2136 6344 128274 1248736 29 0 8 8 4
25.00/3.21 c 2089 5811 142957 1171277 29 0 14 14 7
25.00/3.22 c 2144 6559 133714 1254297 29 0 8 8 4
25.00/3.22 c 2078 6437 156528 1255675 29 0 9 9 4
25.00/3.22 c 2137 6352 128373 1249811 29 0 8 8 4
25.00/3.23 c 2145 6573 133858 1255543 29 0 14 14 7
25.00/3.23 c 2090 5821 143115 1172699 29 0 10 10 5
25.00/3.23 c 2138 6360 128450 1250849 29 0 8 8 4
25.00/3.23 c 2079 6445 156624 1256617 29 0 8 8 4
25.00/3.23 c 3551 8085 222468 1967221 29 0 5 17 12
25.00/3.23 c 2139 6368 128549 1251924 29 0 8 8 4
25.00/3.23 c 2146 6581 133950 1256364 29 0 8 8 4
25.00/3.24 c 2080 6454 156764 1257934 29 0 9 9 4
25.00/3.24 c 2091 5830 143258 1173746 29 0 9 9 4
25.00/3.24 c 2147 6589 134093 1257650 29 0 8 8 4
25.00/3.24 c 2140 6376 128626 1252962 29 0 8 8 4
25.00/3.25 c 2148 6597 134197 1258701 29 0 8 8 4
25.00/3.25 c 2092 5839 143353 1174548 29 0 9 9 4
25.00/3.25 c 2081 6463 156886 1258855 29 0 9 9 4
25.00/3.25 c 2141 6384 128725 1254037 29 0 8 8 4
25.00/3.26 c 2149 6605 134305 1259738 29 0 8 8 4
25.00/3.26 c 2082 6471 156982 1259797 29 0 8 8 4
25.00/3.26 c 2142 6392 128802 1255075 29 0 8 8 4
25.00/3.26 c 2093 5855 143494 1175427 29 0 16 16 8
25.00/3.27 c 2150 6619 134449 1260984 29 0 14 14 7
25.00/3.27 c 2143 6400 128901 1256150 29 0 8 8 4
25.00/3.27 c 2083 6480 157122 1261114 29 0 9 9 4
25.00/3.27 c 2094 5863 143601 1176376 29 0 8 8 4
25.00/3.27 c 2151 6627 134541 1261805 29 0 8 8 4
25.00/3.27 c 2144 6408 128978 1257188 29 0 8 8 4
25.00/3.28 c 2084 6489 157244 1262035 29 0 9 9 4
25.00/3.28 c 2152 6635 134684 1263091 29 0 8 8 4
25.00/3.28 c 2095 5874 143736 1177390 29 0 11 11 5
25.00/3.28 c 2145 6416 129077 1258263 29 0 8 8 4
25.00/3.30 c 2153 6643 134788 1264142 29 0 8 8 4
25.00/3.30 c 2085 6497 157340 1262977 29 0 8 8 4
25.00/3.30 c 2146 6424 129154 1259301 29 0 8 8 4
25.00/3.30 c 2096 5885 143926 1178834 29 0 11 11 5
25.00/3.30 c 2154 6651 134896 1265179 29 0 8 8 4
25.79/3.31 c 2086 6506 157480 1264294 29 0 9 9 4
25.79/3.31 c 2147 6432 129253 1260376 29 0 8 8 4
25.79/3.31 c 2097 5900 144152 1180445 29 0 15 15 7
25.79/3.31 c 2155 6665 135040 1266425 29 0 14 14 7
25.79/3.31 c 2148 6440 129330 1261414 29 0 8 8 4
25.79/3.32 c 2087 6515 157602 1265215 29 0 9 9 4
25.79/3.32 c 2156 6673 135132 1267246 29 0 8 8 4
25.79/3.32 c 2098 5915 144319 1181471 29 0 15 15 7
25.79/3.32 c 2149 6448 129429 1262489 29 0 8 8 4
25.79/3.32 c 2088 6523 157698 1266157 29 0 8 8 4
25.79/3.32 c 2157 6681 135275 1268532 29 0 8 8 4
25.79/3.32 c 2150 6456 129506 1263527 29 0 8 8 4
25.79/3.32 c 2099 5930 144549 1183129 29 0 15 15 7
25.79/3.33 c 2158 6689 135379 1269583 29 0 8 8 4
25.79/3.33 c 2089 6532 157838 1267474 29 0 9 9 4
25.79/3.33 c 2151 6464 129605 1264602 29 0 8 8 4
25.79/3.33 c 2159 6697 135487 1270620 29 0 8 8 4
25.79/3.33 c 2100 5945 144716 1184155 29 0 15 15 7
25.79/3.34 c 2090 6541 157960 1268395 29 0 9 9 4
25.79/3.35 c 2152 6472 129682 1265640 29 0 8 8 4
25.79/3.35 c 2160 6711 135631 1271866 29 0 14 14 7
25.79/3.35 c 2101 5960 144942 1185766 29 0 15 15 7
25.79/3.35 c 2091 6549 158056 1269337 29 0 8 8 4
25.79/3.35 c 2153 6480 129781 1266715 29 0 8 8 4
25.79/3.35 c 2161 6719 135723 1272687 29 0 8 8 4
25.79/3.35 c 2154 6488 129858 1267753 29 0 8 8 4
25.79/3.36 c 2102 5975 145109 1186792 29 0 15 15 7
25.79/3.36 c 2092 6558 158196 1270654 29 0 9 9 4
25.79/3.36 c 2162 6727 135866 1273973 29 0 8 8 4
25.79/3.37 c 2155 6496 129957 1268828 29 0 8 8 4
25.79/3.37 c 2163 6735 135970 1275024 29 0 8 8 4
25.79/3.37 c 2103 5990 145335 1188403 29 0 15 15 7
25.79/3.37 c 2093 6567 158318 1271575 29 0 9 9 4
25.79/3.37 c 2156 6504 130034 1269866 29 0 8 8 4
25.79/3.37 c 2164 6743 136078 1276061 29 0 8 8 4
25.79/3.38 c 2104 6005 145502 1189429 29 0 15 15 7
25.79/3.38 c 2094 6575 158414 1272517 29 0 8 8 4
25.79/3.38 c 2157 6512 130133 1270941 29 0 8 8 4
25.79/3.38 c 2165 6757 136222 1277307 29 0 14 14 7
25.79/3.39 c 2105 6020 145728 1191040 29 0 15 15 7
25.79/3.39 c 2095 6584 158554 1273834 29 0 9 9 4
25.79/3.39 c 2158 6520 130210 1271979 29 0 8 8 4
25.79/3.39 c 2166 6765 136314 1278128 29 0 8 8 4
25.79/3.40 c 2159 6528 130309 1273054 29 0 8 8 4
25.79/3.40 c 2167 6773 136457 1279414 29 0 8 8 4
25.79/3.40 c 2096 6593 158676 1274755 29 0 9 9 4
25.79/3.40 c 2106 6035 145895 1192066 29 0 15 15 7
26.65/3.41 c 2168 6781 136561 1280465 29 0 8 8 4
26.65/3.41 c 2160 6536 130386 1274092 29 0 8 8 4
26.65/3.41 c 2097 6601 158772 1275697 29 0 8 8 4
26.65/3.41 c 2107 6050 146118 1193412 29 0 15 15 7
26.65/3.42 c 2169 6789 136669 1281502 29 0 8 8 4
26.65/3.42 c 2161 6544 130485 1275167 29 0 8 8 4
26.65/3.42 c 2098 6610 158912 1277014 29 0 9 9 4
26.65/3.42 c 2108 6065 146285 1194438 29 0 15 15 7
26.65/3.42 c 2162 6552 130562 1276205 29 0 8 8 4
26.65/3.43 c 2170 6803 136813 1282748 29 0 14 14 7
26.65/3.43 c 2099 6619 159034 1277935 29 0 9 9 4
26.65/3.43 c 2163 6560 130661 1277280 29 0 8 8 4
26.65/3.43 c 2109 6080 146508 1195784 29 0 15 15 7
26.65/3.43 c 2171 6811 136905 1283569 29 0 8 8 4
26.65/3.44 c 2164 6568 130738 1278318 29 0 8 8 4
26.65/3.44 c 2172 6819 137048 1284855 29 0 8 8 4
26.65/3.44 c 2100 6627 159130 1278877 29 0 8 8 4
26.65/3.44 c 2110 6095 146675 1196810 29 0 15 15 7
26.65/3.45 c 2173 6827 137153 1285906 29 0 8 8 4
26.65/3.45 c 2165 6576 130837 1279393 29 0 8 8 4
26.65/3.45 c 2101 6636 159270 1280194 29 0 9 9 4
26.65/3.45 c 2111 6110 146898 1198156 29 0 15 15 7
26.65/3.45 c 2174 6835 137261 1286943 29 0 8 8 4
26.65/3.45 c 2166 6584 130914 1280431 29 0 8 8 4
26.65/3.46 c 2102 6645 159392 1281115 29 0 9 9 4
26.65/3.46 c 2175 6849 137405 1288189 29 0 14 14 7
26.65/3.46 c 2167 6592 131013 1281506 29 0 8 8 4
26.65/3.46 c 2112 6125 147065 1199182 29 0 15 15 7
26.65/3.47 c 2103 6653 159488 1282057 29 0 8 8 4
26.65/3.47 c 2168 6600 131090 1282544 29 0 8 8 4
26.65/3.47 c 2113 6140 147288 1200528 29 0 15 15 7
26.65/3.48 c 2169 6608 131189 1283619 29 0 8 8 4
26.65/3.48 c 2104 6662 159628 1283374 29 0 9 9 4
26.65/3.48 c 2114 6155 147457 1201554 29 0 15 15 7
26.65/3.49 c 2170 6616 131268 1284657 29 0 8 8 4
26.65/3.49 c 2105 6671 159752 1284295 29 0 9 9 4
26.65/3.49 c 4493 9768 275696 2407138 29 0 4 17 11
26.65/3.50 c 2171 6624 131367 1285731 29 0 8 8 4
26.65/3.50 c 2115 6170 147676 1202852 29 0 15 15 7
26.65/3.50 c 2106 6679 159848 1285236 29 0 8 8 4
27.44/3.51 c 2172 6632 131444 1286768 29 0 8 8 4
27.44/3.51 c 2116 6185 147843 1203877 29 0 15 15 7
27.44/3.51 c 2107 6688 159988 1286552 29 0 9 9 4
27.44/3.51 c 2173 6640 131543 1287842 29 0 8 8 4
27.44/3.52 c 2117 6200 148062 1205175 29 0 15 15 7
27.44/3.52 c 2174 6648 131620 1288879 29 0 8 8 4
27.44/3.52 c 2108 6697 160110 1287472 29 0 9 9 4
27.44/3.53 c 2175 6656 131719 1289953 29 0 8 8 4
27.44/3.53 c 2118 6215 148229 1206200 29 0 15 15 7
27.44/3.53 c 2109 6705 160206 1288413 29 0 8 8 4
27.44/3.54 c 2119 6230 148448 1207498 29 0 15 15 7
27.44/3.54 c 2110 6714 160346 1289729 29 0 9 9 4
27.44/3.55 c 2120 6245 148615 1208523 29 0 15 15 7
27.44/3.55 c 2111 6723 160468 1290649 29 0 9 9 4
27.44/3.56 c 2121 6260 148834 1209821 29 0 15 15 7
27.44/3.56 c 2112 6731 160564 1291590 29 0 8 8 4
27.44/3.57 c 4000 9037 232623 2163320 29 0 4 17 11
27.44/3.57 c 2113 6740 160704 1292906 29 0 9 9 4
27.44/3.57 c 2122 6275 149001 1210846 29 0 15 15 7
27.44/3.58 c 2114 6749 160826 1293826 29 0 9 9 4
27.44/3.58 c 2123 6290 149220 1212144 29 0 15 15 7
27.44/3.59 c 2115 6757 160922 1294767 29 0 8 8 4
27.44/3.59 c 2124 6305 149387 1213169 29 0 15 15 7
28.22/3.60 c 2116 6766 161062 1296083 29 0 9 9 4
28.22/3.60 c 2125 6320 149606 1214467 29 0 15 15 7
28.22/3.61 c 2117 6775 161201 1297103 29 0 9 9 4
28.22/3.61 c 2126 6335 149773 1215492 29 0 15 15 7
28.22/3.62 c 2118 6784 161287 1297916 29 0 9 9 4
28.22/3.62 c 2127 6350 149992 1216790 29 0 15 15 7
28.22/3.63 c 2119 6795 161500 1299606 29 0 11 11 5
28.22/3.63 c 2128 6365 150159 1217815 29 0 15 15 7
28.22/3.64 c 2120 6810 161705 1300898 29 0 15 15 7
28.22/3.64 c 2129 6380 150378 1219113 29 0 15 15 7
28.22/3.65 c 2121 6819 161806 1301858 29 0 9 9 4
28.22/3.65 c 2130 6395 150536 1220139 29 0 15 15 7
28.22/3.67 c 2122 6828 161945 1302878 29 0 9 9 4
28.22/3.67 c 4493 10324 243360 2360831 29 0 2 16 11
28.22/3.67 c 2131 6410 150755 1221437 29 0 15 15 7
28.22/3.68 c 2123 6837 162031 1303691 29 0 9 9 4
28.22/3.68 c 2132 6425 150913 1222463 29 0 15 15 7
28.22/3.69 c 2124 6848 162243 1305381 29 0 11 11 5
28.22/3.69 c 2133 6440 151132 1223761 29 0 15 15 7
28.99/3.70 c 2125 6863 162448 1306673 29 0 15 15 7
28.99/3.70 c 2134 6455 151290 1224787 29 0 15 15 7
28.99/3.70 c 4000 9062 247941 2233089 29 0 4 15 9
28.99/3.71 c 2126 6872 162549 1307633 29 0 9 9 4
28.99/3.71 c 2135 6470 151509 1226085 29 0 15 15 7
28.99/3.72 c 2127 6881 162671 1308553 29 0 9 9 4
28.99/3.72 c 2136 6485 151667 1227111 29 0 15 15 7
28.99/3.73 c 2128 6889 162767 1309494 29 0 8 8 4
28.99/3.73 c 2137 6500 151886 1228409 29 0 15 15 7
28.99/3.74 c 2129 6898 162907 1310810 29 0 9 9 4
28.99/3.74 c 2138 6515 152044 1229435 29 0 15 15 7
28.99/3.75 c 2130 6907 163046 1311830 29 0 9 9 4
28.99/3.75 c 2139 6530 152263 1230733 29 0 15 15 7
28.99/3.75 c 2131 6916 163132 1312643 29 0 9 9 4
28.99/3.76 c 2140 6545 152421 1231759 29 0 15 15 7
28.99/3.76 c 2132 6927 163344 1314333 29 0 11 11 5
28.99/3.77 c 2141 6560 152640 1233057 29 0 15 15 7
28.99/3.77 c 2133 6942 163549 1315625 29 0 15 15 7
28.99/3.78 c 2142 6575 152798 1234083 29 0 15 15 7
28.99/3.78 c 2134 6951 163650 1316585 29 0 9 9 4
28.99/3.79 c 2143 6590 153017 1235381 29 0 15 15 7
29.79/3.80 c 2135 6960 163791 1317665 29 0 9 9 4
29.79/3.80 c 2144 6605 153175 1236407 29 0 15 15 7
29.79/3.81 c 2136 6969 163877 1318478 29 0 9 9 4
29.79/3.81 c 2145 6620 153396 1237705 29 0 15 15 7
29.79/3.82 c 2137 6980 164091 1320169 29 0 11 11 5
29.79/3.82 c 2146 6635 153554 1238730 29 0 15 15 7
29.79/3.83 c 2138 6995 164296 1321460 29 0 15 15 7
29.79/3.83 c 2147 6650 153773 1240027 29 0 15 15 7
29.79/3.84 c 2139 7004 164395 1322405 29 0 9 9 4
29.79/3.84 c 2148 6665 153931 1241052 29 0 15 15 7
29.79/3.85 c 2140 7013 164514 1323324 29 0 9 9 4
29.79/3.85 c 2149 6680 154150 1242349 29 0 15 15 7
29.79/3.86 c 2141 7021 164610 1324264 29 0 8 8 4
29.79/3.86 c 2150 6695 154308 1243374 29 0 15 15 7
29.79/3.86 c 5000 10919 308750 2705302 29 0 8 20 15
29.79/3.86 c 2142 7030 164750 1325579 29 0 9 9 4
29.79/3.87 c 2151 6710 154527 1244671 29 0 15 15 7
29.79/3.88 c 2143 7039 164891 1326658 29 0 9 9 4
29.79/3.88 c 2152 6725 154685 1245696 29 0 15 15 7
29.79/3.89 c 2144 7048 164977 1327470 29 0 9 9 4
29.79/3.89 c 2153 6740 154904 1246993 29 0 15 15 7
30.59/3.90 c 2145 7059 165187 1329169 29 0 11 11 5
30.59/3.90 c 5035 10998 311007 2724020 29 0 12 17 14
30.59/3.90 c 2154 6755 155062 1248018 29 0 15 15 7
30.59/3.91 c 2146 7074 165392 1330460 29 0 15 15 7
30.59/3.91 c 2155 6770 155281 1249315 29 0 15 15 7
30.59/3.92 c 2147 7083 165493 1331419 29 0 9 9 4
30.59/3.92 c 2156 6785 155439 1250340 29 0 15 15 7
30.59/3.93 c 2148 7092 165632 1332438 29 0 9 9 4
30.59/3.93 c 2157 6800 155658 1251637 29 0 15 15 7
30.59/3.93 c 2149 7101 165718 1333250 29 0 9 9 4
30.59/3.95 c 2158 6815 155816 1252662 29 0 15 15 7
30.59/3.95 c 2150 7112 165928 1334949 29 0 11 11 5
30.59/3.95 c 2159 6830 156037 1253959 29 0 15 15 7
30.59/3.96 c 2151 7127 166135 1336240 29 0 15 15 7
30.59/3.96 c 2160 6845 156195 1254983 29 0 15 15 7
30.59/3.97 c 2152 7136 166235 1337216 29 0 9 9 4
30.59/3.97 c 2161 6860 156414 1256279 29 0 15 15 7
30.59/3.98 c 2153 7145 166354 1338134 29 0 9 9 4
30.59/3.99 c 2162 6875 156572 1257303 29 0 15 15 7
30.59/3.99 c 2154 7153 166450 1339073 29 0 8 8 4
30.59/4.00 c 2163 6890 156791 1258599 29 0 15 15 7
30.59/4.00 c 2155 7162 166590 1340387 29 0 9 9 4
31.44/4.01 c 2164 6905 156949 1259623 29 0 15 15 7
31.44/4.02 c 2165 6920 157168 1260919 29 0 15 15 7
31.44/4.02 c 2156 7171 166729 1341405 29 0 9 9 4
31.44/4.03 c 2166 6935 157326 1261943 29 0 15 15 7
31.44/4.03 c 2157 7180 166815 1342218 29 0 9 9 4
31.44/4.04 c 2167 6950 157545 1263239 29 0 15 15 7
31.44/4.04 c 2158 7191 167027 1343907 29 0 11 11 5
31.44/4.05 c 2168 6965 157703 1264263 29 0 15 15 7
31.44/4.05 c 2159 7206 167232 1345197 29 0 15 15 7
31.44/4.06 c 2169 6980 157922 1265559 29 0 15 15 7
31.44/4.06 c 2160 7215 167333 1346155 29 0 9 9 4
31.44/4.06 c 2170 6995 158080 1266583 29 0 15 15 7
31.44/4.06 c 2161 7224 167474 1347233 29 0 9 9 4
31.44/4.07 c 2171 7010 158299 1267879 29 0 15 15 7
31.44/4.08 c 2162 7233 167560 1348046 29 0 9 9 4
31.44/4.08 c 2172 7025 158457 1268903 29 0 15 15 7
31.44/4.09 c 2163 7244 167771 1349744 29 0 11 11 5
31.44/4.09 c 4493 10199 262698 2456187 29 0 4 16 11
31.44/4.10 c 2173 7040 158676 1270199 29 0 15 15 7
31.44/4.10 c 2164 7259 167976 1351034 29 0 15 15 7
31.44/4.10 c 3000 8250 172512 1702400 29 0 2 17 12
31.44/4.10 c 2174 7055 158834 1271223 29 0 15 15 7
32.28/4.12 c 2165 7268 168077 1351992 29 0 9 9 4
32.28/4.12 c 2175 7070 159053 1272519 29 0 15 15 7
32.28/4.12 c 2166 7277 168216 1353010 29 0 9 9 4
32.28/4.13 c 2167 7286 168302 1353823 29 0 9 9 4
32.28/4.14 c 2168 7297 168514 1355512 29 0 11 11 5
32.28/4.15 c 2169 7312 168719 1356802 29 0 15 15 7
32.28/4.16 c 2170 7321 168820 1357760 29 0 9 9 4
32.28/4.17 c 2171 7330 168939 1358678 29 0 9 9 4
32.28/4.18 c 2172 7338 169035 1359617 29 0 8 8 4
32.28/4.19 c 2173 7347 169175 1360931 29 0 9 9 4
32.28/4.20 c 2174 7356 169314 1361949 29 0 9 9 4
33.01/4.21 c 2175 7365 169400 1362762 29 0 9 9 4
33.01/4.25 c 5000 11721 273897 2662411 29 0 2 16 9
33.77/4.30 c 5035 11809 276349 2685373 29 0 4 14 9
33.77/4.34 c 3000 8779 186555 1746946 29 0 3 17 10
33.77/4.35 c 4493 10146 277476 2542361 29 0 4 25 9
33.77/4.36 c 3000 8782 186592 1747379 30 0 0 0 0
34.57/4.49 c 5631 12471 357491 3090527 29 0 4 17 11
36.17/4.62 c First solution is found
36.17/4.62 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7.
36.17/4.62 c [pFactory][Group N°0] Thread N°0 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°1 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°2 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°3 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°4 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°5 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°6 is joined.
36.17/4.62 c [pFactory][Group N°0] Thread N°7 is joined.
36.17/4.62 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0)
36.17/4.62 s SATISFIABLE
36.17/4.62 c restarts : 258
36.17/4.62 c conflicts : 3217 (89 /sec)
36.17/4.62 c decisions : 9430 (260 /sec)
36.17/4.62 c propagations : 1870569 (51492 /sec)
36.17/4.62 c root propagations : 48
36.17/4.62 c filter calls : 200472 (5519 /sec)
36.17/4.62 c useless filter calls : 47077 (23 %)
36.17/4.62 c Memory used : 581.55 MB
36.17/4.62 c CPU time : 36.3271 s
36.17/4.62 c real time : 4.61823 s
36.17/4.62
36.17/4.62 c solution 1
36.17/4.62
36.17/4.62 v <instantiation type='solution'>
36.17/4.62 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] </list>
36.17/4.62 v <values>1 17 0 21 0 3 14 17 4 13 0 12 4 3 0 13 0 11 14 6 24 21 0 11 20 4 17 18 0 12 14 4 1 0 18 3 4 6 17 0 3 4 14 3 24 18 18 4 24 </values>
36.17/4.62 v </instantiation>
36.17/4.62
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 (15260 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-4409463-1569839160/watcher-4409463-1569839160 -o /tmp/evaluation-result-4409463-1569839160/solver-4409463-1569839160 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569839116-1483 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409463-1569839160.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=1589, runsolver pid=1586
Current StackSize limit: 8192 KiB
[startup+0.107591 s]*
/proc/loadavg: 7.42 8.47 8.66 10/199 1602
/proc/meminfo: memFree=31700252/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14500 CPUtime=0.4 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 3911 0 0 0 40 0 0 0 20 0 9 0 560183671 643371008 3625 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3625 854 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=4783778560849965706 CPUtime=0.04 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426365709688 5039125 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=4342489072520795234 CPUtime=0.04 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 7 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426357317216 5039178 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=140248319604352 CPUtime=0.04 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426348924512 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=0 CPUtime=0.04 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 7 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426340531296 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=0 CPUtime=0.04 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426332138592 5409396 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=0 CPUtime=0.04 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426323746192 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=-1 CPUtime=0.04 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426315343224 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=0 CPUtime=0.03 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426306960480 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14500 KiB
[startup+0.21059 s]*
/proc/loadavg: 7.42 8.47 8.66 9/199 1602
/proc/meminfo: memFree=31700252/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14500 CPUtime=1.21 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 3913 0 0 0 121 0 0 0 20 0 9 0 560183671 643371008 3625 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3625 854 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=7310027617963868211 CPUtime=0.14 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 15 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426365709688 5039145 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=288230591823085591 CPUtime=0.14 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 7 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426357316704 5186318 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=140248322965447 CPUtime=0.14 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426348924000 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=-1 CPUtime=0.14 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426340531296 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=0 CPUtime=0.14 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426332138592 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=0 CPUtime=0.14 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426323745888 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=-1 CPUtime=0.14 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 14 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426315353184 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=0 CPUtime=0.12 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 10 0 0 0 12 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426306960480 5037865 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14500 KiB
[startup+0.319591 s]*
/proc/loadavg: 7.42 8.47 8.66 9/199 1602
/proc/meminfo: memFree=31700252/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14500 CPUtime=2.08 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 3915 0 0 0 208 0 0 0 20 0 9 0 560183671 643371008 3625 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3625 854 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=1398722017469774279 CPUtime=0.25 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 15 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426365709688 5039189 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=4126316290023845779 CPUtime=0.25 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426357316680 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=0 CPUtime=0.25 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426348924000 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=6656426216303648864 CPUtime=0.25 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426340531296 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=6656426216303648864 CPUtime=0.25 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426332138592 5039149 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=0 CPUtime=0.25 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426323745888 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=0 CPUtime=0.25 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 9 0 0 0 25 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426315353184 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=0 CPUtime=0.22 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 10 0 0 0 22 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426306960480 5039540 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14500 KiB
[startup+0.700589 s]
/proc/loadavg: 7.42 8.47 8.66 9/199 1602
/proc/meminfo: memFree=31700252/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14500 CPUtime=5.04 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 3917 0 0 0 504 0 0 0 20 0 9 0 560183671 643371008 3625 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3625 854 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=7013344222260849752 CPUtime=0.62 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 15 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426365709408 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=6935655853031772240 CPUtime=0.62 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 9 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426357316704 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=5788908277929698645 CPUtime=0.62 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426348924000 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=6935655930172301376 CPUtime=0.62 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426340531296 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=4060 CPUtime=0.62 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426332138592 5039536 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=2836 CPUtime=0.62 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 8 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426323745888 5039193 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=1540 CPUtime=0.62 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 10 0 0 0 62 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426315353184 5037801 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=1732 CPUtime=0.58 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 10 0 0 0 58 0 0 0 20 0 9 0 560183678 643371008 3625 33554432000 4194304 6211132 140726152091664 140426306960480 5039561 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14500 KiB
[startup+1.50059 s]
/proc/loadavg: 7.42 8.47 8.66 10/199 1602
/proc/meminfo: memFree=31700000/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14812 CPUtime=11.43 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 6690 0 0 0 1142 1 0 0 20 0 9 0 560183671 643371008 3703 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3703 864 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=140252614571647 CPUtime=1.42 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 345 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426365709408 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=0 CPUtime=1.42 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 360 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426357316704 5038784 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=1764 CPUtime=1.42 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 342 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426348924000 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=111628 CPUtime=1.42 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 381 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426340531296 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=3047711566422646390 CPUtime=1.42 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 342 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426332138592 5038964 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=0 CPUtime=1.42 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 367 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426323745888 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=3619125842039427329 CPUtime=1.42 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 366 0 0 0 142 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426315353184 5039185 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=7524230100899026278 CPUtime=1.36 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 346 0 0 0 136 0 0 0 20 0 9 0 560183678 643371008 3703 33554432000 4194304 6211132 140726152091664 140426306960480 5039145 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 11.43 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14812 KiB
[startup+3.10961 s]
/proc/loadavg: 7.42 8.47 8.66 11/199 1602
/proc/meminfo: memFree=31700024/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14816 CPUtime=24.27 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 9262 0 0 0 2426 1 0 0 20 0 9 0 560183671 643371008 3704 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3704 864 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=282 CPUtime=3.03 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 653 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426365709408 5038722 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=140248197736600 CPUtime=3.03 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 674 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426357316704 5037825 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=14812 CPUtime=3.03 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 618 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426348924000 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=-7035114785800479027 CPUtime=3.03 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 738 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426340531296 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=0 CPUtime=3.03 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 676 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426332138592 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=55 CPUtime=3.03 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 701 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426323745888 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=0 CPUtime=3.03 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 678 0 0 0 303 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426315353184 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=-7035114785800479027 CPUtime=2.94 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 683 0 0 0 294 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426306960480 5039199 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 24.27 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14816 KiB
[startup+4.6231 s]
# the end of solver process 1589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=36.3271 s, system=0.021982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20059 s]
/proc/loadavg: 7.42 8.47 8.66 11/199 1602
/proc/meminfo: memFree=31700024/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14816 CPUtime=25 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 9403 0 0 0 2499 1 0 0 20 0 9 0 560183671 643371008 3704 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3704 864 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=0 CPUtime=3.12 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 653 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426365709408 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=0 CPUtime=3.12 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 720 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426357316704 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=0 CPUtime=3.12 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 688 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426348924000 5039210 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=0 CPUtime=3.12 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 738 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426340531296 5038982 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=0 CPUtime=3.12 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 676 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426332138592 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=0 CPUtime=3.12 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 701 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426323745888 5037868 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=-7966001734536614954 CPUtime=3.12 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 703 0 0 0 312 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426315353184 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=-6737208495984907619 CPUtime=3.04 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 683 0 0 0 304 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426306960480 5038944 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 25 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14816 KiB
[startup+4.00059 s]*
/proc/loadavg: 7.63 8.49 8.67 10/199 1602
/proc/meminfo: memFree=31700324/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14816 CPUtime=31.44 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 9459 0 0 0 3143 1 0 0 20 0 9 0 560183671 643371008 3704 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3704 864 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=29681743523217448 CPUtime=3.93 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 681 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426365709408 5039213 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=0 CPUtime=3.93 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 720 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426357316704 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=15111422820824728 CPUtime=3.93 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 688 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426348924000 5039137 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=7589561247452194480 CPUtime=3.93 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 738 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426340531296 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=3472285459251613807 CPUtime=3.93 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 676 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426332138592 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=7378697629483807023 CPUtime=3.93 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 701 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426323745888 5037854 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=4830786140298962533 CPUtime=3.93 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 731 0 0 0 393 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426315353184 5039199 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=6655300316396806240 CPUtime=3.83 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 683 0 0 0 383 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426306960480 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 31.44 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14816 KiB
[startup+4.40059 s]
/proc/loadavg: 7.63 8.49 8.67 10/199 1602
/proc/meminfo: memFree=31700324/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14816 CPUtime=34.57 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 9459 0 0 0 3456 1 0 0 20 0 9 0 560183671 643371008 3704 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3704 864 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=0 CPUtime=4.32 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 681 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426365709408 5394465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=0 CPUtime=4.32 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 720 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426357316704 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=-7035114785800479027 CPUtime=4.32 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 688 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426348924000 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=3472468544425595225 CPUtime=4.32 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 738 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426340531296 5039217 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=-9001733975035308135 CPUtime=4.32 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 676 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426332138592 5037858 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=4783494139404706144 CPUtime=4.32 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 701 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426323745888 5039210 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=9052676650212679776 CPUtime=4.32 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 731 0 0 0 432 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426315353184 5039061 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=-6876588427028963228 CPUtime=4.22 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 683 0 0 0 422 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426306960480 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 34.57 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14816 KiB
[startup+4.60058 s]
/proc/loadavg: 7.63 8.49 8.67 10/199 1602
/proc/meminfo: memFree=31700324/32770624 swapFree=66997708/67108860
[pid=1589] ppid=1586 vsize=628292 memory=14816 CPUtime=36.17 cores=0-7
/proc/1589/stat : 1589 (cosoco) S 1586 1589 1456 0 -1 1077944320 9459 0 0 0 3616 1 0 0 20 0 9 0 560183671 643371008 3704 33554432000 4194304 6211132 140726152091664 140726152089920 140426388852471 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
/proc/1589/statm: 157073 3704 864 493 0 150378 0
[pid=1589/tid=1591] ppid=1586 vsize=628292 memory=6935651532142567488 CPUtime=4.52 cores=0-7
/proc/1589/task/1591/stat : 1591 (cosoco) R 1586 1589 1456 0 -1 4202560 681 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426365709408 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1592] ppid=1586 vsize=628292 memory=3467824627880452160 CPUtime=4.52 cores=0-7
/proc/1589/task/1592/stat : 1592 (cosoco) R 1586 1589 1456 0 -1 4202560 720 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426357316704 5039178 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1593] ppid=1586 vsize=628292 memory=0 CPUtime=4.52 cores=0-7
/proc/1589/task/1593/stat : 1593 (cosoco) R 1586 1589 1456 0 -1 4202560 688 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426348924000 5039549 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1598] ppid=1586 vsize=628292 memory=0 CPUtime=4.52 cores=0-7
/proc/1589/task/1598/stat : 1598 (cosoco) R 1586 1589 1456 0 -1 4202560 738 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426340531296 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1599] ppid=1586 vsize=628292 memory=6935649255759568960 CPUtime=4.52 cores=0-7
/proc/1589/task/1599/stat : 1599 (cosoco) R 1586 1589 1456 0 -1 4202560 676 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426332138592 5038982 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1600] ppid=1586 vsize=628292 memory=5865188000529146989 CPUtime=4.52 cores=0-7
/proc/1589/task/1600/stat : 1600 (cosoco) R 1586 1589 1456 0 -1 4202560 701 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426323745888 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1601] ppid=1586 vsize=628292 memory=5788930165031592000 CPUtime=4.52 cores=0-7
/proc/1589/task/1601/stat : 1601 (cosoco) R 1586 1589 1456 0 -1 4202560 731 0 0 0 452 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426315353184 5039561 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
[pid=1589/tid=1602] ppid=1586 vsize=628292 memory=7523097603654047337 CPUtime=4.42 cores=0-7
/proc/1589/task/1602/stat : 1602 (cosoco) R 1586 1589 1456 0 -1 4202560 683 0 0 0 442 0 0 0 20 0 9 0 560183678 643371008 3704 33554432000 4194304 6211132 140726152091664 140426306960480 5038944 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 31064064 140726152098833 140726152098925 140726152098925 140726152101838 0
Current children cumulated CPU time: 36.17 s
Current children cumulated vsize: 628292 KiB
Current children cumulated memory: 14816 KiB
Child status: 0
Real time (s): 4.62315
CPU time (s): 36.3491
CPU user time (s): 36.3271
CPU system time (s): 0.021982
CPU usage (%): 786.24
Max. virtual memory (cumulated for all children) (KiB): 628292
Max. memory (cumulated for all children) (KiB): 14816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3271
system time used= 0.021982
maximum resident set size= 14864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9505
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= 20
involuntary context switches= 908
# summary of solver processes directly reported to runsolver:
# pid: 1589
# total CPU time (s): 36.3491
# total CPU user time (s): 36.3271
# total CPU system time (s): 0.021982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062424 second user time and 0.069854 second system time
The end
Begin job on node126 at 2019-09-30 12:25:21
IDJOB=4409463
IDBENCH=140442
IDSOLVER=2877
FILE ID=node126/4409463-1569839160
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-7-7.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409463-1569839160/watcher-4409463-1569839160 -o /tmp/evaluation-result-4409463-1569839160/solver-4409463-1569839160 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569839116-1483 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409463-1569839160.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 99134ba62b1a53cb1521bec8a3cd1f05
RANDOM SEED=1587826902
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: 31710376 kB
MemAvailable: 31857068 kB
Buffers: 121280 kB
Cached: 343612 kB
SwapCached: 7400 kB
Active: 324140 kB
Inactive: 150892 kB
Active(anon): 3416 kB
Inactive(anon): 82084 kB
Active(file): 320724 kB
Inactive(file): 68808 kB
Unevictable: 109440 kB
Mlocked: 109440 kB
SwapTotal: 67108860 kB
SwapFree: 66997708 kB
Dirty: 2772 kB
Writeback: 4 kB
AnonPages: 123772 kB
Mapped: 26304 kB
Shmem: 66832 kB
Slab: 175740 kB
SReclaimable: 145988 kB
SUnreclaim: 29752 kB
KernelStack: 3408 kB
PageTables: 5424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 539944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 77824 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:26