Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 941080 | 19926.1 | 2520.35 |
Name | Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml |
MD5SUM | f56a4553a90e1a028ece3fd7f833aea7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2730403 |
Best CPU time to get the best result obtained on this benchmark | 19878 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 500 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 1214804324 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 2.56/1.13 c Parsing done, starting search... 15.07/6.59 o 29551 15.76/6.60 o 45677 15.76/6.66 o 53107 15.76/6.66 o 60244 15.76/6.66 o 83800 15.76/6.67 o 97092 15.76/6.67 o 101850 15.76/6.69 o 103354 15.76/6.70 o 108112 15.76/6.70 o 117985 15.76/6.70 o 122743 15.76/6.70 o 126910 16.57/6.72 o 131668 16.57/6.73 o 136115 16.57/6.73 o 138493 16.57/6.73 o 142660 16.57/6.73 o 142971 16.57/6.73 o 147418 16.57/6.75 o 153628 16.57/6.76 o 158386 16.57/6.76 o 162833 16.57/6.76 o 166448 16.57/6.76 o 169155 16.57/6.78 o 170738 16.57/6.78 o 175185 16.57/6.78 o 175496 16.57/6.78 o 179943 16.57/6.78 o 181986 16.57/6.79 o 186153 16.57/6.79 o 190911 16.57/6.79 o 195358 16.57/6.79 o 198973 16.57/6.79 o 200302 16.57/6.79 o 201445 17.32/6.81 o 205060 17.32/6.81 o 206631 17.32/6.81 o 207463 17.32/6.81 o 211078 17.32/6.81 o 214506 17.32/6.82 o 219264 17.32/6.82 o 223711 17.32/6.82 o 225282 17.32/6.83 o 229729 17.32/6.83 o 233344 17.32/6.83 o 233708 17.32/6.86 o 237323 17.32/6.86 o 237327 17.32/6.86 o 238053 17.32/6.87 o 239382 17.32/6.87 o 240161 17.32/6.87 o 244140 17.32/6.87 o 246179 17.32/6.87 o 250158 17.32/6.87 o 250626 17.32/6.87 o 254605 17.32/6.87 o 258220 17.32/6.87 o 258719 17.32/6.88 o 259551 17.32/6.88 o 263166 17.32/6.88 o 263530 17.32/6.90 o 267145 17.32/6.90 o 267341 17.32/6.90 o 268272 17.32/6.90 o 268468 17.32/6.90 o 271887 18.09/6.91 o 272083 18.09/6.91 o 274794 18.09/6.91 o 276054 18.09/6.91 o 276365 18.09/6.91 o 276833 18.09/6.93 o 277197 18.09/6.93 o 280812 18.09/6.93 o 281008 18.09/6.93 o 284097 18.09/6.93 o 284166 18.09/6.93 o 285426 18.09/6.93 o 285737 18.09/6.95 o 286205 18.09/6.95 o 290184 18.09/6.95 o 290380 18.09/6.95 o 290947 18.09/6.95 o 291143 18.09/6.95 o 293854 18.09/6.97 o 295425 18.09/6.97 o 299872 18.09/6.97 o 300068 18.09/6.97 o 303851 18.09/6.97 o 304047 18.09/6.98 o 304483 18.09/6.98 o 305626 18.09/6.98 o 306346 18.09/6.98 o 309241 18.09/6.98 o 309964 18.09/6.99 o 313156 18.09/7.01 o 316051 18.09/7.02 o 318897 18.09/7.02 o 319658 18.09/7.02 o 319969 18.09/7.02 o 320437 18.09/7.02 o 324416 18.09/7.02 o 327311 19.02/7.02 o 328031 19.02/7.02 o 330926 19.02/7.02 o 334118 19.02/7.02 o 337013 19.02/7.03 o 337736 19.02/7.03 o 340928 19.02/7.03 o 343823 19.02/7.03 o 346641 19.02/7.03 o 346837 19.02/7.04 o 349536 19.02/7.04 o 349732 19.02/7.04 o 350626 19.02/7.06 o 353521 19.02/7.06 o 355869 19.02/7.06 o 356233 19.02/7.06 o 356953 19.02/7.06 o 359848 19.02/7.06 o 359860 19.02/7.06 o 361899 19.02/7.06 o 362263 19.02/7.06 o 365878 19.02/7.08 o 368773 19.02/7.08 o 369455 19.02/7.08 o 372350 19.02/7.08 o 374671 19.02/7.08 o 376000 19.02/7.08 o 376779 19.02/7.08 o 380758 19.76/7.11 o 383653 19.76/7.11 o 384373 19.76/7.11 o 387268 19.76/7.11 o 387779 19.76/7.11 o 389350 19.76/7.11 o 393797 19.76/7.14 o 397412 19.76/7.14 o 397776 19.76/7.14 o 401391 19.76/7.14 o 404286 19.76/7.15 o 405227 19.76/7.15 o 406311 19.76/7.15 o 409206 19.76/7.15 o 409402 19.76/7.16 o 409926 19.76/7.16 o 410122 19.76/7.16 o 412821 19.76/7.16 o 413017 19.76/7.16 o 413563 19.76/7.16 o 413748 19.76/7.16 o 416643 19.76/7.17 o 416770 19.76/7.17 o 417134 19.76/7.18 o 420749 19.76/7.18 o 421101 19.76/7.18 o 421569 19.76/7.18 o 425548 19.76/7.18 o 429163 19.76/7.18 o 432058 19.76/7.18 o 433087 20.46/7.21 o 435982 20.46/7.21 o 437743 20.46/7.21 o 438662 20.46/7.21 o 440423 20.46/7.21 o 442586 20.46/7.21 o 444347 20.46/7.22 o 444580 20.46/7.22 o 446275 20.46/7.22 o 446360 20.46/7.22 o 446671 20.46/7.22 o 447139 20.46/7.22 o 447503 20.46/7.22 o 448309 20.46/7.22 o 448520 20.46/7.22 o 449382 20.46/7.23 o 449903 20.46/7.23 o 451143 20.46/7.23 o 451354 20.46/7.23 o 451510 20.46/7.23 o 452683 20.46/7.23 o 454908 20.46/7.24 o 455195 20.46/7.24 o 456124 20.46/7.24 o 456335 20.46/7.24 o 456503 20.46/7.24 o 456789 20.46/7.24 o 458029 20.46/7.25 o 458805 20.46/7.25 o 459721 20.46/7.25 o 460650 20.46/7.25 o 461482 20.46/7.25 o 462411 20.46/7.25 o 462722 20.46/7.25 o 463651 20.46/7.26 o 463921 20.46/7.26 o 464490 20.46/7.26 o 464723 20.46/7.26 o 464954 20.46/7.26 o 465333 20.46/7.26 o 465682 20.46/7.27 o 465772 20.46/7.27 o 466098 20.46/7.27 o 466715 20.46/7.27 o 466883 20.46/7.28 o 467322 20.46/7.28 o 467533 20.46/7.28 o 468251 20.46/7.28 o 468462 20.46/7.28 o 468554 20.46/7.28 o 469418 20.46/7.28 o 469629 20.46/7.29 o 469746 20.46/7.29 o 469957 20.46/7.29 o 470422 20.46/7.30 o 470633 20.46/7.30 o 471351 20.46/7.30 o 471562 20.46/7.30 o 471960 20.46/7.30 o 472016 20.46/7.30 o 473256 20.46/7.30 o 474185 20.46/7.30 o 474396 20.46/7.30 o 474510 20.46/7.30 o 474721 20.46/7.30 o 476476 21.10/7.31 o 477405 21.10/7.31 o 477616 21.10/7.31 o 477716 21.10/7.31 o 477927 21.10/7.31 o 478645 21.10/7.31 o 478856 21.10/7.31 o 479310 21.10/7.31 o 480239 21.10/7.31 o 480550 21.10/7.31 o 481479 21.10/7.31 o 481690 21.10/7.31 o 481790 21.10/7.31 o 482001 21.10/7.31 o 483445 21.10/7.31 o 483595 21.10/7.31 o 483806 21.10/7.32 o 484685 21.10/7.32 o 484896 21.10/7.32 o 485151 21.10/7.32 o 486080 21.10/7.32 o 486291 21.10/7.32 o 487241 21.10/7.33 o 488163 21.10/7.33 o 488448 21.10/7.33 o 488659 21.10/7.33 o 488850 21.10/7.34 o 489470 21.10/7.34 o 489781 21.10/7.34 o 490710 21.10/7.34 o 490921 21.10/7.34 o 490952 21.10/7.34 o 491163 21.10/7.35 o 491335 21.10/7.35 o 491546 21.10/7.35 o 491709 21.10/7.35 o 491968 21.10/7.35 o 492897 21.10/7.35 o 493729 21.10/7.35 o 494658 21.10/7.35 o 494869 21.10/7.35 o 495487 21.10/7.35 o 495698 21.10/7.36 o 496416 21.10/7.36 o 496627 21.10/7.36 o 496692 21.10/7.36 o 497250 21.10/7.36 o 497858 21.10/7.36 o 498069 21.10/7.36 o 499219 21.10/7.37 o 500459 21.10/7.37 o 500692 21.10/7.37 o 501064 21.10/7.37 o 501993 21.10/7.37 o 502825 21.10/7.37 o 503754 21.10/7.37 o 504065 21.10/7.37 o 504994 21.10/7.37 o 505205 21.10/7.38 o 505364 21.10/7.38 o 505816 21.10/7.38 o 506027 21.10/7.38 o 506577 21.10/7.38 o 507817 21.10/7.38 o 508050 21.10/7.39 o 508338 21.10/7.39 o 508571 21.10/7.39 o 508997 21.10/7.39 o 509113 21.10/7.39 o 509308 21.10/7.39 o 509578 21.10/7.40 o 509811 21.10/7.40 o 510807 21.10/7.40 o 511736 21.58/7.40 o 512584 21.58/7.40 o 512795 21.58/7.40 o 513430 21.58/7.40 o 513641 21.58/7.41 o 513952 21.58/7.41 o 514162 21.58/7.41 o 514365 21.58/7.41 o 514421 21.58/7.41 o 514556 21.58/7.41 o 515350 21.58/7.41 o 515661 21.58/7.41 o 516590 21.58/7.42 o 517050 21.58/7.42 o 517261 21.58/7.42 o 517851 21.58/7.42 o 518630 21.58/7.42 o 519192 21.58/7.42 o 519849 21.58/7.43 o 520375 21.58/7.43 o 520384 21.58/7.43 o 520440 21.58/7.43 o 521369 21.58/7.43 o 521680 21.58/7.43 o 522609 21.58/7.43 o 522820 21.58/7.44 o 523854 21.58/7.44 o 524065 21.58/7.44 o 525070 21.58/7.44 o 525281 21.58/7.44 o 525999 21.58/7.44 o 526210 21.58/7.44 o 526436 21.58/7.44 o 526957 21.58/7.44 o 527268 21.58/7.45 o 528197 21.58/7.45 o 528408 21.58/7.45 o 529097 21.58/7.45 o 530026 21.58/7.45 o 530237 21.58/7.45 o 530776 21.58/7.46 o 531705 21.58/7.46 o 531916 21.58/7.46 o 531941 21.58/7.46 o 532152 21.58/7.46 o 532926 21.58/7.46 o 534166 21.58/7.46 o 534377 21.58/7.46 o 535095 21.58/7.46 o 535306 21.58/7.46 o 536053 21.58/7.47 o 536109 21.58/7.47 o 537038 21.58/7.47 o 537349 21.58/7.47 o 537573 21.58/7.47 o 538278 21.58/7.47 o 538553 21.58/7.47 o 538558 21.58/7.47 o 538869 21.58/7.47 o 539798 21.58/7.48 o 540031 21.58/7.48 o 540242 21.58/7.48 o 541224 21.58/7.48 o 541435 21.58/7.48 o 542153 21.58/7.48 o 542364 21.58/7.48 o 542837 21.58/7.48 o 543358 21.58/7.49 o 544598 21.58/7.49 o 544831 21.58/7.49 o 545042 21.58/7.49 o 545527 21.58/7.49 o 545738 21.58/7.49 o 545991 21.58/7.49 o 546202 21.58/7.49 o 546823 21.58/7.50 o 547034 21.58/7.50 o 547752 21.58/7.50 o 547963 21.58/7.50 o 548608 21.58/7.50 o 548819 22.11/7.50 o 549278 22.11/7.50 o 549334 22.11/7.50 o 550263 22.11/7.51 o 550289 22.11/7.51 o 551218 22.11/7.51 o 551429 22.11/7.51 o 551611 22.11/7.51 o 551822 22.11/7.51 o 552851 22.11/7.51 o 553062 22.11/7.51 o 553780 22.11/7.51 o 553991 22.11/7.51 o 554612 22.11/7.51 o 555541 22.11/7.52 o 555752 22.11/7.52 o 555797 22.11/7.52 o 556030 22.11/7.52 o 556241 22.11/7.53 o 556939 22.11/7.53 o 557150 22.11/7.53 o 557924 22.11/7.53 o 558235 22.11/7.53 o 559164 22.11/7.53 o 559375 22.11/7.53 o 559397 22.11/7.53 o 559608 22.11/7.53 o 559742 22.11/7.53 o 560263 22.11/7.53 o 560365 22.11/7.53 o 560886 22.11/7.53 o 561197 22.11/7.53 o 562126 22.11/7.53 o 562337 22.11/7.54 o 562464 22.11/7.54 o 562774 22.11/7.54 o 563085 22.11/7.54 o 564014 22.11/7.54 o 564225 22.11/7.56 o 564893 22.11/7.56 o 565126 22.11/7.56 o 565337 22.11/7.56 o 565448 22.11/7.56 o 565503 22.11/7.56 o 565601 22.11/7.56 o 565812 22.11/7.56 o 566526 22.11/7.56 o 566988 22.11/7.57 o 567455 22.11/7.57 o 567976 22.11/7.57 o 568287 22.11/7.57 o 569216 22.11/7.57 o 569705 22.11/7.57 o 569714 22.11/7.57 o 570178 22.11/7.57 o 570699 22.11/7.57 o 571010 22.11/7.57 o 571939 22.11/7.58 o 572150 22.11/7.59 o 572916 22.11/7.59 o 573149 22.11/7.59 o 573360 22.11/7.59 o 573845 22.11/7.59 o 574056 22.11/7.59 o 574078 22.11/7.59 o 574289 22.11/7.60 o 574638 22.11/7.60 o 574871 22.11/7.60 o 575623 22.11/7.60 o 575934 22.11/7.60 o 576863 22.11/7.60 o 577096 22.11/7.60 o 577307 22.11/7.60 o 577527 22.11/7.60 o 577738 22.11/7.60 o 577753 22.11/7.60 o 577964 22.85/7.61 o 578993 22.85/7.61 o 579204 22.85/7.61 o 579457 22.85/7.61 o 579978 22.85/7.61 o 581218 22.85/7.61 o 581429 22.85/7.61 o 581451 22.85/7.61 o 581662 22.85/7.61 o 582147 22.85/7.61 o 582380 22.85/7.61 o 582591 22.85/7.61 o 582800 22.85/7.61 o 582950 22.85/7.61 o 583979 22.85/7.61 o 584190 22.85/7.61 o 584443 22.85/7.62 o 584964 22.85/7.62 o 586204 22.85/7.62 o 586415 22.85/7.62 o 587133 22.85/7.62 o 587344 22.85/7.62 o 587366 22.85/7.62 o 587577 22.85/7.62 o 588104 22.85/7.62 o 588337 22.85/7.62 o 588415 22.85/7.62 o 588539 22.85/7.62 o 588938 22.85/7.62 o 589247 22.85/7.62 o 589397 22.85/7.63 o 589708 22.85/7.63 o 590637 22.85/7.63 o 590693 22.85/7.63 o 591933 22.85/7.63 o 592862 22.85/7.63 o 593095 22.85/7.63 o 593306 22.85/7.63 o 593950 22.85/7.63 o 594161 22.85/7.63 o 594923 22.85/7.63 o 595206 22.85/7.63 o 596038 22.85/7.63 o 596967 22.85/7.63 o 597178 22.85/7.63 o 597416 22.85/7.63 o 597627 22.85/7.64 o 598186 22.85/7.64 o 599115 22.85/7.64 o 600411 22.85/7.64 o 601340 22.85/7.64 o 601551 22.85/7.64 o 601651 22.85/7.64 o 601862 22.85/7.65 o 602580 22.85/7.65 o 602791 22.85/7.65 o 602813 22.85/7.65 o 603024 22.85/7.65 o 603245 22.85/7.65 o 604077 22.85/7.65 o 605006 22.85/7.65 o 605317 22.85/7.65 o 606246 22.85/7.66 o 606479 22.85/7.66 o 606541 22.85/7.66 o 607163 22.85/7.66 o 607396 22.85/7.66 o 607474 22.85/7.66 o 607997 22.85/7.66 o 608456 22.85/7.66 o 609696 22.85/7.66 o 610681 22.85/7.66 o 611921 22.85/7.66 o 612154 22.85/7.66 o 612850 22.85/7.67 o 613083 22.85/7.67 o 613294 22.85/7.67 o 613626 22.85/7.67 o 614147 22.85/7.67 o 615387 22.85/7.67 o 615598 22.85/7.67 o 616316 22.85/7.67 o 616527 22.85/7.67 o 616715 22.85/7.67 o 617024 22.85/7.67 o 617485 22.85/7.67 o 617949 22.85/7.67 o 618470 22.85/7.67 o 619710 22.85/7.69 o 620639 22.85/7.69 o 620850 22.85/7.69 o 620872 22.85/7.69 o 621083 23.60/7.71 o 621085 23.60/7.71 o 621318 23.60/7.72 o 622010 23.60/7.72 o 622939 23.60/7.72 o 623460 23.60/7.72 o 623771 23.60/7.72 o 624700 23.60/7.72 o 624933 23.60/7.72 o 625036 23.60/7.72 o 625732 23.60/7.72 o 625965 23.60/7.72 o 626176 23.60/7.76 o 626266 23.60/7.76 o 626462 23.60/7.77 o 626980 23.60/7.77 o 627191 23.60/7.77 o 627909 23.60/7.77 o 628120 23.60/7.77 o 628430 23.60/7.77 o 628741 23.60/7.77 o 629670 23.60/7.77 o 629881 23.60/7.77 o 630077 23.60/7.77 o 630119 23.60/7.77 o 630219 23.60/7.77 o 630234 23.60/7.77 o 630430 23.60/7.77 o 630491 23.60/7.77 o 630702 23.60/7.78 o 631469 23.60/7.78 o 632709 23.60/7.78 o 633230 23.60/7.78 o 634470 23.60/7.78 o 634681 23.60/7.78 o 634877 23.60/7.78 o 635399 23.60/7.78 o 635595 23.60/7.78 o 635610 23.60/7.78 o 635806 23.60/7.78 o 636431 23.60/7.78 o 636642 23.60/7.79 o 636838 23.60/7.79 o 637397 23.60/7.79 o 637708 23.60/7.79 o 638637 23.60/7.79 o 638848 23.60/7.79 o 638951 23.60/7.79 o 639669 23.60/7.80 o 639880 23.60/7.80 o 640043 23.60/7.80 o 640442 23.60/7.80 o 640901 23.60/7.80 o 641212 23.60/7.80 o 642141 23.60/7.80 o 642197 23.60/7.80 o 643437 23.60/7.80 o 644366 24.41/7.80 o 644577 24.41/7.80 o 644680 24.41/7.80 o 645398 24.41/7.80 o 645609 24.41/7.81 o 645918 24.41/7.81 o 646847 24.41/7.81 o 647689 24.41/7.81 o 648543 24.41/7.81 o 649783 24.41/7.81 o 650242 24.41/7.81 o 650706 24.41/7.81 o 652467 24.41/7.81 o 653707 24.41/7.82 o 654636 24.41/7.82 o 654847 24.41/7.82 o 654950 24.41/7.82 o 655668 24.41/7.82 o 655879 25.20/7.96 o 656016 25.20/7.98 o 656227 25.20/7.99 o 656687 25.20/7.99 o 656898 25.20/7.99 o 657178 25.20/8.00 o 658107 25.20/8.00 o 658318 25.20/8.00 o 658523 25.20/8.00 o 658833 25.20/8.00 o 659044 25.20/8.01 o 660073 25.20/8.01 o 660284 25.20/8.01 o 661002 25.20/8.01 o 661213 26.06/8.09 o 661925 26.06/8.09 o 662136 26.06/8.10 o 662957 26.06/8.10 o 663168 26.06/8.11 o 663836 26.06/8.11 o 664047 27.58/8.29 o 664600 27.58/8.29 o 664811 27.58/8.30 o 664994 28.38/8.31 o 665205 28.38/8.31 o 666026 28.38/8.31 o 666237 28.38/8.37 o 666275 28.38/8.38 o 666486 28.38/8.38 o 667204 28.38/8.38 o 667415 31.54/8.72 o 668127 31.54/8.73 o 668338 31.54/8.73 o 669423 31.54/8.73 o 670352 31.54/8.73 o 670563 31.54/8.73 o 671072 31.54/8.73 o 671283 31.54/8.73 o 672001 31.54/8.73 o 672212 31.54/8.73 o 672312 31.54/8.73 o 673241 31.54/8.73 o 673452 31.54/8.74 o 673738 31.54/8.74 o 673949 31.54/8.75 o 674667 31.54/8.75 o 674878 34.88/9.12 o 674881 34.88/9.13 o 675810 34.88/9.13 o 675866 34.88/9.13 o 677106 34.88/9.13 o 678035 34.88/9.13 o 678246 34.88/9.13 o 678755 34.88/9.13 o 679684 34.88/9.13 o 679895 34.88/9.13 o 679995 34.88/9.13 o 680206 34.88/9.13 o 680924 34.88/9.13 o 681135 35.56/9.30 o 681173 35.56/9.30 o 681384 36.36/9.31 o 681929 36.36/9.31 o 682393 36.36/9.31 o 682914 36.36/9.31 o 683225 36.36/9.31 o 684154 36.36/9.31 o 684365 36.36/9.31 o 684839 36.36/9.31 o 685050 36.36/9.31 o 685110 36.36/9.31 o 685421 36.36/9.32 o 686350 36.36/9.32 o 686899 36.36/9.32 o 687513 36.36/9.32 o 688753 36.36/9.32 o 689274 36.36/9.32 o 690514 36.36/9.32 o 691443 36.36/9.32 o 691654 36.36/9.35 o 691733 36.36/9.35 o 692192 36.36/9.35 o 692656 36.36/9.35 o 693177 36.36/9.35 o 693488 36.36/9.35 o 694417 36.36/9.35 o 694628 36.36/9.35 o 694947 36.36/9.35 o 696187 36.36/9.35 o 696398 36.36/9.35 o 697116 36.36/9.35 o 697327 36.36/9.36 o 698278 36.36/9.36 o 699207 36.36/9.36 o 699418 36.36/9.36 o 699933 36.36/9.36 o 700144 36.36/9.36 o 700862 36.36/9.36 o 701073 36.36/9.36 o 701173 36.36/9.36 o 702102 36.36/9.36 o 702313 36.36/9.37 o 702443 36.36/9.37 o 702654 36.36/9.37 o 703113 36.36/9.37 o 703577 36.36/9.37 o 704098 36.36/9.37 o 704409 36.36/9.37 o 705338 36.36/9.37 o 705549 36.36/9.38 o 706003 36.36/9.39 o 707243 36.36/9.39 o 707454 36.36/9.39 o 708172 36.36/9.39 o 708383 41.11/9.91 o 709032 41.11/9.92 o 709243 41.11/9.92 o 709961 41.11/9.92 o 710172 41.11/9.92 o 710272 41.11/9.92 o 711201 41.11/9.92 o 711412 44.27/10.35 o 712294 44.27/10.35 o 712505 44.27/10.35 o 713223 44.27/10.35 o 713434 50.72/11.13 o 713918 50.72/11.14 o 714129 53.07/11.42 o 714160 53.07/11.42 o 714371 53.07/11.43 o 714972 53.07/11.43 o 715901 53.07/11.43 o 716212 53.07/11.43 o 717141 53.07/11.43 o 717352 53.07/11.43 o 717826 53.07/11.43 o 718037 53.07/11.43 o 718817 53.07/11.43 o 719433 53.07/11.43 o 719954 53.07/11.43 o 720265 53.07/11.43 o 721194 53.07/11.44 o 721276 53.07/11.44 o 721740 53.07/11.44 o 722261 53.07/11.44 o 723501 53.07/11.44 o 724430 53.07/11.44 o 724641 57.88/12.08 o 724646 57.88/12.08 o 725040 57.88/12.08 o 726801 57.88/12.08 o 727730 57.88/12.08 o 727941 57.88/12.08 o 728041 57.88/12.08 o 728252 57.88/12.08 o 728970 57.88/12.09 o 729181 61.83/12.58 o 729375 61.83/12.59 o 729586 61.83/12.59 o 729591 62.61/12.65 o 729991 62.61/12.66 o 730914 62.61/12.66 o 731746 62.61/12.66 o 732675 62.61/12.66 o 732986 62.61/12.66 o 733915 62.61/12.66 o 734126 83.28/15.23 o 735027 83.28/15.24 o 736267 83.28/15.24 o 736478 83.28/15.24 o 737196 83.28/15.24 o 737407 125.53/20.69 o 738145 125.53/20.69 o 738356 126.33/20.71 o 738810 126.33/20.72 o 738853 126.33/20.72 o 739121 126.33/20.72 o 740050 126.33/20.72 o 740261 138.29/22.22 o 740687 138.29/22.22 o 740898 138.29/22.23 o 740955 138.29/22.23 o 741884 138.29/22.23 o 742095 138.29/22.23 o 742196 138.29/22.23 o 742407 138.29/22.23 o 743125 138.29/22.23 o 743336 138.29/22.24 o 744182 138.29/22.24 o 745016 138.29/22.24 o 745466 138.29/22.24 o 745509 138.29/22.24 o 745777 138.29/22.24 o 746706 138.29/22.24 o 746771 138.29/22.24 o 746814 138.29/22.25 o 748011 138.29/22.25 o 748940 138.29/22.25 o 749151 142.28/22.79 o 749287 142.28/22.79 o 750005 142.28/22.80 o 750216 147.82/23.42 o 750251 148.62/23.59 o 750436 149.42/23.60 o 750647 149.42/23.60 o 751497 149.42/23.61 o 751708 149.42/23.61 o 752205 149.42/23.61 o 752416 149.42/23.61 o 752666 149.42/23.61 o 753595 149.42/23.61 o 753651 149.42/23.61 o 753694 149.42/23.61 o 754891 149.42/23.61 o 755820 149.42/23.61 o 756031 149.42/23.61 o 756528 149.42/23.61 o 756739 149.42/23.61 o 756796 149.42/23.61 o 757725 149.42/23.61 o 757936 165.37/25.66 o 758630 165.37/25.67 o 759559 165.37/25.67 o 759770 187.64/28.43 o 760069 187.64/28.43 o 760280 190.84/28.88 o 760327 190.84/28.89 o 760370 190.84/28.89 o 761356 190.84/28.89 o 761567 190.84/28.89 o 762285 190.84/28.89 o 762496 190.84/28.89 o 763261 190.84/28.89 o 764190 190.84/28.89 o 764401 231.49/33.99 o 764888 231.49/34.00 o 765099 231.49/34.00 o 765817 231.49/34.00 o 766028 231.49/34.00 o 766482 231.49/34.00 o 766525 231.49/34.00 o 766793 231.49/34.00 o 767722 231.49/34.00 o 767933 268.94/38.64 o 768241 268.94/38.64 o 768452 268.94/38.64 o 768530 268.94/38.64 o 769459 268.94/38.64 o 769670 269.74/38.72 o 770264 269.74/38.73 o 770475 269.74/38.73 o 771193 269.74/38.73 o 771404 270.54/38.86 o 771864 270.54/38.87 o 772075 270.54/38.88 o 772580 270.54/38.89 o 772623 270.54/38.89 o 772891 270.54/38.89 o 773820 270.54/38.89 o 774031 270.54/38.89 o 774297 270.54/38.89 o 774508 270.54/38.89 o 775226 270.54/38.89 o 775437 270.54/38.89 o 775570 270.54/38.89 o 775781 270.54/38.89 o 775934 270.54/38.89 o 776145 270.54/38.90 o 776203 270.54/38.90 o 776246 270.54/38.90 o 776514 270.54/38.90 o 777443 270.54/38.90 o 778620 270.54/38.90 o 779549 270.54/38.90 o 779760 272.20/39.05 o 779838 272.20/39.05 o 780049 272.20/39.05 o 780767 272.20/39.05 o 780978 310.39/43.80 o 781883 310.39/43.80 o 782094 310.39/43.80 o 782497 310.39/43.80 o 782540 310.39/43.81 o 782808 310.39/43.81 o 783737 310.39/43.81 o 783948 313.58/44.26 o 783999 313.58/44.26 o 784713 313.58/44.26 o 784924 313.58/44.27 o 785642 313.58/44.27 o 785853 315.17/44.46 o 785953 315.17/44.46 o 786164 315.17/44.46 o 786414 315.17/44.46 o 786878 315.17/44.46 o 787399 315.17/44.47 o 787442 315.17/44.47 o 788639 315.17/44.47 o 789568 315.17/44.47 o 789779 315.17/44.47 o 790225 315.17/44.47 o 790436 315.17/44.47 o 790493 315.17/44.47 o 791422 315.17/44.47 o 791633 316.77/44.67 o 791684 316.77/44.67 o 792398 316.77/44.67 o 792609 316.77/44.67 o 793327 316.77/44.67 o 793538 403.66/55.52 o 793843 403.66/55.53 o 793886 403.66/55.53 o 794154 403.66/55.53 o 795083 403.66/55.53 o 795294 406.05/55.86 o 796008 406.05/55.86 o 796219 406.05/55.87 o 796937 406.05/55.87 o 797148 492.13/66.63 o 797596 492.13/66.64 o 797639 492.13/66.64 o 797907 492.13/66.64 o 798836 492.13/66.64 o 799047 515.25/69.53 o 799761 515.25/69.53 o 799972 515.25/69.53 o 800690 515.25/69.53 o 800901 522.42/70.45 o 800952 522.42/70.46 o 801355 522.42/70.46 o 801398 522.42/70.46 o 801666 522.42/70.46 o 802595 522.42/70.46 o 802806 550.28/74.01 o 802813 551.14/74.02 o 802864 551.14/74.02 o 803578 551.14/74.02 o 803789 551.14/74.02 o 804507 551.14/74.02 o 804718 552.68/74.27 o 805114 552.68/74.28 o 806043 552.68/74.28 o 806254 552.68/74.28 o 806657 552.68/74.28 o 806700 552.68/74.29 o 806968 552.68/74.29 o 807897 552.68/74.29 o 808108 553.46/74.39 o 808208 554.26/74.40 o 808419 554.26/74.40 o 808477 554.26/74.40 o 808520 554.26/74.40 o 808788 554.26/74.40 o 809717 554.26/74.40 o 810894 554.26/74.40 o 811823 554.26/74.40 o 812034 554.26/74.41 o 812748 554.26/74.41 o 812959 554.26/74.41 o 813677 554.26/74.41 o 813888 554.26/74.49 o 813939 554.26/74.50 o 814342 554.26/74.50 o 814385 554.26/74.50 o 814653 554.26/74.50 o 815582 554.26/74.50 o 815793 555.86/74.63 o 815905 555.86/74.63 o 816116 555.86/74.64 o 816834 555.86/74.64 o 817045 556.65/74.74 o 817284 556.65/74.75 o 817327 556.65/74.75 o 817595 556.65/74.75 o 818524 556.65/74.75 o 818735 556.65/74.76 o 818786 556.65/74.76 o 819500 556.65/74.76 o 819711 556.65/74.76 o 820429 556.65/74.76 o 820640 557.46/74.81 o 820768 557.46/74.81 o 820979 557.46/74.81 o 821229 557.46/74.81 o 822158 557.46/74.81 o 822257 557.46/74.81 o 823454 557.46/74.81 o 824383 557.46/74.81 o 824594 557.46/74.81 o 825040 557.46/74.81 o 825251 557.46/74.81 o 825308 557.46/74.81 o 826237 557.46/74.82 o 826448 557.46/74.82 o 826499 557.46/74.82 o 827213 557.46/74.82 o 827424 557.46/74.82 o 828142 557.46/74.82 o 828353 683.41/90.67 o 828937 683.41/90.68 o 829148 881.13/115.48 o 829209 881.13/115.48 o 829420 881.13/115.49 o 830134 881.13/115.49 o 831063 881.13/115.49 o 831274 882.73/115.65 o 831455 882.73/115.65 o 832173 882.73/115.66 o 832384 882.73/115.66 o 832968 882.73/115.66 o 833179 1113.13/144.56 o 833833 1113.13/144.57 o 834044 1113.13/144.57 o 834496 1113.13/144.57 o 834707 1113.93/144.61 o 834839 1294.93/167.32 o 835571 1294.93/167.33 o 835782 1294.93/167.33 o 836770 1294.93/167.33 o 836981 1294.93/167.36 o 837040 1294.93/167.36 o 837251 1294.93/167.36 o 837872 1294.93/167.36 o 838801 1294.93/167.36 o 839012 1304.50/168.57 o 839172 1304.50/168.58 o 839231 1304.50/168.58 o 839442 1304.50/168.58 o 839752 1304.50/168.58 o 839795 1304.50/168.58 o 840063 1304.50/168.58 o 840992 1304.50/168.58 o 841203 1310.08/169.21 o 841262 1310.08/169.22 o 841473 1310.08/169.22 o 842191 1310.08/169.22 o 842402 1491.08/192.01 o 842527 1491.08/192.01 o 842738 1491.08/192.01 o 843414 1491.08/192.01 o 843503 1491.08/192.01 o 844432 1491.08/192.01 o 844643 1524.64/196.18 o 844773 1524.64/196.18 o 845491 1524.64/196.19 o 845702 1538.12/197.86 o 846286 1538.12/197.86 o 846497 1717.50/220.39 o 846880 1717.50/220.39 o 847091 1867.47/239.12 o 847317 1867.47/239.13 o 848514 1867.47/239.13 o 848725 1867.47/239.13 o 848784 1867.47/239.13 o 848995 1867.47/239.13 o 849616 1867.47/239.13 o 850545 1867.47/239.13 o 850756 1984.59/253.84 o 850839 2013.29/257.47 o 851687 2013.29/257.47 o 851898 2023.66/258.78 o 852482 2023.66/258.78 o 852693 2042.86/261.19 o 852725 2042.86/261.20 o 852768 2042.86/261.20 o 853036 2042.86/261.20 o 853965 2042.86/261.20 o 854176 2310.63/294.77 o 854227 2311.43/294.81 o 854941 2311.43/294.83 o 855152 2311.43/294.83 o 855870 2311.43/294.83 o 856081 2821.48/358.86 o 856231 2821.48/358.87 o 856427 2821.48/358.87 o 856442 2821.48/358.87 o 856638 2821.48/358.87 o 856963 2821.48/358.87 o 857174 2821.48/358.87 o 857981 2821.48/358.87 o 858192 2821.48/358.87 o 858388 2821.48/358.87 o 858486 2821.48/358.87 o 858529 2821.48/358.87 o 858708 2821.48/358.87 o 858797 2821.48/358.87 o 859726 2821.48/358.87 o 859922 2821.48/358.87 o 860013 2821.48/358.87 o 861031 2821.48/358.89 o 861227 2821.48/358.89 o 861960 2821.48/358.89 o 862156 2821.48/358.89 o 862171 2821.48/358.89 o 862367 2886.93/367.09 o 862654 2886.93/367.10 o 862850 2886.93/367.10 o 863583 2886.93/367.10 o 863779 2886.93/367.10 o 863794 2886.93/367.10 o 863990 2886.93/367.10 o 864088 2886.93/367.10 o 864131 2886.93/367.10 o 864399 2886.93/367.10 o 865328 2886.93/367.10 o 865539 2886.93/367.10 o 866633 2886.93/367.10 o 866844 2886.93/367.10 o 867562 2886.93/367.10 o 867773 2886.93/367.10 o 867969 4152.20/526.21 o 868145 4152.20/526.22 o 868781 4152.20/526.22 o 868977 4152.20/526.22 o 869710 4152.20/526.22 o 869906 4152.20/526.22 o 870021 4152.20/526.22 o 870950 4152.20/526.22 o 871146 4152.20/526.22 o 871161 4152.20/526.22 o 871357 5547.85/702.60 o 871890 5548.65/702.61 o 872101 5548.65/702.61 o 872411 5548.65/702.61 o 872454 5548.65/702.61 o 872633 5548.65/702.61 o 873651 5548.65/702.61 o 873862 5548.65/702.61 o 873916 5548.65/702.61 o 874127 5548.65/702.61 o 874891 5548.65/702.61 o 875102 5548.65/702.61 o 875298 5564.09/704.62 o 875838 5564.09/704.63 o 876049 5564.09/704.63 o 877037 5564.09/704.63 o 877248 5571.16/705.56 o 877832 5571.16/705.57 o 878817 5571.16/705.57 o 879039 5571.16/705.57 o 880057 5571.16/705.57 o 880268 5571.16/705.57 o 880621 5571.16/705.57 o 880832 5571.16/705.57 o 881818 5571.16/705.58 o 882029 5571.16/705.58 o 882210 5571.16/705.58 o 883017 5571.16/705.58 o 883228 7268.89/920.13 o 883379 7268.89/920.13 o 883590 7630.56/965.83 o 883921 7630.56/965.84 o 884132 7630.56/965.84 o 884442 7630.56/965.84 o 884485 7630.56/965.84 o 884664 7630.56/965.84 o 885682 7630.56/965.84 o 885893 7630.56/965.84 o 886649 7630.56/965.84 o 886692 7630.56/965.84 o 887889 7630.56/965.84 o 888100 7630.56/965.84 o 888907 7630.56/965.84 o 889118 7630.56/965.84 o 889650 7630.56/965.84 o 890668 7630.56/965.84 o 890879 9137.93/1156.47 o 891104 9137.93/1156.48 o 891315 9137.93/1156.48 o 891326 9137.93/1156.48 o 892344 9137.93/1156.48 o 892555 11712.46/1481.84 o 892713 11743.24/1485.72 o 892840 11743.24/1485.73 o 893169 11743.24/1485.73 o 893327 11743.24/1485.73 o 893380 11743.24/1485.73 o 893538 12274.42/1552.95 o 893641 12274.42/1552.97 o 893708 12274.42/1552.97 o 893919 12274.42/1552.97 o 894019 12274.42/1552.97 o 894948 12274.42/1552.97 o 895159 12274.42/1552.97 o 895317 12274.42/1552.97 o 895409 12274.42/1552.97 o 895620 12274.42/1552.97 o 895778 12274.42/1552.97 o 895958 12274.42/1552.97 o 896116 12274.42/1552.97 o 896437 12274.42/1552.97 o 896557 12274.42/1552.97 o 897634 12274.42/1552.97 o 897792 12274.42/1552.97 o 897845 12274.42/1552.97 o 898003 12274.42/1552.97 o 898563 12274.42/1552.97 o 898774 12274.42/1552.97 o 898932 12274.42/1552.97 o 899488 12274.42/1552.97 o 899646 12274.42/1552.97 o 900417 12274.42/1552.97 o 900575 12274.42/1552.97 o 900628 12274.42/1552.97 o 900786 12274.42/1552.97 o 901115 12274.42/1552.97 o 901326 12274.42/1552.97 o 901484 12287.80/1554.62 o 901581 12289.38/1554.86 o 901910 12289.38/1554.86 o 902068 12289.38/1554.87 o 902121 12289.38/1554.87 o 902279 12557.92/1588.89 o 902387 12557.92/1588.89 o 902564 12557.92/1588.89 o 902775 12557.92/1588.89 o 902933 12557.92/1588.89 o 903341 12557.92/1588.89 o 903499 12557.92/1588.89 o 904418 12557.92/1588.89 o 904576 12557.92/1588.89 o 904629 12557.92/1588.89 o 904787 12577.61/1591.37 o 905116 12577.61/1591.38 o 905327 12577.61/1591.38 o 905485 13318.04/1684.93 o 905592 13318.04/1684.94 o 905645 13318.04/1684.94 o 905803 13318.04/1684.94 o 906132 13318.04/1684.94 o 906343 13318.04/1684.94 o 906501 13322.04/1685.45 o 906517 13322.04/1685.45 o 907288 13322.04/1685.46 o 907446 13322.04/1685.46 o 907499 13322.04/1685.46 o 907657 13323.60/1685.69 o 907986 13323.60/1685.69 o 908197 13324.38/1685.70 o 908355 13406.69/1696.19 o 908438 13406.69/1696.19 o 908491 13406.69/1696.20 o 908649 13408.16/1696.30 o 908978 13408.16/1696.30 o 909189 13408.16/1696.30 o 909347 13458.92/1702.74 o 909488 13458.92/1702.74 o 909547 13458.92/1702.75 o 909636 13458.92/1702.75 o 910407 13458.92/1702.75 o 910565 13458.92/1702.75 o 910618 13458.92/1702.75 o 910776 13458.92/1702.75 o 910810 13458.92/1702.75 o 911106 13458.92/1702.75 o 911317 13458.92/1702.75 o 911417 13458.92/1702.75 o 912346 13458.92/1702.75 o 912557 13458.92/1702.75 o 913093 13458.92/1702.75 o 913304 13458.92/1702.75 o 914022 13458.92/1702.75 o 914233 13458.92/1702.75 o 914391 13458.92/1702.75 o 914932 13458.92/1702.76 o 915080 13458.92/1702.76 o 916009 13458.92/1702.76 o 916167 13458.92/1702.76 o 916220 13458.92/1702.76 o 916378 13458.92/1702.76 o 916441 13458.92/1702.76 o 916589 13458.92/1702.76 o 917518 13458.92/1702.76 o 917729 13458.92/1702.76 o 918695 13458.92/1702.77 o 918906 13458.92/1702.77 o 919624 13458.92/1702.77 o 919835 13458.92/1702.77 o 919993 13458.92/1702.78 o 920322 13458.92/1702.78 o 920480 13458.92/1702.78 o 920533 13458.92/1702.79 o 920691 13462.13/1703.12 o 920746 13462.13/1703.12 o 920904 13462.13/1703.13 o 921106 13462.13/1703.13 o 921824 13462.13/1703.13 o 922035 13462.13/1703.13 o 922193 13462.13/1703.13 o 922209 13462.13/1703.13 o 922251 13462.13/1703.13 o 922294 13462.13/1703.13 o 922404 13462.13/1703.13 o 923333 13462.13/1703.13 o 923491 13462.13/1703.13 o 923591 13462.13/1703.13 o 924510 13462.13/1703.13 o 924668 13462.13/1703.13 o 925439 13462.13/1703.13 o 925597 13462.13/1703.13 o 925650 13462.13/1703.13 o 925808 13462.13/1703.14 o 926137 13462.13/1703.14 o 926348 13462.13/1703.14 o 926506 13469.25/1704.02 o 926603 13469.25/1704.03 o 926932 13469.25/1704.03 o 927090 13469.25/1704.03 o 927143 13469.25/1704.03 o 927301 13500.12/1707.96 o 927504 13500.12/1707.97 o 927662 13500.93/1708.09 o 927991 13500.93/1708.10 o 928202 13500.93/1708.10 o 928360 13502.43/1708.23 o 928457 13502.43/1708.24 o 928786 13502.43/1708.24 o 928944 13502.43/1708.24 o 928997 13502.43/1708.24 o 929155 17081.41/2160.89 o 929253 17081.41/2160.90 o 929411 17081.41/2160.90 o 929591 17081.41/2160.90 o 929802 17081.41/2160.90 o 930338 17081.41/2160.90 o 931267 17081.41/2160.90 o 931478 17081.41/2160.90 o 931636 17081.41/2160.90 o 931784 17081.41/2160.90 o 932344 17081.41/2160.90 o 932555 17081.41/2160.90 o 932713 17081.41/2160.90 o 932792 17081.41/2160.90 o 932950 17081.41/2160.90 o 933869 17081.41/2160.90 o 934027 17081.41/2160.90 o 934080 17081.41/2160.90 o 934238 17082.21/2160.92 o 934391 17082.21/2160.92 o 934549 17082.21/2160.92 o 934702 17082.21/2160.92 o 934755 17082.21/2160.92 o 934913 17082.21/2160.92 o 934982 17082.21/2160.92 o 935068 17082.21/2160.92 o 935216 17082.21/2160.92 o 935934 17082.21/2160.92 o 936145 17082.21/2160.92 o 936483 17082.21/2160.92 o 936962 17082.21/2160.92 o 937082 17082.21/2160.92 o 937230 17082.21/2160.92 o 938159 17082.21/2160.93 o 938370 17082.21/2160.93 o 938528 17082.21/2160.93 o 938773 17082.21/2160.93 o 938816 17082.21/2160.93 o 938936 17082.21/2160.93 o 939084 17082.21/2160.93 o 940013 17082.21/2160.93 o 940171 17082.21/2160.93 o 940224 17082.21/2160.93 o 940382 17084.55/2161.24 o 940711 17084.55/2161.25 o 940922 17084.55/2161.25 o 941080 19923.88/2520.09 s SATISFIABLE 19924.81/2520.14 v <instantiation> 19924.81/2520.14 v <list> 19924.81/2520.14 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] 19924.81/2520.14 v </list> 19924.81/2520.14 v <values> 19924.81/2520.14 v 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 19924.81/2520.14 v </values> 19924.81/2520.14 v </instantiation>
OK 941080
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 (9517 MiB free) memory of node 1: 16384 MiB (12925 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291775-1532636413/watcher-4291775-1532636413 -o /tmp/evaluation-result-4291775-1532636413/solver-4291775-1532636413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532633883-10630 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1214804324 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291775-1532636413.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10938, runsolver pid=10935 [startup+0.100154 s]* /proc/loadavg: 8.51 8.75 8.84 2/204 10958 /proc/meminfo: memFree=22964984/32770624 swapFree=67108860/67108860 [pid=10938] ppid=10935 vsize=26103424 memory=30868 CPUtime=0.11 cores=0-7 /proc/10938/stat : 10938 (java) S 10935 10938 10603 0 -1 1077944320 7161 0 0 0 10 1 0 0 20 0 20 0 81204435 26729906176 7717 33554432000 4194304 4196468 140723258687360 140723258669904 139933482364663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 /proc/10938/statm: 6525856 7717 3143 1 0 6487932 0 [pid=10938/tid=10940] ppid=10935 vsize=26103424 memory=8328451419030856090 CPUtime=0.09 cores=0-7 /proc/10938/task/10940/stat : 10940 (java) R 10935 10938 10603 0 -1 4202560 5343 0 0 0 9 0 0 0 20 0 20 0 81204436 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933486590352 139933462640384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10941] ppid=10935 vsize=26103424 memory=732370599230073829 CPUtime=0 cores=0-7 /proc/10938/task/10941/stat : 10941 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933404945296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10942] ppid=10935 vsize=26103424 memory=140460892620416 CPUtime=0 cores=0-7 /proc/10938/task/10942/stat : 10942 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933403892496 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10943] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10943/stat : 10943 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933402840208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10944] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10944/stat : 10944 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933401787408 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10945] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10945/stat : 10945 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933400734096 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10946] ppid=10935 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10938/task/10946/stat : 10946 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933399681296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10947] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10947/stat : 10947 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933398629008 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10948] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10948/stat : 10948 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 7849 33554432000 4194304 4196468 140723258687360 139933397576208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10949] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10949/stat : 10949 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204438 26729906176 7849 33554432000 4194304 4196468 140723258687360 139932991408752 139933482375810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10950] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10950/stat : 10950 (java) S 10935 10938 10603 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81204439 26729906176 7849 33554432000 4194304 4196468 140723258687360 139932990354720 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10951] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10951/stat : 10951 (java) S 10935 10938 10603 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81204439 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932989302384 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10952] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10952/stat : 10952 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932606687824 139933482383259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10953] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10953/stat : 10953 (java) S 10935 10938 10603 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932605634672 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10954] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10954/stat : 10954 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932604581872 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10955] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10955/stat : 10955 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932603529584 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10956] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10956/stat : 10956 (java) S 10935 10938 10603 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932602476784 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10957] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10957/stat : 10957 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932601424736 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10958] ppid=10935 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10938/task/10958/stat : 10958 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204442 26729906176 7915 33554432000 4194304 4196468 140723258687360 139932600372016 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 30868 KiB [startup+0.21009 s]* /proc/loadavg: 8.51 8.75 8.84 4/204 10958 /proc/meminfo: memFree=22951032/32770624 swapFree=67108860/67108860 [pid=10938] ppid=10935 vsize=26103424 memory=43292 CPUtime=0.3 cores=0-7 /proc/10938/stat : 10938 (java) S 10935 10938 10603 0 -1 1077944320 10442 0 0 0 28 2 0 0 20 0 20 0 81204435 26729906176 10823 33554432000 4194304 4196468 140723258687360 140723258669904 139933482364663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 /proc/10938/statm: 6525856 10823 3363 1 0 6487932 0 [pid=10938/tid=10940] ppid=10935 vsize=26103424 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/10938/task/10940/stat : 10940 (java) R 10935 10938 10603 0 -1 4202560 8203 0 0 0 19 1 0 0 20 0 20 0 81204436 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933486592432 139933482386589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10941] ppid=10935 vsize=26103424 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/10938/task/10941/stat : 10941 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933404945296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10942] ppid=10935 vsize=26103424 memory=3688648136317732512 CPUtime=0 cores=0-7 /proc/10938/task/10942/stat : 10942 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933403892496 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10943] ppid=10935 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10938/task/10943/stat : 10943 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933402840208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10944] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10944/stat : 10944 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933401787408 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10945] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10945/stat : 10945 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933400734096 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10946] ppid=10935 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10938/task/10946/stat : 10946 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933399681296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10947] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10947/stat : 10947 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933398629008 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10948] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10948/stat : 10948 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 10823 33554432000 4194304 4196468 140723258687360 139933397576208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10949] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10949/stat : 10949 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204438 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932991408752 139933482375810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10950] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10950/stat : 10950 (java) S 10935 10938 10603 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81204439 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932990354720 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10951] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10951/stat : 10951 (java) S 10935 10938 10603 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81204439 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932989302384 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10952] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10952/stat : 10952 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932606687824 139933482383259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10953] ppid=10935 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/10938/task/10953/stat : 10953 (java) S 10935 10938 10603 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 81204441 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932605634672 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10954] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10954/stat : 10954 (java) S 10935 10938 10603 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932604581872 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10955] ppid=10935 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/10938/task/10955/stat : 10955 (java) S 10935 10938 10603 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 81204441 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932603529584 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10956] ppid=10935 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/10938/task/10956/stat : 10956 (java) R 10935 10938 10603 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 20 0 81204441 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932602471360 139933482376598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10957] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10957/stat : 10957 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932601424736 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10958] ppid=10935 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10938/task/10958/stat : 10958 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204442 26729906176 10823 33554432000 4194304 4196468 140723258687360 139932600372016 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43292 KiB [startup+0.309954 s]* /proc/loadavg: 8.51 8.75 8.84 2/204 10958 /proc/meminfo: memFree=22947496/32770624 swapFree=67108860/67108860 [pid=10938] ppid=10935 vsize=26103424 memory=46564 CPUtime=0.42 cores=0-7 /proc/10938/stat : 10938 (java) S 10935 10938 10603 0 -1 1077944320 10873 0 0 0 40 2 0 0 20 0 20 0 81204435 26729906176 11641 33554432000 4194304 4196468 140723258687360 140723258669904 139933482364663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 /proc/10938/statm: 6525856 11641 3364 1 0 6487932 0 [pid=10938/tid=10940] ppid=10935 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/10938/task/10940/stat : 10940 (java) R 10935 10938 10603 0 -1 4202560 8546 0 0 0 28 1 0 0 20 0 20 0 81204436 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933486526400 139933466445150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10941] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10941/stat : 10941 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933404945296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10942] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10942/stat : 10942 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933403892496 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10943] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10943/stat : 10943 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933402840208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10944] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10944/stat : 10944 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933401787408 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10945] ppid=10935 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/10938/task/10945/stat : 10945 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933400734096 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10946] ppid=10935 vsize=26103424 memory=140460731495343 CPUtime=0 cores=0-7 /proc/10938/task/10946/stat : 10946 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933399681296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10947] ppid=10935 vsize=26103424 memory=140460731497648 CPUtime=0 cores=0-7 /proc/10938/task/10947/stat : 10947 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933398629008 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10948] ppid=10935 vsize=26103424 memory=140460731499952 CPUtime=0 cores=0-7 /proc/10938/task/10948/stat : 10948 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204437 26729906176 11641 33554432000 4194304 4196468 140723258687360 139933397576208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10949] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10949/stat : 10949 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204438 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932991408752 139933482375810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10950] ppid=10935 vsize=26103424 memory=280921463006864 CPUtime=0 cores=0-7 /proc/10938/task/10950/stat : 10950 (java) S 10935 10938 10603 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81204439 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932990354720 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10951] ppid=10935 vsize=26103424 memory=280921463013776 CPUtime=0 cores=0-7 /proc/10938/task/10951/stat : 10951 (java) S 10935 10938 10603 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81204439 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932989302384 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10952] ppid=10935 vsize=26103424 memory=280921462955056 CPUtime=0 cores=0-7 /proc/10938/task/10952/stat : 10952 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932606687824 139933482383259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10953] ppid=10935 vsize=26103424 memory=280921463027600 CPUtime=0.02 cores=0-7 /proc/10938/task/10953/stat : 10953 (java) S 10935 10938 10603 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 81204441 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932605634672 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10954] ppid=10935 vsize=26103424 memory=280921463034512 CPUtime=0 cores=0-7 /proc/10938/task/10954/stat : 10954 (java) S 10935 10938 10603 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932604581872 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10955] ppid=10935 vsize=26103424 memory=280921463032208 CPUtime=0.01 cores=0-7 /proc/10938/task/10955/stat : 10955 (java) S 10935 10938 10603 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 81204441 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932603529584 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10956] ppid=10935 vsize=26103424 memory=280921463048768 CPUtime=0.07 cores=0-7 /proc/10938/task/10956/stat : 10956 (java) S 10935 10938 10603 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 20 0 81204441 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932602476784 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10957] ppid=10935 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10957/stat : 10957 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204441 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932601424736 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10958] ppid=10935 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/10938/task/10958/stat : 10958 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204442 26729906176 11641 33554432000 4194304 4196468 140723258687360 139932600372016 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46564 KiB [startup+0.70088 s] /proc/loadavg: 8.51 8.75 8.84 2/204 10958 /proc/meminfo: memFree=22924312/32770624 swapFree=67108860/67108860 [pid=10938] ppid=10935 vsize=26105492 memory=87736 CPUtime=0.98 cores=0-7 /proc/10938/stat : 10938 (java) S 10935 10938 10603 0 -1 1077944320 17812 0 0 0 94 4 0 0 20 0 20 0 81204435 26732023808 21934 33554432000 4194304 4196468 140723258687360 140723258669904 139933482364663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 /proc/10938/statm: 6526373 21934 3504 1 0 6488444 0 [pid=10938/tid=10940] ppid=10935 vsize=26105492 memory=6008717110352892513 CPUtime=0.67 cores=0-7 /proc/10938/task/10940/stat : 10940 (java) R 10935 10938 10603 0 -1 4202560 15032 0 0 0 65 2 0 0 20 0 20 0 81204436 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933486588832 139933482386589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10941] ppid=10935 vsize=26105492 memory=47059956684186 CPUtime=0 cores=0-7 /proc/10938/task/10941/stat : 10941 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933404945296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10942] ppid=10935 vsize=26105492 memory=140460731508467 CPUtime=0 cores=0-7 /proc/10938/task/10942/stat : 10942 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933403892496 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10943] ppid=10935 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10943/stat : 10943 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933402840208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10944] ppid=10935 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10944/stat : 10944 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933401787408 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10945] ppid=10935 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10945/stat : 10945 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933400734096 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10946] ppid=10935 vsize=26105492 memory=2353 CPUtime=0 cores=0-7 /proc/10938/task/10946/stat : 10946 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933399681296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10947] ppid=10935 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/10938/task/10947/stat : 10947 (java) S 10935 10938 10603 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933398629008 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10948] ppid=10935 vsize=26105492 memory=1728 CPUtime=0 cores=0-7 /proc/10938/task/10948/stat : 10948 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81204437 26732023808 21934 33554432000 4194304 4196468 140723258687360 139933397576208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10949] ppid=10935 vsize=26105492 memory=792 CPUtime=0 cores=0-7 /proc/10938/task/10949/stat : 10949 (java) S 10935 10938 10603 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81204438 26732023808 21934 33554432000 4194304 4196468 140723258687360 139932991408752 139933482375810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 ################ # More data... # ################ [pid=10938/tid=10955] ppid=10935 vsize=28050220 memory=1572 CPUtime=1.79 cores=0-7 /proc/10938/task/10955/stat : 10955 (java) D 10935 10938 10603 0 -1 4202560 5913 0 0 0 178 1 0 0 20 0 48 0 81204441 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139932603511016 139933474605644 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 51 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10956] ppid=10935 vsize=28050220 memory=928 CPUtime=1.32 cores=0-7 /proc/10938/task/10956/stat : 10956 (java) D 10935 10938 10603 0 -1 4202560 15455 0 0 0 129 3 0 0 20 0 48 0 81204441 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139932602477080 139933474604139 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 21 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10957] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0 cores=0-7 /proc/10938/task/10957/stat : 10957 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81204441 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139932601424736 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10958] ppid=10935 vsize=28050220 memory=288230574492221466 CPUtime=0.7 cores=0-7 /proc/10938/task/10958/stat : 10958 (java) S 10935 10938 10603 0 -1 1077944384 8648 0 0 0 35 35 0 0 20 0 48 0 81204442 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139932600372016 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 60 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10959] ppid=10935 vsize=28050220 memory=288230596050944315 CPUtime=0.03 cores=0-7 /proc/10938/task/10959/stat : 10959 (java) S 10935 10938 10603 0 -1 1077944384 2313 0 0 0 3 0 0 0 20 0 48 0 81204972 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139932589024592 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10960] ppid=10935 vsize=28050220 memory=14128944282601028 CPUtime=2.07 cores=0-7 /proc/10938/task/10960/stat : 10960 (java) S 10935 10938 10603 0 -1 1077944384 17090 0 0 0 76 131 0 0 20 0 48 0 81204993 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139932585874976 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10961] ppid=10935 vsize=28050220 memory=952 CPUtime=2477.29 cores=0-7 /proc/10938/task/10961/stat : 10961 (java) R 10935 10938 10603 0 -1 4202560 65774 0 0 0 247665 64 0 0 20 0 48 0 81205010 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931593198848 139933082867400 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10962] ppid=10935 vsize=28050220 memory=2340 CPUtime=2477 cores=0-7 /proc/10938/task/10962/stat : 10962 (java) R 10935 10938 10603 0 -1 4202560 65762 0 0 0 247625 75 0 0 20 0 48 0 81205011 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931592145992 139933083669265 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10963] ppid=10935 vsize=28050220 memory=1572 CPUtime=2477.29 cores=0-7 /proc/10938/task/10963/stat : 10963 (java) R 10935 10938 10603 0 -1 4202560 67485 0 0 0 247656 73 0 0 20 0 48 0 81205011 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931591093704 139933079415944 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10964] ppid=10935 vsize=28050220 memory=928 CPUtime=0.09 cores=0-7 /proc/10938/task/10964/stat : 10964 (java) S 10935 10938 10603 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 48 0 81205018 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931587949712 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10965] ppid=10935 vsize=28050220 memory=2244 CPUtime=0.09 cores=0-7 /proc/10938/task/10965/stat : 10965 (java) S 10935 10938 10603 0 -1 1077944384 375 0 0 0 9 0 0 0 20 0 48 0 81205018 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931586897424 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10966] ppid=10935 vsize=28050220 memory=4132 CPUtime=2478.5 cores=0-7 /proc/10938/task/10966/stat : 10966 (java) R 10935 10938 10603 0 -1 4202560 61260 0 0 0 247782 68 0 0 20 0 48 0 81205018 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931585838856 139933080556723 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10967] ppid=10935 vsize=28050220 memory=2196 CPUtime=2478.42 cores=0-7 /proc/10938/task/10967/stat : 10967 (java) R 10935 10938 10603 0 -1 4202560 64395 0 0 0 247770 72 0 0 20 0 48 0 81205018 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931584786376 139933082867391 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10968] ppid=10935 vsize=28050220 memory=7528 CPUtime=2477.6 cores=0-7 /proc/10938/task/10968/stat : 10968 (java) R 10935 10938 10603 0 -1 4202560 60462 0 0 0 247695 65 0 0 20 0 48 0 81205018 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931583732088 139933082680755 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10969] ppid=10935 vsize=28050220 memory=832 CPUtime=0.08 cores=0-7 /proc/10938/task/10969/stat : 10969 (java) S 10935 10938 10603 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 48 0 81205019 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931582686224 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10970] ppid=10935 vsize=28050220 memory=1696 CPUtime=2473.71 cores=0-7 /proc/10938/task/10970/stat : 10970 (java) R 10935 10938 10603 0 -1 4202560 69246 0 0 0 247302 69 0 0 20 0 48 0 81205019 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931581627216 139933082869351 0 4 0 16800975 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10971] ppid=10935 vsize=28050220 memory=916 CPUtime=2473.85 cores=0-7 /proc/10938/task/10971/stat : 10971 (java) R 10935 10938 10603 0 -1 4202560 62101 0 0 0 247311 74 0 0 20 0 48 0 81205032 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931580573880 139933082869351 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10972] ppid=10935 vsize=28050220 memory=4584 CPUtime=0.01 cores=0-7 /proc/10938/task/10972/stat : 10972 (java) D 10935 10938 10603 0 -1 4202560 222 0 0 0 1 0 0 0 20 0 48 0 81205032 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931579527992 139933466530259 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10973] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.02 cores=0-7 /proc/10938/task/10973/stat : 10973 (java) S 10935 10938 10603 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 48 0 81205095 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931268466192 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10974] ppid=10935 vsize=28050220 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/10938/task/10974/stat : 10974 (java) S 10935 10938 10603 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 48 0 81205096 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931267413392 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10975] ppid=10935 vsize=28050220 memory=-7003737579269690708 CPUtime=0.01 cores=0-7 /proc/10938/task/10975/stat : 10975 (java) S 10935 10938 10603 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 48 0 81205097 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931266361104 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10976] ppid=10935 vsize=28050220 memory=1948 CPUtime=0.01 cores=0-7 /proc/10938/task/10976/stat : 10976 (java) S 10935 10938 10603 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 48 0 81205100 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931265308304 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10977] ppid=10935 vsize=28050220 memory=5524 CPUtime=0.01 cores=0-7 /proc/10938/task/10977/stat : 10977 (java) S 10935 10938 10603 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 48 0 81205102 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931264254992 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10978] ppid=10935 vsize=28050220 memory=1444 CPUtime=0.01 cores=0-7 /proc/10938/task/10978/stat : 10978 (java) S 10935 10938 10603 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 48 0 81205103 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931263202192 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10979] ppid=10935 vsize=28050220 memory=1200 CPUtime=0.02 cores=0-7 /proc/10938/task/10979/stat : 10979 (java) R 10935 10938 10603 0 -1 4202560 788 0 0 0 2 0 0 0 20 0 48 0 81205103 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931262135192 139933475081815 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10980] ppid=10935 vsize=28050220 memory=1008 CPUtime=0.02 cores=0-7 /proc/10938/task/10980/stat : 10980 (java) S 10935 10938 10603 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 48 0 81205103 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931261097104 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10981] ppid=10935 vsize=28050220 memory=12040 CPUtime=0.01 cores=0-7 /proc/10938/task/10981/stat : 10981 (java) S 10935 10938 10603 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 48 0 81205103 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931260044816 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10982] ppid=10935 vsize=28050220 memory=1696 CPUtime=0.02 cores=0-7 /proc/10938/task/10982/stat : 10982 (java) S 10935 10938 10603 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 48 0 81205103 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931258992016 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10983] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.01 cores=0-7 /proc/10938/task/10983/stat : 10983 (java) S 10935 10938 10603 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 48 0 81205103 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931257939728 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10984] ppid=10935 vsize=28050220 memory=303430223234596890 CPUtime=0.01 cores=0-7 /proc/10938/task/10984/stat : 10984 (java) S 10935 10938 10603 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 48 0 81205104 28723425280 1544051 33554432000 4194304 4196468 140723258687360 139931256886928 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 Current children cumulated CPU time: 19925.3 s Current children cumulated vsize: 28050220 KiB Current children cumulated memory: 6176204 KiB [startup+2520.3 s] /proc/loadavg: 9.09 8.92 8.89 10/230 11053 /proc/meminfo: memFree=16803572/32770624 swapFree=67108860/67108860 [pid=10938] ppid=10935 vsize=28050220 memory=6177648 CPUtime=19926.1 cores=0-7 /proc/10938/stat : 10938 (java) S 10935 10938 10603 0 -1 1077944320 1646622 0 0 0 1991504 1102 0 0 20 0 45 0 81204435 28723425280 1544412 33554432000 4194304 4196468 140723258687360 140723258669904 139933482364663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 /proc/10938/statm: 7012555 1544412 3628 1 0 6974105 0 [pid=10938/tid=10940] ppid=10935 vsize=28050220 memory=6178708 CPUtime=5.67 cores=0-7 /proc/10938/task/10940/stat : 10940 (java) S 10935 10938 10603 0 -1 1077944384 23798 0 0 0 559 8 0 0 20 0 45 0 81204436 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933486603344 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10941] ppid=10935 vsize=28050220 memory=6178708 CPUtime=10.92 cores=0-7 /proc/10938/task/10941/stat : 10941 (java) S 10935 10938 10603 0 -1 1077944384 105318 0 0 0 1039 53 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933404945296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10942] ppid=10935 vsize=28050220 memory=6178708 CPUtime=11.04 cores=0-7 /proc/10938/task/10942/stat : 10942 (java) S 10935 10938 10603 0 -1 1077944384 108797 0 0 0 1049 55 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933403892496 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10943] ppid=10935 vsize=28050220 memory=6178708 CPUtime=11.01 cores=0-7 /proc/10938/task/10943/stat : 10943 (java) S 10935 10938 10603 0 -1 1077944384 110262 0 0 0 1047 54 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933402840208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10944] ppid=10935 vsize=28050220 memory=6178708 CPUtime=11.03 cores=0-7 /proc/10938/task/10944/stat : 10944 (java) S 10935 10938 10603 0 -1 1077944384 103044 0 0 0 1048 55 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933401787408 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10945] ppid=10935 vsize=28050220 memory=6178708 CPUtime=10.96 cores=0-7 /proc/10938/task/10945/stat : 10945 (java) S 10935 10938 10603 0 -1 1077944384 105990 0 0 0 1045 51 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933400734096 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10946] ppid=10935 vsize=28050220 memory=6178708 CPUtime=11.09 cores=0-7 /proc/10938/task/10946/stat : 10946 (java) S 10935 10938 10603 0 -1 1077944384 105983 0 0 0 1051 58 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933399681296 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10947] ppid=10935 vsize=28050220 memory=280921463945520 CPUtime=11.01 cores=0-7 /proc/10938/task/10947/stat : 10947 (java) S 10935 10938 10603 0 -1 1077944384 111297 0 0 0 1043 58 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933398629008 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10948] ppid=10935 vsize=28050220 memory=6178708 CPUtime=10.92 cores=0-7 /proc/10938/task/10948/stat : 10948 (java) S 10935 10938 10603 0 -1 1077944384 110045 0 0 0 1039 53 0 0 20 0 45 0 81204437 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139933397576208 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10949] ppid=10935 vsize=28050220 memory=6178708 CPUtime=7.72 cores=0-7 /proc/10938/task/10949/stat : 10949 (java) S 10935 10938 10603 0 -1 1077944384 166775 0 0 0 695 77 0 0 20 0 45 0 81204438 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932991408256 139933482375810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10950] ppid=10935 vsize=28050220 memory=33 CPUtime=0 cores=0-7 /proc/10938/task/10950/stat : 10950 (java) S 10935 10938 10603 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 45 0 81204439 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932990354784 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10951] ppid=10935 vsize=28050220 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/10938/task/10951/stat : 10951 (java) S 10935 10938 10603 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 81204439 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932989302400 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10952] ppid=10935 vsize=28050220 memory=4584 CPUtime=0 cores=0-7 /proc/10938/task/10952/stat : 10952 (java) S 10935 10938 10603 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 45 0 81204441 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932606687472 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10953] ppid=10935 vsize=28050220 memory=6791534058613427641 CPUtime=1.86 cores=0-7 /proc/10938/task/10953/stat : 10953 (java) S 10935 10938 10603 0 -1 1077944384 11990 0 0 0 184 2 0 0 20 0 45 0 81204441 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932605634672 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10954] ppid=10935 vsize=28050220 memory=18292 CPUtime=1.77 cores=0-7 /proc/10938/task/10954/stat : 10954 (java) S 10935 10938 10603 0 -1 1077944384 6005 0 0 0 174 3 0 0 20 0 45 0 81204441 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932604581872 139933482375810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10955] ppid=10935 vsize=28050220 memory=0 CPUtime=1.81 cores=0-7 /proc/10938/task/10955/stat : 10955 (java) R 10935 10938 10603 0 -1 4202560 6244 0 0 0 180 1 0 0 20 0 45 0 81204441 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932603517456 139933462530624 0 4 0 16800975 0 0 0 -1 5 0 0 51 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10956] ppid=10935 vsize=28050220 memory=-8034104937731315349 CPUtime=1.34 cores=0-7 /proc/10938/task/10956/stat : 10956 (java) S 10935 10938 10603 0 -1 1077944384 16673 0 0 0 131 3 0 0 20 0 45 0 81204441 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932602472160 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10957] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0 cores=0-7 /proc/10938/task/10957/stat : 10957 (java) S 10935 10938 10603 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 81204441 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932601424736 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10959] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.03 cores=0-7 /proc/10938/task/10959/stat : 10959 (java) S 10935 10938 10603 0 -1 1077944384 2313 0 0 0 3 0 0 0 20 0 45 0 81204972 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139932589024592 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10961] ppid=10935 vsize=28050220 memory=6178708 CPUtime=2477.37 cores=0-7 /proc/10938/task/10961/stat : 10961 (java) S 10935 10938 10603 0 -1 1077944384 65778 0 0 0 247673 64 0 0 20 0 45 0 81205010 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931593197168 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10962] ppid=10935 vsize=28050220 memory=1572 CPUtime=2477.06 cores=0-7 /proc/10938/task/10962/stat : 10962 (java) S 10935 10938 10603 0 -1 1077944384 65765 0 0 0 247631 75 0 0 20 0 45 0 81205011 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931592144656 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10963] ppid=10935 vsize=28050220 memory=33 CPUtime=2477.36 cores=0-7 /proc/10938/task/10963/stat : 10963 (java) S 10935 10938 10603 0 -1 1077944384 67488 0 0 0 247663 73 0 0 20 0 45 0 81205011 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931591093568 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10964] ppid=10935 vsize=28050220 memory=8387223549236478041 CPUtime=0.09 cores=0-7 /proc/10938/task/10964/stat : 10964 (java) S 10935 10938 10603 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 45 0 81205018 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931587949712 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10965] ppid=10935 vsize=28050220 memory=288287757821018998 CPUtime=0.09 cores=0-7 /proc/10938/task/10965/stat : 10965 (java) S 10935 10938 10603 0 -1 1077944384 375 0 0 0 9 0 0 0 20 0 45 0 81205018 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931586897424 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10966] ppid=10935 vsize=28050220 memory=3471202396320837713 CPUtime=2478.58 cores=0-7 /proc/10938/task/10966/stat : 10966 (java) S 10935 10938 10603 0 -1 1077944384 61262 0 0 0 247790 68 0 0 20 0 45 0 81205018 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931585837232 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10967] ppid=10935 vsize=28050220 memory=301794158559317689 CPUtime=2478.51 cores=0-7 /proc/10938/task/10967/stat : 10967 (java) S 10935 10938 10603 0 -1 1077944384 64396 0 0 0 247779 72 0 0 20 0 45 0 81205018 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931584786240 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10968] ppid=10935 vsize=28050220 memory=0 CPUtime=2477.68 cores=0-7 /proc/10938/task/10968/stat : 10968 (java) S 10935 10938 10603 0 -1 1077944384 60465 0 0 0 247703 65 0 0 20 0 45 0 81205018 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931583733440 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10969] ppid=10935 vsize=28050220 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/10938/task/10969/stat : 10969 (java) S 10935 10938 10603 0 -1 1077944384 471 0 0 0 8 0 0 0 20 0 45 0 81205019 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931582686224 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10970] ppid=10935 vsize=28050220 memory=4616 CPUtime=2473.76 cores=0-7 /proc/10938/task/10970/stat : 10970 (java) S 10935 10938 10603 0 -1 1077944384 69247 0 0 0 247307 69 0 0 20 0 45 0 81205019 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931581627328 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10971] ppid=10935 vsize=28050220 memory=15868 CPUtime=2473.93 cores=0-7 /proc/10938/task/10971/stat : 10971 (java) S 10935 10938 10603 0 -1 1077944384 62104 0 0 0 247319 74 0 0 20 0 45 0 81205032 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931580575040 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10972] ppid=10935 vsize=28050220 memory=280921467794912 CPUtime=0.03 cores=0-7 /proc/10938/task/10972/stat : 10972 (java) S 10935 10938 10603 0 -1 1077944384 638 0 0 0 3 0 0 0 20 0 45 0 81205032 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931579528336 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10973] ppid=10935 vsize=28050220 memory=6944656591801720471 CPUtime=0.02 cores=0-7 /proc/10938/task/10973/stat : 10973 (java) S 10935 10938 10603 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 45 0 81205095 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931268466192 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10974] ppid=10935 vsize=28050220 memory=187423782884769 CPUtime=0.02 cores=0-7 /proc/10938/task/10974/stat : 10974 (java) S 10935 10938 10603 0 -1 1077944384 574 0 0 0 2 0 0 0 20 0 45 0 81205096 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931267413392 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10975] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.01 cores=0-7 /proc/10938/task/10975/stat : 10975 (java) S 10935 10938 10603 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 45 0 81205097 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931266361104 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10976] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.01 cores=0-7 /proc/10938/task/10976/stat : 10976 (java) S 10935 10938 10603 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 45 0 81205100 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931265308304 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10977] ppid=10935 vsize=28050220 memory=952 CPUtime=0.01 cores=0-7 /proc/10938/task/10977/stat : 10977 (java) S 10935 10938 10603 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 45 0 81205102 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931264254992 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10978] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.01 cores=0-7 /proc/10938/task/10978/stat : 10978 (java) S 10935 10938 10603 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 45 0 81205103 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931263202192 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10979] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.04 cores=0-7 /proc/10938/task/10979/stat : 10979 (java) S 10935 10938 10603 0 -1 1077944384 1036 0 0 0 4 0 0 0 20 0 45 0 81205103 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931262149904 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10980] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.02 cores=0-7 /proc/10938/task/10980/stat : 10980 (java) S 10935 10938 10603 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 45 0 81205103 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931261097104 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10981] ppid=10935 vsize=28050220 memory=6176660 CPUtime=0.01 cores=0-7 /proc/10938/task/10981/stat : 10981 (java) S 10935 10938 10603 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 45 0 81205103 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931260044816 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10982] ppid=10935 vsize=28050220 memory=3828 CPUtime=0.02 cores=0-7 /proc/10938/task/10982/stat : 10982 (java) S 10935 10938 10603 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 45 0 81205103 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931258992016 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10983] ppid=10935 vsize=28050220 memory=6178708 CPUtime=0.01 cores=0-7 /proc/10938/task/10983/stat : 10983 (java) S 10935 10938 10603 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 45 0 81205103 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931257939728 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 [pid=10938/tid=10984] ppid=10935 vsize=28050220 memory=14816 CPUtime=0.01 cores=0-7 /proc/10938/task/10984/stat : 10984 (java) S 10935 10938 10603 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 45 0 81205104 28723425280 1544412 33554432000 4194304 4196468 140723258687360 139931256886928 139933482374869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38805504 140723258692685 140723258692869 140723258692869 140723258695631 0 Current children cumulated CPU time: 19926.1 s Current children cumulated vsize: 28050220 KiB Current children cumulated memory: 6177648 KiB Child status: 143 Real time (s): 2520.35 CPU time (s): 19926.1 CPU user time (s): 19915 CPU system time (s): 11.0628 CPU usage (%): 790.609 Max. virtual memory (cumulated for all children) (KiB): 28050220 Max. memory (cumulated for all children) (KiB): 6425200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19915 system time used= 11.0628 maximum resident set size= 6428844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1646649 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 727646 involuntary context switches= 440811 # summary of solver processes directly reported to runsolver: # pid: 10938 # total CPU time (s): 19926.1 # total CPU user time (s): 19915 # total CPU system time (s): 11.0628 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.6879 second user time and 37.3116 second system time The end
Begin job on node135 at 2018-07-26 22:20:13 IDJOB=4291775 IDBENCH=141161 IDSOLVER=2745 FILE ID=node135/4291775-1532636413 RUNJOBID= node135-1532633883-10630 PBS_JOBID= 21022179 Free space on /tmp= 48368 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291775-1532636413/watcher-4291775-1532636413 -o /tmp/evaluation-result-4291775-1532636413/solver-4291775-1532636413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532633883-10630 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1214804324 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291775-1532636413.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7 RANDOM SEED=1214804324 node135.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.50 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.50 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.50 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.50 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: 22982156 kB MemAvailable: 31926604 kB Buffers: 211652 kB Cached: 8912844 kB SwapCached: 0 kB Active: 2591732 kB Inactive: 6587592 kB Active(anon): 4132 kB Inactive(anon): 78288 kB Active(file): 2587600 kB Inactive(file): 6509304 kB Unevictable: 7220 kB Mlocked: 7220 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36088 kB Writeback: 0 kB AnonPages: 69668 kB Mapped: 41248 kB Shmem: 25248 kB Slab: 304252 kB SReclaimable: 276004 kB SUnreclaim: 28248 kB KernelStack: 3616 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 48332 MiB End job on node135 at 2018-07-26 23:02:13