| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 2.91543 | 0.379374 |
| Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-04-m018.xml |
| MD5SUM | e1b631bab6f8bd4ad65377e678a0b81e |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 2.54992 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 49 |
| Number of constraints | 28 |
| Number of domains | 1 |
| Minimum domain size | 37 |
| Maximum domain size | 37 |
| Distribution of domain sizes | [{"size":37,"count":37}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 37 |
| Distribution of constraint arities | [{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6 |
| Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c root propagations : 9 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c root propagations : 9 0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4409235-1569828563.xml 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.00 s 0.00/0.01 c | 0.00/0.01 c | Variables: 49 0.00/0.01 c | Domain Sizes: 37..37 0.00/0.01 c | 0.00/0.01 c | Constraints: 28 0.00/0.01 c | Arity: 2..37 -- Binary: 6 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | (X - Y < k): 6 0.00/0.01 c | All Different: 1 0.00/0.01 c | Sum: 21 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c Parallel mode: Portfolio 0.00/0.01 c [pFactory][Group N°0] created (threads:8). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.01 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.01 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.01 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.01 c [pFactory][Group N°0] task 7 launched on thread 0. 0.00/0.01 c [pFactory][Group N°0] task 6 launched on thread 5. 0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 6. 0.00/0.01 c [pFactory][Group N°0] task 4 launched on thread 7. 0.00/0.01 c [pFactory][Group N°0] task 3 launched on thread 2. 0.00/0.01 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.01 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.01 c [pFactory][Group N°0] task 0 launched on thread 1. 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c root propagations : 9 0.00/0.01 c root propagations : 9 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c root propagations : 9 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c root propagations : 9 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c root propagations : 9 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c root propagations : 9 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c 0 1 45 10 6 0 c 0 0 0 0 3 107 78 c 6 0.00/0.01 0c 0 2 78 47 6 0 0 0 0 0.00/0.01 c 0 2 54 12 6 0 40 0 0 0.00/0.01 0 135 172 6 0 0 0 0 0.00/0.01 0 0 0c remove useless variable x[5][5] 0.00/0.01 c c 0 0 3 363 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 14 6 0 0 0 0 0.00/0.01 c 0 4 116 80 6 0 0 0 0 0.00/0.01 c 0 4 72 16 6 0 0 0 0 0.00/0.01 c c 0 0 1 5 125 54 83 13 6 6 c 0 0 0 0 0 0 5 0 0 0 0.00/0.01 0.00/0.01 144 174 6 0 0 0 0 0.00/0.01 c 0 2 104 251 c 6 0 6 153 0 1776 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 7 162 179 6 0 0 0 0 0.00/0.01 c 0 6 103 60 6 0 0 0 0 0.00/0.01 c 0 c 7 0 160 3121 83 50 6 60 00 0 0 0 0 0 0.00/0.01 87 c 50 6 00 30 0 0 0.00/0.01 113 255 6 0 0 0 0 0.00/0.01 c 0 4 113 256 6 0 0 0 0 0.00/0.01 c 0 8 169 123 c 6 0 0 4 0 0 096 52 6 0 0.00/0.01 0.00/0.01 c 0 9 197 217 6 0 0 0 0 0.00/0.01 c 0 10 197 218 6 0 0 0 0 0.00/0.01 c 0 4 92 52 6 c 0 0 8 0 0 0 143 0.00/0.01 c 0 5 92 53 6 0 107 0 0 0 0.00/0.01 60 0 0 0 0.00/0.01 c 0 9 143 108 6 0 0 0 0 0.00/0.01 c 0 10 204 161 6 0 0 0 0 0.00/0.01 c 0 7 114 67 6 0 0 0 0 0.00/0.01 c 0 10 152 110 6 0 0 0 0 0.00/0.01 c 0 12 232 256 6 0 0 0 0 0.00/0.01 c 0 6 167 494 6 0 0 0 0 0.00/0.01 c 0 13 241 258 6 0 0 0 0 0.00/0.01 c 0 9 143 104 6 0 0 0 0 0.00/0.01 c 0 12 183 158 6 0 0 0 0 0.00/0.01 c 0 12 248 200 6 0 0 0 0 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c remove useless variable x[0][5] 0.00/0.01 c remove useless variable x[0][6] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c remove useless variable x[6][4] 0.00/0.01 c remove useless variable x[6][5] 0.00/0.01 c remove useless variable x[6][6] 0.00/0.01 c 0 16 246 303 6 0 0 0 0 0.00/0.01 c 0 16 274 368 6 0 0 0 0 0.00/0.01 c 0 16 342 483 6 0 0 0 0 0.00/0.01 c 101 134 1246 4486 6 0 2 26 19 0.00/0.01 c 32 61 1399 7432 6 0 1 11 5 0.00/0.01 c 33 64 1497 8093 6 0 3 3 1 0.00/0.02 0 0 0 0.00/0.02 c 0 5 105 54 6 0 0 0 0 0.00/0.02 c 32 72 2057 6472 6 0 5 19 16 0.00/0.02 c 33 76 2178 6691 6 0 4 4 2 0.00/0.02 c 64 111 2650 15745 6 0 4 7 4 0.00/0.02 c 65 113 2705 16022 6 0 2 2 1 0.00/0.02 c 66 117 2797 16650 6 0 4 4 2 0.00/0.02 c 67 120 2892 17425 6 0 3 3 1 0.00/0.02 c 101 162 2704 10780 6 0 8 24 21 0.00/0.02 c 32 95 4367 11564 6 0 14 19 17 0.00/0.02 c 33 100 4488 12094 6 0 5 5 2 0.00/0.02 c 32 84 2111 9089 6 0 5 12 7 0.00/0.02 c 33 88 2204 9688 6 0 4 4 2 0.00/0.02 c 64 124 4782 13754 6 0 4 13 11 0.00/0.02 c 65 126 4853 14538 6 0 2 2 1 0.00/0.02 c 66 128 4923 15322 6 0 2 2 1 0.00/0.02 c 67 130 4988 15537 6 0 2 2 1 0.00/0.02 c 64 146 3468 14539 6 0 3 9 6 0.00/0.02 c 65 148 3527 14954 6 0 2 2 1 0.00/0.02 c 66 152 3625 15582 6 0 4 4 2 0.00/0.02 c 67 155 3718 16135 6 0 3 3 1 0.00/0.02 c 128 238 5569 29572 6 0 4 13 7 0.00/0.02 c 129 241 5642 29707 6 0 3 3 1 0.00/0.02 c 64 185 6495 20096 6 0 2 13 9 0.00/0.02 c 130 244 5738 30289 6 0 3 3 1 0.00/0.02 c 211 295 5527 26926 6 0 10 16 14 0.00/0.02 c 131 248 5827 30796 6 0 4 4 2 0.00/0.02 c 65 196 6712 20739 6 0 11 11 5 0.00/0.02 c 66 198 6743 20915 6 0 2 2 1 0.00/0.02 c 132 251 5923 31378 6 0 3 3 1 0.00/0.02 c 133 255 6012 31885 6 0 4 4 2 0.00/0.02 c 67 207 6927 21502 6 0 9 9 4 0.00/0.02 c 134 258 6108 32467 6 0 3 3 1 0.00/0.02 c 135 262 6197 32974 6 0 4 4 2 0.00/0.02 c 101 159 5908 21798 6 0 5 22 18 0.00/0.02 c 101 181 7530 22434 6 0 9 17 13 0.00/0.02 c 211 324 6573 28750 6 0 6 22 20 0.00/0.02 c 332 453 7388 37307 6 0 6 26 21 0.00/0.02 c 128 265 9012 25826 6 0 6 26 20 0.00/0.02 c 129 267 9083 26625 6 0 2 2 1 0.00/0.03 c 130 269 9152 27409 6 0 2 2 1 0.00/0.03 c 131 271 9221 28208 6 0 2 2 1 0.00/0.03 c 128 275 6398 29671 6 0 4 11 8 0.00/0.03 c 132 273 9290 28992 6 0 2 2 1 0.00/0.03 c 129 277 6441 29903 6 0 2 2 1 0.00/0.03 c 133 275 9359 29791 6 0 2 2 1 0.00/0.03 c 130 282 6540 30187 6 0 5 5 2 0.00/0.03 c 134 277 9428 30575 6 0 2 2 1 0.00/0.03 c 131 287 6641 30470 6 0 5 5 2 0.00/0.03 c 135 279 9497 31374 6 0 2 2 1 0.00/0.03 c 132 292 6741 30756 6 0 5 5 2 0.00/0.03 c 133 297 6842 31039 6 0 5 5 2 0.00/0.03 c 134 302 6942 31325 6 0 5 5 2 0.00/0.03 c 128 384 10214 33409 6 0 8 15 12 0.00/0.03 c 135 307 7043 31608 6 0 5 5 2 0.00/0.03 c 129 393 10334 33723 6 0 9 9 4 0.00/0.03 c 130 401 10465 34055 6 0 8 8 4 0.00/0.03 c 131 410 10584 34383 6 0 9 9 4 0.00/0.03 c 132 418 10715 34715 6 0 8 8 4 0.00/0.03 c 133 427 10834 35043 6 0 9 9 4 0.00/0.03 c 134 435 10965 35375 6 0 8 8 4 0.00/0.03 c 135 444 11084 35703 6 0 9 9 4 0.00/0.03 c 332 505 9709 42714 6 0 16 24 22 0.00/0.03 c 211 316 12499 41273 6 0 5 18 16 0.00/0.03 c 211 330 13879 37538 6 0 5 15 11 0.00/0.03 c 256 526 12065 55467 6 0 3 11 7 0.00/0.03 c 257 529 12198 56345 6 0 3 3 1 0.00/0.03 c 258 532 12287 57025 6 0 3 3 1 0.00/0.03 c 259 536 12412 57728 6 0 4 4 2 0.00/0.03 c 260 539 12540 58605 6 0 3 3 1 0.00/0.03 c 261 542 12629 59285 6 0 3 3 1 0.00/0.04 c 262 546 12747 59878 6 0 4 4 2 0.00/0.04 c 263 550 12866 60476 6 0 4 4 2 0.00/0.04 c 264 554 12984 61069 6 0 4 4 2 0.00/0.04 c 265 558 13103 61667 6 0 4 4 2 0.00/0.04 c 266 562 13221 62260 6 0 4 4 2 0.00/0.04 c 267 566 13340 62858 6 0 4 4 2 0.00/0.04 c 268 570 13458 63451 6 0 4 4 2 0.00/0.04 c 269 574 13577 64049 6 0 4 4 2 0.00/0.04 c 270 578 13695 64642 6 0 4 4 2 0.00/0.04 c 271 582 13814 65240 6 0 4 4 2 0.00/0.04 c 465 682 12820 56888 6 0 9 25 21 0.00/0.04 c 256 520 14457 54468 6 0 5 26 21 0.00/0.04 c 257 524 14585 55044 6 0 4 4 2 0.00/0.04 c 258 528 14674 55550 6 0 4 4 2 0.00/0.04 c 259 531 14770 56131 6 0 3 3 1 0.00/0.04 c 260 535 14859 56637 6 0 4 4 2 0.00/0.04 c 261 538 14955 57218 6 0 3 3 1 0.00/0.04 c 262 542 15044 57724 6 0 4 4 2 0.00/0.04 c 256 693 19183 56813 6 0 8 26 21 0.00/0.04 c 263 545 15140 58305 6 0 3 3 1 0.00/0.04 c 264 549 15229 58811 6 0 4 4 2 0.00/0.04 c 257 703 19419 57474 6 0 10 10 5 0.00/0.04 c 265 552 15325 59392 6 0 3 3 1 0.00/0.04 c 266 556 15414 59898 6 0 4 4 2 0.00/0.04 c 258 712 19605 58040 6 0 9 9 4 0.00/0.04 c 267 559 15510 60479 6 0 3 3 1 0.00/0.04 c 332 559 18335 59463 6 0 1 26 19 0.00/0.04 c 259 721 19802 58600 6 0 9 9 4 c 268 563 0.00/0.04 15599 60985 6 0 4 4 2 0.00/0.05 c 269 566 15695 61566 6 0 3 3 1 0.00/0.05 c 260 730 19988 59166 6 0 9 9 4 0.00/0.05 c 270 570 15784 62072 6 0 4 4 2 0.00/0.05 c 261 739 20186 59726 6 0 9 9 4 0.00/0.05 c 271 573 15880 62653 6 0 3 3 1 0.00/0.05 c 262 748 20372 60292 6 0 9 9 4 0.00/0.05 c 256 630 18159 58371 6 0 2 13 10 0.00/0.05 c 263 757 20569 60852 6 0 9 9 4 0.00/0.05 c 264 766 20755 61418 6 0 9 9 4 0.00/0.05 c 257 645 18492 59412 6 0 15 15 7 0.00/0.05 c 265 775 20953 61978 6 0 9 9 4 0.00/0.05 c 258 651 18593 59827 6 0 6 6 3 0.00/0.05 c 266 784 21139 62544 6 0 9 9 4 0.00/0.05 c 259 660 18778 60325 6 0 9 9 4 0.00/0.05 c 267 793 21336 63104 6 0 9 9 4 0.00/0.05 c 260 666 18876 60740 6 0 6 6 3 0.00/0.05 c 268 802 21522 63670 6 0 9 9 4 0.00/0.05 c 261 675 19061 61237 6 0 9 9 4 0.00/0.05 c 262 681 19159 61652 6 0 6 6 3 0.00/0.05 c 269 811 21720 64230 6 0 9 9 4 0.00/0.05 c 465 650 18144 79206 6 0 6 14 10 0.00/0.05 c 270 820 21906 64796 6 0 9 9 4 0.00/0.05 c 263 690 19344 62150 6 0 9 9 4 0.00/0.05 c 264 696 19442 62565 6 0 6 6 3 0.00/0.05 c 271 829 22103 65356 6 0 9 9 4 0.00/0.05 c 265 705 19627 63063 6 0 9 9 4 0.00/0.05 c 266 711 19725 63478 6 0 6 6 3 0.00/0.05 c 611 899 17062 70416 6 0 8 25 22 0.00/0.05 c 267 720 19910 63976 6 0 9 9 4 0.00/0.05 c 268 726 20008 64391 6 0 6 6 3 0.00/0.05 c 269 735 20193 64889 6 0 9 9 4 0.00/0.05 c 270 741 20291 65304 6 0 6 6 3 0.00/0.05 c 271 750 20476 65802 6 0 9 9 4 0.00/0.05 c 332 543 21347 57360 6 0 14 27 22 0.00/0.06 c 611 850 21590 95046 6 0 11 27 22 0.00/0.06 c 771 1113 20685 84464 6 0 12 24 21 0.00/0.07 c 771 1058 25780 113411 6 0 7 20 17 0.00/0.07 c 512 1136 26524 111022 6 0 3 11 7 0.00/0.07 c 513 1138 26583 111436 6 0 2 2 1 0.00/0.07 c 514 1141 26675 112144 6 0 3 3 1 0.00/0.07 c 465 752 29427 91769 6 0 8 13 11 0.00/0.07 c 515 1145 26801 112737 6 0 4 4 2 0.00/0.07 c 516 1149 26894 113335 6 0 4 4 2 0.00/0.07 c 517 1153 27020 113928 6 0 4 4 2 0.00/0.07 c 947 1369 24195 98348 6 0 14 26 22 0.00/0.07 c 518 1157 27113 114526 6 0 4 4 2 0.00/0.07 c 519 1161 27239 115119 6 0 4 4 2 0.00/0.07 c 520 1165 27332 115717 6 0 4 4 2 0.00/0.07 c 521 1169 27458 116310 6 0 4 4 2 0.00/0.07 c 522 1173 27551 116908 6 0 4 4 2 0.00/0.07 c 523 1177 27677 117501 6 0 4 4 2 0.00/0.08 c 524 1181 27770 118099 6 0 4 4 2 0.00/0.08 c 525 1185 27896 118692 6 0 4 4 2 0.00/0.08 c 526 1189 27989 119290 6 0 4 4 2 0.00/0.08 c 527 1193 28115 119883 6 0 4 4 2 0.00/0.08 c 528 1197 28208 120481 6 0 4 4 2 0.00/0.08 c 529 1201 28334 121074 6 0 4 4 2 0.00/0.08 c 530 1205 28427 121672 6 0 4 4 2 0.00/0.08 c 531 1209 28553 122265 6 0 4 4 2 0.00/0.08 c 532 1213 28646 122863 6 0 4 4 2 0.00/0.08 c 533 1217 28772 123456 6 0 4 4 2 0.00/0.08 c 534 1221 28865 124054 6 0 4 4 2 0.00/0.08 c 535 1225 28991 124647 6 0 4 4 2 0.00/0.08 c 536 1229 29084 125245 6 0 4 4 2 0.00/0.08 c 537 1233 29210 125838 6 0 4 4 2 0.00/0.08 c 538 1237 29303 126436 6 0 4 4 2 0.00/0.08 c 512 1078 29131 110846 6 0 6 20 17 0.00/0.08 c 539 1241 29429 127029 6 0 4 4 2 0.00/0.08 c 513 1085 29308 111546 6 0 7 7 3 0.00/0.08 c 540 1245 29522 127627 6 0 4 4 2 0.00/0.08 c 514 1087 29360 111929 6 0 2 2 1 0.00/0.08 c 515 1092 29440 112231 6 0 5 5 2 0.00/0.08 c 541 1249 29648 128220 6 0 4 4 2 0.00/0.08 c 516 1094 29492 112614 6 0 2 2 1 0.00/0.08 c 542 1253 29741 128818 6 0 4 4 2 0.00/0.08 c 517 1099 29571 112916 6 0 5 5 2 0.00/0.08 c 518 1101 29623 113299 6 0 2 2 1 0.00/0.08 c 543 1257 29867 129411 6 0 4 4 2 0.00/0.08 c 519 1106 29702 113601 6 0 5 5 2 0.00/0.08 c 520 1108 29754 113984 6 0 2 2 1 0.00/0.08 c 521 1113 29833 114286 6 0 5 5 2 0.00/0.08 c 522 1115 29885 114669 6 0 2 2 1 0.00/0.08 c 523 1120 29967 114971 6 0 5 5 2 0.00/0.08 c 524 1123 30059 115378 6 0 3 3 1 0.00/0.08 c 525 1128 30138 115680 6 0 5 5 2 0.00/0.08 c 526 1131 30227 116087 6 0 3 3 1 0.00/0.08 c 947 1305 29378 130340 6 0 7 26 22 0.00/0.08 c 527 1136 30306 116389 6 0 5 5 2 0.00/0.08 c 528 1139 30395 116796 6 0 3 3 1 0.00/0.08 c 529 1144 30474 117098 6 0 5 5 2 0.00/0.08 c 530 1147 30563 117505 6 0 3 3 1 0.00/0.08 c 531 1152 30645 117807 6 0 5 5 2 0.00/0.08 c 532 1155 30734 118214 6 0 3 3 1 0.00/0.08 c 533 1160 30813 118516 6 0 5 5 2 0.00/0.08 c 534 1163 30902 118923 6 0 3 3 1 0.00/0.08 c 535 1168 30984 119225 6 0 5 5 2 0.00/0.08 c 536 1171 31072 119632 6 0 3 3 1 0.00/0.08 c 537 1176 31151 119934 6 0 5 5 2 0.00/0.08 c 538 1179 31240 120341 6 0 3 3 1 0.00/0.08 c 539 1184 31322 120643 6 0 5 5 2 0.00/0.08 c 540 1187 31410 121050 6 0 3 3 1 0.00/0.08 c 541 1192 31489 121352 6 0 5 5 2 0.00/0.08 c 542 1195 31578 121759 6 0 3 3 1 0.00/0.08 c 543 1200 31660 122061 6 0 5 5 2 0.00/0.08 c 465 806 32539 92433 6 0 17 24 21 0.00/0.08 c 1140 1608 29577 125275 6 0 7 24 20 0.00/0.08 c 512 1207 31382 115338 6 0 4 15 12 0.00/0.08 c 513 1209 31433 115565 6 0 2 2 1 0.00/0.08 c 514 1213 31531 116192 6 0 4 4 2 0.00/0.08 c 515 1216 31624 116744 6 0 3 3 1 0.00/0.09 c 516 1220 31717 117342 6 0 4 4 2 0.00/0.09 c 517 1223 31810 117894 6 0 3 3 1 0.00/0.09 c 518 1227 31903 118492 6 0 4 4 2 0.00/0.09 c 519 1230 31996 119044 6 0 3 3 1 0.00/0.09 c 520 1234 32089 119642 6 0 4 4 2 0.00/0.09 c 521 1237 32182 120194 6 0 3 3 1 0.00/0.09 c 522 1241 32275 120792 6 0 4 4 2 0.00/0.09 c 523 1244 32368 121344 6 0 3 3 1 0.00/0.09 c 524 1248 32461 121942 6 0 4 4 2 0.00/0.09 c 525 1251 32554 122494 6 0 3 3 1 0.00/0.09 c 526 1255 32647 123092 6 0 4 4 2 0.00/0.09 c 527 1258 32740 123644 6 0 3 3 1 0.00/0.09 c 528 1262 32833 124242 6 0 4 4 2 0.00/0.09 c 529 1265 32926 124794 6 0 3 3 1 0.00/0.09 c 611 973 38090 122488 6 0 5 26 21 0.00/0.09 c 530 1269 33019 125392 6 0 4 4 2 0.00/0.09 c 531 1272 33112 125944 6 0 3 3 1 0.00/0.09 c 532 1276 33205 126542 6 0 4 4 2 0.00/0.09 c 533 1279 33298 127094 6 0 3 3 1 0.00/0.09 c 534 1283 33391 127692 6 0 4 4 2 0.00/0.09 c 535 1286 33484 128244 6 0 3 3 1 0.00/0.09 c 536 1290 33577 128842 6 0 4 4 2 0.00/0.09 c 537 1293 33670 129394 6 0 3 3 1 0.00/0.09 c 538 1297 33763 129992 6 0 4 4 2 0.00/0.09 c 539 1300 33856 130544 6 0 3 3 1 0.00/0.09 c 512 1537 39509 153819 6 0 8 19 15 0.00/0.09 c 540 1304 33949 131142 6 0 4 4 2 0.00/0.09 c 541 1307 34042 131694 6 0 3 3 1 0.00/0.09 c 513 1541 39726 154820 6 0 4 4 2 0.00/0.09 c 542 1311 34135 132292 6 0 4 4 2 0.00/0.09 c 543 1314 34228 132844 6 0 3 3 1 0.00/0.09 c 514 1556 39945 155429 6 0 15 15 7 0.00/0.09 c 515 1573 40210 156068 6 0 17 17 8 0.00/0.09 c 516 1582 40381 156523 6 0 9 9 4 0.00/0.09 c 517 1599 40638 157169 6 0 17 17 8 0.00/0.09 c 518 1608 40809 157624 6 0 9 9 4 0.00/0.09 c 519 1625 41066 158270 6 0 17 17 8 0.00/0.09 c 520 1634 41237 158725 6 0 9 9 4 0.00/0.09 c 521 1651 41494 159371 6 0 17 17 8 0.00/0.09 c 522 1660 41665 159826 6 0 9 9 4 0.00/0.09 c 523 1677 41922 160472 6 0 17 17 8 0.00/0.09 c 1140 1680 38126 159241 6 0 6 20 15 0.00/0.09 c 524 1686 42093 160927 6 0 9 9 4 0.00/0.09 c 525 1703 42350 161573 6 0 17 17 8 0.00/0.09 c 526 1712 42521 162028 6 0 9 9 4 0.00/0.09 c 527 1729 42778 162674 6 0 17 17 8 0.00/0.09 c 528 1738 42949 163129 6 0 9 9 4 0.00/0.09 c 529 1755 43206 163775 6 0 17 17 8 0.00/0.09 c 1352 1905 34492 145078 6 0 9 26 23 0.00/0.09 c 530 1764 43377 164230 6 0 9 9 4 0.00/0.09 c 531 1781 43634 164876 6 0 17 17 8 0.00/0.09 c 532 1790 43805 165331 6 0 9 9 4 0.00/0.09 c 533 1807 44062 165977 6 0 17 17 8 0.00/0.09 c 534 1816 44233 166432 6 0 9 9 4 0.00/0.09 c 535 1833 44490 167078 6 0 17 17 8 0.00/0.09 c 536 1842 44661 167533 6 0 9 9 4 0.00/0.11 c 537 1859 44918 168179 6 0 17 17 8 0.00/0.11 c 538 1868 45089 168634 6 0 9 9 4 0.00/0.11 c 611 1091 40844 118264 6 0 15 25 22 0.00/0.11 c 539 1885 45346 169280 6 0 17 17 8 0.00/0.11 c 540 1894 45517 169735 6 0 9 9 4 0.00/0.11 c 541 1911 45774 170381 6 0 17 17 8 0.00/0.11 c 542 1920 45945 170836 6 0 9 9 4 0.00/0.11 c 543 1937 46202 171482 6 0 17 17 8 0.00/0.11 c 771 1283 47413 147329 6 0 6 23 17 0.00/0.11 c 1585 2212 39812 167162 6 0 12 26 23 0.77/0.12 c 1352 1978 43203 175139 6 0 2 26 21 0.77/0.12 c 1024 1910 49957 196495 6 0 3 20 16 0.77/0.12 c 1025 1915 50077 196908 6 0 5 5 2 0.77/0.12 c 1026 1917 50124 197016 6 0 2 2 1 0.77/0.12 c 1027 1919 50176 197399 6 0 2 2 1 0.77/0.12 c 1028 1924 50255 197701 6 0 5 5 2 0.77/0.12 c 1029 1926 50307 198084 6 0 2 2 1 0.77/0.12 c 1030 1931 50389 198386 6 0 5 5 2 0.77/0.12 c 1031 1933 50441 198769 6 0 2 2 1 0.77/0.13 c 1032 1938 50522 199071 6 0 5 5 2 0.77/0.13 c 1033 1940 50574 199454 6 0 2 2 1 0.77/0.13 c 1034 1945 50653 199756 6 0 5 5 2 0.77/0.13 c 1035 1947 50705 200139 6 0 2 2 1 0.77/0.13 c 1036 1952 50787 200441 6 0 5 5 2 0.77/0.13 c 1037 1954 50839 200824 6 0 2 2 1 0.77/0.13 c 1038 1959 50920 201126 6 0 5 5 2 0.77/0.13 c 1039 1961 50972 201509 6 0 2 2 1 0.77/0.13 c 1040 1966 51052 201811 6 0 5 5 2 0.77/0.13 c 1041 1968 51104 202194 6 0 2 2 1 0.77/0.13 c 1042 1973 51185 202496 6 0 5 5 2 0.77/0.13 c 1043 1975 51237 202879 6 0 2 2 1 0.77/0.13 c 1044 1980 51319 203181 6 0 5 5 2 0.77/0.13 c 1045 1982 51371 203564 6 0 2 2 1 0.77/0.13 c 1046 1987 51453 203866 6 0 5 5 2 0.77/0.13 c 1047 1989 51505 204249 6 0 2 2 1 0.77/0.13 c 1048 1994 51584 204551 6 0 5 5 2 0.77/0.13 c 1049 1996 51636 204934 6 0 2 2 1 0.77/0.13 c 1050 2001 51715 205236 6 0 5 5 2 0.77/0.13 c 1051 2003 51767 205619 6 0 2 2 1 0.77/0.13 c 1052 2008 51846 205921 6 0 5 5 2 0.77/0.13 c 1053 2010 51898 206304 6 0 2 2 1 0.77/0.13 c 1054 2015 51977 206606 6 0 5 5 2 0.77/0.13 c 1055 2017 52029 206989 6 0 2 2 1 0.77/0.13 c 1056 2022 52110 207291 6 0 5 5 2 0.77/0.13 c 1057 2024 52162 207674 6 0 2 2 1 0.77/0.13 c 1058 2029 52243 207976 6 0 5 5 2 0.77/0.13 c 1059 2031 52295 208359 6 0 2 2 1 0.77/0.13 c 1060 2036 52374 208661 6 0 5 5 2 0.77/0.13 c 1061 2038 52426 209044 6 0 2 2 1 0.77/0.13 c 1062 2043 52505 209346 6 0 5 5 2 0.77/0.13 c 1063 2045 52557 209729 6 0 2 2 1 0.77/0.13 c 1064 2050 52639 210031 6 0 5 5 2 0.77/0.13 c 1065 2052 52691 210414 6 0 2 2 1 0.77/0.13 c 1066 2057 52771 210716 6 0 5 5 2 0.77/0.13 c 1067 2059 52823 211099 6 0 2 2 1 0.77/0.13 c 1068 2064 52904 211401 6 0 5 5 2 0.77/0.13 c 1069 2066 52956 211784 6 0 2 2 1 0.77/0.13 c 1070 2071 53038 212086 6 0 5 5 2 0.77/0.13 c 1071 2073 53090 212469 6 0 2 2 1 0.77/0.13 c 1072 2078 53172 212771 6 0 5 5 2 0.77/0.13 c 1073 2080 53224 213154 6 0 2 2 1 0.77/0.13 c 1074 2085 53303 213456 6 0 5 5 2 0.77/0.13 c 1075 2087 53355 213839 6 0 2 2 1 0.77/0.13 c 1076 2092 53434 214141 6 0 5 5 2 0.77/0.13 c 1077 2094 53486 214524 6 0 2 2 1 0.77/0.13 c 1078 2099 53568 214826 6 0 5 5 2 0.77/0.13 c 1079 2101 53620 215209 6 0 2 2 1 0.77/0.13 c 1080 2106 53700 215511 6 0 5 5 2 0.77/0.13 c 1081 2109 53789 215918 6 0 3 3 1 0.77/0.13 c 1082 2114 53871 216220 6 0 5 5 2 0.77/0.13 c 1841 2573 47316 197104 6 0 9 25 21 0.77/0.13 c 1083 2117 53961 216627 6 0 3 3 1 0.77/0.13 c 1084 2122 54041 216929 6 0 5 5 2 0.77/0.13 c 1085 2125 54129 217336 6 0 3 3 1 0.77/0.13 c 1086 2130 54211 217638 6 0 5 5 2 0.77/0.13 c 1087 2133 54301 218045 6 0 3 3 1 0.77/0.13 c 771 1411 52414 156102 6 0 19 26 21 0.77/0.13 c 947 1627 56499 192156 6 0 2 27 21 0.77/0.13 c 1585 2313 50489 204428 6 0 6 24 20 0.77/0.14 c 1024 2634 57296 223218 6 0 4 24 10 0.77/0.14 c 1025 2639 57459 224036 6 0 5 5 2 0.77/0.14 c 1026 2644 57585 224803 6 0 5 5 2 0.77/0.14 c 1027 2648 57706 225425 6 0 4 4 2 0.77/0.14 c 1028 2653 57832 226192 6 0 5 5 2 0.77/0.14 c 1029 2657 57953 226814 6 0 4 4 2 0.77/0.14 c 1030 2662 58079 227581 6 0 5 5 2 0.77/0.14 c 1031 2666 58200 228203 6 0 4 4 2 0.77/0.14 c 1032 2671 58326 228970 6 0 5 5 2 0.77/0.14 c 2122 2935 52973 222532 6 0 c 1033 6 26 222675 58447 229592 6 0 4 4 2 0.77/0.14 0.77/0.15 c 1034 2680 58573 230359 6 0 5 5 2 0.77/0.15 c 1035 2684 58694 230981 6 0 4 4 2 0.77/0.15 c 1036 2689 58820 231748 6 0 5 5 2 0.77/0.15 c 1037 2693 58941 232370 6 0 4 4 2 0.77/0.15 c 1038 2698 59067 233137 6 0 5 5 2 0.77/0.15 c 1039 2702 59188 233759 6 0 4 4 2 0.77/0.15 c 1040 2707 59314 234526 6 0 5 5 2 0.77/0.15 c 1041 2711 59435 235148 6 0 4 4 2 0.77/0.15 c 1042 2716 59561 235915 6 0 5 5 2 0.77/0.15 c 1043 2720 59682 236537 6 0 4 4 2 0.77/0.15 c 1044 2725 59808 237304 6 0 5 5 2 0.77/0.15 c 1045 2729 59929 237926 6 0 4 4 2 0.77/0.15 c 1046 2734 60055 238693 6 0 5 5 2 0.77/0.15 c 1047 2738 60176 239315 6 0 4 4 2 0.77/0.15 c 1048 2743 60302 240082 6 0 5 5 2 0.77/0.15 c 1049 2747 60423 240704 6 0 4 4 2 0.77/0.15 c 1050 2752 60549 241471 6 0 5 5 2 0.77/0.15 c 1024 2847 67420 298864 6 0 9 20 18 0.77/0.15 c 1051 2756 60670 242093 6 0 4 4 2 0.77/0.15 c 1025 2851 67691 299925 6 0 4 4 2 0.77/0.15 c 1052 2761 60796 242860 6 0 5 5 2 0.77/0.15 c 1053 2765 60917 243482 6 0 4 4 2 0.77/0.15 c 1026 2860 67897 300523 6 0 9 9 4 0.77/0.15 c 1054 2770 61043 244249 6 0 5 5 2 0.77/0.15 c 1027 2871 68119 301093 6 0 11 11 5 0.77/0.15 c 1055 2774 61164 244871 6 0 4 4 2 0.77/0.15 c 1028 2882 68325 301632 6 0 11 11 5 0.77/0.15 c 1056 2779 61290 245638 6 0 5 5 2 0.77/0.15 c 1057 2783 61411 246260 6 0 4 4 2 0.77/0.15 c 1029 2893 68547 302202 6 0 11 11 5 0.77/0.15 c 1841 2709 59097 229790 6 0 6 25 21 0.77/0.15 c 1058 2788 61537 247027 6 0 5 5 2 0.77/0.15 c 1030 2904 68753 302741 6 0 11 11 5 0.77/0.15 c 1059 2792 61658 247649 6 0 4 4 2 0.77/0.15 c 1031 2915 68975 303311 6 0 11 11 5 0.77/0.15 c 1060 2797 61784 248416 6 0 5 5 2 0.77/0.15 c 1061 2801 61905 249038 6 0 4 4 2 0.77/0.15 c 1032 2926 69181 303850 6 0 11 11 5 0.77/0.15 c 1062 2806 62031 249805 6 0 5 5 2 0.77/0.15 c 1033 2937 69403 304420 6 0 11 11 5 0.77/0.15 c 1063 2810 62152 250427 6 0 4 4 2 0.77/0.15 c 1034 2948 69609 304959 6 0 11 11 5 0.77/0.15 c 1064 2815 62278 251194 6 0 5 5 2 0.77/0.15 c 1035 2959 69831 305529 6 0 11 11 5 0.77/0.15 c 1065 2819 62399 251816 6 0 4 4 2 0.77/0.15 c 1066 2824 62525 252583 6 0 5 5 2 0.77/0.15 c 1036 2970 70037 306068 6 0 11 11 5 0.77/0.15 c 1067 2828 62646 253205 6 0 4 4 2 0.77/0.15 c 1037 2981 70259 306638 6 0 11 11 5 0.77/0.15 c 1068 2833 62772 253972 6 0 5 5 2 0.77/0.15 c 1038 2992 70465 307177 6 0 11 11 5 0.77/0.15 c 1069 2837 62893 254594 6 0 4 4 2 0.77/0.15 c 1070 2842 63019 255361 6 0 5 5 2 0.77/0.15 c 1039 3003 70687 307747 6 0 11 11 5 0.77/0.15 c 1071 2846 63140 255983 6 0 4 4 2 0.77/0.15 c 1040 3014 70893 308286 6 0 11 11 5 0.77/0.15 c 1072 2851 63266 256750 6 0 5 5 2 0.77/0.15 c 1041 3025 71115 308856 6 0 11 11 5 0.77/0.15 c 1073 2855 63387 257372 6 0 4 4 2 0.77/0.15 c 1074 2860 63513 258139 6 0 5 5 2 0.77/0.15 c 1042 3036 71321 309395 6 0 11 11 5 0.77/0.15 c 1075 2864 63634 258761 6 0 4 4 2 0.77/0.15 c 1043 3047 71543 309965 6 0 11 11 5 0.77/0.15 c 1076 2869 63760 259528 6 0 5 5 2 0.77/0.15 c 1044 3058 71749 310504 6 0 11 11 5 0.77/0.15 c 1077 2873 63881 260150 6 0 4 4 2 0.77/0.15 c 1045 3069 71971 311074 6 0 11 11 5 0.77/0.16 c 1078 2878 64007 260917 6 0 5 5 2 0.77/0.16 c 1046 3080 72177 311613 6 0 11 11 5 0.77/0.16 c 1079 2882 64128 261539 6 0 4 4 2 0.77/0.16 c 1024 2663 61185 225527 6 0 4 13 10 0.77/0.16 c 1047 3091 72399 312183 6 0 11 11 5 0.77/0.16 c 1080 2887 64254 262306 6 0 5 5 2 0.77/0.16 c 1025 2666 61260 225828 6 0 3 3 1 0.77/0.16 c 1048 3102 72605 312722 6 0 11 11 5 0.77/0.16 c 1081 2891 64375 262928 6 0 4 4 2 0.77/0.16 c 1026 2671 61359 226113 6 0 5 5 2 0.77/0.16 c 1027 2676 61458 226395 6 0 5 5 2 0.77/0.16 c 1082 2896 64501 263695 6 0 5 5 2 0.77/0.16 c 1049 3113 72827 313292 6 0 11 11 5 0.77/0.16 c 1028 2681 61557 226680 6 0 5 5 2 0.77/0.16 c 1083 2900 64622 264317 6 0 4 4 2 0.77/0.16 c 1029 2686 61656 226962 6 0 5 5 2 0.77/0.16 c 1050 3124 73033 313831 6 0 11 11 5 0.77/0.16 c 1084 2905 64748 265084 6 0 5 5 2 0.77/0.16 c 1030 2691 61755 227247 6 0 5 5 2 0.77/0.16 c 1085 2909 64869 265706 6 0 4 4 2 0.77/0.16 c 1051 3135 73255 314401 c 6 1031 2696 61854 227529 0 6 0 11 11 55 5 2 0.77/0.16 0.77/0.16 c 1032 2701 61953 227814 6 0 5 5 2 0.77/0.16 c 1086 2914 64995 266473 6 0 5 5 2 0.77/0.16 c 1052 3146 73461 314940 6 0 11 11 5 0.77/0.16 c 1033 2706 62052 228096 6 0 5 5 2 0.77/0.16 c 1087 2918 65116 267095 6 0 4 4 2 0.77/0.16 c 1034 2711 62151 228381 6 0 5 5 2 0.77/0.16 c 1053 3157 73683 315510 6 0 11 11 5 0.77/0.16 c 1035 2716 62250 228663 6 0 5 5 2 0.77/0.16 c 1054 3168 73889 316049 6 0 11 11 5 0.77/0.16 c 1036 2721 62349 228948 6 0 5 5 2 0.77/0.16 c 1037 2726 62448 229230 6 0 5 5 2 0.77/0.16 c 1055 3179 74111 316619 6 0 11 11 5 0.77/0.16 c 1038 2731 62570 229798 6 0 5 5 2 0.77/0.16 c 1039 2734 62666 230379 6 0 3 3 1 0.77/0.16 c 1056 3190 74317 317158 6 0 11 11 5 0.77/0.16 c 1040 2743 62838 230875 6 0 9 9 4 0.77/0.16 c 1057 3201 74539 317728 6 0 11 11 5 0.77/0.16 c 1041 2748 62937 231157 6 0 5 5 2 0.77/0.16 c 1058 3212 74745 318267 6 0 11 11 5 0.77/0.16 c 1042 2753 63036 231442 6 0 5 5 2 0.77/0.16 c 1043 2758 63135 231724 6 0 5 5 2 0.77/0.16 c 1059 3223 74967 318837 6 0 11 11 5 0.77/0.16 c 1044 2763 63234 232009 6 0 5 5 2 0.77/0.16 c 1060 3234 75173 319376 6 0 11 11 5 0.77/0.16 c 1045 2768 63333 232291 6 0 5 5 2 0.77/0.16 c 1046 2773 63432 232576 6 0 5 5 2 0.77/0.16 c 1061 3245 75395 319946 6 0 11 11 5 0.77/0.16 c 1047 2778 63531 232858 6 0 5 5 2 0.77/0.16 c 1062 3256 75601 320485 6 0 11 11 5 0.77/0.16 c 1048 2783 63653 233426 6 0 5 5 2 0.77/0.16 c 1049 2786 63749 234007 6 0 3 3 1 0.77/0.16 c 1063 3267 75823 321055 6 0 11 11 5 0.77/0.16 c 1050 2795 63921 234503 6 0 9 9 4 0.77/0.16 c 1064 3278 76029 321594 6 0 11 11 5 0.77/0.16 c 1051 2800 64020 234785 6 0 5 5 2 0.77/0.16 c 947 1751 65931 203502 6 0 8 23 18 0.77/0.16 c 1052 2805 64119 235070 6 0 5 5 2 0.77/0.16 c 1065 3289 76251 322164 6 0 11 11 5 0.77/0.16 c 1140 1890 70482 243485 6 0 7 18 14 0.77/0.16 c 1053 2810 64218 235352 6 0 5 5 2 0.77/0.16 c 1066 3300 76457 322703 6 0 11 11 5 0.77/0.16 c 1054 2815 64317 235637 6 0 5 5 2 0.77/0.16 c 1055 2820 64416 235919 6 0 5 5 2 0.77/0.16 c 1067 3311 76679 323273 6 0 11 11 5 0.77/0.16 c 1056 2825 64515 236204 6 0 5 5 2 0.77/0.16 c 2431 3333 59966 250662 6 0 8 26 22 0.77/0.16 c 1057 2830 64614 236486 6 0 5 5 2 0.77/0.16 c 1068 3322 76885 323812 6 0 11 11 5 0.77/0.16 c 1058 2835 64736 237054 6 0 5 5 2 0.77/0.16 c 1069 3333 77107 324382 6 0 11 11 5 0.77/0.16 c 1059 2838 64832 237635 6 0 3 3 1 0.77/0.16 c 1070 3344 77313 324921 6 0 11 11 5 0.77/0.16 c 1060 2847 65004 238131 6 0 9 9 4 0.77/0.16 c 1061 2852 65103 238413 6 0 5 5 2 0.77/0.16 c 1071 3355 77535 325491 6 0 11 11 5 0.77/0.16 c 1062 2857 65202 238698 6 0 5 5 2 0.77/0.16 c 1072 3366 77741 326030 6 0 11 11 5 0.77/0.16 c 1063 2862 65301 238980 6 0 5 5 2 0.77/0.16 c 1064 2867 65400 239265 6 0 5 5 2 0.77/0.16 c 1073 3377 77963 326600 6 0 11 11 5 0.77/0.16 c 1065 2872 65499 239547 6 0 5 5 2 0.77/0.16 c 1066 2877 65598 239832 6 0 5 5 2 0.77/0.16 c 1074 3388 78169 327139 6 0 11 11 5 0.77/0.16 c 1067 2882 65697 240114 6 0 5 5 2 0.77/0.16 c 1075 3399 78391 327709 6 0 11 11 5 0.77/0.16 c 1068 2887 65819 240682 6 0 5 5 2 0.77/0.16 c 1069 2890 65915 241263 6 0 3 3 1 0.77/0.16 c 1076 3410 78597 328248 6 0 11 11 5 0.77/0.16 c 1070 2899 66087 241759 6 0 9 9 4 0.77/0.16 c 1077 3421 78819 328818 6 0 11 11 5 0.77/0.16 c 1071 2904 66186 242041 6 0 5 5 2 0.77/0.16 c 1078 3432 79025 329357 6 0 11 11 5 0.77/0.16 c 1072 2909 66285 242326 6 0 5 5 2 0.77/0.16 c 1073 2914 66384 242608 6 0 5 5 2 0.77/0.16 c 1079 3443 79247 329927 6 0 11 11 5 0.77/0.16 c 1074 2919 66483 242893 6 0 5 5 2 0.77/0.16 c 1075 2924 66582 243175 6 0 5 5 2 0.77/0.16 c 1080 3454 79453 330466 6 0 11 11 5 0.77/0.16 c 1076 2929 66681 243460 6 0 5 5 2 0.77/0.16 c c 1081 1077 34652934 66780 79675 331036 243742 6 0 6 0 11 11 5 5 5 2 0.77/0.16 0.77/0.17 c 1078 2939 66902 244310 6 0 5 5 2 0.77/0.17 c 1082 3476 79881 331575 6 0 11 11 5 0.77/0.17 c 2122 3034 65749 272225 6 0 12 22 20 0.77/0.17 c 1079 2942 66998 244891 6 0 3 3 1 0.77/0.17 c 1083 3487 80103 332145 6 0 11 11 5 0.77/0.17 c 1080 2951 67170 245387 6 0 9 9 4 0.77/0.17 c 1084 3498 80309 332684 6 0 11 11 5 0.77/0.17 c 1081 2956 67269 245669 6 0 5 5 2 0.77/0.17 c 1082 2961 67368 245954 6 0 5 5 2 0.77/0.17 c 1085 3509 80531 333254 6 0 11 11 5 0.77/0.17 c 1083 2966 67467 246236 6 0 5 5 2 0.77/0.17 c 1084 2971 67566 246521 6 0 5 5 2 0.77/0.17 c 1086 3520 80737 333793 6 0 11 11 5 0.77/0.17 c 1085 2976 67665 246803 6 0 5 5 2 0.77/0.17 c 1087 3531 80959 334363 6 0 11 11 5 0.77/0.17 c 1086 2981 67764 247088 6 0 5 5 2 0.77/0.17 c 1087 2986 67863 247370 6 0 5 5 2 0.77/0.18 c 2770 3773 67581 284417 6 0 9 24 20 0.77/0.18 c 2431 3446 73745 308061 6 0 6 25 22 0.77/0.19 c 1352 2168 86799 302948 6 0 7 17 13 0.77/0.19 c 1140 2119 79386 251869 6 0 18 25 21 0.77/0.20 c 3142 4253 76663 328651 6 0 9 26 23 1.64/0.22 c 3551 4814 86041 365590 6 0 10 26 22 1.64/0.22 c 1585 2515 106895 348649 6 0 5 16 15 1.64/0.23 c 2770 3951 89982 378566 6 0 8 20 15 1.64/0.23 c 1352 2502 92162 312745 6 0 18 26 21 1.64/0.23 c 2048 3416 96455 391025 6 0 5 20 17 1.64/0.23 c 2049 3427 96722 392079 6 0 11 11 5 1.64/0.23 c 2050 3431 96810 392497 6 0 4 4 2 1.64/0.23 c 2051 3433 96862 392880 6 0 2 2 1 1.64/0.23 c 2052 3438 96941 393182 6 0 5 5 2 1.64/0.23 c 2053 3440 96993 393565 6 0 2 2 1 1.64/0.23 c 2054 3445 97072 393867 6 0 5 5 2 1.64/0.23 c 2055 3447 97124 394250 6 0 2 2 1 1.64/0.23 c 2056 3452 97205 394552 6 0 5 5 2 1.64/0.23 c 2057 3454 97257 394935 6 0 2 2 1 1.64/0.23 c 2058 3459 97339 395237 6 0 5 5 2 1.64/0.23 c 2059 3461 97391 395620 6 0 2 2 1 1.64/0.23 c 2060 3466 97470 395922 6 0 5 5 2 1.64/0.23 c 2061 3468 97522 396305 6 0 2 2 1 1.64/0.23 c 2062 3473 97601 396607 6 0 5 5 2 1.64/0.23 c 2063 3475 97653 396990 6 0 2 2 1 1.64/0.23 c 2064 3480 97735 397292 6 0 5 5 2 1.64/0.23 c 2065 3482 97787 397675 6 0 2 2 1 1.64/0.23 c 2066 3487 97866 397977 6 0 5 5 2 1.64/0.23 c 2067 3490 97957 398384 6 0 3 3 1 1.64/0.23 c 2068 3495 98037 398686 6 0 5 5 2 1.64/0.23 c 2069 3498 98127 399093 6 0 3 3 1 1.64/0.23 c 2070 3503 98209 399395 6 0 5 5 2 1.64/0.23 c 2071 3506 98301 399802 6 0 3 3 1 1.64/0.23 c 2072 3511 98382 400104 6 0 5 5 2 1.64/0.23 c 2073 3514 98472 400511 6 0 3 3 1 1.64/0.23 c 2074 3519 98551 400813 6 0 5 5 2 1.64/0.23 c 2075 3522 98640 401220 6 0 3 3 1 1.64/0.23 c 2076 3527 98721 401522 6 0 5 5 2 1.64/0.23 c 2077 3530 98811 401929 6 0 3 3 1 1.64/0.23 c 2078 3535 98890 402231 6 0 5 5 2 1.64/0.23 c 2079 3538 98982 402638 6 0 3 3 1 1.64/0.23 c 2080 3543 99063 402940 6 0 5 5 2 1.64/0.23 c 2081 3546 99153 403347 6 0 3 3 1 1.64/0.23 c 2082 3551 99235 403649 6 0 5 5 2 1.64/0.23 c 2083 3554 99324 404056 6 0 3 3 1 1.64/0.23 c 2084 3559 99405 404358 6 0 5 5 2 1.64/0.23 c 2085 3562 99495 404765 6 0 3 3 1 1.64/0.23 c 2086 3567 99576 405067 6 0 5 5 2 1.64/0.23 c 2087 3570 99668 405474 6 0 3 3 1 1.64/0.23 c 2088 3575 99750 405776 6 0 5 5 2 1.64/0.23 c 2089 3578 99840 406183 6 0 3 3 1 1.64/0.23 c 2090 3583 99922 406485 6 0 5 5 2 1.64/0.23 c 2091 3586 100013 406892 6 0 3 3 1 1.64/0.23 c 2092 3591 100094 407194 6 0 5 5 2 1.64/0.23 c 2093 3594 100184 407601 6 0 3 3 1 1.64/0.23 c 2094 3599 100265 407903 6 0 5 5 2 1.64/0.23 c 2095 3602 100356 408310 6 0 3 3 1 1.64/0.23 c 2096 3607 100437 408612 6 0 5 5 2 1.64/0.23 c 2097 3610 100527 409019 6 0 3 3 1 1.64/0.23 c 2098 3615 100609 409321 6 0 5 5 2 1.64/0.23 c 2099 3618 100700 409728 6 0 3 3 1 1.64/0.23 c 2100 3623 100779 410030 6 0 5 5 2 1.64/0.23 c 2101 3626 100869 410437 6 0 3 3 1 1.64/0.23 c 2102 3631 100948 410739 6 0 5 5 2 1.64/0.23 c 2103 3634 101040 411146 6 0 3 3 1 1.64/0.23 c 2104 3639 101120 411448 6 0 5 5 2 1.64/0.23 c 2105 3642 101210 411855 6 0 3 3 1 1.64/0.23 c 2106 3647 101292 412157 6 0 5 5 2 1.64/0.23 c 2107 3650 101383 412564 6 0 3 3 1 1.64/0.23 c 2108 3655 101464 412866 6 0 5 5 2 1.64/0.23 c 2109 3658 101554 413273 6 0 3 3 1 1.64/0.23 c 2110 3663 101633 413575 6 0 5 5 2 1.64/0.23 c 2111 3666 101723 413982 6 0 3 3 1 1.64/0.23 c 2112 3671 101803 414284 6 0 5 5 2 1.64/0.24 c 2113 3674 101893 414691 6 0 3 3 1 1.64/0.24 c 2114 3679 101972 414993 6 0 5 5 2 1.64/0.24 c 2115 3682 102063 415400 6 0 3 3 1 1.64/0.24 c 2116 3687 102145 415702 6 0 5 5 2 1.64/0.24 c 2117 3690 102235 416109 6 0 3 3 1 1.64/0.24 c 2118 3695 102317 416411 6 0 5 5 2 1.64/0.24 c 2119 3698 102407 416818 6 0 3 3 1 1.64/0.24 c 2120 3703 102488 417120 6 0 5 5 2 1.64/0.24 c 2121 3706 102578 417527 6 0 3 3 1 1.64/0.24 c 2122 3711 102659 417829 6 0 5 5 2 1.64/0.24 c 2123 3714 102750 418236 6 0 3 3 1 1.64/0.24 c 2124 3719 102832 418538 6 0 5 5 2 1.64/0.24 c 2125 3722 102922 418945 6 0 3 3 1 1.64/0.24 c 2126 3727 103004 419247 6 0 5 5 2 1.64/0.24 c 2127 3730 103096 419654 6 0 3 3 1 1.64/0.24 c 2128 3735 103177 419956 6 0 5 5 2 1.64/0.24 c 2129 3738 103267 420363 6 0 3 3 1 1.64/0.24 c 2130 3743 103349 420665 6 0 5 5 2 1.64/0.24 c 2131 3746 103439 421072 6 0 3 3 1 1.64/0.24 c 2132 3751 103520 421374 6 0 5 5 2 1.64/0.24 c 2133 3754 103610 421781 6 0 3 3 1 1.64/0.24 c 2134 3759 103692 422083 6 0 5 5 2 1.64/0.24 c 2135 3762 103784 422490 6 0 3 3 1 1.64/0.24 c 2136 3767 103863 422792 6 0 5 5 2 1.64/0.24 c 2137 3770 103953 423199 6 0 3 3 1 1.64/0.24 c 2138 3775 104032 423501 6 0 5 5 2 1.64/0.24 c 2139 3778 104123 423908 6 0 3 3 1 1.64/0.24 c 2140 3783 104203 424210 6 0 5 5 2 1.64/0.24 c 2141 3786 104293 424617 6 0 3 3 1 1.64/0.24 c 2142 3791 104375 424919 6 0 5 5 2 1.64/0.24 c 2143 3794 104467 425326 6 0 3 3 1 1.64/0.24 c 2144 3799 104548 425628 6 0 5 5 2 1.64/0.24 c 2145 3802 104638 426035 6 0 3 3 1 1.64/0.24 c 2146 3807 104717 426337 6 0 5 5 2 1.64/0.24 c 2147 3810 104806 426744 6 0 3 3 1 1.64/0.24 c 2148 3815 104887 427046 6 0 5 5 2 1.64/0.24 c 2149 3818 104977 427453 6 0 3 3 1 1.64/0.24 c 2150 3823 105056 427755 6 0 5 5 2 1.64/0.24 c 2151 3826 105148 428162 6 0 3 3 1 1.64/0.24 c 2152 3831 105229 428464 6 0 5 5 2 1.64/0.24 c 2153 3834 105319 428871 6 0 3 3 1 1.64/0.24 c 2154 3839 105401 429173 6 0 5 5 2 1.64/0.24 c 2155 3842 105490 429580 6 0 3 3 1 1.64/0.24 c 2156 3847 105571 429882 6 0 5 5 2 1.64/0.24 c 2157 3850 105661 430289 6 0 3 3 1 1.64/0.24 c 2158 3855 105742 430591 6 0 5 5 2 1.64/0.24 c 2159 3858 105834 430998 6 0 3 3 1 1.64/0.24 c 2160 3863 105916 431300 6 0 5 5 2 1.64/0.24 c 2048 4826 106074 367235 6 0 5 28 19 1.64/0.24 c 2161 3866 106006 431707 6 0 3 3 1 1.64/0.24 c 2162 3871 106088 432009 6 0 5 5 2 1.64/0.24 c 2049 4831 106231 368015 6 0 5 5 2 1.64/0.24 c 2163 3874 106179 432416 6 0 3 3 1 1.64/0.24 c 2050 4835 106350 c 368613 2164 6 0 3879106260 4 4 2432718 6 1.64/0.25 0 5 5 2 1.64/0.25 c 2051 4839 106468 369206 6 0 4 4 2 1.64/0.25 c 2165 3882 106350 433125 6 0 3 3 1 1.64/0.25 c 2052 4843 106587 369804 6 0 4 4 2 1.64/0.25 c 2166 3887 106431 433427 6 0 5 5 2 1.64/0.25 c 2053 4847 106705 370397 6 0 4 4 2 1.64/0.25 c 2167 3890 106522 433834 6 0 3 3 1 1.64/0.25 c 2168 3895 106603 434136 6 0 5 5 2 1.64/0.25 c 2054 4851 106824 370995 6 0 4 4 2 1.64/0.25 c 2169 3898 106693 434543 6 0 3 3 1 1.64/0.25 c 2055 4855 106942 371588 6 0 4 4 2 1.64/0.25 c 2170 3903 106775 434845 6 0 5 5 2 1.64/0.25 c 2056 4859 107061 372186 6 0 4 4 2 1.64/0.25 c 2171 3906 106866 435252 6 0 3 3 1 1.64/0.25 c 2172 3911 106945 435554 6 0 5 5 2 1.64/0.25 c 2057 4863 107179 372779 6 0 4 4 2 1.64/0.25 c 2173 3914 107035 435961 6 0 3 3 1 1.64/0.25 c 2058 4867 107298 373377 6 0 4 4 2 1.64/0.25 c 2174 3919 107114 436263 6 0 5 5 2 1.64/0.25 c 2175 3922 107206 436670 6 0 3 3 1 1.64/0.25 c 2059 4871 107416 373970 6 0 4 4 2 1.64/0.25 c 2060 4875 107535 374568 6 0 4 4 2 1.64/0.25 c 2061 4879 107653 375161 6 0 4 4 2 1.64/0.25 c 2062 4883 107772 375759 6 0 4 4 2 1.64/0.25 c 2063 4887 107890 376352 6 0 4 4 2 1.64/0.25 c 2064 4891 108009 376950 6 0 4 4 2 1.64/0.25 c 2065 4895 108127 377543 6 0 4 4 2 1.64/0.25 c 2066 4899 108246 378141 6 0 4 4 2 1.64/0.25 c 2067 4903 108364 378734 6 0 4 4 2 1.64/0.25 c 2068 4907 108483 379332 6 0 4 4 2 1.64/0.25 c 2069 4911 108601 379925 6 0 4 4 2 1.64/0.25 c 2070 4915 108720 380523 6 0 4 4 2 1.64/0.25 c 2071 4919 108838 381116 6 0 4 4 2 1.64/0.25 c 2072 4923 108957 381714 6 0 4 4 2 1.64/0.25 c 2073 4927 109075 382307 6 0 4 4 2 1.64/0.25 c 2074 4931 109194 382905 6 0 4 4 2 1.64/0.25 c 2075 4935 109312 383498 6 0 4 4 2 1.64/0.25 c 2076 4939 109431 384096 6 0 4 4 2 1.64/0.25 c 2077 4943 109549 384689 6 0 4 4 2 1.64/0.25 c 2078 4947 109668 385287 6 0 4 4 2 1.64/0.25 c 2079 4951 109786 385880 6 0 4 4 2 1.64/0.25 c 2080 4955 109905 386478 6 0 4 4 2 1.64/0.25 c 2081 4959 110023 387071 6 0 4 4 2 1.64/0.25 c 2082 4963 110142 387669 6 0 4 4 2 1.64/0.25 c 2083 4967 110260 388262 6 0 4 4 2 1.64/0.25 c 2084 4971 110379 388860 6 0 4 4 2 1.64/0.25 c 2085 4975 110497 389453 6 0 4 4 2 1.64/0.25 c 2086 4979 110616 390051 6 0 4 4 2 1.64/0.25 c 2087 4983 110734 390644 6 0 4 4 2 1.64/0.25 c 2088 4987 110853 391242 6 0 4 4 2 1.64/0.25 c 2089 4991 110971 391835 6 0 4 4 2 1.64/0.25 c 2090 4995 111090 392433 6 0 4 4 2 1.64/0.25 c 2091 4999 111208 393026 6 0 4 4 2 1.64/0.25 c 2092 5003 111327 393624 6 0 4 4 2 1.64/0.25 c 2093 5007 111445 394217 6 0 4 4 2 1.64/0.25 c c 2094 5011 3142111564 4429 103446 394815 432554 6 0 4 4 26 0 1.64/0.25 17 22 20 1.64/0.25 c 2095 5015 111682 395408 6 0 4 4 2 1.64/0.25 c 2096 5019 111801 396006 6 0 4 4 2 1.64/0.25 c 4000 5420 98812 416221 6 0 6 25 21 1.64/0.25 c 2097 5023 111919 396599 6 0 4 4 2 1.64/0.26 c 2098 5027 112038 397197 6 0 4 4 2 1.64/0.26 c 2099 5031 112156 397790 6 0 4 4 2 1.64/0.26 c 2100 5035 112275 398388 6 0 4 4 2 1.64/0.27 c 2101 5039 112393 398981 6 0 4 4 2 1.64/0.27 c 2102 5043 112512 399579 6 0 4 4 2 1.64/0.27 c 2103 5047 112630 400172 6 0 4 4 2 1.64/0.27 c 2104 5051 112749 400770 6 0 4 4 2 1.64/0.27 c 1585 2947 105848 363816 6 0 15 25 20 1.64/0.27 c 2105 5055 112867 401363 6 0 4 4 2 1.64/0.27 c 2106 5059 112986 401961 6 0 4 4 2 1.64/0.27 c 2107 5063 113104 402554 6 0 4 4 2 1.64/0.27 c 2108 5067 113223 403152 6 0 4 4 2 1.64/0.27 c 2109 5071 113341 403745 6 0 4 4 2 1.64/0.27 c 1841 2968 123066 396328 6 0 4 21 17 1.64/0.27 c 2110 5075 113460 404343 6 0 4 4 2 1.64/0.27 c 2111 5079 113578 404936 6 0 4 4 2 1.64/0.27 c 2048 6026 124929 558101 6 0 7 17 15 1.64/0.27 c 2112 5083 113697 405534 6 0 4 4 2 1.64/0.27 c 2049 6035 125111 558603 6 0 9 9 4 1.64/0.27 c 2113 5087 113815 406127 6 0 4 4 2 1.64/0.27 c 2050 6044 125272 559080 6 0 9 9 4 1.64/0.27 c 2114 5091 113934 406725 6 0 4 4 2 1.64/0.27 c 2051 6055 125476 559581 6 0 11 11 5 1.64/0.27 c 2115 5095 114052 407318 6 0 4 4 2 1.64/0.27 c 2052 6066 125669 560106 6 0 11 11 5 1.64/0.27 c 2116 5099 114171 407916 6 0 4 4 2 1.64/0.27 c 2117 5103 114289 408509 6 0 4 4 2 1.64/0.27 c 2053 6077 125873 560607 6 0 11 11 5 1.64/0.27 c 2118 5107 114408 409107 6 0 4 4 2 1.64/0.27 c 2054 6088 126066 561132 6 0 11 11 5 1.64/0.27 c 2119 5111 114526 409700 6 0 4 4 2 1.64/0.27 c 2055 6099 126270 561633 6 0 11 11 5 1.64/0.27 c 2120 5115 114645 410298 6 0 4 4 2 1.64/0.27 c 2056 6110 126463 562158 6 0 11 11 5 1.64/0.27 c 2121 5119 114763 410891 6 0 4 4 2 1.64/0.27 c 2057 6121 126667 562659 6 0 11 11 5 1.64/0.27 c 2122 5123 114882 411489 6 0 4 4 2 1.64/0.27 c 2123 5127 115000 412082 6 0 4 4 2 1.64/0.27 c 2058 6132 126860 563184 6 0 11 11 5 1.64/0.27 c 2124 5131 115119 412680 6 0 4 4 2 1.64/0.27 c 2059 6143 127064 563685 6 0 11 11 5 1.64/0.27 c 2125 5135 115237 413273 6 0 4 4 2 1.64/0.27 c 2060 6154 127257 564210 6 0 11 11 5 1.64/0.27 c 2126 5139 115356 413871 6 0 4 4 2 1.64/0.27 c 2061 6165 127461 564711 6 0 11 11 5 1.64/0.27 c 2127 5143 115474 414464 6 0 4 4 2 1.64/0.27 c 2128 5147 115593 415062 6 0 4 4 2 1.64/0.27 c 2062 6176 127654 565236 6 0 11 11 5 1.64/0.27 c 2129 5151 115711 415655 6 0 4 4 2 1.64/0.27 c 2063 6187 127858 565737 6 0 11 11 5 1.64/0.27 c 2130 5155 115830 416253 6 0 4 4 2 1.64/0.27 c 2064 6198 128051 566262 6 0 11 11 5 1.64/0.27 c 2131 5159 115948 416846 6 0 4 4 2 1.64/0.27 c 2065 6209 128255 566763 6 0 11 11 5 1.64/0.27 c 2132 5163 116067 417444 6 0 4 4 2 1.64/0.27 c 2133 5167 116185 418037 6 0 4 4 2 1.64/0.27 c 2066 6220 128448 567288 6 0 11 11 5 1.64/0.27 c 2134 5171 116304 418635 6 0 4 4 2 1.64/0.27 c 2067 6231 128652 567789 6 0 11 11 5 1.64/0.27 c 2135 5175 116422 419228 6 0 4 4 2 1.64/0.27 c 2068 6242 128845 568314 6 0 11 11 5 1.64/0.27 c 2136 5179 116541 419826 6 0 4 4 2 1.64/0.27 c 2137 5183 116659 420419 6 0 c 2069 4 4 26253 129049 1.64/0.27 568815 6 0 11 11 5 1.64/0.27 c 2138 5187 116778 421017 6 0 4 4 2 1.64/0.27 c 2070 6264 129242 569340 6 0 11 11 5 1.64/0.27 c 2139 5191 116896 421610 6 0 4 4 2 1.64/0.27 c 2071 6275 129446 569841 6 0 11 11 5 1.64/0.27 c 2140 5195 117015 422208 6 0 4 4 2 1.64/0.27 c 2072 6286 129639 570366 6 0 11 11 5 1.64/0.27 c 2141 5199 117133 422801 6 0 4 4 2 1.64/0.27 c 2073 6297 129843 570867 6 0 11 11 5 1.64/0.27 c 2142 5203 117252 423399 6 0 4 4 2 1.64/0.27 c 2143 5207 117370 423992 6 0 4 4 2 1.64/0.27 c 2074 6308 130036 571392 6 0 11 11 5 1.64/0.27 c 2144 5211 117489 424590 6 0 4 4 2 1.64/0.27 c 2075 6319 130240 571893 6 0 11 11 5 1.64/0.27 c 2145 5215 117607 425183 6 0 4 4 2 1.64/0.27 c 2076 6330 130433 572418 6 0 11 11 5 1.64/0.27 c 2146 5219 117726 425781 6 0 4 4 2 1.64/0.27 c 2077 6341 130637 572919 6 0 11 11 5 1.64/0.27 c 2147 5223 117844 426374 6 0 4 4 2 1.64/0.27 c 2078 6352 130830 573444 6 0 11 11 5 1.64/0.28 c 2148 5227 117963 426972 6 0 4 4 2 1.64/0.28 c 2079 6363 131034 573945 6 0 11 11 5 1.64/0.28 c 2149 5231 118081 427565 6 0 4 4 2 1.64/0.28 c 2080 6374 131227 574470 6 0 11 11 5 1.64/0.28 c 2150 5235 118200 428163 6 0 4 4 2 1.64/0.28 c 2081 6385 131431 574971 6 0 11 11 5 1.64/0.28 c 2151 5239 118318 428756 6 0 4 4 2 1.64/0.28 c 2082 6396 131624 575496 6 0 11 11 5 1.64/0.28 c 2152 5243 118437 429354 6 0 4 4 2 1.64/0.28 c 2083 6407 131828 575997 6 0 11 11 5 1.64/0.28 c 2153 5247 118555 429947 6 0 4 4 2 1.64/0.28 c 2084 6418 132021 576522 6 0 11 11 5 1.64/0.28 c 2154 5251 118674 430545 6 0 4 4 2 1.64/0.28 c 2155 5255 118792 431138 6 0 4 4 2 1.64/0.28 c 2085 6429 132225 577023 6 0 11 11 5 1.64/0.28 c 2156 5259 118911 431736 6 0 4 4 2 1.64/0.28 c 2086 6440 132418 577548 6 0 11 11 5 1.64/0.28 c 2157 5263 119029 432329 6 0 4 4 2 1.64/0.28 c 2087 6451 132622 578049 6 0 11 11 5 1.64/0.28 c 2158 5267 119148 432927 6 0 4 4 2 1.64/0.28 c 2088 6462 132815 578574 6 0 11 11 5 1.64/0.28 c 2159 5271 119266 433520 6 0 4 4 2 1.64/0.28 c 2160 5275 119385 434118 6 0 4 4 2 1.64/0.28 c 2089 6473 133019 579075 6 0 11 11 5 1.64/0.28 c 2161 5279 119503 434711 6 0 4 4 2 1.64/0.28 c 2090 6484 133212 579600 6 0 11 11 5 1.64/0.28 c 2162 5283 119622 435309 6 0 4 4 2 1.64/0.28 c 2091 6495 133416 580101 6 0 11 11 5 1.64/0.28 c 2163 5287 119740 435902 6 0 4 4 2 1.64/0.28 c 2092 6506 133609 580626 6 0 11 11 5 1.64/0.28 c 2164 5291 119859 436500 6 0 4 4 2 1.64/0.28 c 2165 5295 119977 437093 6 0 4 4 2 1.64/0.28 c 2093 6517 133813 581127 6 0 11 11 5 1.64/0.28 c 2166 5299 120096 437691 6 0 4 4 2 1.64/0.28 c 2094 6528 134006 581652 6 0 11 11 5 1.64/0.28 c 2167 5303 120214 438284 6 0 4 4 2 1.64/0.28 c 2095 6539 134210 582153 6 0 11 11 5 1.64/0.28 c 2168 5307 120333 438882 6 0 4 4 2 1.64/0.28 c 2096 6550 134403 582678 6 0 11 11 5 1.64/0.28 c 2169 5311 120451 439475 6 0 4 4 2 1.64/0.28 c 2170 5315 120570 440073 6 0 4 4 2 1.64/0.28 c 2097 6561 134607 583179 6 0 11 11 5 1.64/0.28 c 2171 5319 120688 440666 6 0 4 4 2 1.64/0.28 c 2098 6572 134800 583704 6 0 11 11 5 1.64/0.28 c 2172 5323 120807 441264 6 0 4 4 2 1.64/0.28 c 2099 6583 135004 584205 6 0 11 11 5 1.64/0.28 c 2173 5327 120925 441857 6 0 4 4 2 1.64/0.28 c 2100 6594 135197 584730 6 0 11 11 5 1.64/0.28 c 2174 5331 121044 442455 6 0 4 4 2 1.64/0.28 c 2175 5335 121162 443048 6 0 4 4 2 1.64/0.28 c 2101 6605 135401 585231 6 0 11 11 5 1.64/0.28 c 2102 6616 135594 585756 6 0 11 11 5 1.64/0.28 c 2103 6627 135798 586257 6 0 11 11 5 1.64/0.28 c 2104 6638 135991 586782 6 0 11 11 5 1.64/0.28 c 2105 6649 136195 587283 6 0 11 11 5 1.64/0.28 c 2106 6660 136388 587808 6 0 11 11 5 1.64/0.28 c 2107 6671 136592 588309 6 0 11 11 5 1.64/0.28 c 2108 6682 136785 588834 6 0 11 11 5 1.64/0.28 c 2109 6693 136989 589335 6 0 11 11 5 1.64/0.28 c 2110 6704 137182 589860 6 0 11 11 5 1.64/0.28 c 2111 6715 137386 590361 6 0 11 11 5 1.64/0.28 c 2112 6726 137579 590886 6 0 11 11 5 1.64/0.28 c 2048 4628 119351 393148 6 0 5 27 24 1.64/0.28 c 2113 6737 137783 591387 6 0 11 11 5 1.64/0.28 c 2049 4632 119479 393770 6 0 4 4 2 1.64/0.28 c 2050 4636 119568 394276 6 0 c 2114 4 4 2 6748 1.64/0.28 137976 591912 6 0 11 11 5 1.64/0.28 c 2051 4639 119664 394857 6 0 3 3 1 1.64/0.28 c 2115 6759 138180 592413 6 0 11 11 5 1.64/0.28 c 2052 4643 119753 395363 6 0 4 4 2 1.64/0.28 c 2053 4646 119849 395944 6 0 3 3 1 1.64/0.28 c 2116 6770 138373 592938 6 0 11 11 5 1.64/0.28 c 2054 4650 119938 396450 6 0 4 4 2 1.64/0.28 c 2055 4653 120034 397031 6 0 3 3 1 1.64/0.28 c 2117 6781 138577 593439 6 0 11 11 5 1.64/0.28 c 2056 4657 120123 397537 6 0 4 4 2 1.64/0.28 c 2057 4660 120219 398118 6 0 3 3 1 1.64/0.28 c 2118 6792 138770 593964 6 0 11 11 5 1.64/0.28 c 2058 4664 120308 398624 6 0 4 4 2 1.64/0.28 c 2059 4667 120404 399205 6 0 3 3 1 1.64/0.28 c 2119 6803 138974 594465 6 0 11 11 5 1.64/0.28 c 2060 4671 120493 399711 6 0 4 4 2 1.64/0.28 c 2120 6814 139167 594990 6 0 11 11 5 1.64/0.28 c 2061 4674 120589 400292 6 0 3 3 1 1.64/0.28 c 2062 4678 120678 400798 6 0 4 4 2 1.64/0.28 c 2121 6825 139371 595491 6 0 11 11 5 1.64/0.28 c 2063 4681 120774 401379 6 0 3 3 1 1.64/0.28 c 2064 4685 120863 401885 6 0 4 4 2 1.64/0.28 c 2122 6836 139564 596016 6 0 11 11 5 1.64/0.28 c 2065 4688 120959 402466 6 0 3 3 1 1.64/0.28 c 2066 4692 121048 402972 6 0 4 4 2 1.64/0.28 c 2123 6847 139768 596517 6 0 11 11 5 1.64/0.28 c 2067 4695 121144 403553 6 0 3 3 1 1.64/0.28 c 2124 6858 139961 597042 6 0 11 11 5 1.64/0.28 c 2068 4699 121233 404059 6 0 4 4 2 1.64/0.28 c 2069 4702 121329 404640 6 0 3 3 1 1.64/0.28 c 2125 6869 140165 597543 6 0 11 11 5 1.64/0.28 c 2070 4706 121418 405146 6 0 4 4 2 1.64/0.28 c 2071 4709 121514 405727 6 0 3 3 1 1.64/0.28 c 2126 6880 140358 598068 6 0 11 11 5 1.64/0.28 c 2072 4713 121603 406233 6 0 4 4 2 1.64/0.28 c 2073 4716 121699 406814 6 0 3 3 1 1.64/0.28 c 2127 6891 140562 598569 6 0 11 11 5 1.64/0.28 c 2074 4720 121788 407320 6 0 4 4 2 1.64/0.28 c 2128 6902 140755 599094 6 0 11 11 5 1.64/0.28 c 2075 4723 121884 407901 6 0 3 3 1 1.64/0.28 c 2076 4727 121973 408407 6 0 4 4 2 1.64/0.28 c 2129 6913 140959 599595 6 0 11 11 5 1.64/0.28 c 2077 4730 122069 408988 6 0 3 3 1 1.64/0.28 c 2078 4734 122158 409494 6 0 4 4 2 1.64/0.28 c 2130 6924 141152 600120 6 0 11 11 5 1.64/0.28 c 2079 4737 122254 410075 6 0 3 3 1 1.64/0.28 c 2080 4741 122343 410581 6 0 4 4 2 1.64/0.28 c 2131 6935 141356 600621 6 0 11 11 5 1.64/0.28 c 2081 4744 122439 411162 6 0 3 3 1 1.64/0.28 c 3551 4941 115639 499316 6 0 15 22 19 1.64/0.28 c 2082 4748 122528 411668 6 0 4 4 2 1.64/0.28 c 2132 6946 141549 601146 6 0 11 11 5 1.64/0.28 c 2083 4751 122624 412249 6 0 3 3 1 1.64/0.28 c 2133 6957 141753 601647 6 0 11 11 5 1.64/0.28 c 2084 4755 122713 412755 6 0 4 4 2 1.64/0.28 c 2085 4758 122809 413336 6 0 3 3 1 1.64/0.28 c 2134 6968 141946 602172 6 0 11 11 5 1.64/0.28 c 2086 4762 122898 413842 6 0 4 4 2 1.64/0.28 c 2087 4765 122994 414423 6 0 3 3 1 1.64/0.28 c 2135 6979 142150 602673 6 0 11 11 5 1.64/0.28 c 2088 4769 123083 414929 6 0 4 4 2 1.64/0.28 c 2136 6990 142343 603198 6 0 11 11 5 1.64/0.28 c 2089 4772 123179 415510 6 0 3 3 1 1.64/0.28 c 2090 4776 123268 416016 6 0 4 4 2 1.64/0.28 c 2137 7001 142547 603699 6 0 11 11 5 1.64/0.28 c 2091 4779 123364 416597 6 0 3 3 1 1.64/0.28 c 2092 4783 123453 417103 6 0 4 4 2 1.64/0.28 c 2138 7012 142740 604224 6 0 11 11 5 1.64/0.28 c 2093 4786 123549 417684 6 0 3 3 1 1.64/0.28 c 2094 4790 123638 418190 6 0 4 4 2 1.64/0.28 c 2139 7023 142944 604725 6 0 11 11 5 1.64/0.28 c 2095 4793 123734 418771 6 0 3 3 1 1.64/0.28 c 2140 7034 143137 605250 6 0 c 2096 4797 123823 11 11 5 1.64/0.30 419277 c 6 0 4493 6040 110494 463848 6 0 4 4 2 1.64/0.30 20 27 23 1.64/0.30 c 2141 7045 143341 605751 6 0 11 11 5 1.64/0.30 c 2097 4800 123919 419858 6 0 3 3 1 1.64/0.30 c 2142 7056 143534 606276 6 0 11 11 5 1.64/0.30 c 2098 4804 124008 420364 6 0 4 4 2 1.64/0.30 c 2099 4807 124104 420945 6 0 3 3 1 1.64/0.30 c 2143 7067 143738 606777 6 0 11 11 5 1.64/0.30 c 2100 4811 124193 421451 6 0 4 4 2 1.64/0.30 c 2101 4814 124289 422032 6 0 3 3 1 1.64/0.30 c 2144 7078 143931 607302 6 0 11 11 5 1.64/0.30 c 2102 4818 124378 422538 6 0 4 4 2 1.64/0.30 c 2103 4821 124474 423119 6 0 3 3 1 1.64/0.30 c 2145 7089 144135 607803 6 0 11 11 5 1.64/0.30 c 2104 4825 124563 423625 6 0 4 4 2 1.64/0.30 c 2146 7100 144328 608328 6 0 11 11 5 1.64/0.30 c 2105 4828 124659 424206 6 0 3 3 1 1.64/0.30 c 2106 4832 124748 424712 6 0 4 4 2 1.64/0.30 c 2147 7111 144532 608829 6 0 11 11 5 1.64/0.30 c 2107 4835 124844 425293 6 0 3 3 1 1.64/0.30 c 2108 4839 124933 425799 6 0 4 4 2 1.64/0.30 c 2148 7122 144725 609354 6 0 11 11 5 1.64/0.30 c 2109 4842 125029 426380 6 0 3 3 1 1.64/0.30 c 2110 4846 125118 426886 6 0 4 4 2 1.64/0.30 c 2149 7133 144929 609855 6 0 11 11 5 1.64/0.30 c 2111 4849 125214 427467 6 0 3 3 1 1.64/0.30 c 2150 7144 145122 610380 6 0 11 11 5 1.64/0.30 c 2112 4853 125303 427973 6 0 4 4 2 1.64/0.30 c 2113 4856 125399 428554 6 0 3 3 1 1.64/0.30 c 2151 7155 145326 610881 6 0 11 11 5 1.64/0.30 c 2114 4860 125488 429060 6 0 4 4 2 1.64/0.30 c 2115 4863 125584 429641 6 0 3 3 1 1.64/0.30 c 2152 7166 145519 611406 6 0 11 11 5 1.64/0.30 c 2116 4867 125673 430147 6 0 4 4 2 1.64/0.30 c 2117 4870 125769 430728 6 0 3 3 1 1.64/0.30 c 2153 7177 145723 611907 6 0 11 11 5 1.64/0.30 c 2118 4874 125858 431234 6 0 4 4 2 1.64/0.30 c 2154 7188 145916 612432 6 0 11 11 5 1.64/0.30 c 2119 4877 125954 431815 6 0 3 3 1 1.64/0.30 c 2120 4881 126043 432321 6 0 4 4 2 1.64/0.30 c 2155 7199 146120 612933 6 0 11 11 5 1.64/0.30 c 2121 4884 126139 432902 6 0 3 3 1 1.64/0.30 c 2122 4888 126228 433408 6 0 4 4 2 1.64/0.30 c 2156 7210 146313 613458 6 0 11 11 5 1.64/0.30 c 2123 4891 126324 433989 6 0 3 3 1 1.64/0.30 c 2124 4895 126413 434495 6 0 4 4 2 1.64/0.30 c 2157 7221 146517 613959 6 0 11 11 5 1.64/0.30 c 2125 4898 126509 435076 6 0 3 3 1 1.64/0.30 c 2158 7232 146710 614484 6 0 11 11 5 1.64/0.30 c 2126 4902 126598 435582 6 0 4 4 2 1.64/0.30 c 2127 4905 126694 436163 6 0 3 3 1 1.64/0.30 c 2159 7243 146914 614985 6 0 11 11 5 1.64/0.30 c 2128 4909 126783 436669 6 0 4 4 2 1.64/0.30 c 2129 4912 126879 437250 6 0 3 3 1 1.64/0.30 c 2160 7254 147107 615510 6 0 11 11 5 1.64/0.30 c 2130 4916 126968 437756 6 0 4 4 2 1.64/0.30 c 2131 4919 127064 438337 6 0 3 3 1 1.64/0.30 c 2161 7265 147311 616011 6 0 11 11 5 1.64/0.30 c 2132 4923 127153 438843 6 0 4 4 2 1.64/0.30 c 2162 7276 147504 616536 6 0 11 11 5 1.64/0.30 c 2133 4926 127249 439424 6 0 3 3 1 1.64/0.30 c 2134 4930 127338 439930 6 0 4 4 2 1.64/0.30 c 2163 7287 147708 617037 6 0 11 11 5 1.64/0.30 c 2135 4933 127434 440511 6 0 3 3 1 1.64/0.30 c 2136 4937 127523 441017 6 0 4 4 2 1.64/0.30 c 2164 7298 147901 617562 6 0 11 11 5 1.64/0.30 c 2137 4940 127619 441598 6 0 3 3 1 1.64/0.30 c 2138 4944 127708 442104 6 0 4 4 2 1.64/0.30 c 2165 7309 148105 618063 6 0 11 11 5 1.64/0.30 c 2139 4947 127804 442685 6 0 3 3 1 1.64/0.30 c 2166 7320 148298 618588 6 0 11 11 5 1.64/0.30 c 2140 4951 127893 443191 6 0 4 4 2 1.64/0.30 c 2141 4954 127989 443772 6 0 3 3 1 1.64/0.30 c 2167 7331 148502 619089 6 0 11 11 5 1.64/0.30 c 2142 4958 128078 444278 6 0 4 4 2 1.64/0.30 c 2143 4961 128174 444859 6 0 3 3 1 1.64/0.30 c 2168 7342 148695 619614 6 0 11 11 5 1.64/0.30 c 2144 4965 128263 445365 6 0 4 4 2 1.64/0.30 c 2145 4968 128359 445946 6 0 3 3 1 1.64/0.30 c 2122 3330 141340 460141 6 0 9 16 12 1.64/0.30 c 2169 7353 148899 620115 6 0 11 11 5 1.64/0.30 c 2146 4972 128448 446452 6 0 4 4 2 1.64/0.30 c 2170 7364 149092 620640 6 0 11 11 5 1.64/0.30 c 2147 4975 128544 447033 6 0 3 3 1 1.64/0.30 c 2148 4979 128633 447539 6 0 4 4 2 1.64/0.30 c 2171 7375 149296 621141 6 0 11 11 5 1.64/0.30 c 2149 4982 128729 448120 6 0 3 3 1 1.64/0.30 c 2150 4986 128818 448626 6 0 4 4 2 1.64/0.30 c 2172 7386 149489 621666 6 0 11 11 5 1.64/0.30 c 2151 4989 128914 449207 6 0 3 3 1 1.64/0.30 c 2152 4993 129003 449713 6 0 4 4 2 1.64/0.30 c 2173 7397 149693 622167 6 0 11 11 5 1.64/0.30 c 2153 4996 129099 450294 6 0 3 3 1 1.64/0.30 c 2154 5000 129188 450800 6 c 0 2174 7408 149886 622692 6 0 4 4 2 1.64/0.30 11 11 5 1.64/0.30 c 2155 5003 129284 451381 6 0 3 3 1 1.64/0.30 c 2175 7419 150090 623193 6 0 11 11 5 1.64/0.30 c 2156 5007 129373 451887 6 0 4 4 2 1.64/0.30 c 2157 5010 129469 452468 6 0 3 3 1 1.64/0.30 c 2158 5014 129558 452974 6 0 4 4 2 1.64/0.30 c 2159 5018 129656 453601 6 0 4 4 2 1.64/0.31 c 2160 5021 129749 454153 6 0 3 3 1 1.64/0.31 c 2161 5025 129838 454659 6 0 4 4 2 1.64/0.31 c 1841 3408 122934 422629 6 0 15 26 21 1.64/0.31 c 2162 5029 129936 455286 6 0 4 4 2 1.64/0.31 c 2163 5032 130029 455838 6 0 3 3 1 1.64/0.31 c 2164 5036 130118 456344 6 0 4 4 2 1.64/0.31 c 2165 5040 130216 456971 6 0 4 4 2 1.64/0.31 c 2166 5043 130309 457523 6 0 3 3 1 1.64/0.31 c 2167 5047 130398 458029 6 0 4 4 2 1.64/0.31 c 2168 5051 130496 458656 6 0 4 4 2 1.64/0.31 c 2169 5054 130589 459208 6 0 3 3 1 1.64/0.31 c 2170 5058 130678 459714 6 0 4 4 2 1.64/0.31 c 2171 5062 130776 460341 6 0 4 4 2 1.64/0.31 c 2172 5065 130869 460893 6 0 3 3 1 1.64/0.31 c 2173 5069 130958 461399 6 0 4 4 2 1.64/0.31 c 2174 5073 131056 462026 6 0 4 4 2 1.64/0.31 c 2175 5076 131149 462578 6 0 3 3 1 2.43/0.32 c 5035 6675 123279 530376 6 0 8 24 21 2.43/0.33 c 4000 5567 130096 549512 6 0 6 26 21 2.43/0.34 c 2431 3936 162307 525497 6 0 5 20 15 2.43/0.34 c 2122 3908 140022 495356 6 0 7 26 20 2.43/0.36 c 5631 7447 138783 596862 6 0 9 25 21 2.43/0.36 c 4493 6466 146844 642920 6 0 10 17 15 2.43/0.37 c First solution is found 2.43/0.37 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 0. 2.43/0.37 c [pFactory][Group N°0] Thread N°0 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°1 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°2 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°3 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°4 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°5 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°6 is joined. 2.43/0.37 c [pFactory][Group N°0] Thread N°7 is joined. 2.43/0.37 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°1) 2.43/0.37 s SATISFIABLE 2.43/0.37 c restarts : 254 2.43/0.37 c conflicts : 3053 (1052 /sec) 2.43/0.37 c decisions : 7392 (2546 /sec) 2.43/0.37 c propagations : 560817 (193156 /sec) 2.43/0.37 c root propagations : 9 2.43/0.37 c filter calls : 169099 (58241 /sec) 2.43/0.37 c useless filter calls : 105147 (62 %) 2.43/0.37 c Memory used : 571.12 MB 2.43/0.37 c CPU time : 2.90344 s 2.43/0.37 c real time : 0.373586 s 2.43/0.37 2.43/0.37 c solution 1 2.43/0.37 2.43/0.37 v <instantiation type='solution'> 2.43/0.37 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] </list> 2.43/0.37 v <values>-16 14 17 -15 * * * -1 -3 -7 -4 15 * * 9 6 1 4 -2 -18 * 8 -8 -5 -6 -10 3 18 -9 5 2 0 16 -14 * -11 7 10 11 -17 * * 12 -13 -12 13 * * * </values> 2.43/0.37 v </instantiation> 2.43/0.37
OK
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 (15158 MiB free)
memory of node 1: 16384 MiB (15603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409235-1569828563/watcher-4409235-1569828563 -o /tmp/evaluation-result-4409235-1569828563/solver-4409235-1569828563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1569827620-15456 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409235-1569828563.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16870, runsolver pid=16867
Current StackSize limit: 8192 KiB
[startup+0.100952 s]*
/proc/loadavg: 8.43 8.43 8.45 10/204 16879
/proc/meminfo: memFree=31500592/32770624 swapFree=66967820/67108860
[pid=16870] ppid=16867 vsize=617608 memory=4292 CPUtime=0.77 cores=0-7
/proc/16870/stat : 16870 (cosoco) S 16867 16870 15429 0 -1 1077944320 1336 0 0 0 77 0 0 0 20 0 9 0 559095765 632430592 1073 33554432000 4194304 6211132 140726526105728 140726526103984 140386701868791 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
/proc/16870/statm: 154402 1073 873 493 0 147707 0
[pid=16870/tid=16872] ppid=16867 vsize=617608 memory=4134692831991786133 CPUtime=0.09 cores=0-7
/proc/16870/task/16872/stat : 16872 (cosoco) R 16867 16870 15429 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386678725728 5079440 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16873] ppid=16867 vsize=617608 memory=4872558044660077418 CPUtime=0.09 cores=0-7
/proc/16870/task/16873/stat : 16873 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386670333024 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16874] ppid=16867 vsize=617608 memory=140267376223872 CPUtime=0.09 cores=0-7
/proc/16870/task/16874/stat : 16874 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386661940320 5075221 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16875] ppid=16867 vsize=617608 memory=0 CPUtime=0.09 cores=0-7
/proc/16870/task/16875/stat : 16875 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386653547616 5081301 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16876] ppid=16867 vsize=617608 memory=0 CPUtime=0.09 cores=0-7
/proc/16870/task/16876/stat : 16876 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386645154912 5409396 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16877] ppid=16867 vsize=617608 memory=0 CPUtime=0.09 cores=0-7
/proc/16870/task/16877/stat : 16877 (cosoco) R 16867 16870 15429 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386636762208 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16878] ppid=16867 vsize=617608 memory=-1 CPUtime=0.08 cores=0-7
/proc/16870/task/16878/stat : 16878 (cosoco) R 16867 16870 15429 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386628369504 5079344 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16879] ppid=16867 vsize=617608 memory=0 CPUtime=0.09 cores=0-7
/proc/16870/task/16879/stat : 16879 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386619976800 140386686266493 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 617608 KiB
Current children cumulated memory: 4292 KiB
[startup+0.210952 s]*
/proc/loadavg: 8.43 8.43 8.45 9/204 16879
/proc/meminfo: memFree=31500592/32770624 swapFree=66967820/67108860
[pid=16870] ppid=16867 vsize=617608 memory=4292 CPUtime=1.64 cores=0-7
/proc/16870/stat : 16870 (cosoco) S 16867 16870 15429 0 -1 1077944320 1340 0 0 0 164 0 0 0 20 0 9 0 559095765 632430592 1073 33554432000 4194304 6211132 140726526105728 140726526103984 140386701868791 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
/proc/16870/statm: 154402 1073 873 493 0 147707 0
[pid=16870/tid=16872] ppid=16867 vsize=617608 memory=6935054825532540783 CPUtime=0.2 cores=0-7
/proc/16870/task/16872/stat : 16872 (cosoco) R 16867 16870 15429 0 -1 4202560 9 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386678725728 5149721 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16873] ppid=16867 vsize=617608 memory=4872558142750483773 CPUtime=0.2 cores=0-7
/proc/16870/task/16873/stat : 16873 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386670333024 5148892 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16874] ppid=16867 vsize=617608 memory=140267376223872 CPUtime=0.2 cores=0-7
/proc/16870/task/16874/stat : 16874 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386661940320 5081750 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16875] ppid=16867 vsize=617608 memory=0 CPUtime=0.2 cores=0-7
/proc/16870/task/16875/stat : 16875 (cosoco) R 16867 16870 15429 0 -1 4202560 7 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386653547616 5148887 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16876] ppid=16867 vsize=617608 memory=0 CPUtime=0.2 cores=0-7
/proc/16870/task/16876/stat : 16876 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386645154912 5149224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16877] ppid=16867 vsize=617608 memory=0 CPUtime=0.2 cores=0-7
/proc/16870/task/16877/stat : 16877 (cosoco) R 16867 16870 15429 0 -1 4202560 11 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386636762208 5193740 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16878] ppid=16867 vsize=617608 memory=-1 CPUtime=0.18 cores=0-7
/proc/16870/task/16878/stat : 16878 (cosoco) R 16867 16870 15429 0 -1 4202560 13 0 0 0 18 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386628369504 5075221 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16879] ppid=16867 vsize=617608 memory=0 CPUtime=0.2 cores=0-7
/proc/16870/task/16879/stat : 16879 (cosoco) R 16867 16870 15429 0 -1 4202560 7 0 0 0 20 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386619976800 5082393 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 617608 KiB
Current children cumulated memory: 4292 KiB
[startup+0.309952 s]*
/proc/loadavg: 8.43 8.43 8.45 10/204 16879
/proc/meminfo: memFree=31500592/32770624 swapFree=66967820/67108860
[pid=16870] ppid=16867 vsize=617608 memory=4292 CPUtime=2.43 cores=0-7
/proc/16870/stat : 16870 (cosoco) S 16867 16870 15429 0 -1 1077944320 1340 0 0 0 242 1 0 0 20 0 9 0 559095765 632430592 1073 33554432000 4194304 6211132 140726526105728 140726526103984 140386701868791 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
/proc/16870/statm: 154402 1073 873 493 0 147707 0
[pid=16870/tid=16872] ppid=16867 vsize=617608 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/16870/task/16872/stat : 16872 (cosoco) R 16867 16870 15429 0 -1 4202560 9 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386678725728 5081371 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16873] ppid=16867 vsize=617608 memory=4872558142750483773 CPUtime=0.3 cores=0-7
/proc/16870/task/16873/stat : 16873 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386670333024 5078951 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16874] ppid=16867 vsize=617608 memory=140267376223872 CPUtime=0.3 cores=0-7
/proc/16870/task/16874/stat : 16874 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386661939976 5078762 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16875] ppid=16867 vsize=617608 memory=2240 CPUtime=0.3 cores=0-7
/proc/16870/task/16875/stat : 16875 (cosoco) R 16867 16870 15429 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386653547616 5186331 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16876] ppid=16867 vsize=617608 memory=2241 CPUtime=0.3 cores=0-7
/proc/16870/task/16876/stat : 16876 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386645154856 5149253 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16877] ppid=16867 vsize=617608 memory=2241 CPUtime=0.3 cores=0-7
/proc/16870/task/16877/stat : 16877 (cosoco) R 16867 16870 15429 0 -1 4202560 11 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386636762208 5082393 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16878] ppid=16867 vsize=617608 memory=-1 CPUtime=0.27 cores=0-7
/proc/16870/task/16878/stat : 16878 (cosoco) R 16867 16870 15429 0 -1 4202560 13 0 0 0 27 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386628369504 5389840 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16879] ppid=16867 vsize=617608 memory=2209 CPUtime=0.3 cores=0-7
/proc/16870/task/16879/stat : 16879 (cosoco) R 16867 16870 15429 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386619976648 5193742 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 617608 KiB
Current children cumulated memory: 4292 KiB
[startup+0.37935 s]
# the end of solver process 16870 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.90344 s, system=0.011985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.309952 s]*
/proc/loadavg: 8.43 8.43 8.45 10/204 16879
/proc/meminfo: memFree=31500592/32770624 swapFree=66967820/67108860
[pid=16870] ppid=16867 vsize=617608 memory=4292 CPUtime=2.43 cores=0-7
/proc/16870/stat : 16870 (cosoco) S 16867 16870 15429 0 -1 1077944320 1340 0 0 0 242 1 0 0 20 0 9 0 559095765 632430592 1073 33554432000 4194304 6211132 140726526105728 140726526103984 140386701868791 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
/proc/16870/statm: 154402 1073 873 493 0 147707 0
[pid=16870/tid=16872] ppid=16867 vsize=617608 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/16870/task/16872/stat : 16872 (cosoco) R 16867 16870 15429 0 -1 4202560 9 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386678725728 5081371 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16873] ppid=16867 vsize=617608 memory=4872558142750483773 CPUtime=0.3 cores=0-7
/proc/16870/task/16873/stat : 16873 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386670333024 5078951 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16874] ppid=16867 vsize=617608 memory=140267376223872 CPUtime=0.3 cores=0-7
/proc/16870/task/16874/stat : 16874 (cosoco) R 16867 16870 15429 0 -1 4202560 8 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386661939976 5078762 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16875] ppid=16867 vsize=617608 memory=2240 CPUtime=0.3 cores=0-7
/proc/16870/task/16875/stat : 16875 (cosoco) R 16867 16870 15429 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386653547616 5186331 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16876] ppid=16867 vsize=617608 memory=2241 CPUtime=0.3 cores=0-7
/proc/16870/task/16876/stat : 16876 (cosoco) R 16867 16870 15429 0 -1 4202560 6 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386645154856 5149253 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16877] ppid=16867 vsize=617608 memory=2241 CPUtime=0.3 cores=0-7
/proc/16870/task/16877/stat : 16877 (cosoco) R 16867 16870 15429 0 -1 4202560 11 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386636762208 5082393 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16878] ppid=16867 vsize=617608 memory=-1 CPUtime=0.27 cores=0-7
/proc/16870/task/16878/stat : 16878 (cosoco) R 16867 16870 15429 0 -1 4202560 13 0 0 0 27 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386628369504 5389840 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
[pid=16870/tid=16879] ppid=16867 vsize=617608 memory=2209 CPUtime=0.3 cores=0-7
/proc/16870/task/16879/stat : 16879 (cosoco) R 16867 16870 15429 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 559095766 632430592 1073 33554432000 4194304 6211132 140726526105728 140386619976648 5193742 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15159296 140726526108689 140726526108781 140726526108781 140726526111694 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 617608 KiB
Current children cumulated memory: 4292 KiB
Child status: 0
Real time (s): 0.379374
CPU time (s): 2.91543
CPU user time (s): 2.90344
CPU system time (s): 0.011985
CPU usage (%): 768.483
Max. virtual memory (cumulated for all children) (KiB): 617608
Max. memory (cumulated for all children) (KiB): 4292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.90344
system time used= 0.011985
maximum resident set size= 4688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142
involuntary context switches= 77
# summary of solver processes directly reported to runsolver:
# pid: 16870
# total CPU time (s): 2.91543
# total CPU user time (s): 2.90344
# total CPU system time (s): 0.011985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017792 second user time and 0.036696 second system time
The end
Begin job on node133 at 2019-09-30 09:28:42 IDJOB=4409235 IDBENCH=133653 IDSOLVER=2877 FILE ID=node133/4409235-1569828563 RUNJOBID= node133-1569827620-15456 PBS_JOBID= 21705931 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-04-m018.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409235-1569828563/watcher-4409235-1569828563 -o /tmp/evaluation-result-4409235-1569828563/solver-4409235-1569828563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1569827620-15456 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409235-1569828563.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e RANDOM SEED=2102735569 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.18 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.18 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.18 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.18 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: 31501612 kB MemAvailable: 31886404 kB Buffers: 61608 kB Cached: 622456 kB SwapCached: 22164 kB Active: 311588 kB Inactive: 398636 kB Active(anon): 6796 kB Inactive(anon): 64484 kB Active(file): 304792 kB Inactive(file): 334152 kB Unevictable: 108072 kB Mlocked: 108072 kB SwapTotal: 67108860 kB SwapFree: 66967820 kB Dirty: 2508 kB Writeback: 0 kB AnonPages: 112452 kB Mapped: 25520 kB Shmem: 36312 kB Slab: 153096 kB SReclaimable: 123364 kB SUnreclaim: 29732 kB KernelStack: 3424 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538740 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2019-09-30 09:28:42