Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MiniCPFever 2018-04-29 | SAT (TO) | 1436430 | 2520.11 | 2516.14 |
Name | Auction/Auction-sum/ Auction-sum-decay200_c18.xml |
MD5SUM | ef8d95b3b89bfc5ccba73a2d09f74d17 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1436430 |
Best CPU time to get the best result obtained on this benchmark | 2520.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 200 |
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 | 30 |
Distribution of variable degrees | [{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}] |
Minimum constraint arity | 36 |
Maximum constraint arity | 75 |
Distribution of constraint arities | [{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":200}] |
Optimization problem | YES |
Type of objective | max SUM |
0.14/0.13 c version: 2018-04-11 0.14/0.13 c seed: 1811631 0.14/0.13 c timeout: -1 0.14/0.13 c memlimit: -1 0.14/0.13 c nbcore: -1 2.92/1.63 o 0 2.92/1.63 objective:0 2.92/1.63 o 2241 2.92/1.63 objective:-2241 2.92/1.64 o 15582 2.92/1.64 objective:-15582 2.92/1.64 o 17823 2.92/1.64 objective:-17823 2.92/1.64 o 25823 2.92/1.64 objective:-25823 2.92/1.64 o 28064 2.92/1.64 objective:-28064 2.92/1.65 o 29337 2.92/1.65 objective:-29337 2.92/1.65 o 42678 2.92/1.65 objective:-42678 2.92/1.65 o 44919 2.92/1.65 objective:-44919 2.92/1.65 o 52919 2.92/1.65 objective:-52919 2.92/1.65 o 55160 2.92/1.65 objective:-55160 2.92/1.66 o 57128 2.92/1.66 objective:-57128 2.92/1.66 o 59369 2.92/1.66 objective:-59369 2.92/1.66 o 72096 2.92/1.66 objective:-72096 2.92/1.67 o 74337 2.92/1.67 objective:-74337 2.92/1.67 o 82337 2.92/1.67 objective:-82337 2.92/1.67 o 84578 2.92/1.67 objective:-84578 2.92/1.67 o 86546 2.92/1.68 objective:-86546 2.92/1.68 o 88787 2.92/1.68 objective:-88787 2.92/1.68 o 90364 2.92/1.68 objective:-90364 2.92/1.68 o 91032 2.92/1.68 objective:-91032 2.92/1.68 o 93000 2.92/1.68 objective:-93000 2.92/1.68 o 95241 2.92/1.68 objective:-95241 2.92/1.68 o 95908 2.92/1.68 objective:-95908 2.92/1.68 o 98149 2.92/1.68 objective:-98149 2.92/1.68 o 106149 2.92/1.68 objective:-106149 2.92/1.68 o 108390 2.92/1.68 objective:-108390 2.92/1.68 o 109967 2.92/1.68 objective:-109967 2.92/1.69 o 112603 2.92/1.69 objective:-112603 2.92/1.69 o 114844 2.92/1.69 objective:-114844 2.92/1.69 o 116249 2.92/1.69 objective:-116249 2.92/1.69 o 116917 2.92/1.69 objective:-116917 2.92/1.69 o 118885 2.92/1.69 objective:-118885 2.92/1.69 o 121126 2.92/1.69 objective:-121126 2.92/1.69 o 121793 2.92/1.69 objective:-121793 2.92/1.70 o 124034 2.92/1.70 objective:-124034 2.92/1.70 o 132034 2.92/1.70 objective:-132034 2.92/1.70 o 134275 2.92/1.70 objective:-134275 3.21/1.70 o 135852 3.21/1.70 objective:-135852 3.21/1.70 o 138488 3.21/1.70 objective:-138488 3.21/1.70 o 140729 3.21/1.70 objective:-140729 3.21/1.70 o 141612 3.21/1.70 objective:-141612 3.21/1.71 o 143853 3.21/1.71 objective:-143853 3.21/1.71 o 145430 3.21/1.71 objective:-145430 3.21/1.71 o 148066 3.21/1.71 objective:-148066 3.21/1.71 o 150307 3.21/1.71 objective:-150307 3.21/1.71 o 150588 3.21/1.71 objective:-150588 3.21/1.71 o 152165 3.21/1.71 objective:-152165 3.21/1.71 o 152833 3.21/1.71 objective:-152833 3.21/1.72 o 154801 3.21/1.72 objective:-154801 3.21/1.72 o 157042 3.21/1.72 objective:-157042 3.21/1.72 o 158372 3.21/1.72 objective:-158372 3.21/1.72 o 160613 3.21/1.72 objective:-160613 3.21/1.72 o 162190 3.21/1.72 objective:-162190 3.21/1.72 o 164826 3.21/1.72 objective:-164826 3.21/1.72 o 167067 3.21/1.72 objective:-167067 3.21/1.72 o 167950 3.21/1.72 objective:-167950 3.21/1.72 o 170191 3.21/1.72 objective:-170191 3.21/1.72 o 171768 3.21/1.72 objective:-171768 3.21/1.72 o 174404 3.21/1.72 objective:-174404 3.21/1.72 o 176645 3.21/1.72 objective:-176645 3.21/1.73 o 178012 3.21/1.73 objective:-178012 3.21/1.73 o 180253 3.21/1.73 objective:-180253 3.21/1.73 o 182109 3.21/1.74 objective:-182109 3.21/1.74 o 184350 3.21/1.74 objective:-184350 3.21/1.74 o 185717 3.21/1.74 objective:-185717 3.21/1.74 o 187958 3.21/1.74 objective:-187958 3.21/1.74 o 189051 3.21/1.74 objective:-189051 3.21/1.74 o 191687 3.21/1.74 objective:-191687 3.21/1.74 o 193928 3.21/1.74 objective:-193928 3.21/1.74 o 195295 3.21/1.74 objective:-195295 3.21/1.74 o 197536 3.21/1.74 objective:-197536 3.21/1.75 o 198769 3.21/1.75 objective:-198769 3.21/1.75 o 201010 3.21/1.75 objective:-201010 3.21/1.76 o 203087 3.21/1.76 objective:-203087 3.21/1.76 o 206561 3.21/1.76 objective:-206561 3.21/1.76 o 208802 3.21/1.76 objective:-208802 3.21/1.76 o 211105 3.21/1.76 objective:-211105 3.21/1.77 o 213346 3.21/1.77 objective:-213346 3.21/1.77 o 213931 3.21/1.77 objective:-213931 3.21/1.77 o 215491 3.21/1.77 objective:-215491 3.21/1.77 o 218965 3.21/1.77 objective:-218965 3.21/1.77 o 220035 3.21/1.77 objective:-220035 3.21/1.77 o 223509 3.21/1.77 objective:-223509 3.21/1.78 o 225750 3.21/1.78 objective:-225750 3.21/1.78 o 227193 3.21/1.78 objective:-227193 3.21/1.78 o 230667 3.21/1.78 objective:-230667 3.21/1.78 o 231737 3.21/1.78 objective:-231737 3.21/1.78 o 235211 3.21/1.78 objective:-235211 3.21/1.79 o 237452 3.21/1.79 objective:-237452 3.21/1.79 o 238734 3.21/1.79 objective:-238734 3.21/1.79 o 239804 3.21/1.80 objective:-239804 3.21/1.80 o 243278 3.21/1.80 objective:-243278 3.52/1.80 o 245519 3.52/1.80 objective:-245519 3.52/1.80 o 246684 3.52/1.80 objective:-246684 3.52/1.81 o 249563 3.52/1.81 objective:-249563 3.52/1.81 o 250728 3.52/1.81 objective:-250728 3.52/1.81 o 251804 3.52/1.81 objective:-251804 3.52/1.81 o 252969 3.52/1.81 objective:-252969 3.52/1.84 o 253940 3.52/1.84 objective:-253940 3.52/1.84 o 255105 3.52/1.84 objective:-255105 3.52/1.84 o 256181 3.52/1.84 objective:-256181 3.52/1.84 o 257346 3.52/1.84 objective:-257346 3.52/1.85 o 257414 3.52/1.85 objective:-257414 3.52/1.85 o 258579 3.52/1.85 objective:-258579 3.52/1.85 o 259655 3.52/1.85 objective:-259655 3.52/1.85 o 260820 3.52/1.85 objective:-260820 3.52/1.85 o 261158 3.52/1.85 objective:-261158 3.52/1.85 o 263399 3.52/1.85 objective:-263399 3.52/1.85 o 265181 3.52/1.85 objective:-265181 3.52/1.85 o 266922 3.52/1.85 objective:-266922 3.52/1.85 o 267992 3.52/1.85 objective:-267992 3.52/1.85 o 269225 3.52/1.85 objective:-269225 3.52/1.85 o 271466 3.52/1.85 objective:-271466 3.52/1.86 o 272973 3.52/1.86 objective:-272973 3.52/1.86 o 274714 3.52/1.86 objective:-274714 3.52/1.86 o 275784 3.52/1.86 objective:-275784 3.52/1.86 o 277017 3.52/1.86 objective:-277017 3.52/1.86 o 279258 3.52/1.86 objective:-279258 3.52/1.86 o 280423 3.52/1.86 objective:-280423 4.81/2.85 o 281955 4.81/2.85 objective:-281955 4.81/2.85 o 284756 4.81/2.85 objective:-284756 4.81/2.85 o 284766 4.81/2.85 objective:-284766 4.81/2.85 o 285116 4.81/2.85 objective:-285116 4.81/2.85 o 287917 4.81/2.85 objective:-287917 4.81/2.85 o 287927 4.81/2.85 objective:-287927 4.81/2.85 o 288223 4.81/2.85 objective:-288223 4.81/2.85 o 288233 4.81/2.85 objective:-288233 4.81/2.85 o 288513 4.81/2.85 objective:-288513 4.81/2.85 o 292413 4.81/2.85 objective:-292413 4.81/2.85 o 295214 4.81/2.85 objective:-295214 4.81/2.85 o 295224 4.81/2.85 objective:-295224 4.81/2.85 o 295574 4.81/2.85 objective:-295574 4.81/2.85 o 298375 4.81/2.85 objective:-298375 4.81/2.85 o 298385 4.81/2.85 objective:-298385 4.81/2.85 o 298681 4.81/2.85 objective:-298681 4.81/2.85 o 298691 4.81/2.85 objective:-298691 4.81/2.85 o 299644 4.81/2.85 objective:-299644 4.81/2.85 o 299654 4.81/2.85 objective:-299654 4.81/2.85 o 300004 4.81/2.85 objective:-300004 4.81/2.85 o 302805 4.81/2.85 objective:-302805 4.81/2.85 o 302815 4.81/2.85 objective:-302815 4.81/2.85 o 303111 4.81/2.85 objective:-303111 4.81/2.85 o 303121 4.81/2.85 objective:-303121 4.81/2.86 o 303140 4.81/2.86 objective:-303140 4.81/2.86 o 303150 4.81/2.86 objective:-303150 4.81/2.86 o 303500 4.81/2.86 objective:-303500 4.81/2.86 o 306301 4.81/2.86 objective:-306301 4.81/2.86 o 306311 4.81/2.86 objective:-306311 4.81/2.86 o 306607 4.81/2.86 objective:-306607 4.81/2.86 o 306617 4.81/2.86 objective:-306617 4.81/2.86 o 308505 4.81/2.86 objective:-308505 4.81/2.86 o 308515 4.81/2.86 objective:-308515 4.81/2.86 o 308811 4.81/2.86 objective:-308811 4.81/2.86 o 308821 4.81/2.86 objective:-308821 4.81/2.86 o 308840 4.81/2.86 objective:-308840 4.81/2.86 o 308850 4.81/2.86 objective:-308850 4.81/2.86 o 309200 4.81/2.86 objective:-309200 4.81/2.86 o 312001 4.81/2.86 objective:-312001 4.81/2.86 o 312011 4.81/2.86 objective:-312011 4.81/2.86 o 312307 4.81/2.86 objective:-312307 4.81/2.86 o 312317 4.81/2.86 objective:-312317 4.81/2.86 o 315271 4.81/2.86 objective:-315271 4.81/2.86 o 318072 4.81/2.86 objective:-318072 4.81/2.86 o 318082 4.81/2.86 objective:-318082 4.81/2.86 o 318432 4.81/2.86 objective:-318432 4.81/2.86 o 321233 4.81/2.86 objective:-321233 4.81/2.87 o 321243 4.81/2.87 objective:-321243 4.81/2.87 o 321539 4.81/2.87 objective:-321539 4.81/2.87 o 321549 4.81/2.87 objective:-321549 4.81/2.87 o 322502 4.81/2.87 objective:-322502 4.81/2.87 o 322512 4.81/2.87 objective:-322512 4.81/2.87 o 322862 4.81/2.87 objective:-322862 4.81/2.87 o 325663 4.81/2.87 objective:-325663 4.81/2.87 o 325673 4.81/2.87 objective:-325673 4.81/2.87 o 325969 4.81/2.87 objective:-325969 4.81/2.87 o 325979 4.81/2.87 objective:-325979 4.81/2.87 o 325998 4.81/2.87 objective:-325998 4.81/2.87 o 326008 4.81/2.87 objective:-326008 4.81/2.87 o 326358 4.81/2.87 objective:-326358 4.81/2.87 o 329159 4.81/2.87 objective:-329159 4.81/2.87 o 329169 4.81/2.87 objective:-329169 4.81/2.87 o 329465 4.81/2.87 objective:-329465 4.81/2.87 o 329475 4.81/2.87 objective:-329475 4.81/2.87 o 331363 4.81/2.87 objective:-331363 4.81/2.87 o 331373 4.81/2.87 objective:-331373 4.81/2.87 o 331669 4.81/2.87 objective:-331669 4.81/2.87 o 331679 4.81/2.87 objective:-331679 4.81/2.87 o 331698 4.81/2.87 objective:-331698 4.81/2.87 o 331708 4.81/2.87 objective:-331708 4.81/2.87 o 332058 4.81/2.87 objective:-332058 4.81/2.87 o 334859 4.81/2.87 objective:-334859 4.81/2.87 o 334869 4.81/2.87 objective:-334869 4.81/2.87 o 335165 4.81/2.87 objective:-335165 4.81/2.87 o 335175 4.81/2.87 objective:-335175 4.81/2.88 o 335442 4.81/2.88 objective:-335442 4.81/2.88 o 338243 4.81/2.88 objective:-338243 4.81/2.88 o 338253 4.81/2.88 objective:-338253 4.81/2.88 o 338549 4.81/2.88 objective:-338549 4.81/2.88 o 338559 4.81/2.88 objective:-338559 4.81/2.88 o 339113 4.81/2.88 objective:-339113 4.81/2.88 o 339123 4.81/2.88 objective:-339123 4.81/2.88 o 339419 4.81/2.88 objective:-339419 4.81/2.88 o 339429 4.81/2.88 objective:-339429 4.81/2.88 o 341317 4.81/2.88 objective:-341317 4.81/2.88 o 341327 4.81/2.88 objective:-341327 4.81/2.88 o 341623 4.81/2.88 objective:-341623 4.81/2.88 o 341633 4.81/2.88 objective:-341633 4.81/2.88 o 341652 4.81/2.88 objective:-341652 4.81/2.88 o 341662 4.81/2.88 objective:-341662 4.81/2.88 o 342012 4.81/2.88 objective:-342012 4.81/2.88 o 344813 4.81/2.88 objective:-344813 4.81/2.88 o 344823 4.81/2.88 objective:-344823 4.81/2.88 o 345119 4.81/2.88 objective:-345119 4.81/2.88 o 345129 4.81/2.88 objective:-345129 4.81/2.88 o 345396 4.81/2.88 objective:-345396 4.81/2.88 o 348197 4.81/2.88 objective:-348197 4.81/2.88 o 348207 4.81/2.88 objective:-348207 4.81/2.88 o 348503 4.81/2.88 objective:-348503 4.81/2.88 o 348513 4.81/2.88 objective:-348513 4.81/2.89 o 349371 4.81/2.89 objective:-349371 4.81/2.89 o 349381 4.81/2.89 objective:-349381 4.81/2.89 o 349677 4.81/2.89 objective:-349677 4.81/2.89 o 349687 4.81/2.89 objective:-349687 4.81/2.89 o 352755 4.81/2.89 objective:-352755 4.81/2.89 o 352765 4.81/2.89 objective:-352765 4.81/2.89 o 353061 4.81/2.89 objective:-353061 4.81/2.89 o 353071 4.81/2.89 objective:-353071 4.81/2.89 o 353074 4.81/2.89 objective:-353074 4.81/2.89 o 353084 4.81/2.89 objective:-353084 4.81/2.89 o 353380 4.81/2.89 objective:-353380 4.81/2.89 o 353390 4.81/2.89 objective:-353390 4.81/2.89 o 353657 4.81/2.89 objective:-353657 4.81/2.89 o 356458 4.81/2.89 objective:-356458 4.81/2.89 o 356468 4.81/2.89 objective:-356468 4.81/2.89 o 356764 4.81/2.89 objective:-356764 4.81/2.89 o 356774 4.81/2.89 objective:-356774 4.81/2.89 o 357632 4.81/2.89 objective:-357632 4.81/2.89 o 357642 4.81/2.89 objective:-357642 4.81/2.89 o 357938 4.81/2.89 objective:-357938 4.81/2.89 o 357948 4.81/2.89 objective:-357948 4.81/2.89 o 361016 4.81/2.89 objective:-361016 4.81/2.89 o 361026 4.81/2.89 objective:-361026 4.81/2.89 o 361322 4.81/2.89 objective:-361322 4.81/2.90 o 361332 4.81/2.90 objective:-361332 4.95/2.90 o 361460 4.95/2.90 objective:-361460 4.95/2.90 o 361470 4.95/2.90 objective:-361470 4.95/2.90 o 362328 4.95/2.90 objective:-362328 4.95/2.90 o 362338 4.95/2.90 objective:-362338 4.95/2.90 o 362634 4.95/2.90 objective:-362634 4.95/2.90 o 362644 4.95/2.90 objective:-362644 4.95/2.90 o 365712 4.95/2.90 objective:-365712 4.95/2.90 o 365722 4.95/2.90 objective:-365722 4.95/2.90 o 366018 4.95/2.90 objective:-366018 4.95/2.90 o 366028 4.95/2.90 objective:-366028 4.95/2.90 o 367579 4.95/2.90 objective:-367579 4.95/2.90 o 367589 4.95/2.90 objective:-367589 4.95/2.91 o 367885 4.95/2.91 objective:-367885 4.95/2.91 o 367895 4.95/2.91 objective:-367895 4.95/2.91 o 368043 4.95/2.91 objective:-368043 4.95/2.91 o 370428 4.95/2.91 objective:-370428 4.95/2.91 o 370734 4.95/2.91 objective:-370734 4.95/2.91 o 372295 4.95/2.91 objective:-372295 4.95/2.91 o 372601 4.95/2.91 objective:-372601 4.95/2.91 o 372611 4.95/2.91 objective:-372611 4.95/2.92 o 373418 4.95/2.92 objective:-373418 4.95/2.92 o 373724 4.95/2.92 objective:-373724 4.95/2.92 o 375096 4.95/2.92 objective:-375096 4.95/2.92 o 375402 4.95/2.92 objective:-375402 4.95/2.92 o 376963 4.95/2.92 objective:-376963 4.95/2.92 o 377269 4.95/2.92 objective:-377269 4.95/2.92 o 379812 4.95/2.92 objective:-379812 4.95/2.92 o 380118 4.95/2.92 objective:-380118 4.95/2.92 o 381679 4.95/2.92 objective:-381679 4.95/2.92 o 381985 4.95/2.92 objective:-381985 4.95/2.92 o 384508 4.95/2.92 objective:-384508 4.95/2.92 o 384814 4.95/2.92 objective:-384814 4.95/2.92 o 386375 4.95/2.92 objective:-386375 4.95/2.92 o 386681 4.95/2.92 objective:-386681 4.95/2.92 o 386691 4.95/2.92 objective:-386691 4.95/2.93 o 389066 4.95/2.93 objective:-389066 4.95/2.93 o 389372 4.95/2.93 objective:-389372 4.95/2.93 o 390933 4.95/2.93 objective:-390933 4.95/2.93 o 391239 4.95/2.93 objective:-391239 4.95/2.93 o 391249 4.95/2.93 objective:-391249 4.95/2.93 o 392363 4.95/2.93 objective:-392363 4.95/2.93 o 392669 4.95/2.93 objective:-392669 4.95/2.93 o 394230 4.95/2.93 objective:-394230 4.95/2.93 o 394536 4.95/2.93 objective:-394536 4.95/2.93 o 394546 4.95/2.93 objective:-394546 4.95/2.93 o 394694 4.95/2.93 objective:-394694 4.95/2.93 o 394704 4.95/2.93 objective:-394704 4.95/2.94 o 397079 4.95/2.94 objective:-397079 4.95/2.94 o 397385 4.95/2.94 objective:-397385 4.95/2.94 o 398946 4.95/2.94 objective:-398946 4.95/2.94 o 399252 4.95/2.94 objective:-399252 4.95/2.94 o 399262 4.95/2.94 objective:-399262 4.95/2.94 o 400116 4.95/2.94 objective:-400116 4.95/2.94 o 400422 4.95/2.94 objective:-400422 4.95/2.94 o 400432 4.95/2.94 objective:-400432 4.95/2.95 o 400965 4.95/2.95 objective:-400965 4.95/2.95 o 401271 4.95/2.95 objective:-401271 4.95/2.95 o 401281 4.95/2.95 objective:-401281 4.95/2.95 o 402486 4.95/2.95 objective:-402486 4.95/2.95 o 402792 4.95/2.95 objective:-402792 4.95/2.95 o 404353 4.95/2.95 objective:-404353 4.95/2.95 o 404659 4.95/2.95 objective:-404659 4.95/2.95 o 404669 4.95/2.95 objective:-404669 4.95/2.95 o 405523 4.95/2.95 objective:-405523 4.95/2.95 o 405829 4.95/2.95 objective:-405829 4.95/2.95 o 405839 4.95/2.95 objective:-405839 4.95/2.96 o 407286 4.95/2.96 objective:-407286 4.95/2.96 o 407592 4.95/2.96 objective:-407592 4.95/2.96 o 409153 4.95/2.96 objective:-409153 4.95/2.96 o 409459 4.95/2.96 objective:-409459 4.95/2.96 o 409469 4.95/2.96 objective:-409469 4.95/2.96 o 411844 4.95/2.96 objective:-411844 4.95/2.96 o 412150 4.95/2.96 objective:-412150 4.95/2.96 o 413711 4.95/2.96 objective:-413711 4.95/2.96 o 414017 4.95/2.96 objective:-414017 4.95/2.96 o 414027 4.95/2.96 objective:-414027 4.95/2.96 o 414881 4.95/2.96 objective:-414881 4.95/2.96 o 415187 4.95/2.96 objective:-415187 4.95/2.96 o 415197 4.95/2.96 objective:-415197 4.95/2.97 o 415325 4.95/2.97 objective:-415325 4.95/2.97 o 415335 4.95/2.97 objective:-415335 4.95/2.97 o 416540 4.95/2.97 objective:-416540 4.95/2.97 o 416846 4.95/2.97 objective:-416846 4.95/2.97 o 418407 4.95/2.97 objective:-418407 4.95/2.97 o 418713 4.95/2.97 objective:-418713 4.95/2.97 o 418723 4.95/2.97 objective:-418723 4.95/2.97 o 419577 4.95/2.97 objective:-419577 4.95/2.97 o 419883 4.95/2.97 objective:-419883 4.95/2.97 o 419893 4.95/2.97 objective:-419893 4.95/2.97 o 421256 4.95/2.97 objective:-421256 4.95/2.97 o 421562 4.95/2.97 objective:-421562 4.95/2.97 o 423123 4.95/2.97 objective:-423123 4.95/2.97 o 423429 4.95/2.97 objective:-423429 4.95/2.97 o 423439 4.95/2.97 objective:-423439 4.95/2.98 o 424293 4.95/2.98 objective:-424293 4.95/2.98 o 424599 4.95/2.98 objective:-424599 4.95/2.98 o 424609 4.95/2.98 objective:-424609 5.96/3.98 o 428302 5.96/3.98 objective:-428302 5.96/3.98 o 432706 5.96/3.98 objective:-432706 5.96/3.98 o 435481 5.96/3.98 objective:-435481 5.96/3.98 o 439885 5.96/3.98 objective:-439885 5.96/3.98 o 441283 5.96/3.98 objective:-441283 5.96/3.99 o 442723 5.96/3.99 objective:-442723 5.96/3.99 o 447127 5.96/3.99 objective:-447127 5.96/3.99 o 448525 5.96/3.99 objective:-448525 5.96/3.99 o 451684 5.96/3.99 objective:-451684 5.96/3.99 o 453082 5.96/3.99 objective:-453082 5.96/3.99 o 454459 5.96/3.99 objective:-454459 5.96/3.99 o 458863 5.96/3.99 objective:-458863 5.96/3.99 o 460261 5.96/3.99 objective:-460261 5.96/3.99 o 463024 5.96/3.99 objective:-463024 5.96/3.99 o 464422 5.96/3.99 objective:-464422 5.96/3.99 o 465862 5.96/3.99 objective:-465862 5.96/3.99 o 470266 5.96/3.99 objective:-470266 5.96/3.99 o 471664 5.96/3.99 objective:-471664 5.96/4.00 o 473041 5.96/4.00 objective:-473041 5.96/4.00 o 477445 5.96/4.00 objective:-477445 5.96/4.00 o 478843 5.96/4.00 objective:-478843 5.96/4.00 o 478921 5.96/4.00 objective:-478921 5.96/4.00 o 481927 5.96/4.00 objective:-481927 5.96/4.00 o 483325 5.96/4.00 objective:-483325 5.96/4.00 o 483656 5.96/4.00 objective:-483656 5.96/4.00 o 485054 5.96/4.00 objective:-485054 5.96/4.00 o 486431 5.96/4.00 objective:-486431 5.96/4.01 o 487829 5.96/4.01 objective:-487829 5.96/4.01 o 490835 5.96/4.01 objective:-490835 5.96/4.01 o 492233 5.96/4.01 objective:-492233 6.10/4.01 o 492903 6.10/4.01 objective:-492903 6.10/4.01 o 495909 6.10/4.01 objective:-495909 6.10/4.01 o 497307 6.10/4.01 objective:-497307 6.10/4.01 o 500384 6.10/4.01 objective:-500384 6.10/4.02 o 501782 6.10/4.02 objective:-501782 6.10/4.02 o 504017 6.10/4.02 objective:-504017 6.10/4.02 o 505415 6.10/4.02 objective:-505415 6.10/4.02 o 508421 6.10/4.02 objective:-508421 6.10/4.02 o 509819 6.10/4.02 objective:-509819 6.10/4.03 o 512433 6.10/4.03 objective:-512433 6.10/4.03 o 516837 6.10/4.03 objective:-516837 6.10/4.03 o 518235 6.10/4.03 objective:-518235 6.10/4.03 o 519552 6.10/4.03 objective:-519552 6.10/4.03 o 523956 6.10/4.03 objective:-523956 6.10/4.03 o 525354 6.10/4.03 objective:-525354 6.10/4.04 o 526140 6.10/4.04 objective:-526140 6.10/4.04 o 527538 6.10/4.04 objective:-527538 6.10/4.04 o 530544 6.10/4.04 objective:-530544 6.10/4.04 o 531942 6.10/4.04 objective:-531942 6.10/4.05 o 532920 6.10/4.05 objective:-532920 6.10/4.05 o 534318 6.10/4.05 objective:-534318 6.10/4.06 o 535313 6.10/4.06 objective:-535313 7.13/5.02 o 537382 7.13/5.02 objective:-537382 7.13/5.02 o 540183 7.13/5.02 objective:-540183 7.13/5.02 o 544911 7.13/5.02 objective:-544911 7.13/5.02 o 546626 7.13/5.02 objective:-546626 7.13/5.02 o 552153 7.13/5.02 objective:-552153 7.13/5.03 o 554954 7.13/5.03 objective:-554954 7.13/5.03 o 557560 7.13/5.03 objective:-557560 7.13/5.03 o 560361 7.13/5.03 objective:-560361 7.13/5.03 o 560460 7.13/5.03 objective:-560460 7.13/5.03 o 563261 7.13/5.03 objective:-563261 7.13/5.03 o 564942 7.13/5.03 objective:-564942 7.13/5.03 o 567743 7.13/5.03 objective:-567743 7.13/5.03 o 569042 7.13/5.03 objective:-569042 7.13/5.04 o 571802 7.13/5.04 objective:-571802 7.13/5.04 o 573384 7.13/5.04 objective:-573384 7.13/5.04 o 576284 7.13/5.04 objective:-576284 7.13/5.04 o 577329 7.13/5.04 objective:-577329 7.13/5.04 o 578911 7.13/5.04 objective:-578911 7.13/5.04 o 581811 7.13/5.04 objective:-581811 7.13/5.04 o 584612 7.13/5.04 objective:-584612 7.13/5.04 o 588410 7.13/5.04 objective:-588410 7.13/5.04 o 593817 7.13/5.04 objective:-593817 7.13/5.04 o 598299 7.13/5.04 objective:-598299 7.13/5.04 o 601059 7.13/5.04 objective:-601059 7.13/5.04 o 605541 7.13/5.04 objective:-605541 7.13/5.04 o 606586 7.13/5.04 objective:-606586 7.13/5.04 o 611068 7.13/5.04 objective:-611068 7.13/5.04 o 613869 7.13/5.04 objective:-613869 7.13/5.05 o 613968 7.13/5.05 objective:-613968 7.13/5.05 o 616769 7.13/5.05 objective:-616769 7.13/5.05 o 617120 7.13/5.05 objective:-617120 7.13/5.05 o 618256 7.13/5.05 objective:-618256 7.13/5.05 o 618607 7.13/5.05 objective:-618607 7.13/5.05 o 621156 7.13/5.05 objective:-621156 7.13/5.06 o 621507 7.13/5.06 objective:-621507 7.13/5.06 o 622837 7.13/5.06 objective:-622837 7.13/5.06 o 625638 7.13/5.06 objective:-625638 7.13/5.06 o 625989 7.13/5.06 objective:-625989 7.13/5.06 o 626759 7.13/5.06 objective:-626759 7.13/5.06 o 629659 7.13/5.06 objective:-629659 7.13/5.06 o 631241 7.13/5.06 objective:-631241 7.13/5.06 o 634141 7.13/5.06 objective:-634141 7.13/5.06 o 636942 7.13/5.06 objective:-636942 7.13/5.06 o 639668 7.13/5.06 objective:-639668 7.13/5.07 o 642469 7.13/5.07 objective:-642469 7.13/5.07 o 645052 7.13/5.07 objective:-645052 7.13/5.08 o 647971 7.13/5.08 objective:-647971 7.13/5.08 o 650554 7.13/5.08 objective:-650554 7.13/5.08 o 653498 7.13/5.08 objective:-653498 7.13/5.08 o 656081 7.13/5.08 objective:-656081 7.13/5.09 o 656299 7.13/5.09 objective:-656299 7.13/5.09 o 658882 7.13/5.09 objective:-658882 7.13/5.09 o 660781 7.13/5.09 objective:-660781 7.13/5.09 o 663364 7.13/5.09 objective:-663364 7.13/5.09 o 663681 7.13/5.09 objective:-663681 7.13/5.09 o 666264 7.13/5.09 objective:-666264 8.14/6.07 o 667102 8.14/6.07 objective:-667102 8.14/6.07 o 667599 8.14/6.07 objective:-667599 8.14/6.07 o 667660 8.14/6.07 objective:-667660 8.14/6.07 o 668677 8.14/6.07 objective:-668677 8.14/6.07 o 669174 8.14/6.07 objective:-669174 8.14/6.07 o 670118 8.14/6.07 objective:-670118 8.14/6.07 o 670209 8.14/6.07 objective:-670209 8.14/6.07 o 670615 8.14/6.07 objective:-670615 8.14/6.07 o 670706 8.14/6.07 objective:-670706 8.14/6.07 o 671728 8.14/6.07 objective:-671728 8.14/6.07 o 672225 8.14/6.07 objective:-672225 8.14/6.07 o 673242 8.14/6.07 objective:-673242 8.14/6.07 o 673739 8.14/6.07 objective:-673739 8.14/6.08 o 674055 8.14/6.08 objective:-674055 8.14/6.08 o 674146 8.14/6.08 objective:-674146 8.14/6.08 o 674342 8.14/6.08 objective:-674342 8.14/6.08 o 674564 8.14/6.08 objective:-674564 8.14/6.08 o 674655 8.14/6.08 objective:-674655 9.14/7.04 o 676836 9.14/7.04 objective:-676836 9.14/7.04 o 677959 9.14/7.04 objective:-677959 9.14/7.04 o 681724 9.14/7.04 objective:-681724 9.14/7.04 o 682501 9.14/7.04 objective:-682501 9.14/7.04 o 688558 9.14/7.04 objective:-688558 9.14/7.04 o 694057 9.14/7.04 objective:-694057 9.14/7.04 o 698945 9.14/7.04 objective:-698945 9.14/7.04 o 702746 9.14/7.04 objective:-702746 9.14/7.04 o 702759 9.14/7.04 objective:-702759 9.14/7.04 o 706560 9.14/7.04 objective:-706560 9.14/7.04 o 707680 9.14/7.04 objective:-707680 9.14/7.05 o 713179 9.14/7.05 objective:-713179 9.14/7.05 o 718067 9.14/7.05 objective:-718067 9.14/7.05 o 721868 9.14/7.05 objective:-721868 9.14/7.05 o 721881 9.14/7.05 objective:-721881 9.14/7.05 o 725682 9.14/7.05 objective:-725682 9.14/7.05 o 727026 9.14/7.05 objective:-727026 9.14/7.05 o 730840 9.14/7.05 objective:-730840 9.14/7.05 o 734641 9.14/7.05 objective:-734641 9.14/7.06 o 736434 9.14/7.06 objective:-736434 9.14/7.06 o 737244 9.14/7.06 objective:-737244 9.14/7.06 o 741411 9.14/7.06 objective:-741411 9.14/7.06 o 743204 9.14/7.06 objective:-743204 9.14/7.06 o 744014 9.14/7.06 objective:-744014 9.14/7.06 o 745212 9.14/7.06 objective:-745212 9.14/7.06 o 747005 9.14/7.06 objective:-747005 9.14/7.07 o 747815 9.14/7.07 objective:-747815 9.14/7.07 o 747828 9.14/7.07 objective:-747828 9.14/7.07 o 749026 9.14/7.07 objective:-749026 9.14/7.07 o 750819 9.14/7.07 objective:-750819 9.14/7.07 o 751629 9.14/7.07 objective:-751629 9.14/7.08 o 751895 9.14/7.08 objective:-751895 9.14/7.08 o 752705 9.14/7.08 objective:-752705 9.14/7.08 o 753782 9.14/7.08 objective:-753782 9.14/7.08 o 754858 9.14/7.08 objective:-754858 9.14/7.08 o 755575 9.14/7.08 objective:-755575 9.14/7.08 o 756651 9.14/7.08 objective:-756651 9.14/7.09 o 757461 9.14/7.09 objective:-757461 9.14/7.10 o 757944 9.14/7.10 objective:-757944 9.14/7.10 o 758754 9.14/7.10 objective:-758754 9.24/7.11 o 759020 9.24/7.11 objective:-759020 9.24/7.11 o 759830 9.24/7.11 objective:-759830 9.24/7.11 o 760813 9.24/7.11 objective:-760813 9.24/7.12 o 761623 9.24/7.12 objective:-761623 10.14/8.07 o 761835 10.14/8.07 objective:-761835 10.14/8.07 o 762726 10.14/8.07 objective:-762726 10.14/8.07 o 765517 10.14/8.07 objective:-765517 10.14/8.07 o 766436 10.14/8.07 objective:-766436 10.14/8.07 o 769227 10.14/8.07 objective:-769227 10.14/8.07 o 770460 10.14/8.07 objective:-770460 10.14/8.07 o 771379 10.14/8.07 objective:-771379 10.14/8.07 o 774170 10.14/8.07 objective:-774170 10.14/8.07 o 774941 10.14/8.07 objective:-774941 10.14/8.09 o 775544 10.14/8.09 objective:-775544 10.14/8.09 o 776002 10.14/8.09 objective:-776002 10.14/8.09 o 776808 10.14/8.09 objective:-776808 10.14/8.09 o 779712 10.14/8.09 objective:-779712 10.14/8.09 o 780945 10.14/8.09 objective:-780945 10.14/8.09 o 781751 10.14/8.09 objective:-781751 10.14/8.09 o 784655 10.14/8.09 objective:-784655 10.14/8.09 o 785258 10.14/8.09 objective:-785258 10.14/8.09 o 787446 10.14/8.09 objective:-787446 10.14/8.10 o 788049 10.14/8.10 objective:-788049 10.14/8.10 o 788217 10.14/8.10 objective:-788217 10.14/8.10 o 788820 10.14/8.10 objective:-788820 11.04/8.98 o 789274 11.04/8.98 objective:-789274 11.04/8.98 o 789580 11.04/8.98 objective:-789580 11.04/8.98 o 791149 11.04/8.98 objective:-791149 11.04/8.98 o 791579 11.04/8.98 objective:-791579 11.04/8.98 o 794772 11.04/8.98 objective:-794772 11.04/8.98 o 798971 11.04/8.98 objective:-798971 11.04/8.98 o 799277 11.04/8.98 objective:-799277 11.04/8.99 o 799434 11.04/8.99 objective:-799434 11.04/8.99 o 799740 11.04/8.99 objective:-799740 11.04/8.99 o 800718 11.04/8.99 objective:-800718 11.04/8.99 o 801024 11.04/8.99 objective:-801024 11.04/8.99 o 805311 11.04/8.99 objective:-805311 11.04/8.99 o 806595 11.04/8.99 objective:-806595 11.04/8.99 o 806901 11.04/8.99 objective:-806901 11.04/8.99 o 808118 11.04/8.99 objective:-808118 11.04/9.00 o 809333 11.04/9.00 objective:-809333 11.04/9.00 o 813995 11.04/9.00 objective:-813995 11.04/9.00 o 815510 11.04/9.00 objective:-815510 11.04/9.00 o 816725 11.04/9.00 objective:-816725 11.04/9.00 o 821387 11.04/9.00 objective:-821387 11.04/9.00 o 821693 11.04/9.00 objective:-821693 11.04/9.00 o 822208 11.04/9.00 objective:-822208 11.04/9.00 o 822514 11.04/9.00 objective:-822514 11.04/9.00 o 822671 11.04/9.00 objective:-822671 11.04/9.00 o 822977 11.04/9.00 objective:-822977 11.04/9.00 o 825780 11.04/9.00 objective:-825780 11.04/9.00 o 827064 11.04/9.00 objective:-827064 11.15/9.01 o 827527 11.15/9.01 objective:-827527 11.15/9.01 o 827833 11.15/9.01 objective:-827833 11.15/9.01 o 830007 11.15/9.01 objective:-830007 11.15/9.01 o 830470 11.15/9.01 objective:-830470 11.15/9.01 o 830776 11.15/9.01 objective:-830776 11.15/9.01 o 831291 11.15/9.01 objective:-831291 11.15/9.01 o 831754 11.15/9.01 objective:-831754 11.15/9.01 o 832060 11.15/9.01 objective:-832060 11.15/9.02 o 832735 11.15/9.02 objective:-832735 11.15/9.02 o 833041 11.15/9.02 objective:-833041 11.15/9.02 o 833198 11.15/9.02 objective:-833198 11.15/9.02 o 833504 11.15/9.02 objective:-833504 11.15/9.02 o 833800 11.15/9.02 objective:-833800 11.15/9.03 o 834088 11.15/9.03 objective:-834088 11.15/9.03 o 835532 11.15/9.03 objective:-835532 11.15/9.03 o 836134 11.15/9.03 objective:-836134 11.15/9.03 o 838287 11.15/9.03 objective:-838287 11.15/9.03 o 839731 11.15/9.03 objective:-839731 11.15/9.03 o 840333 11.15/9.03 objective:-840333 11.15/9.03 o 841015 11.15/9.03 objective:-841015 11.15/9.03 o 841617 11.15/9.03 objective:-841617 11.15/9.03 o 842080 11.15/9.03 objective:-842080 12.04/9.90 o 843671 12.04/9.90 objective:-843671 12.04/9.90 o 843794 12.04/9.90 objective:-843794 12.04/9.90 o 846316 12.04/9.90 objective:-846316 12.04/9.90 o 848269 12.04/9.90 objective:-848269 12.04/9.90 o 850791 12.04/9.90 objective:-850791 12.04/9.90 o 851834 12.04/9.90 objective:-851834 12.04/9.90 o 854479 12.04/9.90 objective:-854479 12.04/9.90 o 857001 12.04/9.90 objective:-857001 12.04/9.90 o 862172 12.04/9.90 objective:-862172 12.04/9.90 o 863039 12.04/9.90 objective:-863039 12.04/9.90 o 864694 12.04/9.90 objective:-864694 12.04/9.90 o 865561 12.04/9.90 objective:-865561 12.04/9.91 o 866647 12.04/9.91 objective:-866647 12.04/9.91 o 869169 12.04/9.91 objective:-869169 12.04/9.91 o 870036 12.04/9.91 objective:-870036 12.04/9.91 o 871814 12.04/9.91 objective:-871814 12.04/9.91 o 872681 12.04/9.91 objective:-872681 12.04/9.91 o 874112 12.04/9.91 objective:-874112 12.04/9.91 o 874235 12.04/9.91 objective:-874235 12.04/9.91 o 876757 12.04/9.91 objective:-876757 12.04/9.91 o 877624 12.04/9.91 objective:-877624 12.04/9.91 o 878968 12.04/9.91 objective:-878968 12.04/9.91 o 879091 12.04/9.91 objective:-879091 12.04/9.91 o 881613 12.04/9.91 objective:-881613 12.04/9.91 o 882480 12.04/9.91 objective:-882480 12.04/9.91 o 883205 12.04/9.91 objective:-883205 12.04/9.92 o 885158 12.04/9.92 objective:-885158 12.04/9.92 o 887680 12.04/9.92 objective:-887680 12.04/9.92 o 887803 12.04/9.92 objective:-887803 12.04/9.92 o 890325 12.04/9.92 objective:-890325 12.04/9.92 o 891192 12.04/9.92 objective:-891192 12.04/9.92 o 891368 12.04/9.92 objective:-891368 12.04/9.92 o 893890 12.04/9.92 objective:-893890 12.04/9.92 o 894013 12.04/9.92 objective:-894013 12.04/9.92 o 896535 12.04/9.92 objective:-896535 12.04/9.92 o 897402 12.04/9.92 objective:-897402 12.04/9.92 o 898197 12.04/9.92 objective:-898197 12.04/9.92 o 898373 12.04/9.92 objective:-898373 12.04/9.92 o 900895 12.04/9.92 objective:-900895 12.04/9.92 o 901018 12.04/9.92 objective:-901018 12.04/9.92 o 903540 12.04/9.92 objective:-903540 12.04/9.93 o 904407 12.04/9.93 objective:-904407 12.04/9.93 o 904741 12.04/9.93 objective:-904741 12.04/9.93 o 905237 12.04/9.93 objective:-905237 12.04/9.93 o 905571 12.04/9.93 objective:-905571 12.04/9.93 o 906104 12.04/9.93 objective:-906104 12.04/9.93 o 906438 12.04/9.93 objective:-906438 12.04/9.93 o 906483 12.04/9.93 objective:-906483 12.04/9.93 o 907350 12.04/9.93 objective:-907350 12.04/9.94 o 907473 12.04/9.94 objective:-907473 12.04/9.94 o 909128 12.04/9.94 objective:-909128 12.04/9.94 o 909995 12.04/9.94 objective:-909995 12.04/9.94 o 910329 12.04/9.94 objective:-910329 12.04/9.94 o 910912 12.04/9.94 objective:-910912 12.04/9.94 o 911035 12.04/9.94 objective:-911035 12.04/9.94 o 911860 12.04/9.94 objective:-911860 12.04/9.95 o 913557 12.04/9.95 objective:-913557 12.04/9.95 o 913891 12.04/9.95 objective:-913891 12.04/9.95 o 914424 12.04/9.95 objective:-914424 12.04/9.95 o 914758 12.04/9.95 objective:-914758 12.04/9.95 o 914776 12.04/9.95 objective:-914776 12.04/9.95 o 915110 12.04/9.95 objective:-915110 12.04/9.96 o 915515 12.04/9.96 objective:-915515 12.04/9.96 o 915867 12.04/9.96 objective:-915867 12.04/9.96 o 916340 12.04/9.96 objective:-916340 12.04/9.96 o 918037 12.04/9.96 objective:-918037 12.04/9.96 o 918389 12.04/9.96 objective:-918389 12.04/9.96 o 918522 12.04/9.96 objective:-918522 12.04/9.97 o 918645 12.04/9.97 objective:-918645 12.04/9.97 o 920815 12.04/9.97 objective:-920815 12.04/9.97 o 921167 12.04/9.97 objective:-921167 12.04/9.97 o 922512 12.04/9.97 objective:-922512 12.04/9.97 o 922864 12.04/9.97 objective:-922864 12.04/9.97 o 923379 12.04/9.97 objective:-923379 12.04/9.97 o 923731 12.04/9.97 objective:-923731 12.04/9.97 o 924065 12.04/9.97 objective:-924065 12.04/9.97 o 924871 12.04/9.97 objective:-924871 12.04/9.97 o 925205 12.04/9.97 objective:-925205 12.04/9.97 o 925701 12.04/9.97 objective:-925701 12.04/9.98 o 926568 12.04/9.98 objective:-926568 12.04/9.98 o 926902 12.04/9.98 objective:-926902 12.04/9.98 o 926920 12.04/9.98 objective:-926920 12.04/9.98 o 927254 12.04/9.98 objective:-927254 12.84/10.76 o 927457 12.84/10.76 objective:-927457 12.84/10.76 o 927541 12.84/10.76 objective:-927541 12.84/10.78 o 927915 12.84/10.78 objective:-927915 12.84/10.78 o 928389 12.84/10.78 objective:-928389 12.84/10.78 o 928473 12.84/10.78 objective:-928473 12.84/10.78 o 929300 12.84/10.78 objective:-929300 12.84/10.78 o 930232 12.84/10.78 objective:-930232 12.84/10.78 o 930316 12.84/10.78 objective:-930316 12.84/10.78 o 931465 12.84/10.78 objective:-931465 12.84/10.78 o 932397 12.84/10.78 objective:-932397 12.84/10.78 o 932481 12.84/10.78 objective:-932481 12.84/10.79 o 932871 12.84/10.79 objective:-932871 12.84/10.79 o 932955 12.84/10.79 objective:-932955 13.66/11.57 o 934433 13.66/11.57 objective:-934433 13.66/11.57 o 935334 13.66/11.57 objective:-935334 13.66/11.58 o 937091 13.66/11.58 objective:-937091 13.66/11.58 o 939681 13.66/11.58 objective:-939681 13.66/11.58 o 942339 13.66/11.58 objective:-942339 13.66/11.58 o 944096 13.66/11.58 objective:-944096 13.66/11.58 o 944698 13.66/11.58 objective:-944698 13.66/11.59 o 944942 13.66/11.59 objective:-944942 13.66/11.59 o 945544 13.66/11.59 objective:-945544 13.66/11.59 o 946699 13.66/11.59 objective:-946699 13.66/11.59 o 947301 13.66/11.59 objective:-947301 13.76/11.60 o 949080 13.76/11.60 objective:-949080 13.76/11.60 o 951683 13.76/11.60 objective:-951683 13.76/11.60 o 953440 13.76/11.60 objective:-953440 13.76/11.61 o 954042 13.76/11.61 objective:-954042 13.76/11.62 o 955362 13.76/11.62 objective:-955362 13.76/11.62 o 955964 13.76/11.62 objective:-955964 14.56/12.42 o 957379 14.56/12.42 objective:-957379 14.56/12.42 o 958151 14.56/12.42 objective:-958151 15.36/13.24 o 960433 15.36/13.24 objective:-960433 16.17/14.07 o 961625 16.17/14.07 objective:-961625 16.17/14.07 o 962122 16.17/14.07 objective:-962122 16.17/14.08 o 962344 16.17/14.08 objective:-962344 16.17/14.08 o 962662 16.17/14.08 objective:-962662 16.17/14.08 o 966054 16.17/14.08 objective:-966054 16.17/14.10 o 966551 16.17/14.10 objective:-966551 17.06/14.91 o 967388 17.06/14.91 objective:-967388 17.06/14.91 o 969764 17.06/14.91 objective:-969764 17.06/14.91 o 971196 17.06/14.91 objective:-971196 17.06/14.92 o 972204 17.06/14.92 objective:-972204 17.06/14.93 o 973148 17.06/14.93 objective:-973148 17.06/14.93 o 974580 17.06/14.93 objective:-974580 17.06/14.93 o 976045 17.06/14.93 objective:-976045 17.06/14.93 o 977309 17.06/14.93 objective:-977309 17.06/14.93 o 982008 17.06/14.93 objective:-982008 17.06/14.93 o 986268 17.06/14.93 objective:-986268 17.06/14.93 o 990967 17.06/14.93 objective:-990967 17.06/14.94 o 993343 17.06/14.94 objective:-993343 17.06/14.94 o 994775 17.06/14.94 objective:-994775 18.76/16.60 o 995660 18.76/16.60 objective:-995660 18.76/16.60 o 995834 18.76/16.60 objective:-995834 18.76/16.60 o 997242 18.76/16.60 objective:-997242 18.76/16.60 o 998528 18.76/16.60 objective:-998528 18.76/16.61 o 998668 18.76/16.61 objective:-998668 18.76/16.61 o 999954 18.76/16.61 objective:-999954 18.76/16.61 o 1001397 18.76/16.61 objective:-1001397 18.76/16.61 o 1002805 18.76/16.61 objective:-1002805 18.76/16.61 o 1004091 18.76/16.61 objective:-1004091 18.76/16.61 o 1004265 18.76/16.61 objective:-1004265 18.76/16.61 o 1005673 18.76/16.61 objective:-1005673 18.76/16.61 o 1006959 18.76/16.61 objective:-1006959 18.76/16.61 o 1008156 18.76/16.61 objective:-1008156 18.76/16.61 o 1009442 18.76/16.61 objective:-1009442 18.76/16.61 o 1009564 18.76/16.61 objective:-1009564 18.76/16.61 o 1010850 18.76/16.61 objective:-1010850 18.76/16.62 o 1012499 18.76/16.62 objective:-1012499 18.76/16.62 o 1013907 18.76/16.62 objective:-1013907 18.76/16.63 o 1015193 18.76/16.63 objective:-1015193 18.76/16.63 o 1016724 18.76/16.63 objective:-1016724 18.76/16.64 o 1017176 18.76/16.64 objective:-1017176 18.76/16.64 o 1018199 18.76/16.64 objective:-1018199 18.76/16.64 o 1018880 18.76/16.64 objective:-1018880 18.76/16.64 o 1021067 18.76/16.64 objective:-1021067 18.76/16.64 o 1022475 18.76/16.64 objective:-1022475 18.76/16.64 o 1023761 18.76/16.64 objective:-1023761 18.76/16.66 o 1024693 18.76/16.66 objective:-1024693 19.56/17.44 o 1024872 19.56/17.44 objective:-1024872 19.56/17.44 o 1025115 19.56/17.44 objective:-1025115 19.56/17.44 o 1025312 19.56/17.44 objective:-1025312 19.56/17.45 o 1025555 19.56/17.45 objective:-1025555 20.27/18.19 o 1029714 20.27/18.19 objective:-1029714 20.36/18.20 o 1030721 20.36/18.20 objective:-1030721 20.36/18.20 o 1037926 20.36/18.20 objective:-1037926 20.36/18.20 o 1039002 20.36/18.20 objective:-1039002 20.36/18.21 o 1039604 20.36/18.21 objective:-1039604 20.36/18.21 o 1040011 20.36/18.21 objective:-1040011 20.36/18.21 o 1041087 20.36/18.21 objective:-1041087 20.36/18.21 o 1041689 20.36/18.21 objective:-1041689 20.36/18.21 o 1047216 20.36/18.21 objective:-1047216 20.36/18.21 o 1048292 20.36/18.21 objective:-1048292 20.36/18.21 o 1048894 20.36/18.21 objective:-1048894 20.36/18.22 o 1051941 20.36/18.22 objective:-1051941 20.36/18.22 o 1053017 20.36/18.22 objective:-1053017 20.36/18.22 o 1053619 20.36/18.22 objective:-1053619 20.36/18.23 o 1053829 20.36/18.23 objective:-1053829 20.36/18.23 o 1054303 20.36/18.23 objective:-1054303 20.36/18.23 o 1054905 20.36/18.23 objective:-1054905 21.97/19.82 o 1054927 21.97/19.82 objective:-1054927 23.57/21.43 o 1055176 23.57/21.43 objective:-1055176 23.57/21.43 o 1055311 23.57/21.43 objective:-1055311 23.57/21.43 o 1055652 23.57/21.43 objective:-1055652 23.57/21.43 o 1055812 23.57/21.43 objective:-1055812 23.57/21.43 o 1056584 23.57/21.43 objective:-1056584 23.57/21.43 o 1056719 23.57/21.43 objective:-1056719 25.97/23.80 o 1057128 25.97/23.80 objective:-1057128 25.97/23.80 o 1057938 25.97/23.80 objective:-1057938 25.97/23.81 o 1058075 25.97/23.81 objective:-1058075 25.97/23.81 o 1059330 25.97/23.81 objective:-1059330 25.97/23.81 o 1060262 25.97/23.81 objective:-1060262 25.97/23.82 o 1061072 25.97/23.82 objective:-1061072 25.97/23.83 o 1062047 25.97/23.83 objective:-1062047 25.97/23.83 o 1062857 25.97/23.83 objective:-1062857 33.37/31.16 o 1063060 33.37/31.16 objective:-1063060 33.37/31.17 o 1063082 33.37/31.17 objective:-1063082 33.37/31.17 o 1064158 33.37/31.17 objective:-1064158 33.37/31.17 o 1064655 33.37/31.17 objective:-1064655 33.37/31.18 o 1065875 33.37/31.18 objective:-1065875 33.37/31.18 o 1066951 33.37/31.18 objective:-1066951 33.37/31.18 o 1066973 33.37/31.18 objective:-1066973 33.37/31.18 o 1068049 33.37/31.18 objective:-1068049 33.37/31.18 o 1068546 33.37/31.18 objective:-1068546 34.96/32.74 o 1068950 34.96/32.74 objective:-1068950 34.96/32.74 o 1069302 34.96/32.74 objective:-1069302 34.96/32.75 o 1069760 34.96/32.75 objective:-1069760 34.96/32.75 o 1070112 34.96/32.75 objective:-1070112 34.96/32.75 o 1070836 34.96/32.75 objective:-1070836 34.96/32.75 o 1071188 34.96/32.75 objective:-1071188 37.37/35.11 o 1072058 37.37/35.11 objective:-1072058 37.37/35.11 o 1072082 37.37/35.11 objective:-1072082 37.37/35.11 o 1072125 37.37/35.11 objective:-1072125 37.37/35.11 o 1073490 37.37/35.11 objective:-1073490 42.06/39.87 o 1074117 42.06/39.87 objective:-1074117 42.06/39.87 o 1075692 42.06/39.87 objective:-1075692 42.06/39.87 o 1076373 42.06/39.87 objective:-1076373 42.06/39.87 o 1076978 42.06/39.87 objective:-1076978 42.06/39.87 o 1077659 42.06/39.87 objective:-1077659 42.06/39.87 o 1077671 42.06/39.87 objective:-1077671 42.06/39.87 o 1078352 42.06/39.87 objective:-1078352 42.06/39.88 o 1079355 42.06/39.88 objective:-1079355 42.06/39.88 o 1080036 42.06/39.88 objective:-1080036 42.06/39.88 o 1080641 42.06/39.88 objective:-1080641 42.06/39.88 o 1081322 42.06/39.88 objective:-1081322 42.06/39.88 o 1082065 42.06/39.88 objective:-1082065 42.06/39.88 o 1084442 42.06/39.88 objective:-1084442 42.06/39.88 o 1085728 42.06/39.88 objective:-1085728 42.06/39.88 o 1087412 42.06/39.88 objective:-1087412 42.06/39.88 o 1088698 42.06/39.88 objective:-1088698 42.06/39.88 o 1089379 42.06/39.88 objective:-1089379 42.06/39.89 o 1089702 42.06/39.89 objective:-1089702 42.06/39.89 o 1090383 42.06/39.89 objective:-1090383 42.06/39.89 o 1090988 42.06/39.89 objective:-1090988 42.06/39.89 o 1091669 42.06/39.89 objective:-1091669 42.06/39.89 o 1092396 42.06/39.89 objective:-1092396 42.06/39.89 o 1093077 42.06/39.89 objective:-1093077 42.06/39.89 o 1094558 42.06/39.89 objective:-1094558 42.06/39.89 o 1095966 42.06/39.89 objective:-1095966 42.06/39.89 o 1097252 42.06/39.89 objective:-1097252 42.16/39.90 o 1098301 42.16/39.90 objective:-1098301 42.16/39.90 o 1099709 42.16/39.90 objective:-1099709 42.16/39.90 o 1100995 42.16/39.90 objective:-1100995 42.16/39.90 o 1102741 42.16/39.90 objective:-1102741 42.16/39.90 o 1104027 42.16/39.90 objective:-1104027 42.16/39.90 o 1104149 42.16/39.90 objective:-1104149 42.16/39.90 o 1105435 42.16/39.90 objective:-1105435 43.76/41.51 o 1106047 43.76/41.51 objective:-1106047 43.76/41.51 o 1106182 43.76/41.51 objective:-1106182 43.76/41.51 o 1107009 43.76/41.51 objective:-1107009 43.76/41.51 o 1110274 43.76/41.51 objective:-1110274 43.76/41.51 o 1110409 43.76/41.51 objective:-1110409 43.76/41.52 o 1111086 43.76/41.52 objective:-1111086 43.76/41.52 o 1111221 43.76/41.52 objective:-1111221 43.76/41.52 o 1112164 43.76/41.52 objective:-1112164 43.76/41.52 o 1115429 43.76/41.52 objective:-1115429 43.76/41.53 o 1115564 43.76/41.53 objective:-1115564 44.56/42.31 o 1115598 44.56/42.31 objective:-1115598 44.56/42.31 o 1115682 44.56/42.31 objective:-1115682 44.56/42.31 o 1116567 44.56/42.31 objective:-1116567 44.56/42.31 o 1117520 44.56/42.31 objective:-1117520 44.56/42.31 o 1117604 44.56/42.31 objective:-1117604 44.56/42.31 o 1117932 44.56/42.31 objective:-1117932 44.56/42.31 o 1118885 44.56/42.31 objective:-1118885 44.56/42.31 o 1118969 44.56/42.31 objective:-1118969 44.56/42.32 o 1119657 44.56/42.32 objective:-1119657 44.56/42.32 o 1119741 44.56/42.32 objective:-1119741 44.56/42.32 o 1121423 44.56/42.32 objective:-1121423 44.56/42.32 o 1121507 44.56/42.32 objective:-1121507 44.56/42.32 o 1122788 44.56/42.32 objective:-1122788 44.56/42.32 o 1122872 44.56/42.32 objective:-1122872 44.56/42.32 o 1123560 44.56/42.32 objective:-1123560 44.56/42.32 o 1123644 44.56/42.32 objective:-1123644 44.56/42.32 o 1123741 44.56/42.32 objective:-1123741 44.56/42.32 o 1123825 44.56/42.32 objective:-1123825 44.56/42.32 o 1124513 44.56/42.32 objective:-1124513 44.56/42.32 o 1124597 44.56/42.32 objective:-1124597 44.56/42.33 o 1125664 44.56/42.33 objective:-1125664 44.56/42.33 o 1125748 44.56/42.33 objective:-1125748 44.56/42.33 o 1127029 44.56/42.33 objective:-1127029 44.56/42.33 o 1127113 44.56/42.33 objective:-1127113 44.56/42.33 o 1127801 44.56/42.33 objective:-1127801 44.56/42.33 o 1127885 44.56/42.33 objective:-1127885 44.56/42.33 o 1128241 44.56/42.33 objective:-1128241 44.56/42.33 o 1128325 44.56/42.33 objective:-1128325 44.56/42.33 o 1128754 44.56/42.33 objective:-1128754 44.56/42.33 o 1128838 44.56/42.33 objective:-1128838 44.56/42.34 o 1128908 44.56/42.34 objective:-1128908 44.56/42.34 o 1129596 44.56/42.34 objective:-1129596 44.56/42.34 o 1129680 44.56/42.34 objective:-1129680 44.56/42.34 o 1130036 44.56/42.34 objective:-1130036 44.56/42.34 o 1130120 44.56/42.34 objective:-1130120 44.56/42.34 o 1130549 44.56/42.34 objective:-1130549 44.56/42.34 o 1130633 44.56/42.34 objective:-1130633 44.56/42.34 o 1132465 44.56/42.34 objective:-1132465 44.56/42.34 o 1132549 44.56/42.34 objective:-1132549 44.56/42.34 o 1133830 44.56/42.34 objective:-1133830 44.56/42.34 o 1133914 44.56/42.34 objective:-1133914 44.56/42.34 o 1134602 44.56/42.34 objective:-1134602 44.56/42.34 o 1134686 44.56/42.34 objective:-1134686 44.56/42.34 o 1135042 44.56/42.34 objective:-1135042 44.56/42.35 o 1135126 44.56/42.35 objective:-1135126 44.56/42.35 o 1135555 44.56/42.35 objective:-1135555 44.56/42.35 o 1135639 44.56/42.35 objective:-1135639 46.18/43.90 o 1135697 46.18/43.90 objective:-1135697 46.18/43.90 o 1136629 46.18/43.90 objective:-1136629 46.18/43.91 o 1137950 46.18/43.91 objective:-1137950 46.18/43.91 o 1140553 46.18/43.91 objective:-1140553 46.18/43.91 o 1141485 46.18/43.91 objective:-1141485 47.69/45.42 o 1142158 47.69/45.42 objective:-1142158 47.69/45.42 o 1142489 47.69/45.42 objective:-1142489 47.69/45.42 o 1143566 47.69/45.42 objective:-1143566 47.69/45.42 o 1143651 47.69/45.42 objective:-1143651 48.49/46.20 o 1143880 48.49/46.20 objective:-1143880 48.49/46.20 o 1144015 48.49/46.20 objective:-1144015 48.49/46.20 o 1146483 48.49/46.20 objective:-1146483 48.49/46.20 o 1146618 48.49/46.20 objective:-1146618 48.49/46.20 o 1147415 48.49/46.20 objective:-1147415 48.49/46.20 o 1147550 48.49/46.20 objective:-1147550 51.50/49.22 o 1147664 51.50/49.22 objective:-1147664 51.50/49.22 o 1149446 51.50/49.22 objective:-1149446 51.50/49.22 o 1150544 51.50/49.22 objective:-1150544 51.50/49.22 o 1150679 51.50/49.22 objective:-1150679 51.50/49.22 o 1150893 51.50/49.22 objective:-1150893 51.50/49.22 o 1151028 51.50/49.22 objective:-1151028 51.50/49.22 o 1151577 51.50/49.22 objective:-1151577 51.50/49.22 o 1152675 51.50/49.22 objective:-1152675 51.50/49.22 o 1152810 51.50/49.22 objective:-1152810 56.91/54.62 o 1153171 56.91/54.62 objective:-1153171 56.91/54.62 o 1154579 56.91/54.62 objective:-1154579 56.91/54.62 o 1155511 56.91/54.62 objective:-1155511 56.91/54.62 o 1156011 56.91/54.62 objective:-1156011 56.91/54.62 o 1156943 56.91/54.62 objective:-1156943 56.91/54.62 o 1157182 56.91/54.62 objective:-1157182 56.91/54.62 o 1158114 56.91/54.62 objective:-1158114 56.91/54.62 o 1158614 56.91/54.62 objective:-1158614 56.91/54.62 o 1159546 56.91/54.62 objective:-1159546 56.91/54.63 o 1160904 56.91/54.63 objective:-1160904 62.21/59.98 o 1160912 62.21/59.98 objective:-1160912 63.01/60.73 o 1161405 63.01/60.73 objective:-1161405 63.01/60.73 o 1162177 63.01/60.73 objective:-1162177 63.01/60.73 o 1162393 63.01/60.73 objective:-1162393 63.01/60.74 o 1163060 63.01/60.74 objective:-1163060 63.01/60.74 o 1163832 63.01/60.74 objective:-1163832 63.01/60.74 o 1164150 63.01/60.74 objective:-1164150 63.01/60.74 o 1164817 63.01/60.74 objective:-1164817 63.01/60.74 o 1165589 63.01/60.74 objective:-1165589 63.01/60.74 o 1166284 63.01/60.74 objective:-1166284 63.01/60.74 o 1166951 63.01/60.74 objective:-1166951 63.01/60.74 o 1167723 63.01/60.74 objective:-1167723 63.01/60.74 o 1168041 63.01/60.74 objective:-1168041 63.01/60.74 o 1168708 63.01/60.74 objective:-1168708 63.01/60.74 o 1169480 63.01/60.74 objective:-1169480 65.32/63.02 o 1169957 65.32/63.02 objective:-1169957 65.32/63.02 o 1170454 65.32/63.02 objective:-1170454 65.32/63.03 o 1170593 65.32/63.03 objective:-1170593 65.32/63.03 o 1171365 65.32/63.03 objective:-1171365 65.32/63.03 o 1171862 65.32/63.03 objective:-1171862 65.32/63.03 o 1172022 65.32/63.03 objective:-1172022 65.32/63.03 o 1172297 65.32/63.03 objective:-1172297 65.32/63.03 o 1172794 65.32/63.03 objective:-1172794 65.32/63.03 o 1173442 65.32/63.03 objective:-1173442 65.32/63.03 o 1174374 65.32/63.03 objective:-1174374 65.32/63.03 o 1175146 65.32/63.03 objective:-1175146 65.32/63.03 o 1175643 65.32/63.03 objective:-1175643 67.51/65.22 o 1176661 67.51/65.22 objective:-1176661 67.51/65.22 o 1178857 67.51/65.22 objective:-1178857 67.51/65.22 o 1181460 67.51/65.22 objective:-1181460 67.51/65.22 o 1182537 67.51/65.22 objective:-1182537 67.51/65.22 o 1182746 67.51/65.22 objective:-1182746 67.51/65.22 o 1183823 67.51/65.22 objective:-1183823 67.51/65.23 o 1183902 67.51/65.23 objective:-1183902 67.51/65.23 o 1184111 67.51/65.23 objective:-1184111 67.51/65.23 o 1185188 67.51/65.23 objective:-1185188 67.51/65.23 o 1186029 67.51/65.23 objective:-1186029 67.51/65.23 o 1187106 67.51/65.23 objective:-1187106 67.51/65.23 o 1187315 67.51/65.23 objective:-1187315 67.51/65.23 o 1188392 67.51/65.23 objective:-1188392 67.51/65.23 o 1188471 67.51/65.23 objective:-1188471 67.51/65.23 o 1188680 67.51/65.23 objective:-1188680 67.51/65.23 o 1189757 67.51/65.23 objective:-1189757 68.22/65.95 o 1191214 68.22/65.95 objective:-1191214 68.22/65.95 o 1192312 68.22/65.95 objective:-1192312 68.22/65.96 o 1192818 68.22/65.96 objective:-1192818 68.22/65.96 o 1193314 68.22/65.96 objective:-1193314 68.22/65.96 o 1193916 68.22/65.96 objective:-1193916 68.22/65.96 o 1195879 68.22/65.96 objective:-1195879 68.22/65.96 o 1196481 68.22/65.96 objective:-1196481 68.22/65.96 o 1196977 68.22/65.96 objective:-1196977 68.22/65.96 o 1197579 68.22/65.96 objective:-1197579 69.62/67.39 o 1197714 69.62/67.39 objective:-1197714 86.34/84.08 o 1198272 86.34/84.08 objective:-1198272 86.34/84.08 o 1198356 86.34/84.08 objective:-1198356 86.34/84.08 o 1198627 86.34/84.08 objective:-1198627 86.34/84.08 o 1198711 86.34/84.08 objective:-1198711 86.34/84.09 o 1199704 86.34/84.09 objective:-1199704 86.34/84.09 o 1199788 86.34/84.09 objective:-1199788 86.34/84.09 o 1200476 86.34/84.09 objective:-1200476 86.34/84.09 o 1200560 86.34/84.09 objective:-1200560 87.83/85.52 o 1201540 87.83/85.52 objective:-1201540 87.83/85.52 o 1202544 87.83/85.52 objective:-1202544 87.83/85.52 o 1203830 87.83/85.52 objective:-1203830 87.83/85.52 o 1203952 87.83/85.52 objective:-1203952 87.83/85.52 o 1205238 87.83/85.52 objective:-1205238 87.83/85.53 o 1205745 87.83/85.53 objective:-1205745 87.83/85.53 o 1206443 87.83/85.53 objective:-1206443 87.83/85.53 o 1207729 87.83/85.53 objective:-1207729 87.83/85.53 o 1207851 87.83/85.53 objective:-1207851 87.83/85.53 o 1209137 87.83/85.53 objective:-1209137 92.85/90.59 o 1209997 92.85/90.59 objective:-1209997 97.38/95.02 o 1210123 97.38/95.02 objective:-1210123 97.38/95.02 o 1210207 97.38/95.02 objective:-1210207 97.38/95.02 o 1211221 97.38/95.02 objective:-1211221 97.38/95.02 o 1211305 97.38/95.02 objective:-1211305 97.38/95.02 o 1212174 97.38/95.02 objective:-1212174 97.38/95.02 o 1212258 97.38/95.02 objective:-1212258 98.77/96.47 o 1212787 98.77/96.47 objective:-1212787 98.77/96.47 o 1212871 98.77/96.47 objective:-1212871 98.77/96.47 o 1213139 98.77/96.47 objective:-1213139 98.77/96.47 o 1213223 98.77/96.47 objective:-1213223 99.58/97.21 o 1213613 99.58/97.21 objective:-1213613 99.58/97.21 o 1213697 99.58/97.21 objective:-1213697 99.58/97.21 o 1213765 99.58/97.21 objective:-1213765 99.58/97.21 o 1214537 99.58/97.21 objective:-1214537 99.58/97.21 o 1215034 99.58/97.21 objective:-1215034 99.58/97.21 o 1215037 99.58/97.21 objective:-1215037 99.58/97.21 o 1215197 99.58/97.21 objective:-1215197 99.58/97.21 o 1215969 99.58/97.21 objective:-1215969 99.58/97.22 o 1216466 99.58/97.22 objective:-1216466 99.58/97.22 o 1216550 99.58/97.22 objective:-1216550 103.09/100.80 o 1216582 103.09/100.80 objective:-1216582 103.09/100.80 o 1219768 103.09/100.80 objective:-1219768 103.19/100.80 o 1220004 103.19/100.80 objective:-1220004 103.19/100.80 o 1220481 103.19/100.80 objective:-1220481 103.19/100.80 o 1223667 103.19/100.80 objective:-1223667 105.29/102.92 o 1223738 105.29/102.92 objective:-1223738 105.99/103.62 o 1224338 105.99/103.62 objective:-1224338 106.69/104.36 o 1224626 106.69/104.36 objective:-1224626 106.69/104.36 o 1224761 106.69/104.36 objective:-1224761 106.69/104.36 o 1224845 106.69/104.36 objective:-1224845 106.69/104.36 o 1224901 106.69/104.36 objective:-1224901 106.69/104.36 o 1225036 106.69/104.36 objective:-1225036 106.69/104.36 o 1225398 106.69/104.36 objective:-1225398 106.69/104.36 o 1225533 106.69/104.36 objective:-1225533 106.69/104.36 o 1225617 106.69/104.36 objective:-1225617 106.69/104.37 o 1225664 106.69/104.37 objective:-1225664 106.69/104.37 o 1225799 106.69/104.37 objective:-1225799 106.69/104.38 o 1226161 106.69/104.38 objective:-1226161 106.69/104.38 o 1226296 106.69/104.38 objective:-1226296 106.69/104.38 o 1226380 106.69/104.38 objective:-1226380 106.69/104.38 o 1226397 106.69/104.38 objective:-1226397 106.69/104.38 o 1226532 106.69/104.38 objective:-1226532 106.69/104.38 o 1226616 106.69/104.38 objective:-1226616 106.69/104.38 o 1226739 106.69/104.38 objective:-1226739 108.19/105.80 o 1226823 108.19/105.80 objective:-1226823 108.79/106.47 o 1228445 108.79/106.47 objective:-1228445 108.79/106.47 o 1228731 108.79/106.47 objective:-1228731 108.79/106.47 o 1231786 108.79/106.47 objective:-1231786 108.79/106.47 o 1235450 108.79/106.47 objective:-1235450 108.79/106.47 o 1236527 108.79/106.47 objective:-1236527 108.79/106.47 o 1237459 108.79/106.47 objective:-1237459 108.79/106.48 o 1237813 108.79/106.48 objective:-1237813 108.79/106.48 o 1238745 108.79/106.48 objective:-1238745 108.79/106.48 o 1239097 108.79/106.48 objective:-1239097 108.79/106.48 o 1239181 108.79/106.48 objective:-1239181 108.79/106.48 o 1239340 108.79/106.48 objective:-1239340 108.79/106.48 o 1239424 108.79/106.48 objective:-1239424 108.79/106.48 o 1240418 108.79/106.48 objective:-1240418 108.79/106.48 o 1240627 108.79/106.48 objective:-1240627 108.79/106.48 o 1241704 108.79/106.48 objective:-1241704 108.79/106.48 o 1242056 108.79/106.48 objective:-1242056 108.79/106.48 o 1242140 108.79/106.48 objective:-1242140 108.79/106.48 o 1242299 108.79/106.48 objective:-1242299 108.79/106.49 o 1242383 108.79/106.49 objective:-1242383 108.79/106.49 o 1242636 108.79/106.49 objective:-1242636 108.79/106.49 o 1242988 108.79/106.49 objective:-1242988 108.79/106.49 o 1243072 108.79/106.49 objective:-1243072 108.79/106.49 o 1243231 108.79/106.49 objective:-1243231 108.79/106.49 o 1243315 108.79/106.49 objective:-1243315 108.79/106.49 o 1243568 108.79/106.49 objective:-1243568 108.79/106.49 o 1244645 108.79/106.49 objective:-1244645 108.79/106.49 o 1244854 108.79/106.49 objective:-1244854 108.79/106.49 o 1245931 108.79/106.49 objective:-1245931 108.79/106.49 o 1246283 108.79/106.49 objective:-1246283 108.79/106.49 o 1246367 108.79/106.49 objective:-1246367 108.79/106.50 o 1246526 108.79/106.50 objective:-1246526 108.79/106.50 o 1246610 108.79/106.50 objective:-1246610 108.89/106.50 o 1246863 108.89/106.50 objective:-1246863 108.89/106.50 o 1247215 108.89/106.50 objective:-1247215 108.89/106.50 o 1247299 108.89/106.50 objective:-1247299 108.89/106.50 o 1247458 108.89/106.50 objective:-1247458 108.89/106.50 o 1247542 108.89/106.50 objective:-1247542 108.89/106.50 o 1248424 108.89/106.50 objective:-1248424 108.89/106.50 o 1249501 108.89/106.50 objective:-1249501 108.89/106.50 o 1249710 108.89/106.50 objective:-1249710 108.89/106.50 o 1250787 108.89/106.50 objective:-1250787 108.89/106.50 o 1251139 108.89/106.50 objective:-1251139 108.89/106.50 o 1251223 108.89/106.50 objective:-1251223 108.89/106.50 o 1251719 108.89/106.50 objective:-1251719 108.89/106.50 o 1252071 108.89/106.50 objective:-1252071 108.89/106.50 o 1252155 108.89/106.50 objective:-1252155 108.89/106.50 o 1252314 108.89/106.50 objective:-1252314 108.89/106.50 o 1252398 108.89/106.50 objective:-1252398 108.89/106.51 o 1253086 108.89/106.51 objective:-1253086 108.89/106.51 o 1254163 108.89/106.51 objective:-1254163 108.89/106.51 o 1254372 108.89/106.51 objective:-1254372 108.89/106.51 o 1255449 108.89/106.51 objective:-1255449 108.89/106.51 o 1255801 108.89/106.51 objective:-1255801 108.89/106.51 o 1255885 108.89/106.51 objective:-1255885 108.89/106.51 o 1256381 108.89/106.51 objective:-1256381 108.89/106.51 o 1256733 108.89/106.51 objective:-1256733 108.89/106.51 o 1256817 108.89/106.51 objective:-1256817 108.89/106.51 o 1256976 108.89/106.51 objective:-1256976 108.89/106.51 o 1257060 108.89/106.51 objective:-1257060 109.59/107.21 o 1257200 109.59/107.21 objective:-1257200 109.59/107.21 o 1257284 109.59/107.21 objective:-1257284 109.59/107.21 o 1258655 109.59/107.21 objective:-1258655 109.59/107.21 o 1260577 109.59/107.21 objective:-1260577 109.59/107.21 o 1261675 109.59/107.21 objective:-1261675 109.59/107.21 o 1261759 109.59/107.21 objective:-1261759 109.59/107.22 o 1263317 109.59/107.22 objective:-1263317 109.59/107.22 o 1264415 109.59/107.22 objective:-1264415 109.59/107.22 o 1264499 109.59/107.22 objective:-1264499 109.59/107.22 o 1265239 109.59/107.22 objective:-1265239 109.59/107.22 o 1265323 109.59/107.22 objective:-1265323 109.59/107.22 o 1266337 109.59/107.22 objective:-1266337 109.59/107.22 o 1266421 109.59/107.22 objective:-1266421 110.19/107.89 o 1266797 110.19/107.89 objective:-1266797 110.19/107.89 o 1267193 110.19/107.89 objective:-1267193 113.61/111.25 o 1267973 113.61/111.25 objective:-1267973 113.61/111.25 o 1269550 113.61/111.25 objective:-1269550 113.61/111.25 o 1270482 113.61/111.25 objective:-1270482 114.31/111.96 o 1270575 114.31/111.96 objective:-1270575 114.31/111.96 o 1271879 114.31/111.96 objective:-1271879 114.31/111.96 o 1272014 114.31/111.96 objective:-1272014 114.31/111.96 o 1272231 114.31/111.96 objective:-1272231 114.31/111.96 o 1272366 114.31/111.96 objective:-1272366 114.31/111.97 o 1272651 114.31/111.97 objective:-1272651 114.31/111.97 o 1272786 114.31/111.97 objective:-1272786 114.31/111.97 o 1273003 114.31/111.97 objective:-1273003 114.31/111.97 o 1273138 114.31/111.97 objective:-1273138 114.31/111.97 o 1273182 114.31/111.97 objective:-1273182 114.31/111.97 o 1273399 114.31/111.97 objective:-1273399 114.31/111.97 o 1273534 114.31/111.97 objective:-1273534 120.42/118.01 o 1273539 120.42/118.01 objective:-1273539 120.42/118.01 o 1274904 120.42/118.01 objective:-1274904 120.42/118.01 o 1275342 120.42/118.01 objective:-1275342 120.42/118.02 o 1276707 120.42/118.02 objective:-1276707 120.42/118.02 o 1277248 120.42/118.02 objective:-1277248 120.42/118.02 o 1279782 120.42/118.02 objective:-1279782 120.42/118.02 o 1281147 120.42/118.02 objective:-1281147 129.61/127.29 o 1281294 129.61/127.29 objective:-1281294 129.61/127.29 o 1281378 129.61/127.29 objective:-1281378 135.61/133.22 o 1281659 135.61/133.22 objective:-1281659 135.61/133.22 o 1281753 135.61/133.22 objective:-1281753 135.61/133.22 o 1282173 135.61/133.22 objective:-1282173 135.61/133.22 o 1282525 135.61/133.22 objective:-1282525 135.61/133.23 o 1282685 135.61/133.23 objective:-1282685 135.61/133.23 o 1283105 135.61/133.23 objective:-1283105 135.61/133.23 o 1283457 135.61/133.23 objective:-1283457 136.92/134.55 o 1283668 136.92/134.55 objective:-1283668 136.92/134.55 o 1284375 136.92/134.55 objective:-1284375 136.92/134.56 o 1287702 136.92/134.56 objective:-1287702 136.92/134.56 o 1288602 136.92/134.56 objective:-1288602 136.92/134.56 o 1291929 136.92/134.56 objective:-1291929 137.53/135.18 o 1292148 137.53/135.18 objective:-1292148 137.62/135.20 o 1292197 137.62/135.20 objective:-1292197 137.62/135.20 o 1295747 137.62/135.20 objective:-1295747 137.62/135.21 o 1296518 137.62/135.21 objective:-1296518 137.62/135.21 o 1300409 137.62/135.21 objective:-1300409 155.25/152.80 o 1300419 155.25/152.80 objective:-1300419 155.25/152.80 o 1300771 155.25/152.80 objective:-1300771 157.85/155.44 o 1300874 157.85/155.44 objective:-1300874 157.85/155.44 o 1304163 157.85/155.44 objective:-1304163 158.46/156.07 o 1304200 158.46/156.07 objective:-1304200 158.46/156.09 o 1305314 158.46/156.09 objective:-1305314 158.46/156.09 o 1305666 158.46/156.09 objective:-1305666 158.46/156.09 o 1306391 158.46/156.09 objective:-1306391 158.46/156.09 o 1306743 158.46/156.09 objective:-1306743 158.46/156.09 o 1307390 158.46/156.09 objective:-1307390 158.46/156.09 o 1307742 158.46/156.09 objective:-1307742 158.46/156.09 o 1309976 158.46/156.09 objective:-1309976 158.46/156.09 o 1310328 158.46/156.09 objective:-1310328 158.46/156.09 o 1311053 158.46/156.09 objective:-1311053 158.46/156.09 o 1311405 158.46/156.09 objective:-1311405 159.15/156.75 o 1311745 159.15/156.75 objective:-1311745 159.15/156.75 o 1314043 159.15/156.75 objective:-1314043 159.15/156.75 o 1315408 159.15/156.75 objective:-1315408 159.15/156.75 o 1315804 159.15/156.75 objective:-1315804 159.15/156.75 o 1315841 159.15/156.75 objective:-1315841 159.15/156.75 o 1317206 159.15/156.75 objective:-1317206 159.15/156.75 o 1317602 159.15/156.75 objective:-1317602 159.15/156.75 o 1317934 159.15/156.75 objective:-1317934 159.15/156.76 o 1318330 159.15/156.76 objective:-1318330 159.15/156.76 o 1319732 159.15/156.76 objective:-1319732 159.15/156.76 o 1320128 159.15/156.76 objective:-1320128 159.15/156.76 o 1321097 159.15/156.76 objective:-1321097 159.15/156.76 o 1321493 159.15/156.76 objective:-1321493 167.25/164.86 o 1323255 167.25/164.86 objective:-1323255 167.25/164.86 o 1323526 167.25/164.86 objective:-1323526 167.25/164.87 o 1327417 167.25/164.87 objective:-1327417 175.15/172.77 o 1327474 175.15/172.77 objective:-1327474 175.15/172.77 o 1327609 175.15/172.77 objective:-1327609 175.15/172.77 o 1329272 175.15/172.77 objective:-1329272 175.15/172.77 o 1329407 175.15/172.77 objective:-1329407 175.15/172.78 o 1330708 175.15/172.78 objective:-1330708 175.15/172.78 o 1331205 175.15/172.78 objective:-1331205 175.15/172.78 o 1331340 175.15/172.78 objective:-1331340 175.85/173.44 o 1332957 175.85/173.44 objective:-1332957 175.85/173.44 o 1333353 175.85/173.44 objective:-1333353 175.85/173.44 o 1334034 175.85/173.44 objective:-1334034 175.85/173.44 o 1334430 175.85/173.44 objective:-1334430 175.85/173.44 o 1336620 175.85/173.44 objective:-1336620 175.85/173.44 o 1337016 175.85/173.44 objective:-1337016 175.85/173.44 o 1337697 175.85/173.44 objective:-1337697 175.85/173.44 o 1338093 175.85/173.44 objective:-1338093 176.56/174.11 o 1338876 176.56/174.11 objective:-1338876 176.56/174.11 o 1338960 176.56/174.11 objective:-1338960 231.09/228.64 o 1339910 231.09/228.64 objective:-1339910 231.09/228.64 o 1340249 231.09/228.64 objective:-1340249 231.09/228.65 o 1340806 231.09/228.65 objective:-1340806 231.09/228.65 o 1342171 231.09/228.65 objective:-1342171 231.09/228.65 o 1342547 231.09/228.65 objective:-1342547 231.09/228.65 o 1343912 231.09/228.65 objective:-1343912 231.09/228.65 o 1344469 231.09/228.65 objective:-1344469 231.09/228.65 o 1345834 231.09/228.65 objective:-1345834 234.40/231.94 o 1347228 234.40/231.94 objective:-1347228 234.40/231.94 o 1348095 234.40/231.94 objective:-1348095 323.04/320.54 o 1348569 323.04/320.54 objective:-1348569 323.04/320.54 o 1349358 323.04/320.54 objective:-1349358 323.04/320.54 o 1349855 323.04/320.54 objective:-1349855 323.04/320.54 o 1351361 323.04/320.54 objective:-1351361 323.04/320.54 o 1352647 323.04/320.54 objective:-1352647 323.04/320.55 o 1352734 323.04/320.55 objective:-1352734 323.04/320.55 o 1353231 323.04/320.55 objective:-1353231 323.04/320.55 o 1354020 323.04/320.55 objective:-1354020 323.04/320.55 o 1354517 323.04/320.55 objective:-1354517 323.04/320.55 o 1356023 323.04/320.55 objective:-1356023 323.04/320.55 o 1357309 323.04/320.55 objective:-1357309 348.68/346.13 o 1357503 348.68/346.13 objective:-1357503 348.68/346.13 o 1358435 348.68/346.13 objective:-1358435 348.68/346.13 o 1359425 348.68/346.13 objective:-1359425 348.68/346.13 o 1360357 348.68/346.13 objective:-1360357 348.68/346.13 o 1360502 348.68/346.13 objective:-1360502 348.68/346.13 o 1361434 348.68/346.13 objective:-1361434 348.68/346.14 o 1361722 348.68/346.14 objective:-1361722 348.68/346.14 o 1361867 348.68/346.14 objective:-1361867 348.68/346.14 o 1362799 348.68/346.14 objective:-1362799 379.65/377.10 o 1364550 379.65/377.10 objective:-1364550 379.65/377.10 o 1364946 379.65/377.10 objective:-1364946 393.35/390.77 o 1365211 393.35/390.77 objective:-1365211 393.35/390.77 o 1365376 393.35/390.77 objective:-1365376 393.35/390.78 o 1365451 393.35/390.78 objective:-1365451 393.35/390.78 o 1366737 393.35/390.78 objective:-1366737 393.35/390.78 o 1367133 393.35/390.78 objective:-1367133 444.63/441.90 o 1368119 444.63/441.90 objective:-1368119 444.63/441.90 o 1368986 444.63/441.90 objective:-1368986 444.63/441.90 o 1369051 444.63/441.90 objective:-1369051 444.63/441.90 o 1369918 444.63/441.90 objective:-1369918 461.44/458.77 o 1373132 461.44/458.77 objective:-1373132 461.44/458.77 o 1373790 461.44/458.77 objective:-1373790 461.44/458.77 o 1373925 461.44/458.77 objective:-1373925 464.94/462.21 o 1374048 464.94/462.21 objective:-1374048 464.94/462.21 o 1375413 464.94/462.21 objective:-1375413 508.16/505.48 o 1377765 508.16/505.48 objective:-1377765 510.87/508.15 o 1378480 510.87/508.15 objective:-1378480 510.87/508.15 o 1380681 510.87/508.15 objective:-1380681 510.87/508.15 o 1381634 510.87/508.15 objective:-1381634 510.87/508.15 o 1381967 510.87/508.15 objective:-1381967 510.87/508.15 o 1382920 510.87/508.15 objective:-1382920 510.87/508.15 o 1383403 510.87/508.15 objective:-1383403 510.87/508.15 o 1384339 510.87/508.15 objective:-1384339 510.87/508.15 o 1385292 510.87/508.15 objective:-1385292 510.87/508.15 o 1385625 510.87/508.15 objective:-1385625 510.87/508.15 o 1386578 510.87/508.15 objective:-1386578 635.04/632.22 o 1386733 635.04/632.22 objective:-1386733 635.04/632.22 o 1386868 635.04/632.22 objective:-1386868 638.34/635.54 o 1388425 638.34/635.54 objective:-1388425 638.34/635.54 o 1389292 638.34/635.54 objective:-1389292 638.34/635.55 o 1390540 638.34/635.55 objective:-1390540 638.34/635.55 o 1391407 638.34/635.55 objective:-1391407 657.86/655.02 o 1392052 657.86/655.02 objective:-1392052 657.86/655.02 o 1393129 657.86/655.02 objective:-1393129 657.86/655.03 o 1394305 657.86/655.03 objective:-1394305 657.86/655.03 o 1396492 657.86/655.03 objective:-1396492 657.86/655.03 o 1397569 657.86/655.03 objective:-1397569 699.37/696.58 o 1399239 699.37/696.58 objective:-1399239 699.37/696.58 o 1400192 699.37/696.58 objective:-1400192 699.37/696.58 o 1401161 699.37/696.58 objective:-1401161 699.37/696.58 o 1402114 699.37/696.58 objective:-1402114 699.37/696.58 o 1402160 699.37/696.58 objective:-1402160 699.37/696.58 o 1406115 699.37/696.58 objective:-1406115 699.37/696.58 o 1408037 699.37/696.58 objective:-1408037 699.37/696.58 o 1408990 699.37/696.58 objective:-1408990 703.37/700.52 o 1410233 703.37/700.52 objective:-1410233 703.37/700.52 o 1411310 703.37/700.52 objective:-1411310 1005.44/1002.44 o 1412943 1005.44/1002.44 objective:-1412943 1006.74/1003.71 o 1413193 1006.74/1003.71 objective:-1413193 1006.74/1003.71 o 1413403 1006.74/1003.71 objective:-1413403 1006.74/1003.71 o 1414270 1006.74/1003.71 objective:-1414270 1006.74/1003.71 o 1414414 1006.74/1003.71 objective:-1414414 1006.74/1003.72 o 1415281 1006.74/1003.72 objective:-1415281 1006.74/1003.72 o 1416275 1006.74/1003.72 objective:-1416275 1006.74/1003.72 o 1417228 1006.74/1003.72 objective:-1417228 1006.74/1003.72 o 1418095 1006.74/1003.72 objective:-1418095 1006.74/1003.72 o 1418305 1006.74/1003.72 objective:-1418305 1006.74/1003.72 o 1419172 1006.74/1003.72 objective:-1419172 1428.13/1424.83 o 1420161 1428.13/1424.83 objective:-1420161 1816.36/1812.89 o 1421887 1816.36/1812.89 objective:-1421887 1820.86/1817.33 o 1422673 1820.86/1817.33 objective:-1422673 1820.86/1817.33 o 1423069 1820.86/1817.33 objective:-1423069 1820.86/1817.33 o 1423171 1820.86/1817.33 objective:-1423171 1820.86/1817.33 o 1424038 1820.86/1817.33 objective:-1424038 1820.86/1817.34 o 1424434 1820.86/1817.34 objective:-1424434 1820.86/1817.34 o 1425115 1820.86/1817.34 objective:-1425115 1820.86/1817.34 o 1425511 1820.86/1817.34 objective:-1425511 1826.67/1823.14 o 1426765 1826.67/1823.14 objective:-1426765 1826.67/1823.14 o 1428130 1826.67/1823.14 objective:-1428130 1894.90/1891.33 o 1428150 1894.90/1891.33 objective:-1428150 1894.90/1891.34 o 1428272 1894.90/1891.34 objective:-1428272 1894.90/1891.34 o 1429225 1894.90/1891.34 objective:-1429225 1894.90/1891.34 o 1429234 1894.90/1891.34 objective:-1429234 1894.90/1891.34 o 1430187 1894.90/1891.34 objective:-1430187 1894.90/1891.35 o 1430815 1894.90/1891.35 objective:-1430815 1894.90/1891.35 o 1431768 1894.90/1891.35 objective:-1431768 1894.90/1891.35 o 1431955 1894.90/1891.35 objective:-1431955 1894.90/1891.35 o 1432268 1894.90/1891.35 objective:-1432268 1894.90/1891.35 o 1434400 1894.90/1891.35 objective:-1434400 1894.90/1891.35 o 1435477 1894.90/1891.35 objective:-1435477 1894.90/1891.35 o 1436430 1894.90/1891.35 objective:-1436430 2520.07/2516.11 s SATISFIABLE 2520.07/2516.12 v <instantiation> 2520.07/2516.12 v <list> 2520.07/2516.12 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2520.07/2516.12 v </list> 2520.07/2516.12 v <values> 2520.07/2516.12 v 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2520.07/2516.12 v </values> 2520.07/2516.12 v </instantiation>
OK 1436430
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 (15164 MiB free) memory of node 1: 16384 MiB (3639 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298492-1532763516/watcher-4298492-1532763516 -o /tmp/evaluation-result-4298492-1532763516/solver-4298492-1532763516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23861 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298492-1532763516.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26400, runsolver pid=26397 Current StackSize limit: 8192 KiB [startup+0.104047 s]* /proc/loadavg: 1.65 1.77 1.75 3/215 26415 /proc/meminfo: memFree=19239456/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10658972 memory=28124 CPUtime=0.14 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 5413 0 0 0 14 0 0 0 20 0 15 0 93914781 10914787328 7031 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664743 7031 2881 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10658972 memory=-7254952165438285178 CPUtime=0.09 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 3212 0 0 0 9 0 0 0 20 0 15 0 93914782 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078812015344 140078807805334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10658972 memory=5793855496922663353 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914784 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93914784 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93914784 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) R 26397 26400 23830 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 93914787 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078363310960 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) S 26397 26400 23830 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078362258160 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0.02 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) R 26397 26400 23830 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 93914787 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078361205360 140078786932070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) R 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 7031 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 28124 KiB [startup+0.212364 s]* /proc/loadavg: 1.65 1.77 1.75 4/215 26415 /proc/meminfo: memFree=19227904/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10658972 memory=40860 CPUtime=0.35 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 8341 0 0 0 34 1 0 0 20 0 15 0 93914781 10914787328 10215 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664743 10215 3008 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10658972 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 5112 0 0 0 19 1 0 0 20 0 15 0 93914782 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078812025120 140078807805334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10658972 memory=4211973972117560714 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914784 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93914784 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93914784 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10658972 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) R 26397 26400 23830 0 -1 4202560 753 0 0 0 3 0 0 0 20 0 15 0 93914787 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078363292072 140078788972328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) R 26397 26400 23830 0 -1 4202560 323 0 0 0 2 0 0 0 20 0 15 0 93914787 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078362258160 140078792180448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0.08 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) R 26397 26400 23830 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 15 0 93914787 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078361201512 140078786505346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10658972 memory=140245912770176 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914787 10914787328 10215 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 10658972 KiB Current children cumulated memory: 40860 KiB [startup+0.311199 s]* /proc/loadavg: 1.65 1.77 1.75 6/215 26415 /proc/meminfo: memFree=19220260/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10659048 memory=49768 CPUtime=0.6 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 9037 0 0 0 58 2 0 0 20 0 15 0 93914781 10914865152 12442 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664762 12442 3057 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10659048 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 5430 0 0 0 29 1 0 0 20 0 15 0 93914782 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078812030704 140078429106817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=4211973972117560714 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=140245912772520 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=140245781841702 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=140245781827023 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=140245912794033 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10659048 memory=140245781836239 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10659048 memory=280491563663248 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10659048 memory=280491563660912 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10659048 memory=0 CPUtime=0.08 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) S 26397 26400 23830 0 -1 1077944384 940 0 0 0 8 0 0 0 20 0 15 0 93914787 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078363310960 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10659048 memory=2240 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) S 26397 26400 23830 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 15 0 93914787 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078362258160 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10659048 memory=140245912770176 CPUtime=0.15 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) R 26397 26400 23830 0 -1 4202560 911 0 0 0 15 0 0 0 20 0 15 0 93914787 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078361205536 140078786473600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10659048 memory=2208 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10659048 memory=140245912770176 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 12442 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 49768 KiB [startup+0.701202 s] /proc/loadavg: 1.65 1.77 1.75 4/215 26415 /proc/meminfo: memFree=18981212/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10659048 memory=296780 CPUtime=1.79 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 13502 0 0 0 173 6 0 0 20 0 15 0 93914781 10914865152 74195 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664762 74195 3106 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10659048 memory=1616 CPUtime=0.68 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 5710 0 0 0 63 5 0 0 20 0 15 0 93914782 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078812030000 140078432519147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=1836 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=1132 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=7235408084361307456 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=7739276948478193257 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10659048 memory=3257 CPUtime=0.43 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) R 26397 26400 23830 0 -1 4202560 3192 0 0 0 43 0 0 0 20 0 15 0 93914787 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078363295624 140078789337617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10659048 memory=4 CPUtime=0.37 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) R 26397 26400 23830 0 -1 4202560 1327 0 0 0 37 0 0 0 20 0 15 0 93914787 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078362239176 140078787039328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10659048 memory=0 CPUtime=0.29 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) R 26397 26400 23830 0 -1 4202560 1902 0 0 0 29 0 0 0 20 0 15 0 93914787 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078361205360 140078807814746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10659048 memory=280491563847152 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 74195 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 1.79 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 296780 KiB [startup+1.50079 s] /proc/loadavg: 1.65 1.77 1.75 3/215 26415 /proc/meminfo: memFree=18969748/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10659048 memory=298004 CPUtime=2.72 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 13814 0 0 0 266 6 0 0 20 0 15 0 93914781 10914865152 74501 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664762 74501 3117 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10659048 memory=0 CPUtime=1.48 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 5768 0 0 0 143 5 0 0 20 0 15 0 93914782 10914865152 74501 33554432000 4194304 4196468 140734752564480 140078812030184 140078432585571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74501 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=4946243890012592768 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74501 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=-6007660418857049897 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74501 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=-5934722142603532163 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93914782 10914865152 74501 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=-6305715001048196224 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 74501 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 ################ # More data... # ################ /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 26410 0 0 0 244201 10 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078812033216 140078432585792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2453 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1900 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 2725 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2595 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=253617818855200 CPUtime=0.08 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 3108 0 0 0 3 5 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10659048 memory=412136 CPUtime=1.05 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) S 26397 26400 23830 0 -1 1077944384 9658 0 0 0 104 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078363310960 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10659048 memory=15184 CPUtime=0.98 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) S 26397 26400 23830 0 -1 1077944384 6137 0 0 0 97 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078362258160 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10659048 memory=3872 CPUtime=0.41 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) S 26397 26400 23830 0 -1 1077944384 6255 0 0 0 40 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078361205360 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10659048 memory=27208 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10659048 memory=412136 CPUtime=1.25 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 2108 0 0 0 65 60 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 2446.23 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 412136 KiB [startup+2502.3 s] /proc/loadavg: 1.94 2.04 2.04 3/216 26674 /proc/meminfo: memFree=26928172/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10659048 memory=412136 CPUtime=2506.25 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 65112 0 0 0 250554 71 0 0 20 0 15 0 93914781 10914865152 103034 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664762 103034 3154 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10659048 memory=412136 CPUtime=2502.11 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 26714 0 0 0 250201 10 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078812033216 140078432585826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2453 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1900 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 2725 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2595 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.08 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 3111 0 0 0 3 5 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10659048 memory=412136 CPUtime=1.05 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) S 26397 26400 23830 0 -1 1077944384 9660 0 0 0 104 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078363310960 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.98 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) S 26397 26400 23830 0 -1 1077944384 6139 0 0 0 97 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078362258160 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10659048 memory=912 CPUtime=0.41 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) S 26397 26400 23830 0 -1 1077944384 6257 0 0 0 40 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078361205360 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10659048 memory=3856 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10659048 memory=412136 CPUtime=1.28 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 2139 0 0 0 67 61 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 2506.25 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 412136 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2516.11 s] /proc/loadavg: 1.88 2.03 2.04 3/216 26674 /proc/meminfo: memFree=26926156/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10659048 memory=412136 CPUtime=2520.07 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 65333 0 0 0 251935 72 0 0 20 0 15 0 93914781 10914865152 103034 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664762 103034 3154 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10659048 memory=6 CPUtime=2515.92 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 26897 0 0 0 251582 10 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078812033216 140078432344975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2453 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1900 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=280491564270112 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 2725 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2595 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.08 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 3114 0 0 0 3 5 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10659048 memory=5500 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10659048 memory=4460 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10659048 memory=1160 CPUtime=1.05 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) S 26397 26400 23830 0 -1 1077944384 9662 0 0 0 104 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078363310960 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10659048 memory=6791534058613427641 CPUtime=0.98 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) S 26397 26400 23830 0 -1 1077944384 6141 0 0 0 97 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078362258160 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10659048 memory=6384 CPUtime=0.41 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) S 26397 26400 23830 0 -1 1077944384 6259 0 0 0 40 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078361205360 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10659048 memory=2260 CPUtime=1.28 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 2168 0 0 0 67 61 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 2520.07 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 412136 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2516.14 s] # the end of solver process 26400 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.38 s, system=0.728081 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2516.11 s] /proc/loadavg: 1.88 2.03 2.04 3/216 26674 /proc/meminfo: memFree=26926156/32770624 swapFree=67108496/67108860 [pid=26400] ppid=26397 vsize=10659048 memory=412136 CPUtime=2520.07 cores=0,2,4,6 /proc/26400/stat : 26400 (java) S 26397 26400 23830 0 -1 1077944320 65333 0 0 0 251935 72 0 0 20 0 15 0 93914781 10914865152 103034 33554432000 4194304 4196468 140734752564480 140734752547024 140078807793399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 /proc/26400/statm: 2664762 103034 3154 1 0 2627263 0 [pid=26400/tid=26402] ppid=26397 vsize=10659048 memory=6 CPUtime=2515.92 cores=0,2,4,6 /proc/26400/task/26402/stat : 26402 (java) R 26397 26400 23830 0 -1 4202560 26897 0 0 0 251582 10 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078812033216 140078432344975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26403] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26403/stat : 26403 (java) S 26397 26400 23830 0 -1 1077944384 2453 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078749797520 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26404] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26404/stat : 26404 (java) S 26397 26400 23830 0 -1 1077944384 1900 0 0 0 6 0 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078413044752 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26405] ppid=26397 vsize=10659048 memory=280491564270112 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26405/stat : 26405 (java) S 26397 26400 23830 0 -1 1077944384 2725 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078411991952 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26406] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.06 cores=0,2,4,6 /proc/26400/task/26406/stat : 26406 (java) S 26397 26400 23830 0 -1 1077944384 2595 0 0 0 5 1 0 0 20 0 15 0 93914782 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078410939152 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26407] ppid=26397 vsize=10659048 memory=412136 CPUtime=0.08 cores=0,2,4,6 /proc/26400/task/26407/stat : 26407 (java) S 26397 26400 23830 0 -1 1077944384 3114 0 0 0 3 5 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078367521136 140078807804546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26408] ppid=26397 vsize=10659048 memory=5500 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26408/stat : 26408 (java) S 26397 26400 23830 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078366467104 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26409] ppid=26397 vsize=10659048 memory=4460 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26409/stat : 26409 (java) S 26397 26400 23830 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 93914784 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078365414256 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26410] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26410/stat : 26410 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078364362576 140078807811995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26411] ppid=26397 vsize=10659048 memory=1160 CPUtime=1.05 cores=0,2,4,6 /proc/26400/task/26411/stat : 26411 (java) S 26397 26400 23830 0 -1 1077944384 9662 0 0 0 104 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078363310960 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26412] ppid=26397 vsize=10659048 memory=6791534058613427641 CPUtime=0.98 cores=0,2,4,6 /proc/26400/task/26412/stat : 26412 (java) S 26397 26400 23830 0 -1 1077944384 6141 0 0 0 97 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078362258160 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26413] ppid=26397 vsize=10659048 memory=6384 CPUtime=0.41 cores=0,2,4,6 /proc/26400/task/26413/stat : 26413 (java) S 26397 26400 23830 0 -1 1077944384 6259 0 0 0 40 1 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078361205360 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26414] ppid=26397 vsize=10659048 memory=412136 CPUtime=0 cores=0,2,4,6 /proc/26400/task/26414/stat : 26414 (java) S 26397 26400 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078360152800 140078807803605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 [pid=26400/tid=26415] ppid=26397 vsize=10659048 memory=2260 CPUtime=1.28 cores=0,2,4,6 /proc/26400/task/26415/stat : 26415 (java) S 26397 26400 23830 0 -1 1077944384 2168 0 0 0 67 61 0 0 20 0 15 0 93914787 10914865152 103034 33554432000 4194304 4196468 140734752564480 140078359100080 140078807804546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11390976 140734752572589 140734752572681 140734752572681 140734752575439 0 Current children cumulated CPU time: 2520.07 s Current children cumulated vsize: 10659048 KiB Current children cumulated memory: 412136 KiB Child status: 143 Real time (s): 2516.14 CPU time (s): 2520.11 CPU user time (s): 2519.38 CPU system time (s): 0.728081 CPU usage (%): 100.158 Max. virtual memory (cumulated for all children) (KiB): 10659048 Max. memory (cumulated for all children) (KiB): 426004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.38 system time used= 0.728081 maximum resident set size= 431136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65873 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1864 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56686 involuntary context switches= 2725 # summary of solver processes directly reported to runsolver: # pid: 26400 # total CPU time (s): 2520.11 # total CPU user time (s): 2519.38 # total CPU system time (s): 0.728081 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.3511 second user time and 22.6296 second system time The end
Begin job on node149 at 2018-07-28 09:38:36 IDJOB=4298492 IDBENCH=141147 IDSOLVER=2763 FILE ID=node149/4298492-1532763516 RUNJOBID= node149-1532741282-23861 PBS_JOBID= 21022453 Free space on /tmp= 43252 MiB SOLVER NAME= MiniCPFever 2018-04-29 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298492-1532763516/watcher-4298492-1532763516 -o /tmp/evaluation-result-4298492-1532763516/solver-4298492-1532763516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23861 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298492-1532763516.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17 RANDOM SEED=623326571 node149.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.60 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.60 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.60 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.60 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: 19255328 kB MemAvailable: 23666000 kB Buffers: 125000 kB Cached: 4504832 kB SwapCached: 60 kB Active: 9790836 kB Inactive: 3142292 kB Active(anon): 8252984 kB Inactive(anon): 78008 kB Active(file): 1537852 kB Inactive(file): 3064284 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 1352 kB Writeback: 0 kB AnonPages: 8310492 kB Mapped: 46740 kB Shmem: 25040 kB Slab: 265388 kB SReclaimable: 236996 kB SUnreclaim: 28392 kB KernelStack: 3584 kB PageTables: 21444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8654344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8128512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43256 MiB End job on node149 at 2018-07-28 10:20:32