Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SuperSolver_Macq_Stevenart 2018-04-27 | SAT | 1305447 | 303.55 | 301.038 |
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.13/0.13 c version: 2018-04-11 0.13/0.13 c seed: 1811631 0.13/0.13 c timeout: -1 0.13/0.13 c memlimit: -1 0.13/0.13 c nbcore: -1 2.97/1.68 o 0 2.97/1.68 o 11303 2.97/1.68 o 17675 2.97/1.69 o 28978 2.97/1.69 o 37490 3.14/1.70 o 39144 3.14/1.70 o 47656 3.14/1.70 o 48888 3.14/1.71 o 50403 3.14/1.71 o 52057 3.14/1.71 o 60569 3.14/1.71 o 61801 3.14/1.72 o 67499 3.14/1.72 o 68731 3.14/1.72 o 71900 3.14/1.72 o 80412 3.14/1.72 o 81644 3.14/1.73 o 82465 3.14/1.73 o 90977 3.14/1.73 o 92209 3.14/1.73 o 99636 3.14/1.73 o 100868 3.14/1.73 o 101689 3.14/1.73 o 110201 3.14/1.73 o 111433 3.14/1.74 o 111496 3.14/1.76 o 114998 3.14/1.76 o 116230 3.14/1.77 o 116293 3.14/1.78 o 117375 3.14/1.78 o 117438 3.14/1.79 o 119399 3.14/1.79 o 120631 3.14/1.79 o 124196 3.14/1.79 o 125428 3.42/1.80 o 126573 3.42/1.81 o 126636 3.42/1.81 o 129974 3.42/1.81 o 131206 3.42/1.82 o 131269 3.42/1.82 o 132351 3.42/1.82 o 132414 3.42/1.83 o 139172 3.42/1.83 o 140404 3.42/1.83 o 141549 3.42/1.83 o 141612 3.42/1.84 o 143969 3.42/1.84 o 145201 3.42/1.85 o 145264 3.42/1.85 o 146346 3.42/1.86 o 146409 3.72/1.93 o 148727 3.72/1.93 o 149959 3.72/1.93 o 151104 3.72/1.94 o 151167 3.72/1.94 o 155007 3.72/1.94 o 156239 3.72/1.94 o 156302 3.72/1.94 o 164205 3.72/1.95 o 165437 3.72/1.95 o 165500 3.72/1.95 o 166582 3.72/1.96 o 166645 3.72/1.96 o 167040 3.72/1.96 o 168272 3.72/1.97 o 169417 3.72/1.98 o 169480 4.31/2.49 o 177142 4.31/2.49 o 177205 4.31/2.49 o 186340 4.31/2.49 o 186403 4.31/2.49 o 186626 4.31/2.49 o 186689 4.31/2.49 o 186702 4.31/2.49 o 186765 4.31/2.50 o 194451 4.31/2.50 o 194514 4.41/2.50 o 203649 4.41/2.50 o 203712 4.41/2.50 o 203935 4.41/2.50 o 203998 4.41/2.50 o 204011 4.41/2.50 o 204074 4.41/2.50 o 205265 4.41/2.50 o 205328 4.41/2.50 o 205551 4.41/2.50 o 205614 4.41/2.50 o 205627 4.41/2.50 o 205690 4.41/2.51 o 212322 4.41/2.51 o 212385 4.41/2.51 o 212608 4.41/2.51 o 212671 4.41/2.51 o 212684 4.41/2.51 o 212747 4.41/2.51 o 220433 4.41/2.51 o 220496 4.41/2.51 o 229631 4.41/2.51 o 229694 4.41/2.51 o 229917 4.41/2.51 o 229980 4.41/2.51 o 229993 4.41/2.51 o 230056 4.41/2.52 o 231247 4.41/2.52 o 231310 4.41/2.52 o 231533 4.41/2.52 o 231596 4.41/2.52 o 231609 4.41/2.52 o 231672 4.41/2.52 o 236236 4.41/2.52 o 236299 4.41/2.52 o 236522 4.41/2.52 o 236585 4.41/2.52 o 236598 4.41/2.52 o 236661 4.41/2.52 o 237852 4.41/2.52 o 237915 4.41/2.52 o 238138 4.41/2.52 o 238201 4.41/2.52 o 238214 4.41/2.52 o 238277 4.41/2.53 o 241484 4.41/2.53 o 241547 4.41/2.53 o 241770 4.41/2.53 o 241833 4.41/2.53 o 243100 4.41/2.53 o 243163 4.41/2.53 o 243386 4.41/2.53 o 243449 4.41/2.54 o 243463 4.41/2.54 o 243526 4.41/2.54 o 243539 4.41/2.54 o 243602 4.41/2.54 o 244793 4.41/2.54 o 244856 4.41/2.54 o 245079 4.41/2.54 o 245142 4.41/2.54 o 245155 4.41/2.54 o 245218 4.41/2.54 o 248425 4.41/2.54 o 248488 4.41/2.54 o 248711 4.41/2.54 o 248774 4.41/2.54 o 250041 4.41/2.54 o 250104 4.41/2.54 o 250327 4.41/2.54 o 250390 4.41/2.55 o 252054 4.41/2.55 o 252117 4.41/2.55 o 252340 4.41/2.55 o 252403 4.41/2.55 o 253670 4.41/2.55 o 253733 4.41/2.55 o 253956 4.41/2.55 o 254019 4.41/2.56 o 256834 4.41/2.56 o 256897 4.41/2.56 o 257120 4.41/2.56 o 257183 4.41/2.56 o 258450 4.41/2.56 o 258513 4.41/2.56 o 258736 4.41/2.56 o 258799 4.41/2.56 o 258813 4.41/2.56 o 258876 4.41/2.56 o 258889 4.41/2.56 o 258952 4.41/2.56 o 260143 4.41/2.56 o 260206 4.41/2.56 o 260429 4.41/2.57 o 260492 4.41/2.57 o 260505 4.41/2.57 o 260568 4.41/2.57 o 263775 4.41/2.57 o 263838 4.41/2.57 o 264061 4.41/2.57 o 264124 4.41/2.57 o 265391 4.41/2.57 o 265454 4.41/2.57 o 265677 4.41/2.57 o 265740 4.41/2.57 o 267404 4.41/2.57 o 267467 4.41/2.57 o 267690 4.41/2.57 o 267753 4.41/2.57 o 269020 4.41/2.57 o 269083 4.41/2.57 o 269306 4.41/2.57 o 269369 4.41/2.58 o 269591 4.41/2.58 o 269654 4.41/2.58 o 269877 4.41/2.58 o 269940 4.41/2.58 o 271207 4.41/2.58 o 271270 4.41/2.58 o 271493 4.41/2.58 o 271556 4.41/2.58 o 273220 4.41/2.59 o 273283 4.41/2.59 o 273506 4.41/2.59 o 273569 4.41/2.59 o 274836 4.41/2.59 o 274899 4.41/2.59 o 275122 4.41/2.59 o 275185 4.41/2.59 o 278000 4.41/2.59 o 278063 4.41/2.59 o 278286 4.41/2.59 o 278349 4.41/2.60 o 279616 4.41/2.60 o 279679 4.53/2.60 o 279902 4.53/2.60 o 279965 4.53/2.60 o 279979 4.53/2.60 o 280042 4.53/2.60 o 280055 4.53/2.60 o 280118 4.53/2.60 o 281309 4.53/2.60 o 281372 4.53/2.60 o 281595 4.53/2.60 o 281658 4.53/2.60 o 281671 4.53/2.60 o 281734 4.53/2.60 o 284941 4.53/2.60 o 285004 4.53/2.60 o 285227 4.53/2.60 o 285290 4.53/2.60 o 286557 4.53/2.60 o 286620 4.53/2.60 o 286843 4.53/2.60 o 286906 4.53/2.61 o 288570 4.53/2.61 o 288633 4.53/2.61 o 288856 4.53/2.61 o 288919 4.53/2.61 o 290186 4.53/2.61 o 290249 4.53/2.61 o 290472 4.53/2.61 o 290535 4.53/2.62 o 290633 4.53/2.62 o 290696 4.53/2.62 o 290919 4.53/2.62 o 290982 4.53/2.62 o 292249 4.53/2.62 o 292312 4.53/2.62 o 292535 4.53/2.62 o 292598 4.53/2.63 o 293426 4.53/2.63 o 293489 4.53/2.63 o 293712 4.53/2.63 o 293775 4.53/2.63 o 295042 4.53/2.63 o 295105 4.53/2.63 o 295328 4.53/2.63 o 295391 4.53/2.64 o 297055 4.53/2.64 o 297118 4.53/2.64 o 297341 4.53/2.64 o 297404 4.53/2.64 o 298671 4.53/2.64 o 298734 4.53/2.64 o 298957 4.53/2.64 o 299020 4.53/2.64 o 299242 4.53/2.64 o 299305 4.53/2.64 o 299528 4.53/2.64 o 299591 4.53/2.64 o 300858 4.53/2.64 o 300921 4.53/2.64 o 301144 4.53/2.64 o 301207 4.53/2.65 o 302871 4.53/2.65 o 302934 4.53/2.65 o 303157 4.53/2.65 o 303220 4.53/2.65 o 304487 4.53/2.65 o 304550 4.53/2.65 o 304773 4.53/2.65 o 304836 4.53/2.65 o 307651 4.53/2.65 o 307714 4.53/2.65 o 307937 4.53/2.65 o 308000 4.53/2.66 o 309267 4.53/2.66 o 309330 4.53/2.66 o 309553 4.53/2.66 o 309616 4.53/2.66 o 309630 4.53/2.66 o 309693 4.53/2.66 o 309706 4.53/2.66 o 309769 4.53/2.66 o 310960 4.53/2.66 o 311023 4.53/2.66 o 311246 4.53/2.66 o 311309 4.53/2.66 o 311322 4.53/2.66 o 311385 4.53/2.66 o 314592 4.53/2.66 o 314655 4.53/2.66 o 314878 4.53/2.66 o 314941 4.53/2.66 o 316208 4.53/2.66 o 316271 4.53/2.66 o 316494 4.53/2.66 o 316557 4.53/2.67 o 318221 4.53/2.67 o 318284 4.53/2.67 o 318507 4.53/2.67 o 318570 4.53/2.67 o 319837 4.53/2.67 o 319900 4.53/2.67 o 320123 4.53/2.67 o 320186 4.53/2.68 o 320284 4.53/2.68 o 320347 4.53/2.68 o 320570 4.53/2.68 o 320633 4.53/2.68 o 321900 4.53/2.68 o 321963 4.53/2.68 o 322186 4.53/2.68 o 322249 4.53/2.69 o 322286 4.53/2.69 o 322299 4.53/2.69 o 322362 4.53/2.69 o 327185 4.53/2.69 o 327248 4.53/2.69 o 327471 4.53/2.69 o 327534 4.53/2.69 o 328801 4.53/2.69 o 328864 4.53/2.70 o 329087 4.53/2.70 o 329150 4.63/2.70 o 330814 4.63/2.70 o 330877 4.63/2.70 o 331100 4.63/2.70 o 331163 4.63/2.70 o 332430 4.63/2.70 o 332493 4.63/2.70 o 332716 4.63/2.70 o 332779 4.63/2.71 o 332877 4.63/2.71 o 332940 4.63/2.71 o 333163 4.63/2.71 o 333226 4.63/2.71 o 334493 4.63/2.71 o 334556 4.63/2.71 o 334779 4.63/2.71 o 334842 5.10/3.19 o 334854 5.10/3.19 o 335140 5.10/3.19 o 335316 5.10/3.19 o 336548 5.10/3.19 o 336611 5.10/3.19 o 336834 5.10/3.19 o 336897 5.10/3.19 o 340564 5.10/3.20 o 341796 5.10/3.20 o 341859 5.10/3.20 o 342082 5.10/3.20 o 342145 5.20/3.20 o 344193 5.20/3.20 o 345425 5.20/3.20 o 345488 5.20/3.20 o 345711 5.20/3.20 o 345774 5.20/3.20 o 346575 5.20/3.20 o 346861 5.20/3.20 o 348972 5.20/3.20 o 350204 5.20/3.20 o 350490 5.20/3.21 o 350844 5.20/3.21 o 351035 5.20/3.21 o 352267 5.20/3.21 o 352553 5.20/3.21 o 352907 5.20/3.22 o 354865 5.20/3.22 o 356097 5.20/3.22 o 356160 5.20/3.22 o 356383 5.20/3.22 o 356446 5.20/3.22 o 358494 5.20/3.22 o 359726 5.20/3.22 o 359789 5.20/3.22 o 360012 5.20/3.22 o 360075 5.20/3.23 o 360876 5.20/3.23 o 361162 5.20/3.23 o 363273 5.20/3.23 o 364505 5.20/3.23 o 364791 5.20/3.23 o 364967 5.20/3.23 o 366199 5.20/3.23 o 366262 5.20/3.23 o 366485 5.20/3.23 o 366548 5.20/3.24 o 370215 5.20/3.24 o 371447 5.20/3.24 o 371510 5.20/3.24 o 371733 5.20/3.24 o 371796 5.20/3.24 o 373844 5.20/3.24 o 375076 5.20/3.24 o 375139 5.20/3.24 o 375362 5.20/3.24 o 375425 5.20/3.24 o 376226 5.20/3.24 o 376512 5.20/3.25 o 378623 5.20/3.25 o 379855 5.20/3.25 o 380141 5.20/3.25 o 380495 5.20/3.25 o 380686 5.20/3.25 o 381918 5.20/3.25 o 382204 5.20/3.25 o 382558 5.20/3.26 o 383052 5.20/3.26 o 383338 5.20/3.26 o 383514 5.20/3.26 o 384746 5.20/3.26 o 384809 5.20/3.27 o 385032 5.20/3.27 o 385095 5.20/3.27 o 388762 5.20/3.27 o 389994 5.20/3.27 o 390057 5.20/3.27 o 390280 5.20/3.27 o 390343 5.20/3.27 o 392391 5.20/3.27 o 393623 5.20/3.27 o 393686 5.20/3.27 o 393909 5.20/3.27 o 393972 5.20/3.27 o 394773 5.20/3.27 o 395059 5.20/3.28 o 397170 5.20/3.28 o 398402 5.20/3.28 o 398688 5.20/3.28 o 399042 5.20/3.28 o 399233 5.20/3.28 o 400465 5.20/3.28 o 400751 5.20/3.28 o 401105 5.31/3.30 o 402095 5.31/3.30 o 402158 5.31/3.30 o 402381 5.31/3.30 o 402444 5.31/3.30 o 403245 5.31/3.30 o 403531 5.31/3.30 o 405642 5.31/3.30 o 406874 5.31/3.30 o 407160 5.31/3.31 o 407514 5.31/3.32 o 407705 5.31/3.32 o 408937 5.31/3.32 o 409223 5.31/3.32 o 409577 5.83/3.83 o 409908 5.83/3.83 o 409971 5.83/3.84 o 411058 5.83/3.85 o 413455 5.83/3.85 o 414687 5.83/3.86 o 415149 5.83/3.86 o 416381 5.83/3.86 o 416444 5.83/3.86 o 420397 5.83/3.86 o 421629 5.83/3.86 o 421692 5.83/3.86 o 424026 5.83/3.86 o 425258 5.83/3.86 o 425321 5.83/3.87 o 426408 5.83/3.87 o 428805 5.83/3.87 o 430037 5.83/3.88 o 430868 5.83/3.88 o 432100 5.83/3.90 o 432281 5.83/3.90 o 434678 5.93/3.90 o 435910 5.93/3.91 o 436741 5.93/3.91 o 437973 6.43/4.45 o 438115 6.43/4.45 o 439347 6.43/4.45 o 439410 6.43/4.45 o 439987 6.43/4.45 o 440050 6.43/4.45 o 440963 6.43/4.46 o 441026 6.43/4.46 o 441603 6.43/4.46 o 441666 6.53/4.50 o 443988 6.53/4.50 o 445220 6.53/4.50 o 445283 6.53/4.50 o 445860 6.53/4.50 o 445923 6.53/4.50 o 446836 6.53/4.50 o 446899 6.53/4.51 o 447476 6.53/4.51 o 447539 7.04/5.02 o 448695 7.04/5.02 o 448758 7.04/5.02 o 450311 7.04/5.02 o 450374 7.04/5.03 o 450639 7.04/5.03 o 453474 7.04/5.03 o 455090 7.04/5.06 o 456562 7.04/5.06 o 457031 7.04/5.06 o 457094 7.04/5.06 o 458181 7.04/5.06 o 460194 7.04/5.06 o 461810 7.04/5.07 o 462435 7.04/5.07 o 462904 7.04/5.07 o 462967 7.04/5.07 o 464054 7.04/5.07 o 466067 7.04/5.07 o 467683 7.04/5.08 o 468835 7.04/5.10 o 471585 7.04/5.11 o 473201 7.15/5.11 o 474353 7.54/5.60 o 475515 7.54/5.60 o 475801 7.64/5.60 o 476155 7.64/5.60 o 481033 7.64/5.60 o 481319 7.64/5.60 o 481673 7.64/5.61 o 482185 7.64/5.61 o 482471 7.64/5.61 o 482825 7.64/5.64 o 483344 7.64/5.64 o 483630 7.64/5.64 o 483984 8.05/6.09 o 485117 8.05/6.09 o 486314 8.05/6.09 o 487180 8.05/6.09 o 488377 8.05/6.09 o 489019 8.05/6.09 o 489882 8.05/6.09 o 490524 8.05/6.09 o 492140 8.05/6.09 o 493337 8.05/6.09 o 494203 8.05/6.09 o 495400 8.05/6.09 o 496291 8.05/6.09 o 497157 8.05/6.09 o 498354 8.05/6.09 o 498996 8.05/6.09 o 500612 8.05/6.09 o 501809 8.05/6.09 o 502675 8.05/6.09 o 503872 8.05/6.09 o 504503 8.05/6.09 o 506119 8.05/6.09 o 507316 8.05/6.09 o 508182 8.05/6.09 o 509379 8.05/6.09 o 510021 8.05/6.10 o 510493 8.05/6.10 o 511690 8.05/6.10 o 512332 8.05/6.10 o 512753 8.05/6.10 o 512873 8.05/6.10 o 513515 8.05/6.10 o 515131 8.05/6.10 o 516328 8.05/6.10 o 517194 8.05/6.10 o 518391 8.05/6.10 o 519282 8.05/6.10 o 520148 8.05/6.10 o 521345 8.05/6.10 o 521987 8.05/6.10 o 523603 8.05/6.10 o 524800 8.05/6.10 o 525666 8.05/6.10 o 526863 8.05/6.11 o 527494 8.05/6.11 o 529110 8.05/6.11 o 530307 8.15/6.11 o 531173 8.15/6.11 o 532370 8.15/6.11 o 533012 8.15/6.11 o 533484 8.15/6.11 o 534681 8.15/6.11 o 535323 8.15/6.11 o 535744 8.15/6.11 o 535822 8.15/6.11 o 536464 8.15/6.11 o 538080 8.15/6.11 o 539277 8.15/6.11 o 540143 8.15/6.12 o 541340 8.15/6.12 o 542231 8.15/6.12 o 543097 8.15/6.12 o 544294 8.15/6.12 o 544936 8.15/6.12 o 546552 8.15/6.12 o 547749 8.15/6.12 o 548615 8.15/6.12 o 549812 8.15/6.12 o 550443 8.15/6.12 o 552059 8.15/6.12 o 553256 8.15/6.12 o 554122 8.15/6.12 o 555319 8.15/6.12 o 555961 8.15/6.12 o 556433 8.15/6.12 o 557630 8.15/6.12 o 558272 8.15/6.12 o 558693 8.15/6.13 o 559165 8.15/6.13 o 559586 8.15/6.13 o 559708 8.15/6.13 o 560339 8.15/6.13 o 561955 8.15/6.13 o 563152 8.15/6.13 o 564018 8.15/6.13 o 565215 8.15/6.13 o 565463 8.15/6.13 o 566329 8.15/6.13 o 567526 8.15/6.13 o 567947 8.15/6.14 o 568419 8.15/6.14 o 568840 8.15/6.14 o 569044 8.15/6.14 o 569465 8.15/6.15 o 569760 8.15/6.15 o 570957 8.15/6.15 o 571823 8.15/6.15 o 573020 8.15/6.15 o 573268 8.15/6.15 o 574134 8.15/6.15 o 575331 8.15/6.15 o 575752 8.15/6.15 o 576224 8.15/6.15 o 576645 8.15/6.15 o 576849 8.15/6.15 o 577270 8.15/6.16 o 577419 8.15/6.16 o 578285 8.15/6.16 o 579482 8.15/6.16 o 579903 8.15/6.16 o 580375 8.15/6.16 o 580796 8.15/6.16 o 581000 8.15/6.16 o 581421 8.15/6.17 o 581716 8.15/6.17 o 582913 8.15/6.17 o 583779 8.15/6.17 o 584976 8.15/6.17 o 585224 8.15/6.17 o 586090 8.15/6.17 o 587287 8.15/6.17 o 587708 8.15/6.17 o 588180 8.15/6.17 o 588601 8.15/6.17 o 588805 8.15/6.17 o 589226 8.15/6.18 o 589273 8.15/6.18 o 589477 8.15/6.18 o 589898 8.15/6.19 o 589921 8.15/6.19 o 590169 8.15/6.19 o 591035 8.15/6.19 o 592232 8.15/6.19 o 592653 8.15/6.19 o 593125 8.15/6.19 o 593546 8.15/6.19 o 593750 8.15/6.19 o 594171 8.15/6.20 o 594218 8.15/6.20 o 594422 8.26/6.20 o 594843 8.26/6.20 o 595780 8.26/6.20 o 596201 8.26/6.20 o 596673 8.26/6.20 o 597094 8.26/6.20 o 597298 8.26/6.20 o 597719 8.26/6.21 o 597766 8.26/6.21 o 597970 8.26/6.21 o 598391 8.26/6.21 o 598414 8.26/6.21 o 598662 8.26/6.21 o 599528 8.26/6.21 o 600725 8.26/6.21 o 601146 8.26/6.21 o 601618 8.26/6.21 o 602039 8.26/6.22 o 602243 8.26/6.22 o 602664 8.26/6.22 o 602711 8.26/6.22 o 602915 8.26/6.22 o 603336 8.26/6.23 o 603442 8.26/6.23 o 603863 8.26/6.23 o 604012 8.26/6.23 o 604878 8.26/6.23 o 606075 8.26/6.23 o 606496 8.26/6.23 o 606968 8.26/6.23 o 607389 8.26/6.23 o 607593 8.26/6.23 o 608014 8.26/6.24 o 608309 8.26/6.24 o 609506 8.26/6.24 o 610372 8.26/6.24 o 611569 8.26/6.24 o 611817 8.26/6.24 o 612683 8.26/6.24 o 613880 8.26/6.24 o 614301 8.26/6.24 o 614773 8.26/6.24 o 615194 8.26/6.24 o 615398 8.26/6.24 o 615819 8.26/6.25 o 615866 8.26/6.25 o 616070 8.26/6.25 o 616491 8.26/6.25 o 616514 8.26/6.25 o 616762 8.26/6.26 o 617628 8.26/6.26 o 618825 8.26/6.26 o 619246 8.26/6.26 o 619718 8.26/6.26 o 620139 8.26/6.26 o 620343 8.26/6.26 o 620764 8.26/6.26 o 620811 8.26/6.26 o 621015 8.26/6.26 o 621436 8.26/6.27 o 622373 8.26/6.27 o 622794 8.26/6.27 o 623266 8.26/6.27 o 623687 8.26/6.27 o 623891 8.26/6.27 o 624312 8.26/6.27 o 624359 8.26/6.27 o 624563 8.26/6.27 o 624984 8.26/6.28 o 625007 8.26/6.28 o 625255 8.26/6.28 o 626121 8.26/6.28 o 627318 8.26/6.28 o 627739 8.26/6.28 o 628211 8.26/6.28 o 628632 8.26/6.28 o 628836 8.26/6.28 o 629257 8.26/6.28 o 629304 8.26/6.28 o 629508 8.26/6.28 o 629929 8.36/6.31 o 630022 8.36/6.31 o 631219 8.36/6.31 o 631640 8.36/6.31 o 632112 8.36/6.31 o 632533 8.36/6.31 o 632737 8.36/6.31 o 633158 8.36/6.32 o 633205 8.36/6.32 o 633409 8.36/6.32 o 633830 8.36/6.34 o 633937 8.36/6.34 o 634409 8.36/6.34 o 634830 8.36/6.34 o 635034 8.36/6.34 o 635455 8.36/6.34 o 635502 8.36/6.35 o 635706 8.36/6.35 o 636127 8.86/6.85 o 636349 8.86/6.85 o 636770 8.86/6.85 o 637508 8.86/6.85 o 638660 8.86/6.85 o 639081 8.86/6.87 o 639478 8.86/6.87 o 640209 8.86/6.87 o 640630 8.86/6.90 o 640800 8.86/6.90 o 641221 9.37/7.34 o 642220 9.37/7.34 o 643452 9.37/7.34 o 643711 9.37/7.34 o 643787 9.37/7.34 o 644892 9.37/7.34 o 646124 9.37/7.34 o 647727 9.37/7.34 o 648959 9.37/7.34 o 650038 9.37/7.34 o 651270 9.37/7.34 o 651691 9.37/7.35 o 652483 9.37/7.35 o 652904 9.37/7.35 o 653358 9.37/7.35 o 654437 9.37/7.35 o 655669 9.37/7.35 o 656090 9.37/7.35 o 656600 9.37/7.35 o 657225 9.37/7.35 o 657301 9.37/7.35 o 658406 9.37/7.35 o 659638 9.37/7.35 o 661241 9.37/7.35 o 662473 9.37/7.35 o 662732 9.37/7.35 o 662808 9.37/7.35 o 663913 9.37/7.35 o 665145 9.37/7.35 o 666748 9.37/7.35 o 667980 9.37/7.36 o 669059 9.37/7.36 o 670291 9.37/7.36 o 670712 9.37/7.36 o 671184 9.37/7.36 o 671605 9.37/7.36 o 671809 9.37/7.36 o 672230 9.37/7.37 o 672532 9.37/7.37 o 672791 9.37/7.37 o 672867 9.37/7.37 o 673972 9.37/7.37 o 675204 9.37/7.37 o 676807 9.37/7.37 o 678039 9.37/7.37 o 679118 9.37/7.37 o 680350 9.37/7.37 o 680771 9.37/7.37 o 681243 9.37/7.38 o 681664 9.37/7.38 o 681868 9.37/7.38 o 682289 9.37/7.38 o 682819 9.37/7.38 o 684051 9.37/7.38 o 684127 9.37/7.38 o 684472 9.37/7.39 o 684548 9.37/7.39 o 684944 9.37/7.39 o 685020 9.37/7.39 o 685365 9.37/7.39 o 685441 9.37/7.39 o 685569 9.37/7.39 o 685645 9.37/7.39 o 685990 9.37/7.39 o 686066 9.47/7.41 o 686188 9.47/7.41 o 686609 9.47/7.41 o 686813 9.47/7.41 o 687234 9.47/7.42 o 687764 9.47/7.42 o 688996 9.47/7.42 o 689072 9.47/7.42 o 689417 9.47/7.42 o 689493 9.47/7.42 o 689889 9.47/7.42 o 689965 9.47/7.42 o 690310 9.47/7.42 o 690386 9.47/7.43 o 690514 9.47/7.43 o 690590 9.47/7.43 o 690935 9.47/7.43 o 691011 9.47/7.44 o 691665 9.47/7.44 o 692897 9.47/7.44 o 693976 9.47/7.44 o 695208 9.47/7.44 o 695629 9.47/7.45 o 696101 9.47/7.45 o 696522 9.47/7.45 o 696726 9.47/7.45 o 697147 9.47/7.45 o 697677 9.47/7.45 o 698909 9.47/7.45 o 698985 9.47/7.45 o 699330 9.47/7.45 o 699406 9.47/7.46 o 699802 9.47/7.46 o 699878 9.47/7.46 o 700223 9.47/7.46 o 700299 9.47/7.46 o 700427 9.47/7.46 o 700503 9.47/7.46 o 700848 9.47/7.46 o 700924 9.47/7.47 o 701046 9.47/7.47 o 701467 9.47/7.48 o 701671 9.47/7.48 o 702092 9.47/7.48 o 702622 9.47/7.48 o 703854 9.47/7.48 o 703930 9.47/7.48 o 704275 9.47/7.48 o 704351 9.47/7.48 o 704747 9.47/7.48 o 704823 9.47/7.48 o 705168 9.47/7.48 o 705244 9.47/7.49 o 705372 9.47/7.49 o 705448 9.47/7.49 o 705793 9.47/7.49 o 705869 11.08/9.07 o 706084 11.08/9.07 o 707281 11.08/9.07 o 708147 11.08/9.07 o 709344 11.08/9.07 o 709592 11.08/9.07 o 710458 11.08/9.07 o 711655 11.08/9.07 o 711963 11.08/9.07 o 712211 11.08/9.07 o 713077 11.08/9.07 o 714274 11.08/9.07 o 715167 11.08/9.07 o 715792 11.08/9.07 o 716230 11.08/9.07 o 717096 11.08/9.08 o 718293 11.08/9.08 o 718541 11.08/9.08 o 719407 11.08/9.08 o 720604 11.08/9.08 o 720912 11.08/9.08 o 721160 11.08/9.08 o 722026 11.08/9.08 o 723223 11.08/9.08 o 724116 11.08/9.08 o 724741 11.08/9.08 o 724788 11.08/9.08 o 725413 11.08/9.08 o 726014 11.08/9.08 o 726608 11.08/9.08 o 727280 11.08/9.08 o 727881 11.08/9.08 o 728139 11.08/9.09 o 728447 11.08/9.09 o 728695 11.08/9.09 o 729561 11.08/9.09 o 730758 11.08/9.09 o 731651 11.08/9.09 o 732276 11.08/9.09 o 732323 11.08/9.09 o 732948 11.08/9.09 o 733549 11.08/9.09 o 734143 11.08/9.09 o 734815 11.08/9.09 o 735416 11.08/9.09 o 735915 11.08/9.09 o 736223 11.08/9.09 o 736471 11.08/9.09 o 737337 11.08/9.09 o 738534 11.08/9.09 o 739427 11.08/9.10 o 740052 11.08/9.10 o 740490 11.08/9.10 o 741356 11.08/9.10 o 742553 11.08/9.10 o 742801 11.08/9.10 o 743667 11.08/9.10 o 744864 11.08/9.10 o 745172 11.08/9.10 o 745420 11.08/9.10 o 746286 11.08/9.10 o 747483 11.08/9.10 o 748376 11.08/9.10 o 749001 11.08/9.10 o 749048 11.08/9.10 o 749673 11.08/9.10 o 750274 11.08/9.10 o 750868 11.08/9.10 o 751540 11.08/9.10 o 752141 11.08/9.11 o 752399 11.17/9.11 o 752707 11.17/9.11 o 752955 11.17/9.11 o 753821 11.17/9.11 o 755018 11.17/9.11 o 755911 11.17/9.11 o 756536 11.17/9.11 o 756583 11.17/9.11 o 757208 11.17/9.11 o 757809 11.17/9.11 o 758403 11.17/9.11 o 759075 11.17/9.11 o 759676 11.17/9.12 o 759988 11.17/9.12 o 761185 11.17/9.12 o 762078 11.17/9.12 o 762703 11.17/9.12 o 762750 11.17/9.12 o 763375 11.17/9.12 o 763976 11.17/9.12 o 764406 11.17/9.12 o 765007 11.17/9.12 o 765601 11.17/9.12 o 766273 11.17/9.12 o 766874 11.17/9.13 o 767186 11.17/9.13 o 768383 11.17/9.13 o 769276 11.17/9.13 o 769901 11.17/9.13 o 769948 11.17/9.13 o 770573 11.17/9.13 o 771174 11.17/9.14 o 771622 11.17/9.14 o 772223 11.17/9.15 o 772568 11.17/9.15 o 773169 11.17/9.16 o 773617 11.17/9.16 o 774218 11.17/9.18 o 774405 11.17/9.18 o 774713 11.17/9.18 o 774961 11.17/9.18 o 775827 11.17/9.18 o 777024 11.17/9.18 o 777917 11.17/9.18 o 778542 11.17/9.18 o 778589 11.17/9.18 o 779214 11.17/9.18 o 779815 11.17/9.19 o 779912 11.17/9.19 o 780537 11.17/9.19 o 780584 11.17/9.19 o 781209 11.17/9.19 o 781810 11.27/9.21 o 782258 11.27/9.21 o 782859 11.77/9.71 o 783895 11.77/9.71 o 783971 11.77/9.71 o 784316 11.77/9.71 o 784392 11.77/9.72 o 784612 11.77/9.72 o 784688 11.77/9.72 o 784982 11.77/9.72 o 785058 11.77/9.72 o 787180 11.77/9.72 o 787256 11.77/9.72 o 787601 11.77/9.72 o 787677 11.77/9.72 o 788002 11.77/9.72 o 788078 11.77/9.72 o 788796 11.77/9.72 o 791631 11.77/9.72 o 791707 11.77/9.72 o 792052 11.77/9.72 o 792128 11.77/9.72 o 794250 11.77/9.72 o 794326 11.77/9.72 o 794671 11.77/9.72 o 794747 11.77/9.72 o 797241 11.77/9.72 o 797317 11.77/9.72 o 797662 11.77/9.72 o 797738 11.77/9.72 o 799860 11.77/9.72 o 799936 11.77/9.73 o 800281 11.77/9.73 o 800357 11.77/9.73 o 801300 11.77/9.73 o 801376 11.77/9.73 o 801721 11.77/9.73 o 801797 11.77/9.73 o 803919 11.77/9.73 o 803995 11.77/9.73 o 804340 11.77/9.73 o 804416 11.77/9.74 o 805673 11.77/9.74 o 805749 11.77/9.74 o 806094 11.77/9.74 o 806170 11.77/9.74 o 808292 11.77/9.74 o 808368 11.77/9.74 o 808713 11.77/9.74 o 808789 11.77/9.74 o 809732 11.77/9.74 o 809808 11.77/9.74 o 810153 11.77/9.74 o 810229 11.77/9.74 o 812351 11.77/9.74 o 812427 11.77/9.74 o 812772 11.77/9.74 o 812848 11.77/9.74 o 813068 11.77/9.74 o 813144 11.77/9.74 o 813438 11.77/9.74 o 813514 11.77/9.74 o 815636 11.77/9.74 o 815712 11.77/9.74 o 816057 11.77/9.75 o 816133 11.77/9.75 o 816458 11.77/9.75 o 816534 11.77/9.75 o 817252 11.77/9.75 o 820087 11.77/9.75 o 820163 11.77/9.75 o 820508 11.77/9.75 o 820584 11.77/9.75 o 822706 11.77/9.75 o 822782 11.77/9.75 o 823127 11.77/9.75 o 823203 11.77/9.75 o 825697 11.77/9.75 o 825773 11.77/9.75 o 826118 11.77/9.75 o 826194 11.77/9.75 o 828316 11.77/9.75 o 828392 11.77/9.75 o 828737 11.77/9.75 o 828813 11.77/9.75 o 829756 11.77/9.75 o 829832 11.77/9.75 o 830177 11.77/9.75 o 830253 11.77/9.76 o 832375 11.77/9.76 o 832451 11.77/9.76 o 832796 11.77/9.76 o 832872 11.77/9.76 o 834786 11.77/9.76 o 834862 11.77/9.76 o 835207 11.77/9.76 o 835283 11.77/9.77 o 835359 11.77/9.77 o 835435 11.77/9.77 o 835780 11.77/9.77 o 835856 11.77/9.77 o 837978 11.77/9.77 o 838054 11.77/9.77 o 838399 11.77/9.77 o 838475 11.77/9.77 o 840969 11.77/9.78 o 841045 11.77/9.78 o 841390 11.77/9.78 o 841466 11.77/9.78 o 843588 11.77/9.78 o 843664 11.77/9.78 o 844009 11.77/9.78 o 844085 11.77/9.78 o 845028 11.77/9.78 o 845104 11.77/9.78 o 845449 11.77/9.78 o 845525 11.77/9.78 o 847647 11.77/9.78 o 847723 11.77/9.78 o 848068 11.77/9.78 o 848144 11.77/9.79 o 850058 11.77/9.79 o 850134 11.77/9.79 o 850479 11.77/9.79 o 850555 11.87/9.81 o 851123 11.87/9.81 o 851199 11.87/9.81 o 851544 11.87/9.81 o 851620 11.87/9.81 o 852563 11.87/9.81 o 852639 11.87/9.81 o 852984 11.87/9.81 o 853060 11.87/9.81 o 855182 11.87/9.81 o 855258 11.87/9.81 o 855603 11.87/9.81 o 855679 11.87/9.81 o 857593 11.87/9.81 o 857669 11.87/9.81 o 858014 11.87/9.81 o 858090 11.87/9.87 o 858436 11.87/9.87 o 858512 11.87/9.87 o 858857 11.87/9.87 o 858933 11.97/9.90 o 861347 11.97/9.90 o 862787 11.97/9.90 o 865406 11.97/9.92 o 866249 11.97/9.94 o 866263 11.97/9.94 o 868882 11.97/9.94 o 870322 11.97/9.94 o 872941 12.50/10.41 o 873001 12.50/10.41 o 873287 12.50/10.41 o 873356 12.50/10.41 o 873626 12.50/10.41 o 873912 12.50/10.45 o 873931 12.50/10.45 o 874201 12.50/10.45 o 874487 12.50/10.45 o 874538 12.50/10.45 o 874824 12.50/10.45 o 875094 12.50/10.45 o 875380 12.50/10.45 o 875449 12.50/10.45 o 875719 12.50/10.45 o 876005 12.50/10.47 o 876280 12.50/10.47 o 876331 12.50/10.47 o 876617 12.50/10.47 o 876887 12.50/10.47 o 877173 12.50/10.47 o 877242 12.50/10.47 o 877512 12.50/10.47 o 877798 12.50/10.48 o 877935 12.50/10.48 o 878221 12.50/10.48 o 879087 12.50/10.48 o 879373 12.50/10.48 o 879643 12.50/10.48 o 879929 12.50/10.48 o 879980 12.50/10.48 o 880266 12.50/10.48 o 880536 12.50/10.48 o 880822 12.50/10.48 o 880891 12.50/10.48 o 881161 12.50/10.48 o 881447 12.61/10.50 o 881667 12.61/10.50 o 881953 12.61/10.50 o 882004 12.61/10.50 o 882290 12.61/10.50 o 882560 12.61/10.50 o 882846 12.61/10.50 o 882915 12.61/10.50 o 883185 12.61/10.50 o 883471 12.61/10.50 o 883511 12.61/10.50 o 883580 12.61/10.50 o 883850 12.61/10.50 o 884136 12.61/10.50 o 884388 12.61/10.50 o 884658 12.61/10.50 o 884944 12.61/10.50 o 885569 12.61/10.51 o 885855 12.61/10.51 o 886721 12.61/10.51 o 887007 12.61/10.51 o 887277 12.61/10.51 o 887563 12.61/10.51 o 887614 12.61/10.51 o 887900 12.61/10.51 o 888170 12.61/10.51 o 888456 12.61/10.51 o 888525 12.61/10.51 o 888795 12.61/10.51 o 889081 12.61/10.52 o 889292 12.61/10.52 o 889578 12.61/10.52 o 889830 12.61/10.52 o 890100 12.61/10.52 o 890386 12.61/10.52 o 891011 12.61/10.52 o 891297 12.61/10.52 o 892163 12.61/10.52 o 892449 12.61/10.52 o 892719 12.61/10.52 o 893005 12.61/10.52 o 893056 12.61/10.52 o 893342 12.61/10.52 o 893612 12.61/10.52 o 893898 12.61/10.52 o 893967 12.61/10.52 o 894237 12.61/10.52 o 894523 12.61/10.55 o 894542 12.61/10.55 o 894812 12.61/10.55 o 895098 12.61/10.55 o 895149 12.61/10.55 o 895435 12.61/10.55 o 895705 12.61/10.55 o 895991 12.61/10.55 o 896060 12.61/10.55 o 896330 12.61/10.55 o 896616 12.61/10.57 o 896827 12.61/10.57 o 897113 12.61/10.57 o 897365 12.61/10.57 o 897635 12.61/10.57 o 897921 12.61/10.57 o 898546 12.61/10.58 o 898832 12.61/10.58 o 899698 12.61/10.58 o 899984 12.61/10.58 o 900254 12.61/10.58 o 900540 12.61/10.58 o 900591 12.61/10.58 o 900877 12.61/10.58 o 901147 12.61/10.58 o 901433 12.61/10.58 o 901502 12.61/10.58 o 901772 12.61/10.58 o 902058 13.71/11.67 o 902094 13.71/11.67 o 902170 14.22/12.12 o 902284 14.22/12.12 o 902840 14.22/12.12 o 902909 14.22/12.12 o 903465 14.22/12.12 o 903512 14.22/12.12 o 903581 14.22/12.12 o 904137 14.22/12.13 o 904358 14.22/12.13 o 904695 14.22/12.13 o 905251 14.22/12.13 o 905320 14.22/12.13 o 905876 14.22/12.13 o 905923 14.22/12.13 o 905992 14.22/12.13 o 906548 14.22/12.13 o 906604 14.22/12.14 o 907160 14.22/12.14 o 907207 14.22/12.14 o 907276 14.22/12.14 o 907832 14.22/12.14 o 908053 14.22/12.14 o 908390 14.22/12.14 o 908946 14.22/12.14 o 909015 14.22/12.14 o 909571 14.22/12.14 o 909618 14.22/12.14 o 909687 14.22/12.14 o 910243 14.22/12.15 o 910272 14.22/12.15 o 911469 14.22/12.15 o 912621 14.22/12.15 o 913177 14.22/12.15 o 913514 14.22/12.15 o 914070 14.22/12.15 o 914139 14.22/12.15 o 914695 14.22/12.15 o 914742 14.22/12.15 o 914811 14.22/12.15 o 915367 14.22/12.15 o 915588 14.22/12.15 o 915925 14.22/12.15 o 916481 14.22/12.16 o 916550 14.22/12.16 o 917106 14.22/12.16 o 917153 14.22/12.16 o 917222 14.22/12.16 o 917778 14.22/12.16 o 917890 14.22/12.17 o 917919 14.22/12.17 o 919116 14.22/12.17 o 920268 14.22/12.17 o 920824 14.22/12.17 o 921161 14.22/12.17 o 921717 14.22/12.17 o 921786 14.22/12.17 o 922342 14.22/12.17 o 922389 14.22/12.17 o 922458 14.22/12.17 o 923014 14.22/12.18 o 923235 14.22/12.18 o 923572 14.22/12.18 o 924128 14.22/12.18 o 924197 14.22/12.18 o 924753 14.22/12.18 o 924800 14.22/12.18 o 924869 14.22/12.18 o 925425 14.22/12.18 o 925585 14.22/12.18 o 925654 14.22/12.18 o 926210 14.22/12.19 o 926257 14.22/12.19 o 926326 14.22/12.19 o 926882 14.22/12.19 o 926994 14.31/12.20 o 927023 14.31/12.20 o 928220 14.31/12.20 o 929372 14.31/12.20 o 929928 14.31/12.20 o 930265 14.31/12.20 o 930821 14.31/12.20 o 930890 14.31/12.20 o 931446 14.31/12.20 o 931493 14.31/12.20 o 931562 14.31/12.20 o 932118 14.31/12.20 o 932339 14.31/12.20 o 932676 14.31/12.21 o 933232 14.31/12.21 o 933301 14.31/12.21 o 933857 14.31/12.21 o 933904 14.31/12.21 o 933973 14.31/12.21 o 934529 14.31/12.22 o 934671 14.31/12.22 o 935227 14.31/12.22 o 935296 14.31/12.22 o 935852 14.31/12.22 o 935899 14.31/12.22 o 935968 14.31/12.22 o 936524 14.31/12.23 o 936592 14.31/12.23 o 936639 14.31/12.23 o 936708 14.31/12.23 o 937264 14.31/12.23 o 937485 14.31/12.23 o 937822 14.31/12.23 o 938378 14.31/12.23 o 938447 14.31/12.23 o 939003 14.31/12.23 o 939050 14.31/12.23 o 939119 14.31/12.23 o 939675 14.31/12.24 o 939787 17.93/15.81 o 940519 17.93/15.81 o 940595 17.93/15.81 o 941671 17.93/15.81 o 941747 17.93/15.81 o 942092 17.93/15.81 o 942168 17.93/15.81 o 942564 17.93/15.81 o 942640 17.93/15.81 o 942985 17.93/15.81 o 943061 17.93/15.82 o 943246 17.93/15.82 o 943322 17.93/15.82 o 944405 17.93/15.82 o 944481 17.93/15.82 o 945557 17.93/15.82 o 945633 17.93/15.82 o 945978 17.93/15.82 o 946054 17.93/15.82 o 946450 17.93/15.82 o 946526 17.93/15.82 o 946871 17.93/15.82 o 946947 17.93/15.83 o 946971 17.93/15.83 o 948054 17.93/15.83 o 948130 17.93/15.83 o 949206 17.93/15.83 o 949282 17.93/15.83 o 949627 17.93/15.83 o 949703 17.93/15.83 o 950099 17.93/15.83 o 950175 17.93/15.83 o 950520 17.93/15.83 o 950596 17.93/15.84 o 950642 17.93/15.84 o 950666 17.93/15.84 o 951749 17.93/15.84 o 951825 17.93/15.84 o 952901 17.93/15.84 o 952977 17.93/15.84 o 953322 17.93/15.84 o 953398 17.93/15.84 o 953794 17.93/15.84 o 953870 17.93/15.84 o 954215 17.93/15.84 o 954291 17.93/15.85 o 954476 17.93/15.85 o 954552 17.93/15.85 o 955635 17.93/15.85 o 955711 17.93/15.85 o 956787 17.93/15.85 o 956863 17.93/15.86 o 957208 17.93/15.86 o 957284 17.93/15.86 o 957680 17.93/15.86 o 957756 17.93/15.86 o 958101 17.93/15.86 o 958177 17.93/15.86 o 958201 17.93/15.86 o 959284 17.93/15.86 o 959360 17.93/15.86 o 960436 17.93/15.86 o 960512 17.93/15.87 o 960857 17.93/15.87 o 960933 17.93/15.87 o 961329 17.93/15.87 o 961405 17.93/15.87 o 961750 17.93/15.87 o 961826 17.93/15.87 o 962282 17.93/15.88 o 962358 17.93/15.88 o 962703 17.93/15.88 o 962779 17.93/15.88 o 963175 17.93/15.88 o 963251 17.93/15.88 o 963596 17.93/15.88 o 963672 17.93/15.88 o 963696 17.93/15.88 o 964779 17.93/15.88 o 964855 17.93/15.88 o 965931 17.93/15.88 o 966007 17.93/15.88 o 966352 17.93/15.88 o 966428 17.93/15.88 o 966824 17.93/15.88 o 966900 17.93/15.88 o 967245 17.93/15.88 o 967321 17.93/15.89 o 967506 17.93/15.89 o 967582 17.93/15.89 o 968665 17.93/15.89 o 968741 17.93/15.89 o 969817 17.93/15.89 o 969893 17.93/15.89 o 970238 17.93/15.89 o 970314 17.93/15.89 o 970710 17.93/15.89 o 970786 17.93/15.89 o 971131 17.93/15.89 o 971207 18.03/15.90 o 971231 18.03/15.90 o 972314 18.03/15.90 o 972390 18.03/15.90 o 973466 18.03/15.90 o 973542 18.03/15.90 o 973887 18.03/15.90 o 973963 18.03/15.90 o 974359 18.03/15.90 o 974435 18.03/15.90 o 974780 18.03/15.90 o 974856 18.03/15.91 o 974902 18.03/15.91 o 974926 18.03/15.91 o 976009 18.03/15.91 o 976085 18.03/15.92 o 977161 18.03/15.92 o 977237 18.03/15.92 o 977582 18.03/15.92 o 977658 18.03/15.92 o 978054 18.03/15.92 o 978130 18.03/15.92 o 978475 18.03/15.92 o 978551 18.03/15.93 o 978736 18.03/15.93 o 978812 18.03/15.93 o 979895 18.03/15.93 o 979971 18.03/15.93 o 981047 18.03/15.93 o 981123 18.03/15.93 o 981468 18.03/15.93 o 981544 18.03/15.93 o 981940 18.03/15.93 o 982016 18.03/15.93 o 982361 18.03/15.93 o 982437 18.03/15.94 o 982461 18.03/15.94 o 983544 18.03/15.94 o 983620 18.03/15.94 o 984696 18.03/15.94 o 984772 18.03/15.94 o 985117 18.03/15.94 o 985193 18.03/15.94 o 985589 18.03/15.94 o 985665 18.03/15.94 o 986010 18.03/15.94 o 986086 18.03/15.99 o 986836 18.03/15.99 o 986912 18.03/15.99 o 987257 18.03/15.99 o 987333 18.03/15.99 o 987729 18.03/15.99 o 987805 18.03/15.99 o 988150 18.03/16.00 o 988226 18.03/16.00 o 988426 18.03/16.00 o 988502 18.03/16.00 o 989585 18.03/16.00 o 989661 18.03/16.00 o 990737 18.03/16.00 o 990813 18.03/16.00 o 991158 18.03/16.00 o 991234 18.03/16.00 o 991630 18.03/16.00 o 991706 18.03/16.00 o 992051 18.03/16.00 o 992127 18.14/16.01 o 992151 18.14/16.02 o 993234 18.14/16.02 o 993310 18.14/16.02 o 994386 18.14/16.02 o 994462 18.14/16.02 o 994807 18.14/16.02 o 994883 18.14/16.02 o 995279 18.14/16.02 o 995355 18.14/16.02 o 995700 18.14/16.02 o 995776 19.53/17.48 o 996353 19.53/17.48 o 996566 19.53/17.48 o 996613 19.53/17.48 o 997238 19.53/17.49 o 997276 19.53/17.49 o 997901 19.53/17.49 o 997948 19.53/17.49 o 998573 19.53/17.49 o 998748 19.53/17.49 o 999980 19.53/17.49 o 1001177 19.53/17.49 o 1001802 19.53/17.49 o 1001849 19.53/17.49 o 1002474 19.53/17.49 o 1003588 19.53/17.49 o 1004213 19.53/17.49 o 1004260 19.53/17.49 o 1004885 19.53/17.49 o 1004915 19.53/17.49 o 1006147 19.53/17.49 o 1007344 19.53/17.49 o 1007969 19.53/17.50 o 1008016 19.53/17.50 o 1008641 19.53/17.50 o 1009755 19.53/17.50 o 1010380 19.53/17.50 o 1010427 19.63/17.50 o 1011052 19.63/17.50 o 1011411 19.63/17.50 o 1011458 19.63/17.50 o 1012083 19.63/17.50 o 1012113 19.63/17.50 o 1013345 19.63/17.50 o 1014542 19.63/17.50 o 1015167 19.63/17.50 o 1015214 19.63/17.50 o 1015839 19.63/17.50 o 1016953 19.63/17.50 o 1017578 19.63/17.50 o 1017625 19.63/17.50 o 1018250 19.63/17.51 o 1018813 19.63/17.51 o 1018860 19.63/17.51 o 1019485 19.63/17.51 o 1020599 19.63/17.51 o 1021224 19.63/17.51 o 1021271 19.63/17.51 o 1021896 19.63/17.52 o 1022109 19.63/17.52 o 1022156 19.63/17.52 o 1022781 19.63/17.52 o 1022819 19.63/17.52 o 1023444 19.63/17.52 o 1023491 19.63/17.52 o 1024116 19.63/17.52 o 1024291 19.63/17.52 o 1025523 19.63/17.52 o 1026720 19.63/17.52 o 1027345 19.63/17.52 o 1027392 19.63/17.52 o 1028017 19.63/17.52 o 1029131 19.63/17.52 o 1029756 19.63/17.52 o 1029803 19.63/17.53 o 1030428 19.63/17.53 o 1030458 19.63/17.53 o 1031690 19.63/17.53 o 1032887 19.63/17.53 o 1033512 19.63/17.53 o 1033559 19.63/17.53 o 1034184 19.63/17.53 o 1035298 19.63/17.53 o 1035923 19.63/17.53 o 1035970 19.63/17.53 o 1036595 19.63/17.53 o 1036954 19.63/17.53 o 1037001 19.63/17.53 o 1037626 19.63/17.53 o 1037656 19.63/17.53 o 1038888 19.63/17.53 o 1040085 19.63/17.53 o 1040710 19.63/17.53 o 1040757 19.63/17.53 o 1041382 19.63/17.53 o 1042496 19.63/17.53 o 1043121 19.63/17.53 o 1043168 19.63/17.54 o 1043793 19.63/17.54 o 1044278 19.63/17.55 o 1044637 19.63/17.55 o 1044684 19.63/17.55 o 1045309 19.63/17.55 o 1045339 19.63/17.55 o 1046571 19.63/17.55 o 1047768 19.63/17.55 o 1048393 19.63/17.55 o 1048440 19.63/17.55 o 1049065 19.63/17.55 o 1050179 19.63/17.55 o 1050804 19.63/17.55 o 1050851 19.63/17.55 o 1051476 19.63/17.56 o 1051958 19.63/17.56 o 1052583 19.63/17.56 o 1052630 19.63/17.56 o 1053255 19.63/17.57 o 1053740 19.63/17.57 o 1054099 19.63/17.57 o 1054146 19.63/17.57 o 1054771 19.63/17.57 o 1056033 19.63/17.57 o 1057230 19.63/17.57 o 1057855 19.63/17.57 o 1057902 19.63/17.57 o 1058527 19.63/17.57 o 1059641 19.63/17.57 o 1060266 19.63/17.57 o 1060313 19.63/17.57 o 1060938 19.63/17.59 o 1061335 19.63/17.59 o 1061960 19.63/17.59 o 1062007 19.63/17.59 o 1062632 19.63/17.60 o 1063114 19.63/17.60 o 1063739 19.74/17.60 o 1063786 19.74/17.60 o 1064411 19.74/17.60 o 1064896 19.74/17.60 o 1065255 19.74/17.61 o 1065302 19.74/17.61 o 1065927 19.74/17.61 o 1067189 19.74/17.61 o 1068386 19.74/17.61 o 1069011 19.74/17.61 o 1069058 19.74/17.61 o 1069683 19.74/17.61 o 1070797 19.74/17.61 o 1071422 19.74/17.61 o 1071469 19.74/17.61 o 1072094 21.25/19.17 o 1072345 21.25/19.17 o 1073238 21.25/19.17 o 1075207 21.25/19.17 o 1076404 21.25/19.17 o 1077297 21.25/19.17 o 1077881 21.25/19.18 o 1079850 21.25/19.18 o 1081047 21.25/19.18 o 1081940 21.25/19.19 o 1082281 21.34/19.21 o 1082857 21.34/19.21 o 1083750 21.34/19.22 o 1084334 21.34/19.22 o 1086303 21.34/19.22 o 1087500 21.34/19.22 o 1088393 21.34/19.23 o 1088734 21.34/19.25 o 1089204 21.34/19.26 o 1090401 21.34/19.26 o 1091294 21.34/19.27 o 1092211 21.34/19.27 o 1093104 21.34/19.28 o 1093688 21.34/19.28 o 1095657 21.34/19.28 o 1096854 21.34/19.28 o 1097747 21.44/19.33 o 1098088 21.95/19.83 o 1098852 21.95/19.83 o 1099408 21.95/19.83 o 1099745 21.95/19.83 o 1100301 21.95/19.83 o 1100370 21.95/19.83 o 1100926 21.95/19.83 o 1100973 21.95/19.83 o 1101042 21.95/19.83 o 1101598 21.95/19.85 o 1101920 21.95/19.86 o 1101967 21.95/19.86 o 1102036 21.95/19.86 o 1102592 22.35/20.28 o 1102635 22.35/20.28 o 1102921 22.35/20.28 o 1103037 22.35/20.28 o 1103307 22.35/20.28 o 1103593 22.35/20.28 o 1104727 22.35/20.28 o 1105013 22.35/20.28 o 1105283 22.35/20.28 o 1105569 22.35/20.28 o 1105685 22.35/20.28 o 1105955 22.35/20.28 o 1106241 22.35/20.29 o 1106722 22.35/20.29 o 1107008 22.35/20.29 o 1107278 22.35/20.29 o 1107564 22.35/20.29 o 1107680 22.35/20.29 o 1107950 22.35/20.29 o 1108236 22.45/20.30 o 1108445 22.45/20.30 o 1108731 22.45/20.30 o 1108847 22.45/20.30 o 1109117 22.45/20.30 o 1109403 22.45/20.31 o 1109884 22.45/20.31 o 1110170 22.45/20.31 o 1110440 22.45/20.31 o 1110726 22.45/20.31 o 1110842 22.45/20.31 o 1111112 22.45/20.31 o 1111398 22.45/20.32 o 1111435 22.45/20.32 o 1111721 22.45/20.33 o 1112855 22.45/20.33 o 1113141 22.45/20.33 o 1113411 22.45/20.33 o 1113697 22.45/20.33 o 1113813 22.45/20.33 o 1114083 22.45/20.33 o 1114369 22.45/20.33 o 1114850 22.45/20.33 o 1115136 22.45/20.33 o 1115406 22.45/20.33 o 1115692 22.45/20.33 o 1115808 22.45/20.33 o 1116078 22.45/20.33 o 1116364 22.45/20.35 o 1116573 22.45/20.35 o 1116859 22.45/20.35 o 1116975 22.45/20.35 o 1117245 22.45/20.35 o 1117531 22.45/20.35 o 1118012 22.45/20.35 o 1118298 22.45/20.35 o 1118568 22.45/20.35 o 1118854 22.45/20.35 o 1118970 22.45/20.35 o 1119240 22.45/20.35 o 1119526 26.27/24.13 o 1119584 26.27/24.13 o 1119870 26.27/24.13 o 1119939 26.27/24.13 o 1120209 26.27/24.13 o 1120495 26.27/24.14 o 1120686 26.27/24.14 o 1120972 26.27/24.14 o 1121023 26.27/24.14 o 1121309 26.27/24.14 o 1121579 26.27/24.14 o 1121865 26.27/24.14 o 1121934 26.27/24.14 o 1122204 26.27/24.14 o 1122490 26.36/24.26 o 1122509 26.36/24.26 o 1122795 26.36/24.26 o 1122864 26.36/24.26 o 1123134 26.36/24.26 o 1123420 28.97/26.84 o 1123480 28.97/26.84 o 1123481 28.97/26.84 o 1123767 28.97/26.84 o 1124037 28.97/26.85 o 1124323 28.97/26.86 o 1124325 28.97/26.86 o 1124611 28.97/26.86 o 1126388 28.97/26.86 o 1126674 28.97/26.86 o 1126944 28.97/26.86 o 1127230 28.97/26.86 o 1127281 28.97/26.86 o 1127567 28.97/26.86 o 1127837 28.97/26.86 o 1128123 28.97/26.86 o 1128124 28.97/26.86 o 1128410 28.97/26.86 o 1128680 28.97/26.86 o 1128966 28.97/26.89 o 1128973 28.97/26.89 o 1129259 28.97/26.89 o 1129310 28.97/26.89 o 1129596 28.97/26.89 o 1129866 28.97/26.89 o 1130152 28.97/26.89 o 1130153 28.97/26.89 o 1130439 28.97/26.89 o 1130709 28.97/26.89 o 1130995 29.08/26.90 o 1130997 29.08/26.90 o 1131283 29.08/26.90 o 1133060 29.08/26.90 o 1133346 29.08/26.90 o 1133616 29.08/26.90 o 1133902 29.08/26.90 o 1133953 29.08/26.90 o 1134239 29.08/26.90 o 1134509 29.08/26.90 o 1134795 29.08/26.91 o 1134796 29.08/26.91 o 1135082 29.08/26.91 o 1135352 29.08/26.91 o 1135638 29.08/26.93 o 1137048 29.08/26.93 o 1137334 29.08/26.93 o 1139111 29.08/26.93 o 1139397 29.08/26.93 o 1139667 29.08/26.93 o 1139953 29.08/26.93 o 1140004 29.08/26.93 o 1140290 29.08/26.93 o 1140560 29.08/26.93 o 1140846 29.08/26.93 o 1140847 29.08/26.93 o 1141133 29.08/26.93 o 1141403 29.08/26.93 o 1141689 29.08/26.94 o 1141691 29.08/26.94 o 1141977 29.08/26.94 o 1143754 29.08/26.94 o 1144040 29.08/26.94 o 1144310 29.08/26.94 o 1144596 29.08/26.94 o 1144647 29.08/26.94 o 1144933 29.08/26.94 o 1145203 29.08/26.94 o 1145489 29.08/26.94 o 1145490 29.08/26.94 o 1145776 29.08/26.94 o 1146046 29.08/26.94 o 1146332 29.08/26.99 o 1146406 29.08/26.99 o 1146457 29.08/26.99 o 1146743 29.08/26.99 o 1147013 29.08/26.99 o 1147299 29.08/26.99 o 1147300 29.08/26.99 o 1147586 29.08/26.99 o 1147856 29.08/26.99 o 1148142 52.07/49.86 o 1148164 52.07/49.87 o 1148450 52.07/49.87 o 1148946 52.07/49.87 o 1149232 52.07/49.87 o 1150105 52.07/49.87 o 1150391 52.07/49.87 o 1151257 52.07/49.87 o 1151543 52.07/49.87 o 1151813 52.07/49.87 o 1152099 52.07/49.89 o 1152154 52.07/49.89 o 1152440 52.58/50.38 o 1153386 52.58/50.38 o 1154011 52.68/50.42 o 1155061 52.68/50.42 o 1155686 52.68/50.43 o 1156871 52.68/50.43 o 1157496 52.68/50.44 o 1157865 52.68/50.44 o 1158490 52.68/50.44 o 1158895 52.68/50.44 o 1159203 52.68/50.44 o 1159451 52.68/50.44 o 1161514 52.68/50.44 o 1162139 52.68/50.50 o 1162163 52.68/50.50 o 1162788 52.68/50.50 o 1163193 52.68/50.50 o 1163501 52.78/50.50 o 1163749 52.78/50.50 o 1165812 52.78/50.50 o 1166437 65.30/63.07 o 1166838 69.40/67.13 o 1166882 69.40/67.13 o 1167554 69.40/67.13 o 1167725 69.40/67.13 o 1168397 69.40/67.13 o 1168558 69.40/67.14 o 1169440 69.40/67.14 o 1170592 69.40/67.14 o 1171264 69.40/67.14 o 1171622 69.40/67.14 o 1171930 69.40/67.14 o 1173089 69.40/67.14 o 1174241 69.40/67.14 o 1174913 69.40/67.14 o 1175084 69.40/67.14 o 1175756 69.40/67.14 o 1176236 69.40/67.14 o 1176908 69.40/67.14 o 1177079 69.40/67.14 o 1177751 69.40/67.14 o 1178075 69.40/67.14 o 1178383 69.40/67.14 o 1179542 69.40/67.14 o 1180694 69.40/67.14 o 1181366 69.40/67.14 o 1181537 69.40/67.15 o 1182209 69.40/67.15 o 1182689 69.40/67.15 o 1183361 69.40/67.15 o 1183532 69.40/67.15 o 1184204 69.40/67.20 o 1184330 69.49/67.20 o 1184393 69.49/67.20 o 1184564 69.49/67.20 o 1185236 69.49/67.20 o 1185716 69.49/67.20 o 1186388 69.49/67.20 o 1186559 69.49/67.20 o 1187231 69.49/67.20 o 1187555 69.49/67.20 o 1187863 69.49/67.20 o 1189022 69.49/67.20 o 1190174 69.49/67.20 o 1190846 69.49/67.20 o 1191017 69.49/67.20 o 1191689 69.49/67.21 o 1192169 69.49/67.21 o 1192841 69.49/67.21 o 1193012 69.49/67.21 o 1193684 71.50/69.23 o 1195608 71.50/69.23 o 1195894 71.50/69.23 o 1196164 71.50/69.23 o 1196450 71.50/69.23 o 1196519 71.50/69.23 o 1196789 71.50/69.23 o 1197075 71.50/69.23 o 1197293 71.50/69.23 o 1197362 71.50/69.23 o 1197632 71.50/69.24 o 1197918 108.45/106.11 o 1198704 108.45/106.12 o 1199446 108.45/106.12 o 1201284 108.45/106.12 o 1203347 108.45/106.14 o 1203514 108.45/106.15 o 1204935 108.45/106.15 o 1206998 108.45/106.15 o 1208350 108.45/106.15 o 1210025 108.45/106.16 o 1211835 108.45/106.16 o 1212577 108.45/106.16 o 1214415 108.45/106.16 o 1216478 123.95/121.67 o 1216818 123.95/121.67 o 1217104 124.06/121.70 o 1217284 124.06/121.70 o 1217570 124.06/121.70 o 1217979 124.06/121.70 o 1218265 124.06/121.70 o 1219595 124.06/121.70 o 1219881 124.06/121.70 o 1220267 124.06/121.70 o 1220553 124.06/121.70 o 1220724 124.06/121.70 o 1221110 124.06/121.70 o 1221396 124.06/121.72 o 1221736 124.06/121.72 o 1222022 124.06/121.79 o 1222158 124.06/121.80 o 1222444 124.06/121.80 o 1222824 124.06/121.80 o 1223110 124.06/121.80 o 1223519 124.16/121.80 o 1223805 124.16/121.80 o 1225135 124.16/121.80 o 1225421 124.16/121.80 o 1225807 124.16/121.80 o 1226093 124.16/121.80 o 1226264 124.16/121.80 o 1226650 124.16/121.80 o 1226936 124.16/121.81 o 1227276 124.16/121.81 o 1227562 124.16/121.83 o 1227742 124.16/121.83 o 1228028 124.16/121.83 o 1228437 124.16/121.83 o 1228723 124.16/121.83 o 1230053 124.16/121.83 o 1230339 124.16/121.83 o 1230725 124.16/121.83 o 1231011 124.16/121.83 o 1231182 124.16/121.83 o 1231568 124.16/121.83 o 1231854 124.16/121.84 o 1232194 124.16/121.84 o 1232480 124.66/122.32 o 1232673 124.66/122.32 o 1233229 124.66/122.32 o 1233299 124.66/122.32 o 1233855 124.66/122.36 o 1233915 124.66/122.36 o 1234471 124.66/122.38 o 1235184 124.66/122.38 o 1235740 124.66/122.38 o 1238833 124.66/122.38 o 1239389 127.96/125.67 o 1239390 127.96/125.67 o 1240015 127.96/125.69 o 1240458 127.96/125.69 o 1240676 127.96/125.69 o 1241301 128.06/125.70 o 1241302 128.06/125.70 o 1241927 128.06/125.73 o 1243472 128.06/125.73 o 1244097 128.06/125.73 o 1244315 128.06/125.73 o 1244940 128.06/125.74 o 1244941 128.06/125.74 o 1245566 154.69/152.33 o 1246194 154.69/152.33 o 1246480 154.69/152.34 o 1246820 154.69/152.34 o 1247106 154.69/152.37 o 1247361 154.69/152.37 o 1250724 154.69/152.37 o 1251010 154.69/152.38 o 1251350 154.69/152.38 o 1251636 199.33/196.99 o 1251803 215.54/213.18 o 1252042 215.54/213.19 o 1252328 215.54/213.20 o 1252375 215.54/213.20 o 1252444 215.54/213.20 o 1252714 215.54/213.20 o 1253000 232.24/229.87 o 1253191 232.24/229.87 o 1254057 232.24/229.87 o 1254343 232.24/229.87 o 1254613 232.24/229.87 o 1254899 232.24/229.87 o 1255015 232.24/229.87 o 1255285 232.24/229.87 o 1255571 232.24/229.87 o 1255626 232.24/229.87 o 1255912 232.24/229.88 o 1255968 232.24/229.88 o 1256022 232.24/229.88 o 1256292 232.24/229.88 o 1256578 232.24/229.88 o 1257203 232.24/229.88 o 1257489 232.24/229.88 o 1258355 232.24/229.88 o 1258641 232.24/229.88 o 1258911 232.24/229.88 o 1259197 232.24/229.88 o 1259313 232.24/229.89 o 1259583 232.24/229.89 o 1259869 232.24/229.89 o 1259924 232.24/229.89 o 1260210 232.34/229.90 o 1260450 232.34/229.90 o 1260566 232.34/229.90 o 1260836 232.34/229.90 o 1261122 232.34/229.91 o 1261177 232.34/229.91 o 1261463 232.34/229.91 o 1261519 232.34/229.91 o 1261573 232.34/229.91 o 1261843 232.34/229.91 o 1262129 232.34/229.91 o 1262754 232.34/229.91 o 1263040 232.34/229.91 o 1263906 232.34/229.91 o 1264192 232.34/229.91 o 1264462 232.34/229.91 o 1264748 232.34/229.91 o 1264864 232.34/229.91 o 1265134 232.34/229.91 o 1265420 232.34/229.91 o 1265475 232.34/229.91 o 1265761 232.34/229.92 o 1265929 232.34/229.93 o 1265985 232.34/229.93 o 1266039 232.34/229.93 o 1266309 232.34/229.93 o 1266595 232.34/229.93 o 1267220 232.34/229.93 o 1267506 232.34/229.93 o 1268372 232.34/229.93 o 1268658 232.34/229.93 o 1268928 232.34/229.93 o 1269214 232.34/229.93 o 1269330 232.34/229.93 o 1269600 232.34/229.93 o 1269886 232.34/229.93 o 1269941 232.34/229.93 o 1270227 232.34/229.94 o 1270352 232.34/229.94 o 1270406 232.34/229.94 o 1270676 232.34/229.94 o 1270962 232.34/229.94 o 1271587 232.34/229.94 o 1271873 232.34/229.94 o 1272739 232.34/229.94 o 1273025 232.34/229.94 o 1273295 232.34/229.94 o 1273581 232.34/229.94 o 1273697 232.34/229.94 o 1273967 232.34/229.94 o 1274253 232.34/229.94 o 1274308 232.34/229.94 o 1274594 232.34/229.95 o 1274650 232.34/229.95 o 1274704 232.34/229.95 o 1274974 232.34/229.95 o 1275260 232.34/229.95 o 1275885 232.34/229.95 o 1276171 232.34/229.95 o 1277037 232.34/229.95 o 1277323 232.34/229.95 o 1277593 232.34/229.95 o 1277879 232.34/229.95 o 1277995 232.34/229.95 o 1278265 232.34/229.95 o 1278551 232.34/229.95 o 1278606 232.34/229.95 o 1278892 232.34/229.97 o 1279116 232.34/229.98 o 1279386 232.34/229.98 o 1279672 232.34/229.98 o 1279788 232.34/229.98 o 1280058 232.34/229.98 o 1280344 232.34/229.98 o 1280399 232.34/229.98 o 1280685 232.34/229.99 o 1280810 232.34/229.99 o 1280864 232.34/229.99 o 1281134 232.34/229.99 o 1281420 232.34/229.99 o 1282045 232.34/229.99 o 1282331 232.34/229.99 o 1283197 232.34/229.99 o 1283483 232.34/229.99 o 1283753 232.34/229.99 o 1284039 232.34/229.99 o 1284155 232.34/229.99 o 1284425 232.34/229.99 o 1284711 232.34/229.99 o 1284766 232.34/229.99 o 1285052 232.34/230.00 o 1285108 232.34/230.00 o 1285162 232.34/230.00 o 1285432 232.34/230.00 o 1285718 232.34/230.00 o 1286343 232.34/230.00 o 1286629 232.34/230.00 o 1287495 232.34/230.00 o 1287781 232.34/230.00 o 1288051 232.34/230.00 o 1288337 232.34/230.00 o 1288453 232.34/230.00 o 1288723 232.34/230.00 o 1289009 232.34/230.00 o 1289064 232.34/230.00 o 1289350 247.96/245.53 o 1289868 247.96/245.54 o 1290494 247.96/245.57 o 1292332 247.96/245.57 o 1293004 247.96/245.57 o 1293175 247.96/245.57 o 1293847 247.96/245.58 o 1294473 252.96/250.52 o 1294754 252.96/250.52 o 1295024 252.96/250.52 o 1295310 252.96/250.52 o 1295361 252.96/250.52 o 1295647 252.96/250.52 o 1295917 252.96/250.52 o 1296203 252.96/250.52 o 1296272 252.96/250.52 o 1296542 252.96/250.52 o 1296828 252.96/250.52 o 1296875 252.96/250.52 o 1296944 252.96/250.52 o 1297214 252.96/250.52 o 1297500 252.96/250.53 o 1297611 252.96/250.53 o 1297897 252.96/250.53 o 1298766 252.96/250.53 o 1299052 252.96/250.53 o 1299322 252.96/250.53 o 1299608 252.96/250.54 o 1299659 252.96/250.54 o 1299945 252.96/250.54 o 1300215 252.96/250.54 o 1300501 252.96/250.54 o 1300570 252.96/250.54 o 1300840 252.96/250.54 o 1301126 252.96/250.54 o 1301173 252.96/250.54 o 1301242 252.96/250.54 o 1301512 252.96/250.54 o 1301798 300.31/297.81 o 1302511 300.31/297.81 o 1302797 300.31/297.81 o 1303067 300.31/297.81 o 1303353 300.31/297.81 o 1303422 300.31/297.81 o 1303692 300.31/297.81 o 1303978 300.31/297.81 o 1304196 300.31/297.81 o 1304265 300.31/297.81 o 1304535 300.31/297.81 o 1304821 300.31/297.86 o 1304822 300.31/297.86 o 1304891 300.31/297.86 o 1305161 300.31/297.86 o 1305447 303.51/301.01 s SATISFIABLE 303.51/301.02 v <instantiation> 303.51/301.02 v <list> 303.51/301.02 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] 303.51/301.02 v </list> 303.51/301.02 v <values> 303.51/301.02 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 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 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 303.51/301.02 v </values> 303.51/301.02 v </instantiation>
OK 1305447
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 (12890 MiB free) memory of node 1: 16384 MiB (13646 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298537-1532811317/watcher-4298537-1532811317 -o /tmp/evaluation-result-4298537-1532811317/solver-4298537-1532811317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298537-1532811317.xml 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=32098, runsolver pid=32095 [startup+0.100767 s]* /proc/loadavg: 1.61 1.57 1.69 5/219 32113 /proc/meminfo: memFree=27156316/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661052 memory=27976 CPUtime=0.13 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 5330 0 0 0 12 1 0 0 20 0 15 0 98694818 10916917248 6994 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665263 6994 2886 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661052 memory=-8269626465541197434 CPUtime=0.09 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 3150 0 0 0 8 1 0 0 20 0 15 0 98694818 10916917248 6994 33554432000 4194304 4196468 140727801569776 139924176860288 139924156675429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694820 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923728021968 139924154156924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923659156048 139924172642005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0.02 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916917248 6994 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10661052 KiB Current children cumulated memory: 27976 KiB [startup+0.213946 s]* /proc/loadavg: 1.61 1.57 1.69 6/219 32113 /proc/meminfo: memFree=27140872/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661052 memory=41220 CPUtime=0.37 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 8401 0 0 0 34 3 0 0 20 0 15 0 98694818 10916917248 10305 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665263 10305 3019 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5099 0 0 0 19 1 0 0 20 0 15 0 98694818 10916917248 10305 33554432000 4194304 4196468 140727801569776 139924176870096 139923810255200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661052 memory=140094021818834 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694820 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 4202560 765 0 0 0 3 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923728023344 139924153332402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923659156080 139924172642005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0.08 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) R 32095 32098 31407 0 -1 4202560 902 0 0 0 8 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923658103792 139924151577383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661052 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916917248 10305 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 0.37 s Current children cumulated vsize: 10661052 KiB Current children cumulated memory: 41220 KiB [startup+0.312787 s]* /proc/loadavg: 1.61 1.57 1.69 6/219 32113 /proc/meminfo: memFree=27132372/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=47292 CPUtime=0.6 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 8971 0 0 0 57 3 0 0 20 0 15 0 98694818 10916995072 11823 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 11823 3067 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5427 0 0 0 29 1 0 0 20 0 15 0 98694818 10916995072 11823 33554432000 4194304 4196468 140727801569776 139924176867968 139923812432260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=288230604707987479 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=140094021818393 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694820 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 1077944384 782 0 0 0 6 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=-1 CPUtime=0.06 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 4202560 359 0 0 0 6 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923659146336 139924152346556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=140094021789312 CPUtime=0.16 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 1041 0 0 0 16 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923658103792 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=140094021789312 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916995072 11823 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 47292 KiB [startup+0.700791 s] /proc/loadavg: 1.61 1.57 1.69 5/219 32113 /proc/meminfo: memFree=26965188/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=282884 CPUtime=1.86 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 13599 0 0 0 178 8 0 0 20 0 15 0 98694818 10916995072 70721 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 70721 3114 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=1804 CPUtime=0.68 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5700 0 0 0 63 5 0 0 20 0 15 0 98694818 10916995072 70721 33554432000 4194304 4196468 140727801569776 139924176868400 139923813841489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=796 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=11860 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=5772 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694820 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=1388 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=1012 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=6296683612537770333 CPUtime=0.41 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) R 32095 32098 31407 0 -1 4202560 2084 0 0 0 41 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923728030448 139924172643734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=7595725831727968097 CPUtime=0.42 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) R 32095 32098 31407 0 -1 4202560 2274 0 0 0 42 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923659155136 139924172653146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=7236547281622689387 CPUtime=0.31 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 2170 0 0 0 30 1 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=31396 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694824 10916995072 70721 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 1.86 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 282884 KiB [startup+1.50079 s] /proc/loadavg: 1.61 1.57 1.69 3/219 32113 /proc/meminfo: memFree=26887760/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=285448 CPUtime=2.87 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 13743 0 0 0 279 8 0 0 20 0 15 0 98694818 10916995072 71362 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 71362 3125 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=0 CPUtime=1.48 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 5752 0 0 0 143 5 0 0 20 0 15 0 98694818 10916995072 71362 33554432000 4194304 4196468 140727801569776 139924176868400 139923814181297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694819 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694820 10916995072 71362 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 ################ # More data... # ################ [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=380972 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95243 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.14 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95243 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 300.11 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 380972 KiB [startup+299.201 s] /proc/loadavg: 1.98 1.80 1.75 3/220 32126 /proc/meminfo: memFree=26701528/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=301.72 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41185 0 0 0 30149 23 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 95248 3156 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=1712 CPUtime=299.11 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12069 0 0 0 29903 8 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814595508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=11860 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=5772 CPUtime=0.04 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=4616 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=15261436964243280 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=280187828699376 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.85 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.93 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.41 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=1244 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=2268 CPUtime=0.14 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 301.72 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 380992 KiB [startup+300.001 s]* /proc/loadavg: 1.98 1.80 1.75 5/219 32156 /proc/meminfo: memFree=27044124/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=302.51 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41187 0 0 0 30227 24 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 95248 3156 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=299.91 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12071 0 0 0 29981 10 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814473853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=916 CPUtime=0.04 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=3848 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=2588 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=2608 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=4096 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=1408 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=3156 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=385500 CPUtime=0.85 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=1408 CPUtime=0.93 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=3144 CPUtime=0.41 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=33 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=8514726395715349656 CPUtime=0.14 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 302.51 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 380992 KiB [startup+300.801 s] /proc/loadavg: 1.98 1.80 1.75 5/219 32156 /proc/meminfo: memFree=27044124/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=303.3 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41189 0 0 0 30306 24 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 95248 3156 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=8976414709404591081 CPUtime=300.7 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12073 0 0 0 30060 10 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814474018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=4036 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=28756 CPUtime=0.04 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=916 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=137924284808593 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=2315000448730759876 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=2320113142344627744 CPUtime=0.85 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=3618254766903834217 CPUtime=0.93 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=380972 CPUtime=0.41 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=2268 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=1804 CPUtime=0.14 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 303.3 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 380992 KiB [startup+301.001 s]* /proc/loadavg: 1.98 1.80 1.75 5/220 32203 /proc/meminfo: memFree=27061252/32770624 swapFree=67108856/67108860 [pid=32098] ppid=32095 vsize=10661128 memory=380992 CPUtime=303.51 cores=1,3,5,7 /proc/32098/stat : 32098 (java) S 32095 32098 31407 0 -1 1077944320 41190 0 0 0 30327 24 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 140727801552320 139924172631799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 /proc/32098/statm: 2665282 95248 3156 1 0 2627263 0 [pid=32098/tid=32100] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=300.91 cores=1,3,5,7 /proc/32098/task/32100/stat : 32100 (java) R 32095 32098 31407 0 -1 4202560 12074 0 0 0 30081 10 0 0 20 0 15 0 98694818 10916995072 95248 33554432000 4194304 4196468 140727801569776 139924176871040 139923814595528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32101] ppid=32095 vsize=10661128 memory=2092 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32101/stat : 32101 (java) S 32095 32098 31407 0 -1 1077944384 2913 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923779672976 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32102] ppid=32095 vsize=10661128 memory=7380 CPUtime=0.04 cores=1,3,5,7 /proc/32098/task/32102/stat : 32102 (java) S 32095 32098 31407 0 -1 1077944384 1238 0 0 0 4 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923778620176 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32103] ppid=32095 vsize=10661128 memory=836 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32103/stat : 32103 (java) S 32095 32098 31407 0 -1 1077944384 2240 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923777567888 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32104] ppid=32095 vsize=10661128 memory=1796 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32104/stat : 32104 (java) S 32095 32098 31407 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 15 0 98694819 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923776515088 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32105] ppid=32095 vsize=10661128 memory=916 CPUtime=0.03 cores=1,3,5,7 /proc/32098/task/32105/stat : 32105 (java) S 32095 32098 31407 0 -1 1077944384 2133 0 0 0 2 1 0 0 20 0 15 0 98694820 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923732240496 139924172642946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32106] ppid=32095 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32106/stat : 32106 (java) S 32095 32098 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923731186464 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32107] ppid=32095 vsize=10661128 memory=2588 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32107/stat : 32107 (java) S 32095 32098 31407 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98694821 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923730134128 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32108] ppid=32095 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32108/stat : 32108 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923729082448 139924172650395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32109] ppid=32095 vsize=10661128 memory=1236 CPUtime=0.85 cores=1,3,5,7 /proc/32098/task/32109/stat : 32109 (java) S 32095 32098 31407 0 -1 1077944384 5764 0 0 0 84 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923728030320 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32110] ppid=32095 vsize=10661128 memory=16504 CPUtime=0.93 cores=1,3,5,7 /proc/32098/task/32110/stat : 32110 (java) S 32095 32098 31407 0 -1 1077944384 6056 0 0 0 92 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923659155952 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32111] ppid=32095 vsize=10661128 memory=1780 CPUtime=0.41 cores=1,3,5,7 /proc/32098/task/32111/stat : 32111 (java) S 32095 32098 31407 0 -1 1077944384 4925 0 0 0 40 1 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923658103664 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32112] ppid=32095 vsize=10661128 memory=644 CPUtime=0 cores=1,3,5,7 /proc/32098/task/32112/stat : 32112 (java) S 32095 32098 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694823 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923657051104 139924172642005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 [pid=32098/tid=32113] ppid=32095 vsize=10661128 memory=956 CPUtime=0.14 cores=1,3,5,7 /proc/32098/task/32113/stat : 32113 (java) S 32095 32098 31407 0 -1 1077944384 1002 0 0 0 7 7 0 0 20 0 15 0 98694824 10916995072 95248 33554432000 4194304 4196468 140727801569776 139923655997872 139924172642946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11325440 140727801578634 140727801578761 140727801578761 140727801581519 0 Current children cumulated CPU time: 303.51 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 380992 KiB Child status: 0 Real time (s): 301.038 CPU time (s): 303.55 CPU user time (s): 303.301 CPU system time (s): 0.249085 CPU usage (%): 100.834 Max. virtual memory (cumulated for all children) (KiB): 10661128 Max. memory (cumulated for all children) (KiB): 396312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 303.301 system time used= 0.249085 maximum resident set size= 399884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42499 page faults= 0 swaps= 0 block input operations= 0 block output operations= 448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8463 involuntary context switches= 1333 # summary of solver processes directly reported to runsolver: # pid: 32098 # total CPU time (s): 303.55 # total CPU user time (s): 303.301 # total CPU system time (s): 0.249085 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.22335 second user time and 2.61485 second system time The end
Begin job on node133 at 2018-07-28 22:55:17 IDJOB=4298537 IDBENCH=141153 IDSOLVER=2767 FILE ID=node133/4298537-1532811317 RUNJOBID= node133-1532808819-31439 PBS_JOBID= 21022475 Free space on /tmp= 48248 MiB SOLVER NAME= SuperSolver_Macq_Stevenart 2018-04-27 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml COMMAND LINE= java -jar DIR/bestMinicp.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298537-1532811317/watcher-4298537-1532811317 -o /tmp/evaluation-result-4298537-1532811317/solver-4298537-1532811317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298537-1532811317.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=1466823202 node133.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.24 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.24 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.24 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.24 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: 27176908 kB MemAvailable: 31675372 kB Buffers: 183852 kB Cached: 4562564 kB SwapCached: 0 kB Active: 2418580 kB Inactive: 2655520 kB Active(anon): 279156 kB Inactive(anon): 76688 kB Active(file): 2139424 kB Inactive(file): 2578832 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 1552 kB Writeback: 0 kB AnonPages: 340748 kB Mapped: 53036 kB Shmem: 25244 kB Slab: 220060 kB SReclaimable: 192088 kB SUnreclaim: 27972 kB KernelStack: 3856 kB PageTables: 5532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1178500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 256000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48248 MiB End job on node133 at 2018-07-28 23:00:18