Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
GG's minicp 2018-04-29 | SAT (TO) | 1150321 | 2520.06 | 2507.33 |
Name | Auction/Auction-sum/ Auction-sum-decay500_c18.xml |
MD5SUM | d1d7e4f351cab0858660dafd89ccc193 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2700422 |
Best CPU time to get the best result obtained on this benchmark | 2520.13 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 500 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: -1 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 2.76/1.45 o 0 3.54/2.19 o 11303 3.54/2.19 o 17675 3.54/2.19 o 28978 3.54/2.19 o 37490 3.65/2.20 o 39144 3.65/2.20 o 47656 3.65/2.20 o 48888 3.65/2.20 o 58987 3.65/2.21 o 67499 3.65/2.21 o 68731 3.65/2.21 o 69627 3.65/2.21 o 70859 3.65/2.21 o 73449 3.65/2.21 o 79821 3.65/2.22 o 91124 3.65/2.22 o 99636 3.65/2.22 o 100868 3.65/2.22 o 100931 3.65/2.23 o 104433 3.65/2.23 o 105665 3.65/2.23 o 105728 3.65/2.23 o 106810 3.65/2.23 o 106873 3.65/2.24 o 110897 3.65/2.24 o 119409 3.65/2.24 o 120641 3.65/2.24 o 120704 3.65/2.24 o 124206 3.65/2.24 o 125438 3.65/2.24 o 125501 3.65/2.24 o 126583 3.65/2.24 o 126646 3.65/2.26 o 128266 3.65/2.26 o 129498 3.65/2.26 o 129561 3.65/2.26 o 133063 3.65/2.26 o 134295 3.65/2.26 o 134358 3.65/2.26 o 135440 3.65/2.26 o 135503 3.65/2.28 o 135726 3.65/2.28 o 135789 3.65/2.28 o 139167 3.65/2.29 o 140399 3.65/2.29 o 140462 3.65/2.29 o 143964 3.65/2.29 o 145196 3.65/2.29 o 145259 3.65/2.29 o 146341 3.65/2.29 o 146404 3.65/2.30 o 148024 3.90/2.30 o 149256 3.90/2.30 o 149319 3.90/2.30 o 152821 3.90/2.30 o 154053 3.90/2.30 o 154116 3.90/2.30 o 155198 3.90/2.30 o 155261 3.90/2.31 o 155484 3.90/2.31 o 155547 3.90/2.35 o 155560 3.90/2.35 o 155623 3.90/2.37 o 155950 3.90/2.37 o 157182 3.90/2.37 o 157245 3.90/2.37 o 158327 3.90/2.37 o 158390 3.90/2.37 o 158785 3.90/2.37 o 160017 3.90/2.37 o 160080 3.90/2.37 o 161162 3.90/2.37 o 161225 3.90/2.38 o 161242 3.90/2.38 o 161305 3.90/2.38 o 164807 3.90/2.38 o 166039 3.90/2.38 o 166102 3.90/2.38 o 167184 3.90/2.38 o 167247 3.90/2.38 o 167642 3.90/2.38 o 168874 3.90/2.38 o 168937 3.90/2.39 o 170019 3.90/2.39 o 170082 3.90/2.39 o 170305 3.90/2.39 o 170368 4.16/2.40 o 170381 4.16/2.40 o 170444 4.16/2.42 o 171362 4.16/2.42 o 171425 4.16/2.42 o 172507 4.16/2.42 o 172570 4.16/2.43 o 172793 4.16/2.43 o 172856 4.98/3.14 o 173869 4.98/3.14 o 177257 4.98/3.14 o 182054 4.98/3.15 o 182321 4.98/3.15 o 186381 4.98/3.15 o 191178 4.98/3.16 o 192592 4.98/3.16 o 197389 4.98/3.16 o 197656 4.98/3.16 o 201716 4.98/3.16 o 206513 4.98/3.16 o 209901 4.98/3.16 o 214698 4.98/3.17 o 214965 4.98/3.17 o 219025 4.98/3.17 o 223822 4.98/3.18 o 225438 4.98/3.19 o 227698 4.98/3.19 o 232495 4.98/3.19 o 235883 4.98/3.19 o 240680 4.98/3.19 o 240947 4.98/3.20 o 245007 4.98/3.20 o 249804 5.08/3.20 o 251420 5.08/3.22 o 251948 5.08/3.22 o 256745 5.08/3.22 o 258361 5.08/3.24 o 260374 5.08/3.24 o 261990 5.08/3.25 o 265154 5.08/3.26 o 266770 5.08/3.26 o 267298 5.08/3.26 o 272095 5.08/3.27 o 273711 5.08/3.27 o 275724 5.08/3.28 o 277340 5.23/3.31 o 277747 5.23/3.32 o 279363 5.23/3.33 o 279891 5.23/3.33 o 284688 5.23/3.33 o 286304 5.23/3.34 o 288317 5.23/3.34 o 289933 5.23/3.38 o 291076 5.96/4.07 o 291127 5.96/4.08 o 298670 5.96/4.08 o 299902 5.96/4.08 o 299965 5.96/4.08 o 300188 5.96/4.08 o 300251 5.96/4.08 o 305275 5.96/4.08 o 306507 5.96/4.08 o 306570 5.96/4.08 o 306793 5.96/4.08 o 306856 5.96/4.08 o 310523 5.96/4.08 o 311755 5.96/4.08 o 311818 5.96/4.08 o 312041 5.96/4.08 o 312104 5.96/4.09 o 315805 5.96/4.09 o 317037 5.96/4.09 o 317100 5.96/4.09 o 317323 5.96/4.09 o 317386 5.96/4.09 o 324929 5.96/4.09 o 326161 5.96/4.09 o 326224 5.96/4.09 o 326447 5.96/4.09 o 326510 5.96/4.09 o 331534 5.96/4.09 o 332766 5.96/4.09 o 332829 5.96/4.09 o 333052 5.96/4.09 o 333115 5.96/4.10 o 336782 5.96/4.10 o 338014 5.96/4.10 o 338077 5.96/4.10 o 338300 5.96/4.10 o 338363 5.96/4.10 o 338475 5.96/4.10 o 339707 5.96/4.10 o 339770 5.96/4.10 o 339993 5.96/4.10 o 340056 5.96/4.10 o 343723 5.96/4.10 o 344955 5.96/4.10 o 345018 5.96/4.11 o 345241 5.96/4.11 o 345304 6.11/4.11 o 348502 6.11/4.11 o 349734 6.11/4.11 o 350020 6.11/4.12 o 352132 6.11/4.12 o 353364 6.11/4.12 o 353427 6.11/4.12 o 353650 6.11/4.12 o 353713 6.11/4.12 o 353825 6.11/4.12 o 355057 6.11/4.12 o 355120 6.11/4.12 o 355343 6.11/4.12 o 355406 6.11/4.13 o 359073 6.11/4.13 o 360305 6.11/4.13 o 360368 6.11/4.13 o 360591 6.11/4.13 o 360654 6.11/4.13 o 363852 6.11/4.13 o 365084 6.11/4.13 o 365370 6.11/4.14 o 365915 6.11/4.14 o 367147 6.11/4.15 o 367433 6.11/4.15 o 367665 6.11/4.15 o 367728 6.11/4.15 o 367951 6.11/4.15 o 368014 6.11/4.15 o 368126 6.11/4.15 o 369358 6.11/4.15 o 369421 6.11/4.16 o 369644 6.11/4.16 o 369707 6.11/4.16 o 373374 6.11/4.16 o 374606 6.11/4.16 o 374669 6.11/4.16 o 374892 6.11/4.16 o 374955 6.11/4.16 o 378153 6.11/4.16 o 379385 6.11/4.16 o 379671 6.11/4.17 o 381783 6.11/4.17 o 383015 6.11/4.17 o 383078 6.11/4.17 o 383301 6.11/4.17 o 383364 6.11/4.17 o 383476 6.11/4.17 o 384708 6.11/4.17 o 384771 6.11/4.17 o 384994 6.11/4.17 o 385057 6.11/4.18 o 388724 6.11/4.18 o 389956 6.11/4.18 o 390019 6.11/4.18 o 390242 6.11/4.18 o 390305 6.11/4.18 o 393503 6.11/4.18 o 394735 6.11/4.18 o 395021 6.11/4.19 o 395566 6.11/4.19 o 396798 6.11/4.19 o 397084 6.21/4.21 o 397949 6.21/4.21 o 398235 6.21/4.21 o 400347 6.21/4.21 o 401579 6.21/4.21 o 401865 6.21/4.21 o 402040 6.21/4.21 o 403272 6.21/4.21 o 403558 6.21/4.21 o 407288 6.21/4.21 o 408520 6.21/4.21 o 408806 6.21/4.22 o 412067 6.21/4.22 o 413299 6.21/4.22 o 413585 6.21/4.23 o 414130 6.21/4.23 o 415362 6.21/4.23 o 415648 6.21/4.25 o 416496 6.21/4.25 o 416782 6.21/4.25 o 418894 6.21/4.25 o 420126 6.21/4.25 o 420412 6.21/4.26 o 420587 6.21/4.26 o 421819 6.21/4.26 o 422105 6.21/4.26 o 425835 6.21/4.26 o 427067 6.21/4.26 o 427353 6.21/4.26 o 430614 6.21/4.26 o 431846 6.21/4.26 o 432132 6.21/4.27 o 432677 6.21/4.27 o 433909 6.21/4.27 o 434195 6.21/4.29 o 436132 6.21/4.29 o 437364 6.21/4.29 o 437650 6.32/4.30 o 438195 6.32/4.30 o 439427 6.32/4.30 o 439713 6.32/4.31 o 440318 6.32/4.31 o 440604 6.32/4.32 o 441149 6.32/4.32 o 442381 6.32/4.32 o 442667 6.32/4.33 o 444604 6.32/4.33 o 445836 6.32/4.33 o 446122 6.32/4.34 o 446667 6.32/4.34 o 447899 6.32/4.34 o 448185 6.32/4.36 o 449616 6.32/4.36 o 450848 6.32/4.36 o 451134 6.32/4.36 o 454395 6.32/4.36 o 455627 6.32/4.36 o 455913 6.32/4.37 o 456458 6.32/4.37 o 457690 6.32/4.37 o 457976 6.32/4.39 o 459913 6.32/4.39 o 461145 6.32/4.39 o 461431 6.32/4.39 o 461976 6.32/4.39 o 463208 6.32/4.39 o 463494 6.42/4.40 o 464099 6.42/4.40 o 464385 6.42/4.41 o 464930 6.42/4.41 o 466162 6.42/4.41 o 466448 6.42/4.42 o 468385 6.42/4.42 o 469617 6.42/4.42 o 469903 6.42/4.43 o 470448 6.42/4.43 o 471680 6.42/4.43 o 471966 6.42/4.47 o 474737 6.42/4.47 o 475969 6.42/4.47 o 476255 6.42/4.47 o 476800 6.42/4.47 o 478032 6.42/4.47 o 478318 7.36/5.32 o 478434 7.36/5.39 o 479080 7.36/5.39 o 480312 7.36/5.39 o 482709 7.36/5.39 o 483941 7.46/5.44 o 484261 7.46/5.44 o 485493 7.46/5.44 o 487096 7.46/5.44 o 488328 7.46/5.45 o 489122 7.46/5.45 o 490725 7.46/5.45 o 491957 7.46/5.49 o 492603 7.46/5.49 o 493835 7.46/5.49 o 494629 7.46/5.49 o 496232 7.46/5.49 o 497464 7.66/5.68 o 497544 7.66/5.68 o 498776 7.77/5.74 o 499422 7.77/5.74 o 500654 7.77/5.75 o 503051 7.77/5.75 o 504283 7.86/5.80 o 504603 7.86/5.80 o 505835 7.86/5.80 o 507438 7.86/5.80 o 508670 7.86/5.80 o 509464 7.86/5.81 o 511067 7.86/5.81 o 512299 7.86/5.86 o 512945 7.86/5.86 o 514177 7.86/5.86 o 514971 7.86/5.86 o 516574 7.86/5.86 o 517806 8.20/6.14 o 518885 8.20/6.14 o 520117 9.10/7.02 o 520545 9.10/7.02 o 521777 9.10/7.02 o 522063 9.10/7.02 o 522161 9.10/7.02 o 523393 9.10/7.02 o 523679 9.10/7.07 o 524088 9.10/7.07 o 524374 9.10/7.07 o 524472 9.10/7.07 o 525704 9.10/7.07 o 525990 9.20/7.15 o 526125 9.20/7.15 o 526411 9.30/7.24 o 526707 9.30/7.24 o 526993 9.30/7.24 o 527091 9.30/7.24 o 528323 9.30/7.24 o 528609 9.40/7.33 o 528744 9.40/7.33 o 529030 9.50/7.46 o 529294 9.50/7.46 o 530526 9.50/7.46 o 530812 9.50/7.46 o 530910 9.50/7.46 o 532142 9.50/7.46 o 532428 9.50/7.47 o 532770 9.50/7.47 o 533056 9.50/7.47 o 533154 9.50/7.47 o 534386 9.50/7.47 o 534672 9.50/7.47 o 535167 9.50/7.47 o 536399 9.50/7.47 o 536685 9.50/7.47 o 536783 9.50/7.47 o 538015 9.50/7.47 o 538301 9.50/7.49 o 538710 9.50/7.49 o 538996 9.50/7.49 o 539094 9.50/7.49 o 540326 9.50/7.49 o 540612 9.60/7.54 o 540747 9.60/7.54 o 541033 9.60/7.58 o 541329 9.60/7.58 o 541615 9.60/7.58 o 541713 9.60/7.58 o 542945 9.60/7.58 o 543231 9.70/7.62 o 543366 9.70/7.62 o 543652 10.04/7.92 o 544231 10.04/7.92 o 544517 10.04/7.92 o 544615 10.04/7.92 o 545847 10.04/7.92 o 546133 10.04/7.94 o 546542 10.04/7.94 o 546828 10.04/7.95 o 546926 10.04/7.95 o 548158 10.04/7.95 o 548444 10.04/7.99 o 548579 10.04/7.99 o 548865 10.15/8.03 o 549161 10.15/8.03 o 549447 10.15/8.03 o 549545 10.15/8.03 o 550777 10.15/8.03 o 551063 10.15/8.07 o 551198 10.15/8.07 o 551484 10.34/8.23 o 551558 10.34/8.27 o 551693 10.34/8.28 o 551979 10.44/8.34 o 552243 10.44/8.34 o 553475 10.44/8.34 o 553761 10.44/8.34 o 553859 10.44/8.34 o 555091 10.44/8.34 o 555377 10.44/8.34 o 555719 10.44/8.34 o 556005 10.44/8.34 o 556103 10.44/8.34 o 557335 10.44/8.34 o 557621 10.44/8.35 o 558116 10.44/8.35 o 559348 10.44/8.35 o 559634 10.44/8.35 o 559732 10.44/8.35 o 560964 10.44/8.35 o 561250 10.44/8.36 o 561659 10.44/8.36 o 561945 10.44/8.36 o 562043 10.44/8.36 o 563275 10.44/8.36 o 563561 10.44/8.38 o 563696 10.44/8.38 o 563982 10.54/8.40 o 564278 10.54/8.40 o 564564 10.54/8.40 o 564662 10.54/8.40 o 565894 10.54/8.40 o 566180 10.54/8.42 o 566315 10.54/8.42 o 566601 11.04/8.95 o 567179 11.04/8.95 o 567465 11.04/8.99 o 567600 11.04/8.99 o 567886 11.84/9.77 o 568258 11.84/9.77 o 569861 11.84/9.77 o 571093 11.84/9.80 o 572172 11.84/9.80 o 573404 11.94/9.88 o 574514 12.04/9.97 o 575093 12.15/10.03 o 575949 12.15/10.03 o 577181 12.15/10.05 o 578260 12.15/10.05 o 579492 12.25/10.11 o 579546 12.25/10.11 o 580778 12.25/10.11 o 582229 12.25/10.11 o 583461 12.25/10.11 o 585064 12.25/10.11 o 586296 12.25/10.13 o 587736 12.25/10.13 o 588968 12.25/10.13 o 590571 12.25/10.13 o 591803 12.25/10.17 o 592882 12.25/10.17 o 594114 12.36/10.25 o 595224 12.56/10.40 o 595922 12.56/10.40 o 597525 12.56/10.40 o 598757 12.56/10.43 o 599836 12.56/10.43 o 601068 12.66/10.51 o 602178 12.98/10.82 o 602803 13.28/11.15 o 602850 13.57/11.45 o 603475 14.77/12.69 o 604054 14.97/12.81 o 604303 14.97/12.85 o 605413 17.10/14.93 o 605925 17.10/14.93 o 606211 17.10/14.93 o 607541 17.10/14.93 o 607827 17.10/14.93 o 608738 17.10/14.93 o 609024 17.10/14.97 o 609380 17.10/14.97 o 609666 17.21/15.04 o 609852 17.21/15.04 o 610138 17.21/15.05 o 611049 17.21/15.05 o 611335 17.21/15.09 o 611691 17.21/15.09 o 611977 17.40/15.23 o 612112 17.40/15.23 o 612398 17.70/15.56 o 612950 17.70/15.56 o 613236 17.70/15.56 o 614147 17.70/15.56 o 614433 17.86/15.61 o 614789 17.86/15.61 o 615075 17.86/15.69 o 615261 17.86/15.69 o 615547 17.86/15.70 o 616458 17.96/15.70 o 616744 17.96/15.75 o 617100 17.96/15.75 o 617386 18.16/15.94 o 617521 18.16/15.94 o 617807 18.46/16.27 o 618485 18.46/16.27 o 618771 18.46/16.27 o 620101 18.46/16.27 o 620387 18.46/16.27 o 621298 18.46/16.27 o 621584 18.56/16.31 o 621940 18.56/16.31 o 622226 18.56/16.37 o 622412 18.56/16.37 o 622698 18.56/16.38 o 623609 18.56/16.38 o 623895 18.67/16.41 o 624251 18.67/16.42 o 624537 18.80/16.56 o 624672 18.80/16.56 o 624958 19.65/17.30 o 625165 19.65/17.30 o 625451 19.65/17.30 o 626031 19.65/17.30 o 626317 19.65/17.31 o 627228 19.65/17.31 o 627514 19.65/17.36 o 627870 19.65/17.36 o 628156 19.75/17.44 o 628342 19.75/17.44 o 628628 19.75/17.44 o 629539 19.75/17.44 o 629825 19.75/17.49 o 630181 19.75/17.49 o 630467 19.95/17.67 o 630602 19.95/17.68 o 630888 20.66/18.33 o 631566 20.66/18.33 o 631852 20.66/18.33 o 633182 20.66/18.33 o 633468 20.66/18.33 o 634379 20.66/18.34 o 634665 20.66/18.37 o 635021 20.66/18.37 o 635307 20.76/18.43 o 635493 20.76/18.43 o 635779 20.76/18.43 o 636690 20.76/18.43 o 636976 20.76/18.47 o 637332 20.76/18.47 o 637618 20.96/18.61 o 637753 20.96/18.61 o 638039 21.26/18.93 o 638591 21.26/18.93 o 638877 21.26/18.93 o 639788 21.26/18.93 o 640074 21.26/18.99 o 640430 21.26/18.99 o 640716 21.37/19.07 o 640902 21.37/19.07 o 641188 21.37/19.07 o 642099 21.37/19.07 o 642385 21.47/19.12 o 642741 21.47/19.12 o 643027 21.66/19.31 o 643162 21.66/19.31 o 643448 23.66/21.34 o 643518 23.66/21.34 o 643804 23.66/21.34 o 643880 23.66/21.34 o 645134 23.66/21.34 o 645420 23.66/21.34 o 645496 23.66/21.34 o 645581 23.66/21.34 o 645867 23.66/21.34 o 645943 23.66/21.35 o 647197 23.66/21.35 o 647483 23.66/21.35 o 647559 23.96/21.62 o 647731 23.96/21.62 o 647807 23.96/21.63 o 647892 23.96/21.63 o 648178 23.96/21.63 o 648254 23.96/21.63 o 649508 23.96/21.63 o 649794 23.96/21.63 o 649870 25.38/23.08 o 650719 25.38/23.08 o 651005 25.38/23.08 o 651081 25.38/23.08 o 652732 25.38/23.08 o 653018 25.38/23.08 o 653094 25.38/23.08 o 654348 25.38/23.08 o 654634 25.38/23.08 o 654710 25.57/23.30 o 655043 25.67/23.30 o 655329 25.67/23.30 o 655405 25.67/23.30 o 656659 25.67/23.30 o 656945 25.67/23.30 o 657021 27.38/25.01 o 657552 27.38/25.01 o 657838 27.38/25.01 o 657914 28.18/25.85 o 657988 28.18/25.85 o 658064 28.18/25.85 o 659318 28.18/25.85 o 659604 28.18/25.85 o 659680 28.69/26.39 o 660211 28.69/26.39 o 660497 28.69/26.39 o 660573 30.70/28.30 o 660674 30.70/28.30 o 660750 30.70/28.31 o 662004 30.70/28.31 o 662290 30.70/28.31 o 662366 30.90/28.52 o 662699 30.90/28.52 o 662985 30.90/28.52 o 663061 30.90/28.52 o 664315 30.90/28.52 o 664601 30.90/28.52 o 664677 32.61/30.27 o 665208 32.61/30.27 o 665494 32.61/30.27 o 665570 33.52/31.12 o 665644 33.52/31.12 o 665720 33.52/31.12 o 666974 33.52/31.12 o 667260 33.52/31.12 o 667336 34.01/31.69 o 667867 34.01/31.69 o 668153 34.01/31.69 o 668229 35.02/32.62 o 668553 35.02/32.62 o 669750 35.02/32.62 o 670171 35.02/32.62 o 670643 35.02/32.62 o 671064 35.02/32.64 o 673312 35.02/32.64 o 674509 35.02/32.64 o 675623 35.02/32.64 o 676820 35.02/32.64 o 677241 35.02/32.65 o 677713 35.02/32.65 o 678134 35.02/32.65 o 678668 35.02/32.65 o 679089 35.02/32.65 o 679561 35.02/32.65 o 679982 35.02/32.67 o 682816 35.02/32.67 o 684013 35.02/32.67 o 685127 35.02/32.67 o 686324 35.02/32.67 o 686745 35.02/32.67 o 687217 35.02/32.67 o 687638 35.02/32.69 o 689886 35.02/32.69 o 691083 35.02/32.69 o 692197 35.02/32.69 o 693394 35.02/32.70 o 693815 35.12/32.70 o 694287 35.12/32.70 o 694708 35.12/32.73 o 695186 35.12/32.73 o 696383 35.12/32.73 o 696804 35.12/32.73 o 697276 35.12/32.73 o 697697 35.12/32.75 o 699945 35.12/32.75 o 701142 35.12/32.75 o 702256 35.12/32.75 o 703453 35.12/32.75 o 703874 35.12/32.75 o 704346 35.12/32.75 o 704767 35.12/32.79 o 705081 35.12/32.79 o 705502 35.22/32.81 o 707750 35.22/32.81 o 708947 35.22/32.81 o 710061 35.22/32.81 o 711258 35.22/32.81 o 711679 35.22/32.81 o 712151 35.22/32.81 o 712572 35.22/32.85 o 712823 35.22/32.85 o 713295 35.22/32.85 o 713716 35.22/32.89 o 714030 35.22/32.89 o 714451 35.32/32.90 o 716699 35.32/32.90 o 717896 35.32/32.91 o 719010 35.32/32.91 o 720207 35.32/32.91 o 720628 35.32/32.91 o 721100 35.32/32.91 o 721521 35.32/32.99 o 721772 35.32/32.99 o 722193 35.43/33.09 o 722841 35.43/33.09 o 723955 35.43/33.09 o 725152 35.43/33.10 o 725573 35.43/33.10 o 726045 35.43/33.10 o 726466 35.63/33.20 o 726717 35.63/33.20 o 727138 35.63/33.28 o 727503 35.63/33.28 o 728700 35.63/33.28 o 729121 35.63/33.28 o 729593 35.63/33.28 o 730014 35.73/33.35 o 730265 35.73/33.35 o 730686 35.83/33.43 o 731334 35.83/33.44 o 732448 35.83/33.44 o 733645 35.83/33.44 o 734066 35.83/33.44 o 734538 35.83/33.44 o 734959 35.93/33.51 o 735210 35.93/33.51 o 735631 35.93/33.59 o 735958 35.93/33.59 o 736379 36.03/33.67 o 736630 36.03/33.67 o 737051 36.13/33.76 o 737699 36.13/33.77 o 738813 36.13/33.77 o 740010 36.13/33.77 o 740431 36.13/33.77 o 740903 36.13/33.77 o 741324 36.23/33.85 o 741575 36.23/33.85 o 741996 36.33/33.94 o 742361 36.33/33.94 o 743558 36.33/33.94 o 743979 36.33/33.94 o 744451 36.33/33.94 o 744872 36.44/34.02 o 745123 36.44/34.02 o 745544 36.44/34.10 o 746192 36.54/34.11 o 747306 36.54/34.11 o 748503 36.54/34.11 o 748924 36.54/34.11 o 749396 36.54/34.11 o 749817 36.54/34.18 o 750068 36.54/34.18 o 750489 36.93/34.50 o 750922 36.93/34.50 o 751343 36.93/34.56 o 751594 36.93/34.56 o 752015 37.03/34.63 o 752380 37.03/34.63 o 753577 37.03/34.63 o 753998 37.03/34.63 o 754470 37.03/34.63 o 754891 37.03/34.68 o 755142 37.03/34.68 o 755563 37.13/34.77 o 756211 37.13/34.77 o 757325 37.13/34.77 o 758522 37.13/34.77 o 758943 37.13/34.77 o 759415 37.13/34.77 o 759836 37.23/34.83 o 760087 37.23/34.83 o 760508 37.93/35.58 o 761384 37.93/35.58 o 762581 37.93/35.58 o 763002 37.93/35.59 o 763474 37.93/35.59 o 763895 38.03/35.64 o 764146 38.03/35.64 o 764567 39.24/36.81 o 765109 39.24/36.81 o 766223 39.24/36.81 o 767420 39.24/36.81 o 767841 39.24/36.81 o 768313 39.24/36.82 o 768734 39.24/36.89 o 768985 39.24/36.89 o 769406 39.64/37.21 o 769839 39.64/37.21 o 770260 39.64/37.27 o 770511 39.64/37.27 o 770932 39.74/37.33 o 771297 39.74/37.33 o 772494 39.74/37.34 o 772915 39.74/37.34 o 773387 39.74/37.34 o 773808 39.74/37.39 o 774059 39.74/37.39 o 774480 39.84/37.46 o 775128 39.84/37.46 o 776242 39.84/37.46 o 777439 39.84/37.46 o 777860 39.84/37.46 o 778332 39.84/37.46 o 778753 39.94/37.52 o 779004 39.94/37.52 o 779425 40.64/38.26 o 780301 40.64/38.26 o 781498 40.64/38.27 o 781919 40.64/38.27 o 782391 40.64/38.27 o 782812 40.74/38.33 o 783063 40.74/38.33 o 783484 42.36/39.90 o 783498 42.36/39.90 o 783919 42.36/39.96 o 784170 42.36/39.96 o 784591 43.47/41.10 o 785133 43.57/41.11 o 786247 43.57/41.11 o 787444 43.57/41.11 o 787865 43.57/41.11 o 788337 43.57/41.11 o 788758 43.57/41.19 o 789009 43.57/41.19 o 789430 43.97/41.54 o 789863 43.97/41.54 o 790284 44.07/41.60 o 790535 44.07/41.60 o 790956 44.07/41.66 o 791321 44.07/41.66 o 792518 44.07/41.67 o 792939 44.07/41.67 o 793411 44.07/41.67 o 793832 44.17/41.72 o 794083 44.17/41.72 o 794504 44.17/41.79 o 795152 44.17/41.79 o 796266 44.17/41.79 o 797463 44.17/41.79 o 797884 44.17/41.79 o 798356 44.17/41.79 o 798777 44.27/41.85 o 799028 44.27/41.85 o 799449 44.97/42.59 o 800325 44.97/42.59 o 801522 44.97/42.60 o 801943 45.07/42.60 o 802415 45.07/42.60 o 802836 45.07/42.65 o 803087 45.07/42.65 o 803508 47.38/44.90 o 803584 47.38/44.90 o 804698 47.38/44.90 o 805895 47.38/44.90 o 806316 47.38/44.90 o 806788 47.38/44.90 o 807209 47.38/44.96 o 807460 47.38/44.96 o 807881 48.18/45.71 o 808757 48.18/45.71 o 809954 48.18/45.71 o 810375 48.18/45.71 o 810847 48.18/45.71 o 811268 48.18/45.77 o 811519 48.18/45.77 o 811940 49.78/47.32 o 811954 49.78/47.32 o 812375 49.78/47.37 o 812626 49.78/47.37 o 813047 50.98/48.52 o 813589 50.98/48.53 o 814703 50.98/48.53 o 815900 50.98/48.53 o 816321 50.98/48.53 o 816793 50.98/48.53 o 817214 51.08/48.60 o 817465 51.08/48.60 o 817886 51.38/48.92 o 818319 51.38/48.92 o 818740 51.38/48.99 o 818991 51.38/48.99 o 819412 51.49/49.06 o 819777 51.49/49.06 o 820974 51.49/49.06 o 821395 51.49/49.07 o 821867 51.49/49.07 o 822288 51.59/49.12 o 822539 51.59/49.12 o 822960 51.69/49.20 o 823608 51.69/49.20 o 824722 51.69/49.20 o 825919 51.69/49.20 o 826340 51.69/49.20 o 826812 51.69/49.21 o 827233 51.69/49.26 o 827484 51.69/49.26 o 827905 52.39/50.00 o 828781 52.39/50.01 o 829978 52.50/50.01 o 830399 52.50/50.01 o 830871 52.50/50.01 o 831292 52.50/50.06 o 831543 52.50/50.07 o 831964 55.19/52.75 o 832389 55.19/52.75 o 832810 55.19/52.75 o 833282 55.19/52.75 o 833703 55.29/52.80 o 833954 55.29/52.80 o 834375 65.93/63.41 o 834776 65.93/63.41 o 835197 65.93/63.42 o 835669 65.93/63.42 o 836090 66.23/63.78 o 836294 66.23/63.78 o 836715 66.83/64.33 o 837114 66.83/64.33 o 837535 66.83/64.33 o 838324 66.83/64.33 o 838745 66.83/64.34 o 839217 66.83/64.34 o 839638 66.93/64.50 o 839842 66.93/64.50 o 840263 67.54/65.06 o 841166 67.54/65.06 o 841587 67.54/65.06 o 842059 67.54/65.06 o 842480 67.54/65.07 o 843269 67.54/65.07 o 843690 67.54/65.07 o 844162 67.54/65.07 o 844583 67.73/65.22 o 844787 67.73/65.22 o 845208 70.84/68.32 o 845225 70.84/68.32 o 845646 70.84/68.32 o 846118 70.84/68.32 o 846539 70.84/68.33 o 847328 70.84/68.33 o 847749 70.84/68.33 o 848221 70.84/68.33 o 848642 70.94/68.48 o 848846 70.94/68.48 o 849267 75.45/73.00 o 849467 75.45/73.00 o 849888 75.45/73.00 o 850360 75.45/73.00 o 850781 75.66/73.15 o 850985 75.66/73.15 o 851406 78.76/76.23 o 851423 78.76/76.23 o 851844 78.76/76.24 o 852316 78.76/76.24 o 852737 78.76/76.24 o 853526 78.76/76.24 o 853947 78.76/76.25 o 854419 78.76/76.25 o 854840 78.86/76.39 o 855044 78.86/76.39 o 855465 88.28/85.74 o 855583 88.28/85.74 o 856004 88.28/85.75 o 856476 88.28/85.75 o 856897 88.38/85.89 o 857101 88.38/85.89 o 857522 91.49/88.93 o 857876 91.49/88.94 o 858297 91.49/88.95 o 858432 91.49/88.95 o 858853 91.49/88.95 o 859642 91.49/88.95 o 860063 91.49/88.96 o 860535 91.49/88.96 o 860956 91.60/89.10 o 861160 91.60/89.10 o 861581 106.83/104.26 o 862053 106.83/104.26 o 862474 106.83/104.26 o 862946 106.83/104.26 o 863367 107.03/104.41 o 863571 107.03/104.41 o 863992 112.56/109.91 o 864162 112.56/109.91 o 864238 112.56/109.91 o 864297 112.56/109.91 o 864583 112.56/109.91 o 864659 112.56/109.91 o 865086 112.56/109.91 o 865372 112.56/109.91 o 865448 112.56/109.91 o 865507 112.56/109.91 o 865793 112.56/109.91 o 865869 112.56/109.92 o 865979 112.56/109.92 o 866265 112.56/109.92 o 866341 112.56/109.92 o 866400 112.56/109.92 o 866686 112.56/109.92 o 866762 112.56/109.93 o 866890 112.56/109.93 o 866966 112.56/109.93 o 867025 112.56/109.93 o 867311 112.56/109.93 o 867387 113.16/110.55 o 867416 113.16/110.55 o 867492 113.28/110.65 o 868033 113.28/110.65 o 868319 113.28/110.65 o 868395 113.28/110.65 o 868454 113.28/110.65 o 868740 113.28/110.65 o 868816 113.28/110.65 o 868926 113.28/110.65 o 869212 113.28/110.65 o 869288 113.28/110.65 o 869347 113.28/110.65 o 869633 113.28/110.65 o 869709 113.28/110.66 o 870136 113.28/110.66 o 870422 113.28/110.66 o 870498 113.28/110.66 o 870557 113.28/110.66 o 870843 113.28/110.66 o 870919 113.28/110.66 o 871029 113.28/110.66 o 871315 113.28/110.66 o 871391 113.28/110.66 o 871450 113.28/110.66 o 871736 113.28/110.66 o 871812 113.28/110.68 o 871940 113.28/110.68 o 872016 113.28/110.68 o 872075 113.28/110.68 o 872361 113.28/110.68 o 872437 113.69/111.08 o 872641 113.69/111.08 o 872717 113.69/111.09 o 872827 113.69/111.09 o 873113 113.69/111.09 o 873189 113.69/111.09 o 873248 113.69/111.09 o 873534 113.69/111.09 o 873610 113.69/111.09 o 874037 113.69/111.09 o 874323 113.69/111.09 o 874399 113.69/111.09 o 874458 113.69/111.09 o 874744 113.69/111.09 o 874820 113.69/111.10 o 874930 113.69/111.10 o 875216 113.69/111.10 o 875292 113.69/111.10 o 875351 113.69/111.10 o 875637 113.69/111.10 o 875713 113.79/111.11 o 875841 113.79/111.12 o 875917 113.79/111.12 o 875976 113.79/111.12 o 876262 113.79/111.12 o 876338 114.38/111.76 o 876457 114.38/111.76 o 876743 114.38/111.76 o 876819 114.38/111.76 o 876878 114.38/111.76 o 877164 114.38/111.76 o 877240 114.38/111.77 o 877350 114.38/111.77 o 877636 114.38/111.77 o 877712 114.38/111.77 o 877771 114.38/111.77 o 878057 114.38/111.77 o 878133 114.38/111.78 o 878261 114.38/111.78 o 878337 114.38/111.78 o 878396 114.38/111.78 o 878682 114.38/111.78 o 878758 114.79/112.19 o 878962 114.79/112.19 o 879038 114.79/112.19 o 879148 114.79/112.19 o 879434 114.79/112.19 o 879510 114.79/112.19 o 879569 114.79/112.19 o 879855 114.79/112.19 o 879931 114.79/112.20 o 880358 114.79/112.20 o 880644 114.88/112.20 o 880720 114.88/112.20 o 880779 114.88/112.20 o 881065 114.88/112.20 o 881141 114.88/112.20 o 881251 114.88/112.20 o 881537 114.88/112.20 o 881613 114.88/112.20 o 881672 114.88/112.20 o 881958 114.88/112.20 o 882034 114.88/112.22 o 882162 114.88/112.22 o 882238 114.88/112.22 o 882297 114.88/112.22 o 882583 114.88/112.22 o 882659 115.49/112.83 o 882688 115.49/112.83 o 882764 115.59/112.93 o 883305 115.59/112.93 o 883591 115.59/112.93 o 883667 115.59/112.93 o 883726 115.59/112.93 o 884012 115.59/112.93 o 884088 115.59/112.93 o 884198 115.59/112.93 o 884484 115.59/112.93 o 884560 115.59/112.93 o 884619 115.59/112.93 o 884905 115.59/112.93 o 884981 115.59/112.94 o 885408 115.59/112.94 o 885694 115.59/112.94 o 885770 115.59/112.94 o 885829 115.59/112.94 o 886115 115.59/112.94 o 886191 115.59/112.94 o 886301 115.59/112.94 o 886587 115.59/112.94 o 886663 115.59/112.94 o 886722 115.59/112.94 o 887008 115.59/112.94 o 887084 115.59/112.96 o 887212 115.59/112.96 o 887288 115.59/112.96 o 887347 115.59/112.96 o 887633 115.59/112.96 o 887709 115.99/113.36 o 887913 115.99/113.36 o 887989 115.99/113.37 o 888099 115.99/113.37 o 888385 115.99/113.37 o 888461 115.99/113.37 o 888520 115.99/113.37 o 888806 115.99/113.37 o 888882 115.99/113.37 o 889309 115.99/113.37 o 889595 115.99/113.37 o 889671 115.99/113.37 o 889730 115.99/113.37 o 890016 115.99/113.37 o 890092 115.99/113.38 o 890202 115.99/113.38 o 890488 115.99/113.38 o 890564 115.99/113.38 o 890623 115.99/113.38 o 890909 115.99/113.38 o 890985 115.99/113.39 o 891113 115.99/113.39 o 891189 115.99/113.39 o 891248 115.99/113.39 o 891534 115.99/113.39 o 891610 116.59/113.98 o 891714 116.59/113.98 o 892000 116.59/113.98 o 892076 116.59/113.98 o 892135 116.59/113.98 o 892421 116.59/113.98 o 892497 116.59/113.98 o 892924 116.59/113.98 o 893210 116.59/113.98 o 893286 116.59/113.98 o 893345 116.59/113.98 o 893631 116.59/113.98 o 893707 116.59/113.99 o 893817 116.59/113.99 o 894103 116.59/113.99 o 894179 116.59/113.99 o 894238 116.59/113.99 o 894524 116.59/113.99 o 894600 116.59/114.00 o 894728 116.59/114.00 o 894804 116.59/114.00 o 894863 116.59/114.00 o 895149 116.59/114.00 o 895225 116.80/114.15 o 895344 116.80/114.15 o 895630 116.80/114.15 o 895706 116.80/114.15 o 895765 116.80/114.15 o 896051 116.80/114.15 o 896127 116.80/114.15 o 896237 116.80/114.15 o 896523 116.80/114.16 o 896599 116.80/114.16 o 896658 116.80/114.16 o 896944 116.80/114.16 o 897020 116.80/114.16 o 897148 116.80/114.17 o 897224 116.80/114.17 o 897283 116.80/114.17 o 897569 116.80/114.17 o 897645 116.89/114.24 o 897849 116.89/114.24 o 897925 116.89/114.24 o 898035 116.89/114.24 o 898321 116.89/114.24 o 898397 116.89/114.24 o 898456 116.89/114.25 o 898742 116.89/114.25 o 898818 116.89/114.25 o 899245 116.89/114.25 o 899531 116.89/114.25 o 899607 116.89/114.25 o 899666 116.89/114.25 o 899952 116.89/114.25 o 900028 116.89/114.25 o 900138 116.89/114.25 o 900424 116.89/114.25 o 900500 116.89/114.25 o 900559 116.89/114.25 o 900845 116.89/114.25 o 900921 116.89/114.26 o 901049 116.89/114.26 o 901125 116.89/114.26 o 901184 116.89/114.26 o 901470 116.89/114.26 o 901546 116.99/114.38 o 901575 116.99/114.38 o 901651 116.99/114.40 o 902192 116.99/114.40 o 902478 116.99/114.40 o 902554 117.09/114.40 o 902613 117.09/114.40 o 902899 117.09/114.40 o 902975 117.09/114.40 o 903085 117.09/114.40 o 903371 117.09/114.40 o 903447 117.09/114.40 o 903506 117.09/114.40 o 903792 117.09/114.40 o 903868 117.09/114.40 o 904295 117.09/114.40 o 904581 117.09/114.40 o 904657 117.09/114.41 o 904716 117.09/114.41 o 905002 117.09/114.41 o 905078 117.09/114.41 o 905188 117.09/114.41 o 905474 117.09/114.41 o 905550 117.09/114.41 o 905609 117.09/114.41 o 905895 117.09/114.41 o 905971 117.09/114.42 o 906099 117.09/114.42 o 906175 117.09/114.42 o 906234 117.09/114.42 o 906520 117.09/114.42 o 906596 117.19/114.50 o 906800 117.19/114.50 o 906876 117.19/114.50 o 906986 117.19/114.50 o 907272 117.19/114.50 o 907348 117.19/114.50 o 907407 117.19/114.50 o 907693 117.19/114.50 o 907769 117.19/114.50 o 908196 117.19/114.51 o 908482 117.19/114.51 o 908558 117.19/114.51 o 908617 117.19/114.51 o 908903 117.19/114.51 o 908979 117.19/114.51 o 909089 117.19/114.51 o 909375 117.19/114.51 o 909451 117.19/114.51 o 909510 117.19/114.51 o 909796 117.19/114.51 o 909872 117.19/114.52 o 910000 117.19/114.52 o 910076 117.19/114.52 o 910135 117.19/114.52 o 910421 117.19/114.52 o 910497 117.80/115.11 o 910546 117.80/115.11 o 910622 117.80/115.12 o 910732 117.80/115.12 o 911018 117.80/115.12 o 911094 117.80/115.12 o 911153 117.80/115.12 o 911439 117.80/115.12 o 911515 117.80/115.12 o 911942 117.80/115.12 o 912228 117.80/115.12 o 912304 117.80/115.12 o 912363 117.80/115.12 o 912649 117.80/115.12 o 912725 117.80/115.12 o 912835 117.80/115.12 o 913121 117.80/115.12 o 913197 117.80/115.12 o 913256 117.80/115.12 o 913542 117.80/115.12 o 913618 117.80/115.13 o 913746 117.80/115.13 o 913822 117.80/115.13 o 913881 117.80/115.13 o 914167 117.80/115.14 o 914243 117.89/115.21 o 914447 117.89/115.21 o 914523 117.89/115.21 o 914633 117.89/115.21 o 914919 117.89/115.21 o 914995 117.89/115.21 o 915054 117.89/115.21 o 915340 117.89/115.21 o 915416 117.89/115.22 o 915843 117.89/115.22 o 916129 117.89/115.22 o 916205 117.89/115.22 o 916264 117.89/115.22 o 916550 117.89/115.22 o 916626 117.89/115.22 o 916736 117.89/115.22 o 917022 117.89/115.22 o 917098 117.89/115.22 o 917157 117.89/115.22 o 917443 117.89/115.22 o 917519 117.89/115.23 o 917647 117.89/115.23 o 917723 117.89/115.23 o 917782 117.89/115.23 o 918068 117.89/115.23 o 918144 119.50/116.88 o 918286 119.50/116.88 o 918362 119.50/116.88 o 918490 119.50/116.88 o 918566 119.50/116.89 o 918625 119.50/116.89 o 918911 119.50/116.89 o 918987 120.82/118.16 o 919104 120.82/118.16 o 919180 120.82/118.16 o 919239 120.82/118.16 o 919525 120.82/118.16 o 919601 121.11/118.40 o 919650 121.11/118.40 o 919726 121.11/118.40 o 919836 121.11/118.40 o 920122 121.11/118.40 o 920198 121.11/118.40 o 920257 121.11/118.40 o 920543 121.11/118.40 o 920619 121.11/118.40 o 921046 121.11/118.40 o 921332 121.11/118.40 o 921408 121.11/118.40 o 921467 121.11/118.40 o 921753 121.11/118.40 o 921829 121.11/118.40 o 921939 121.11/118.40 o 922225 121.11/118.40 o 922301 121.11/118.40 o 922360 121.11/118.40 o 922646 121.11/118.40 o 922722 121.11/118.40 o 922850 121.11/118.41 o 922926 121.11/118.41 o 922985 121.11/118.41 o 923271 121.11/118.41 o 923347 121.11/118.42 o 923551 121.11/118.42 o 923627 121.11/118.42 o 923737 121.11/118.42 o 924023 121.11/118.42 o 924099 121.11/118.42 o 924158 121.11/118.42 o 924444 121.11/118.42 o 924520 121.11/118.42 o 924947 121.11/118.42 o 925233 121.11/118.42 o 925309 121.11/118.42 o 925368 121.11/118.42 o 925654 121.11/118.42 o 925730 121.11/118.42 o 925840 121.11/118.42 o 926126 121.11/118.42 o 926202 121.11/118.42 o 926261 121.11/118.42 o 926547 121.11/118.42 o 926623 121.11/118.43 o 926751 121.11/118.43 o 926827 121.11/118.43 o 926886 121.11/118.43 o 927172 121.11/118.43 o 927248 122.01/119.31 o 927390 122.01/119.31 o 927466 122.01/119.31 o 927594 122.01/119.31 o 927670 122.01/119.31 o 927729 122.01/119.32 o 928015 122.01/119.32 o 928091 123.51/120.81 o 928106 123.51/120.81 o 928392 123.51/120.81 o 928468 123.51/120.81 o 928527 123.51/120.81 o 928813 123.51/120.81 o 928889 123.51/120.81 o 929017 123.51/120.81 o 929093 123.51/120.81 o 929152 123.51/120.81 o 929438 123.51/120.81 o 929514 123.51/120.83 o 929718 123.51/120.83 o 929794 123.51/120.83 o 929904 123.51/120.83 o 930190 123.51/120.83 o 930266 123.51/120.83 o 930325 123.51/120.83 o 930611 123.51/120.83 o 930687 123.51/120.83 o 931114 123.51/120.83 o 931400 123.51/120.83 o 931476 123.51/120.83 o 931535 123.51/120.83 o 931821 123.51/120.83 o 931897 123.51/120.83 o 932007 123.51/120.83 o 932293 123.51/120.83 o 932369 123.51/120.83 o 932428 123.51/120.83 o 932714 123.51/120.83 o 932790 123.51/120.83 o 932918 123.51/120.83 o 932994 123.51/120.83 o 933053 123.51/120.83 o 933339 123.51/120.83 o 933415 123.72/121.03 o 933557 123.72/121.03 o 933633 123.72/121.03 o 933761 123.72/121.03 o 933837 123.72/121.03 o 933896 123.72/121.03 o 934182 123.72/121.03 o 934258 125.92/123.22 o 934370 125.92/123.22 o 934446 126.74/124.11 o 934588 126.84/124.11 o 934664 126.84/124.11 o 934792 126.84/124.11 o 934868 126.84/124.11 o 934927 126.84/124.11 o 935213 126.84/124.11 o 935289 128.33/125.60 o 935304 128.33/125.60 o 935590 128.33/125.60 o 935666 128.33/125.60 o 935725 128.33/125.60 o 936011 128.33/125.60 o 936087 128.33/125.60 o 936215 128.33/125.60 o 936291 128.33/125.60 o 936350 128.33/125.60 o 936636 128.33/125.60 o 936712 128.33/125.62 o 936916 128.33/125.62 o 936992 128.33/125.62 o 937102 128.33/125.62 o 937388 128.33/125.62 o 937464 128.33/125.62 o 937523 128.33/125.62 o 937809 128.33/125.62 o 937885 128.33/125.62 o 938312 128.33/125.62 o 938598 128.33/125.62 o 938674 128.33/125.62 o 938733 128.33/125.62 o 939019 128.33/125.62 o 939095 128.33/125.62 o 939205 128.33/125.62 o 939491 128.33/125.62 o 939567 128.33/125.62 o 939626 128.33/125.62 o 939912 128.33/125.62 o 939988 128.33/125.62 o 940116 128.33/125.62 o 940192 128.33/125.62 o 940251 128.33/125.62 o 940537 128.33/125.62 o 940613 128.53/125.82 o 940755 128.53/125.82 o 940831 128.53/125.82 o 940959 128.53/125.82 o 941035 128.53/125.82 o 941094 128.53/125.82 o 941380 128.53/125.82 o 941456 147.41/144.66 o 941706 147.41/144.66 o 941992 147.41/144.66 o 942068 147.41/144.66 o 942127 147.41/144.66 o 942413 147.41/144.66 o 942489 147.41/144.66 o 942599 147.41/144.66 o 942885 147.41/144.66 o 942961 147.41/144.66 o 943020 147.41/144.66 o 943306 147.41/144.66 o 943382 147.41/144.66 o 943510 147.41/144.66 o 943586 147.41/144.66 o 943645 147.41/144.66 o 943931 147.41/144.66 o 944007 147.61/144.86 o 944149 147.61/144.86 o 944225 147.61/144.86 o 944353 147.61/144.86 o 944429 147.61/144.86 o 944488 147.61/144.86 o 944774 147.61/144.86 o 944850 222.27/219.12 o 945419 222.27/219.12 o 945705 222.27/219.12 o 946044 222.27/219.12 o 946330 222.27/219.12 o 946377 222.27/219.13 o 946716 222.27/219.13 o 947002 222.27/219.14 o 947109 222.27/219.14 o 947716 222.27/219.14 o 948002 222.27/219.15 o 948341 222.27/219.15 o 948627 222.27/219.15 o 948674 222.27/219.15 o 949013 222.27/219.16 o 949299 222.27/219.18 o 949492 222.27/219.18 o 950724 222.27/219.18 o 951010 222.27/219.18 o 951617 222.27/219.18 o 951903 222.27/219.18 o 952242 222.27/219.18 o 952528 222.27/219.18 o 952575 222.27/219.19 o 952914 222.27/219.19 o 953200 222.36/219.22 o 953352 222.36/219.23 o 953691 222.36/219.23 o 953977 222.36/219.23 o 954024 222.36/219.23 o 954363 222.36/219.23 o 954649 222.36/219.25 o 954756 222.36/219.25 o 955363 222.36/219.25 o 955649 222.36/219.26 o 955988 222.36/219.26 o 956274 222.36/219.26 o 956321 222.36/219.26 o 956660 222.36/219.26 o 956946 222.36/219.28 o 957139 222.36/219.28 o 958371 222.36/219.28 o 958657 222.36/219.29 o 959264 222.36/219.29 o 959550 222.36/219.29 o 959889 222.36/219.29 o 960175 222.36/219.29 o 960222 222.36/219.30 o 960561 222.36/219.30 o 960847 222.46/219.34 o 960912 222.46/219.34 o 961198 222.46/219.34 o 961245 222.46/219.34 o 961584 222.46/219.34 o 961870 222.46/219.38 o 962022 222.46/219.38 o 962361 222.46/219.38 o 962647 222.46/219.39 o 962694 222.46/219.39 o 963033 222.46/219.39 o 963319 222.56/219.42 o 963426 222.56/219.42 o 964033 222.56/219.42 o 964319 222.56/219.42 o 964658 222.56/219.42 o 964944 222.56/219.42 o 964991 222.56/219.43 o 965330 222.56/219.43 o 965616 222.56/219.45 o 965809 222.56/219.45 o 967041 222.56/219.45 o 967327 222.56/219.45 o 967934 222.56/219.45 o 968220 222.56/219.45 o 968559 222.56/219.45 o 968845 222.56/219.45 o 968892 222.56/219.46 o 969231 222.56/219.46 o 969517 222.68/219.55 o 969559 222.68/219.55 o 969845 222.68/219.56 o 969892 222.68/219.56 o 970231 222.68/219.56 o 970517 222.68/219.58 o 970624 222.68/219.58 o 971231 222.68/219.58 o 971517 222.68/219.58 o 971856 222.68/219.58 o 972142 222.68/219.59 o 972189 222.68/219.59 o 972528 222.68/219.59 o 972814 222.78/219.61 o 973007 222.78/219.61 o 974239 222.78/219.61 o 974525 222.78/219.61 o 975132 222.78/219.61 o 975418 222.78/219.61 o 975757 222.78/219.61 o 976043 222.78/219.62 o 976090 222.78/219.62 o 976429 222.78/219.62 o 976715 222.88/219.71 o 977260 222.88/219.71 o 977546 222.88/219.72 o 977885 222.88/219.72 o 978171 222.88/219.72 o 978218 222.88/219.73 o 978557 222.88/219.73 o 978843 222.88/219.75 o 979036 222.88/219.75 o 980268 222.88/219.75 o 980554 222.88/219.75 o 981161 222.88/219.75 o 981447 222.88/219.75 o 981786 222.88/219.75 o 982072 222.88/219.75 o 982119 222.88/219.76 o 982458 222.88/219.76 o 982744 222.98/219.80 o 982809 222.98/219.80 o 983095 222.98/219.80 o 983142 222.98/219.81 o 983481 222.98/219.81 o 983767 222.98/219.84 o 983919 222.98/219.84 o 984258 222.98/219.84 o 984544 222.98/219.85 o 984591 222.98/219.85 o 984930 222.98/219.85 o 985216 222.98/219.87 o 985323 222.98/219.87 o 985930 222.98/219.87 o 986216 222.98/219.87 o 986555 222.98/219.87 o 986841 222.98/219.88 o 986888 222.98/219.88 o 987227 222.98/219.88 o 987513 223.08/219.90 o 987706 223.08/219.90 o 988938 223.08/219.90 o 989224 223.08/219.90 o 989831 223.08/219.90 o 990117 223.08/219.91 o 990456 223.08/219.91 o 990742 223.08/219.91 o 990789 223.08/219.91 o 991128 223.08/219.91 o 991414 223.20/220.02 o 991456 223.20/220.02 o 991742 223.20/220.02 o 991789 223.20/220.02 o 992128 223.20/220.02 o 992414 223.20/220.04 o 992521 223.20/220.04 o 993128 223.20/220.04 o 993414 223.20/220.04 o 993753 223.20/220.04 o 994039 223.20/220.05 o 994086 223.20/220.05 o 994425 223.20/220.05 o 994711 223.20/220.07 o 994904 223.20/220.07 o 996136 223.20/220.07 o 996422 223.20/220.07 o 997029 223.20/220.07 o 997315 223.20/220.08 o 997654 223.20/220.08 o 997940 223.20/220.08 o 997987 223.20/220.08 o 998326 223.20/220.08 o 998612 223.40/220.20 o 998754 223.40/220.20 o 999040 223.40/220.22 o 999233 223.40/220.22 o 1000465 223.40/220.22 o 1000751 223.40/220.22 o 1001358 223.40/220.22 o 1001644 223.40/220.22 o 1001983 223.40/220.22 o 1002269 223.40/220.22 o 1002316 223.40/220.23 o 1002655 223.40/220.23 o 1002941 223.50/220.40 o 1002969 223.60/220.40 o 1003255 223.70/220.51 o 1003397 223.70/220.51 o 1003683 223.70/220.53 o 1003876 223.70/220.53 o 1005108 223.70/220.53 o 1005394 223.70/220.53 o 1006001 223.70/220.53 o 1006287 223.70/220.53 o 1006626 223.70/220.53 o 1006912 223.70/220.54 o 1006959 223.70/220.54 o 1007298 223.70/220.54 o 1007584 223.90/220.74 o 1008185 223.90/220.74 o 1008471 223.90/220.74 o 1008810 223.90/220.74 o 1009096 223.90/220.74 o 1009143 223.90/220.74 o 1009482 223.90/220.74 o 1009768 223.90/220.76 o 1009910 223.90/220.76 o 1010196 223.90/220.76 o 1010389 223.90/220.76 o 1011621 223.90/220.76 o 1011907 223.90/220.76 o 1012514 223.90/220.76 o 1012800 223.90/220.76 o 1013139 223.90/220.76 o 1013425 223.90/220.76 o 1013472 223.90/220.76 o 1013811 223.90/220.76 o 1014097 224.00/220.80 o 1014125 224.00/220.80 o 1014411 224.00/220.82 o 1014553 224.00/220.82 o 1014839 224.00/220.82 o 1015032 224.00/220.82 o 1016264 224.00/220.82 o 1016550 224.00/220.82 o 1017157 224.00/220.82 o 1017443 224.00/220.82 o 1017782 224.00/220.82 o 1018068 224.00/220.82 o 1018115 224.00/220.82 o 1018454 224.00/220.82 o 1018740 224.40/221.28 o 1018837 224.40/221.28 o 1019030 224.40/221.28 o 1020262 224.40/221.28 o 1020548 224.40/221.28 o 1021155 224.40/221.28 o 1021441 224.40/221.28 o 1021780 224.40/221.28 o 1022066 224.40/221.28 o 1022113 224.40/221.28 o 1022452 224.40/221.28 o 1022738 224.50/221.31 o 1022766 224.50/221.31 o 1023052 224.50/221.32 o 1023194 224.50/221.32 o 1023480 224.50/221.33 o 1023673 224.50/221.33 o 1024905 224.50/221.33 o 1025191 224.50/221.33 o 1025798 224.50/221.33 o 1026084 224.50/221.33 o 1026423 224.50/221.33 o 1026709 224.50/221.33 o 1026756 224.50/221.33 o 1027095 224.50/221.33 o 1027381 225.21/222.10 o 1027562 225.21/222.10 o 1027755 225.21/222.10 o 1028987 225.21/222.10 o 1029273 225.21/222.10 o 1029880 225.21/222.10 o 1030166 225.21/222.11 o 1030505 225.31/222.11 o 1030791 225.31/222.11 o 1030838 225.31/222.11 o 1031177 225.31/222.11 o 1031463 225.31/222.14 o 1031491 225.31/222.14 o 1031777 225.31/222.16 o 1031919 225.31/222.16 o 1032205 225.31/222.16 o 1032398 225.31/222.16 o 1033630 225.31/222.16 o 1033916 225.31/222.16 o 1034523 225.31/222.16 o 1034809 225.31/222.16 o 1035148 225.31/222.16 o 1035434 225.31/222.16 o 1035481 225.31/222.16 o 1035820 225.31/222.16 o 1036106 225.81/222.63 o 1036203 225.81/222.63 o 1036396 225.81/222.63 o 1037628 225.81/222.63 o 1037914 225.81/222.63 o 1038521 225.81/222.63 o 1038807 225.81/222.63 o 1039146 225.81/222.63 o 1039432 225.81/222.63 o 1039479 225.81/222.63 o 1039818 225.81/222.63 o 1040104 225.81/222.66 o 1040132 225.81/222.66 o 1040418 225.81/222.67 o 1040560 225.81/222.67 o 1040846 225.81/222.68 o 1041039 225.81/222.68 o 1042271 225.81/222.68 o 1042557 225.81/222.68 o 1043164 225.81/222.68 o 1043450 225.81/222.68 o 1043789 225.81/222.68 o 1044075 225.81/222.68 o 1044122 225.81/222.68 o 1044461 225.81/222.68 o 1044747 227.32/224.19 o 1044974 227.32/224.19 o 1045260 227.32/224.19 o 1045599 227.32/224.19 o 1045885 227.32/224.19 o 1045932 227.32/224.19 o 1046271 227.32/224.19 o 1046557 227.42/224.22 o 1046585 227.42/224.22 o 1046871 227.42/224.23 o 1047013 227.42/224.23 o 1047299 227.42/224.23 o 1047492 227.42/224.23 o 1048724 227.42/224.23 o 1049010 227.42/224.23 o 1049617 227.42/224.23 o 1049903 227.42/224.23 o 1050242 227.42/224.23 o 1050528 227.42/224.23 o 1050575 227.42/224.23 o 1050914 227.42/224.23 o 1051200 228.73/225.58 o 1051625 228.73/225.58 o 1051911 228.73/225.58 o 1052518 228.73/225.58 o 1052804 228.73/225.58 o 1053143 228.73/225.58 o 1053429 228.73/225.58 o 1053476 228.73/225.58 o 1053815 228.73/225.58 o 1054101 230.24/227.08 o 1054328 230.24/227.08 o 1054614 230.24/227.08 o 1054953 230.24/227.08 o 1055239 230.24/227.08 o 1055286 230.24/227.08 o 1055625 230.24/227.09 o 1055911 230.34/227.11 o 1055939 230.34/227.11 o 1056225 230.34/227.13 o 1056367 230.34/227.13 o 1056653 230.34/227.13 o 1056846 230.34/227.13 o 1058078 230.34/227.13 o 1058364 230.34/227.13 o 1058971 230.34/227.13 o 1059257 230.34/227.13 o 1059596 230.34/227.13 o 1059882 230.34/227.13 o 1059929 230.34/227.13 o 1060268 230.34/227.13 o 1060554 231.64/228.43 o 1060931 231.64/228.43 o 1061217 231.64/228.43 o 1061556 231.64/228.43 o 1061842 231.64/228.43 o 1061889 231.64/228.43 o 1062228 231.64/228.43 o 1062514 233.15/229.94 o 1062741 233.15/229.94 o 1063027 233.15/229.94 o 1063366 233.15/229.94 o 1063652 233.15/229.94 o 1063699 233.15/229.94 o 1064038 233.15/229.94 o 1064324 233.15/229.97 o 1064352 233.15/229.97 o 1064638 233.15/229.98 o 1064780 233.15/229.98 o 1065066 233.15/229.98 o 1065259 233.15/229.98 o 1066491 233.15/229.98 o 1066777 233.15/229.98 o 1067384 233.15/229.98 o 1067670 233.15/229.98 o 1068009 233.15/229.98 o 1068295 233.15/229.98 o 1068342 233.15/229.98 o 1068681 233.15/229.98 o 1068967 234.55/231.32 o 1069392 234.55/231.32 o 1069678 234.55/231.32 o 1070285 234.55/231.32 o 1070571 234.55/231.32 o 1070910 234.55/231.32 o 1071196 234.55/231.32 o 1071243 234.55/231.32 o 1071582 234.55/231.32 o 1071868 236.06/232.82 o 1072095 236.06/232.82 o 1072381 236.06/232.82 o 1072720 236.06/232.82 o 1073006 236.06/232.82 o 1073053 236.06/232.82 o 1073392 236.06/232.82 o 1073678 236.06/232.85 o 1073706 236.06/232.85 o 1073992 236.06/232.87 o 1074134 236.06/232.87 o 1074420 236.06/232.87 o 1074613 236.06/232.87 o 1075845 236.06/232.87 o 1076131 236.06/232.87 o 1076738 236.06/232.87 o 1077024 236.06/232.87 o 1077363 236.06/232.87 o 1077649 236.06/232.87 o 1077696 236.06/232.87 o 1078035 236.06/232.87 o 1078321 245.31/242.07 o 1078447 246.00/242.78 o 1078872 246.00/242.78 o 1079158 246.00/242.78 o 1079765 246.00/242.78 o 1080051 246.00/242.78 o 1080390 246.00/242.78 o 1080676 246.00/242.78 o 1080723 246.00/242.78 o 1081062 246.00/242.78 o 1081348 246.80/243.59 o 1081575 246.80/243.59 o 1081861 246.80/243.59 o 1082200 246.80/243.59 o 1082486 246.80/243.59 o 1082533 246.80/243.59 o 1082872 246.80/243.59 o 1083158 246.90/243.61 o 1083186 246.90/243.61 o 1083472 246.90/243.62 o 1083614 246.90/243.62 o 1083900 246.90/243.62 o 1084093 246.90/243.62 o 1085325 246.90/243.62 o 1085611 246.90/243.62 o 1086218 246.90/243.62 o 1086504 246.90/243.62 o 1086843 246.90/243.62 o 1087129 246.90/243.62 o 1087176 246.90/243.62 o 1087515 246.90/243.62 o 1087801 274.21/270.82 o 1088070 274.21/270.82 o 1088356 274.21/270.82 o 1088695 274.21/270.82 o 1088981 274.21/270.82 o 1089028 274.21/270.82 o 1089367 274.21/270.82 o 1089653 275.11/271.75 o 1089880 275.11/271.75 o 1090166 275.11/271.75 o 1090505 275.11/271.75 o 1090791 275.11/271.75 o 1090838 275.11/271.75 o 1091177 275.11/271.76 o 1091463 275.11/271.77 o 1091491 275.11/271.77 o 1091777 275.11/271.78 o 1091919 275.11/271.78 o 1092205 275.11/271.78 o 1092398 275.11/271.78 o 1093630 275.11/271.78 o 1093916 275.11/271.78 o 1094523 275.11/271.78 o 1094809 275.11/271.78 o 1095148 275.11/271.79 o 1095434 275.11/271.79 o 1095481 275.11/271.79 o 1095820 275.11/271.79 o 1096106 284.15/280.74 o 1096163 284.15/280.74 o 1096210 284.15/280.74 o 1096549 284.15/280.74 o 1096835 285.95/282.59 o 1097062 285.95/282.59 o 1097348 285.95/282.59 o 1097687 285.95/282.59 o 1097973 285.95/282.59 o 1098020 285.95/282.59 o 1098359 285.95/282.59 o 1098645 286.06/282.63 o 1098673 286.06/282.63 o 1098959 286.06/282.65 o 1099101 286.06/282.65 o 1099387 286.06/282.65 o 1099580 286.06/282.65 o 1100812 286.06/282.65 o 1101098 286.06/282.65 o 1101705 286.06/282.65 o 1101991 286.06/282.65 o 1102330 286.06/282.65 o 1102616 286.06/282.65 o 1102663 286.06/282.65 o 1103002 286.06/282.65 o 1103288 295.80/292.32 o 1103414 296.62/293.11 o 1103839 296.62/293.11 o 1104125 296.62/293.11 o 1104732 296.62/293.11 o 1105018 296.62/293.11 o 1105357 296.62/293.11 o 1105643 296.62/293.11 o 1105690 296.62/293.11 o 1106029 296.62/293.12 o 1106315 297.52/294.05 o 1106542 297.52/294.05 o 1106828 297.52/294.05 o 1107167 297.52/294.05 o 1107453 297.52/294.05 o 1107500 297.52/294.05 o 1107839 297.52/294.05 o 1108125 297.52/294.07 o 1108153 297.52/294.07 o 1108439 297.52/294.08 o 1108581 297.52/294.08 o 1108867 297.52/294.08 o 1109060 297.52/294.08 o 1110292 297.52/294.08 o 1110578 297.52/294.08 o 1111185 297.52/294.08 o 1111471 297.52/294.08 o 1111810 297.52/294.08 o 1112096 297.52/294.08 o 1112143 297.52/294.08 o 1112482 297.52/294.08 o 1112768 342.19/338.60 o 1113437 342.19/338.60 o 1114669 342.19/338.60 o 1114955 342.19/338.60 o 1115294 342.29/338.60 o 1115580 342.29/338.60 o 1115627 342.29/338.60 o 1115966 342.29/338.60 o 1116252 351.93/348.23 o 1116378 352.75/349.03 o 1116464 352.75/349.03 o 1117696 352.75/349.03 o 1117982 352.75/349.03 o 1118321 352.75/349.03 o 1118607 352.75/349.03 o 1118654 352.75/349.03 o 1118993 352.75/349.03 o 1119279 353.64/349.96 o 1119506 353.64/349.96 o 1119792 353.64/349.96 o 1120131 353.64/349.96 o 1120417 353.64/349.96 o 1120464 353.64/349.96 o 1120803 353.64/349.96 o 1121089 353.64/349.98 o 1121117 353.64/349.98 o 1121403 353.64/349.99 o 1121545 353.64/349.99 o 1121831 353.64/349.99 o 1121838 353.64/349.99 o 1122124 353.64/349.99 o 1122917 353.64/349.99 o 1124149 353.64/349.99 o 1124435 353.64/349.99 o 1124774 353.64/349.99 o 1125060 353.64/349.99 o 1125107 353.64/349.99 o 1125446 353.64/349.99 o 1125732 396.41/392.55 o 1126294 396.41/392.55 o 1126580 396.41/392.55 o 1126919 396.41/392.55 o 1127205 396.41/392.55 o 1127252 396.41/392.55 o 1127591 396.41/392.55 o 1127877 406.05/402.19 o 1128003 406.85/402.99 o 1128428 406.85/402.99 o 1128714 406.85/402.99 o 1129321 406.85/402.99 o 1129607 406.85/402.99 o 1129946 406.85/402.99 o 1130232 406.85/402.99 o 1130279 406.85/402.99 o 1130618 406.85/402.99 o 1130904 407.85/403.92 o 1131131 407.85/403.92 o 1131417 407.85/403.92 o 1131756 407.85/403.92 o 1132042 407.85/403.92 o 1132089 407.85/403.92 o 1132428 407.85/403.92 o 1132714 407.85/403.94 o 1132742 407.85/403.94 o 1133028 407.85/403.95 o 1133170 407.85/403.95 o 1133456 407.85/403.95 o 1133649 407.85/403.95 o 1134881 407.85/403.95 o 1135167 407.85/403.95 o 1135774 407.85/403.95 o 1136060 407.85/403.95 o 1136399 407.85/403.95 o 1136685 407.85/403.95 o 1136732 407.85/403.96 o 1137071 407.85/403.96 o 1137357 452.53/448.46 o 1138026 452.53/448.46 o 1139258 452.53/448.46 o 1139544 452.53/448.46 o 1139883 452.53/448.46 o 1140169 452.53/448.46 o 1140216 452.53/448.46 o 1140555 452.53/448.46 o 1140841 462.18/458.08 o 1140967 462.98/458.89 o 1141053 462.98/458.89 o 1142285 462.98/458.89 o 1142571 462.98/458.89 o 1142910 462.98/458.89 o 1143196 462.98/458.89 o 1143243 462.98/458.89 o 1143582 462.98/458.89 o 1143868 463.98/459.82 o 1144095 463.98/459.82 o 1144381 463.98/459.82 o 1144720 463.98/459.82 o 1145006 463.98/459.82 o 1145053 463.98/459.82 o 1145392 463.98/459.82 o 1145678 463.98/459.84 o 1145706 463.98/459.84 o 1145992 463.98/459.85 o 1146134 463.98/459.85 o 1146420 463.98/459.85 o 1146427 463.98/459.85 o 1146713 463.98/459.85 o 1147506 463.98/459.85 o 1148738 463.98/459.85 o 1149024 463.98/459.85 o 1149363 463.98/459.85 o 1149649 463.98/459.85 o 1149696 463.98/459.85 o 1150035 463.98/459.85 o 1150321 2520.01/2507.30 s SATISFIABLE 2520.01/2507.31 v <instantiation> 2520.01/2507.31 v <list> 2520.01/2507.31 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2520.01/2507.31 v </list> 2520.01/2507.31 v <values> 2520.01/2507.31 v 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.01/2507.31 v </values> 2520.01/2507.31 v </instantiation>
OK 1150321
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 (13450 MiB free) memory of node 1: 16384 MiB (13628 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298533-1532764137/watcher-4298533-1532764137 -o /tmp/evaluation-result-4298533-1532764137/solver-4298533-1532764137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21838 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298533-1532764137.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25093, runsolver pid=25090 Current StackSize limit: 8192 KiB [startup+0.100129 s]* /proc/loadavg: 1.55 1.47 1.45 5/215 25108 /proc/meminfo: memFree=27715264/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661056 memory=25944 CPUtime=0.12 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 5381 0 0 0 11 1 0 0 20 0 15 0 93976919 10916921344 6486 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665264 6486 2863 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 3209 0 0 0 9 0 0 0 20 0 15 0 93976919 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079518831808 140079514611094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661056 memory=5793854978600139193 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976921 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0.01 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) R 25090 25093 21807 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079000381400 140079514611094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916921344 6486 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 10661056 KiB Current children cumulated memory: 25944 KiB [startup+0.210464 s]* /proc/loadavg: 1.55 1.47 1.45 5/215 25108 /proc/meminfo: memFree=27702240/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661056 memory=39728 CPUtime=0.34 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 8570 0 0 0 32 2 0 0 20 0 15 0 93976919 10916921344 9932 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665264 9932 2989 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 5167 0 0 0 19 1 0 0 20 0 15 0 93976919 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079518837552 140079493657825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661056 memory=4211973453795036554 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976921 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) R 25090 25093 21807 0 -1 4202560 552 0 0 0 3 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079002491120 140079495299456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) R 25090 25093 21807 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0.08 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) R 25090 25093 21807 0 -1 4202560 1030 0 0 0 8 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079000385520 140079507699006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916921344 9932 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 10661056 KiB Current children cumulated memory: 39728 KiB [startup+0.310408 s]* /proc/loadavg: 1.55 1.47 1.45 5/215 25108 /proc/meminfo: memFree=27695448/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661132 memory=46316 CPUtime=0.59 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 9179 0 0 0 57 2 0 0 20 0 15 0 93976919 10916999168 11579 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665283 11579 3058 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) S 25090 25093 21807 0 -1 1077944384 5494 0 0 0 28 1 0 0 20 0 15 0 93976919 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079518835264 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=4211973453795036554 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=139727590248373 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=139727432974143 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=139727432961487 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=139727590267850 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976921 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=139727432970671 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=279454865932176 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=279454865929872 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) R 25090 25093 21807 0 -1 4202560 599 0 0 0 6 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079002477144 140079496120543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=-1 CPUtime=0.05 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) R 25090 25093 21807 0 -1 1077944384 491 0 0 0 5 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=139727590246016 CPUtime=0.16 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) R 25090 25093 21807 0 -1 4202560 1227 0 0 0 16 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079000379904 140079493119249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=2208 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=139727590246016 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916999168 11579 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 46316 KiB [startup+0.700782 s] /proc/loadavg: 1.55 1.47 1.45 5/215 25108 /proc/meminfo: memFree=27583360/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661132 memory=286932 CPUtime=1.84 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 14067 0 0 0 177 7 0 0 20 0 15 0 93976919 10916999168 71733 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665283 71733 3113 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=1228 CPUtime=0.68 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 5765 0 0 0 63 5 0 0 20 0 15 0 93976919 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079518838480 140079155669877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=1852 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=872 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=7453282923444727654 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=6370994028255662161 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93976921 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=81 CPUtime=0.42 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) R 25090 25093 21807 0 -1 4202560 2163 0 0 0 42 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079002479920 140079498130665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=3 CPUtime=0.4 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) R 25090 25093 21807 0 -1 4202560 2263 0 0 0 40 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079001430032 140079514620506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=264 CPUtime=0.3 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 2505 0 0 0 29 1 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=279454866116080 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916999168 71733 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 1.84 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 286932 KiB [startup+1.50082 s] /proc/loadavg: 1.55 1.47 1.45 3/215 25108 /proc/meminfo: memFree=27454092/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661132 memory=289832 CPUtime=2.89 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 14355 0 0 0 282 7 0 0 20 0 15 0 93976919 10916999168 72458 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665283 72458 3126 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=0 CPUtime=1.48 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 5863 0 0 0 143 5 0 0 20 0 15 0 93976919 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079518838432 140079155949590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=4947657853493353088 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=-6293314867608839265 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=-5935602824819121961 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=-6305716087674922112 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93976921 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 ################ # More data... # ################ /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 18888 0 0 0 243611 11 0 0 20 0 15 0 93976919 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079518838592 140079155950251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.52 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7240 0 0 0 344 8 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.51 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9072 0 0 0 341 10 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.51 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7210 0 0 0 343 8 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.51 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6594 0 0 0 344 7 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=376360 CPUtime=1.21 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8806 0 0 0 112 9 0 0 20 0 15 0 93976921 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=4140 CPUtime=1 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6898 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=636 CPUtime=0.93 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7714 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=376360 CPUtime=0.4 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5167 0 0 0 39 1 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=376360 CPUtime=0.71 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1561 0 0 0 34 37 0 0 20 0 15 0 93976925 10916999168 94090 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 2454.64 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 376360 KiB [startup+2502.3 s] /proc/loadavg: 1.32 1.38 1.40 3/215 25366 /proc/meminfo: memFree=27542776/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661132 memory=378408 CPUtime=2514.98 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 81524 0 0 0 251419 79 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665283 94602 3161 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=378408 CPUtime=2496.02 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 19080 0 0 0 249591 11 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079518838368 140079155949461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7247 0 0 0 356 8 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9151 0 0 0 353 11 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7263 0 0 0 355 9 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=1780 CPUtime=3.63 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6998 0 0 0 356 7 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=378408 CPUtime=1.26 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8980 0 0 0 116 10 0 0 20 0 15 0 93976921 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=8068 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=872 CPUtime=1 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6900 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=8068 CPUtime=0.93 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.41 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5169 0 0 0 40 1 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=27248 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.72 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1578 0 0 0 35 37 0 0 20 0 15 0 93976925 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 2514.98 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 378408 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2507.3 s] /proc/loadavg: 1.37 1.39 1.40 3/215 25366 /proc/meminfo: memFree=27546240/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661132 memory=378408 CPUtime=2520.01 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 81534 0 0 0 251922 79 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665283 94602 3161 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=378408 CPUtime=2501 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 19086 0 0 0 250089 11 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079518838592 140079155949419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7247 0 0 0 357 8 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9151 0 0 0 354 11 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7263 0 0 0 356 9 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6998 0 0 0 357 7 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=378408 CPUtime=1.26 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8982 0 0 0 116 10 0 0 20 0 15 0 93976921 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=378408 CPUtime=1 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6900 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.93 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=1780 CPUtime=0.41 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5169 0 0 0 40 1 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=27248 CPUtime=0.72 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1580 0 0 0 35 37 0 0 20 0 15 0 93976925 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 378408 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2507.33 s] # the end of solver process 25093 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.26 s, system=0.799391 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2507.3 s] /proc/loadavg: 1.37 1.39 1.40 3/215 25366 /proc/meminfo: memFree=27546240/32770624 swapFree=67108436/67108860 [pid=25093] ppid=25090 vsize=10661132 memory=378408 CPUtime=2520.01 cores=0,2,4,6 /proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 81534 0 0 0 251922 79 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 /proc/25093/statm: 2665283 94602 3161 1 0 2627263 0 [pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=378408 CPUtime=2501 cores=0,2,4,6 /proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 19086 0 0 0 250089 11 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079518838592 140079155949419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6 /proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7247 0 0 0 357 8 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6 /proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9151 0 0 0 354 11 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6 /proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7263 0 0 0 356 9 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6 /proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6998 0 0 0 357 7 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=378408 CPUtime=1.26 cores=0,2,4,6 /proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8982 0 0 0 116 10 0 0 20 0 15 0 93976921 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=378408 CPUtime=1 cores=0,2,4,6 /proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6900 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.93 cores=0,2,4,6 /proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=1780 CPUtime=0.41 cores=0,2,4,6 /proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5169 0 0 0 40 1 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6 /proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 [pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=27248 CPUtime=0.72 cores=0,2,4,6 /proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1580 0 0 0 35 37 0 0 20 0 15 0 93976925 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 378408 KiB Child status: 143 Real time (s): 2507.33 CPU time (s): 2520.06 CPU user time (s): 2519.26 CPU system time (s): 0.799391 CPU usage (%): 100.508 Max. virtual memory (cumulated for all children) (KiB): 10661132 Max. memory (cumulated for all children) (KiB): 396988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.26 system time used= 0.799391 maximum resident set size= 401072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81969 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 89479 involuntary context switches= 5736 # summary of solver processes directly reported to runsolver: # pid: 25093 # total CPU time (s): 2520.06 # total CPU user time (s): 2519.26 # total CPU system time (s): 0.799391 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.9497 second user time and 23.1913 second system time The end
Begin job on node137 at 2018-07-28 09:48:58 IDJOB=4298533 IDBENCH=141153 IDSOLVER=2762 FILE ID=node137/4298533-1532764137 RUNJOBID= node137-1532739149-21838 PBS_JOBID= 21022437 Free space on /tmp= 48156 MiB SOLVER NAME= GG's minicp 2018-04-29 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298533-1532764137/watcher-4298533-1532764137 -o /tmp/evaluation-result-4298533-1532764137/solver-4298533-1532764137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21838 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298533-1532764137.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=1479079547 node137.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.54 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.54 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.54 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.54 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: 27728544 kB MemAvailable: 31550484 kB Buffers: 184312 kB Cached: 3870632 kB SwapCached: 32 kB Active: 2174512 kB Inactive: 2317656 kB Active(anon): 384564 kB Inactive(anon): 80056 kB Active(file): 1789948 kB Inactive(file): 2237600 kB Unevictable: 7424 kB Mlocked: 7424 kB SwapTotal: 67108860 kB SwapFree: 67108436 kB Dirty: 1532 kB Writeback: 0 kB AnonPages: 390636 kB Mapped: 52436 kB Shmem: 25052 kB Slab: 248524 kB SReclaimable: 220452 kB SUnreclaim: 28072 kB KernelStack: 3792 kB PageTables: 6000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1178648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 48156 MiB End job on node137 at 2018-07-28 10:30:45