Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 2.54992 | 0.333929 |
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 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 This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4397975-1568606050.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 7. 0.00/0.01 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 1. 0.00/0.01 c [pFactory][Group N°0] task 4 launched on thread 4. 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 3. 0.00/0.01 c [pFactory][Group N°0] task 1 launched on thread 5. 0.00/0.01 c [pFactory][Group N°0] task 0 launched on thread 6. 0.00/0.01 c 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[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 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 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 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 root propagations : 9 0.00/0.01 c remove useless variable x[0][4] 0.00/0.01 c root propagations : 9 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][6] 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[1][5] 0.00/0.01 c remove useless variable x[1][5] 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 remove useless variable x[1][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[2][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[1][6] 0.00/0.01 c root propagations : 9 0.00/0.01 c remove useless variable x[1][6] 0.00/0.01 c remove useless variable x[4][6] 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c remove useless variable x[5][5] 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[5][6] 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[1][6] 0.00/0.01 c remove useless variable x[6][4] 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][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 restarts enabled, print stats at every restarts 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[5][5] 0.00/0.01 c remove useless variable x[6][5] 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[6][6] 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c remove useless variable x[2][6] 0.00/0.01 c remove useless variable x[5][6] 0.00/0.01 c c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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][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 02 99 251 6 0 0 0 0 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[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[6][4] 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 remove useless variable x[0][4] 0.00/0.01 c 0 5 108 124 6 0 0 0 0 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[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 4 153 493 6 0 0 0 0 0.00/0.01 c 0 1 54 12 6 0 0 0 0 0.00/0.01 c 0 5 162 496 6 0 0 0 0 0.00/0.01 c 0 7 146 162 6 0 0 0 0 0.00/0.01 c 0 2 63 14 6 0 0 0 0 0.00/0.01 c 0 3 63 15 6 0 c 0 0 0 0.00/0.01 0 6 171 498 6 0 0 0 0 0.00/0.01 c 0 10 195 211 6 0 0 0 0 0.00/0.01 c 0 5 98 53 6 0 0 0 0 0.00/0.01 c 0 11 204 213 6 0 0 0 0 0.00/0.01 c 0 8 220 737 6 0 0 0 0 0.00/0.01 c 0 14 238 268 6 0 0 0 0 0.00/0.01 c 0 7 142 92 6 0 0 0 0 0.00/0.01 c 0 16 267 305 6 0 0 0 0 0.00/0.01 c 0 10 283 976 6 0 0 0 0 0.00/0.01 c 0 9 186 131 6 0 0 0 0 0.00/0.01 c 0 19 316 351 6 0 0 0 0 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[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 2 83 51 6 0 0 0 0 0.00/0.02 c 101 134 1288 5163 6 0 2 26 18 0.00/0.02 c 32 61 1399 7432 6 0 1 11 5 0.00/0.02 c 33 64 1497 8093 6 0 3 3 1 0.00/0.02 c remove useless variable x[6][5] 0.00/0.02 c remove useless variable x[6][6] 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 32 81 2064 8865 6 0 5 12 7 0.00/0.02 c 33 85 2157 9464 6 0 4 4 2 0.00/0.02 c 101 158 3073 10809 6 0 8 25 22 0.00/0.02 c 32 58 2069 5958 6 0 10 16 13 0.00/0.02 c 33 63 2207 6203 6 0 5 5 2 0.00/0.02 c 64 141 3336 13784 6 0 3 9 6 0.00/0.02 c 65 143 3394 14153 6 0 2 2 1 0.00/0.02 c 66 147 3492 14781 6 0 4 4 2 0.00/0.02 c 67 150 3585 15334 6 0 3 3 1 0.00/0.02 c 32 79 4154 11211 6 0 14 19 17 0.00/0.02 c 33 84 4275 11741 6 0 5 5 2 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 130 244 5738 30289 6 0 3 3 1 0.00/0.02 c 131 248 5827 30796 6 0 4 4 2 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 134 258 6108 32467 6 0 3 3 1 0.00/0.02 c 135 262 6197 c 32974 64 6 127 0 3964 13720 6 0 4 4 2 0.00/0.02 2 23 13 0.00/0.02 c 65 132 4069 14162 6 0 5 5 2 0.00/0.02 c 66 134 4116 14271 6 0 2 2 1 0.00/0.02 c 101 163 6021 22279 6 0 5 22 18 0.00/0.02 c 67 135 4140 14562 6 0 1 1 0 0.00/0.02 c 211 295 5578 27608 6 0 10 16 14 0.00/0.02 c 64 169 6282 19743 6 0 2 13 9 0.00/0.02 c 65 180 6505 20386 6 0 11 11 5 0.00/0.03 c 66 193 6777 21050 6 0 13 13 6 0.00/0.03 c 67 204 6995 21693 6 0 11 11 5 0.00/0.03 c c 211 323 7507 25010 101 6174 0 7373 22084 6 7 21 19 0 0.00/0.03 9 17 13 0.00/0.03 c 332 451 7305 36397 6 0 6 26 21 0.00/0.03 c 128 310 6977 28574 6 0 4 13 9 0.00/0.03 c 129 312 7034 28802 6 0 2 2 1 0.00/0.03 c 130 316 7132 29429 6 0 4 4 2 0.00/0.03 c 131 319 7225 29981 6 0 3 3 1 0.00/0.03 c 132 323 7318 30579 6 0 4 4 2 0.00/0.03 c 128 226 5964 22249 6 0 2 19 16 0.00/0.03 c 133 326 7411 31131 6 0 3 3 1 0.00/0.03 c 129 231 6083 22662 6 0 5 5 2 0.00/0.03 c 134 330 7504 31729 6 0 4 4 2 0.00/0.03 c 130 233 6130 22770 6 0 2 2 1 0.00/0.03 c 135 333 7597 32281 6 0 3 3 1 0.00/0.03 c 131 235 6182 23153 6 0 2 2 1 0.00/0.03 c 132 240 6264 23455 6 0 5 5 2 0.00/0.03 c 133 242 6316 23838 6 0 2 2 1 0.00/0.03 c 134 247 6395 24140 6 0 5 5 2 0.00/0.03 c 135 249 6447 24523 6 0 2 2 1 0.00/0.03 c 332 485 9539 33184 6 0 10 26 23 0.00/0.03 c 128 369 9894 31871 6 0 9 15 12 0.00/0.03 c 129 384 10112 32389 6 0 15 15 7 0.00/0.03 c 130 404 10502 33440 6 0 20 20 10 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 131 422 10826 34356 6 0 18 18 9 0.00/0.03 c 259 536 12412 57728 6 0 4 4 2 0.00/0.03 c 211 320 12612 41754 6 0 5 18 16 0.00/0.03 c 260 539 12540 58605 6 0 3 3 1 0.00/0.03 c 132 438 11135 35318 6 0 16 16 8 0.00/0.03 c 261 542 12629 59285 6 0 3 3 1 0.00/0.03 c 262 546 12747 59878 6 0 4 4 2 0.00/0.03 c 263 550 12866 60476 6 0 4 4 2 0.00/0.03 c 133 453 11408 36085 6 0 15 15 7 0.00/0.03 c 264 554 12984 61069 6 0 4 4 2 0.00/0.03 c 265 558 13103 61667 6 0 4 4 2 0.00/0.03 c 266 562 13221 62260 6 0 4 4 2 0.00/0.03 c 134 468 11641 36539 6 0 15 15 7 0.00/0.03 c 267 566 13340 62858 6 0 4 4 2 0.00/0.03 c 135 483 11853 37015 6 0 15 15 7 0.00/0.03 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 465 675 12104 42268 6 0 13 28 23 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 742 12973 55337 6 0 11 22 18 0.00/0.04 c 211 323 13728 37188 6 0 5 15 11 0.00/0.04 c 256 629 13832 56105 6 0 4 13 9 0.00/0.04 c 257 632 13927 56879 6 0 3 3 1 0.00/0.04 c 611 925 14692 61823 6 0 8 24 21 0.00/0.04 c 258 636 14020 57477 6 0 4 4 2 0.00/0.04 c 259 639 14113 58029 6 0 3 3 1 0.00/0.04 c 260 643 14206 58627 6 0 4 4 2 0.00/0.04 c 261 646 14299 59179 6 0 3 3 1 0.00/0.04 c 262 650 14392 59777 6 0 4 4 2 0.00/0.04 c 256 437 12620 44938 6 0 5 23 18 0.00/0.04 c 263 653 14485 60329 6 0 3 3 1 0.00/0.04 c 264 657 14578 60927 6 0 4 4 2 0.00/0.04 c 257 448 12877 45544 6 0 11 11 5 0.00/0.04 c 265 660 14671 61479 6 0 3 3 1 0.00/0.04 c 266 664 14764 62077 6 0 4 4 2 0.00/0.04 c 267 667 14857 62629 6 0 3 3 1 0.00/0.04 c 258 455 13096 46378 6 0 7 7 3 0.00/0.04 c 268 671 14950 63227 6 0 4 4 2 0.00/0.04 c 259 457 13143 46486 6 0 2 2 1 0.00/0.04 c 260 459 13195 46869 6 0 2 2 1 0.00/0.04 c 269 674 15043 63779 6 0 3 3 1 0.00/0.04 c 261 464 13274 47171 6 0 5 5 2 0.00/0.04 c 270 678 15136 64377 6 0 4 4 2 0.00/0.04 c 262 466 13326 47554 6 0 2 2 1 0.00/0.04 c 271 681 15229 64929 6 0 3 3 1 0.00/0.04 c 263 471 13408 47856 6 0 5 5 2 0.00/0.04 c 264 473 13460 48239 6 0 2 2 1 0.00/0.04 c 265 478 13542 48541 6 0 5 5 2 0.00/0.04 c 266 480 13594 48924 6 0 2 2 1 0.00/0.04 c 267 485 13675 49226 6 0 5 5 2 0.00/0.04 c 268 487 13727 49609 6 0 2 2 1 0.00/0.04 c 269 492 13806 49911 6 0 5 5 2 0.00/0.04 c 270 494 13858 50294 6 0 2 2 1 0.00/0.04 c 271 499 13940 50596 6 0 5 5 2 0.00/0.04 c 332 571 18662 60025 6 0 3 29 19 0.00/0.04 c 611 879 16682 56060 6 0 13 26 21 0.00/0.05 c 771 1138 17850 81226 6 0 6 19 16 0.00/0.05 c 256 704 18490 57470 6 0 5 25 21 0.00/0.05 c 257 714 18715 58152 6 0 10 10 5 0.00/0.06 c 258 716 18748 58330 6 0 2 2 1 0.00/0.06 c 259 725 18913 58903 6 0 9 9 4 0.00/0.06 c 260 734 19081 59458 6 0 9 9 4 0.00/0.06 c 261 743 19240 59989 6 0 9 9 4 0.00/0.06 c 262 752 19412 60541 6 0 9 9 4 0.00/0.06 c 263 761 19575 61084 6 0 9 9 4 0.00/0.06 c 264 770 19743 61639 6 0 9 9 4 0.00/0.06 c 265 779 19902 62170 6 0 9 9 4 0.00/0.06 c 771 1083 19786 71505 6 0 7 24 22 0.00/0.06 c 266 788 20074 62722 6 0 9 9 4 0.00/0.06 c 267 797 20237 63265 6 0 9 9 4 0.00/0.06 c 268 806 20405 63820 6 0 9 9 4 0.00/0.06 c 269 815 20564 64351 6 0 9 9 4 0.00/0.06 c 270 824 20736 64903 6 0 9 9 4 0.00/0.06 c 271 833 20899 65446 6 0 9 9 4 0.00/0.06 c 947 1363 20603 95732 6 0 8 24 21 0.00/0.06 c 512 1136 26524 111022 6 0 3 11 7 0.00/0.06 c 332 557 22593 63008 6 0 12 25 20 0.00/0.06 c 513 1138 26583 111436 6 0 2 2 1 0.00/0.06 c 514 1141 26675 112144 6 0 3 3 1 0.00/0.06 c 465 781 27060 84187 6 0 4 21 18 0.00/0.06 c 515 1145 26801 112737 6 0 4 4 2 0.00/0.06 c 516 1149 26894 113335 6 0 4 4 2 0.00/0.06 c 517 1153 27020 113928 6 0 4 4 2 0.00/0.06 c 518 1157 27113 114526 6 0 4 4 2 0.00/0.06 c 519 1161 27239 115119 6 0 4 4 2 0.00/0.06 c 520 1165 27332 115717 6 0 4 4 2 0.00/0.06 c 521 1169 27458 116310 6 0 4 4 2 0.00/0.06 c 522 1173 27551 116908 6 0 4 4 2 0.00/0.06 c 523 1177 27677 117501 6 0 4 4 2 0.00/0.06 c 524 1181 27770 118099 6 0 4 4 2 0.00/0.06 c 525 1185 27896 118692 6 0 4 4 2 0.00/0.07 c 526 1189 27989 119290 6 0 4 4 2 0.00/0.07 c 527 1193 28115 119883 6 0 4 4 2 0.00/0.07 c 528 1197 28208 120481 6 0 4 4 2 0.00/0.07 c 529 1201 28334 121074 6 0 4 4 2 0.00/0.07 c 530 1205 28427 121672 6 0 4 4 2 0.00/0.07 c 531 1209 28553 122265 6 0 4 4 2 0.00/0.07 c 532 1213 28646 122863 6 0 4 4 2 0.00/0.07 c 533 1217 28772 123456 6 0 4 4 2 0.00/0.07 c 947 1322 24504 88284 6 0 3 25 22 0.00/0.07 c 534 1221 28865 124054 6 0 4 4 2 0.00/0.07 c 535 1225 28991 124647 6 0 4 4 2 0.00/0.07 c 536 1229 29084 125245 6 0 4 4 2 0.00/0.07 c 537 1233 29210 125838 6 0 4 4 2 0.00/0.07 c 538 1237 29303 126436 6 0 4 4 2 0.00/0.07 c 539 1241 29429 127029 6 0 4 4 2 0.00/0.07 c 540 1245 29522 127627 6 0 4 4 2 0.00/0.07 c 541 1249 29648 128220 6 0 4 4 2 0.00/0.07 c 542 1253 29741 128818 6 0 4 4 2 0.00/0.07 c 543 1257 29867 129411 6 0 4 4 2 0.00/0.07 c 512 845 23897 87700 6 0 2 22 19 0.00/0.07 c 513 851 24030 88032 6 0 6 6 3 0.00/0.07 c 514 857 24162 88364 6 0 6 6 3 0.00/0.07 c 515 863 24295 88696 6 0 6 6 3 0.00/0.07 c 516 869 24427 89028 6 0 6 6 3 0.00/0.07 c 517 875 24560 89360 6 0 6 6 3 0.00/0.07 c 518 881 24692 89692 6 0 6 6 3 0.00/0.07 c 519 887 24825 90024 6 0 6 6 3 0.00/0.07 c 520 893 24957 90356 6 0 6 6 3 0.00/0.07 c 512 1262 26912 106892 6 0 4 13 9 0.00/0.07 c 521 899 25090 90688 6 0 6 6 3 0.00/0.07 c 513 1268 27055 107213 6 0 6 6 3 0.00/0.07 c 522 905 25222 91020 6 0 6 6 3 0.00/0.07 c 514 1271 27167 108171 6 0 3 3 1 0.00/0.07 c 523 911 25355 91352 6 0 6 6 3 0.00/0.07 c 515 1276 27293 108938 6 0 5 5 2 0.00/0.07 c 516 1279 27405 109865 6 0 3 3 1 0.00/0.07 c 524 917 25487 91684 6 0 6 6 3 0.00/0.07 c 1140 1575 27670 101920 6 0 8 26 23 0.00/0.07 c 517 1284 27531 110632 6 0 5 5 2 0.00/0.07 c 525 923 25620 92016 6 0 6 6 3 0.00/0.07 c 518 1287 27643 111590 6 0 3 3 1 0.00/0.07 c 526 929 25752 92348 6 0 6 6 3 0.00/0.07 c 519 1292 27769 112357 6 0 5 5 2 0.00/0.07 c 527 935 25885 92680 6 0 6 6 3 0.00/0.07 c 520 1295 27881 113284 6 0 3 3 1 0.00/0.07 c 528 941 26017 93012 6 0 6 6 3 0.00/0.07 c 521 1300 28007 114051 6 0 5 5 2 0.00/0.07 c 529 947 26150 93344 6 0 6 6 3 0.00/0.07 c 522 1303 28119 115009 6 0 3 3 1 0.00/0.07 c 523 1308 28245 115776 6 0 5 5 2 0.00/0.07 c 530 953 26282 93676 6 0 6 6 3 0.00/0.07 c 524 1311 28357 116703 6 0 3 3 1 0.00/0.07 c 531 959 26415 94008 6 0 6 6 3 0.00/0.07 c 525 1316 28483 117470 6 0 5 5 2 0.00/0.07 c 532 965 26547 94340 6 0 6 6 3 0.00/0.07 c 526 1319 28595 118428 6 0 3 3 1 0.00/0.07 c 533 971 26680 94672 6 0 6 6 3 0.00/0.07 c 527 1324 28721 119195 6 0 5 5 2 0.00/0.07 c 534 977 26812 95004 6 0 6 6 3 0.00/0.07 c 528 1327 28833 120122 6 0 3 3 1 0.00/0.07 c 535 983 26945 95336 6 0 6 6 3 0.00/0.07 c 529 1332 28959 120889 6 0 5 5 2 0.00/0.07 c 536 989 27077 95668 6 0 6 6 3 0.00/0.07 c 530 1335 29071 121847 6 0 3 3 1 0.00/0.07 c 611 985 33787 111063 6 0 5 22 19 0.00/0.07 c 531 1340 29197 122614 6 0 5 5 2 0.00/0.07 c 537 995 27210 96000 6 0 6 6 3 0.00/0.07 c 532 1343 29309 123541 6 0 3 3 1 0.00/0.07 c 538 1001 27342 96332 6 0 6 6 3 0.00/0.08 c 533 1348 29435 124308 6 0 5 5 2 0.00/0.08 c 539 1007 27475 96664 6 0 6 6 3 0.00/0.08 c 534 1351 29547 125266 6 0 3 3 1 0.00/0.08 c 540 1013 27607 96996 6 0 6 6 3 0.00/0.08 c 535 1356 29673 126033 6 0 5 5 2 0.00/0.08 c 541 1019 27740 97328 6 0 6 6 3 0.00/0.08 c 536 1359 29785 126960 6 0 3 3 1 0.00/0.08 c 537 1364 29911 127727 6 0 5 5 2 0.00/0.08 c 542 1025 27872 97660 6 0 6 6 3 0.00/0.08 c 538 1367 30023 128685 6 0 3 3 1 0.00/0.08 c 543 1031 28005 97992 6 0 6 6 3 0.00/0.08 c 539 1372 30149 129452 6 0 5 5 2 0.00/0.08 c 540 1375 30261 130379 6 0 3 3 1 0.00/0.08 c 541 1380 30387 131146 6 0 5 5 2 0.00/0.08 c 542 1383 30499 132104 6 0 3 3 1 0.00/0.08 c 465 778 28936 85592 6 0 22 26 24 0.00/0.08 c 543 1388 30625 132871 6 0 5 5 2 0.00/0.08 c 1140 1636 29707 144259 6 0 6 12 10 0.00/0.08 c 1352 1844 31496 118838 6 0 6 26 24 0.00/0.09 c 512 1537 34970 131546 6 0 8 17 13 0.00/0.10 c 513 1548 35136 132141 6 0 11 11 5 0.00/0.10 c 514 1558 35276 132434 6 0 10 10 5 0.00/0.10 c 515 1569 35447 132868 6 0 11 11 5 0.00/0.10 c 1352 1940 35206 164992 6 0 2 28 22 0.00/0.10 c 516 1579 35587 133161 6 0 10 10 5 0.00/0.10 c 517 1590 35758 133595 6 0 11 11 5 0.00/0.10 c 518 1600 35898 133888 6 0 10 10 5 0.00/0.10 c 519 1611 36069 134322 6 0 11 11 5 0.00/0.10 c 520 1621 36209 134615 6 0 10 10 5 0.00/0.10 c 521 1632 36380 135049 6 0 11 11 5 0.00/0.10 c 1585 2151 36402 139147 6 0 8 25 22 0.00/0.10 c 522 1642 36520 135342 6 0 10 10 5 0.00/0.10 c 523 1653 36691 135776 6 0 11 11 5 0.00/0.10 c 524 1667 36894 136185 6 0 14 14 7 0.00/0.10 c 525 1677 36999 136359 6 0 10 10 5 0.00/0.10 c 526 1682 37062 136457 6 0 5 5 2 0.00/0.10 c 527 1693 37226 137053 6 0 11 11 5 0.00/0.10 c 528 1707 37429 137462 6 0 14 14 7 0.00/0.10 c 529 1717 37534 137636 6 0 10 10 5 0.00/0.10 c 530 1722 37597 137734 6 0 5 5 2 0.00/0.10 c 531 1731 37754 138313 6 0 9 9 4 0.00/0.10 c 532 1744 38000 139099 6 0 13 13 6 0.00/0.10 c 533 1757 38248 140074 6 0 13 13 6 0.00/0.10 c 534 1768 38408 140479 6 0 11 11 5 0.00/0.10 c 535 1781 38654 141269 6 0 13 13 6 0.00/0.10 c 536 1794 38902 142237 6 0 13 13 6 0.00/0.10 c 537 1805 39062 142642 6 0 11 11 5 0.00/0.10 c 611 1057 36279 111246 6 0 17 27 24 0.00/0.10 c 771 1207 46181 144968 6 0 6 17 14 0.00/0.10 c 538 1818 39308 143432 6 0 13 13 6 0.00/0.10 c 539 1831 39556 144400 6 0 13 13 6 0.00/0.10 c 540 1842 39716 144805 6 0 11 11 5 0.00/0.10 c 541 1855 39962 145595 6 0 13 13 6 0.00/0.10 c 542 1868 40210 146563 6 0 13 13 6 0.00/0.10 c 543 1879 40370 146968 6 0 11 11 5 0.78/0.11 c 1841 2561 43706 164685 6 0 2 26 23 0.78/0.12 c 1585 2340 43580 191061 6 0 15 24 20 0.78/0.12 c 1024 2634 57296 223218 6 0 4 24 10 0.78/0.12 c 1025 2639 57459 224036 6 0 5 5 2 0.78/0.13 c 1026 2644 57585 224803 6 0 5 5 2 0.78/0.13 c 1027 2648 57706 225425 6 0 4 4 2 0.78/0.13 c 1028 2653 57832 226192 6 0 5 5 2 0.78/0.13 c 1029 2657 57953 226814 6 0 4 4 2 0.78/0.13 c 2122 2931 49851 188567 6 0 12 26 22 0.78/0.13 c 1030 2662 58079 227581 6 0 5 5 2 0.78/0.13 c 1031 2666 58200 228203 6 0 4 4 2 0.78/0.13 c 1032 2671 58326 228970 6 0 5 5 2 0.78/0.13 c 1033 2675 58447 229592 6 0 4 4 2 0.78/0.13 c 1034 2680 58573 230359 6 0 5 5 2 0.78/0.13 c 1035 2684 58694 230981 6 0 4 4 2 0.78/0.13 c 1036 2689 58820 231748 6 0 5 5 2 0.78/0.13 c 1037 2693 58941 232370 6 0 4 4 2 0.78/0.13 c 1038 2698 59067 233137 6 0 5 5 2 0.78/0.13 c 1039 2702 59188 233759 6 0 4 4 2 0.78/0.13 c 771 1301 47660 152717 6 0 13 22 18 0.78/0.13 c 1040 2707 59314 234526 6 0 5 5 2 0.78/0.13 c 1041 2711 59435 235148 6 0 4 4 2 0.78/0.13 c 1042 2716 59561 235915 6 0 5 5 2 0.78/0.13 c 1043 2720 59682 236537 6 0 4 4 2 0.78/0.13 c 1044 2725 59808 237304 6 0 5 5 2 0.78/0.13 c 1045 2729 59929 237926 6 0 4 4 2 0.78/0.13 c 1046 2734 60055 238693 6 0 5 5 2 0.78/0.13 c 1047 2738 60176 239315 6 0 4 4 2 0.78/0.13 c 1048 2743 60302 240082 6 0 5 5 2 0.78/0.13 c 1049 2747 60423 240704 6 0 4 4 2 0.78/0.13 c 1050 2752 60549 241471 6 0 5 5 2 0.78/0.13 c 1051 2756 60670 242093 6 0 4 4 2 0.78/0.13 c 1052 2761 60796 242860 6 0 5 5 2 0.78/0.13 c 1053 2765 60917 243482 6 0 4 4 2 0.78/0.13 c 1054 2770 61043 244249 6 0 5 5 2 0.78/0.13 c 1055 2774 61164 244871 6 0 4 4 2 0.78/0.13 c 1056 2779 61290 245638 6 0 5 5 2 0.78/0.13 c 1057 2783 61411 246260 6 0 4 4 2 0.78/0.13 c 1058 2788 61537 247027 6 0 5 5 2 0.78/0.13 c 1059 2792 61658 247649 6 0 4 4 2 0.78/0.13 c 1060 2797 61784 248416 6 0 5 5 2 0.78/0.13 c 1061 2801 61905 249038 6 0 4 4 2 0.78/0.13 c 1062 2806 62031 249805 6 0 5 5 2 0.78/0.13 c 1063 2810 62152 250427 6 0 4 4 2 0.78/0.13 c 1064 2815 62278 251194 6 0 5 5 2 0.78/0.13 c 1065 2819 62399 251816 6 0 4 4 2 0.78/0.13 c 1066 2824 62525 252583 6 0 5 5 2 0.78/0.14 c 1067 2828 62646 253205 6 0 4 4 2 0.78/0.14 c 1068 2833 62772 253972 6 0 5 5 2 0.78/0.14 c 1069 2837 62893 254594 6 0 4 4 2 0.78/0.14 c 1070 2842 63019 255361 6 0 5 5 2 0.78/0.14 c 1071 2846 63140 255983 6 0 4 4 2 0.78/0.14 c 1072 2851 63266 256750 6 0 5 5 2 0.78/0.14 c 1073 2855 63387 257372 6 0 4 4 2 0.78/0.14 c 1074 2860 63513 258139 6 0 5 5 2 0.78/0.14 c 1075 2864 63634 258761 6 0 4 4 2 0.78/0.14 c 1076 2869 63760 259528 6 0 5 5 2 0.78/0.14 c 947 1485 64242 200110 6 0 6 15 12 0.78/0.14 c 1077 2873 63881 260150 6 0 4 4 2 0.78/0.14 c 1078 2878 64007 260917 6 0 5 5 2 0.78/0.14 c 1079 2882 64128 261539 6 0 4 4 2 0.78/0.14 c 1080 2887 64254 262306 6 0 5 5 2 0.78/0.14 c 1081 2891 64375 262928 6 0 4 4 2 0.78/0.14 c 1082 2896 64501 263695 6 0 5 5 2 0.78/0.14 c 1083 2900 64622 264317 6 0 4 4 2 0.78/0.14 c 1084 2905 64748 265084 6 0 5 5 2 0.78/0.14 c 1085 2909 64869 265706 6 0 4 4 2 0.78/0.14 c 1086 2914 64995 266473 6 0 5 5 2 0.78/0.14 c 2431 3355 55300 209723 6 0 7 26 23 0.78/0.14 c 1087 2918 65116 267095 6 0 4 4 2 0.78/0.14 c 1024 2578 55822 232131 6 0 2 11 8 0.78/0.14 c 1025 2580 55880 232499 6 0 2 2 1 0.78/0.14 c 1026 2583 55971 233207 6 0 3 3 1 0.78/0.14 c 1027 2587 56090 233805 6 0 4 4 2 0.78/0.14 c 1028 2591 56208 234398 6 0 4 4 2 0.78/0.14 c 1029 2595 56327 234996 6 0 4 4 2 0.78/0.14 c 1030 2599 56445 235589 6 0 4 4 2 0.78/0.14 c 1024 2012 54877 157098 6 0 6 27 24 0.78/0.14 c 1031 2603 56564 236187 6 0 4 4 2 0.78/0.14 c 1025 2016 54976 157314 6 0 4 4 2 0.78/0.14 c 1026 2020 55074 157530 6 0 4 4 2 0.78/0.14 c 1032 2607 56682 236780 6 0 4 4 2 0.78/0.14 c 1027 2024 55173 157746 6 0 4 4 2 0.78/0.14 c 1033 2611 56801 237378 6 0 4 4 2 0.78/0.14 c 1841 2691 51638 228194 6 0 9 24 20 0.78/0.14 c 1028 2028 55271 157962 6 0 4 4 2 0.78/0.14 c 1034 2615 56919 237971 6 0 4 4 2 0.78/0.14 c 1029 2032 55370 158178 6 0 4 4 2 0.78/0.14 c 1035 2619 57038 238569 6 0 4 4 2 0.78/0.14 c 1030 2036 55468 158394 6 0 4 4 2 0.78/0.14 c 1036 2623 57156 239162 6 0 4 4 2 0.78/0.14 c 1031 2040 55567 158610 6 0 4 4 2 0.78/0.14 c 1037 2627 57275 239760 6 0 4 4 2 0.78/0.14 c 1032 2044 55665 158826 6 0 4 4 2 0.78/0.14 c 1038 2631 57393 240353 6 0 4 4 2 0.78/0.14 c 1033 2048 55764 159042 6 0 4 4 2 0.78/0.14 c 1034 2052 55862 159258 6 0 4 4 2 0.78/0.14 c 1039 2635 57512 240951 6 0 4 4 2 0.78/0.14 c 1035 2056 55961 159474 6 0 4 4 2 0.78/0.14 c 1040 2639 57630 241544 6 0 4 4 2 0.78/0.14 c 1036 2060 56059 159690 6 0 4 4 2 0.78/0.14 c 1041 2643 57749 242142 6 0 4 4 2 0.78/0.14 c 1037 2064 56158 159906 6 0 4 4 2 0.78/0.14 c 1042 2647 57867 242735 6 0 4 4 2 0.78/0.14 c 1038 2068 56256 160122 6 0 4 4 2 0.78/0.14 c 1043 2651 57986 243333 6 0 4 4 2 0.78/0.14 c 1039 2072 56355 160338 6 0 4 4 2 0.78/0.14 c 1044 2655 58104 243926 6 0 4 4 2 0.78/0.14 c 1040 2076 56453 160554 6 0 4 4 2 0.78/0.14 c 1041 2080 56552 160770 6 0 4 4 2 0.78/0.14 c 1045 2659 58223 244524 6 0 4 4 2 0.78/0.14 c 1042 2084 56650 160986 6 0 4 4 2 0.78/0.14 c 1046 2663 58341 245117 6 0 4 4 2 0.78/0.14 c 1043 2088 56749 161202 6 0 4 4 2 0.78/0.14 c 1047 2667 58460 245715 6 0 4 4 2 0.78/0.14 c 1044 2092 56847 161418 6 0 4 4 2 0.78/0.14 c 1048 2671 58578 246308 6 0 4 4 2 0.78/0.14 c 1045 2096 56946 161634 6 0 4 4 2 0.78/0.14 c 1049 2675 58697 246906 6 0 4 4 2 0.78/0.14 c 1046 2100 57044 161850 6 0 4 4 2 0.78/0.14 c c 1047 1050 2679 58815 247499 21046 57143162066 6 0 0 4 4 2 0.78/0.14 4 4 2 0.78/0.14 c 1048 2108 57241 162282 6 0 4 4 2 0.78/0.15 c 1051 2683 58934 248097 6 0 4 4 2 0.78/0.15 c 1049 2112 57340 162498 6 0 4 4 2 0.78/0.15 c 1052 2687 59052 248690 6 0 4 4 2 0.78/0.15 c 1050 2116 57438 162714 6 0 4 4 2 0.78/0.15 c 1053 2691 59171 249288 6 0 4 4 2 0.78/0.15 c 1051 2120 57537 162930 6 0 4 4 2 0.78/0.15 c 1054 2695 59289 249881 6 0 4 4 2 0.78/0.15 c 1052 2124 57635 163146 6 0 4 4 2 0.78/0.15 c 1055 2699 59408 250479 6 0 4 4 2 0.78/0.15 c 1053 2128 57734 163362 6 0 4 4 2 0.78/0.15 c 1054 2132 57832 163578 6 0 4 4 2 0.78/0.15 c 1056 2703 59526 251072 6 0 4 4 2 0.78/0.15 c 1055 2136 57931 163794 6 0 4 4 2 0.78/0.15 c 1057 2707 59645 251670 6 0 4 4 2 0.78/0.15 c 1056 2140 58029 164010 6 0 4 4 2 0.78/0.15 c 1058 2711 59763 252263 6 0 4 4 2 0.78/0.15 c 1057 2144 58128 164226 6 0 4 4 2 0.78/0.15 c 1059 2715 59882 252861 6 0 4 4 2 0.78/0.15 c 1058 2148 58226 164442 6 0 4 4 2 0.78/0.15 c 1060 2719 60000 253454 6 0 4 4 2 0.78/0.15 c 1059 2152 58325 164658 6 0 4 4 2 0.78/0.15 c 1061 2723 60119 254052 6 0 4 4 2 0.78/0.15 c 1060 2156 58423 164874 6 0 4 4 2 0.78/0.15 c 1061 2160 58522 165090 6 0 4 4 2 0.78/0.15 c 1062 2727 60237 254645 6 0 4 4 2 0.78/0.15 c 1062 2164 58620 165306 6 0 4 4 2 0.78/0.15 c 1063 2731 60356 255243 6 0 4 4 2 0.78/0.15 c 1063 2168 58719 165522 6 0 4 4 2 0.78/0.15 c 1064 2735 60474 255836 6 0 4 4 2 0.78/0.15 c 1064 2172 58817 165738 6 0 4 4 2 0.78/0.15 c 1065 2739 60593 256434 6 0 4 4 2 0.78/0.15 c 1065 2176 58916 165954 6 0 4 4 2 0.78/0.15 c 1066 2743 60711 257027 6 0 4 4 2 0.78/0.15 c 1066 2180 59014 166170 6 0 4 4 2 0.78/0.15 c 1067 2747 60830 257625 6 0 4 4 2 0.78/0.15 c 1067 2184 59113 166386 6 0 4 4 2 0.78/0.15 c 1068 2188 59211 166602 6 0 4 4 2 0.78/0.15 c 1068 2751 60948 258218 6 0 4 4 2 0.78/0.15 c 1069 2192 59310 166818 6 0 4 4 2 0.78/0.15 c 1069 2755 61067 258816 6 0 4 4 2 0.78/0.15 c 1070 2196 59408 167034 6 0 4 4 2 0.78/0.15 c 1070 2759 61185 259409 6 0 4 4 2 0.78/0.15 c 1071 2200 59507 167250 6 0 4 4 2 0.78/0.15 c 1071 2763 61304 260007 6 0 4 4 2 0.78/0.15 c 1072 2204 59605 167466 6 0 4 4 2 0.78/0.15 c 1072 2767 61422 260600 6 0 4 4 2 0.78/0.15 c 1073 2208 59704 167682 6 0 4 4 2 0.78/0.15 c 1073 2771 61541 261198 6 0 4 4 2 0.78/0.15 c 1074 2212 59802 167898 6 0 4 4 2 0.78/0.15 c 1075 2216 59901 168114 6 0 4 4 2 0.78/0.15 c 1074 2775 61659 261791 6 0 4 4 2 0.78/0.15 c 1076 2220 59999 168330 6 0 4 4 2 0.78/0.15 c 1075 2779 61778 262389 6 0 4 4 2 0.78/0.15 c 1077 2224 60098 168546 6 0 4 4 2 0.78/0.15 c 1076 2783 61896 262982 6 0 4 4 2 0.78/0.15 c 1078 2228 60196 168762 6 0 4 4 2 0.78/0.15 c 1077 2787 62015 263580 6 0 4 4 2 0.78/0.15 c 1079 2232 60295 168978 6 0 4 4 2 0.78/0.15 c 2770 3776 60618 234309 6 0 5 26 22 0.78/0.15 c 1078 2791 62133 264173 6 0 4 4 2 0.78/0.15 c 1080 2236 60393 169194 6 0 4 4 2 0.78/0.15 c 1079 2795 62252 264771 6 0 4 4 2 0.78/0.15 c 1081 2240 60492 169410 6 0 4 4 2 0.78/0.15 c 1082 2244 60590 169626 6 0 4 4 2 0.78/0.15 c 1080 2799 62370 265364 6 0 4 4 2 0.78/0.15 c 1083 2248 60689 169842 6 0 4 4 2 0.78/0.15 c 1081 2803 62489 265962 6 0 4 4 2 0.78/0.15 c 1084 2252 60787 170058 6 0 4 4 2 0.78/0.15 c 1082 2807 62607 266555 6 0 4 4 2 0.78/0.15 c 1085 2256 60886 170274 6 0 4 4 2 0.78/0.15 c 1083 2811 62726 267153 6 0 4 4 2 0.78/0.15 c 1086 2260 60984 170490 6 0 4 4 2 0.78/0.15 c 1084 2815 62844 267746 6 0 4 4 2 0.78/0.15 c 1087 2264 61083 170706 6 0 4 4 2 0.78/0.15 c 1085 2819 62963 268344 6 0 4 4 2 0.78/0.15 c 1086 2823 63081 268937 6 0 4 4 2 0.78/0.15 c 1087 2827 63200 269535 6 0 4 4 2 0.78/0.15 c 2122 3084 57740 255720 6 0 2 25 21 0.78/0.16 c 1140 1758 74404 234898 6 0 6 22 18 0.78/0.16 c 1024 2949 63239 254881 6 0 8 22 14 0.78/0.16 c 1025 2957 63430 255499 6 0 8 8 4 0.78/0.16 c 1026 2962 63531 256010 6 0 5 5 2 0.78/0.16 c 1027 2969 63670 256555 6 0 7 7 3 0.78/0.16 c 947 1613 61151 196200 6 0 14 22 19 0.78/0.16 c 1028 2974 63771 257066 6 0 5 5 2 0.78/0.16 c 1029 2981 63910 257611 6 0 7 7 3 0.78/0.16 c 1030 2986 64011 258122 6 0 5 5 2 0.78/0.16 c 1031 2993 64150 258667 6 0 7 7 3 0.78/0.16 c 1032 2998 64251 259178 6 0 5 5 2 0.78/0.17 c 1033 3005 64390 259723 6 0 7 7 3 0.78/0.17 c 1034 3010 64491 260234 6 0 5 5 2 0.78/0.17 c 1035 3017 64630 260779 6 0 7 7 3 0.78/0.17 c 1036 3022 64731 261290 6 0 5 5 2 0.78/0.17 c 1037 3029 64870 261835 6 0 7 7 3 0.78/0.17 c 1038 3034 64971 262346 6 0 5 5 2 0.78/0.17 c 1039 3041 65110 262891 6 0 7 7 3 0.78/0.17 c 1040 3046 65211 263402 6 0 5 5 2 0.78/0.17 c 1041 3053 65350 263947 6 0 7 7 3 0.78/0.17 c 1042 3058 65451 264458 6 0 5 5 2 0.78/0.17 c 1043 3065 65590 265003 6 0 7 7 3 0.78/0.17 c 1044 3070 65691 265514 6 0 5 5 2 0.78/0.17 c 1045 3077 65830 266059 6 0 7 7 3 0.78/0.17 c 1046 3082 65931 266570 6 0 5 5 2 0.78/0.17 c 1047 3089 66070 267115 6 0 7 7 3 0.78/0.17 c 1048 3094 66171 267626 6 0 5 5 2 0.78/0.17 c 1049 3101 66310 268171 6 0 7 7 3 0.78/0.17 c 3142 4268 67893 264028 6 0 10 27 23 0.78/0.17 c 1050 3106 66411 268682 6 0 5 5 2 0.78/0.17 c 1051 3113 66550 269227 6 0 7 7 3 0.78/0.17 c 1052 3118 66651 269738 6 0 5 5 2 0.78/0.17 c 1053 3125 66790 270283 6 0 7 7 3 0.78/0.17 c 1054 3130 66891 270794 6 0 5 5 2 0.78/0.17 c 1055 3137 67030 271339 6 0 7 7 3 0.78/0.17 c 1056 3142 67131 271850 6 0 5 5 2 0.78/0.17 c 1057 3149 67270 272395 6 0 7 7 3 0.78/0.17 c 1058 3154 67371 272906 6 0 5 5 2 0.78/0.17 c 1059 3161 67510 273451 6 0 7 7 3 0.78/0.17 c 1060 3166 67611 273962 6 0 5 5 2 0.78/0.17 c 1061 3173 67750 274507 6 0 7 7 3 0.78/0.17 c 1062 3178 67851 275018 6 0 5 5 2 0.78/0.17 c 1063 3185 67990 275563 6 0 7 7 3 0.78/0.17 c 1064 3190 68091 276074 6 0 5 5 2 0.78/0.17 c 1065 3197 68230 276619 6 0 7 7 3 0.78/0.17 c 1066 3202 68331 277130 6 0 5 5 2 0.78/0.17 c 1067 3209 68470 277675 6 0 7 7 3 0.78/0.17 c 1068 3214 68571 278186 6 0 5 5 2 0.78/0.17 c 1069 3221 68710 278731 6 0 7 7 3 0.78/0.17 c 1070 3226 68811 279242 6 0 5 5 2 0.78/0.17 c 1071 3233 68950 279787 6 0 7 7 3 0.78/0.17 c 1072 3238 69051 280298 6 0 5 5 2 0.78/0.17 c 1073 3245 69190 280843 6 0 7 7 3 0.78/0.17 c 2431 3503 65006 289919 6 0 2 25 21 0.78/0.17 c 1074 3250 69291 281354 6 0 5 5 2 0.78/0.17 c 1075 3257 69430 281899 6 0 7 7 3 0.78/0.17 c 1076 3262 69531 282410 6 0 5 5 2 0.78/0.17 c 1077 3269 69670 282955 6 0 7 7 3 0.78/0.17 c 1078 3274 69771 283466 6 0 5 5 2 0.78/0.18 c 1079 3281 69910 284011 6 0 7 7 3 0.78/0.18 c 1080 3286 70011 284522 6 0 5 5 2 0.78/0.18 c 1081 3293 70150 285067 6 0 7 7 3 0.78/0.18 c 1082 3298 70251 285578 6 0 5 5 2 0.78/0.18 c 1083 3305 70390 286123 6 0 7 7 3 0.78/0.18 c 1084 3310 70491 286634 6 0 5 5 2 0.78/0.18 c 1085 3317 70630 287179 6 0 7 7 3 0.78/0.18 c 1086 3322 70731 287690 6 0 5 5 2 0.78/0.18 c 1087 3329 70870 288235 6 0 7 7 3 0.78/0.18 c 1352 2050 86567 270081 6 0 5 21 14 0.78/0.19 c 2770 3927 74055 333023 6 0 6 25 20 0.78/0.20 c 1140 1989 73379 240641 6 0 18 25 22 0.78/0.20 c 3551 4842 81199 311130 6 0 13 26 22 0.78/0.20 c 1585 2442 97204 305494 6 0 8 16 13 0.78/0.21 c 2048 4826 106074 367235 6 0 5 28 19 0.78/0.21 c 2049 4831 106231 368015 6 0 5 5 2 0.78/0.21 c 2050 4835 106350 368613 6 0 4 4 2 0.78/0.21 c 2051 4839 106468 369206 6 0 4 4 2 1.64/0.23 c 2052 4843 106587 369804 6 0 4 4 2 1.64/0.23 c 2053 4847 106705 370397 6 0 4 4 2 1.64/0.23 c 2054 4851 106824 370995 6 0 4 4 2 1.64/0.23 c 2055 4855 106942 371588 6 0 4 4 2 1.64/0.23 c 2056 4859 107061 372186 6 0 4 4 2 1.64/0.23 c 2057 4863 107179 372779 6 0 4 4 2 1.64/0.23 c 2058 4867 107298 373377 6 0 4 4 2 1.64/0.23 c 2059 4871 107416 373970 6 0 4 4 2 1.64/0.23 c 2060 4875 107535 374568 6 0 4 4 2 1.64/0.23 c 2061 4879 107653 375161 6 0 4 4 2 1.64/0.23 c 2062 4883 107772 375759 6 0 4 4 2 1.64/0.23 c 2063 4887 107890 376352 6 0 4 4 2 1.64/0.23 c 2064 4891 108009 376950 6 0 4 4 2 1.64/0.23 c 2065 4895 108127 377543 6 0 4 4 2 1.64/0.23 c 2066 4899 108246 378141 6 0 4 4 2 1.64/0.23 c 2067 4903 108364 378734 6 0 4 4 2 1.64/0.23 c 2068 4907 108483 379332 6 0 4 4 2 1.64/0.23 c 2069 4911 108601 379925 6 0 4 4 2 1.64/0.23 c 2070 4915 108720 380523 6 0 4 4 2 1.64/0.23 c 2071 4919 108838 381116 6 0 4 4 2 1.64/0.23 c 2072 4923 108957 381714 6 0 4 4 2 1.64/0.23 c 2073 4927 109075 382307 6 0 4 4 2 1.64/0.23 c 2074 4931 109194 382905 6 0 4 4 2 1.64/0.23 c 2075 4935 109312 383498 6 0 4 4 2 1.64/0.23 c 2076 4939 109431 384096 6 0 4 4 2 1.64/0.23 c 2077 4943 109549 384689 6 0 4 4 2 1.64/0.23 c 2078 4947 109668 385287 6 0 4 4 2 1.64/0.23 c 2079 4951 109786 385880 6 0 4 4 2 1.64/0.23 c 2080 4955 109905 386478 6 0 4 4 2 1.64/0.23 c 2081 4959 110023 387071 6 0 4 4 2 1.64/0.23 c 2082 4963 110142 387669 6 0 4 4 2 1.64/0.23 c 2083 4967 110260 388262 6 0 4 4 2 1.64/0.23 c 2084 4971 110379 388860 6 0 4 4 2 1.64/0.23 c 2085 4975 110497 389453 6 0 4 4 2 1.64/0.23 c 2086 4979 110616 390051 6 0 4 4 2 1.64/0.23 c 2087 4983 110734 390644 6 0 4 4 2 1.64/0.23 c 2088 4987 110853 391242 6 0 4 4 2 1.64/0.23 c 2089 4991 110971 391835 6 0 4 4 2 1.64/0.23 c 2090 4995 111090 392433 6 0 4 4 2 1.64/0.23 c 2091 4999 111208 393026 6 0 4 4 2 1.64/0.23 c 2092 5003 111327 393624 6 0 4 4 2 1.64/0.23 c 2093 5007 111445 394217 6 0 4 4 2 1.64/0.23 c 2094 5011 111564 394815 6 0 4 4 2 1.64/0.23 c 2095 5015 111682 395408 6 0 4 4 2 1.64/0.23 c 2096 5019 111801 396006 6 0 4 4 2 1.64/0.23 c 2097 5023 111919 396599 6 0 4 4 2 1.64/0.23 c 3142 4403 82569 369116 6 0 11 26 22 1.64/0.23 c 2098 5027 112038 397197 6 0 4 4 2 1.64/0.23 c 2099 5031 112156 397790 6 0 4 4 2 1.64/0.23 c 2100 5035 112275 398388 6 0 4 4 2 1.64/0.23 c 2101 5039 112393 398981 6 0 4 4 2 1.64/0.23 c 2102 5043 112512 399579 6 0 4 4 2 1.64/0.24 c 2103 5047 112630 400172 6 0 4 4 2 1.64/0.24 c 2104 5051 112749 400770 6 0 4 4 2 1.64/0.24 c 2105 5055 112867 401363 6 0 4 4 2 1.64/0.24 c 2106 5059 112986 401961 6 0 4 4 2 1.64/0.24 c 2107 5063 113104 402554 6 0 4 4 2 1.64/0.24 c 2108 5067 113223 403152 6 0 4 4 2 1.64/0.24 c 2109 5071 113341 403745 6 0 4 4 2 1.64/0.24 c 2110 5075 113460 404343 6 0 4 4 2 1.64/0.24 c 2111 5079 113578 404936 6 0 4 4 2 1.64/0.24 c 2112 5083 113697 405534 6 0 4 4 2 1.64/0.24 c 2113 5087 113815 406127 6 0 4 4 2 1.64/0.24 c 2114 5091 113934 406725 6 0 4 4 2 1.64/0.24 c 2115 5095 114052 407318 6 0 4 4 2 1.64/0.24 c 2116 5099 114171 407916 6 0 4 4 2 1.64/0.24 c 2117 5103 114289 408509 6 0 4 4 2 1.64/0.24 c 2118 5107 114408 409107 6 0 4 4 2 1.64/0.24 c 2119 5111 114526 409700 6 0 4 4 2 1.64/0.24 c 2120 5115 114645 410298 6 0 4 4 2 1.64/0.24 c 1841 2838 112296 356541 6 0 6 16 13 1.64/0.24 c 1352 2341 86277 282270 6 0 4 25 20 1.64/0.24 c 2121 5119 114763 410891 6 0 4 4 2 1.64/0.24 c 2122 5123 114882 411489 6 0 4 4 2 1.64/0.24 c 2123 5127 115000 412082 6 0 4 4 2 1.64/0.24 c 2124 5131 115119 412680 6 0 4 4 2 1.64/0.24 c 2125 5135 115237 413273 6 0 4 4 2 1.64/0.24 c 2126 5139 115356 413871 6 0 4 4 2 1.64/0.24 c 2127 5143 115474 414464 6 0 4 4 2 1.64/0.24 c 2128 5147 115593 415062 6 0 4 4 2 1.64/0.24 c 2129 5151 115711 415655 6 0 4 4 2 1.64/0.24 c 2130 5155 115830 416253 6 0 4 4 2 1.64/0.24 c 2131 5159 115948 416846 6 0 4 4 2 1.64/0.24 c 2132 5163 116067 417444 6 0 4 4 2 1.64/0.24 c 2133 5167 116185 418037 6 0 4 4 2 1.64/0.24 c 2134 5171 116304 418635 6 0 4 4 2 1.64/0.24 c 2135 5175 116422 419228 6 0 4 4 2 1.64/0.24 c 2136 5179 116541 419826 6 0 4 4 2 1.64/0.24 c 2137 5183 116659 420419 6 0 4 4 2 1.64/0.24 c 2138 5187 116778 421017 6 0 4 4 2 1.64/0.24 c 4000 5443 96611 369615 6 0 12 25 21 1.64/0.24 c 2139 5191 116896 421610 6 0 4 4 2 1.64/0.24 c 2140 5195 117015 422208 6 0 4 4 2 1.64/0.24 c 2141 5199 117133 422801 6 0 4 4 2 1.64/0.24 c 2142 5203 117252 423399 6 0 4 4 2 1.64/0.24 c 2143 5207 117370 423992 6 0 4 4 2 1.64/0.24 c 2144 5211 117489 424590 6 0 4 4 2 1.64/0.24 c 2145 5215 117607 425183 6 0 4 4 2 1.64/0.24 c 2146 5219 117726 425781 6 0 4 4 2 1.64/0.24 c 2147 5223 117844 426374 6 0 4 4 2 1.64/0.24 c 2148 5227 117963 426972 6 0 4 4 2 1.64/0.24 c 2149 5231 118081 427565 6 0 4 4 2 1.64/0.24 c 2150 5235 118200 428163 6 0 4 4 2 1.64/0.24 c 2151 5239 118318 428756 6 0 4 4 2 1.64/0.24 c 2152 5243 118437 429354 6 0 4 4 2 1.64/0.25 c 2153 5247 118555 429947 6 0 4 4 2 1.64/0.25 c 2154 5251 118674 430545 6 0 4 4 2 1.64/0.25 c 2155 5255 118792 431138 6 0 4 4 2 1.64/0.25 c 2156 5259 118911 431736 6 0 4 4 2 1.64/0.25 c 2157 5263 119029 432329 6 0 4 4 2 1.64/0.25 c 2158 5267 119148 432927 6 0 4 4 2 1.64/0.25 c 2159 5271 119266 433520 6 0 4 4 2 1.64/0.25 c 2160 5275 119385 434118 6 0 4 4 2 1.64/0.25 c 2161 5279 119503 434711 6 0 4 4 2 1.64/0.25 c 2162 5283 119622 435309 6 0 4 4 2 1.64/0.25 c 2163 5287 119740 435902 6 0 4 4 2 1.64/0.25 c 2164 5291 119859 436500 6 0 4 4 2 1.64/0.25 c 2165 5295 119977 437093 6 0 4 4 2 1.64/0.25 c 2166 5299 120096 437691 6 0 4 4 2 1.64/0.25 c 2167 5303 120214 438284 6 0 4 4 2 1.64/0.25 c 2168 5307 120333 438882 6 0 4 4 2 1.64/0.25 c 2169 5311 120451 439475 6 0 4 4 2 1.64/0.25 c 2170 5315 120570 440073 6 0 4 4 2 1.64/0.25 c 2171 5319 120688 440666 6 0 4 4 2 1.64/0.25 c 2172 5323 120807 441264 6 0 4 4 2 1.64/0.25 c 2173 5327 120925 441857 6 0 4 4 2 1.64/0.25 c 2174 5331 121044 442455 6 0 4 4 2 1.64/0.25 c 2175 5335 121162 443048 6 0 4 4 2 1.64/0.25 c 3551 4947 90932 405812 6 0 12 26 23 1.64/0.26 c 4493 6078 106200 413119 6 0 7 26 22 1.64/0.27 c 2048 4617 116152 407541 6 0 2 28 20 1.64/0.27 c 2049 4619 116202 407774 6 0 2 2 1 1.64/0.27 c 2050 4622 116294 408482 6 0 3 3 1 1.64/0.27 c 2051 4626 116412 409075 6 0 4 4 2 1.64/0.27 c 2052 4630 116531 409673 6 0 4 4 2 1.64/0.27 c 2053 4634 116649 410266 6 0 4 4 2 1.64/0.27 c 2054 4638 116768 410864 6 0 4 4 2 1.64/0.27 c 2055 4642 116886 411457 6 0 4 4 2 1.64/0.27 c 4000 5540 99640 444716 6 0 6 26 22 1.64/0.27 c 2056 4646 117005 412055 6 0 4 4 2 1.64/0.27 c 2057 4650 117123 412648 6 0 4 4 2 1.64/0.27 c 2058 4654 117242 413246 6 0 4 4 2 1.64/0.27 c 2059 4658 117360 413839 6 0 4 4 2 1.64/0.27 c 2060 4662 117479 414437 6 0 4 4 2 1.64/0.27 c 2061 4666 117597 415030 6 0 4 4 2 1.64/0.27 c 2062 4670 117716 415628 6 0 4 4 2 1.64/0.27 c 2063 4674 117834 416221 6 0 4 4 2 1.64/0.27 c 2064 4678 117953 416819 6 0 4 4 2 1.64/0.27 c 2065 4682 118071 417412 6 0 4 4 2 1.64/0.27 c 2066 4686 118190 418010 6 0 4 4 2 1.64/0.27 c 2067 4690 118308 418603 6 0 4 4 2 1.64/0.27 c 2068 4694 118427 419201 6 0 4 4 2 1.64/0.27 c 2069 4698 118545 419794 6 0 4 4 2 1.64/0.27 c 2070 4702 118664 420392 6 0 4 4 2 1.64/0.27 c 2071 4706 118782 420985 6 0 4 4 2 1.64/0.27 c 2072 4710 118901 421583 6 0 4 4 2 1.64/0.27 c 2073 4714 119019 422176 6 0 4 4 2 1.64/0.27 c 2074 4718 119138 422774 6 0 4 4 2 1.64/0.27 c 2075 4722 119256 423367 6 0 4 4 2 1.64/0.28 c 2076 4726 119375 423965 6 0 4 4 2 1.64/0.28 c 2077 4730 119493 424558 6 0 4 4 2 1.64/0.28 c 2078 4734 119612 425156 6 0 4 4 2 1.64/0.28 c 2079 4738 119730 425749 6 0 4 4 2 1.64/0.28 c 2080 4742 119849 426347 6 0 4 4 2 1.64/0.28 c 2081 4746 119967 426940 6 0 4 4 2 1.64/0.28 c 2082 4750 120086 427538 6 0 4 4 2 1.64/0.28 c 2083 4754 120204 428131 6 0 4 4 2 1.64/0.28 c 2084 4758 120323 428729 6 0 4 4 2 1.64/0.28 c 2085 4762 120441 429322 6 0 4 4 2 1.64/0.28 c 2086 4766 120560 429920 6 0 4 4 2 1.64/0.28 c 2087 4770 120678 430513 6 0 4 4 2 1.64/0.28 c 2088 4774 120797 431111 6 0 4 4 2 1.64/0.28 c 2089 4778 120915 431704 6 0 4 4 2 1.64/0.28 c 2090 4782 121034 432302 6 0 4 4 2 1.64/0.28 c 2091 4786 121152 432895 6 0 4 4 2 1.64/0.28 c 2092 4790 121271 433493 6 0 4 4 2 1.64/0.28 c 2093 4794 121389 434086 6 0 4 4 2 1.64/0.28 c 2094 4798 121508 434684 6 0 4 4 2 1.64/0.28 c 2095 4802 121626 435277 6 0 4 4 2 1.64/0.28 c 2096 4806 121745 435875 6 0 4 4 2 1.64/0.28 c 2097 4810 121863 436468 6 0 4 4 2 1.64/0.28 c 2098 4814 121982 437066 6 0 4 4 2 1.64/0.28 c 2099 4818 122100 437659 6 0 4 4 2 1.64/0.28 c 2100 4822 122219 438257 6 0 4 4 2 1.64/0.28 c 2101 4826 122337 438850 6 0 4 4 2 1.64/0.28 c 2102 4830 122456 439448 6 0 4 4 2 1.64/0.28 c 2103 4834 122574 440041 6 0 4 4 2 1.64/0.28 c 2104 4838 122693 440639 6 0 4 4 2 1.64/0.28 c 1585 2762 102628 329700 6 0 14 25 21 1.64/0.28 c 2105 4842 122811 441232 6 0 4 4 2 1.64/0.28 c 2106 4846 122930 441830 6 0 4 4 2 1.64/0.28 c 2107 4850 123048 442423 6 0 4 4 2 1.64/0.28 c 2048 5420 109326 440971 6 0 5 17 12 1.64/0.28 c 2108 4854 123167 443021 6 0 4 4 2 1.64/0.28 c 2049 5429 109526 441574 6 0 9 9 4 1.64/0.28 c 2109 4858 123285 443614 6 0 4 4 2 1.64/0.28 c 2110 4862 123404 444212 6 0 4 4 2 1.64/0.28 c 2050 5438 109684 442131 6 0 9 9 4 1.64/0.28 c 2111 4866 123522 444805 6 0 4 4 2 1.64/0.28 c 2051 5447 109866 442693 6 0 9 9 4 1.64/0.28 c 2112 4870 123641 445403 6 0 4 4 2 1.64/0.28 c 2052 5456 110024 443250 6 0 9 9 4 1.64/0.28 c 2113 4874 123759 445996 6 0 4 4 2 1.64/0.28 c 2114 4878 123878 446594 6 0 4 4 2 1.64/0.28 c 2053 5465 110206 443812 6 0 9 9 4 1.64/0.28 c 2122 3250 137013 452951 6 0 9 13 11 1.64/0.28 c 2115 4882 123996 447187 6 0 4 4 2 1.64/0.28 c 2054 5474 110364 444369 6 0 9 9 4 1.64/0.28 c 2116 4886 124115 447785 6 0 4 4 2 1.64/0.28 c 2055 5483 110546 444931 6 0 9 9 4 1.64/0.28 c 2117 4890 124233 448378 6 0 4 4 2 1.64/0.28 c 2118 4894 124352 448976 6 0 4 4 2 1.64/0.28 c 2056 5492 110704 445488 6 0 9 9 4 1.64/0.28 c 2119 4898 124470 449569 6 0 4 4 2 1.64/0.28 c 2057 5501 110886 446050 6 0 9 9 4 1.64/0.28 c 2120 4902 124589 450167 6 0 4 4 2 1.64/0.28 c 2058 5510 111044 446607 6 0 9 9 4 1.64/0.28 c 2121 4906 124707 450760 6 0 4 4 2 1.64/0.28 c 2122 4910 124826 451358 6 0 4 4 2 1.64/0.28 c 2059 5519 111226 447169 6 0 9 9 4 1.64/0.28 c 2123 4914 124944 451951 6 0 4 4 2 1.64/0.28 c 2060 5528 111384 447726 6 0 9 9 4 1.64/0.28 c 2061 5537 111566 448288 6 0 9 9 4 1.64/0.28 c 2124 4918 125063 452549 6 0 4 4 2 1.64/0.28 c 2062 5546 111724 448845 6 0 9 9 4 1.64/0.28 c 2125 4922 125181 453142 6 0 4 4 2 1.64/0.28 c 2126 4926 125300 453740 6 0 4 4 2 1.64/0.28 c 2063 5555 111906 449407 6 0 9 9 4 1.64/0.28 c 2127 4930 125418 454333 6 0 4 4 2 1.64/0.29 c 2064 5564 112064 449964 6 0 9 9 4 1.64/0.29 c 2128 4934 125537 454931 6 0 4 4 2 1.64/0.29 c 2129 4938 125655 455524 6 0 4 4 2 1.64/0.29 c 2065 5573 112246 450526 6 0 9 9 4 1.64/0.29 c 2130 4942 125774 456122 6 0 4 4 2 1.64/0.29 c 2066 5582 112404 451083 6 0 9 9 4 1.64/0.29 c 2131 4946 125892 456715 6 0 4 4 2 1.64/0.29 c 2067 5591 112586 451645 6 0 9 9 4 1.64/0.29 c 2132 4950 126011 457313 6 0 4 4 2 1.64/0.29 c 2133 4954 126129 457906 6 0 4 4 2 c 2068 1.64/0.29 5600 112744 452202 6 0 9 9 4 1.64/0.29 c 2134 4958 126248 458504 6 0 4 4 2 1.64/0.29 c 2069 5609 112926 452764 6 0 9 9 4 1.64/0.29 c 2135 4962 126366 459097 6 0 4 4 2 1.64/0.29 c 2070 5618 113084 453321 6 0 9 9 4 1.64/0.29 c 2136 4966 126485 459695 6 0 4 4 2 1.64/0.29 c 2071 5627 113266 453883 6 0 9 9 4 1.64/0.29 c 2137 4970 126603 460288 6 0 4 4 2 1.64/0.29 c 2138 4974 126722 460886 6 0 4 4 2 1.64/0.29 c 2072 5636 113424 454440 6 0 9 9 4 1.64/0.29 c 2139 4978 126840 461479 6 0 4 4 2 1.64/0.29 c 2073 5645 113606 455002 6 0 9 9 4 1.64/0.29 c 2140 4982 126959 462077 6 0 4 4 2 1.64/0.29 c 2074 5654 113764 455559 6 0 9 9 4 1.64/0.29 c 2141 4986 127077 462670 6 0 4 4 2 1.64/0.29 c 2142 4990 127196 463268 6 0 4 4 2 1.64/0.29 c 2075 5663 113946 456121 6 0 9 9 4 1.64/0.29 c 2143 4994 127314 463861 6 0 4 4 2 1.64/0.29 c 2076 5672 114104 456678 6 0 9 9 4 1.64/0.29 c 2144 4998 127433 464459 6 0 4 4 2 1.64/0.29 c 2077 5681 114286 457240 6 0 9 9 4 1.64/0.29 c 2145 5002 127551 465052 6 0 4 4 2 1.64/0.29 c 2146 5006 127670 465650 6 0 4 4 2 1.64/0.29 c 2078 5690 114444 457797 6 0 9 9 4 1.64/0.29 c 2147 5010 127788 466243 6 0 4 4 2 1.64/0.29 c 2079 5699 114626 458359 6 0 9 9 4 1.64/0.29 c 2148 5014 127907 466841 6 0 4 4 2 1.64/0.29 c 2080 5708 114784 458916 6 0 9 9 4 1.64/0.29 c 2149 5018 128025 467434 6 0 4 4 2 1.64/0.29 c 2150 5022 128144 468032 6 0 4 4 2 1.64/0.29 c 2081 5717 114966 459478 6 0 9 9 4 1.64/0.29 c 2151 5026 128262 468625 6 0 4 4 2 1.64/0.29 c 2082 5726 115124 460035 6 0 9 9 4 1.64/0.29 c 2152 5030 128381 469223 6 0 4 4 2 1.64/0.29 c 2083 5735 115306 460597 6 0 9 9 4 1.64/0.29 c 2153 5034 128499 469816 6 0 4 4 2 1.64/0.29 c 2084 5744 115464 461154 6 0 9 9 4 1.64/0.29 c 2154 5038 128618 470414 6 0 4 4 2 1.64/0.29 c 2155 5042 128736 471007 6 0 4 4 2 1.64/0.29 c 2085 5753 115646 461716 6 0 9 9 4 1.64/0.29 c 2156 5046 128855 471605 6 0 4 4 2 1.64/0.29 c 2086 5762 115804 462273 6 0 9 9 4 1.64/0.29 c 2157 5050 128973 472198 6 0 4 4 2 1.64/0.29 c 2158 5054 129092 472796 6 0 4 4 2 1.64/0.29 c 2087 5771 115986 462835 6 0 9 9 4 1.64/0.29 c 2159 5058 129210 473389 6 0 4 4 2 1.64/0.29 c 2088 5780 116144 463392 6 0 9 9 4 1.64/0.29 c 2160 5062 129329 473987 6 0 4 4 2 1.64/0.29 c 2089 5789 116326 463954 6 0 9 9 4 1.64/0.29 c 2161 5066 129447 474580 6 0 4 4 2 1.64/0.29 c 2162 5070 129566 475178 6 0 4 4 2 1.64/0.29 c 2090 5798 116484 464511 6 0 9 9 4 1.64/0.29 c 2163 5074 129684 475771 6 0 4 4 2 1.64/0.29 c 2091 5807 116666 465073 6 0 9 9 4 1.64/0.29 c 2164 5078 129803 476369 6 0 4 4 2 1.64/0.29 c 2092 5816 116824 465630 6 0 9 9 4 1.64/0.29 c 2165 5082 129921 476962 6 0 4 4 2 1.64/0.29 c 2093 5825 117006 466192 6 0 9 9 4 1.64/0.29 c 2166 5086 130040 477560 6 0 4 4 2 1.64/0.29 c 2167 5090 130158 478153 6 0 4 4 2 1.64/0.29 c 2094 5834 117164 466749 6 0 9 9 4 1.64/0.29 c 2168 5094 130277 478751 6 0 4 4 2 1.64/0.29 c 2095 5843 117346 467311 6 0 9 9 4 1.64/0.29 c 2169 5098 130395 479344 6 0 4 4 2 1.64/0.29 c 2096 5852 117504 467868 6 0 9 9 4 1.64/0.29 c 2170 5102 130514 479942 6 0 4 4 2 1.64/0.29 c 2171 5106 130632 480535 6 0 4 4 2 1.64/0.29 c 2097 5861 117686 468430 6 0 9 9 4 1.64/0.29 c 2172 5110 130751 481133 6 0 4 4 2 1.64/0.29 c 2098 5870 117844 468987 6 0 9 9 4 1.64/0.29 c 5035 7052 121528 459742 6 0 5 14 11 1.64/0.29 c 2173 5114 130869 481726 6 0 4 4 2 1.64/0.29 c 2099 5879 118026 469549 6 0 9 9 4 1.64/0.29 c 2174 5118 130988 482324 6 0 4 4 2 1.64/0.29 c 2175 5122 131106 482917 6 0 4 4 2 1.64/0.29 c 2100 5888 118184 470106 6 0 9 9 4 1.64/0.30 c 2101 5897 118366 470668 6 0 9 9 4 1.64/0.30 c 2102 5906 118524 471225 6 0 9 9 4 1.64/0.30 c 2103 5915 118706 471787 6 0 9 9 4 1.64/0.30 c 2104 5924 118864 472344 6 0 9 9 4 1.64/0.30 c 2105 5933 119046 472906 6 0 9 9 4 1.64/0.30 c 2106 5942 119204 473463 6 0 9 9 4 1.64/0.30 c 2107 5951 119386 474025 6 0 9 9 4 1.64/0.30 c 2108 5960 119544 474582 6 0 9 9 4 1.64/0.30 c 2109 5969 119726 475144 6 0 9 9 4 1.64/0.30 c 2110 5978 119884 475701 6 0 9 9 4 1.64/0.30 c 2111 5987 120066 476263 6 0 9 9 4 1.64/0.30 c 2112 5996 120224 476820 6 0 9 9 4 1.64/0.30 c 2113 6005 120406 477382 6 0 9 9 4 1.64/0.30 c 2114 6014 120564 477939 6 0 9 9 4 1.64/0.30 c 2115 6023 120746 478501 6 0 9 9 4 1.64/0.30 c 2116 6032 120904 479058 6 0 9 9 4 1.64/0.30 c 2117 6041 121086 479620 6 0 9 9 4 1.64/0.30 c 2118 6050 121244 480177 6 0 9 9 4 1.64/0.30 c 2119 6059 121426 480739 6 0 9 9 4 1.64/0.30 c 2120 6068 121584 481296 6 0 9 9 4 1.64/0.30 c 2121 6077 121766 481858 6 0 9 9 4 1.64/0.30 c 2122 6086 121924 482415 6 0 9 9 4 1.64/0.30 c 2123 6095 122106 482977 6 0 9 9 4 1.64/0.30 c 2048 3693 124238 343358 6 0 4 23 18 1.64/0.30 c 2124 6104 122264 483534 6 0 9 9 4 1.64/0.30 c 2049 3699 124373 343661 6 0 6 6 3 1.64/0.30 c 2125 6113 122446 484096 6 0 9 9 4 1.64/0.30 c 2050 3704 124501 343915 6 0 5 5 2 1.64/0.30 c 2051 3709 124628 344169 6 0 5 5 2 1.64/0.30 c 2126 6122 122604 484653 6 0 9 9 4 1.64/0.30 c 2052 3714 124756 344423 6 0 5 5 2 1.64/0.30 c 2127 6131 122786 485215 6 0 9 9 4 1.64/0.30 c 2053 3719 124883 344677 6 0 5 5 2 1.64/0.30 c 2128 6140 122944 485772 6 0 9 9 4 1.64/0.30 c 4493 6158 113865 513656 6 0 7 23 20 1.64/0.30 c 2054 3724 125011 344931 6 0 5 5 2 1.64/0.30 c 2129 6149 123126 486334 6 0 9 9 4 1.64/0.30 c 2055 3729 125138 345185 6 0 5 5 2 1.64/0.30 c 2056 3734 125266 345439 6 0 5 5 2 1.64/0.30 c 2130 6158 123284 486891 6 0 9 9 4 1.64/0.30 c 2057 3739 125393 345693 6 0 5 5 2 1.64/0.30 c 2131 6167 123466 487453 6 0 9 9 4 1.64/0.30 c 2058 3744 125521 345947 6 0 5 5 2 1.64/0.30 c 2132 6176 123624 488010 6 0 9 9 4 1.64/0.30 c 2059 3749 125648 346201 6 0 5 5 2 1.64/0.30 c 2133 6185 123806 488572 6 0 9 9 4 1.64/0.30 c 2060 3754 125776 346455 6 0 5 5 2 1.64/0.30 c 2134 6194 123964 489129 6 0 9 9 4 1.64/0.30 c 2061 3759 125903 346709 6 0 5 5 2 1.64/0.30 c 2062 3764 126031 346963 6 0 5 5 2 1.64/0.30 c 2135 6203 124146 489691 6 0 9 9 4 1.64/0.30 c 2063 3769 126158 347217 6 0 5 5 2 1.64/0.30 c 2064 3774 126286 347471 6 0 5 5 2 1.64/0.31 c 2136 6212 124304 490248 6 0 9 9 4 1.64/0.31 c 2065 3779 126413 347725 6 0 5 5 2 1.64/0.31 c 2066 3784 126541 347979 6 0 5 5 2 1.64/0.31 c 2137 6221 124486 490810 6 0 9 9 4 1.64/0.31 c 2067 3789 126668 348233 6 0 5 5 2 1.64/0.31 c 2138 6230 124644 491367 6 0 9 9 4 1.64/0.31 c 2068 3794 126796 348487 6 0 5 5 2 1.64/0.31 c 2139 6239 124826 491929 6 0 9 9 4 1.64/0.31 c 2069 3799 126923 348741 6 0 5 5 2 1.64/0.31 c 2140 6248 124984 492486 6 0 9 9 4 1.64/0.31 c 2070 3804 127051 348995 6 0 5 5 2 1.64/0.31 c 2141 6257 125166 493048 6 0 9 9 4 1.64/0.31 c 2071 3809 127178 349249 6 0 5 5 2 1.64/0.31 c 2072 3814 127306 349503 6 0 5 5 2 1.64/0.31 c 2142 6266 125324 493605 6 0 9 9 4 1.64/0.31 c 2073 3819 127433 349757 6 0 5 5 2 1.64/0.31 c 2143 6275 125506 494167 6 0 9 9 4 1.64/0.31 c 2074 3824 127561 350011 6 0 5 5 2 1.64/0.31 c 2144 6284 125664 494724 6 0 9 9 4 1.64/0.31 c 2075 3829 127688 350265 6 0 5 5 2 1.64/0.31 c 2145 6293 125846 495286 6 0 9 9 4 1.64/0.31 c 2076 3834 127816 350519 6 0 5 5 2 1.64/0.31 c 2077 3839 127943 350773 6 0 5 5 2 1.64/0.31 c 2146 6302 126004 495843 6 0 9 9 4 1.64/0.31 c 2078 3844 128071 351027 6 0 5 5 2 1.64/0.31 c 2147 6311 126186 496405 6 0 9 9 4 1.64/0.31 c 2079 3849 128198 351281 6 0 5 5 2 1.64/0.31 c 2148 6320 126344 496962 6 0 9 9 4 1.64/0.31 c 2080 3854 128326 351535 6 0 5 5 2 1.64/0.31 c 2081 3859 128453 351789 6 0 5 5 2 1.64/0.31 c 2149 6329 126526 497524 6 0 9 9 4 1.64/0.31 c 2082 3864 128581 352043 6 0 5 5 2 1.64/0.31 c 2150 6338 126684 498081 6 0 9 9 4 1.64/0.31 c 2083 3869 128708 352297 6 0 5 5 2 1.64/0.31 c 2151 6347 126866 498643 6 0 9 9 4 1.64/0.31 c 2084 3874 128836 352551 6 0 5 5 2 1.64/0.31 c 2152 6356 127024 499200 6 0 9 9 4 1.64/0.31 c 2085 3879 128963 352805 6 0 5 5 2 1.64/0.31 c 2153 6365 127187 499762 6 0 9 9 4 1.64/0.31 c 2086 3884 129091 353059 6 0 5 5 2 1.64/0.31 c 2087 3889 129218 353313 6 0 5 5 2 1.64/0.31 c 2154 6374 127336 500319 6 0 9 9 4 1.64/0.31 c 2088 3894 129346 353567 6 0 5 5 2 1.64/0.31 c 2155 6383 127499 500881 6 0 9 9 4 1.64/0.31 c 2089 3899 129473 353821 6 0 5 5 2 1.64/0.31 c 2156 6392 127648 501438 6 0 9 9 4 1.64/0.31 c 2090 3904 129601 354075 6 0 5 5 2 1.64/0.31 c 2157 6401 127811 502000 6 0 9 9 4 1.64/0.31 c 2091 3909 129728 354329 6 0 5 5 2 1.64/0.31 c 2158 6410 127960 502557 6 0 9 9 4 1.64/0.31 c 2092 3914 129856 354583 6 0 5 5 2 1.64/0.31 c 2093 3919 129983 354837 6 0 5 5 2 1.64/0.31 c 2159 6419 128123 503119 6 0 9 9 4 1.64/0.31 c 2094 3924 130111 355091 6 0 5 5 2 1.64/0.31 c 2095 3929 130238 355345 6 0 5 5 2 1.64/0.31 c 2160 6428 128272 503676 6 0 9 9 4 1.64/0.31 c 2096 3934 130366 355599 6 0 5 5 2 1.64/0.31 c 2161 6437 128435 504238 6 0 9 9 4 1.64/0.31 c 2097 3939 130493 355853 6 0 5 5 2 1.64/0.31 c 2162 6446 128584 504795 6 0 9 9 4 1.64/0.31 c 2098 3944 130621 356107 6 0 5 5 2 1.64/0.31 c 2163 6455 128747 505357 6 0 9 9 4 1.64/0.31 c 2099 3949 130748 356361 6 0 5 5 2 1.64/0.31 c 2164 6464 128896 505914 6 0 9 9 4 1.64/0.31 c 2100 3954 130876 356615 6 0 5 5 2 1.64/0.31 c 2101 3959 131003 356869 6 0 c 5 5 22165 6473 1.64/0.31 129059 506476 6 0 9 9 4 1.64/0.31 c 2102 3964 131131 357123 6 0 5 5 2 1.64/0.31 c 2166 6482 129208 507033 6 0 9 9 4 1.64/0.31 c 2103 3969 131258 357377 6 0 5 5 2 1.64/0.31 c 2167 6491 129371 507595 6 0 9 9 4 1.64/0.31 c 2104 3974 131386 357631 6 0 5 5 2 1.64/0.31 c 2168 6500 129520 508152 6 0 9 9 4 1.64/0.31 c 2105 3979 131513 357885 6 0 5 5 2 1.64/0.31 c 2169 6509 129683 508714 6 0 9 9 4 2.42/0.32 c 2106 3984 131641 358139 6 0 5 5 2 2.42/0.32 c 2170 6518 129832 509271 6 0 9 9 4 2.42/0.32 c 2107 3989 131768 358393 6 0 5 5 2 2.42/0.32 c 2171 6527 129995 509833 6 0 9 9 4 2.42/0.32 c 2108 3994 131896 358647 6 0 5 5 2 2.42/0.32 c 2109 3999 132023 358901 6 0 5 5 2 2.42/0.32 c 2172 6536 130144 510390 6 0 9 9 4 2.42/0.32 c 2110 4004 132151 359155 6 0 5 5 2 2.42/0.32 c 2173 6545 130307 510952 6 0 9 9 4 2.42/0.32 c 2111 4009 132278 359409 6 0 5 5 2 2.42/0.32 c 2174 6554 130456 511509 6 0 9 9 4 2.42/0.32 c 2112 4014 132406 359663 6 0 5 5 2 2.42/0.32 c 2175 6563 130619 512071 6 0 9 9 4 2.42/0.32 c 2113 4019 132533 359917 6 0 5 5 2 2.42/0.32 c 2114 4024 132661 360171 6 0 5 5 2 2.42/0.32 c 2115 4029 132788 360425 6 0 5 5 2 2.42/0.32 c 2116 4034 132916 360679 6 0 5 5 2 2.42/0.32 c 2117 4039 133043 360933 6 0 5 5 2 2.42/0.32 c 2118 4044 133171 361187 6 0 5 5 2 2.42/0.32 c 2119 4049 133298 361441 6 0 5 5 2 2.42/0.32 c 2431 3812 156402 501054 6 0 6 22 16 2.42/0.32 c 2120 4054 133426 361695 6 0 5 5 2 2.42/0.32 c 2121 4059 133553 361949 6 0 5 5 2 2.42/0.32 c 2122 4064 133681 362203 6 0 5 5 2 2.42/0.32 c 2123 4069 133808 362457 6 0 5 5 2 2.42/0.32 c 2124 4074 133936 362711 6 0 5 5 2 2.42/0.32 c 2125 4079 134063 362965 6 0 5 5 2 2.42/0.32 c 2126 4084 134191 363219 6 0 5 5 2 2.42/0.32 c 2127 4089 134318 363473 6 0 5 5 2 2.42/0.32 c 2128 4094 134446 363727 6 0 5 5 2 2.42/0.32 c 2129 4099 134573 363981 6 0 5 5 2 2.42/0.32 c 2130 4104 134701 364235 6 0 5 5 2 2.42/0.32 c 2131 4109 134828 364489 6 0 5 5 2 2.42/0.32 c 2132 4114 134956 364743 6 0 5 5 2 2.42/0.32 c 2133 4119 135083 364997 6 0 5 5 2 2.42/0.32 c 2134 4124 135211 365251 6 0 5 5 2 2.42/0.32 c 2135 4129 135338 365505 6 0 5 5 2 2.42/0.32 c 2136 4134 135466 365759 6 0 5 5 2 2.42/0.32 c 2137 4139 135593 366013 6 0 5 5 2 2.42/0.32 c 1841 3190 118897 390347 6 0 16 24 20 2.42/0.32 c 2138 4144 135721 366267 6 0 5 5 2 2.42/0.32 c 2139 4149 135848 366521 6 0 5 5 2 2.42/0.32 c 2140 4154 135976 366775 6 0 5 5 2 2.42/0.32 c 2141 4159 136103 367029 6 0 5 5 2 2.42/0.32 c 2142 4164 136231 367283 6 0 5 5 2 2.42/0.32 c 2143 4169 136358 367537 6 0 5 5 2 2.42/0.32 c 2144 4174 136486 367791 6 0 5 5 2 2.42/0.32 c 2145 4179 136613 368045 6 0 5 5 2 2.42/0.32 c 2146 4184 136741 368299 6 0 5 5 2 2.42/0.32 c 2147 4189 136868 368553 6 0 5 5 2 2.42/0.32 c 2148 4194 136996 368807 6 0 5 5 2 2.42/0.32 c 2149 4199 137123 369061 6 0 5 5 2 2.42/0.33 c 2150 4204 137251 369315 6 0 5 5 2 2.42/0.33 c 2151 4209 137378 369569 6 0 5 5 2 2.42/0.33 c 2152 4214 137506 369823 6 0 5 5 2 2.42/0.33 c 2153 4219 137633 370077 6 0 5 5 2 2.42/0.33 c 2154 4224 137761 370331 6 0 5 5 2 2.42/0.33 c 2155 4229 137888 370585 6 0 5 5 2 2.42/0.33 c 2156 4234 138016 370839 6 0 5 5 2 2.42/0.33 c 2157 4239 138143 371093 6 0 5 5 2 2.42/0.33 c 2158 4244 138271 371347 6 0 5 5 2 2.42/0.33 c 2159 4249 138398 371601 6 0 5 5 2 2.42/0.33 c 2160 4254 138526 371855 6 0 5 5 2 2.42/0.33 c 2161 4259 138653 372109 6 0 5 5 2 2.42/0.33 c 2162 4264 138781 372363 6 0 5 5 2 2.42/0.33 c 2163 4269 138908 372617 6 0 5 5 2 2.42/0.33 c 2164 4274 139036 372871 6 0 5 5 2 2.42/0.33 c 2165 4279 139163 373125 6 0 5 5 2 2.42/0.33 c 2166 4284 139291 373379 6 0 5 5 2 2.42/0.33 c 2167 4289 139418 373633 6 0 5 5 2 2.42/0.33 c First solution is found 2.42/0.33 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 0. 2.42/0.33 c [pFactory][Group N°0] Thread N°0 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°1 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°2 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°3 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°4 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°5 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°6 is joined. 2.42/0.33 c [pFactory][Group N°0] Thread N°7 is joined. 2.42/0.33 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°6) 2.42/0.33 s SATISFIABLE 2.42/0.33 c restarts : 254 2.42/0.33 c conflicts : 3053 (1199 /sec) 2.42/0.33 c decisions : 7392 (2903 /sec) 2.42/0.33 c propagations : 560817 (220222 /sec) 2.42/0.33 c root propagations : 9 2.42/0.33 c filter calls : 169099 (66402 /sec) 2.42/0.33 c useless filter calls : 105147 (62 %) 2.42/0.33 c Memory used : 571.12 MB 2.42/0.33 c CPU time : 2.54656 s 2.42/0.33 c real time : 0.328316 s 2.42/0.33 2.42/0.33 c solution 1 2.42/0.33 2.42/0.33 v <instantiation type='solution'> 2.42/0.33 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.42/0.33 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.42/0.33 v </instantiation> 2.42/0.33
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 (15318 MiB free) memory of node 1: 16384 MiB (15743 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397975-1568606050/watcher-4397975-1568606050 -o /tmp/evaluation-result-4397975-1568606050/solver-4397975-1568606050 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568597291-8982 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397975-1568606050.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10435, runsolver pid=10432 [startup+0.100953 s]* /proc/loadavg: 8.09 8.22 7.95 10/199 10444 /proc/meminfo: memFree=31805628/32770624 swapFree=66937620/67108860 [pid=10435] ppid=10432 vsize=617608 memory=4296 CPUtime=0.78 cores=0-7 /proc/10435/stat : 10435 (cosoco) S 10432 10435 8955 0 -1 1077944320 1334 0 0 0 78 0 0 0 20 0 9 0 436876455 632430592 1074 33554432000 4194304 6211092 140720460685504 140720460683760 140490916142839 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 /proc/10435/statm: 154402 1074 873 493 0 147707 0 [pid=10435/tid=10437] ppid=10432 vsize=617608 memory=4134692831991786133 CPUtime=0.09 cores=0-7 /proc/10435/task/10437/stat : 10437 (cosoco) R 10432 10435 8955 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490892999624 5081329 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10438] ppid=10432 vsize=617608 memory=4126316290023845779 CPUtime=0.09 cores=0-7 /proc/10435/task/10438/stat : 10438 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490884607072 5078748 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10439] ppid=10432 vsize=617608 memory=139948172949120 CPUtime=0.09 cores=0-7 /proc/10435/task/10439/stat : 10439 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490876214368 5149686 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10440] ppid=10432 vsize=617608 memory=0 CPUtime=0.09 cores=0-7 /proc/10435/task/10440/stat : 10440 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490867821664 5149979 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10441] ppid=10432 vsize=617608 memory=0 CPUtime=0.09 cores=0-7 /proc/10435/task/10441/stat : 10441 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490859419000 5079292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10442] ppid=10432 vsize=617608 memory=0 CPUtime=0.09 cores=0-7 /proc/10435/task/10442/stat : 10442 (cosoco) R 10432 10435 8955 0 -1 4202560 5 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490851036256 5078911 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10443] ppid=10432 vsize=617608 memory=-1 CPUtime=0.09 cores=0-7 /proc/10435/task/10443/stat : 10443 (cosoco) R 10432 10435 8955 0 -1 4202560 5 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490842643552 5078748 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10444] ppid=10432 vsize=617608 memory=0 CPUtime=0.09 cores=0-7 /proc/10435/task/10444/stat : 10444 (cosoco) R 10432 10435 8955 0 -1 4202560 16 0 0 0 9 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490834250504 5149719 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 Current children cumulated CPU time: 0.78 s Current children cumulated vsize: 617608 KiB Current children cumulated memory: 4296 KiB [startup+0.209948 s]* /proc/loadavg: 8.09 8.22 7.95 9/199 10444 /proc/meminfo: memFree=31806332/32770624 swapFree=66937620/67108860 [pid=10435] ppid=10432 vsize=617608 memory=4296 CPUtime=1.64 cores=0-7 /proc/10435/stat : 10435 (cosoco) S 10432 10435 8955 0 -1 1077944320 1337 0 0 0 164 0 0 0 20 0 9 0 436876455 632430592 1074 33554432000 4194304 6211092 140720460685504 140720460683760 140490916142839 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 /proc/10435/statm: 154402 1074 873 493 0 147707 0 [pid=10435/tid=10437] ppid=10432 vsize=617608 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/10435/task/10437/stat : 10437 (cosoco) R 10432 10435 8955 0 -1 4202560 9 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490892999776 5149705 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10438] ppid=10432 vsize=617608 memory=2964828 CPUtime=0.18 cores=0-7 /proc/10435/task/10438/stat : 10438 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 18 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490884607072 5074850 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10439] ppid=10432 vsize=617608 memory=139948176431742 CPUtime=0.2 cores=0-7 /proc/10435/task/10439/stat : 10439 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490876214368 5082381 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10440] ppid=10432 vsize=617608 memory=-1 CPUtime=0.2 cores=0-7 /proc/10435/task/10440/stat : 10440 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490867821664 5149674 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10441] ppid=10432 vsize=617608 memory=0 CPUtime=0.2 cores=0-7 /proc/10435/task/10441/stat : 10441 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490859428960 5078875 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10442] ppid=10432 vsize=617608 memory=0 CPUtime=0.2 cores=0-7 /proc/10435/task/10442/stat : 10442 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490851036256 5081355 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10443] ppid=10432 vsize=617608 memory=-1 CPUtime=0.2 cores=0-7 /proc/10435/task/10443/stat : 10443 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490842643552 5193731 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10444] ppid=10432 vsize=617608 memory=0 CPUtime=0.2 cores=0-7 /proc/10435/task/10444/stat : 10444 (cosoco) R 10432 10435 8955 0 -1 4202560 16 0 0 0 20 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490834250848 5076431 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 Current children cumulated CPU time: 1.64 s Current children cumulated vsize: 617608 KiB Current children cumulated memory: 4296 KiB [startup+0.309947 s]* /proc/loadavg: 8.09 8.22 7.95 11/199 10444 /proc/meminfo: memFree=31805992/32770624 swapFree=66937620/67108860 [pid=10435] ppid=10432 vsize=617608 memory=4296 CPUtime=2.42 cores=0-7 /proc/10435/stat : 10435 (cosoco) S 10432 10435 8955 0 -1 1077944320 1337 0 0 0 242 0 0 0 20 0 9 0 436876455 632430592 1074 33554432000 4194304 6211092 140720460685504 140720460683760 140490916142839 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 /proc/10435/statm: 154402 1074 873 493 0 147707 0 [pid=10435/tid=10437] ppid=10432 vsize=617608 memory=6935054825532540783 CPUtime=0.3 cores=0-7 /proc/10435/task/10437/stat : 10437 (cosoco) R 10432 10435 8955 0 -1 4202560 9 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490892999776 5078923 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10438] ppid=10432 vsize=617608 memory=4126316290023845779 CPUtime=0.28 cores=0-7 /proc/10435/task/10438/stat : 10438 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 28 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490884607072 5151013 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10439] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10439/stat : 10439 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490876212632 140490900540541 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10440] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10440/stat : 10440 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490867821320 140490900656425 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10441] ppid=10432 vsize=617608 memory=6656426216303648864 CPUtime=0.3 cores=0-7 /proc/10435/task/10441/stat : 10441 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490859428960 5081322 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10442] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10442/stat : 10442 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490851034520 5149268 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10443] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10443/stat : 10443 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490842643552 5390056 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10444] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10444/stat : 10444 (cosoco) R 10432 10435 8955 0 -1 4202560 16 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490834250848 5082449 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 Current children cumulated CPU time: 2.42 s Current children cumulated vsize: 617608 KiB Current children cumulated memory: 4296 KiB [startup+0.333908 s] # the end of solver process 10435 was just reported to runsolver # cumulated CPU time of all completed processes: user=2.54692 s, system=0.003003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.309947 s]* /proc/loadavg: 8.09 8.22 7.95 11/199 10444 /proc/meminfo: memFree=31805992/32770624 swapFree=66937620/67108860 [pid=10435] ppid=10432 vsize=617608 memory=4296 CPUtime=2.42 cores=0-7 /proc/10435/stat : 10435 (cosoco) S 10432 10435 8955 0 -1 1077944320 1337 0 0 0 242 0 0 0 20 0 9 0 436876455 632430592 1074 33554432000 4194304 6211092 140720460685504 140720460683760 140490916142839 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 /proc/10435/statm: 154402 1074 873 493 0 147707 0 [pid=10435/tid=10437] ppid=10432 vsize=617608 memory=6935054825532540783 CPUtime=0.3 cores=0-7 /proc/10435/task/10437/stat : 10437 (cosoco) R 10432 10435 8955 0 -1 4202560 9 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490892999776 5078923 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10438] ppid=10432 vsize=617608 memory=4126316290023845779 CPUtime=0.28 cores=0-7 /proc/10435/task/10438/stat : 10438 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 28 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490884607072 5151013 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10439] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10439/stat : 10439 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490876212632 140490900540541 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10440] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10440/stat : 10440 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490867821320 140490900656425 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10441] ppid=10432 vsize=617608 memory=6656426216303648864 CPUtime=0.3 cores=0-7 /proc/10435/task/10441/stat : 10441 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490859428960 5081322 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10442] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10442/stat : 10442 (cosoco) R 10432 10435 8955 0 -1 4202560 6 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490851034520 5149268 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10443] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10443/stat : 10443 (cosoco) R 10432 10435 8955 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490842643552 5390056 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 [pid=10435/tid=10444] ppid=10432 vsize=617608 memory=0 CPUtime=0.3 cores=0-7 /proc/10435/task/10444/stat : 10444 (cosoco) R 10432 10435 8955 0 -1 4202560 16 0 0 0 30 0 0 0 20 0 9 0 436876456 632430592 1074 33554432000 4194304 6211092 140720460685504 140490834250848 5082449 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16314368 140720460694545 140720460694637 140720460694637 140720460697550 0 Current children cumulated CPU time: 2.42 s Current children cumulated vsize: 617608 KiB Current children cumulated memory: 4296 KiB Child status: 0 Real time (s): 0.333929 CPU time (s): 2.54992 CPU user time (s): 2.54692 CPU system time (s): 0.003003 CPU usage (%): 763.613 Max. virtual memory (cumulated for all children) (KiB): 617608 Max. memory (cumulated for all children) (KiB): 4296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.54692 system time used= 0.003003 maximum resident set size= 4696 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1354 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= 120 involuntary context switches= 82 # summary of solver processes directly reported to runsolver: # pid: 10435 # total CPU time (s): 2.54992 # total CPU user time (s): 2.54692 # total CPU system time (s): 0.003003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.017447 second user time and 0.037041 second system time The end
Begin job on node151 at 2019-09-16 05:53:31 IDJOB=4397975 IDBENCH=133653 IDSOLVER=2851 FILE ID=node151/4397975-1568606050 RUNJOBID= node151-1568597291-8982 PBS_JOBID= 21703408 Free space on /tmp= 59308 MiB SOLVER NAME= cosoco 2.O 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-4397975-1568606050/watcher-4397975-1568606050 -o /tmp/evaluation-result-4397975-1568606050/solver-4397975-1568606050 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568597291-8982 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397975-1568606050.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e RANDOM SEED=2136116682 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31807132 kB MemAvailable: 31844800 kB Buffers: 37080 kB Cached: 303768 kB SwapCached: 69244 kB Active: 198360 kB Inactive: 215232 kB Active(anon): 3064 kB Inactive(anon): 113128 kB Active(file): 195296 kB Inactive(file): 102104 kB Unevictable: 109592 kB Mlocked: 109592 kB SwapTotal: 67108860 kB SwapFree: 66937620 kB Dirty: 2836 kB Writeback: 0 kB AnonPages: 113392 kB Mapped: 42240 kB Shmem: 34600 kB Slab: 140920 kB SReclaimable: 112204 kB SUnreclaim: 28716 kB KernelStack: 3552 kB PageTables: 5724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506688 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: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 59308 MiB End job on node151 at 2019-09-16 05:53:31