Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MiniCPFever 2018-04-29 | SAT (TO) | 1931334 | 2520.12 | 2516.53 |
Name | Auction/Auction-sum/ Auction-sum-decay300_c18.xml |
MD5SUM | 125d0999a88baf20181d93552da446ae |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1931334 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 300 |
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 | 32 |
Distribution of variable degrees | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] |
Minimum constraint arity | 17 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":300}] |
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.65/1.52 o 0 2.65/1.52 objective:0 2.65/1.53 o 1525 2.65/1.53 objective:-1525 2.65/1.53 o 20929 2.65/1.54 objective:-20929 2.65/1.54 o 22454 2.65/1.54 objective:-22454 2.65/1.54 o 29546 2.65/1.54 objective:-29546 2.65/1.54 o 31071 2.65/1.54 objective:-31071 2.65/1.54 o 32196 2.65/1.55 objective:-32196 2.65/1.55 o 53125 2.65/1.55 objective:-53125 2.65/1.55 o 61742 2.65/1.55 objective:-61742 2.65/1.55 o 63267 2.65/1.55 objective:-63267 2.65/1.56 o 66951 2.65/1.56 objective:-66951 2.65/1.56 o 75568 2.65/1.56 objective:-75568 2.65/1.56 o 77641 2.65/1.56 objective:-77641 2.65/1.56 o 84013 2.65/1.56 objective:-84013 2.65/1.56 o 93896 2.65/1.56 objective:-93896 2.65/1.57 o 102513 2.65/1.57 objective:-102513 2.65/1.57 o 103476 2.65/1.57 objective:-103476 2.65/1.57 o 112093 2.65/1.57 objective:-112093 2.65/1.58 o 115462 2.65/1.58 objective:-115462 2.65/1.58 o 124079 2.65/1.58 objective:-124079 2.65/1.58 o 126143 2.65/1.58 objective:-126143 2.65/1.58 o 134760 2.65/1.58 objective:-134760 2.65/1.59 o 141313 2.65/1.59 objective:-141313 2.65/1.59 o 141840 2.65/1.59 objective:-141840 2.91/1.60 o 147714 2.91/1.60 objective:-147714 2.91/1.60 o 148241 2.91/1.60 objective:-148241 2.91/1.61 o 148372 2.91/1.61 objective:-148372 2.91/1.61 o 149929 2.91/1.61 objective:-149929 2.91/1.61 o 150456 2.91/1.61 objective:-150456 2.91/1.61 o 150587 2.91/1.62 objective:-150587 2.91/1.62 o 151195 2.91/1.62 objective:-151195 2.91/1.62 o 151326 2.91/1.62 objective:-151326 2.91/1.62 o 153259 2.91/1.62 objective:-153259 2.91/1.62 o 153390 2.91/1.62 objective:-153390 2.91/1.62 o 153411 2.91/1.62 objective:-153411 2.91/1.62 o 159812 2.91/1.62 objective:-159812 2.91/1.62 o 159943 2.91/1.62 objective:-159943 2.91/1.62 o 160339 2.91/1.62 objective:-160339 2.91/1.62 o 160470 2.91/1.62 objective:-160470 2.91/1.63 o 161117 2.91/1.63 objective:-161117 2.91/1.63 o 167518 2.91/1.63 objective:-167518 2.91/1.63 o 167649 2.91/1.63 objective:-167649 2.91/1.64 o 168045 2.91/1.64 objective:-168045 2.91/1.64 o 168176 2.91/1.64 objective:-168176 2.91/1.64 o 168197 2.91/1.64 objective:-168197 2.91/1.64 o 174071 2.91/1.65 objective:-174071 2.91/1.65 o 174598 2.91/1.65 objective:-174598 2.91/1.65 o 174729 2.91/1.65 objective:-174729 2.91/1.65 o 176398 2.91/1.65 objective:-176398 2.91/1.65 o 178614 2.91/1.65 objective:-178614 2.91/1.65 o 185015 2.91/1.65 objective:-185015 2.91/1.65 o 185542 2.91/1.65 objective:-185542 2.91/1.67 o 185702 2.91/1.67 objective:-185702 2.91/1.67 o 185726 2.91/1.67 objective:-185726 2.91/1.67 o 186093 2.91/1.67 objective:-186093 2.91/1.67 o 186253 2.91/1.68 objective:-186253 2.91/1.68 o 191967 2.91/1.68 objective:-191967 2.91/1.68 o 192127 2.91/1.68 objective:-192127 2.91/1.68 o 192494 2.91/1.68 objective:-192494 2.91/1.68 o 192654 2.91/1.68 objective:-192654 2.91/1.68 o 197159 2.91/1.68 objective:-197159 2.91/1.69 o 197290 2.91/1.69 objective:-197290 2.91/1.69 o 197686 2.91/1.69 objective:-197686 2.91/1.69 o 197817 2.91/1.69 objective:-197817 2.91/1.69 o 200236 2.91/1.69 objective:-200236 2.91/1.69 o 200763 2.91/1.69 objective:-200763 2.91/1.69 o 206637 2.91/1.69 objective:-206637 2.91/1.69 o 207164 2.91/1.69 objective:-207164 4.08/2.58 o 207390 4.08/2.58 objective:-207390 4.08/2.58 o 207618 4.08/2.58 objective:-207618 4.08/2.58 o 209906 4.08/2.58 objective:-209906 4.08/2.58 o 210134 4.08/2.58 objective:-210134 4.08/2.58 o 216107 4.08/2.58 objective:-216107 4.08/2.58 o 222401 4.08/2.58 objective:-222401 4.08/2.58 o 224950 4.08/2.58 objective:-224950 4.08/2.58 o 227466 4.08/2.58 objective:-227466 4.08/2.58 o 229226 4.08/2.58 objective:-229226 4.08/2.58 o 231775 4.08/2.58 objective:-231775 4.08/2.58 o 232003 4.08/2.58 objective:-232003 4.08/2.59 o 234291 4.08/2.59 objective:-234291 4.08/2.59 o 234519 4.08/2.59 objective:-234519 4.08/2.59 o 240492 4.08/2.59 objective:-240492 4.08/2.59 o 246786 4.08/2.59 objective:-246786 4.08/2.59 o 249335 4.08/2.59 objective:-249335 4.08/2.59 o 251851 4.08/2.59 objective:-251851 4.08/2.59 o 257808 4.08/2.59 objective:-257808 4.08/2.59 o 260357 4.08/2.59 objective:-260357 4.08/2.59 o 262873 4.08/2.59 objective:-262873 4.25/2.60 o 263093 4.25/2.60 objective:-263093 4.25/2.60 o 265609 4.25/2.60 objective:-265609 4.25/2.60 o 265642 4.25/2.60 objective:-265642 4.25/2.60 o 268158 4.25/2.60 objective:-268158 4.25/2.60 o 271867 4.25/2.60 objective:-271867 4.25/2.61 o 274383 4.25/2.61 objective:-274383 4.25/2.61 o 277529 4.25/2.61 objective:-277529 4.25/2.61 o 282814 4.25/2.61 objective:-282814 4.25/2.61 o 285330 4.25/2.61 objective:-285330 4.25/2.62 o 286370 4.25/2.62 objective:-286370 4.25/2.62 o 288886 4.25/2.62 objective:-288886 4.25/2.63 o 291029 4.25/2.63 objective:-291029 4.25/2.63 o 297323 4.25/2.63 objective:-297323 4.25/2.63 o 300879 4.25/2.63 objective:-300879 4.25/2.63 o 302316 4.25/2.63 objective:-302316 4.25/2.64 o 303395 4.25/2.64 objective:-303395 4.25/2.64 o 304832 4.25/2.64 objective:-304832 4.25/2.64 o 306164 4.25/2.64 objective:-306164 4.25/2.64 o 308680 4.25/2.64 objective:-308680 4.25/2.65 o 308922 4.25/2.65 objective:-308922 4.25/2.65 o 312478 4.25/2.65 objective:-312478 4.25/2.65 o 314994 4.25/2.65 objective:-314994 5.19/3.55 o 322846 5.19/3.55 objective:-322846 5.19/3.55 o 323667 5.19/3.55 objective:-323667 5.19/3.55 o 331522 5.19/3.55 objective:-331522 5.19/3.55 o 342466 5.19/3.55 objective:-342466 5.19/3.55 o 342544 5.19/3.55 objective:-342544 5.19/3.56 o 353488 5.19/3.56 objective:-353488 5.19/3.56 o 353491 5.19/3.56 objective:-353491 5.19/3.56 o 364435 5.19/3.56 objective:-364435 5.19/3.56 o 373494 5.19/3.56 objective:-373494 5.19/3.56 o 381885 5.19/3.56 objective:-381885 5.19/3.56 o 390537 5.19/3.56 objective:-390537 5.19/3.56 o 398928 5.19/3.56 objective:-398928 5.19/3.56 o 401988 5.19/3.56 objective:-401988 5.19/3.57 o 402235 5.19/3.57 objective:-402235 5.19/3.57 o 410887 5.19/3.57 objective:-410887 5.19/3.57 o 419278 5.19/3.57 objective:-419278 5.19/3.57 o 422338 5.19/3.57 objective:-422338 5.19/3.57 o 423012 5.19/3.57 objective:-423012 5.19/3.57 o 426072 5.19/3.57 objective:-426072 5.19/3.58 o 427506 5.19/3.58 objective:-427506 5.19/3.58 o 428003 5.19/3.58 objective:-428003 5.19/3.60 o 428699 5.19/3.60 objective:-428699 5.19/3.60 o 432433 5.19/3.60 objective:-432433 5.32/3.60 o 433867 5.32/3.60 objective:-433867 5.32/3.60 o 434364 5.32/3.60 objective:-434364 5.32/3.60 o 435493 5.32/3.60 objective:-435493 5.32/3.60 o 436927 5.32/3.60 objective:-436927 5.32/3.60 o 437424 5.32/3.60 objective:-437424 5.32/3.60 o 437587 5.32/3.60 objective:-437587 5.32/3.60 o 440150 5.32/3.60 objective:-440150 5.32/3.60 o 440647 5.32/3.60 objective:-440647 5.32/3.61 o 440824 5.32/3.61 objective:-440824 5.32/3.61 o 443884 5.32/3.61 objective:-443884 5.32/3.61 o 444381 5.32/3.61 objective:-444381 5.32/3.61 o 445318 5.32/3.61 objective:-445318 5.32/3.61 o 445815 5.32/3.61 objective:-445815 5.32/3.63 o 446731 5.32/3.63 objective:-446731 6.22/4.52 o 448793 6.22/4.52 objective:-448793 6.22/4.52 o 450536 6.22/4.52 objective:-450536 6.22/4.52 o 454931 6.22/4.52 objective:-454931 6.22/4.52 o 456674 6.22/4.52 objective:-456674 6.22/4.52 o 457705 6.22/4.52 objective:-457705 6.22/4.52 o 459448 6.22/4.52 objective:-459448 6.22/4.52 o 463843 6.22/4.52 objective:-463843 6.22/4.52 o 465586 6.22/4.52 objective:-465586 6.22/4.52 o 466630 6.22/4.52 objective:-466630 6.22/4.52 o 468373 6.22/4.52 objective:-468373 6.22/4.52 o 468797 6.22/4.52 objective:-468797 6.22/4.53 o 470540 6.22/4.53 objective:-470540 6.22/4.53 o 471584 6.22/4.53 objective:-471584 6.22/4.53 o 473327 6.22/4.53 objective:-473327 6.22/4.53 o 475262 6.22/4.53 objective:-475262 6.22/4.53 o 481400 6.22/4.53 objective:-481400 6.22/4.53 o 484187 6.22/4.53 objective:-484187 6.22/4.53 o 486354 6.22/4.53 objective:-486354 6.22/4.53 o 489141 6.22/4.53 objective:-489141 6.22/4.53 o 490884 6.22/4.53 objective:-490884 6.22/4.53 o 491874 6.22/4.53 objective:-491874 6.22/4.53 o 492918 6.22/4.53 objective:-492918 6.22/4.53 o 494661 6.22/4.53 objective:-494661 6.22/4.53 o 494709 6.22/4.53 objective:-494709 6.22/4.54 o 500847 6.22/4.54 objective:-500847 6.22/4.54 o 505801 6.22/4.54 objective:-505801 6.22/4.54 o 509578 6.22/4.54 objective:-509578 6.22/4.54 o 512365 6.22/4.54 objective:-512365 6.22/4.54 o 514108 6.22/4.54 objective:-514108 6.22/4.54 o 516227 6.22/4.54 objective:-516227 6.22/4.54 o 517970 6.22/4.54 objective:-517970 6.22/4.54 o 519487 6.22/4.54 objective:-519487 6.22/4.55 o 522838 6.22/4.55 objective:-522838 6.22/4.55 o 525625 6.22/4.55 objective:-525625 6.22/4.55 o 527368 6.22/4.55 objective:-527368 6.22/4.55 o 528133 6.22/4.55 objective:-528133 6.22/4.55 o 529177 6.22/4.55 objective:-529177 6.22/4.55 o 530920 6.22/4.55 objective:-530920 6.22/4.56 o 532722 6.22/4.56 objective:-532722 6.22/4.56 o 536274 6.22/4.56 objective:-536274 6.22/4.56 o 539061 6.22/4.56 objective:-539061 6.22/4.56 o 540804 6.22/4.56 objective:-540804 6.22/4.57 o 542295 6.22/4.57 objective:-542295 6.22/4.57 o 544038 6.22/4.57 objective:-544038 6.22/4.58 o 547050 6.22/4.58 objective:-547050 6.22/4.58 o 549837 6.22/4.58 objective:-549837 6.22/4.59 o 550275 6.22/4.59 objective:-550275 7.12/5.47 o 551127 7.12/5.47 objective:-551127 7.12/5.47 o 553493 7.12/5.47 objective:-553493 7.12/5.47 o 559507 7.12/5.47 objective:-559507 7.12/5.47 o 563708 7.12/5.47 objective:-563708 7.12/5.47 o 566204 7.12/5.47 objective:-566204 7.12/5.47 o 570405 7.12/5.47 objective:-570405 7.12/5.47 o 573815 7.12/5.47 objective:-573815 7.12/5.47 o 576311 7.12/5.47 objective:-576311 7.12/5.47 o 580512 7.12/5.47 objective:-580512 7.12/5.47 o 583384 7.12/5.47 objective:-583384 7.12/5.48 o 587353 7.12/5.48 objective:-587353 7.12/5.48 o 590225 7.12/5.48 objective:-590225 7.12/5.48 o 591554 7.12/5.48 objective:-591554 7.12/5.48 o 594426 7.12/5.48 objective:-594426 7.12/5.49 o 594803 7.12/5.49 objective:-594803 7.12/5.49 o 599004 7.12/5.49 objective:-599004 7.12/5.49 o 601876 7.12/5.49 objective:-601876 7.12/5.49 o 607698 7.12/5.49 objective:-607698 7.12/5.50 o 608633 7.12/5.50 objective:-608633 7.12/5.50 o 612043 7.12/5.50 objective:-612043 7.12/5.50 o 612726 7.12/5.50 objective:-612726 7.12/5.50 o 618740 7.12/5.50 objective:-618740 7.23/5.50 o 622941 7.23/5.50 objective:-622941 7.23/5.50 o 625813 7.23/5.50 objective:-625813 7.23/5.51 o 627249 7.23/5.51 objective:-627249 7.23/5.51 o 630391 7.23/5.51 objective:-630391 7.23/5.51 o 633263 7.23/5.51 objective:-633263 7.23/5.51 o 634995 7.23/5.51 objective:-634995 7.23/5.51 o 636808 7.23/5.51 objective:-636808 7.23/5.51 o 641009 7.23/5.51 objective:-641009 7.23/5.52 o 643881 7.23/5.52 objective:-643881 7.23/5.53 o 644561 7.23/5.53 objective:-644561 7.23/5.53 o 647433 7.23/5.53 objective:-647433 7.23/5.53 o 650471 7.23/5.53 objective:-650471 8.13/6.43 o 650604 8.13/6.43 objective:-650604 8.13/6.43 o 651894 8.13/6.43 objective:-651894 8.13/6.43 o 653043 8.13/6.43 objective:-653043 8.13/6.43 o 653560 8.13/6.43 objective:-653560 8.13/6.43 o 654289 8.13/6.43 objective:-654289 8.13/6.43 o 655579 8.13/6.43 objective:-655579 8.13/6.43 o 656728 8.13/6.43 objective:-656728 8.13/6.43 o 657245 8.13/6.43 objective:-657245 8.13/6.43 o 657585 8.13/6.43 objective:-657585 8.13/6.43 o 658314 8.13/6.43 objective:-658314 8.13/6.43 o 660753 8.13/6.43 objective:-660753 8.13/6.43 o 661270 8.13/6.43 objective:-661270 8.13/6.44 o 661902 8.13/6.44 objective:-661902 8.13/6.44 o 662419 8.13/6.44 objective:-662419 8.13/6.44 o 664953 8.13/6.44 objective:-664953 8.13/6.44 o 666102 8.13/6.44 objective:-666102 8.13/6.44 o 667392 8.13/6.44 objective:-667392 8.13/6.44 o 668541 8.13/6.44 objective:-668541 8.13/6.44 o 668638 8.13/6.44 objective:-668638 8.13/6.44 o 671077 8.13/6.44 objective:-671077 8.13/6.44 o 672226 8.13/6.44 objective:-672226 8.13/6.44 o 672743 8.13/6.44 objective:-672743 8.13/6.45 o 677453 8.13/6.45 objective:-677453 8.13/6.45 o 677876 8.13/6.45 objective:-677876 8.13/6.45 o 682627 8.13/6.45 objective:-682627 8.13/6.45 o 683144 8.13/6.45 objective:-683144 8.13/6.45 o 683776 8.13/6.45 objective:-683776 8.13/6.45 o 684293 8.13/6.45 objective:-684293 8.13/6.45 o 685066 8.13/6.45 objective:-685066 8.13/6.45 o 685583 8.13/6.45 objective:-685583 8.13/6.45 o 686215 8.13/6.45 objective:-686215 8.13/6.45 o 686732 8.13/6.45 objective:-686732 8.13/6.45 o 686829 8.13/6.45 objective:-686829 8.13/6.45 o 687461 8.13/6.45 objective:-687461 8.13/6.45 o 687978 8.13/6.45 objective:-687978 8.13/6.45 o 688751 8.13/6.45 objective:-688751 8.13/6.45 o 689268 8.13/6.45 objective:-689268 8.13/6.45 o 689900 8.13/6.45 objective:-689900 8.13/6.45 o 690417 8.13/6.45 objective:-690417 8.13/6.46 o 694419 8.13/6.46 objective:-694419 8.13/6.46 o 694936 8.13/6.46 objective:-694936 8.13/6.46 o 695568 8.13/6.46 objective:-695568 8.13/6.46 o 696085 8.13/6.46 objective:-696085 8.13/6.46 o 696858 8.13/6.46 objective:-696858 8.13/6.46 o 697375 8.13/6.46 objective:-697375 8.13/6.46 o 698007 8.13/6.46 objective:-698007 8.13/6.46 o 698524 8.13/6.46 objective:-698524 8.13/6.46 o 699569 8.13/6.46 objective:-699569 8.13/6.46 o 704743 8.13/6.46 objective:-704743 8.13/6.46 o 705892 8.13/6.46 objective:-705892 8.13/6.46 o 707182 8.13/6.46 objective:-707182 8.13/6.46 o 708331 8.13/6.46 objective:-708331 8.13/6.46 o 708848 8.13/6.46 objective:-708848 8.13/6.46 o 709494 8.13/6.46 objective:-709494 8.13/6.46 o 711933 8.13/6.46 objective:-711933 8.13/6.46 o 712450 8.13/6.46 objective:-712450 8.13/6.46 o 713082 8.13/6.46 objective:-713082 8.13/6.46 o 713599 8.13/6.46 objective:-713599 8.13/6.47 o 714627 8.13/6.47 objective:-714627 8.13/6.47 o 719378 8.13/6.47 objective:-719378 8.13/6.47 o 719895 8.13/6.47 objective:-719895 8.13/6.47 o 720527 8.13/6.47 objective:-720527 8.13/6.47 o 721044 8.13/6.47 objective:-721044 8.13/6.47 o 721817 8.13/6.47 objective:-721817 8.13/6.47 o 722334 8.13/6.47 objective:-722334 8.13/6.47 o 722966 8.13/6.47 objective:-722966 8.13/6.47 o 723483 8.13/6.47 objective:-723483 8.13/6.48 o 724421 8.13/6.48 objective:-724421 8.13/6.48 o 724938 8.13/6.48 objective:-724938 9.05/7.38 o 726625 9.05/7.38 objective:-726625 9.05/7.38 o 727633 9.05/7.38 objective:-727633 9.05/7.38 o 729937 9.05/7.38 objective:-729937 9.05/7.38 o 734330 9.05/7.38 objective:-734330 9.05/7.38 o 737740 9.05/7.38 objective:-737740 9.05/7.38 o 740044 9.05/7.38 objective:-740044 9.05/7.38 o 744437 9.05/7.38 objective:-744437 9.05/7.38 o 748214 9.05/7.38 objective:-748214 9.05/7.38 o 753787 9.05/7.38 objective:-753787 9.05/7.38 o 757564 9.05/7.38 objective:-757564 9.05/7.38 o 758180 9.05/7.38 objective:-758180 9.05/7.38 o 761957 9.05/7.38 objective:-761957 9.05/7.38 o 763623 9.05/7.38 objective:-763623 9.05/7.39 o 767400 9.05/7.39 objective:-767400 9.05/7.39 o 771082 9.05/7.39 objective:-771082 9.05/7.39 o 776969 9.05/7.39 objective:-776969 9.05/7.39 o 782412 9.05/7.39 objective:-782412 9.05/7.39 o 786094 9.05/7.39 objective:-786094 9.05/7.39 o 786189 9.05/7.39 objective:-786189 9.05/7.39 o 789871 9.05/7.39 objective:-789871 9.05/7.40 o 790487 9.05/7.40 objective:-790487 9.05/7.40 o 790582 9.05/7.40 objective:-790582 9.05/7.40 o 794264 9.05/7.40 objective:-794264 9.15/7.40 o 795843 9.15/7.40 objective:-795843 9.15/7.40 o 796893 9.15/7.40 objective:-796893 9.15/7.40 o 797509 9.15/7.40 objective:-797509 9.15/7.40 o 801286 9.15/7.40 objective:-801286 9.15/7.40 o 804968 9.15/7.40 objective:-804968 9.15/7.41 o 808307 9.15/7.41 objective:-808307 9.15/7.42 o 808499 9.15/7.42 objective:-808499 9.15/7.42 o 808842 9.15/7.42 objective:-808842 9.15/7.42 o 812181 9.15/7.42 objective:-812181 10.05/8.31 o 813693 10.05/8.31 objective:-813693 10.05/8.31 o 819081 10.05/8.31 objective:-819081 10.05/8.31 o 823845 10.05/8.31 objective:-823845 10.05/8.31 o 824799 10.05/8.31 objective:-824799 10.05/8.31 o 828077 10.05/8.31 objective:-828077 10.05/8.31 o 833465 10.05/8.31 objective:-833465 10.05/8.31 o 838229 10.05/8.31 objective:-838229 10.05/8.31 o 842863 10.05/8.31 objective:-842863 10.05/8.31 o 847627 10.05/8.31 objective:-847627 10.05/8.32 o 849894 10.05/8.32 objective:-849894 10.05/8.32 o 853989 10.05/8.32 objective:-853989 10.05/8.32 o 856256 10.05/8.32 objective:-856256 10.05/8.32 o 858753 10.05/8.32 objective:-858753 10.05/8.32 o 861020 10.05/8.32 objective:-861020 10.05/8.32 o 863010 10.05/8.32 objective:-863010 10.05/8.32 o 868398 10.05/8.32 objective:-868398 10.05/8.32 o 873162 10.05/8.32 objective:-873162 10.05/8.32 o 875429 10.05/8.32 objective:-875429 10.05/8.33 o 878028 10.05/8.33 objective:-878028 10.05/8.33 o 880295 10.05/8.33 objective:-880295 10.05/8.33 o 882013 10.05/8.33 objective:-882013 10.05/8.33 o 884280 10.05/8.33 objective:-884280 10.05/8.34 o 886606 10.05/8.34 objective:-886606 10.05/8.34 o 888873 10.05/8.34 objective:-888873 10.05/8.34 o 890473 10.05/8.34 objective:-890473 10.05/8.34 o 891097 10.05/8.34 objective:-891097 10.05/8.34 o 891268 10.05/8.34 objective:-891268 10.05/8.34 o 891876 10.05/8.34 objective:-891876 10.05/8.34 o 895861 10.05/8.34 objective:-895861 10.05/8.34 o 898128 10.05/8.34 objective:-898128 10.05/8.35 o 898392 10.05/8.35 objective:-898392 10.05/8.35 o 899517 10.05/8.35 objective:-899517 10.05/8.35 o 900516 10.05/8.35 objective:-900516 10.05/8.36 o 900780 10.05/8.36 objective:-900780 10.05/8.36 o 901905 10.05/8.36 objective:-901905 10.05/8.36 o 904011 10.05/8.36 objective:-904011 10.05/8.36 o 904275 10.05/8.36 objective:-904275 10.05/8.36 o 905400 10.05/8.36 objective:-905400 10.05/8.37 o 905659 10.05/8.37 objective:-905659 10.05/8.37 o 907377 10.05/8.37 objective:-907377 10.05/8.37 o 909644 10.05/8.37 objective:-909644 10.05/8.37 o 909908 10.05/8.37 objective:-909908 10.05/8.37 o 911033 10.05/8.37 objective:-911033 10.05/8.37 o 912944 10.05/8.37 objective:-912944 10.05/8.38 o 913208 10.05/8.38 objective:-913208 10.05/8.38 o 915211 10.05/8.38 objective:-915211 10.05/8.38 o 915475 10.05/8.38 objective:-915475 10.05/8.38 o 916600 10.05/8.38 objective:-916600 10.95/9.25 o 918376 10.95/9.25 objective:-918376 10.95/9.25 o 920394 10.95/9.25 objective:-920394 10.95/9.26 o 920683 10.95/9.26 objective:-920683 10.95/9.26 o 922705 10.95/9.26 objective:-922705 10.95/9.26 o 925016 10.95/9.26 objective:-925016 10.95/9.26 o 927034 10.95/9.26 objective:-927034 10.95/9.26 o 928511 10.95/9.26 objective:-928511 10.95/9.26 o 930529 10.95/9.26 objective:-930529 10.95/9.26 o 932387 10.95/9.26 objective:-932387 10.95/9.27 o 932837 10.95/9.27 objective:-932837 10.95/9.27 o 934021 10.95/9.27 objective:-934021 10.95/9.27 o 936332 10.95/9.27 objective:-936332 10.95/9.27 o 938190 10.95/9.27 objective:-938190 10.95/9.27 o 938350 10.95/9.27 objective:-938350 10.95/9.27 o 940208 10.95/9.27 objective:-940208 10.95/9.27 o 940667 10.95/9.27 objective:-940667 10.95/9.28 o 942525 10.95/9.28 objective:-942525 11.86/10.14 o 946005 11.86/10.14 objective:-946005 11.86/10.14 o 946152 11.86/10.14 objective:-946152 11.86/10.14 o 948325 11.86/10.14 objective:-948325 11.86/10.14 o 948472 11.86/10.14 objective:-948472 11.86/10.14 o 951179 11.86/10.14 objective:-951179 11.86/10.14 o 951326 11.86/10.14 objective:-951326 11.86/10.14 o 953499 11.86/10.14 objective:-953499 11.86/10.14 o 953646 11.86/10.14 objective:-953646 11.86/10.14 o 954136 11.86/10.14 objective:-954136 11.86/10.15 o 955686 11.86/10.15 objective:-955686 11.86/10.15 o 958540 11.86/10.15 objective:-958540 11.86/10.15 o 960860 11.86/10.15 objective:-960860 11.86/10.15 o 961007 11.86/10.15 objective:-961007 11.86/10.15 o 961349 11.86/10.15 objective:-961349 11.86/10.15 o 963895 11.86/10.15 objective:-963895 11.86/10.16 o 965726 11.86/10.16 objective:-965726 11.86/10.16 o 966215 11.86/10.16 objective:-966215 12.76/11.05 o 966828 12.76/11.05 objective:-966828 12.76/11.05 o 967602 12.76/11.05 objective:-967602 12.76/11.05 o 971381 12.76/11.05 objective:-971381 12.76/11.06 o 972495 12.76/11.06 objective:-972495 12.76/11.06 o 973389 12.76/11.06 objective:-973389 12.76/11.06 o 974503 12.76/11.06 objective:-974503 13.65/11.92 o 974702 13.65/11.92 objective:-974702 13.65/11.92 o 975088 13.65/11.92 objective:-975088 13.65/11.92 o 976339 13.65/11.92 objective:-976339 13.65/11.92 o 976725 13.65/11.92 objective:-976725 13.65/11.92 o 977391 13.65/11.92 objective:-977391 13.65/11.92 o 980385 13.65/11.92 objective:-980385 13.65/11.92 o 982196 13.65/11.92 objective:-982196 13.65/11.92 o 983833 13.65/11.92 objective:-983833 13.65/11.93 o 984219 13.65/11.93 objective:-984219 13.65/11.93 o 987039 13.65/11.93 objective:-987039 13.65/11.93 o 988850 13.65/11.93 objective:-988850 13.65/11.93 o 990487 13.65/11.93 objective:-990487 13.65/11.93 o 990873 13.65/11.93 objective:-990873 13.65/11.93 o 991670 13.65/11.93 objective:-991670 13.65/11.93 o 992056 13.65/11.93 objective:-992056 13.65/11.93 o 993481 13.65/11.93 objective:-993481 13.65/11.93 o 993867 13.65/11.93 objective:-993867 13.65/11.94 o 995133 13.65/11.94 objective:-995133 13.65/11.94 o 996770 13.65/11.94 objective:-996770 13.65/11.94 o 998127 13.65/11.94 objective:-998127 13.65/11.94 o 999764 13.65/11.94 objective:-999764 13.65/11.94 o 999938 13.65/11.94 objective:-999938 13.65/11.94 o 1001575 13.65/11.94 objective:-1001575 13.65/11.95 o 1001961 13.65/11.95 objective:-1001961 13.65/11.95 o 1002561 13.65/11.95 objective:-1002561 13.65/11.95 o 1004372 13.65/11.95 objective:-1004372 13.65/11.95 o 1004758 13.65/11.95 objective:-1004758 13.65/11.95 o 1006009 13.65/11.95 objective:-1006009 13.65/11.95 o 1006395 13.65/11.95 objective:-1006395 14.55/12.81 o 1008132 14.55/12.81 objective:-1008132 14.55/12.81 o 1010713 14.55/12.81 objective:-1010713 14.55/12.81 o 1012685 14.55/12.81 objective:-1012685 14.55/12.81 o 1013258 14.55/12.81 objective:-1013258 14.55/12.81 o 1013593 14.55/12.81 objective:-1013593 14.55/12.81 o 1015565 14.55/12.81 objective:-1015565 14.55/12.81 o 1016138 14.55/12.81 objective:-1016138 14.55/12.82 o 1016861 14.55/12.82 objective:-1016861 14.55/12.82 o 1018833 14.55/12.82 objective:-1018833 14.55/12.82 o 1021414 14.55/12.82 objective:-1021414 14.55/12.82 o 1023386 14.55/12.82 objective:-1023386 14.55/12.82 o 1023959 14.55/12.82 objective:-1023959 14.55/12.82 o 1024818 14.55/12.82 objective:-1024818 14.55/12.82 o 1025391 14.55/12.82 objective:-1025391 14.55/12.82 o 1025664 14.55/12.82 objective:-1025664 14.55/12.82 o 1026387 14.55/12.82 objective:-1026387 14.55/12.82 o 1028359 14.55/12.82 objective:-1028359 14.55/12.82 o 1030940 14.55/12.82 objective:-1030940 14.55/12.82 o 1032912 14.55/12.82 objective:-1032912 14.55/12.82 o 1033485 14.55/12.82 objective:-1033485 14.55/12.82 o 1033745 14.55/12.82 objective:-1033745 14.55/12.83 o 1033807 14.55/12.83 objective:-1033807 14.55/12.83 o 1035779 14.55/12.83 objective:-1035779 14.55/12.83 o 1036352 14.55/12.83 objective:-1036352 14.55/12.83 o 1036625 14.55/12.83 objective:-1036625 14.55/12.83 o 1037348 14.55/12.83 objective:-1037348 14.55/12.83 o 1039320 14.55/12.83 objective:-1039320 14.55/12.83 o 1041901 14.55/12.83 objective:-1041901 14.55/12.83 o 1043873 14.55/12.83 objective:-1043873 14.55/12.83 o 1044446 14.55/12.83 objective:-1044446 14.55/12.83 o 1045531 14.55/12.83 objective:-1045531 14.55/12.83 o 1048112 14.55/12.83 objective:-1048112 14.55/12.83 o 1050084 14.55/12.83 objective:-1050084 14.55/12.83 o 1050657 14.55/12.83 objective:-1050657 14.55/12.84 o 1051577 14.55/12.84 objective:-1051577 14.55/12.84 o 1053009 14.55/12.84 objective:-1053009 14.55/12.84 o 1053282 14.55/12.84 objective:-1053282 14.55/12.84 o 1054892 14.55/12.84 objective:-1054892 14.55/12.84 o 1058558 14.55/12.84 objective:-1058558 14.55/12.84 o 1061103 14.55/12.84 objective:-1061103 14.55/12.85 o 1061749 14.55/12.85 objective:-1061749 14.55/12.85 o 1061990 14.55/12.85 objective:-1061990 14.55/12.85 o 1066302 14.55/12.85 objective:-1066302 14.55/12.85 o 1068274 14.55/12.85 objective:-1068274 14.55/12.85 o 1068847 14.55/12.85 objective:-1068847 15.46/13.71 o 1069125 15.46/13.71 objective:-1069125 15.46/13.71 o 1070413 15.46/13.71 objective:-1070413 16.26/14.54 o 1071221 16.26/14.54 objective:-1071221 16.26/14.54 o 1071270 16.26/14.54 objective:-1071270 16.26/14.54 o 1072229 16.26/14.54 objective:-1072229 16.26/14.54 o 1072278 16.26/14.54 objective:-1072278 16.26/14.54 o 1072821 16.26/14.54 objective:-1072821 16.26/14.54 o 1072870 16.26/14.54 objective:-1072870 16.26/14.54 o 1073829 16.26/14.54 objective:-1073829 16.26/14.54 o 1073878 16.26/14.54 objective:-1073878 16.26/14.54 o 1074221 16.26/14.54 objective:-1074221 16.26/14.54 o 1075229 16.26/14.54 objective:-1075229 16.26/14.54 o 1075821 16.26/14.54 objective:-1075821 16.26/14.54 o 1076829 16.26/14.54 objective:-1076829 16.26/14.54 o 1076878 16.26/14.54 objective:-1076878 16.26/14.54 o 1078042 16.26/14.54 objective:-1078042 16.26/14.55 o 1079442 16.26/14.55 objective:-1079442 16.26/14.55 o 1081042 16.26/14.55 objective:-1081042 16.26/14.55 o 1081091 16.26/14.55 objective:-1081091 16.26/14.55 o 1082050 16.26/14.55 objective:-1082050 16.26/14.55 o 1082099 16.26/14.55 objective:-1082099 16.26/14.55 o 1084094 16.26/14.55 objective:-1084094 16.26/14.55 o 1084143 16.26/14.55 objective:-1084143 16.26/14.55 o 1085102 16.26/14.55 objective:-1085102 16.26/14.55 o 1085151 16.26/14.55 objective:-1085151 16.26/14.55 o 1085694 16.26/14.55 objective:-1085694 16.26/14.55 o 1085743 16.26/14.55 objective:-1085743 16.26/14.55 o 1086702 16.26/14.55 objective:-1086702 16.26/14.55 o 1086751 16.26/14.55 objective:-1086751 16.26/14.56 o 1087094 16.26/14.56 objective:-1087094 16.26/14.56 o 1087143 16.26/14.56 objective:-1087143 16.26/14.56 o 1088102 16.26/14.56 objective:-1088102 16.26/14.56 o 1088151 16.26/14.56 objective:-1088151 16.26/14.56 o 1088694 16.26/14.56 objective:-1088694 16.26/14.56 o 1088743 16.26/14.56 objective:-1088743 16.26/14.56 o 1089702 16.26/14.56 objective:-1089702 16.26/14.56 o 1089751 16.26/14.56 objective:-1089751 16.26/14.56 o 1090392 16.26/14.56 objective:-1090392 16.26/14.56 o 1091400 16.26/14.56 objective:-1091400 16.26/14.56 o 1091992 16.26/14.56 objective:-1091992 16.26/14.56 o 1093000 16.26/14.56 objective:-1093000 16.26/14.56 o 1094051 16.26/14.56 objective:-1094051 16.26/14.56 o 1096462 16.26/14.56 objective:-1096462 16.26/14.57 o 1097470 16.26/14.57 objective:-1097470 16.26/14.57 o 1098062 16.26/14.57 objective:-1098062 16.26/14.57 o 1099070 16.26/14.57 objective:-1099070 16.26/14.57 o 1099149 16.26/14.57 objective:-1099149 16.26/14.57 o 1102339 16.26/14.57 objective:-1102339 16.26/14.57 o 1102388 16.26/14.57 objective:-1102388 16.26/14.57 o 1103939 16.26/14.57 objective:-1103939 16.26/14.57 o 1103988 16.26/14.57 objective:-1103988 16.26/14.57 o 1105339 16.26/14.57 objective:-1105339 16.26/14.57 o 1105388 16.26/14.57 objective:-1105388 16.26/14.57 o 1106939 16.26/14.57 objective:-1106939 16.26/14.58 o 1106988 16.26/14.58 objective:-1106988 16.26/14.58 o 1107560 16.26/14.58 objective:-1107560 16.26/14.58 o 1107609 16.26/14.58 objective:-1107609 16.26/14.58 o 1109160 16.26/14.58 objective:-1109160 16.26/14.58 o 1109209 16.26/14.58 objective:-1109209 16.26/14.58 o 1110560 16.26/14.58 objective:-1110560 16.26/14.58 o 1110609 16.26/14.58 objective:-1110609 16.26/14.58 o 1112160 16.26/14.58 objective:-1112160 16.26/14.58 o 1112209 16.26/14.58 objective:-1112209 16.26/14.58 o 1112971 16.26/14.58 objective:-1112971 16.26/14.58 o 1113020 16.26/14.58 objective:-1113020 16.26/14.58 o 1114571 16.26/14.58 objective:-1114571 16.26/14.58 o 1114620 16.26/14.58 objective:-1114620 16.26/14.58 o 1115212 16.26/14.58 objective:-1115212 16.26/14.58 o 1115261 16.26/14.58 objective:-1115261 16.26/14.58 o 1116812 16.26/14.58 objective:-1116812 16.26/14.58 o 1116861 16.26/14.58 objective:-1116861 16.26/14.58 o 1117623 16.26/14.58 objective:-1117623 16.26/14.58 o 1117672 16.26/14.58 objective:-1117672 16.26/14.58 o 1119223 16.26/14.58 objective:-1119223 16.26/14.58 o 1119272 16.26/14.58 objective:-1119272 16.26/14.59 o 1119812 16.26/14.59 objective:-1119812 16.26/14.59 o 1119861 16.26/14.59 objective:-1119861 16.26/14.59 o 1120623 16.26/14.59 objective:-1120623 16.26/14.59 o 1120672 16.26/14.59 objective:-1120672 16.26/14.59 o 1122223 16.26/14.59 objective:-1122223 16.26/14.59 o 1122272 16.26/14.59 objective:-1122272 16.26/14.59 o 1123110 16.26/14.59 objective:-1123110 16.26/14.59 o 1123921 16.26/14.59 objective:-1123921 16.26/14.59 o 1125521 16.26/14.59 objective:-1125521 16.26/14.59 o 1126529 16.26/14.59 objective:-1126529 16.26/14.59 o 1127549 16.26/14.59 objective:-1127549 16.26/14.59 o 1127598 16.26/14.59 objective:-1127598 16.26/14.59 o 1129149 16.26/14.59 objective:-1129149 16.26/14.59 o 1129198 16.26/14.59 objective:-1129198 16.26/14.60 o 1129960 16.26/14.60 objective:-1129960 16.26/14.60 o 1130009 16.26/14.60 objective:-1130009 16.26/14.60 o 1131560 16.26/14.60 objective:-1131560 16.26/14.60 o 1131609 16.26/14.60 objective:-1131609 16.36/14.60 o 1132568 16.36/14.60 objective:-1132568 16.36/14.60 o 1132617 16.36/14.60 objective:-1132617 16.36/14.60 o 1132960 16.36/14.60 objective:-1132960 16.36/14.60 o 1133009 16.36/14.60 objective:-1133009 16.36/14.60 o 1134560 16.36/14.60 objective:-1134560 16.36/14.60 o 1134609 16.36/14.60 objective:-1134609 16.36/14.60 o 1135568 16.36/14.60 objective:-1135568 16.36/14.60 o 1135617 16.36/14.60 objective:-1135617 16.36/14.60 o 1136258 16.36/14.60 objective:-1136258 16.36/14.60 o 1137858 16.36/14.60 objective:-1137858 16.36/14.60 o 1138866 16.36/14.60 objective:-1138866 16.36/14.61 o 1139672 16.36/14.61 objective:-1139672 16.36/14.61 o 1141272 16.36/14.61 objective:-1141272 16.36/14.61 o 1142083 16.36/14.61 objective:-1142083 16.36/14.61 o 1143683 16.36/14.61 objective:-1143683 16.36/14.61 o 1144691 16.36/14.61 objective:-1144691 17.87/16.17 o 1144854 17.87/16.17 objective:-1144854 17.87/16.17 o 1146267 17.87/16.17 objective:-1146267 17.87/16.17 o 1147488 17.87/16.17 objective:-1147488 17.87/16.17 o 1148776 17.87/16.17 objective:-1148776 17.87/16.17 o 1149997 17.87/16.17 objective:-1149997 17.87/16.17 o 1150189 17.87/16.17 objective:-1150189 17.87/16.17 o 1151410 17.87/16.17 objective:-1151410 17.87/16.18 o 1151706 17.87/16.18 objective:-1151706 18.66/16.96 o 1152747 18.66/16.96 objective:-1152747 18.66/16.96 o 1155168 18.66/16.96 objective:-1155168 18.66/16.96 o 1155845 18.66/16.96 objective:-1155845 18.66/16.96 o 1156248 18.66/16.96 objective:-1156248 18.66/16.96 o 1156925 18.66/16.96 objective:-1156925 18.66/16.97 o 1158669 18.66/16.97 objective:-1158669 18.66/16.97 o 1159346 18.66/16.97 objective:-1159346 18.66/16.98 o 1159470 18.66/16.98 objective:-1159470 18.66/16.98 o 1161891 18.66/16.98 objective:-1161891 18.66/16.99 o 1162568 18.66/16.99 objective:-1162568 18.66/16.99 o 1163713 18.66/16.99 objective:-1163713 18.66/16.99 o 1166134 18.66/16.99 objective:-1166134 18.66/17.00 o 1167214 18.66/17.00 objective:-1167214 19.46/17.79 o 1169048 19.46/17.79 objective:-1169048 19.46/17.79 o 1172273 19.46/17.79 objective:-1172273 19.46/17.79 o 1172893 19.46/17.79 objective:-1172893 19.56/17.80 o 1173299 19.56/17.80 objective:-1173299 19.56/17.80 o 1173919 19.56/17.80 objective:-1173919 19.56/17.80 o 1177782 19.56/17.80 objective:-1177782 20.26/18.56 o 1179158 20.26/18.56 objective:-1179158 20.26/18.56 o 1179708 20.26/18.56 objective:-1179708 20.26/18.56 o 1179740 20.26/18.56 objective:-1179740 20.26/18.57 o 1180301 20.26/18.57 objective:-1180301 20.26/18.57 o 1182380 20.26/18.57 objective:-1182380 20.26/18.57 o 1182930 20.26/18.57 objective:-1182930 20.26/18.57 o 1184152 20.26/18.57 objective:-1184152 20.26/18.57 o 1184702 20.26/18.57 objective:-1184702 20.26/18.57 o 1187374 20.26/18.57 objective:-1187374 20.26/18.57 o 1187924 20.26/18.57 objective:-1187924 20.26/18.57 o 1190564 20.26/18.57 objective:-1190564 20.26/18.57 o 1191114 20.26/18.57 objective:-1191114 20.26/18.57 o 1192643 20.26/18.57 objective:-1192643 20.26/18.58 o 1193193 20.26/18.58 objective:-1193193 20.26/18.58 o 1193809 20.26/18.58 objective:-1193809 20.26/18.58 o 1194445 20.26/18.58 objective:-1194445 20.26/18.58 o 1197031 20.26/18.58 objective:-1197031 20.26/18.58 o 1197635 20.26/18.58 objective:-1197635 20.26/18.58 o 1200221 20.26/18.58 objective:-1200221 20.26/18.58 o 1202300 20.26/18.58 objective:-1202300 20.26/18.58 o 1202850 20.26/18.58 objective:-1202850 22.79/21.02 o 1203371 22.79/21.02 objective:-1203371 22.79/21.02 o 1203817 22.79/21.02 objective:-1203817 22.79/21.03 o 1207207 22.79/21.03 objective:-1207207 22.79/21.03 o 1207953 22.79/21.03 objective:-1207953 22.79/21.03 o 1209083 22.79/21.03 objective:-1209083 22.79/21.03 o 1213636 22.79/21.03 objective:-1213636 22.79/21.03 o 1214082 22.79/21.03 objective:-1214082 22.79/21.04 o 1218218 22.79/21.04 objective:-1218218 22.79/21.05 o 1218964 22.79/21.05 objective:-1218964 24.28/22.59 o 1222565 24.28/22.59 objective:-1222565 24.28/22.59 o 1225632 24.28/22.59 objective:-1225632 24.28/22.59 o 1227640 24.28/22.59 objective:-1227640 24.28/22.59 o 1230177 24.28/22.59 objective:-1230177 24.28/22.59 o 1232185 24.28/22.59 objective:-1232185 24.28/22.59 o 1232743 24.28/22.59 objective:-1232743 24.28/22.59 o 1235810 24.28/22.59 objective:-1235810 24.28/22.59 o 1237818 24.28/22.59 objective:-1237818 24.28/22.59 o 1239223 24.28/22.59 objective:-1239223 24.38/22.60 o 1239732 24.38/22.60 objective:-1239732 24.38/22.60 o 1241137 24.38/22.60 objective:-1241137 24.38/22.60 o 1241740 24.38/22.60 objective:-1241740 24.38/22.60 o 1243145 24.38/22.60 objective:-1243145 24.38/22.60 o 1243204 24.38/22.60 objective:-1243204 24.38/22.60 o 1244609 24.38/22.60 objective:-1244609 24.38/22.60 o 1244912 24.38/22.60 objective:-1244912 24.38/22.61 o 1244971 24.38/22.61 objective:-1244971 24.38/22.61 o 1246376 24.38/22.61 objective:-1246376 24.38/22.61 o 1249331 24.38/22.61 objective:-1249331 24.38/22.61 o 1250736 24.38/22.61 objective:-1250736 24.38/22.61 o 1250795 24.38/22.61 objective:-1250795 24.38/22.61 o 1252200 24.38/22.61 objective:-1252200 24.38/22.61 o 1252744 24.38/22.61 objective:-1252744 24.38/22.61 o 1252803 24.38/22.61 objective:-1252803 24.38/22.61 o 1254208 24.38/22.61 objective:-1254208 24.38/22.61 o 1254717 24.38/22.61 objective:-1254717 24.38/22.61 o 1255261 24.38/22.61 objective:-1255261 24.38/22.62 o 1256725 24.38/22.62 objective:-1256725 24.38/22.62 o 1258130 24.38/22.62 objective:-1258130 24.38/22.62 o 1258721 24.38/22.62 objective:-1258721 24.38/22.63 o 1259395 24.38/22.63 objective:-1259395 25.08/23.36 o 1260230 25.08/23.36 objective:-1260230 25.08/23.36 o 1260994 25.08/23.36 objective:-1260994 25.08/23.36 o 1261785 25.08/23.36 objective:-1261785 25.08/23.36 o 1261866 25.08/23.36 objective:-1261866 25.08/23.36 o 1262630 25.08/23.36 objective:-1262630 25.08/23.36 o 1263006 25.08/23.36 objective:-1263006 25.08/23.36 o 1265464 25.08/23.36 objective:-1265464 25.08/23.36 o 1266228 25.08/23.36 objective:-1266228 25.08/23.36 o 1267019 25.08/23.36 objective:-1267019 25.08/23.36 o 1268757 25.08/23.36 objective:-1268757 25.08/23.36 o 1269521 25.08/23.36 objective:-1269521 25.08/23.36 o 1270312 25.08/23.36 objective:-1270312 25.08/23.36 o 1271057 25.08/23.36 objective:-1271057 25.08/23.37 o 1271138 25.08/23.37 objective:-1271138 25.08/23.37 o 1271902 25.08/23.37 objective:-1271902 25.08/23.37 o 1272278 25.08/23.37 objective:-1272278 25.08/23.37 o 1274736 25.08/23.37 objective:-1274736 25.08/23.37 o 1275500 25.08/23.37 objective:-1275500 25.08/23.37 o 1276291 25.08/23.37 objective:-1276291 25.08/23.37 o 1277417 25.08/23.37 objective:-1277417 25.08/23.37 o 1278972 25.08/23.37 objective:-1278972 25.08/23.37 o 1281995 25.08/23.37 objective:-1281995 25.08/23.37 o 1284676 25.08/23.37 objective:-1284676 25.08/23.37 o 1285440 25.08/23.37 objective:-1285440 25.08/23.37 o 1286231 25.08/23.37 objective:-1286231 25.08/23.37 o 1286631 25.08/23.37 objective:-1286631 25.08/23.38 o 1287757 25.08/23.38 objective:-1287757 25.08/23.38 o 1288521 25.08/23.38 objective:-1288521 25.08/23.38 o 1289312 25.08/23.38 objective:-1289312 25.08/23.38 o 1289318 25.08/23.38 objective:-1289318 25.08/23.38 o 1290109 25.08/23.38 objective:-1290109 25.08/23.38 o 1291235 25.08/23.38 objective:-1291235 25.08/23.38 o 1291999 25.08/23.38 objective:-1291999 25.08/23.38 o 1292790 25.08/23.38 objective:-1292790 25.08/23.38 o 1293457 25.08/23.38 objective:-1293457 25.08/23.38 o 1293854 25.08/23.38 objective:-1293854 25.08/23.38 o 1296935 25.08/23.38 objective:-1296935 25.08/23.38 o 1297699 25.08/23.38 objective:-1297699 25.08/23.38 o 1299616 25.08/23.38 objective:-1299616 25.08/23.38 o 1300380 25.08/23.38 objective:-1300380 25.08/23.38 o 1302403 25.08/23.38 objective:-1302403 25.08/23.38 o 1303167 25.08/23.38 objective:-1303167 25.08/23.39 o 1305165 25.08/23.39 objective:-1305165 25.08/23.39 o 1307846 25.08/23.39 objective:-1307846 25.08/23.39 o 1308610 25.08/23.39 objective:-1308610 25.08/23.39 o 1308729 25.08/23.39 objective:-1308729 25.08/23.39 o 1311516 25.08/23.39 objective:-1311516 25.08/23.39 o 1314197 25.08/23.39 objective:-1314197 25.08/23.39 o 1314961 25.08/23.39 objective:-1314961 25.08/23.40 o 1316055 25.08/23.40 objective:-1316055 25.08/23.40 o 1316819 25.08/23.40 objective:-1316819 25.18/23.40 o 1316964 25.18/23.40 objective:-1316964 25.18/23.40 o 1317728 25.18/23.40 objective:-1317728 25.18/23.40 o 1320725 25.18/23.40 objective:-1320725 25.18/23.40 o 1322583 25.18/23.40 objective:-1322583 25.18/23.40 o 1323492 25.18/23.40 objective:-1323492 25.18/23.41 o 1324315 25.18/23.41 objective:-1324315 25.18/23.41 o 1325264 25.18/23.41 objective:-1325264 25.18/23.41 o 1326173 25.18/23.41 objective:-1326173 25.18/23.41 o 1326690 25.18/23.41 objective:-1326690 25.18/23.41 o 1327102 25.18/23.41 objective:-1327102 25.18/23.41 o 1328051 25.18/23.41 objective:-1328051 25.18/23.41 o 1328960 25.18/23.41 objective:-1328960 25.18/23.41 o 1329724 25.18/23.41 objective:-1329724 25.18/23.42 o 1329783 25.18/23.42 objective:-1329783 25.18/23.42 o 1330274 25.18/23.42 objective:-1330274 25.18/23.42 o 1331183 25.18/23.42 objective:-1331183 25.18/23.42 o 1331700 25.18/23.42 objective:-1331700 25.18/23.42 o 1331947 25.18/23.42 objective:-1331947 25.18/23.42 o 1332464 25.18/23.42 objective:-1332464 25.18/23.42 o 1333041 25.18/23.42 objective:-1333041 25.18/23.42 o 1333558 25.18/23.42 objective:-1333558 25.18/23.42 o 1333805 25.18/23.42 objective:-1333805 25.18/23.42 o 1334322 25.18/23.42 objective:-1334322 25.18/23.43 o 1334919 25.18/23.43 objective:-1334919 25.18/23.43 o 1335828 25.18/23.43 objective:-1335828 25.18/23.43 o 1336592 25.18/23.43 objective:-1336592 25.18/23.43 o 1336596 25.18/23.43 objective:-1336596 25.18/23.43 o 1337113 25.18/23.43 objective:-1337113 25.18/23.43 o 1337360 25.18/23.43 objective:-1337360 25.18/23.43 o 1337877 25.18/23.43 objective:-1337877 25.18/23.43 o 1338368 25.18/23.43 objective:-1338368 25.18/23.44 o 1339277 25.18/23.44 objective:-1339277 25.18/23.44 o 1339794 25.18/23.44 objective:-1339794 25.18/23.44 o 1340041 25.18/23.44 objective:-1340041 25.18/23.44 o 1340558 25.18/23.44 objective:-1340558 25.18/23.44 o 1341155 25.18/23.44 objective:-1341155 25.18/23.44 o 1342064 25.18/23.44 objective:-1342064 25.18/23.44 o 1342828 25.18/23.44 objective:-1342828 25.18/23.44 o 1343013 25.18/23.44 objective:-1343013 25.18/23.44 o 1343922 25.18/23.44 objective:-1343922 25.18/23.44 o 1344686 25.18/23.44 objective:-1344686 25.89/24.17 o 1346716 25.89/24.17 objective:-1346716 25.89/24.17 o 1347260 25.89/24.17 objective:-1347260 25.89/24.17 o 1350194 25.89/24.17 objective:-1350194 25.89/24.17 o 1350738 25.89/24.17 objective:-1350738 25.89/24.18 o 1350978 25.89/24.18 objective:-1350978 25.89/24.18 o 1354909 25.89/24.18 objective:-1354909 25.89/24.18 o 1358387 25.89/24.18 objective:-1358387 25.89/24.18 o 1358931 25.89/24.18 objective:-1358931 26.58/24.89 o 1359132 26.58/24.89 objective:-1359132 26.58/24.89 o 1360158 26.58/24.89 objective:-1360158 26.58/24.89 o 1362237 26.58/24.89 objective:-1362237 26.58/24.89 o 1363062 26.58/24.89 objective:-1363062 26.58/24.89 o 1364924 26.58/24.89 objective:-1364924 26.58/24.89 o 1367003 26.58/24.89 objective:-1367003 26.58/24.90 o 1368149 26.58/24.90 objective:-1368149 26.58/24.90 o 1370228 26.58/24.90 objective:-1370228 26.68/24.91 o 1370388 26.68/24.91 objective:-1370388 26.68/24.91 o 1372012 26.68/24.91 objective:-1372012 26.68/24.91 o 1374329 26.68/24.91 objective:-1374329 26.68/24.92 o 1375237 26.68/24.92 objective:-1375237 26.68/24.92 o 1377554 26.68/24.92 objective:-1377554 28.08/26.31 o 1378385 28.08/26.31 objective:-1378385 28.08/26.31 o 1380196 28.08/26.31 objective:-1380196 28.08/26.31 o 1381773 28.08/26.31 objective:-1381773 28.08/26.31 o 1382787 28.08/26.31 objective:-1382787 28.08/26.31 o 1384883 28.08/26.31 objective:-1384883 28.08/26.31 o 1386694 28.08/26.31 objective:-1386694 28.08/26.31 o 1387327 28.08/26.31 objective:-1387327 28.08/26.31 o 1389138 28.08/26.31 objective:-1389138 28.08/26.32 o 1389274 28.08/26.32 objective:-1389274 28.08/26.32 o 1391085 28.08/26.32 objective:-1391085 28.08/26.32 o 1391086 28.08/26.32 objective:-1391086 28.08/26.32 o 1394195 28.08/26.32 objective:-1394195 28.08/26.32 o 1396006 28.08/26.32 objective:-1396006 28.08/26.32 o 1398738 28.08/26.32 objective:-1398738 28.08/26.32 o 1400549 28.08/26.32 objective:-1400549 28.08/26.33 o 1401847 28.08/26.33 objective:-1401847 28.08/26.33 o 1403658 28.08/26.33 objective:-1403658 28.08/26.33 o 1404208 28.08/26.33 objective:-1404208 28.08/26.34 o 1404263 28.08/26.34 objective:-1404263 28.08/26.34 o 1404813 28.08/26.34 objective:-1404813 28.08/26.34 o 1407372 28.08/26.34 objective:-1407372 28.08/26.34 o 1407922 28.08/26.34 objective:-1407922 28.08/26.34 o 1409184 28.08/26.34 objective:-1409184 28.08/26.34 o 1412293 28.08/26.34 objective:-1412293 28.08/26.34 o 1412843 28.08/26.34 objective:-1412843 28.08/26.34 o 1414104 28.08/26.34 objective:-1414104 28.08/26.34 o 1414654 28.08/26.34 objective:-1414654 32.13/30.36 o 1414732 32.13/30.36 objective:-1414732 32.13/30.36 o 1415437 32.13/30.36 objective:-1415437 32.13/30.36 o 1417207 32.13/30.36 objective:-1417207 32.13/30.36 o 1418150 32.13/30.36 objective:-1418150 32.13/30.36 o 1421600 32.13/30.36 objective:-1421600 34.13/32.38 o 1423162 34.13/32.38 objective:-1423162 34.13/32.38 o 1423211 34.13/32.38 objective:-1423211 34.13/32.38 o 1424762 34.13/32.38 objective:-1424762 34.13/32.38 o 1424811 34.13/32.38 objective:-1424811 36.23/34.45 o 1425349 36.23/34.45 objective:-1425349 36.23/34.45 o 1426403 36.23/34.45 objective:-1426403 36.23/34.45 o 1427092 36.23/34.45 objective:-1427092 36.23/34.46 o 1429014 36.23/34.46 objective:-1429014 36.23/34.46 o 1429703 36.23/34.46 objective:-1429703 36.23/34.46 o 1430757 36.23/34.46 objective:-1430757 36.23/34.46 o 1431446 36.23/34.46 objective:-1431446 36.23/34.46 o 1432936 36.23/34.46 objective:-1432936 36.23/34.46 o 1434679 36.23/34.46 objective:-1434679 36.23/34.46 o 1435368 36.23/34.46 objective:-1435368 36.23/34.47 o 1435483 36.23/34.47 objective:-1435483 36.23/34.47 o 1436537 36.23/34.47 objective:-1436537 36.23/34.47 o 1437226 36.23/34.47 objective:-1437226 36.23/34.47 o 1437770 36.23/34.47 objective:-1437770 36.23/34.47 o 1437838 36.23/34.47 objective:-1437838 36.23/34.47 o 1438060 36.23/34.47 objective:-1438060 36.23/34.47 o 1438604 36.23/34.47 objective:-1438604 36.23/34.47 o 1438749 36.23/34.47 objective:-1438749 36.23/34.47 o 1439293 36.23/34.47 objective:-1439293 36.23/34.48 o 1440088 36.23/34.48 objective:-1440088 36.23/34.48 o 1441899 36.23/34.48 objective:-1441899 36.23/34.48 o 1442584 36.23/34.48 objective:-1442584 36.23/34.48 o 1444442 36.23/34.48 objective:-1444442 36.23/34.48 o 1446253 36.23/34.48 objective:-1446253 36.23/34.48 o 1446942 36.23/34.48 objective:-1446942 36.23/34.48 o 1447486 36.23/34.48 objective:-1447486 36.23/34.49 o 1448198 36.23/34.49 objective:-1448198 36.23/34.49 o 1448887 36.23/34.49 objective:-1448887 36.23/34.49 o 1450056 36.23/34.49 objective:-1450056 36.23/34.49 o 1450745 36.23/34.49 objective:-1450745 36.23/34.49 o 1451289 36.23/34.49 objective:-1451289 36.23/34.49 o 1452037 36.23/34.49 objective:-1452037 36.23/34.49 o 1454580 36.23/34.49 objective:-1454580 36.23/34.49 o 1456391 36.23/34.49 objective:-1456391 36.23/34.50 o 1456438 36.23/34.50 objective:-1456438 36.23/34.50 o 1458249 36.23/34.50 objective:-1458249 36.23/34.50 o 1458793 36.23/34.50 objective:-1458793 36.33/34.50 o 1458938 36.33/34.50 objective:-1458938 36.33/34.50 o 1459482 36.33/34.50 objective:-1459482 36.94/35.16 o 1459680 36.94/35.16 objective:-1459680 36.94/35.16 o 1459751 36.94/35.16 objective:-1459751 36.94/35.16 o 1460453 36.94/35.16 objective:-1460453 36.94/35.16 o 1460772 36.94/35.16 objective:-1460772 36.94/35.16 o 1461440 36.94/35.16 objective:-1461440 36.94/35.16 o 1461759 36.94/35.16 objective:-1461759 36.94/35.16 o 1461997 36.94/35.16 objective:-1461997 36.94/35.16 o 1462068 36.94/35.16 objective:-1462068 36.94/35.17 o 1462770 36.94/35.17 objective:-1462770 36.94/35.17 o 1463089 36.94/35.17 objective:-1463089 36.94/35.17 o 1463757 36.94/35.17 objective:-1463757 36.94/35.17 o 1464076 36.94/35.17 objective:-1464076 36.94/35.17 o 1464245 36.94/35.17 objective:-1464245 36.94/35.17 o 1465018 36.94/35.17 objective:-1465018 36.94/35.17 o 1465337 36.94/35.17 objective:-1465337 36.94/35.17 o 1466005 36.94/35.17 objective:-1466005 36.94/35.17 o 1466324 36.94/35.17 objective:-1466324 36.94/35.17 o 1466620 36.94/35.17 objective:-1466620 36.94/35.17 o 1466691 36.94/35.17 objective:-1466691 36.94/35.17 o 1467712 36.94/35.17 objective:-1467712 36.94/35.17 o 1468699 36.94/35.17 objective:-1468699 36.94/35.17 o 1468937 36.94/35.17 objective:-1468937 36.94/35.18 o 1469008 36.94/35.18 objective:-1469008 36.94/35.18 o 1470029 36.94/35.18 objective:-1470029 36.94/35.18 o 1471016 36.94/35.18 objective:-1471016 36.94/35.18 o 1471335 36.94/35.18 objective:-1471335 36.94/35.18 o 1472177 36.94/35.18 objective:-1472177 36.94/35.18 o 1472415 36.94/35.18 objective:-1472415 36.94/35.18 o 1472486 36.94/35.18 objective:-1472486 36.94/35.18 o 1473507 36.94/35.18 objective:-1473507 36.94/35.18 o 1474494 36.94/35.18 objective:-1474494 36.94/35.18 o 1474813 36.94/35.18 objective:-1474813 36.94/35.18 o 1475767 36.94/35.18 objective:-1475767 36.94/35.18 o 1476086 36.94/35.18 objective:-1476086 36.94/35.18 o 1476382 36.94/35.18 objective:-1476382 36.94/35.18 o 1476453 36.94/35.18 objective:-1476453 36.94/35.19 o 1477474 36.94/35.19 objective:-1477474 36.94/35.19 o 1478461 36.94/35.19 objective:-1478461 36.94/35.19 o 1478699 36.94/35.19 objective:-1478699 36.94/35.19 o 1478770 36.94/35.19 objective:-1478770 36.94/35.19 o 1479791 36.94/35.19 objective:-1479791 36.94/35.19 o 1480778 36.94/35.19 objective:-1480778 36.94/35.19 o 1481097 36.94/35.19 objective:-1481097 36.94/35.19 o 1481828 36.94/35.19 objective:-1481828 36.94/35.19 o 1482815 36.94/35.19 objective:-1482815 36.94/35.19 o 1483053 36.94/35.19 objective:-1483053 36.94/35.19 o 1483124 36.94/35.19 objective:-1483124 36.94/35.19 o 1484145 36.94/35.19 objective:-1484145 36.94/35.19 o 1485132 36.94/35.19 objective:-1485132 36.94/35.19 o 1485451 36.94/35.19 objective:-1485451 36.94/35.19 o 1486003 36.94/35.19 objective:-1486003 36.94/35.20 o 1486990 36.94/35.20 objective:-1486990 36.94/35.20 o 1487309 36.94/35.20 objective:-1487309 37.64/35.84 o 1487909 37.64/35.84 objective:-1487909 37.64/35.84 o 1488023 37.64/35.84 objective:-1488023 37.64/35.85 o 1488459 37.64/35.85 objective:-1488459 38.94/37.15 o 1490730 38.94/37.15 objective:-1490730 38.94/37.15 o 1491197 38.94/37.15 objective:-1491197 38.94/37.15 o 1491246 38.94/37.15 objective:-1491246 38.94/37.16 o 1491419 38.94/37.16 objective:-1491419 38.94/37.16 o 1491468 38.94/37.16 objective:-1491468 38.94/37.16 o 1491886 38.94/37.16 objective:-1491886 38.94/37.16 o 1491935 38.94/37.16 objective:-1491935 38.94/37.16 o 1491963 38.94/37.16 objective:-1491963 38.94/37.16 o 1492430 38.94/37.16 objective:-1492430 38.94/37.17 o 1492479 38.94/37.17 objective:-1492479 41.64/39.84 o 1494138 41.64/39.84 objective:-1494138 41.64/39.84 o 1494713 41.64/39.84 objective:-1494713 41.64/39.84 o 1495263 41.64/39.84 objective:-1495263 41.64/39.84 o 1495838 41.64/39.84 objective:-1495838 41.64/39.85 o 1497030 41.64/39.85 objective:-1497030 41.64/39.85 o 1498155 41.64/39.85 objective:-1498155 41.64/39.85 o 1501423 41.64/39.85 objective:-1501423 41.64/39.85 o 1502548 41.64/39.85 objective:-1502548 41.64/39.85 o 1505345 41.64/39.85 objective:-1505345 41.64/39.85 o 1506470 41.64/39.85 objective:-1506470 41.64/39.85 o 1507045 41.64/39.85 objective:-1507045 41.64/39.86 o 1507159 41.64/39.86 objective:-1507159 41.64/39.86 o 1507734 41.64/39.86 objective:-1507734 42.24/40.49 o 1508101 42.24/40.49 objective:-1508101 42.24/40.49 o 1508618 42.24/40.49 objective:-1508618 42.24/40.49 o 1514269 42.24/40.49 objective:-1514269 42.24/40.49 o 1516589 42.24/40.49 objective:-1516589 42.24/40.49 o 1517106 42.24/40.49 objective:-1517106 42.24/40.49 o 1517494 42.24/40.49 objective:-1517494 42.24/40.49 o 1519814 42.24/40.49 objective:-1519814 42.24/40.49 o 1520331 42.24/40.49 objective:-1520331 44.27/42.47 o 1521553 44.27/42.47 objective:-1521553 44.27/42.47 o 1522070 44.27/42.47 objective:-1522070 44.27/42.47 o 1522103 44.27/42.47 objective:-1522103 44.27/42.47 o 1522620 44.27/42.47 objective:-1522620 44.27/42.47 o 1522647 44.27/42.47 objective:-1522647 44.27/42.47 o 1523164 44.27/42.47 objective:-1523164 44.27/42.48 o 1523643 44.27/42.48 objective:-1523643 44.27/42.48 o 1524187 44.27/42.48 objective:-1524187 44.27/42.48 o 1525730 44.27/42.48 objective:-1525730 44.27/42.48 o 1526280 44.27/42.48 objective:-1526280 44.27/42.48 o 1526860 44.27/42.48 objective:-1526860 44.27/42.48 o 1527211 44.27/42.48 objective:-1527211 44.27/42.48 o 1529180 44.27/42.48 objective:-1529180 44.27/42.48 o 1529730 44.27/42.48 objective:-1529730 44.27/42.48 o 1530274 44.27/42.48 objective:-1530274 44.27/42.48 o 1530791 44.27/42.48 objective:-1530791 44.27/42.49 o 1531194 44.27/42.49 objective:-1531194 44.27/42.49 o 1531711 44.27/42.49 objective:-1531711 44.27/42.49 o 1531738 44.27/42.49 objective:-1531738 44.27/42.49 o 1532255 44.27/42.49 objective:-1532255 47.69/45.88 o 1532303 47.69/45.88 objective:-1532303 47.69/45.88 o 1532980 47.69/45.88 objective:-1532980 47.69/45.88 o 1533299 47.69/45.88 objective:-1533299 47.69/45.88 o 1533497 47.69/45.88 objective:-1533497 47.69/45.88 o 1533816 47.69/45.88 objective:-1533816 47.69/45.88 o 1533844 47.69/45.88 objective:-1533844 47.69/45.88 o 1534163 47.69/45.88 objective:-1534163 47.69/45.88 o 1534361 47.69/45.88 objective:-1534361 47.69/45.88 o 1534680 47.69/45.88 objective:-1534680 47.69/45.88 o 1535175 47.69/45.88 objective:-1535175 47.69/45.88 o 1535852 47.69/45.88 objective:-1535852 47.69/45.88 o 1536171 47.69/45.88 objective:-1536171 47.69/45.89 o 1536369 47.69/45.89 objective:-1536369 47.69/45.89 o 1536688 47.69/45.89 objective:-1536688 47.69/45.89 o 1536986 47.69/45.89 objective:-1536986 47.69/45.89 o 1537663 47.69/45.89 objective:-1537663 47.69/45.89 o 1537982 47.69/45.89 objective:-1537982 47.69/45.89 o 1538180 47.69/45.89 objective:-1538180 47.69/45.89 o 1538499 47.69/45.89 objective:-1538499 47.69/45.89 o 1538964 47.69/45.89 objective:-1538964 47.69/45.89 o 1539283 47.69/45.89 objective:-1539283 47.69/45.89 o 1539481 47.69/45.89 objective:-1539481 47.69/45.89 o 1539800 47.69/45.89 objective:-1539800 47.69/45.89 o 1540066 47.69/45.89 objective:-1540066 47.69/45.89 o 1540385 47.69/45.89 objective:-1540385 47.69/45.89 o 1540583 47.69/45.89 objective:-1540583 47.69/45.89 o 1540902 47.69/45.89 objective:-1540902 47.69/45.89 o 1541200 47.69/45.89 objective:-1541200 47.69/45.89 o 1541877 47.69/45.89 objective:-1541877 47.69/45.90 o 1542196 47.69/45.90 objective:-1542196 47.69/45.90 o 1542394 47.69/45.90 objective:-1542394 47.69/45.90 o 1542713 47.69/45.90 objective:-1542713 47.79/45.90 o 1542910 47.79/45.90 objective:-1542910 47.79/45.90 o 1543208 47.79/45.90 objective:-1543208 47.79/45.90 o 1543885 47.79/45.90 objective:-1543885 47.79/45.90 o 1544204 47.79/45.90 objective:-1544204 47.79/45.90 o 1544402 47.79/45.90 objective:-1544402 47.79/45.90 o 1544721 47.79/45.90 objective:-1544721 47.79/45.90 o 1544834 47.79/45.90 objective:-1544834 47.79/45.90 o 1545015 47.79/45.90 objective:-1545015 47.79/45.90 o 1545213 47.79/45.90 objective:-1545213 47.79/45.90 o 1545532 47.79/45.90 objective:-1545532 47.79/45.90 o 1545729 47.79/45.90 objective:-1545729 47.79/45.90 o 1546027 47.79/45.90 objective:-1546027 47.79/45.90 o 1546704 47.79/45.90 objective:-1546704 47.79/45.90 o 1547023 47.79/45.90 objective:-1547023 47.79/45.90 o 1547221 47.79/45.90 objective:-1547221 47.79/45.90 o 1547540 47.79/45.90 objective:-1547540 47.79/45.91 o 1547757 47.79/45.91 objective:-1547757 47.79/45.91 o 1547955 47.79/45.91 objective:-1547955 47.79/45.91 o 1548274 47.79/45.91 objective:-1548274 47.79/45.91 o 1548572 47.79/45.91 objective:-1548572 47.79/45.91 o 1549249 47.79/45.91 objective:-1549249 47.79/45.91 o 1549568 47.79/45.91 objective:-1549568 47.79/45.91 o 1549766 47.79/45.91 objective:-1549766 47.79/45.91 o 1550085 47.79/45.91 objective:-1550085 47.79/45.91 o 1550282 47.79/45.91 objective:-1550282 47.79/45.91 o 1550580 47.79/45.91 objective:-1550580 47.79/45.91 o 1551257 47.79/45.91 objective:-1551257 47.79/45.91 o 1551576 47.79/45.91 objective:-1551576 47.79/45.91 o 1551774 47.79/45.91 objective:-1551774 47.79/45.91 o 1552093 47.79/45.91 objective:-1552093 51.69/49.85 o 1552273 51.69/49.85 objective:-1552273 51.69/49.85 o 1552740 51.69/49.85 objective:-1552740 51.69/49.85 o 1552960 51.69/49.85 objective:-1552960 51.69/49.85 o 1553427 51.69/49.85 objective:-1553427 51.69/49.85 o 1554141 51.69/49.85 objective:-1554141 51.69/49.85 o 1554818 51.69/49.85 objective:-1554818 51.69/49.85 o 1555285 51.69/49.85 objective:-1555285 51.69/49.85 o 1555435 51.69/49.85 objective:-1555435 51.69/49.85 o 1556149 51.69/49.85 objective:-1556149 51.69/49.85 o 1556826 51.69/49.85 objective:-1556826 51.69/49.85 o 1557293 51.69/49.85 objective:-1557293 51.69/49.86 o 1557328 51.69/49.86 objective:-1557328 51.69/49.86 o 1558005 51.69/49.86 objective:-1558005 51.69/49.86 o 1558472 51.69/49.86 objective:-1558472 51.69/49.86 o 1558622 51.69/49.86 objective:-1558622 51.69/49.86 o 1559336 51.69/49.86 objective:-1559336 51.69/49.86 o 1560013 51.69/49.86 objective:-1560013 51.69/49.86 o 1560480 51.69/49.86 objective:-1560480 51.69/49.86 o 1560711 51.69/49.86 objective:-1560711 51.69/49.86 o 1561178 51.69/49.86 objective:-1561178 51.69/49.86 o 1561328 51.69/49.86 objective:-1561328 51.69/49.86 o 1562042 51.69/49.86 objective:-1562042 51.69/49.86 o 1562719 51.69/49.86 objective:-1562719 51.69/49.86 o 1563186 51.69/49.86 objective:-1563186 51.69/49.86 o 1563406 51.69/49.86 objective:-1563406 51.69/49.86 o 1563873 51.69/49.86 objective:-1563873 51.69/49.86 o 1564587 51.69/49.86 objective:-1564587 51.69/49.86 o 1565264 51.69/49.86 objective:-1565264 51.69/49.86 o 1565731 51.69/49.86 objective:-1565731 51.69/49.86 o 1565881 51.69/49.86 objective:-1565881 51.69/49.86 o 1566595 51.69/49.86 objective:-1566595 51.69/49.86 o 1567272 51.69/49.86 objective:-1567272 51.69/49.87 o 1567739 51.69/49.87 objective:-1567739 51.69/49.87 o 1568540 51.69/49.87 objective:-1568540 51.69/49.87 o 1569007 51.69/49.87 objective:-1569007 51.69/49.87 o 1569227 51.69/49.87 objective:-1569227 51.69/49.87 o 1569694 51.69/49.87 objective:-1569694 51.69/49.87 o 1571085 51.69/49.87 objective:-1571085 51.69/49.87 o 1571552 51.69/49.87 objective:-1571552 51.69/49.87 o 1571702 51.69/49.87 objective:-1571702 51.69/49.87 o 1573093 51.69/49.87 objective:-1573093 51.69/49.87 o 1573560 51.69/49.87 objective:-1573560 51.69/49.87 o 1573770 51.69/49.87 objective:-1573770 51.69/49.87 o 1574237 51.69/49.87 objective:-1574237 54.29/52.50 o 1574319 54.29/52.50 objective:-1574319 54.29/52.50 o 1574638 54.29/52.50 objective:-1574638 54.39/52.50 o 1574825 54.39/52.50 objective:-1574825 54.39/52.50 o 1575144 54.39/52.50 objective:-1575144 54.39/52.50 o 1575649 54.39/52.50 objective:-1575649 54.39/52.50 o 1576636 54.39/52.50 objective:-1576636 54.39/52.50 o 1576955 54.39/52.50 objective:-1576955 54.39/52.50 o 1577238 54.39/52.50 objective:-1577238 54.39/52.50 o 1578730 54.39/52.50 objective:-1578730 54.39/52.50 o 1579049 54.39/52.50 objective:-1579049 54.39/52.51 o 1579717 54.39/52.51 objective:-1579717 54.39/52.51 o 1580036 54.39/52.51 objective:-1580036 54.39/52.51 o 1580272 54.39/52.51 objective:-1580272 54.39/52.51 o 1581602 54.39/52.51 objective:-1581602 54.39/52.51 o 1582589 54.39/52.51 objective:-1582589 54.39/52.51 o 1582908 54.39/52.51 objective:-1582908 54.39/52.51 o 1583107 54.39/52.51 objective:-1583107 54.39/52.51 o 1584918 54.39/52.51 objective:-1584918 54.39/52.51 o 1585424 54.39/52.51 objective:-1585424 54.39/52.51 o 1587235 54.39/52.51 objective:-1587235 54.39/52.51 o 1587554 54.39/52.51 objective:-1587554 54.39/52.51 o 1588222 54.39/52.51 objective:-1588222 54.39/52.51 o 1588541 54.39/52.51 objective:-1588541 54.39/52.51 o 1588588 54.39/52.51 objective:-1588588 54.39/52.51 o 1589093 54.39/52.51 objective:-1589093 54.39/52.51 o 1590080 54.39/52.51 objective:-1590080 54.39/52.52 o 1590399 54.39/52.52 objective:-1590399 54.39/52.52 o 1591004 54.39/52.52 objective:-1591004 54.39/52.52 o 1592862 54.39/52.52 objective:-1592862 54.39/52.52 o 1593321 54.39/52.52 objective:-1593321 54.39/52.52 o 1595179 54.39/52.52 objective:-1595179 54.39/52.52 o 1596990 54.39/52.52 objective:-1596990 54.39/52.52 o 1597977 54.39/52.52 objective:-1597977 54.39/52.52 o 1598296 54.39/52.52 objective:-1598296 55.00/53.15 o 1598725 55.00/53.15 objective:-1598725 55.00/53.16 o 1598835 55.00/53.16 objective:-1598835 55.00/53.16 o 1600694 55.00/53.16 objective:-1600694 55.00/53.16 o 1601514 55.00/53.16 objective:-1601514 64.00/62.12 o 1601725 64.00/62.12 objective:-1601725 64.00/62.12 o 1603881 64.00/62.12 objective:-1603881 64.00/62.12 o 1604868 64.00/62.12 objective:-1604868 64.00/62.12 o 1605557 64.00/62.12 objective:-1605557 70.43/68.55 o 1605684 70.43/68.55 objective:-1605684 70.43/68.55 o 1606448 70.43/68.55 objective:-1606448 70.43/68.55 o 1606474 70.43/68.55 objective:-1606474 70.43/68.55 o 1606570 70.43/68.55 objective:-1606570 70.43/68.55 o 1607334 70.43/68.55 objective:-1607334 70.43/68.55 o 1607643 70.43/68.55 objective:-1607643 70.43/68.55 o 1609651 70.43/68.55 objective:-1609651 70.43/68.55 o 1610415 70.43/68.55 objective:-1610415 70.43/68.55 o 1611509 70.43/68.55 objective:-1611509 70.43/68.55 o 1612273 70.43/68.55 objective:-1612273 70.43/68.55 o 1612619 70.43/68.55 objective:-1612619 70.43/68.56 o 1612928 70.43/68.56 objective:-1612928 70.43/68.56 o 1614936 70.43/68.56 objective:-1614936 70.43/68.56 o 1615700 70.43/68.56 objective:-1615700 70.43/68.56 o 1616794 70.43/68.56 objective:-1616794 70.43/68.56 o 1617558 70.43/68.56 objective:-1617558 70.43/68.56 o 1618858 70.43/68.56 objective:-1618858 70.43/68.56 o 1619622 70.43/68.56 objective:-1619622 70.43/68.56 o 1620716 70.43/68.56 objective:-1620716 70.43/68.56 o 1621480 70.43/68.56 objective:-1621480 73.63/71.75 o 1621912 73.63/71.75 objective:-1621912 73.63/71.75 o 1622456 73.63/71.75 objective:-1622456 73.63/71.75 o 1622541 73.63/71.75 objective:-1622541 73.63/71.76 o 1622844 73.63/71.76 objective:-1622844 73.63/71.76 o 1624852 73.63/71.76 objective:-1624852 73.63/71.76 o 1625396 73.63/71.76 objective:-1625396 73.63/71.76 o 1625913 73.63/71.76 objective:-1625913 73.63/71.76 o 1626232 73.63/71.76 objective:-1626232 73.63/71.76 o 1626378 73.63/71.76 objective:-1626378 73.63/71.76 o 1626463 73.63/71.76 objective:-1626463 73.63/71.76 o 1626766 73.63/71.76 objective:-1626766 73.63/71.76 o 1628774 73.63/71.76 objective:-1628774 73.63/71.76 o 1629318 73.63/71.76 objective:-1629318 73.63/71.76 o 1629835 73.63/71.76 objective:-1629835 73.63/71.76 o 1630154 73.63/71.76 objective:-1630154 73.63/71.76 o 1631159 73.63/71.76 objective:-1631159 73.63/71.76 o 1631703 73.63/71.76 objective:-1631703 73.63/71.76 o 1632220 73.63/71.76 objective:-1632220 73.63/71.77 o 1632539 73.63/71.77 objective:-1632539 73.63/71.77 o 1633167 73.63/71.77 objective:-1633167 73.63/71.77 o 1633684 73.63/71.77 objective:-1633684 73.63/71.77 o 1634003 73.63/71.77 objective:-1634003 73.63/71.77 o 1634030 73.63/71.77 objective:-1634030 73.63/71.77 o 1634228 73.63/71.77 objective:-1634228 73.63/71.77 o 1634547 73.63/71.77 objective:-1634547 73.63/71.77 o 1634938 73.63/71.77 objective:-1634938 73.63/71.77 o 1635482 73.63/71.77 objective:-1635482 73.63/71.77 o 1635999 73.63/71.77 objective:-1635999 73.63/71.78 o 1636318 73.63/71.78 objective:-1636318 73.63/71.78 o 1637619 73.63/71.78 objective:-1637619 73.63/71.78 o 1638136 73.63/71.78 objective:-1638136 73.63/71.78 o 1638455 73.63/71.78 objective:-1638455 73.63/71.78 o 1638680 73.63/71.78 objective:-1638680 73.63/71.78 o 1638999 73.63/71.78 objective:-1638999 73.63/71.79 o 1639070 73.63/71.79 objective:-1639070 73.63/71.79 o 1639587 73.63/71.79 objective:-1639587 73.63/71.79 o 1639614 73.63/71.79 objective:-1639614 73.63/71.79 o 1640131 73.63/71.79 objective:-1640131 73.63/71.79 o 1640841 73.63/71.79 objective:-1640841 73.63/71.79 o 1641385 73.63/71.79 objective:-1641385 73.63/71.79 o 1641902 73.63/71.79 objective:-1641902 74.33/72.41 o 1643413 74.33/72.41 objective:-1643413 74.33/72.41 o 1643460 74.33/72.41 objective:-1643460 74.33/72.41 o 1645271 74.33/72.41 objective:-1645271 74.33/72.42 o 1645948 74.33/72.42 objective:-1645948 74.33/72.42 o 1646202 74.33/72.42 objective:-1646202 74.33/72.42 o 1646879 74.33/72.42 objective:-1646879 74.33/72.43 o 1646887 74.33/72.43 objective:-1646887 74.33/72.43 o 1648745 74.33/72.43 objective:-1648745 74.33/72.43 o 1650556 74.33/72.43 objective:-1650556 76.23/74.31 o 1651126 76.23/74.31 objective:-1651126 76.23/74.31 o 1651670 76.23/74.31 objective:-1651670 80.63/78.77 o 1652656 80.63/78.77 objective:-1652656 80.63/78.77 o 1653206 80.63/78.77 objective:-1653206 80.63/78.78 o 1653356 80.63/78.78 objective:-1653356 80.63/78.78 o 1654664 80.63/78.78 objective:-1654664 80.63/78.78 o 1655214 80.63/78.78 objective:-1655214 83.84/81.98 o 1656765 83.84/81.98 objective:-1656765 83.84/81.98 o 1656814 83.84/81.98 objective:-1656814 86.44/84.53 o 1656906 86.44/84.53 objective:-1656906 86.44/84.53 o 1657225 86.44/84.53 objective:-1657225 86.44/84.53 o 1657294 86.44/84.53 objective:-1657294 86.44/84.53 o 1657613 86.44/84.53 objective:-1657613 86.44/84.53 o 1657761 86.44/84.53 objective:-1657761 86.44/84.53 o 1658080 86.44/84.53 objective:-1658080 86.44/84.53 o 1658408 86.44/84.53 objective:-1658408 86.44/84.53 o 1658727 86.44/84.53 objective:-1658727 86.44/84.53 o 1658875 86.44/84.53 objective:-1658875 86.44/84.53 o 1659194 86.44/84.53 objective:-1659194 86.44/84.53 o 1659213 86.44/84.53 objective:-1659213 86.44/84.53 o 1659361 86.44/84.53 objective:-1659361 86.44/84.53 o 1659680 86.44/84.53 objective:-1659680 86.44/84.53 o 1660008 86.44/84.53 objective:-1660008 86.44/84.53 o 1660327 86.44/84.53 objective:-1660327 86.44/84.53 o 1660475 86.44/84.53 objective:-1660475 86.44/84.53 o 1660794 86.44/84.53 objective:-1660794 92.07/90.13 o 1662179 92.07/90.13 objective:-1662179 92.07/90.13 o 1662646 92.07/90.13 objective:-1662646 92.07/90.13 o 1662695 92.07/90.13 objective:-1662695 92.07/90.13 o 1663032 92.07/90.13 objective:-1663032 92.07/90.13 o 1663081 92.07/90.13 objective:-1663081 92.07/90.13 o 1664187 92.07/90.13 objective:-1664187 92.07/90.13 o 1664654 92.07/90.13 objective:-1664654 92.07/90.13 o 1664703 92.07/90.13 objective:-1664703 92.07/90.13 o 1665040 92.07/90.13 objective:-1665040 92.07/90.13 o 1665089 92.07/90.13 objective:-1665089 92.07/90.13 o 1665174 92.07/90.13 objective:-1665174 92.07/90.13 o 1665641 92.07/90.13 objective:-1665641 92.07/90.13 o 1665690 92.07/90.13 objective:-1665690 92.07/90.13 o 1666027 92.07/90.13 objective:-1666027 92.07/90.13 o 1666076 92.07/90.13 objective:-1666076 97.07/95.18 o 1666476 97.07/95.18 objective:-1666476 97.07/95.18 o 1666525 97.07/95.18 objective:-1666525 97.07/95.18 o 1667045 97.07/95.18 objective:-1667045 97.07/95.18 o 1668032 97.07/95.18 objective:-1668032 97.07/95.18 o 1668170 97.07/95.18 objective:-1668170 97.07/95.18 o 1669157 97.07/95.18 objective:-1669157 97.07/95.19 o 1669206 97.07/95.19 objective:-1669206 98.36/96.43 o 1669241 98.36/96.43 objective:-1669241 98.36/96.43 o 1669758 98.36/96.43 objective:-1669758 98.36/96.43 o 1669807 98.36/96.43 objective:-1669807 104.08/102.17 o 1670184 104.08/102.17 objective:-1670184 104.08/102.17 o 1670233 104.08/102.17 objective:-1670233 104.08/102.17 o 1670873 104.08/102.17 objective:-1670873 104.08/102.17 o 1670922 104.08/102.17 objective:-1670922 107.28/105.32 o 1672481 107.28/105.32 objective:-1672481 107.28/105.32 o 1675475 107.28/105.32 objective:-1675475 107.88/105.94 o 1676152 107.88/105.94 objective:-1676152 108.48/106.56 o 1676640 108.48/106.56 objective:-1676640 108.48/106.56 o 1677157 108.48/106.56 objective:-1677157 108.48/106.56 o 1677364 108.48/106.56 objective:-1677364 108.48/106.56 o 1678658 108.48/106.56 objective:-1678658 108.48/106.57 o 1679175 108.48/106.57 objective:-1679175 108.48/106.57 o 1680122 108.48/106.57 objective:-1680122 108.48/106.57 o 1680639 108.48/106.57 objective:-1680639 114.18/112.23 o 1680916 114.18/112.23 objective:-1680916 114.18/112.24 o 1681371 114.18/112.24 objective:-1681371 114.18/112.24 o 1681757 114.18/112.24 objective:-1681757 114.18/112.24 o 1682385 114.18/112.24 objective:-1682385 114.18/112.24 o 1682852 114.18/112.24 objective:-1682852 114.18/112.24 o 1683238 114.18/112.24 objective:-1683238 114.18/112.24 o 1683985 114.18/112.24 objective:-1683985 114.18/112.24 o 1684452 114.18/112.24 objective:-1684452 114.18/112.24 o 1684838 114.18/112.24 objective:-1684838 115.48/113.51 o 1684839 115.48/113.51 objective:-1684839 115.48/113.51 o 1684951 115.48/113.51 objective:-1684951 115.48/113.51 o 1685675 115.48/113.51 objective:-1685675 115.48/113.51 o 1686439 115.48/113.51 objective:-1686439 115.48/113.51 o 1686810 115.48/113.51 objective:-1686810 115.48/113.51 o 1687534 115.48/113.51 objective:-1687534 115.48/113.51 o 1688298 115.48/113.51 objective:-1688298 119.29/117.37 o 1688479 119.29/117.37 objective:-1688479 119.29/117.37 o 1688528 119.29/117.37 objective:-1688528 119.29/117.37 o 1689208 119.29/117.37 objective:-1689208 119.29/117.37 o 1689752 119.29/117.37 objective:-1689752 119.29/117.37 o 1689801 119.29/117.37 objective:-1689801 119.29/117.38 o 1692289 119.29/117.38 objective:-1692289 119.29/117.38 o 1692833 119.29/117.38 objective:-1692833 119.29/117.38 o 1692882 119.29/117.38 objective:-1692882 119.29/117.39 o 1695767 119.29/117.39 objective:-1695767 119.29/117.39 o 1695816 119.29/117.39 objective:-1695816 121.19/119.29 o 1695893 121.19/119.29 objective:-1695893 121.19/119.29 o 1696360 121.19/119.29 objective:-1696360 125.00/123.08 o 1696543 125.00/123.08 objective:-1696543 125.00/123.08 o 1697010 125.00/123.08 objective:-1697010 129.39/127.40 o 1697273 129.39/127.40 objective:-1697273 129.39/127.40 o 1697433 129.39/127.40 objective:-1697433 129.39/127.40 o 1697564 129.39/127.40 objective:-1697564 129.39/127.40 o 1697950 129.39/127.40 objective:-1697950 131.89/129.90 o 1698473 131.89/129.90 objective:-1698473 131.89/129.90 o 1698921 131.89/129.90 objective:-1698921 131.89/129.90 o 1699598 131.89/129.90 objective:-1699598 131.89/129.90 o 1699607 131.89/129.90 objective:-1699607 131.89/129.90 o 1700284 131.89/129.90 objective:-1700284 131.89/129.90 o 1700732 131.89/129.90 objective:-1700732 131.89/129.90 o 1701409 131.89/129.90 objective:-1701409 138.69/136.71 o 1701428 138.69/136.71 objective:-1701428 138.69/136.71 o 1701765 138.69/136.71 objective:-1701765 138.69/136.71 o 1701814 138.69/136.71 objective:-1701814 138.69/136.71 o 1702193 138.69/136.71 objective:-1702193 138.69/136.71 o 1702242 138.69/136.71 objective:-1702242 138.69/136.71 o 1702710 138.69/136.71 objective:-1702710 138.69/136.71 o 1702759 138.69/136.71 objective:-1702759 138.69/136.71 o 1703096 138.69/136.71 objective:-1703096 138.69/136.71 o 1703145 138.69/136.71 objective:-1703145 138.69/136.71 o 1703387 138.69/136.71 objective:-1703387 138.69/136.71 o 1703436 138.69/136.71 objective:-1703436 138.69/136.71 o 1703773 138.69/136.71 objective:-1703773 138.69/136.71 o 1703822 138.69/136.71 objective:-1703822 138.69/136.71 o 1703962 138.69/136.71 objective:-1703962 138.69/136.71 o 1704011 138.69/136.71 objective:-1704011 138.69/136.71 o 1704348 138.69/136.71 objective:-1704348 138.69/136.71 o 1704397 138.69/136.71 objective:-1704397 140.49/138.55 o 1705257 140.49/138.55 objective:-1705257 140.49/138.55 o 1705774 140.49/138.55 objective:-1705774 140.49/138.56 o 1706144 140.49/138.56 objective:-1706144 140.49/138.56 o 1706596 140.49/138.56 objective:-1706596 140.49/138.56 o 1707938 140.49/138.56 objective:-1707938 140.49/138.56 o 1708455 140.49/138.56 objective:-1708455 143.00/141.03 o 1709870 143.00/141.03 objective:-1709870 143.00/141.03 o 1710420 143.00/141.03 objective:-1710420 143.00/141.04 o 1711730 143.00/141.04 objective:-1711730 143.00/141.04 o 1712280 143.00/141.04 objective:-1712280 143.00/141.04 o 1713702 143.00/141.04 objective:-1713702 143.00/141.04 o 1714252 143.00/141.04 objective:-1714252 143.00/141.04 o 1714295 143.00/141.04 objective:-1714295 143.00/141.04 o 1714845 143.00/141.04 objective:-1714845 143.00/141.05 o 1716267 143.00/141.05 objective:-1716267 143.00/141.05 o 1716817 143.00/141.05 objective:-1716817 146.69/144.70 o 1717520 146.69/144.70 objective:-1717520 146.69/144.70 o 1717552 146.69/144.70 objective:-1717552 146.69/144.70 o 1717987 146.69/144.70 objective:-1717987 146.69/144.70 o 1718019 146.69/144.70 objective:-1718019 148.50/146.53 o 1718589 148.50/146.53 objective:-1718589 148.50/146.53 o 1719133 148.50/146.53 objective:-1719133 148.50/146.53 o 1721010 148.50/146.53 objective:-1721010 148.50/146.53 o 1721554 148.50/146.53 objective:-1721554 148.50/146.53 o 1721907 148.50/146.53 objective:-1721907 148.50/146.54 o 1721913 148.50/146.54 objective:-1721913 148.50/146.54 o 1722457 148.50/146.54 objective:-1722457 148.50/146.54 o 1723882 148.50/146.54 objective:-1723882 148.50/146.54 o 1724426 148.50/146.54 objective:-1724426 148.50/146.54 o 1724779 148.50/146.54 objective:-1724779 148.50/146.54 o 1725693 148.50/146.54 objective:-1725693 148.50/146.54 o 1726237 148.50/146.54 objective:-1726237 148.50/146.54 o 1726590 148.50/146.54 objective:-1726590 148.50/146.54 o 1726914 148.50/146.54 objective:-1726914 152.70/150.71 o 1727538 152.70/150.71 objective:-1727538 152.70/150.71 o 1728005 152.70/150.71 objective:-1728005 159.91/157.94 o 1728533 159.91/157.94 objective:-1728533 159.91/157.94 o 1728582 159.91/157.94 objective:-1728582 159.91/157.94 o 1729000 159.91/157.94 objective:-1729000 159.91/157.94 o 1729049 159.91/157.94 objective:-1729049 159.91/157.94 o 1730579 159.91/157.94 objective:-1730579 159.91/157.94 o 1731670 159.91/157.94 objective:-1731670 159.91/157.94 o 1731719 159.91/157.94 objective:-1731719 159.91/157.95 o 1732890 159.91/157.95 objective:-1732890 159.91/157.95 o 1733981 159.91/157.95 objective:-1733981 159.91/157.95 o 1734030 159.91/157.95 objective:-1734030 159.91/157.95 o 1734448 159.91/157.95 objective:-1734448 159.91/157.95 o 1734497 159.91/157.95 objective:-1734497 159.91/157.95 o 1734701 159.91/157.95 objective:-1734701 159.91/157.95 o 1735792 159.91/157.95 objective:-1735792 159.91/157.95 o 1735841 159.91/157.95 objective:-1735841 159.91/157.95 o 1736259 159.91/157.95 objective:-1736259 159.91/157.95 o 1736308 159.91/157.95 objective:-1736308 174.43/172.41 o 1736408 174.43/172.41 objective:-1736408 174.43/172.41 o 1736541 174.43/172.41 objective:-1736541 174.43/172.41 o 1737085 174.43/172.41 objective:-1737085 174.43/172.42 o 1738337 174.43/172.42 objective:-1738337 174.43/172.42 o 1738887 174.43/172.42 objective:-1738887 174.43/172.42 o 1739014 174.43/172.42 objective:-1739014 174.43/172.42 o 1739564 174.43/172.42 objective:-1739564 174.43/172.43 o 1739937 174.43/172.43 objective:-1739937 174.43/172.43 o 1740614 174.43/172.43 objective:-1740614 174.43/172.43 o 1741164 174.43/172.43 objective:-1741164 174.43/172.43 o 1741401 174.43/172.43 objective:-1741401 174.43/172.43 o 1742078 174.43/172.43 objective:-1742078 174.43/172.43 o 1742628 174.43/172.43 objective:-1742628 175.62/173.62 o 1744417 175.62/173.62 objective:-1744417 175.62/173.62 o 1744803 175.62/173.62 objective:-1744803 175.62/173.62 o 1746046 175.62/173.62 objective:-1746046 175.62/173.62 o 1746432 175.62/173.62 objective:-1746432 175.62/173.62 o 1746546 175.62/173.62 objective:-1746546 175.62/173.62 o 1746932 175.62/173.62 objective:-1746932 175.62/173.63 o 1748475 175.62/173.63 objective:-1748475 175.62/173.63 o 1750104 175.62/173.63 objective:-1750104 175.62/173.63 o 1750490 175.62/173.63 objective:-1750490 183.93/181.98 o 1750517 183.93/181.98 objective:-1750517 183.93/181.98 o 1750648 183.93/181.98 objective:-1750648 183.93/181.98 o 1751034 183.93/181.98 objective:-1751034 185.73/183.77 o 1751834 185.73/183.77 objective:-1751834 185.73/183.77 o 1752301 185.73/183.77 objective:-1752301 185.73/183.77 o 1753453 185.73/183.77 objective:-1753453 185.73/183.77 o 1753920 185.73/183.77 objective:-1753920 185.73/183.77 o 1753968 185.73/183.77 objective:-1753968 185.73/183.77 o 1755312 185.73/183.77 objective:-1755312 185.73/183.77 o 1755779 185.73/183.77 objective:-1755779 201.35/199.37 o 1755935 201.35/199.37 objective:-1755935 201.35/199.37 o 1756490 201.35/199.37 objective:-1756490 201.35/199.37 o 1758807 201.35/199.37 objective:-1758807 201.35/199.37 o 1758839 201.35/199.37 objective:-1758839 210.26/208.26 o 1759410 210.26/208.26 objective:-1759410 210.26/208.26 o 1760099 210.26/208.26 objective:-1760099 210.26/208.26 o 1760148 210.26/208.26 objective:-1760148 210.26/208.26 o 1760978 210.26/208.26 objective:-1760978 210.26/208.26 o 1761667 210.26/208.26 objective:-1761667 210.26/208.26 o 1761716 210.26/208.26 objective:-1761716 210.26/208.26 o 1762491 210.26/208.26 objective:-1762491 210.26/208.26 o 1763180 210.26/208.26 objective:-1763180 210.26/208.26 o 1763229 210.26/208.26 objective:-1763229 210.26/208.27 o 1764052 210.26/208.27 objective:-1764052 210.26/208.27 o 1764101 210.26/208.27 objective:-1764101 210.26/208.27 o 1765596 210.26/208.27 objective:-1765596 210.26/208.27 o 1765645 210.26/208.27 objective:-1765645 210.26/208.27 o 1767109 210.26/208.27 objective:-1767109 210.26/208.27 o 1767158 210.26/208.27 objective:-1767158 210.26/208.28 o 1768677 210.26/208.28 objective:-1768677 210.26/208.28 o 1768726 210.26/208.28 objective:-1768726 210.26/208.28 o 1770190 210.26/208.28 objective:-1770190 210.26/208.28 o 1770239 210.26/208.28 objective:-1770239 238.78/236.73 o 1770452 238.78/236.73 objective:-1770452 238.78/236.73 o 1770743 238.78/236.73 objective:-1770743 238.78/236.73 o 1771129 238.78/236.73 objective:-1771129 249.48/247.44 o 1771174 249.48/247.44 objective:-1771174 249.48/247.44 o 1771562 249.48/247.44 objective:-1771562 249.48/247.44 o 1772170 249.48/247.44 objective:-1772170 249.48/247.44 o 1772687 249.48/247.44 objective:-1772687 261.49/259.42 o 1773678 261.49/259.42 objective:-1773678 261.49/259.42 o 1775892 261.49/259.42 objective:-1775892 261.49/259.42 o 1777017 261.49/259.42 objective:-1777017 279.79/277.71 o 1777028 279.79/277.71 objective:-1777028 279.79/277.72 o 1777529 279.79/277.72 objective:-1777529 279.79/277.72 o 1777578 279.79/277.72 objective:-1777578 279.79/277.72 o 1778747 279.79/277.72 objective:-1778747 279.79/277.72 o 1778796 279.79/277.72 objective:-1778796 279.79/277.72 o 1779297 279.79/277.72 objective:-1779297 279.79/277.72 o 1779346 279.79/277.72 objective:-1779346 279.79/277.73 o 1779872 279.79/277.73 objective:-1779872 279.79/277.73 o 1779921 279.79/277.73 objective:-1779921 279.79/277.73 o 1780422 279.79/277.73 objective:-1780422 279.79/277.73 o 1780471 279.79/277.73 objective:-1780471 279.79/277.73 o 1781064 279.79/277.73 objective:-1781064 279.79/277.73 o 1781113 279.79/277.73 objective:-1781113 279.79/277.74 o 1781614 279.79/277.74 objective:-1781614 279.79/277.74 o 1781663 279.79/277.74 objective:-1781663 279.79/277.74 o 1782189 279.79/277.74 objective:-1782189 279.79/277.74 o 1782238 279.79/277.74 objective:-1782238 279.79/277.74 o 1782739 279.79/277.74 objective:-1782739 279.79/277.74 o 1782788 279.79/277.74 objective:-1782788 280.39/278.32 o 1783958 280.39/278.32 objective:-1783958 280.39/278.32 o 1784635 280.39/278.32 objective:-1784635 280.39/278.32 o 1785966 280.39/278.32 objective:-1785966 280.39/278.32 o 1786643 280.39/278.32 objective:-1786643 280.39/278.32 o 1787436 280.39/278.32 objective:-1787436 280.39/278.32 o 1788113 280.39/278.32 objective:-1788113 280.39/278.32 o 1789444 280.39/278.32 objective:-1789444 280.39/278.32 o 1790121 280.39/278.32 objective:-1790121 288.59/286.54 o 1790387 288.59/286.54 objective:-1790387 288.59/286.55 o 1790389 288.59/286.55 objective:-1790389 288.59/286.55 o 1790775 288.59/286.55 objective:-1790775 288.59/286.55 o 1790997 288.59/286.55 objective:-1790997 288.59/286.55 o 1791383 288.59/286.55 objective:-1791383 288.59/286.55 o 1791514 288.59/286.55 objective:-1791514 288.59/286.55 o 1791900 288.59/286.55 objective:-1791900 288.59/286.55 o 1791932 288.59/286.55 objective:-1791932 295.18/293.09 o 1792196 295.18/293.09 objective:-1792196 295.18/293.09 o 1792393 295.18/293.09 objective:-1792393 295.18/293.09 o 1792604 295.18/293.09 objective:-1792604 295.18/293.09 o 1794204 295.18/293.09 objective:-1794204 295.18/293.09 o 1795670 295.18/293.09 objective:-1795670 295.18/293.09 o 1795867 295.18/293.09 objective:-1795867 295.18/293.09 o 1796078 295.18/293.09 objective:-1796078 295.18/293.09 o 1797678 295.18/293.09 objective:-1797678 295.18/293.09 o 1797889 295.18/293.09 objective:-1797889 295.18/293.09 o 1799489 295.18/293.09 objective:-1799489 319.47/317.35 o 1800193 319.47/317.35 objective:-1800193 319.47/317.35 o 1801318 319.47/317.35 objective:-1801318 319.47/317.35 o 1801818 319.47/317.35 objective:-1801818 319.47/317.35 o 1803418 319.47/317.35 objective:-1803418 319.47/317.35 o 1804543 319.47/317.35 objective:-1804543 319.47/317.36 o 1804899 319.47/317.36 objective:-1804899 319.47/317.36 o 1806499 319.47/317.36 objective:-1806499 319.47/317.36 o 1807624 319.47/317.36 objective:-1807624 327.19/325.06 o 1808210 327.19/325.06 objective:-1808210 327.19/325.06 o 1808760 327.19/325.06 objective:-1808760 327.19/325.06 o 1809335 327.19/325.06 objective:-1809335 327.19/325.06 o 1809885 327.19/325.06 objective:-1809885 327.19/325.07 o 1811204 327.19/325.07 objective:-1811204 327.19/325.07 o 1811754 327.19/325.07 objective:-1811754 327.19/325.07 o 1812717 327.19/325.07 objective:-1812717 327.19/325.07 o 1813267 327.19/325.07 objective:-1813267 327.19/325.07 o 1813842 327.19/325.07 objective:-1813842 327.19/325.07 o 1814392 327.19/325.07 objective:-1814392 356.86/354.62 o 1814573 356.86/354.62 objective:-1814573 356.86/354.62 o 1815181 356.86/354.62 objective:-1815181 356.86/354.62 o 1815698 356.86/354.62 objective:-1815698 356.86/354.62 o 1815858 356.86/354.62 objective:-1815858 356.86/354.62 o 1816375 356.86/354.62 objective:-1816375 356.86/354.62 o 1816567 356.86/354.62 objective:-1816567 356.86/354.62 o 1817084 356.86/354.62 objective:-1817084 356.86/354.62 o 1817244 356.86/354.62 objective:-1817244 356.86/354.62 o 1817761 356.86/354.62 objective:-1817761 356.86/354.63 o 1817886 356.86/354.63 objective:-1817886 356.86/354.63 o 1819180 356.86/354.63 objective:-1819180 356.86/354.63 o 1819697 356.86/354.63 objective:-1819697 356.86/354.63 o 1820305 356.86/354.63 objective:-1820305 356.86/354.63 o 1820822 356.86/354.63 objective:-1820822 356.86/354.63 o 1821161 356.86/354.63 objective:-1821161 356.86/354.63 o 1821769 356.86/354.63 objective:-1821769 356.86/354.63 o 1822286 356.86/354.63 objective:-1822286 356.86/354.63 o 1822691 356.86/354.63 objective:-1822691 356.86/354.64 o 1823299 356.86/354.64 objective:-1823299 356.86/354.64 o 1823816 356.86/354.64 objective:-1823816 356.86/354.64 o 1824155 356.86/354.64 objective:-1824155 356.86/354.64 o 1824763 356.86/354.64 objective:-1824763 356.86/354.64 o 1825280 356.86/354.64 objective:-1825280 356.86/354.64 o 1825440 356.86/354.64 objective:-1825440 356.86/354.64 o 1825957 356.86/354.64 objective:-1825957 361.56/359.39 o 1826988 361.56/359.39 objective:-1826988 365.77/363.55 o 1827246 365.77/363.55 objective:-1827246 365.77/363.56 o 1828379 365.77/363.56 objective:-1828379 365.77/363.56 o 1828846 365.77/363.56 objective:-1828846 374.09/371.80 o 1829217 374.09/371.80 objective:-1829217 375.19/372.97 o 1831600 375.19/372.97 objective:-1831600 375.19/372.97 o 1832277 375.19/372.97 objective:-1832277 378.69/376.48 o 1832340 378.69/376.48 objective:-1832340 383.49/381.23 o 1832386 383.49/381.23 objective:-1832386 383.49/381.23 o 1833728 383.49/381.23 objective:-1833728 383.49/381.23 o 1834245 383.49/381.23 objective:-1834245 383.49/381.24 o 1835533 383.49/381.24 objective:-1835533 383.49/381.24 o 1837391 383.49/381.24 objective:-1837391 383.49/381.24 o 1837908 383.49/381.24 objective:-1837908 383.49/381.24 o 1839250 383.49/381.24 objective:-1839250 383.49/381.24 o 1839767 383.49/381.24 objective:-1839767 383.49/381.24 o 1839880 383.49/381.24 objective:-1839880 383.49/381.25 o 1841222 383.49/381.25 objective:-1841222 383.49/381.25 o 1841739 383.49/381.25 objective:-1841739 383.49/381.25 o 1842834 383.49/381.25 objective:-1842834 383.49/381.25 o 1843351 383.49/381.25 objective:-1843351 383.49/381.25 o 1844693 383.49/381.25 objective:-1844693 383.49/381.25 o 1845210 383.49/381.25 objective:-1845210 383.49/381.25 o 1845323 383.49/381.25 objective:-1845323 383.49/381.26 o 1846665 383.49/381.26 objective:-1846665 383.49/381.26 o 1847182 383.49/381.26 objective:-1847182 389.40/387.18 o 1849269 389.40/387.18 objective:-1849269 389.40/387.18 o 1851080 389.40/387.18 objective:-1851080 389.40/387.18 o 1851580 389.40/387.18 objective:-1851580 389.40/387.18 o 1853391 389.40/387.18 objective:-1853391 389.40/387.18 o 1853908 389.40/387.18 objective:-1853908 389.40/387.18 o 1854115 389.40/387.18 objective:-1854115 389.40/387.19 o 1855409 389.40/387.19 objective:-1855409 389.40/387.19 o 1855926 389.40/387.19 objective:-1855926 408.91/406.69 o 1856297 408.91/406.69 objective:-1856297 409.51/407.27 o 1856379 409.51/407.27 objective:-1856379 409.51/407.27 o 1856896 409.51/407.27 objective:-1856896 409.51/407.27 o 1857056 409.51/407.27 objective:-1857056 409.51/407.27 o 1857573 409.51/407.27 objective:-1857573 411.91/409.68 o 1857933 411.91/409.68 objective:-1857933 411.91/409.68 o 1858720 411.91/409.68 objective:-1858720 411.91/409.68 o 1859397 411.91/409.68 objective:-1859397 411.91/409.68 o 1859533 411.91/409.68 objective:-1859533 411.91/409.68 o 1860320 411.91/409.68 objective:-1860320 411.91/409.68 o 1860997 411.91/409.68 objective:-1860997 411.91/409.68 o 1861285 411.91/409.68 objective:-1861285 411.91/409.68 o 1861962 411.91/409.68 objective:-1861962 411.91/409.68 o 1862098 411.91/409.68 objective:-1862098 411.91/409.68 o 1862885 411.91/409.68 objective:-1862885 411.91/409.68 o 1863562 411.91/409.68 objective:-1863562 436.12/433.88 o 1864145 436.12/433.88 objective:-1864145 436.12/433.88 o 1864662 436.12/433.88 objective:-1864662 436.12/433.88 o 1865125 436.12/433.88 objective:-1865125 436.12/433.89 o 1865669 436.12/433.89 objective:-1865669 436.12/433.89 o 1865767 436.12/433.89 objective:-1865767 436.12/433.89 o 1866456 436.12/433.89 objective:-1866456 436.12/433.89 o 1867133 436.12/433.89 objective:-1867133 436.12/433.89 o 1867650 436.12/433.89 objective:-1867650 436.12/433.90 o 1867736 436.12/433.90 objective:-1867736 436.12/433.90 o 1868425 436.12/433.90 objective:-1868425 436.12/433.90 o 1869102 436.12/433.90 objective:-1869102 436.12/433.90 o 1869619 436.12/433.90 objective:-1869619 436.22/433.90 o 1870042 436.22/433.90 objective:-1870042 436.22/433.90 o 1870559 436.22/433.90 objective:-1870559 499.66/497.38 o 1872388 499.66/497.38 objective:-1872388 524.08/521.70 o 1872419 524.08/521.70 objective:-1872419 524.08/521.70 o 1872467 524.08/521.70 objective:-1872467 524.08/521.70 o 1874210 524.08/521.70 objective:-1874210 524.08/521.70 o 1874278 524.08/521.70 objective:-1874278 527.08/524.71 o 1874877 527.08/524.71 objective:-1874877 527.08/524.71 o 1875991 527.08/524.71 objective:-1875991 528.18/525.85 o 1876276 528.18/525.85 objective:-1876276 528.18/525.85 o 1876793 528.18/525.85 objective:-1876793 528.18/525.85 o 1877290 528.18/525.85 objective:-1877290 528.18/525.85 o 1877807 528.18/525.85 objective:-1877807 528.18/525.86 o 1878151 528.18/525.86 objective:-1878151 528.18/525.86 o 1879652 528.18/525.86 objective:-1879652 528.18/525.86 o 1880169 528.18/525.86 objective:-1880169 528.18/525.86 o 1880506 528.18/525.86 objective:-1880506 528.18/525.86 o 1881023 528.18/525.86 objective:-1881023 528.18/525.86 o 1882524 528.18/525.86 objective:-1882524 528.18/525.86 o 1883041 528.18/525.86 objective:-1883041 528.18/525.86 o 1884532 528.18/525.86 objective:-1884532 528.18/525.86 o 1885049 528.18/525.86 objective:-1885049 528.18/525.87 o 1886465 528.18/525.87 objective:-1886465 528.18/525.87 o 1886501 528.18/525.87 objective:-1886501 528.18/525.87 o 1888473 528.18/525.87 objective:-1888473 528.18/525.87 o 1888990 528.18/525.87 objective:-1888990 534.88/532.51 o 1889457 534.88/532.51 objective:-1889457 555.98/553.64 o 1890981 555.98/553.64 objective:-1890981 555.98/553.64 o 1891013 555.98/553.64 objective:-1891013 555.98/553.64 o 1892999 555.98/553.64 objective:-1892999 555.98/553.64 o 1893031 555.98/553.64 objective:-1893031 565.68/563.27 o 1893334 565.68/563.27 objective:-1893334 565.68/563.27 o 1893884 565.68/563.27 objective:-1893884 565.68/563.27 o 1894510 565.68/563.27 objective:-1894510 565.68/563.27 o 1894999 565.68/563.27 objective:-1894999 565.68/563.27 o 1895485 565.68/563.27 objective:-1895485 565.68/563.27 o 1896599 565.68/563.27 objective:-1896599 565.68/563.28 o 1897454 565.68/563.28 objective:-1897454 565.68/563.28 o 1898568 565.68/563.28 objective:-1898568 565.68/563.28 o 1899118 565.68/563.28 objective:-1899118 970.83/968.11 o 1899944 970.83/968.11 objective:-1899944 970.83/968.12 o 1901121 970.83/968.12 objective:-1901121 970.83/968.12 o 1902932 970.83/968.12 objective:-1902932 970.83/968.12 o 1904046 970.83/968.12 objective:-1904046 970.83/968.12 o 1904596 970.83/968.12 objective:-1904596 1020.23/1017.59 o 1905006 1020.23/1017.59 objective:-1905006 1020.23/1017.59 o 1905556 1020.23/1017.59 objective:-1905556 1020.23/1017.59 o 1905667 1020.23/1017.59 objective:-1905667 1020.23/1017.59 o 1906975 1020.23/1017.59 objective:-1906975 1020.23/1017.59 o 1907525 1020.23/1017.59 objective:-1907525 1020.23/1017.59 o 1907655 1020.23/1017.59 objective:-1907655 1020.23/1017.59 o 1908205 1020.23/1017.59 objective:-1908205 1020.23/1017.59 o 1909513 1020.23/1017.59 objective:-1909513 1020.23/1017.59 o 1910063 1020.23/1017.59 objective:-1910063 1020.23/1017.59 o 1910174 1020.23/1017.59 objective:-1910174 1020.23/1017.59 o 1911482 1020.23/1017.59 objective:-1911482 1020.23/1017.59 o 1912032 1020.23/1017.59 objective:-1912032 1277.17/1274.35 o 1912562 1277.17/1274.35 objective:-1912562 1277.17/1274.36 o 1913079 1277.17/1274.36 objective:-1913079 1277.17/1274.36 o 1913112 1277.17/1274.36 objective:-1913112 1277.17/1274.36 o 1913629 1277.17/1274.36 objective:-1913629 1287.18/1284.31 o 1914331 1287.18/1284.31 objective:-1914331 1287.18/1284.31 o 1914566 1287.18/1284.31 objective:-1914566 1287.18/1284.32 o 1915070 1287.18/1284.32 objective:-1915070 1287.18/1284.32 o 1916514 1287.18/1284.32 objective:-1916514 1287.18/1284.32 o 1917994 1287.18/1284.32 objective:-1917994 1287.18/1284.32 o 1919853 1287.18/1284.32 objective:-1919853 1287.18/1284.32 o 1919966 1287.18/1284.32 objective:-1919966 1287.18/1284.32 o 1921825 1287.18/1284.32 objective:-1921825 1312.30/1309.47 o 1922027 1312.30/1309.47 objective:-1922027 1332.61/1329.75 o 1922716 1332.61/1329.75 objective:-1922716 1587.18/1584.14 o 1922949 1587.18/1584.14 objective:-1922949 1587.18/1584.17 o 1923374 1587.18/1584.17 objective:-1923374 1587.18/1584.17 o 1924063 1587.18/1584.17 objective:-1924063 1588.37/1585.31 o 1925003 1588.37/1585.31 objective:-1925003 2262.84/2259.46 o 1925617 2262.84/2259.46 objective:-1925617 2262.84/2259.46 o 1925666 2262.84/2259.46 objective:-1925666 2262.84/2259.46 o 1926521 2262.84/2259.46 objective:-1926521 2262.84/2259.46 o 1927635 2262.84/2259.46 objective:-1927635 2262.84/2259.46 o 1927646 2262.84/2259.46 objective:-1927646 2262.84/2259.46 o 1928760 2262.84/2259.46 objective:-1928760 2294.55/2291.11 o 1929320 2294.55/2291.11 objective:-1929320 2294.55/2291.11 o 1929870 2294.55/2291.11 objective:-1929870 2294.55/2291.12 o 1930784 2294.55/2291.12 objective:-1930784 2294.55/2291.12 o 1931334 2294.55/2291.12 objective:-1931334 2520.08/2516.50 s SATISFIABLE 2520.08/2516.51 v <instantiation> 2520.08/2516.51 v <list> 2520.08/2516.51 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.08/2516.51 v </list> 2520.08/2516.51 v <values> 2520.08/2516.51 v 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 0 0 0 0 1 1 0 0 0 0 0 0 1 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 1 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 0 1 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 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 1 0 0 0 0 0 1 0 1 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 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 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 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 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 0 0 1 0 0 0 0 0 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 1 0 0 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 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 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 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 1 0 0 0 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 1 0 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 1 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 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 1 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 0 0 0 0 1 1 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 1 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 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 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 1 0 0 1 0 0 0 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 0 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2520.08/2516.51 v </values> 2520.08/2516.51 v </instantiation>
OK 1931334
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 (14354 MiB free) memory of node 1: 16384 MiB (12900 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298541-1532765734/watcher-4298541-1532765734 -o /tmp/evaluation-result-4298541-1532765734/solver-4298541-1532765734 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532740893-4891 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298541-1532765734.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=7906, runsolver pid=7903 Current StackSize limit: 8192 KiB [startup+0.100058 s]* /proc/loadavg: 1.93 1.88 1.87 4/215 7921 /proc/meminfo: memFree=27893252/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10658972 memory=27748 CPUtime=0.12 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 5282 0 0 0 11 1 0 0 20 0 15 0 94136596 10914787328 6937 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664743 6937 2830 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10658972 memory=-8392839929047905472 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 3148 0 0 0 9 0 0 0 20 0 15 0 94136596 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853435193440 139853415044446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 6937 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136598 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) R 7903 7906 4860 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) R 7903 7906 4860 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852917991920 139853415863522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0.02 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852916937168 139853410313632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) R 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914787328 6937 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 27748 KiB [startup+0.210648 s]* /proc/loadavg: 1.93 1.88 1.87 4/215 7921 /proc/meminfo: memFree=27881852/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10658972 memory=41100 CPUtime=0.34 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 8364 0 0 0 32 2 0 0 20 0 15 0 94136596 10914787328 10275 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664743 10275 3007 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5109 0 0 0 19 1 0 0 20 0 15 0 94136596 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853435203328 139853430985885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10658972 memory=364 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10658972 memory=139875115132407 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914787328 10341 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136598 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) R 7903 7906 4860 0 -1 4202560 780 0 0 0 2 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852919025736 139853416604105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) R 7903 7906 4860 0 -1 4202560 268 0 0 0 2 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852917977720 139853416066373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 884 0 0 0 8 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852916935784 139853424069661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10658972 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914787328 10341 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 41100 KiB [startup+0.31122 s]* /proc/loadavg: 1.93 1.88 1.87 7/215 7921 /proc/meminfo: memFree=27874656/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10659048 memory=47492 CPUtime=0.58 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 8888 0 0 0 56 2 0 0 20 0 15 0 94136596 10914865152 11873 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664762 11873 3059 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5434 0 0 0 28 1 0 0 20 0 15 0 94136596 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853435199888 139853068833586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=304556149079015447 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=16239161515230872 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 11873 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136598 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=0 CPUtime=0.05 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) R 7903 7906 4860 0 -1 1077944384 793 0 0 0 5 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=-1 CPUtime=0.06 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 341 0 0 0 6 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=139875115124352 CPUtime=0.14 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 952 0 0 0 14 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852916937592 139853415209124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=139875115124352 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914865152 11873 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 0.58 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 47492 KiB [startup+0.701175 s] /proc/loadavg: 1.93 1.88 1.87 5/215 7921 /proc/meminfo: memFree=27720396/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10659048 memory=285904 CPUtime=1.74 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 12278 0 0 0 166 8 0 0 20 0 15 0 94136596 10914865152 71476 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664762 71476 3094 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=1840 CPUtime=0.66 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5715 0 0 0 61 5 0 0 20 0 15 0 94136596 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853435202672 139853416234081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=1004 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=12060 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=5788 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=792 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 71476 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94136598 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=1944 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=1416 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=4612 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=7163631965283378496 CPUtime=0.36 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 1841 0 0 0 36 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=7667213801450137426 CPUtime=0.39 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 1628 0 0 0 39 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=7368003688827211856 CPUtime=0.28 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) R 7903 7906 4860 0 -1 4202560 1723 0 0 0 28 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852916939632 139853430985306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=31396 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136602 10914865152 71476 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 1.74 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 285904 KiB [startup+1.50074 s] /proc/loadavg: 1.93 1.88 1.87 3/215 7921 /proc/meminfo: memFree=27635780/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10659048 memory=288184 CPUtime=2.65 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 12417 0 0 0 257 8 0 0 20 0 15 0 94136596 10914865152 72046 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664762 72046 3103 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=0 CPUtime=1.46 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 5784 0 0 0 141 5 0 0 20 0 15 0 94136596 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853435200904 139853072275129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94136597 10914865152 72046 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94136598 10914865152 72046 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 ################ # More data... # ################ /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 24712 0 0 0 244178 12 0 0 20 0 15 0 94136596 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853435203376 139853072635710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 2801 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3647 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3243 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3502 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 98108 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.06 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4098 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=392432 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=392432 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=1944 CPUtime=0.92 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7965 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.87 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9038 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=392432 CPUtime=0.41 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6017 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=392432 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=392432 CPUtime=1.23 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 1994 0 0 0 58 65 0 0 20 0 15 0 94136602 10914865152 98108 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 2445.83 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 392432 KiB [startup+2502.3 s] /proc/loadavg: 1.81 1.76 1.71 3/215 8072 /proc/meminfo: memFree=27564356/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10659048 memory=389356 CPUtime=2505.87 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 69430 0 0 0 250511 76 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664762 97339 3153 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=389356 CPUtime=2501.89 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 24992 0 0 0 250177 12 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853435203232 139853072635789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 3041 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3759 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3300 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3605 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.06 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4267 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.92 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7967 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.87 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9040 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.41 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6019 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=426 CPUtime=1.26 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 2025 0 0 0 59 67 0 0 20 0 15 0 94136602 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 2505.87 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 389356 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2516.5 s] /proc/loadavg: 1.78 1.75 1.71 3/215 8072 /proc/meminfo: memFree=27562432/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10659048 memory=389356 CPUtime=2520.08 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 69454 0 0 0 251931 77 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664762 97339 3153 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=389356 CPUtime=2516.09 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 25008 0 0 0 251597 12 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853435203232 139853072282883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 3041 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3759 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3300 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3605 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.06 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4267 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=4028 CPUtime=0.92 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7969 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=4872558044660077418 CPUtime=0.87 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9042 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=8496 CPUtime=0.41 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6021 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=5788 CPUtime=1.27 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 2027 0 0 0 59 68 0 0 20 0 15 0 94136602 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 2520.08 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 389356 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2516.53 s] # the end of solver process 7906 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.34 s, system=0.774036 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2516.5 s] /proc/loadavg: 1.78 1.75 1.71 3/215 8072 /proc/meminfo: memFree=27562432/32770624 swapFree=67108860/67108860 [pid=7906] ppid=7903 vsize=10659048 memory=389356 CPUtime=2520.08 cores=0,2,4,6 /proc/7906/stat : 7906 (java) S 7903 7906 4860 0 -1 1077944320 69454 0 0 0 251931 77 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 140721305256656 139853430963959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 /proc/7906/statm: 2664762 97339 3153 1 0 2627263 0 [pid=7906/tid=7908] ppid=7903 vsize=10659048 memory=389356 CPUtime=2516.09 cores=0,2,4,6 /proc/7906/task/7908/stat : 7908 (java) R 7903 7906 4860 0 -1 4202560 25008 0 0 0 251597 12 0 0 20 0 15 0 94136596 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853435203232 139853072282883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7909] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.08 cores=0,2,4,6 /proc/7906/task/7909/stat : 7909 (java) S 7903 7906 4860 0 -1 1077944384 3041 0 0 0 8 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853038201744 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7910] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7910/stat : 7910 (java) S 7903 7906 4860 0 -1 1077944384 3759 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853037148944 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7911] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7911/stat : 7911 (java) S 7903 7906 4860 0 -1 1077944384 3300 0 0 0 8 1 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853036096656 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7912] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.09 cores=0,2,4,6 /proc/7906/task/7912/stat : 7912 (java) S 7903 7906 4860 0 -1 1077944384 3605 0 0 0 9 0 0 0 20 0 15 0 94136597 10914865152 97339 33554432000 4194304 4196468 140721305274112 139853035043856 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7913] ppid=7903 vsize=10659048 memory=389356 CPUtime=0.06 cores=0,2,4,6 /proc/7906/task/7913/stat : 7913 (java) S 7903 7906 4860 0 -1 1077944384 4267 0 0 0 3 3 0 0 20 0 15 0 94136598 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852923254896 139853430975106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7914] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7914/stat : 7914 (java) S 7903 7906 4860 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852922200864 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7915] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7915/stat : 7915 (java) S 7903 7906 4860 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 94136599 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852921148528 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7916] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7916/stat : 7916 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852920096848 139853430982555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7917] ppid=7903 vsize=10659048 memory=4028 CPUtime=0.92 cores=0,2,4,6 /proc/7906/task/7917/stat : 7917 (java) S 7903 7906 4860 0 -1 1077944384 7969 0 0 0 91 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852919044720 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7918] ppid=7903 vsize=10659048 memory=4872558044660077418 CPUtime=0.87 cores=0,2,4,6 /proc/7906/task/7918/stat : 7918 (java) S 7903 7906 4860 0 -1 1077944384 9042 0 0 0 86 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852917991920 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7919] ppid=7903 vsize=10659048 memory=8496 CPUtime=0.41 cores=0,2,4,6 /proc/7906/task/7919/stat : 7919 (java) S 7903 7906 4860 0 -1 1077944384 6021 0 0 0 40 1 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852916939632 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7920] ppid=7903 vsize=10659048 memory=389356 CPUtime=0 cores=0,2,4,6 /proc/7906/task/7920/stat : 7920 (java) S 7903 7906 4860 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94136601 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852915887072 139853430974165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 [pid=7906/tid=7921] ppid=7903 vsize=10659048 memory=5788 CPUtime=1.27 cores=0,2,4,6 /proc/7906/task/7921/stat : 7921 (java) S 7903 7906 4860 0 -1 1077944384 2027 0 0 0 59 68 0 0 20 0 15 0 94136602 10914865152 97339 33554432000 4194304 4196468 140721305274112 139852914833840 139853430975106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23011328 140721305281709 140721305281801 140721305281801 140721305284559 0 Current children cumulated CPU time: 2520.08 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 389356 KiB Child status: 143 Real time (s): 2516.53 CPU time (s): 2520.12 CPU user time (s): 2519.34 CPU system time (s): 0.774036 CPU usage (%): 100.143 Max. virtual memory (cumulated for all children) (KiB): 10659048 Max. memory (cumulated for all children) (KiB): 419704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.34 system time used= 0.774036 maximum resident set size= 424288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69955 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56854 involuntary context switches= 2158 # summary of solver processes directly reported to runsolver: # pid: 7906 # total CPU time (s): 2520.12 # total CPU user time (s): 2519.34 # total CPU system time (s): 0.774036 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.8551 second user time and 23.2992 second system time The end
Begin job on node151 at 2018-07-28 10:15:34 IDJOB=4298541 IDBENCH=141154 IDSOLVER=2763 FILE ID=node151/4298541-1532765734 RUNJOBID= node151-1532740893-4891 PBS_JOBID= 21022447 Free space on /tmp= 54928 MiB SOLVER NAME= MiniCPFever 2018-04-29 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298541-1532765734/watcher-4298541-1532765734 -o /tmp/evaluation-result-4298541-1532765734/solver-4298541-1532765734 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532740893-4891 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298541-1532765734.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 125d0999a88baf20181d93552da446ae RANDOM SEED=1998920869 node151.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.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27909592 kB MemAvailable: 31561748 kB Buffers: 183820 kB Cached: 3737604 kB SwapCached: 0 kB Active: 1821880 kB Inactive: 2561484 kB Active(anon): 411412 kB Inactive(anon): 78192 kB Active(file): 1410468 kB Inactive(file): 2483292 kB Unevictable: 7804 kB Mlocked: 7804 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1236 kB Writeback: 0 kB AnonPages: 469336 kB Mapped: 54352 kB Shmem: 25224 kB Slab: 175796 kB SReclaimable: 148464 kB SUnreclaim: 27332 kB KernelStack: 3536 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1135772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 397312 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54924 MiB End job on node151 at 2018-07-28 10:57:31