Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
The dodo solver 2018-04-29 | SAT (TO) | 621609 | 2520.1 | 2508.83 |
Name | Auction/Auction-sum/ Auction-sum-decay500_c18.xml |
MD5SUM | d1d7e4f351cab0858660dafd89ccc193 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2700422 |
Best CPU time to get the best result obtained on this benchmark | 2520.13 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 500 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.11/0.14 c version: 2018-04-11 0.11/0.14 c seed: 1811631 0.11/0.14 c timeout: 2520 0.11/0.14 c memlimit: -1 0.11/0.14 c nbcore: -1 2.74/1.52 o 0 2.74/1.52 o 11303 2.74/1.53 o 17675 2.74/1.53 o 28978 2.74/1.54 o 37490 2.74/1.54 o 39144 2.74/1.54 o 47656 2.74/1.55 o 48888 2.74/1.55 o 50403 2.74/1.55 o 52057 2.74/1.55 o 60569 2.74/1.56 o 61801 2.74/1.56 o 67499 2.74/1.56 o 68731 2.74/1.56 o 71900 2.74/1.56 o 80412 2.74/1.56 o 81644 2.74/1.57 o 82465 2.74/1.57 o 90977 2.74/1.57 o 92209 2.74/1.57 o 99636 2.74/1.57 o 100868 2.74/1.57 o 101689 2.74/1.57 o 110201 2.74/1.58 o 111433 2.74/1.58 o 111496 2.74/1.59 o 114998 2.74/1.59 o 116230 2.74/1.59 o 116293 2.74/1.59 o 117375 2.74/1.59 o 117438 3.00/1.60 o 119399 3.00/1.60 o 120631 3.00/1.60 o 120694 3.00/1.60 o 124196 3.00/1.60 o 125428 3.00/1.60 o 125491 3.00/1.60 o 126573 3.00/1.60 o 126636 3.00/1.61 o 129974 3.00/1.61 o 131206 3.00/1.61 o 131269 3.00/1.61 o 134771 3.00/1.61 o 136003 3.00/1.61 o 136066 3.00/1.62 o 137148 3.00/1.62 o 137211 3.00/1.62 o 139172 3.00/1.62 o 140404 3.00/1.62 o 140467 3.00/1.62 o 143969 3.00/1.62 o 145201 3.00/1.62 o 145264 3.00/1.62 o 146346 3.00/1.62 o 146409 3.00/1.64 o 147816 3.00/1.64 o 149048 3.00/1.64 o 149111 3.00/1.64 o 150193 3.00/1.65 o 150256 3.00/1.65 o 151562 3.00/1.65 o 152794 3.00/1.65 o 152857 3.00/1.65 o 155007 3.00/1.65 o 156239 3.00/1.65 o 156302 3.00/1.65 o 164205 3.00/1.65 o 165437 3.00/1.65 o 165500 3.00/1.65 o 167040 3.00/1.65 o 168272 3.00/1.65 o 168335 3.00/1.65 o 169417 3.00/1.65 o 169480 3.00/1.66 o 173062 3.00/1.66 o 174294 3.00/1.66 o 174357 3.00/1.66 o 175897 3.00/1.67 o 177129 3.00/1.67 o 177192 3.00/1.67 o 178274 3.00/1.67 o 178337 3.00/1.68 o 178560 3.00/1.68 o 178623 3.00/1.69 o 182186 3.00/1.69 o 183418 3.00/1.69 o 183481 3.00/1.69 o 183704 3.00/1.69 o 183767 3.00/1.69 o 185021 3.00/1.69 o 186253 3.00/1.69 o 186316 3.00/1.69 o 186539 3.00/1.69 o 186602 3.00/1.69 o 187398 3.00/1.70 o 187461 3.00/1.70 o 187684 3.00/1.70 o 187747 3.24/1.72 o 187752 3.24/1.72 o 187815 3.24/1.72 o 192256 3.24/1.72 o 193488 3.24/1.72 o 193551 3.24/1.72 o 193774 3.24/1.72 o 193837 3.24/1.72 o 195091 3.24/1.72 o 196323 3.24/1.72 o 196386 3.24/1.72 o 196609 3.24/1.72 o 196672 3.24/1.72 o 197468 3.24/1.73 o 197531 3.24/1.73 o 197754 3.24/1.73 o 197817 3.24/1.73 o 201314 3.24/1.73 o 202546 3.24/1.73 o 202609 3.24/1.73 o 202832 3.24/1.73 o 202895 3.24/1.73 o 204149 3.24/1.73 o 205381 3.24/1.73 o 205444 3.24/1.73 o 205667 3.24/1.73 o 205730 3.24/1.73 o 206011 3.24/1.73 o 206074 3.24/1.74 o 206297 3.24/1.74 o 206360 3.24/1.74 o 206526 3.24/1.74 o 206589 3.24/1.74 o 206812 3.24/1.74 o 206875 3.24/1.74 o 207156 3.24/1.74 o 207219 3.24/1.74 o 207442 3.24/1.74 o 207505 3.24/1.76 o 207518 3.24/1.76 o 207581 3.24/1.79 o 207637 3.24/1.79 o 209565 3.24/1.79 o 210797 3.24/1.79 o 210860 3.24/1.79 o 211083 3.24/1.79 o 211146 3.24/1.79 o 212400 3.24/1.79 o 213632 3.24/1.79 o 213695 3.24/1.79 o 213918 3.24/1.79 o 213981 3.24/1.80 o 214440 3.24/1.80 o 214503 3.24/1.80 o 214726 3.24/1.80 o 214789 3.24/1.80 o 214802 3.36/1.80 o 214865 3.36/1.80 o 218623 3.36/1.80 o 219855 3.36/1.80 o 219918 3.36/1.80 o 220141 3.36/1.80 o 220204 3.36/1.80 o 220217 3.36/1.80 o 220280 3.36/1.80 o 221458 3.36/1.80 o 222690 3.36/1.80 o 222753 3.36/1.80 o 222976 3.36/1.80 o 223039 3.36/1.80 o 223052 3.36/1.80 o 223115 3.36/1.81 o 223320 3.36/1.81 o 223383 3.36/1.81 o 223606 3.36/1.81 o 223669 3.36/1.81 o 223682 3.36/1.81 o 223745 3.36/1.82 o 223835 3.36/1.82 o 223898 3.36/1.82 o 224121 3.36/1.82 o 224184 3.36/1.82 o 224197 3.36/1.82 o 224260 3.36/1.82 o 224465 3.36/1.82 o 224528 3.36/1.82 o 224751 3.36/1.82 o 224814 3.36/1.82 o 224827 3.36/1.82 o 224890 3.36/1.86 o 225326 3.36/1.86 o 226558 3.36/1.87 o 226621 3.36/1.87 o 226634 3.36/1.87 o 226697 3.36/1.88 o 227703 3.36/1.88 o 227766 3.36/1.88 o 227779 3.36/1.88 o 227842 3.36/1.89 o 230741 3.36/1.89 o 231973 3.36/1.89 o 232036 3.36/1.89 o 232049 3.36/1.89 o 232112 3.36/1.89 o 233576 3.36/1.89 o 234808 3.36/1.89 o 234871 3.36/1.89 o 234884 3.36/1.89 o 234947 3.36/1.89 o 235953 3.36/1.89 o 236016 3.36/1.89 o 236029 3.36/1.89 o 236092 3.49/1.90 o 236583 3.49/1.91 o 236646 3.49/1.91 o 236659 3.49/1.91 o 236722 3.49/1.93 o 238571 3.49/1.93 o 239803 3.49/1.93 o 239866 3.49/1.93 o 239879 3.49/1.93 o 239942 3.49/1.93 o 241406 3.49/1.93 o 242638 3.49/1.93 o 242701 3.49/1.93 o 242714 3.49/1.93 o 242777 3.49/1.96 o 243878 3.49/1.96 o 245110 3.49/1.96 o 245173 3.49/1.96 o 245186 3.49/1.96 o 245249 3.49/1.98 o 245790 3.49/1.98 o 245853 3.49/1.98 o 246076 3.49/1.99 o 246139 3.49/1.99 o 246152 3.49/1.99 o 246215 3.49/1.99 o 246343 3.49/1.99 o 246406 3.49/1.99 o 246419 3.49/1.99 o 246482 3.49/1.99 o 247282 3.49/1.99 o 247345 3.49/1.99 o 250847 3.49/1.99 o 252079 3.49/1.99 o 252142 3.49/1.99 o 252365 3.49/1.99 o 252428 3.49/1.99 o 252441 3.49/1.99 o 252504 3.49/1.99 o 253682 3.49/1.99 o 254914 3.49/1.99 o 254977 3.49/1.99 o 255200 3.49/1.99 o 255263 3.49/1.99 o 255276 3.49/1.99 o 255339 3.49/2.01 o 259097 3.49/2.01 o 260329 3.49/2.01 o 260392 3.49/2.01 o 260615 3.49/2.01 o 260678 3.60/2.01 o 260691 3.60/2.01 o 260754 3.60/2.01 o 261932 3.60/2.01 o 263164 3.60/2.01 o 263227 3.60/2.01 o 263450 3.60/2.01 o 263513 3.60/2.01 o 263526 3.60/2.01 o 263589 3.60/2.03 o 264404 3.60/2.03 o 265636 3.60/2.03 o 265699 3.60/2.03 o 265922 3.60/2.03 o 265985 3.60/2.03 o 265998 3.60/2.03 o 266061 3.60/2.06 o 267252 3.60/2.06 o 267315 3.60/2.06 o 267538 3.60/2.06 o 267601 3.60/2.06 o 267614 3.60/2.06 o 267677 3.70/2.11 o 267691 3.70/2.11 o 267754 3.70/2.11 o 267977 3.70/2.11 o 268040 3.70/2.11 o 268053 3.70/2.11 o 268116 3.70/2.14 o 269204 3.70/2.14 o 269267 3.70/2.14 o 269490 3.70/2.14 o 269553 3.70/2.14 o 269566 3.70/2.14 o 269629 3.70/2.14 o 270820 3.70/2.14 o 270883 3.70/2.14 o 271106 3.70/2.14 o 271169 3.70/2.14 o 271182 3.70/2.14 o 271245 3.70/2.14 o 272039 3.70/2.14 o 272102 3.70/2.14 o 272325 3.70/2.14 o 272388 3.70/2.14 o 272401 3.70/2.14 o 272464 3.70/2.14 o 273655 3.70/2.14 o 273718 3.70/2.14 o 273941 3.70/2.14 o 274004 3.70/2.14 o 274017 3.70/2.14 o 274080 3.70/2.14 o 276829 3.70/2.14 o 278061 3.70/2.14 o 278124 3.70/2.14 o 278347 3.70/2.14 o 278410 3.70/2.14 o 278423 3.70/2.14 o 278486 3.70/2.14 o 279677 3.70/2.14 o 279740 3.70/2.14 o 279963 3.70/2.14 o 280026 3.70/2.15 o 280039 3.70/2.15 o 280102 3.70/2.15 o 280896 3.70/2.15 o 280959 3.70/2.15 o 281182 3.70/2.15 o 281245 3.70/2.15 o 281258 3.70/2.15 o 281321 3.70/2.15 o 282512 3.70/2.15 o 282575 3.70/2.15 o 282798 3.70/2.15 o 282861 3.70/2.15 o 282874 3.70/2.15 o 282937 3.70/2.18 o 285079 3.70/2.18 o 286311 3.70/2.18 o 286374 3.70/2.18 o 286597 3.70/2.18 o 286660 3.70/2.18 o 286673 3.70/2.18 o 286736 3.70/2.18 o 287927 3.70/2.18 o 287990 3.70/2.18 o 288213 3.70/2.18 o 288276 3.70/2.18 o 288289 3.70/2.18 o 288352 3.70/2.18 o 289146 3.70/2.18 o 289209 3.70/2.18 o 289432 3.70/2.18 o 289495 3.70/2.18 o 289508 3.70/2.18 o 289571 3.70/2.18 o 290762 3.70/2.18 o 290825 3.70/2.18 o 291048 3.70/2.18 o 291111 3.70/2.18 o 291124 3.70/2.18 o 291187 3.80/2.22 o 291618 3.80/2.22 o 291681 3.80/2.22 o 291904 3.80/2.22 o 291967 3.80/2.22 o 291980 3.80/2.22 o 292043 3.80/2.22 o 293234 3.80/2.22 o 293297 3.80/2.22 o 293520 3.80/2.22 o 293583 3.80/2.22 o 293596 3.80/2.22 o 293659 3.90/2.32 o 294156 3.90/2.32 o 295388 3.90/2.32 o 295451 3.90/2.32 o 295674 3.90/2.32 o 295737 3.90/2.32 o 295750 3.90/2.32 o 295813 3.90/2.32 o 297004 3.90/2.32 o 297067 3.90/2.32 o 297290 3.90/2.32 o 297353 3.90/2.32 o 297366 3.90/2.32 o 297429 3.90/2.32 o 298223 3.90/2.32 o 298286 3.90/2.32 o 298509 3.90/2.33 o 298572 3.90/2.33 o 298585 3.90/2.33 o 298648 3.90/2.33 o 299839 3.90/2.33 o 299902 3.90/2.33 o 300125 3.90/2.33 o 300188 3.90/2.33 o 300201 3.90/2.33 o 300264 4.01/2.44 o 302784 4.01/2.44 o 304016 4.01/2.44 o 304079 4.01/2.44 o 304302 4.01/2.44 o 304365 4.01/2.44 o 305619 4.01/2.44 o 306851 4.01/2.44 o 306914 4.01/2.44 o 307137 4.01/2.44 o 307200 4.01/2.45 o 308326 4.01/2.45 o 308389 4.01/2.45 o 308612 4.01/2.45 o 308675 4.01/2.45 o 308688 4.01/2.45 o 308751 4.01/2.45 o 309545 4.01/2.45 o 309608 4.01/2.45 o 309831 4.01/2.45 o 309894 4.01/2.45 o 309907 4.01/2.45 o 309970 4.01/2.45 o 311161 4.01/2.45 o 311224 4.01/2.45 o 311447 4.01/2.45 o 311510 4.01/2.45 o 311523 4.01/2.45 o 311586 4.01/2.46 o 313728 4.01/2.46 o 314960 4.01/2.46 o 315023 4.01/2.46 o 315246 4.01/2.46 o 315309 4.01/2.46 o 315322 4.01/2.46 o 315385 4.01/2.46 o 316576 4.01/2.46 o 316639 4.01/2.46 o 316862 4.01/2.46 o 316925 4.01/2.46 o 316938 4.01/2.46 o 317001 4.01/2.46 o 317795 4.01/2.46 o 317858 4.01/2.46 o 318081 4.01/2.46 o 318144 4.01/2.46 o 318157 4.01/2.46 o 318220 4.01/2.46 o 319411 4.01/2.46 o 319474 4.01/2.46 o 319697 4.01/2.46 o 319760 4.01/2.46 o 319773 4.01/2.46 o 319836 4.12/2.50 o 320267 4.12/2.50 o 320330 4.12/2.50 o 320553 4.12/2.50 o 320616 4.12/2.50 o 320629 4.12/2.50 o 320692 4.12/2.50 o 321883 4.12/2.50 o 321946 4.12/2.50 o 322169 4.12/2.50 o 322232 4.12/2.50 o 322245 4.12/2.50 o 322308 4.12/2.52 o 322671 4.12/2.52 o 322734 4.12/2.52 o 322957 4.12/2.52 o 323020 4.12/2.52 o 323033 4.12/2.52 o 323096 4.12/2.52 o 324287 4.12/2.52 o 324350 4.12/2.52 o 324573 4.12/2.52 o 324636 4.12/2.53 o 324649 4.12/2.53 o 324712 4.12/2.53 o 325506 4.12/2.53 o 325569 4.12/2.53 o 325792 4.12/2.53 o 325855 4.12/2.53 o 325868 4.12/2.53 o 325931 4.12/2.53 o 327122 4.12/2.53 o 327185 4.12/2.53 o 327408 4.12/2.53 o 327471 4.12/2.53 o 327484 4.12/2.53 o 327547 4.12/2.54 o 327963 4.12/2.54 o 328026 4.12/2.54 o 328249 4.12/2.54 o 328312 4.12/2.54 o 328325 4.12/2.54 o 328388 4.12/2.54 o 329579 4.12/2.54 o 329642 4.12/2.54 o 329865 4.12/2.54 o 329928 4.12/2.54 o 329941 4.12/2.54 o 330004 4.31/2.71 o 330975 4.31/2.71 o 331038 4.31/2.71 o 331261 4.31/2.71 o 331324 4.31/2.71 o 332194 4.31/2.71 o 332257 4.31/2.71 o 332480 4.31/2.71 o 332543 4.31/2.71 o 332578 4.31/2.71 o 333810 4.31/2.71 o 333873 4.31/2.71 o 334096 4.31/2.71 o 334159 4.31/2.78 o 334633 4.31/2.78 o 334696 4.31/2.78 o 334919 4.31/2.78 o 334982 4.31/2.78 o 335017 4.31/2.78 o 336249 4.31/2.78 o 336312 4.31/2.78 o 336535 4.31/2.78 o 336598 4.31/2.78 o 337609 4.31/2.78 o 337672 4.31/2.79 o 337895 4.31/2.79 o 337958 4.31/2.79 o 337993 4.31/2.79 o 339225 4.31/2.79 o 339288 4.31/2.79 o 339511 4.31/2.79 o 339574 4.31/2.79 o 340444 4.31/2.79 o 340507 4.31/2.79 o 340730 4.31/2.79 o 340793 4.31/2.79 o 340828 4.31/2.79 o 342060 4.31/2.79 o 342123 4.31/2.79 o 342346 4.31/2.79 o 342409 4.41/2.88 o 342848 4.41/2.88 o 342911 4.41/2.88 o 343134 4.41/2.88 o 343197 4.41/2.88 o 343232 4.41/2.88 o 344464 4.41/2.88 o 344527 4.41/2.88 o 344750 4.41/2.88 o 344813 4.41/2.88 o 345683 4.41/2.88 o 345746 4.41/2.88 o 345969 4.41/2.88 o 346032 4.41/2.88 o 346067 4.41/2.88 o 347299 4.41/2.88 o 347362 4.41/2.88 o 347585 4.41/2.88 o 347648 4.41/2.89 o 348140 4.41/2.89 o 348203 4.41/2.89 o 348426 4.41/2.89 o 348489 4.41/2.89 o 348524 4.41/2.89 o 349756 4.41/2.89 o 349819 4.41/2.89 o 350042 4.41/2.89 o 350105 4.51/3.00 o 350918 4.51/3.00 o 350981 4.51/3.00 o 351204 4.51/3.00 o 351267 4.51/3.00 o 351774 4.51/3.00 o 351837 4.51/3.00 o 352060 4.51/3.00 o 352123 4.51/3.00 o 352158 4.51/3.00 o 353390 4.51/3.00 o 353453 4.51/3.00 o 353676 4.51/3.00 o 353739 4.51/3.00 o 353743 4.51/3.00 o 353806 4.62/3.01 o 354222 4.62/3.01 o 354285 4.62/3.01 o 354508 4.62/3.01 o 354571 4.62/3.01 o 354584 4.62/3.01 o 354647 4.62/3.01 o 355838 4.62/3.01 o 355901 4.62/3.01 o 356124 4.62/3.01 o 356187 4.62/3.01 o 356200 4.62/3.01 o 356263 4.62/3.11 o 356264 4.62/3.11 o 357496 4.73/3.11 o 357559 4.73/3.11 o 357782 4.73/3.11 o 357845 4.73/3.11 o 358715 4.73/3.12 o 358778 4.73/3.12 o 359001 4.73/3.12 o 359064 4.73/3.12 o 359099 4.73/3.12 o 360331 4.73/3.12 o 360394 4.73/3.12 o 360617 4.73/3.12 o 360680 4.84/3.24 o 361125 4.84/3.24 o 361188 4.84/3.24 o 361411 4.84/3.24 o 361474 4.84/3.24 o 362344 4.84/3.24 o 362407 4.84/3.24 o 362630 4.84/3.24 o 362693 4.84/3.24 o 362728 4.84/3.24 o 363960 4.84/3.24 o 364023 4.84/3.24 o 364246 4.84/3.24 o 364309 4.84/3.28 o 365417 4.84/3.28 o 365480 4.84/3.28 o 365703 4.84/3.28 o 365766 4.84/3.28 o 365779 4.84/3.28 o 365842 4.84/3.28 o 366636 4.84/3.28 o 366699 4.84/3.28 o 366922 4.84/3.28 o 366985 4.84/3.28 o 366998 4.84/3.28 o 367061 4.84/3.28 o 368252 4.84/3.28 o 368315 4.84/3.28 o 368538 4.84/3.28 o 368601 4.84/3.28 o 368614 4.84/3.28 o 368677 4.84/3.29 o 369108 4.84/3.29 o 369171 4.84/3.29 o 369394 4.84/3.29 o 369457 4.84/3.29 o 369470 4.84/3.29 o 369533 4.84/3.29 o 370724 4.84/3.29 o 370787 4.84/3.29 o 371010 4.84/3.29 o 371073 4.84/3.29 o 371086 4.84/3.29 o 371149 4.94/3.39 o 371415 4.94/3.39 o 371701 4.94/3.39 o 371777 4.94/3.39 o 371799 4.94/3.39 o 373031 4.94/3.39 o 373317 4.94/3.39 o 373393 5.04/3.40 o 373887 5.04/3.40 o 374173 5.04/3.40 o 374249 5.04/3.40 o 374271 5.04/3.40 o 375503 5.04/3.40 o 375789 5.04/3.40 o 375865 5.04/3.46 o 376700 5.04/3.46 o 376986 5.04/3.46 o 377062 5.14/3.57 o 377296 5.14/3.57 o 377582 5.14/3.58 o 377658 5.14/3.58 o 378515 5.14/3.58 o 378801 5.14/3.58 o 378877 5.14/3.58 o 378899 5.14/3.58 o 380131 5.14/3.58 o 380417 5.14/3.58 o 380493 5.14/3.58 o 380767 5.14/3.58 o 380830 5.14/3.58 o 381053 5.14/3.58 o 381116 5.14/3.58 o 381129 5.14/3.59 o 381192 5.14/3.59 o 381917 5.14/3.59 o 382203 5.14/3.59 o 382279 5.14/3.59 o 382698 5.14/3.59 o 383930 5.14/3.59 o 384216 5.14/3.59 o 384292 5.14/3.59 o 384314 5.14/3.59 o 385546 5.14/3.59 o 385832 5.14/3.59 o 385908 5.14/3.59 o 386765 5.14/3.59 o 387051 5.14/3.59 o 387127 5.14/3.59 o 387149 5.14/3.59 o 388381 5.14/3.59 o 388667 5.14/3.59 o 388743 5.26/3.60 o 389215 5.26/3.60 o 389501 5.26/3.60 o 389577 5.26/3.60 o 389599 5.26/3.60 o 389621 5.26/3.60 o 390853 5.26/3.60 o 391139 5.26/3.60 o 391215 5.26/3.60 o 392050 5.26/3.60 o 392336 5.26/3.60 o 392412 5.26/3.69 o 392690 5.26/3.69 o 392766 6.72/4.71 o 392916 6.72/4.71 o 393202 6.72/4.71 o 393278 6.72/4.71 o 394113 6.72/4.71 o 394399 6.72/4.71 o 394475 6.72/4.71 o 394753 6.72/4.71 o 394829 7.66/5.69 o 394885 7.66/5.69 o 395171 7.66/5.69 o 395247 7.66/5.69 o 396082 7.66/5.69 o 396368 7.66/5.69 o 396444 7.66/5.69 o 396722 7.66/5.69 o 396798 7.66/5.69 o 396854 7.66/5.69 o 397140 7.66/5.69 o 397216 7.66/5.70 o 397720 7.66/5.70 o 398006 7.66/5.70 o 398082 7.66/5.70 o 398917 7.66/5.70 o 399203 7.76/5.70 o 399279 7.76/5.70 o 399557 7.76/5.70 o 399633 7.86/5.82 o 399729 7.86/5.82 o 399805 7.86/5.83 o 400640 7.86/5.83 o 400926 7.86/5.83 o 401002 7.86/5.83 o 401506 7.86/5.83 o 401792 7.86/5.83 o 401868 7.86/5.83 o 402703 7.86/5.83 o 402989 7.86/5.83 o 403065 7.86/5.83 o 403343 7.86/5.83 o 403419 7.86/5.83 o 403475 7.86/5.83 o 403761 7.86/5.83 o 403837 7.86/5.83 o 404341 7.86/5.83 o 404627 7.86/5.83 o 404703 7.86/5.83 o 405538 7.86/5.83 o 405824 7.86/5.83 o 405900 7.86/5.83 o 406178 7.86/5.83 o 406254 7.86/5.89 o 406684 7.86/5.89 o 406970 7.86/5.89 o 407046 7.86/5.89 o 407068 7.86/5.89 o 408300 7.86/5.89 o 408586 7.86/5.89 o 408662 7.86/5.89 o 409497 7.86/5.89 o 409783 7.86/5.89 o 409859 7.86/5.89 o 410363 7.86/5.89 o 410649 7.86/5.89 o 410725 7.86/5.89 o 411560 7.86/5.89 o 411846 7.86/5.89 o 411922 7.86/5.89 o 412200 7.86/5.89 o 412276 7.86/5.90 o 412332 7.86/5.90 o 412618 7.86/5.90 o 412694 7.86/5.90 o 413198 7.86/5.90 o 413484 7.96/5.90 o 413560 7.96/5.90 o 414395 7.96/5.90 o 414681 7.96/5.90 o 414757 7.96/5.90 o 415035 7.96/5.90 o 415111 9.45/7.48 o 415370 9.45/7.48 o 415656 9.45/7.48 o 415732 9.45/7.48 o 416236 9.45/7.48 o 416522 9.45/7.48 o 416598 9.45/7.48 o 417433 9.45/7.48 o 417719 9.45/7.48 o 417795 9.45/7.48 o 418205 9.45/7.48 o 418491 9.45/7.48 o 418567 9.45/7.48 o 419071 9.45/7.48 o 419357 9.45/7.48 o 419433 9.45/7.48 o 420268 9.45/7.48 o 420554 9.45/7.48 o 420630 9.45/7.48 o 420908 9.45/7.48 o 420984 9.75/7.78 o 421039 9.75/7.78 o 421543 9.75/7.78 o 421829 9.75/7.79 o 421905 9.75/7.79 o 422740 9.75/7.79 o 423026 9.75/7.79 o 423102 9.75/7.79 o 423175 9.75/7.79 o 423251 9.75/7.79 o 423886 9.75/7.79 o 424172 9.75/7.79 o 424248 9.75/7.79 o 424270 9.75/7.79 o 425502 9.75/7.79 o 425788 9.75/7.79 o 425864 9.75/7.79 o 426699 9.75/7.79 o 426985 9.75/7.79 o 427061 9.75/7.79 o 427565 9.75/7.79 o 427851 9.75/7.79 o 427927 9.75/7.79 o 428762 9.75/7.79 o 429048 9.75/7.79 o 429124 9.75/7.79 o 429534 9.75/7.79 o 429820 9.75/7.79 o 429896 9.75/7.79 o 430400 9.75/7.79 o 430686 9.75/7.79 o 430762 9.75/7.79 o 431597 9.75/7.79 o 431883 9.75/7.79 o 431959 9.75/7.80 o 432237 9.75/7.80 o 432313 9.96/7.95 o 432373 9.96/7.95 o 432449 9.96/7.95 o 433084 9.96/7.95 o 433370 9.96/7.95 o 433446 9.96/7.95 o 433468 9.96/7.95 o 434700 9.96/7.95 o 434986 9.96/7.95 o 435062 9.96/7.95 o 435897 9.96/7.95 o 436183 9.96/7.95 o 436259 9.96/7.95 o 436763 9.96/7.95 o 437049 9.96/7.95 o 437125 9.96/7.96 o 437960 9.96/7.96 o 438246 9.96/7.96 o 438322 9.96/7.96 o 438732 9.96/7.96 o 439018 9.96/7.96 o 439094 9.96/7.96 o 439598 9.96/7.96 o 439884 9.96/7.96 o 439960 9.96/7.96 o 440795 9.96/7.96 o 441081 9.96/7.96 o 441157 9.96/7.96 o 441435 9.96/7.96 o 441511 10.45/8.49 o 441573 10.45/8.49 o 442208 10.45/8.49 o 442494 10.45/8.49 o 442570 10.45/8.49 o 442592 10.45/8.49 o 443824 10.45/8.49 o 444110 10.45/8.50 o 444186 10.45/8.50 o 445021 10.45/8.50 o 445307 10.45/8.50 o 445383 10.56/8.50 o 445887 10.56/8.50 o 446173 10.56/8.50 o 446249 10.56/8.50 o 447084 10.56/8.50 o 447370 10.56/8.50 o 447446 10.56/8.50 o 447856 10.56/8.50 o 448142 10.56/8.50 o 448218 10.56/8.50 o 448722 10.56/8.50 o 449008 10.56/8.50 o 449084 10.56/8.50 o 449919 10.56/8.50 o 450205 10.56/8.50 o 450281 10.56/8.51 o 450559 10.56/8.51 o 450635 11.06/9.07 o 450664 11.06/9.07 o 450740 11.06/9.07 o 450762 11.06/9.07 o 451994 11.06/9.07 o 452280 11.06/9.07 o 452356 11.06/9.07 o 452634 11.06/9.07 o 452710 11.06/9.10 o 452988 11.06/9.10 o 453274 11.06/9.10 o 453350 11.06/9.10 o 453459 11.06/9.10 o 453535 11.06/9.10 o 454370 11.06/9.10 o 454656 11.06/9.10 o 454732 11.06/9.10 o 455236 11.06/9.10 o 455522 11.06/9.10 o 455598 11.06/9.10 o 456433 11.06/9.10 o 456719 11.06/9.10 o 456795 11.06/9.10 o 457205 11.06/9.11 o 457491 11.06/9.11 o 457567 11.16/9.11 o 458071 11.16/9.11 o 458357 11.16/9.11 o 458433 11.16/9.11 o 459268 11.16/9.11 o 459554 11.16/9.11 o 459630 11.16/9.11 o 459704 11.16/9.11 o 459895 11.16/9.11 o 459971 11.16/9.11 o 460044 11.16/9.11 o 460120 11.16/9.11 o 460755 11.16/9.11 o 461041 11.16/9.11 o 461117 11.16/9.11 o 461139 11.16/9.11 o 462371 11.16/9.11 o 462657 11.16/9.11 o 462733 11.16/9.11 o 463568 11.16/9.11 o 463854 11.16/9.11 o 463930 11.16/9.11 o 464434 11.16/9.11 o 464720 11.16/9.11 o 464796 11.16/9.11 o 465631 11.16/9.11 o 465917 11.16/9.11 o 465993 11.16/9.11 o 466403 11.16/9.12 o 466689 11.16/9.12 o 466765 11.16/9.12 o 467269 11.16/9.12 o 467555 11.16/9.12 o 467631 11.16/9.12 o 468466 11.16/9.12 o 468752 11.16/9.12 o 468828 11.16/9.13 o 469106 11.16/9.13 o 469182 11.97/9.90 o 469386 11.97/9.90 o 469462 11.97/9.90 o 469872 11.97/9.90 o 470158 11.97/9.90 o 470234 11.97/9.90 o 470738 11.97/9.90 o 471024 11.97/9.90 o 471100 11.97/9.90 o 471935 11.97/9.90 o 472221 11.97/9.90 o 472297 11.97/9.91 o 472488 11.97/9.91 o 472564 11.97/9.91 o 472637 11.97/9.91 o 472713 11.97/9.91 o 473348 11.97/9.91 o 473634 11.97/9.91 o 473710 11.97/9.91 o 473732 11.97/9.91 o 474964 11.97/9.91 o 475250 11.97/9.91 o 475326 11.97/9.91 o 476161 11.97/9.91 o 476447 11.97/9.91 o 476523 11.97/9.91 o 477027 11.97/9.91 o 477313 11.97/9.91 o 477389 11.97/9.91 o 478224 11.97/9.91 o 478510 11.97/9.91 o 478586 11.97/9.91 o 478996 11.97/9.91 o 479282 11.97/9.91 o 479358 11.97/9.91 o 479862 11.97/9.91 o 480148 11.97/9.91 o 480224 11.97/9.91 o 481059 11.97/9.91 o 481345 11.97/9.91 o 481421 11.97/9.92 o 481699 11.97/9.92 o 481775 12.68/10.64 o 482211 12.68/10.64 o 482497 12.68/10.64 o 482573 12.68/10.64 o 482851 12.68/10.64 o 482927 13.37/11.34 o 483440 13.37/11.34 o 483726 13.37/11.34 o 484592 13.37/11.34 o 484878 13.37/11.34 o 484945 13.37/11.34 o 485043 13.37/11.34 o 486275 13.37/11.35 o 486561 13.37/11.35 o 487427 13.37/11.35 o 487713 13.37/11.35 o 487787 13.37/11.35 o 487917 13.37/11.35 o 488203 13.37/11.35 o 488959 13.37/11.35 o 489245 13.37/11.35 o 489343 13.37/11.35 o 490575 13.37/11.35 o 490861 13.37/11.35 o 491022 13.37/11.35 o 491308 13.37/11.35 o 491406 13.37/11.35 o 492638 13.37/11.35 o 492924 13.37/11.35 o 493790 13.37/11.35 o 494076 13.37/11.35 o 494143 13.37/11.35 o 494241 13.37/11.35 o 495473 13.37/11.35 o 495759 13.37/11.35 o 496625 13.37/11.35 o 496911 13.37/11.37 o 497265 20.35/18.24 o 497485 20.35/18.24 o 497771 20.35/18.24 o 497925 20.35/18.24 o 498211 20.35/18.24 o 498465 20.35/18.24 o 499331 20.35/18.24 o 499617 20.35/18.26 o 499815 20.35/18.26 o 500681 20.35/18.26 o 500967 20.35/18.26 o 501121 20.35/18.26 o 501407 20.35/18.27 o 501840 20.35/18.27 o 502126 20.35/18.27 o 502992 20.35/18.27 o 503278 20.35/18.27 o 503432 20.35/18.27 o 503718 20.35/18.27 o 503972 20.35/18.27 o 504838 20.35/18.27 o 505124 21.96/19.79 o 505611 21.96/19.79 o 505897 21.96/19.79 o 506051 21.96/19.79 o 506337 21.96/19.79 o 506591 21.96/19.79 o 507457 21.96/19.79 o 507743 26.07/23.83 o 507838 26.07/23.83 o 508704 26.07/23.83 o 508990 26.07/23.83 o 509144 26.07/23.83 o 509430 26.07/23.83 o 509486 26.07/23.83 o 509640 26.07/23.83 o 509926 26.07/23.83 o 510359 26.07/23.83 o 510645 26.07/23.83 o 511511 26.07/23.83 o 511797 26.07/23.83 o 511951 26.07/23.84 o 512237 26.17/23.96 o 512491 26.17/23.96 o 513357 26.17/23.96 o 513643 26.67/24.41 o 513742 26.67/24.41 o 514608 26.67/24.41 o 514894 30.38/28.16 o 515154 30.38/28.16 o 515440 30.38/28.16 o 516306 30.38/28.16 o 516592 30.38/28.16 o 516746 30.38/28.16 o 517032 30.38/28.17 o 517088 30.38/28.17 o 517242 30.38/28.17 o 517528 30.38/28.17 o 517961 30.38/28.17 o 518247 30.38/28.17 o 519113 30.38/28.18 o 519399 30.38/28.18 o 519553 30.38/28.18 o 519839 30.38/28.19 o 520023 30.38/28.19 o 520889 30.38/28.19 o 521175 30.38/28.19 o 521329 30.38/28.19 o 521615 30.38/28.19 o 521869 30.38/28.19 o 522735 30.38/28.19 o 523021 30.67/28.43 o 523035 30.67/28.43 o 523468 30.67/28.43 o 523754 30.67/28.43 o 524620 30.67/28.43 o 524906 30.67/28.43 o 525060 30.67/28.43 o 525346 30.67/28.44 o 525530 30.67/28.44 o 526396 30.67/28.44 o 526682 30.67/28.44 o 526836 30.67/28.44 o 527122 30.67/28.45 o 527376 30.67/28.45 o 528242 30.67/28.45 o 528528 30.98/28.71 o 528753 30.98/28.71 o 529186 30.98/28.71 o 529472 30.98/28.71 o 530338 30.98/28.71 o 530624 30.98/28.71 o 530778 30.98/28.71 o 531064 30.98/28.79 o 531318 30.98/28.79 o 532184 30.98/28.79 o 532470 31.68/29.44 o 532589 31.68/29.44 o 532875 31.68/29.44 o 533308 31.68/29.44 o 533594 31.68/29.44 o 534460 31.68/29.44 o 534746 31.68/29.44 o 534900 31.68/29.44 o 535186 31.68/29.48 o 535711 31.68/29.48 o 535997 31.68/29.48 o 536151 31.68/29.48 o 536437 31.79/29.55 o 536592 31.79/29.57 o 536691 31.79/29.57 o 537557 31.79/29.57 o 537843 35.68/33.41 o 537875 35.68/33.41 o 537981 35.68/33.41 o 538267 35.68/33.41 o 538402 35.68/33.41 o 538688 35.68/33.41 o 539133 35.68/33.41 o 539419 35.68/33.41 o 539554 35.68/33.41 o 539840 35.68/33.41 o 539859 35.68/33.41 o 539994 35.68/33.41 o 540280 35.68/33.41 o 540292 35.68/33.41 o 540578 35.68/33.41 o 540713 35.68/33.41 o 540999 35.68/33.41 o 541444 35.68/33.41 o 541730 35.68/33.41 o 541865 35.68/33.41 o 542151 35.68/33.41 o 542170 35.68/33.41 o 542305 35.68/33.41 o 542591 35.68/33.42 o 542845 35.68/33.42 o 543290 35.68/33.42 o 543576 35.68/33.42 o 543711 35.68/33.42 o 543997 35.68/33.44 o 544096 35.68/33.44 o 544541 35.68/33.44 o 544827 35.68/33.44 o 544962 35.68/33.44 o 545248 36.48/34.22 o 545374 36.48/34.22 o 545660 36.48/34.22 o 545764 36.48/34.23 o 546050 36.48/34.23 o 546185 36.48/34.23 o 546471 36.48/34.23 o 546490 36.48/34.23 o 546625 36.48/34.23 o 546911 36.48/34.23 o 547066 36.48/34.23 o 547165 36.48/34.23 o 547610 36.48/34.23 o 547896 36.48/34.23 o 548031 36.48/34.23 o 548317 36.48/34.25 o 548398 36.48/34.25 o 548684 36.48/34.25 o 548703 36.48/34.25 o 548838 36.48/34.25 o 549124 36.48/34.25 o 549180 36.48/34.25 o 549199 36.48/34.25 o 549334 36.48/34.25 o 549620 36.48/34.25 o 549632 36.48/34.25 o 549918 36.48/34.25 o 550053 36.48/34.25 o 550339 36.48/34.26 o 550784 36.48/34.26 o 551070 36.48/34.26 o 551205 36.48/34.26 o 551491 36.48/34.26 o 551510 36.48/34.26 o 551645 36.48/34.26 o 551931 36.48/34.27 o 551933 36.48/34.27 o 551996 36.48/34.27 o 552219 36.48/34.27 o 552282 36.48/34.27 o 552301 36.48/34.27 o 552373 36.48/34.28 o 552436 36.48/34.28 o 552659 36.48/34.28 o 552722 36.48/34.28 o 552753 36.48/34.28 o 553039 36.48/34.28 o 553484 36.48/34.28 o 553770 36.48/34.28 o 553905 36.48/34.28 o 554191 36.48/34.28 o 554210 36.48/34.28 o 554345 36.48/34.28 o 554631 36.48/34.28 o 554687 36.48/34.28 o 554706 36.48/34.28 o 554841 36.48/34.28 o 555127 36.48/34.28 o 555139 36.48/34.28 o 555425 36.48/34.28 o 555560 36.48/34.28 o 555846 36.48/34.28 o 556291 36.48/34.28 o 556577 36.48/34.28 o 556712 36.48/34.28 o 556998 36.48/34.28 o 557017 36.48/34.28 o 557152 36.48/34.28 o 557438 36.48/34.29 o 557692 36.48/34.29 o 558137 36.48/34.29 o 558423 36.48/34.29 o 558558 36.48/34.29 o 558844 36.59/34.30 o 558943 36.59/34.30 o 559388 36.59/34.30 o 559674 36.59/34.30 o 559809 36.59/34.30 o 560095 37.90/35.67 o 560251 37.90/35.67 o 560386 37.90/35.67 o 560672 37.90/35.67 o 560691 37.90/35.67 o 560826 37.90/35.67 o 561112 37.90/35.69 o 561216 37.90/35.69 o 561502 37.90/35.69 o 561637 37.90/35.69 o 561923 37.90/35.69 o 561942 37.90/35.69 o 562077 37.90/35.69 o 562363 38.00/35.74 o 562448 38.00/35.74 o 562467 38.00/35.74 o 562602 38.00/35.74 o 562888 38.00/35.77 o 562927 38.00/35.77 o 562946 38.00/35.77 o 563081 38.00/35.77 o 563367 38.00/35.77 o 563372 38.00/35.77 o 563658 38.00/35.77 o 563793 38.00/35.77 o 564079 38.00/35.77 o 564098 38.00/35.77 o 564233 38.00/35.77 o 564519 38.00/35.77 o 564531 38.00/35.77 o 564817 38.00/35.77 o 564952 38.00/35.78 o 565238 38.00/35.78 o 565257 38.00/35.78 o 565392 38.00/35.78 o 565678 38.00/35.78 o 565683 38.00/35.78 o 565969 38.00/35.78 o 566104 38.00/35.78 o 566390 38.00/35.78 o 566409 38.00/35.78 o 566544 38.00/35.78 o 566830 39.20/36.95 o 566993 39.20/36.95 o 566998 39.20/36.95 o 567284 39.20/36.95 o 567419 39.20/36.95 o 567705 39.20/36.95 o 567724 39.20/36.95 o 567859 39.20/36.95 o 568145 39.20/36.95 o 568201 39.20/36.95 o 568220 39.20/36.95 o 568355 39.20/36.95 o 568641 39.20/36.96 o 568653 39.20/36.96 o 568939 39.20/36.96 o 569074 39.20/36.96 o 569360 39.20/36.96 o 569379 39.20/36.96 o 569514 39.20/36.96 o 569800 39.20/36.96 o 569805 39.20/36.96 o 570091 39.20/36.96 o 570226 39.20/36.96 o 570512 39.20/36.96 o 570531 39.20/36.96 o 570666 39.20/36.96 o 570952 39.31/37.09 o 571051 39.31/37.09 o 571056 39.31/37.09 o 571342 39.31/37.09 o 571477 39.31/37.09 o 571763 39.31/37.09 o 571782 39.31/37.09 o 571917 39.31/37.09 o 572203 40.00/37.79 o 572358 40.20/37.96 o 572457 40.20/37.96 o 572902 40.20/37.96 o 573188 40.20/37.96 o 573323 40.20/37.96 o 573609 42.20/39.95 o 573652 42.20/39.95 o 573708 42.20/39.95 o 573727 42.20/39.95 o 573862 42.20/39.95 o 574148 42.20/39.96 o 574160 42.20/39.96 o 574446 42.20/39.96 o 574581 42.20/39.96 o 574867 42.20/39.96 o 574886 42.20/39.96 o 575021 42.20/39.96 o 575307 42.20/39.96 o 575312 42.20/39.96 o 575598 42.20/39.96 o 575733 42.20/39.96 o 576019 42.20/39.96 o 576038 42.20/39.96 o 576173 42.20/39.96 o 576459 42.20/39.96 o 576713 42.20/39.96 o 577158 42.20/39.96 o 577444 42.20/39.96 o 577579 42.20/39.96 o 577865 42.20/39.99 o 577964 42.20/39.99 o 578409 42.20/39.99 o 578695 42.20/39.99 o 578830 42.20/39.99 o 579116 44.52/42.24 o 579219 44.52/42.24 o 579295 44.52/42.24 o 579354 44.52/42.24 o 579640 44.52/42.24 o 579716 44.52/42.24 o 579735 44.52/42.24 o 579794 44.52/42.24 o 580080 44.52/42.24 o 580156 44.62/42.31 o 580235 44.62/42.32 o 580334 44.62/42.32 o 580410 44.62/42.32 o 580779 44.62/42.32 o 581065 44.62/42.32 o 581141 44.62/42.32 o 581200 44.62/42.32 o 581486 44.62/42.32 o 581562 45.12/42.87 o 581758 45.12/42.87 o 582012 45.12/42.87 o 582457 45.12/42.87 o 582743 45.12/42.87 o 582878 45.12/42.87 o 583164 45.22/42.92 o 583348 45.22/42.92 o 583367 45.22/42.92 o 583502 45.22/42.92 o 583788 45.22/42.92 o 584042 45.22/42.92 o 584487 45.22/42.92 o 584773 45.22/42.92 o 584908 45.22/42.92 o 585194 45.22/42.95 o 585370 45.22/42.95 o 585389 45.22/42.95 o 585524 45.22/42.95 o 585810 45.22/42.96 o 585822 45.22/42.96 o 586108 45.22/42.96 o 586243 45.22/42.96 o 586529 45.22/42.96 o 586548 45.22/42.96 o 586683 45.22/42.96 o 586969 45.22/42.96 o 586974 45.22/42.96 o 587260 45.22/42.96 o 587395 45.22/42.96 o 587681 45.22/42.96 o 587700 45.22/42.96 o 587835 45.22/42.96 o 588121 45.22/42.98 o 588224 45.22/42.98 o 588510 45.22/42.98 o 588522 45.22/42.98 o 588808 45.22/42.98 o 588943 45.22/42.98 o 589229 45.22/42.98 o 589248 45.22/42.98 o 589383 45.22/42.98 o 589669 45.22/42.98 o 589674 45.22/42.98 o 589960 45.22/42.98 o 590095 45.22/42.98 o 590381 45.22/42.98 o 590400 45.22/42.98 o 590535 45.22/42.98 o 590821 45.22/42.98 o 590877 45.22/42.98 o 590896 45.22/42.98 o 591031 45.22/42.98 o 591317 45.22/42.99 o 591329 45.22/42.99 o 591615 45.22/42.99 o 591750 45.22/42.99 o 592036 45.22/42.99 o 592055 45.22/42.99 o 592190 45.22/42.99 o 592476 45.22/42.99 o 592481 45.22/42.99 o 592767 45.22/42.99 o 592902 45.22/42.99 o 593188 45.22/42.99 o 593207 45.22/42.99 o 593342 45.22/42.99 o 593628 45.22/42.99 o 593882 45.22/42.99 o 594327 45.22/42.99 o 594613 45.22/42.99 o 594748 45.22/42.99 o 595034 45.33/43.05 o 595155 45.33/43.05 o 595441 45.33/43.05 o 595446 45.33/43.05 o 595732 45.33/43.05 o 595867 45.33/43.05 o 596153 45.33/43.05 o 596172 45.33/43.05 o 596307 45.33/43.05 o 596593 45.33/43.07 o 596658 45.33/43.07 o 596677 45.33/43.07 o 596812 45.33/43.07 o 597098 45.33/43.07 o 597110 45.33/43.07 o 597396 45.33/43.07 o 597531 45.33/43.07 o 597817 45.33/43.07 o 597836 45.33/43.07 o 597971 45.33/43.07 o 598257 45.33/43.07 o 598262 45.33/43.07 o 598548 45.33/43.07 o 598683 45.33/43.07 o 598969 45.33/43.07 o 598988 45.33/43.07 o 599123 45.33/43.07 o 599409 45.33/43.07 o 599503 45.33/43.07 o 599789 45.33/43.07 o 599801 45.33/43.07 o 600087 45.33/43.07 o 600222 45.33/43.07 o 600508 45.33/43.07 o 600527 45.33/43.08 o 600662 45.33/43.08 o 600948 45.33/43.08 o 600953 45.33/43.08 o 601239 45.33/43.08 o 601374 45.33/43.08 o 601660 45.33/43.08 o 601679 45.33/43.08 o 601814 45.33/43.08 o 602100 45.33/43.08 o 602354 45.33/43.08 o 602799 45.33/43.08 o 603085 45.33/43.08 o 603220 45.33/43.08 o 603506 45.62/43.36 o 603605 45.62/43.36 o 604050 45.62/43.36 o 604336 45.62/43.36 o 604471 45.62/43.36 o 604757 60.24/57.97 o 604911 60.24/57.97 o 605197 60.24/57.97 o 605352 60.24/57.97 o 605583 60.24/57.97 o 605869 60.24/57.97 o 606024 61.45/59.18 o 606032 61.45/59.18 o 606299 61.45/59.18 o 606392 61.45/59.18 o 606685 61.45/59.18 o 606971 61.45/59.18 o 607192 61.45/59.18 o 607485 61.45/59.19 o 607771 61.45/59.19 o 607864 61.45/59.19 o 608157 61.45/59.19 o 608443 61.45/59.19 o 608710 61.45/59.19 o 608803 61.45/59.19 o 609096 61.45/59.19 o 609382 62.25/59.99 o 609537 62.25/59.99 o 609692 62.25/59.99 o 609836 62.25/59.99 o 609991 62.25/59.99 o 610103 62.25/59.99 o 610258 62.25/59.99 o 610489 62.25/59.99 o 610775 62.25/59.99 o 610930 62.25/60.00 o 611289 62.25/60.00 o 611575 62.25/60.00 o 611730 62.25/60.00 o 611961 62.25/60.00 o 612247 62.25/60.00 o 612402 62.25/60.00 o 612514 62.25/60.00 o 612669 62.25/60.00 o 612900 62.25/60.00 o 613186 62.25/60.00 o 613341 265.91/263.12 o 613625 265.91/263.12 o 614232 265.91/263.12 o 614518 265.91/263.12 o 614586 265.91/263.12 o 614872 265.91/263.17 o 614922 265.91/263.18 o 615208 265.91/263.18 o 615546 265.91/263.18 o 615832 265.91/263.18 o 615900 265.91/263.18 o 616186 265.91/263.18 o 616260 265.91/263.18 o 616546 265.91/263.18 o 617153 265.91/263.18 o 617439 265.91/263.18 o 617507 265.91/263.18 o 617793 266.50/263.78 o 618048 266.50/263.78 o 618116 266.50/263.78 o 618402 267.00/264.22 o 618452 267.00/264.23 o 618738 267.00/264.23 o 618844 267.00/264.23 o 619130 267.00/264.23 o 619198 267.00/264.23 o 619484 267.00/264.23 o 619716 267.00/264.23 o 619790 267.00/264.23 o 620076 267.00/264.23 o 620683 267.00/264.23 o 620969 267.00/264.23 o 621037 267.00/264.23 o 621323 268.22/265.48 o 621538 337.53/334.54 o 621546 337.53/334.54 o 621609 2520.06/2508.80 s SATISFIABLE 2520.06/2508.81 v <instantiation> 2520.06/2508.81 v <list> 2520.06/2508.81 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2520.06/2508.81 v </list> 2520.06/2508.81 v <values> 2520.06/2508.81 v 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 2520.06/2508.81 v </values> 2520.06/2508.81 v </instantiation>
OK 621609
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 (8668 MiB free) memory of node 1: 16384 MiB (10172 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298538-1532762702/watcher-4298538-1532762702 -o /tmp/evaluation-result-4298538-1532762702/solver-4298538-1532762702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23109 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298538-1532762702.xml --timelimit 2520 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25787, runsolver pid=25784 [startup+0.100061 s]* /proc/loadavg: 2.03 1.88 1.87 3/215 25802 /proc/meminfo: memFree=19276624/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10658972 memory=27496 CPUtime=0.11 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 5218 0 0 0 10 1 0 0 20 0 15 0 93833431 10914787328 6874 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2664743 6874 2831 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10658972 memory=-7254952165438285178 CPUtime=0.08 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 3152 0 0 0 8 0 0 0 20 0 15 0 93833431 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708595096000 140708590874006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10658972 memory=5793855950995790265 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10658972 memory=140699985897088 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10914787328 6874 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833433 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 93833436 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10658972 memory=140699985897088 CPUtime=0.01 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) R 25784 25787 23077 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 93833437 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707619642096 140708569803654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10658972 memory=140699985897088 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10914787328 6874 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 27496 KiB [startup+0.210482 s]* /proc/loadavg: 2.03 1.88 1.87 4/215 25802 /proc/meminfo: memFree=19265216/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661056 memory=39756 CPUtime=0.33 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 8060 0 0 0 31 2 0 0 20 0 15 0 93833431 10916921344 9939 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665264 9939 2990 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661056 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 5123 0 0 0 18 1 0 0 20 0 15 0 93833431 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708595100272 140708178661408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661056 memory=4211974426190687626 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916921344 9939 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833433 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 732 0 0 0 3 0 0 0 20 0 15 0 93833436 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 93833436 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0.07 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) R 25784 25787 23077 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 15 0 93833437 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707619642096 140708569228398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661056 memory=140699985897088 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10916921344 9939 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10661056 KiB Current children cumulated memory: 39756 KiB [startup+0.310299 s]* /proc/loadavg: 2.03 1.88 1.87 5/215 25802 /proc/meminfo: memFree=19257648/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661132 memory=47644 CPUtime=0.59 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 8985 0 0 0 57 2 0 0 20 0 15 0 93833431 10916999168 11911 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665283 11911 3073 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=6735269665583770266 CPUtime=0.28 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) S 25784 25787 23077 0 -1 1077944384 5449 0 0 0 27 1 0 0 20 0 15 0 93833431 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708595098176 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=4211974426190687626 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=281399826291072 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=281399680815616 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=140699840393999 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 11911 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=281399826297984 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93833433 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=140699840398607 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=140699840424021 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=140699840428824 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) R 25784 25787 23077 0 -1 1077944384 935 0 0 0 7 0 0 0 20 0 15 0 93833436 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707621740208 140708590872277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) R 25784 25787 23077 0 -1 4202560 239 0 0 0 5 0 0 0 20 0 15 0 93833436 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707620694736 140708583151520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=140699985897088 CPUtime=0.15 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) R 25784 25787 23077 0 -1 4202560 1006 0 0 0 15 0 0 0 20 0 15 0 93833437 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707619637824 140708569840800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=140699985924584 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10916999168 11911 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 47644 KiB [startup+0.700829 s] /proc/loadavg: 2.03 1.88 1.87 5/215 25802 /proc/meminfo: memFree=19144100/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661132 memory=283872 CPUtime=1.82 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 13323 0 0 0 176 6 0 0 20 0 15 0 93833431 10916999168 70968 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665283 70968 3112 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=54 CPUtime=0.66 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 5702 0 0 0 61 5 0 0 20 0 15 0 93833431 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708595099104 140708182343244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 70968 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=5788 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93833433 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=4616 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=12032 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=792 CPUtime=0.42 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) R 25784 25787 23077 0 -1 4202560 2603 0 0 0 42 0 0 0 20 0 15 0 93833436 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707621747184 140708590874006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=1716 CPUtime=0.41 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 1543 0 0 0 41 0 0 0 20 0 15 0 93833436 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=1952 CPUtime=0.3 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 2103 0 0 0 30 0 0 0 20 0 15 0 93833437 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=8580 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833438 10916999168 70968 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 1.82 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 283872 KiB [startup+1.50077 s] /proc/loadavg: 2.03 1.88 1.87 3/215 25802 /proc/meminfo: memFree=19018616/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661132 memory=286924 CPUtime=2.74 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 13647 0 0 0 268 6 0 0 20 0 15 0 93833431 10916999168 71731 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665283 71731 3124 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=4140 CPUtime=1.46 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 5953 0 0 0 141 5 0 0 20 0 15 0 93833431 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708594618080 140708182343332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=27104 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=1296 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93833432 10916999168 71731 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=7451293975509493592 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93833433 10916999168 71731 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 ################ # More data... # ################ /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19269 0 0 0 237563 265 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594907120 140708182633591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.73 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 6840 0 0 0 265 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.71 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6400 0 0 0 263 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.74 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7677 0 0 0 265 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.74 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7330 0 0 0 267 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.91 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7678 0 0 0 84 7 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.7 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5269 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=465500 CPUtime=1.18 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9939 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.4 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3779 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=7392 CPUtime=0.6 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 767 0 0 0 30 30 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 2393.08 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 465500 KiB [startup+2442.3 s] /proc/loadavg: 1.37 1.39 1.50 3/215 25977 /proc/meminfo: memFree=19325360/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661132 memory=465500 CPUtime=2453.31 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 77337 0 0 0 244993 338 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665283 116375 3171 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=465500 CPUtime=2438.18 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19484 0 0 0 243546 272 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594907424 140708183361465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.81 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 7053 0 0 0 273 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.78 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6463 0 0 0 270 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.81 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7866 0 0 0 272 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.82 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7438 0 0 0 275 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.94 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7824 0 0 0 87 7 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.7 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5271 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=465500 CPUtime=1.18 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9941 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.4 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3781 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=1296 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=2412 CPUtime=0.62 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 800 0 0 0 31 31 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 2453.31 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 465500 KiB [startup+2502.3 s] /proc/loadavg: 1.55 1.44 1.51 3/215 25978 /proc/meminfo: memFree=19319216/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661132 memory=465500 CPUtime=2513.54 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 77844 0 0 0 251008 346 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665283 116375 3171 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=465500 CPUtime=2498.06 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19654 0 0 0 249528 278 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594908736 140708182486253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.88 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 7290 0 0 0 280 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.87 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6510 0 0 0 278 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.88 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7871 0 0 0 279 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.89 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7451 0 0 0 282 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=12032 CPUtime=0.97 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7847 0 0 0 89 8 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=27168 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.7 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5273 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=1296 CPUtime=1.18 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9943 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=0 CPUtime=0.4 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3783 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=304051459958078946 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.62 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 806 0 0 0 31 31 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 2513.54 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 465500 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2508.8 s] /proc/loadavg: 1.50 1.43 1.51 3/215 25978 /proc/meminfo: memFree=19319216/32770624 swapFree=67108860/67108860 [pid=25787] ppid=25784 vsize=10661132 memory=465500 CPUtime=2520.06 cores=1,3,5,7 /proc/25787/stat : 25787 (java) S 25784 25787 23077 0 -1 1077944320 77847 0 0 0 251660 346 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140723365599264 140708590862071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 /proc/25787/statm: 2665283 116375 3171 1 0 2627263 0 [pid=25787/tid=25789] ppid=25784 vsize=10661132 memory=465500 CPUtime=2504.54 cores=1,3,5,7 /proc/25787/task/25789/stat : 25789 (java) R 25784 25787 23077 0 -1 4202560 19657 0 0 0 250176 278 0 0 20 0 15 0 93833431 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708594907408 140708182260444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25790] ppid=25784 vsize=10661132 memory=56 CPUtime=2.89 cores=1,3,5,7 /proc/25787/task/25790/stat : 25790 (java) S 25784 25787 23077 0 -1 1077944384 7290 0 0 0 281 8 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708516936464 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25791] ppid=25784 vsize=10661132 memory=0 CPUtime=2.87 cores=1,3,5,7 /proc/25787/task/25791/stat : 25791 (java) S 25784 25787 23077 0 -1 1077944384 6510 0 0 0 278 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708515883920 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25792] ppid=25784 vsize=10661132 memory=465500 CPUtime=2.89 cores=1,3,5,7 /proc/25787/task/25792/stat : 25792 (java) S 25784 25787 23077 0 -1 1077944384 7871 0 0 0 280 9 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708514831376 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25793] ppid=25784 vsize=10661132 memory=2412 CPUtime=2.9 cores=1,3,5,7 /proc/25787/task/25793/stat : 25793 (java) S 25784 25787 23077 0 -1 1077944384 7451 0 0 0 283 7 0 0 20 0 15 0 93833432 10916999168 116375 33554432000 4194304 4196468 140723365616720 140708513778832 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25794] ppid=25784 vsize=10661132 memory=1724 CPUtime=0.97 cores=1,3,5,7 /proc/25787/task/25794/stat : 25794 (java) S 25784 25787 23077 0 -1 1077944384 7847 0 0 0 89 8 0 0 20 0 15 0 93833433 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707895191536 140708590873218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25795] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25795/stat : 25795 (java) S 25784 25787 23077 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707624903584 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25796] ppid=25784 vsize=10661132 memory=8580 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25796/stat : 25796 (java) S 25784 25787 23077 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93833434 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707623850992 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25797] ppid=25784 vsize=10661132 memory=465500 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25797/stat : 25797 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707622799568 140708590880667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25798] ppid=25784 vsize=10661132 memory=4140 CPUtime=0.7 cores=1,3,5,7 /proc/25787/task/25798/stat : 25798 (java) S 25784 25787 23077 0 -1 1077944384 5273 0 0 0 69 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707621747184 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25799] ppid=25784 vsize=10661132 memory=27168 CPUtime=1.18 cores=1,3,5,7 /proc/25787/task/25799/stat : 25799 (java) S 25784 25787 23077 0 -1 1077944384 9943 0 0 0 117 1 0 0 20 0 15 0 93833436 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707620694640 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25800] ppid=25784 vsize=10661132 memory=465500 CPUtime=0.4 cores=1,3,5,7 /proc/25787/task/25800/stat : 25800 (java) S 25784 25787 23077 0 -1 1077944384 3783 0 0 0 39 1 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707619642096 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25801] ppid=25784 vsize=10661132 memory=1240 CPUtime=0 cores=1,3,5,7 /proc/25787/task/25801/stat : 25801 (java) S 25784 25787 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93833437 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707618589792 140708590872277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 [pid=25787/tid=25802] ppid=25784 vsize=10661132 memory=2340 CPUtime=0.62 cores=1,3,5,7 /proc/25787/task/25802/stat : 25802 (java) S 25784 25787 23077 0 -1 1077944384 806 0 0 0 31 31 0 0 20 0 15 0 93833438 10916999168 116375 33554432000 4194304 4196468 140723365616720 140707617536304 140708590873218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22089728 140723365622904 140723365623049 140723365623049 140723365625807 0 Current children cumulated CPU time: 2520.06 s Current children cumulated vsize: 10661132 KiB Current children cumulated memory: 465500 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2508.83 s] # the end of solver process 25787 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.63 s, system=3.47033 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2508.83 CPU time (s): 2520.1 CPU user time (s): 2516.63 CPU system time (s): 3.47033 CPU usage (%): 100.449 Max. virtual memory (cumulated for all children) (KiB): 10661132 Max. memory (cumulated for all children) (KiB): 466460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.63 system time used= 3.47033 maximum resident set size= 466464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78232 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74979 involuntary context switches= 1609 # summary of solver processes directly reported to runsolver: # pid: 25787 # total CPU time (s): 2520.1 # total CPU user time (s): 2516.63 # total CPU system time (s): 3.47033 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.3534 second user time and 22.6476 second system time The end
Begin job on node103 at 2018-07-28 09:25:02 IDJOB=4298538 IDBENCH=141153 IDSOLVER=2768 FILE ID=node103/4298538-1532762702 RUNJOBID= node103-1532740268-23109 PBS_JOBID= 21022444 Free space on /tmp= 56536 MiB SOLVER NAME= The dodo solver 2018-04-29 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298538-1532762702/watcher-4298538-1532762702 -o /tmp/evaluation-result-4298538-1532762702/solver-4298538-1532762702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23109 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298538-1532762702.xml --timelimit 2520 TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=1490247336 node103.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.48 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.48 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.48 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.48 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: 19292860 kB MemAvailable: 30983364 kB Buffers: 301308 kB Cached: 11573276 kB SwapCached: 0 kB Active: 4857416 kB Inactive: 8017636 kB Active(anon): 1003164 kB Inactive(anon): 25184 kB Active(file): 3854252 kB Inactive(file): 7992452 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1292 kB Writeback: 0 kB AnonPages: 954100 kB Mapped: 54916 kB Shmem: 25228 kB Slab: 299848 kB SReclaimable: 272260 kB SUnreclaim: 27588 kB KernelStack: 3792 kB PageTables: 7236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1906332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 876544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56536 MiB End job on node103 at 2018-07-28 10:06:51