| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 0.954684 | 0.135537 |
| Name | Primes/ Primes-m1-p10/Primes-10-60-3-5.xml |
| MD5SUM | be3388c5d29b2a85b1452e4a694387b2 |
| 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 | 0.303618 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 60 |
| Number of domains | 1 |
| Minimum domain size | 28 |
| Maximum domain size | 28 |
| Distribution of domain sizes | [{"size":28,"count":99}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 8 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 8 |
| Distribution of constraint arities | [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":60}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c root propagations : 424 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-4409285-1569828151.xml 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 100 0.00/0.01 c | Domain Sizes: 28..28 0.00/0.01 c | 0.00/0.01 c | Constraints: 60 0.00/0.01 c | Arity: 3..8 -- Ternary: 5 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | Sum: 60 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 1. 0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 0. 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 5. 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 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[77] 0.00/0.01 c root propagations : 424 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[77] 0.00/0.01 c root propagations : 424 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[77] 0.00/0.01 c 0 1 209 425 45 0 0 0 0 0.00/0.01 c root propagations : 424 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 conflicts c decisions filterCalls propagations Root Prop. Nogoods0 1 209 min/max/avg depth425 0.00/0.01 45 c root propagations : 424 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[77] 0.00/0.01 c remove useless variable x[77] 0.00/0.01 0 0 0 0 0.00/0.01 c 0 2 209 426 45 0 0 0 0 0.00/0.01 c 0 3 209 427 45 0 c 0 0 0 0.00/0.01 0c 0 4 209 428 45 1 0209 425 45 0 0 0 0 0.00/0.01 c 0 0 00 5 209 429 45 0.00/0.01 0 0 0 0 0.00/0.01 c 0 6 209 430 45 0 c 0 0 0 02 209 426 45 0 0.00/0.01 0 0 0 0.00/0.01 c 0 c 3 209 0427 45 0 7 209 431 45 0 0 0 0 0.00/0.01 c 0 0 00 4 c 209 428 45 0 0 0 0 0 1 209 425 0.00/0.01 0.00/0.01 45 0 0 0 0 0.00/0.01 c root propagations : 424 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 c c 0 0 2 5 2092090426 429 45 c 8 0 conflicts0 0 045 0.00/0.01 209 432 0 c 0 3 209 427 45 0 decisions0 0 0 0 0 0 0.00/0.01 0.00/0.01 45 c c 0 6 209 430 0 45 4 0 0 209428 0 0 045 0 0 00 0.00/0.01 0 0 0 c 0 0.00/0.01 7 c 0 209 0.00/0.01 9 c 209 04334315 45 209 0 429 4545 0 0 0 0 0.00/0.01 0 0 0c 0 10 209 434 45 c c 0 0 0 0 0 0.00/0.01 2 0.00/0.01 0 0 209 c filterCalls4260 0 001 45 0.00/0.01 0 11 propagations209435 c 0 0 045 0 0 0 0 0 6 209 0.00/0.01 0.00/0.01 430 c root propagations : 424 0.00/0.01 209 c 45 425 0 0 45 8 0 0 0 0209 0.00/0.01 432 c c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c conflicts decisions filterCalls c propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 0 0 00 7 209 431 45 0 45 0 0 0 0 0.00/0.01 Root Prop. Nogoods0 min/max/avg depth0 0 0 3 c 209 0.00/0.01 427 c remove useless variable x[77] 0.00/0.01 0.00/0.01 45 c c 0 9 209 433 45 0 0 0 0 0 0.00/0.01 8 209 432 45 0 0 0 0 0 0.00/0.01 c 0 0 0 0.00/0.01 0 c 0 9 10 209209 433 43445 450 0 0 0 0c c 0 0 0 0 00 0.00/0.01 4 209 428 45 0 12 0.00/0.01 209 2 c remove useless variable x[77] 0.00/0.01 436 0.00/0.01 45 0 c 0 0 00 0 0209 0.00/0.01 0 426 45 0 c 0 0 0 0.00/0.01 11 c 0 209 0 43510 209 45 434 50 209 429 45c 0 0 00 0 3 45 0 0 0 0.00/0.01 0 0 0 0 0.00/0.01 209 427 45 0 0 0 0 0.00/0.01 c c c 0 0 0 1 6209209 425 0.00/0.01 43012 c 0 209 0.00/0.01 c 0 11 209 435 436 45 45 0 4504 0 0 0 45 0 0 0 209 4280 c 45 0.00/0.01 0 0 13 0 0 00 0 0 0.00/0.01 c 0 1 209 425 45 0 0 0.00/0.01 c c 0 0 00 0.00/0.01 0 0 012 0 5 209 429 45 209 0 209 0.00/0.01 4370 0 043645 0.00/0.01 c 0 13 209 437 45 0 45 0 0 0 0 0 c 0 0 0 0.00/0.01 0.00/0.01 c 0.00/0.01 0 c 0 14 c c 209 0 4386 209 2 0 0 0 045 0 209 0 0 0c 00 13 2 7 209 426 45 0 209 431 426 45 0 0 0 0209 45 0 0 0 0 0.00/0.01 c 0.00/0.01 0 3 209 427 45 0 0 0 0 437 c 0 3 209 427 45 0 45 0 0 0 0 430 0 0 0 0.00/0.01 0 0 0 0.00/0.01 0.00/0.01 c 0 4 209 428 45 45 0 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c root propagations : 424 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 c c 7 0.00/0.01 0.00/0.01 0 0.00/0.01 c 14 0209 conflicts209 c 5209 429 45 0 c 0 0 0decisions438 45 filterCalls 0.00/0.01 0 propagations431 c 0 0 0 045 0 0 80 209 0 0 0 15 14432 209 439 45 0 45 2090 0 0 0.00/0.01 0 Root Prop.0 0 0 0.00/0.01 0.00/0.01 438 0.00/0.01 45 0 0 0 0 0.00/0.01 Nogoods min/max/avg depth 0.00/0.01 c remove useless variable x[77] 0.00/0.01 c 0 23 304 657 45 0 c c 0 0 0 013 0 322 656 45 4 0 230 449 0.00/0.01 45 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 24 308 659 45 0 0 0 0 0.00/0.01 c c 0 0 5 14234 326451 658 45 45 c 0 c 0 0 0 0 0 25 315 662 45 0 0 0 0 0 0 0 0.00/0.01 0.00/0.01 c 0 0.00/0.01 26 315 663 45 0 0 0 0 0.00/0.01 c 0 27 315 664 45 0 0 0 0 0.00/0.01 c c 0 0 6 16241 343454 68345 45 0 0 0 0 0 0 0 0 0.00/0.01 0.00/0.03 0 4 209 428 45 0 0 0 0 0.00/0.03 c 0 5 219 432 45 0 0 0 0 0.00/0.03 c 32 60 1948 4543 45 0 2 18 14 0.00/0.03 c 33 61 1967 4598 45 0 1 1 0 0.00/0.03 c 32 86 3166 9014 45 0 1 28 16 0.00/0.03 c 33 99 3368 9337 46 0 13 13 6 0.00/0.03 c 32 69 2891 7465 45 0 6 18 12 0.00/0.03 c 33 84 3291 8396 46 0 15 15 7 0.00/0.03 c 64 139 4946 13062 46 0 1 30 14 0.00/0.03 c 65 141 5015 13178 47 0 2 2 1 0.00/0.03 c 66 142 5022 13204 47 0 1 1 0 0.00/0.03 c 67 147 5082 13324 47 0 5 5 2 0.00/0.03 c 101 158 4692 20319 45 0 3 25 13 0.00/0.03 c 32 82 5168 13450 45 0 5 13 9 0.00/0.03 c 101 169 5485 15322 45 0 3 35 18 0.00/0.03 c 33 84 5495 14253 47 0 2 2 1 0.00/0.03 c 64 184 6406 17104 46 0 1 32 19 0.00/0.03 c 65 199 6683 17672 48 0 15 15 7 0.00/0.03 c 66 203 7039 18494 48 0 4 4 2 0.00/0.03 c 67 216 7181 18800 48 0 13 13 6 0.00/0.03 c 101 202 7580 19661 45 0 2 31 22 0.00/0.03 c 64 139 6150 16229 48 0 1 8 4 0.00/0.03 c 65 147 6288 16467 48 0 8 8 4 0.00/0.03 c 66 158 6534 17061 48 0 11 11 5 0.00/0.03 c 67 160 6607 17162 48 0 2 2 1 0.00/0.03 c 128 288 9125 26185 47 0 1 29 22 0.00/0.03 c 64 142 8668 25108 48 0 2 15 7 0.00/0.03 c 65 143 8691 25140 48 0 1 1 0 0.00/0.03 c 66 144 8716 25253 48 0 1 1 0 0.00/0.03 c 67 145 8736 25282 48 0 1 1 0 0.00/0.03 c 129 308 9597 27647 48 0 20 20 10 0.00/0.03 c 130 312 9848 28345 49 0 4 4 2 0.00/0.03 c 131 318 10175 29008 49 0 6 6 3 0.00/0.03 c 101 164 11111 22176 45 0 1 22 10 0.00/0.03 c 132 322 10410 29671 49 0 4 4 2 0.00/0.03 c 128 361 10651 28752 48 0 3 30 16 0.00/0.03 c 129 365 10814 29315 49 0 4 4 2 0.00/0.03 c 133 328 10737 30334 49 0 6 6 3 0.00/0.03 c 130 371 11014 29709 49 0 6 6 3 0.00/0.03 c 134 332 10972 30997 49 0 4 4 2 0.00/0.03 c 131 382 11342 30570 49 0 11 11 5 0.00/0.03 c 132 385 11372 30737 49 0 3 3 1 0.00/0.03 c 135 338 11299 31660 49 0 6 6 3 0.00/0.03 c 133 399 11713 31624 49 0 14 14 7 0.00/0.03 c 134 402 11732 31760 49 0 3 3 1 0.00/0.03 c 135 414 12077 32629 49 0 12 12 6 0.00/0.03 c 128 291 10971 30357 48 0 7 31 23 0.00/0.03 c 129 292 11007 30447 49 0 1 1 0 0.00/0.03 c 211 337 11988 39376 48 0 2 24 16 0.00/0.03 c 130 295 11030 30514 50 0 3 3 1 0.00/0.03 c 131 296 11034 30564 50 0 1 1 0 0.00/0.03 c 132 299 11123 30701 50 0 3 3 1 0.00/0.03 c 133 302 11146 30767 50 0 3 3 1 0.00/0.03 c 134 305 11239 30904 50 0 3 3 1 0.00/0.03 c 135 308 11262 30970 50 0 3 3 1 0.00/0.03 c 128 281 13244 39306 49 0 1 26 15 0.00/0.04 c 129 284 13323 39507 50 0 3 3 1 0.00/0.04 c 211 391 14224 38435 48 0 3 21 8 0.00/0.04 c 130 298 13597 40058 50 0 14 14 7 0.00/0.04 c 131 299 13605 40138 50 0 1 1 0 0.00/0.04 c 132 300 13684 40875 50 0 1 1 0 0.00/0.04 c 133 301 13690 40950 50 0 1 1 0 0.00/0.04 c 134 302 13704 41123 50 0 1 1 0 0.00/0.04 c 135 303 13722 41270 50 0 1 1 0 0.00/0.04 c 211 385 14320 46140 47 0 1 34 18 0.00/0.04 c 211 328 16138 36829 49 0 26 34 33 0.00/0.04 c 332 579 19142 57356 50 0 3 19 13 0.00/0.04 c 332 534 21363 53240 50 0 12 23 19 0.00/0.04 c 256 683 19648 57950 49 0 3 24 14 0.00/0.04 c 257 705 19993 58432 50 0 22 22 11 0.00/0.04 c 258 711 20134 58987 50 0 6 6 3 0.00/0.04 c 259 732 20439 59433 50 0 21 21 10 0.00/0.04 c 260 738 20567 59979 50 0 6 6 3 0.00/0.04 c 256 592 20589 56691 50 0 4 21 16 0.00/0.04 c 261 759 20872 60425 50 0 21 21 10 0.00/0.04 c 257 606 20825 57154 50 0 14 14 7 0.00/0.04 c 262 765 21000 60971 50 0 6 6 3 0.00/0.04 c 258 615 21110 57934 50 0 9 9 4 0.00/0.04 c 263 786 21305 61417 50 0 21 21 10 0.00/0.04 c 264 792 21433 61963 50 0 6 6 3 0.00/0.04 c 259 624 21477 58719 50 0 9 9 4 0.00/0.04 c 332 618 21015 71201 50 0 3 27 15 0.00/0.04 c 265 813 21738 62409 50 0 21 21 10 0.00/0.04 c 260 632 21758 59497 50 0 8 8 4 0.00/0.04 c 266 819 21866 62955 50 0 6 6 3 0.00/0.04 c 261 643 21950 59886 50 0 11 11 5 0.00/0.04 c 267 840 22171 63401 50 0 21 21 10 0.00/0.04 c 262 650 22286 60659 50 0 7 7 3 0.00/0.04 c 268 846 22299 63947 50 0 6 6 3 0.00/0.04 c 263 659 22556 61445 50 0 9 9 4 0.00/0.04 c 264 660 22566 61477 50 0 1 1 0 0.00/0.04 c 265 661 22579 61616 50 0 1 1 0 0.00/0.04 c 266 662 c 22588 269 867 22604 64393 61634 50 50 0 01 1 0 21 21 10 0.00/0.04 0.00/0.04 c 267 663 22599 61652 50 0 1 1 0 0.00/0.04 c 270 882 22804 64786 50 0 15 15 7 0.00/0.04 c 268 676 22801 62026 50 0 13 13 6 0.00/0.04 c 465 778 23172 71805 50 0 3 24 16 0.00/0.04 c 256 506 22125 57360 50 0 3 16 8 0.00/0.04 c 269 686 23003 62459 50 0 10 10 5 0.00/0.04 c 271 903 23102 65226 50 0 21 21 10 0.00/0.04 c 465 711 25118 68762 50 0 16 24 23 0.00/0.04 c 332 604 22848 80833 50 0 3 28 15 0.00/0.04 c 270 689 23173 62809 50 0 3 3 1 0.00/0.04 c 257 508 22525 58397 50 0 2 2 1 0.00/0.05 c 271 702 23558 63827 50 0 13 13 6 0.00/0.05 c 258 524 23007 59159 50 0 16 16 8 0.00/0.05 c 259 525 23017 59297 50 0 1 1 0 0.00/0.05 c 260 527 23126 59683 50 0 2 2 1 0.00/0.05 c 256 557 23885 72374 50 0 1 29 13 0.00/0.05 c 261 543 23604 60443 50 0 16 16 8 0.00/0.05 c 262 545 23713 60829 50 0 2 2 1 0.00/0.05 c 257 571 24345 73264 50 0 14 14 7 0.00/0.05 c 263 561 24191 61589 50 0 16 16 8 0.00/0.05 c 264 563 24300 61975 50 0 2 2 1 0.00/0.05 c 258 574 24723 74267 50 0 3 3 1 0.00/0.05 c 265 579 24778 62735 50 0 16 16 8 0.00/0.05 c 259 587 25159 75167 50 0 13 13 6 0.00/0.05 c 266 581 24887 63121 50 0 2 2 1 0.00/0.05 c 260 590 25537 76170 50 0 3 3 1 0.00/0.05 c 267 597 25365 63881 50 0 16 16 8 0.00/0.05 c 268 599 25474 64267 50 0 2 2 1 0.00/0.05 c 261 603 25973 77070 50 0 13 13 6 0.00/0.05 c 269 615 25952 65027 50 0 16 16 8 0.00/0.05 c 262 606 26351 78073 50 0 3 3 1 0.00/0.05 c 270 617 26061 65413 50 0 2 2 1 0.00/0.05 c 263 615 26496 78521 50 0 9 9 4 0.00/0.05 c 264 616 26527 78923 50 0 1 1 0 0.00/0.05 c 265 618 26646 79369 50 0 2 2 1 0.00/0.05 c 271 633 26539 66173 50 0 16 16 8 0.00/0.05 c 266 621 26836 80024 50 0 3 3 1 0.00/0.05 c 267 634 27265 80920 50 0 13 13 6 0.00/0.05 c 268 637 27649 81920 50 0 3 3 1 0.00/0.05 c 269 646 27787 82365 50 0 9 9 4 0.00/0.05 c 270 649 27977 83021 50 0 3 3 1 0.00/0.05 c 271 658 28115 83466 50 0 9 9 4 0.00/0.05 c 611 957 31651 90815 50 0 10 19 15 0.00/0.05 c 465 873 29086 97169 50 0 4 23 13 0.00/0.05 c 611 1025 32128 94736 50 0 10 23 17 0.00/0.05 c 465 871 33144 104728 50 0 3 37 25 0.00/0.06 c 771 1228 36064 112146 50 0 12 18 14 0.00/0.06 c 611 1132 37629 124172 50 0 11 34 26 0.00/0.06 c 512 1144 39084 109914 50 0 11 44 31 0.00/0.06 c 513 1155 39254 110154 50 0 11 11 5 0.00/0.06 c 512 1345 40075 114203 50 0 15 37 21 0.00/0.06 c 514 1159 39339 110292 50 0 4 4 2 0.00/0.06 c 515 1160 39358 110347 50 0 1 1 0 0.00/0.06 c 516 1161 39377 110398 50 0 1 1 0 0.00/0.06 c 517 1162 39392 110442 50 0 1 1 0 0.00/0.06 c 518 1163 39411 110480 50 0 1 1 0 0.00/0.06 c 519 1164 39426 110510 50 0 1 1 0 0.00/0.06 c 520 1165 39446 110538 50 0 1 1 0 0.00/0.06 c 521 1166 39462 110559 51 0 1 1 0 0.00/0.06 c 522 1167 39485 110576 51 0 1 1 0 0.00/0.06 c 513 1358 40302 114475 50 0 13 13 6 0.00/0.06 c 523 1168 39527 110619 51 0 1 1 0 0.00/0.06 c 524 1182 39781 110981 52 0 14 14 7 0.00/0.06 c 771 1333 42511 126739 50 0 15 33 22 0.00/0.06 c 525 1193 39967 111359 52 0 11 11 5 0.00/0.06 c 514 1378 40798 115639 52 0 20 20 10 0.00/0.06 c 526 1194 39994 111568 52 0 1 1 0 0.00/0.06 c 527 1200 40217 112269 52 0 6 6 3 0.00/0.06 c 528 1201 40300 112852 52 0 1 1 0 0.00/0.06 c 515 1398 41252 116741 52 0 20 20 10 0.00/0.06 c 529 1215 40842 114079 52 0 14 14 7 0.00/0.06 c 516 1418 41786 118010 52 0 20 20 10 0.00/0.06 c 611 1115 42257 130446 50 0 10 31 16 0.00/0.06 c 530 1229 41351 115220 52 0 14 14 7 0.00/0.06 c 517 1438 42240 119109 52 0 20 20 10 0.00/0.06 c 531 1240 41511 115746 52 0 11 11 5 0.00/0.06 c 518 1458 42765 120375 52 0 20 20 10 0.00/0.06 c 532 1253 42030 116890 52 0 13 13 6 0.00/0.06 c 533 1264 42190 117416 52 0 11 11 5 0.00/0.06 c 519 1478 43219 121474 52 0 20 20 10 0.00/0.06 c 534 1277 42709 118560 52 0 13 13 6 0.00/0.06 c 520 1498 43744 122740 52 0 20 20 10 0.00/0.06 c 535 1288 42869 119086 52 0 11 11 5 0.00/0.06 c 521 1518 44198 123839 52 0 20 20 10 0.00/0.07 c 536 1301 43388 120230 52 0 13 13 6 0.00/0.07 c 537 1312 43552 120757 52 0 11 11 5 0.00/0.07 c 947 1496 44133 143423 50 0 3 20 13 0.00/0.07 c 522 1538 44723 125105 52 0 20 20 10 0.00/0.07 c 538 1325 44071 121900 52 0 13 13 6 0.00/0.07 c 523 1558 45181 126205 52 0 20 20 10 0.00/0.07 c 539 1336 44231 122426 52 0 11 11 5 0.00/0.07 c 540 1349 44750 123569 52 0 13 13 6 0.00/0.07 c 524 1578 45706 127471 52 0 20 20 10 0.00/0.07 c 541 1360 44910 124095 52 0 11 11 5 0.00/0.07 c 525 1598 46160 128570 52 0 20 20 10 0.00/0.07 c 542 1373 45429 125238 52 0 13 13 6 0.00/0.07 c 543 1384 45589 125764 52 0 11 11 5 0.00/0.07 c 526 1618 46685 129836 52 0 20 20 10 0.00/0.07 c 527 1638 47139 130935 52 0 20 20 10 0.00/0.07 c 1000 1578 46639 151438 52 0 9 14 11 0.00/0.07 c 528 1658 47664 132201 52 0 20 20 10 0.00/0.07 c 529 1678 48118 133300 52 0 20 20 10 0.00/0.07 c 530 1698 48643 134566 52 0 20 20 10 0.00/0.07 c 531 1718 49097 135665 52 0 20 20 10 0.00/0.07 c 771 1412 47689 161402 50 0 10 28 21 0.00/0.07 c 532 1738 49622 136931 52 0 20 20 10 0.00/0.07 c 947 1637 50712 161870 52 0 13 19 16 0.00/0.07 c 533 1758 50076 138030 52 0 20 20 10 0.00/0.07 c 534 1778 50601 139296 52 0 20 20 10 0.00/0.07 c 535 1798 51055 140395 52 0 20 20 10 0.00/0.07 c 536 1818 51580 141661 52 0 20 20 10 0.00/0.07 c 537 1838 52034 142760 52 0 20 20 10 0.00/0.07 c 1140 1768 51396 164621 52 0 9 14 12 0.00/0.07 c 771 1450 52810 161598 52 0 6 37 18 0.00/0.07 c 512 1130 51991 145841 50 0 3 28 17 0.00/0.07 c 538 1858 52559 144026 52 0 20 20 10 0.00/0.07 c 513 1131 52199 146508 52 0 1 1 0 0.00/0.07 c 539 1878 53013 145125 52 0 20 20 10 0.00/0.07 c 514 1135 52456 147156 52 0 4 4 2 0.00/0.07 c 515 1145 52551 147329 52 0 10 10 5 0.00/0.07 c 516 1151 52671 147592 52 0 6 6 3 0.00/0.07 c 517 1161 52766 147765 52 0 10 10 5 0.00/0.07 c 518 1167 52886 148028 52 0 6 6 3 0.00/0.07 c 540 1898 53545 146391 52 0 20 20 10 0.00/0.07 c 519 1177 52981 148201 52 0 10 10 5 0.00/0.07 c 520 1183 53101 148464 52 0 6 6 3 0.00/0.07 c 521 1193 53196 148637 52 0 10 10 5 0.00/0.07 c 522 1199 53316 148900 52 0 6 6 3 0.00/0.07 c 541 1918 54001 147487 52 0 20 20 10 0.00/0.07 c 523 1209 53411 149073 52 0 10 10 5 0.00/0.07 c 524 1215 53531 149336 52 0 6 6 3 0.00/0.07 c 525 1225 53626 149509 52 0 10 10 5 0.00/0.08 c 526 1231 53746 149772 52 0 6 6 3 0.00/0.08 c 527 1241 53841 149945 52 0 10 10 5 0.00/0.08 c 542 1938 54524 148750 52 0 20 20 10 0.00/0.08 c 528 1247 53961 150208 52 0 6 6 3 0.00/0.08 c 529 1257 54056 150381 52 0 10 10 5 0.00/0.08 c 530 1263 54176 150644 52 0 6 6 3 0.00/0.08 c 531 1273 54271 150817 52 0 10 10 5 0.00/0.08 c 543 1958 54980 149846 52 0 20 20 10 0.00/0.08 c 532 1279 54391 151080 52 0 6 6 3 0.00/0.08 c 533 1289 54486 151253 52 0 10 10 5 0.00/0.08 c 534 1295 54606 151516 52 0 6 6 3 0.00/0.08 c 535 1305 54701 151689 52 0 10 10 5 0.00/0.08 c 536 1311 54821 151952 52 0 6 6 3 0.00/0.08 c 537 1321 54916 152125 52 0 10 10 5 0.00/0.08 c 538 1327 55041 152389 52 0 6 6 3 0.00/0.08 c 539 1337 55136 152562 52 0 10 10 5 0.00/0.08 c 540 1343 55256 152825 52 0 6 6 3 0.00/0.08 c 541 1353 55351 152998 52 0 10 10 5 0.00/0.08 c 542 1359 55471 153261 52 0 6 6 3 0.00/0.08 c 543 1369 55566 153434 52 0 10 10 5 0.00/0.08 c 1352 2035 55594 186026 52 0 9 16 14 0.00/0.08 c 512 1041 54932 147718 50 0 2 22 18 0.00/0.08 c 1140 1924 58219 185587 52 0 10 23 18 0.00/0.08 c 513 1052 55158 148366 52 0 11 11 5 0.00/0.08 c 514 1053 55192 148688 52 0 1 1 0 0.00/0.08 c 515 1057 55381 149370 53 0 4 4 2 0.00/0.08 c 516 1069 55572 149957 53 0 12 12 6 0.00/0.08 c 517 1073 55761 150639 53 0 4 4 2 0.00/0.08 c 518 1085 55952 151226 53 0 12 12 6 0.00/0.08 c 519 1089 56141 151908 53 0 4 4 2 0.00/0.08 c 520 1101 56332 152495 53 0 12 12 6 0.00/0.08 c 521 1105 56521 153177 53 0 4 4 2 0.00/0.08 c 522 1117 56712 153764 53 0 12 12 6 0.00/0.08 c 523 1121 56901 154446 53 0 4 4 2 0.00/0.08 c 524 1133 57092 155033 53 0 12 12 6 0.00/0.08 c 525 1137 57281 155715 53 0 4 4 2 0.00/0.08 c 526 1149 57472 156302 53 0 12 12 6 0.00/0.08 c 527 1153 57665 156984 53 0 4 4 2 0.00/0.08 c 528 1165 57856 157572 53 0 12 12 6 0.00/0.08 c 529 1169 58045 158253 53 0 4 4 2 0.00/0.08 c 947 1745 58017 200812 52 0 6 34 19 0.00/0.08 c 530 1181 58236 158841 53 0 12 12 6 0.00/0.08 c 531 1185 58425 159522 53 0 4 4 2 0.00/0.08 c 532 1197 58616 160110 53 0 12 12 6 0.00/0.08 c 533 1201 58805 160791 53 0 4 4 2 0.00/0.08 c 534 1213 58996 161379 53 0 12 12 6 0.00/0.08 c 535 1217 59185 162060 53 0 4 4 2 0.00/0.08 c 536 1229 59376 162648 53 0 12 12 6 0.00/0.08 c 537 1233 59565 163329 53 0 4 4 2 0.00/0.08 c 538 1245 59756 163917 53 0 12 12 6 0.00/0.08 c 539 1249 59945 164598 53 0 4 4 2 0.00/0.08 c 540 1261 60136 165186 53 0 12 12 6 0.00/0.08 c 541 1265 60329 165867 54 0 4 4 2 0.00/0.08 c 542 1277 60520 166455 54 0 12 12 6 0.00/0.08 c 543 1281 60709 167135 54 0 4 4 2 0.00/0.09 c 1585 2381 64030 213140 54 0 5 20 12 0.00/0.09 c 947 1821 70389 212575 53 0 1 33 19 0.00/0.09 c 1140 2073 66772 233713 53 0 10 22 13 0.00/0.09 c 1352 2341 73311 224700 52 0 10 42 30 0.00/0.09 c 1000 1937 74416 221956 54 0 12 39 30 0.00/0.09 c 1000 2084 71052 210715 52 0 8 21 19 0.00/0.10 c 1841 2764 72861 250834 54 0 5 24 14 0.00/0.10 c 1024 2144 73106 216365 54 0 15 23 20 0.00/0.10 c 1025 2163 73365 217074 54 0 19 19 9 0.00/0.10 c 1026 2178 73631 217588 54 0 15 15 7 0.00/0.10 c 1027 2179 73642 217807 54 0 1 1 0 0.00/0.10 c 1028 2187 73797 218287 55 0 8 8 4 0.00/0.10 c 1029 2202 74049 218795 55 0 15 15 7 0.00/0.10 c 1030 2210 74204 219275 55 0 8 8 4 0.00/0.10 c 1031 2225 74456 219783 55 0 15 15 7 0.00/0.10 c 1032 2233 74611 220263 55 0 8 8 4 0.00/0.10 c 1033 2248 74863 220771 55 0 15 15 7 0.00/0.10 c 1034 2256 75018 221251 55 0 8 8 4 0.00/0.10 c 1035 2271 75270 221759 55 0 15 15 7 0.00/0.10 c 1036 2279 75425 222239 55 0 8 8 4 0.00/0.10 c 1037 2294 75677 222747 55 0 15 15 7 0.00/0.10 c 1038 2302 75832 223227 55 0 8 8 4 0.00/0.10 c 1039 2317 76084 223735 55 0 15 15 7 0.00/0.10 c 1040 2325 76239 224215 55 0 8 8 4 0.00/0.10 c 1041 2340 76491 224723 55 0 15 15 7 0.00/0.10 c 1042 2348 76646 225203 55 0 8 8 4 0.00/0.10 c 1043 2363 76903 225711 55 0 15 15 7 0.00/0.10 c 1044 2371 77058 226190 55 0 8 8 4 0.00/0.10 c 2000 2981 77747 268237 54 0 7 15 9 0.00/0.10 c 1045 2386 77312 226697 55 0 15 15 7 0.00/0.10 c 1046 2394 77472 227176 55 0 8 8 4 0.00/0.10 c 1047 2409 77726 227682 55 0 15 15 7 0.00/0.10 c 1048 2417 77881 228160 55 0 8 8 4 0.00/0.10 c 1049 2432 78144 228666 55 0 15 15 7 0.00/0.10 c 1050 2440 78299 229144 55 0 8 8 4 0.00/0.10 c 1051 2455 78553 229646 55 0 15 15 7 0.00/0.10 c 1052 2463 78708 230124 55 0 8 8 4 0.00/0.10 c 1053 2478 78962 230626 55 0 15 15 7 0.00/0.10 c 1054 2486 79117 231104 55 0 8 8 4 0.00/0.10 c 1055 2501 79371 231606 55 0 15 15 7 0.00/0.10 c 1056 2509 79526 232084 55 0 8 8 4 0.00/0.10 c 1000 2782 82771 239671 52 0 10 34 22 0.00/0.10 c 1057 2524 79780 232586 55 0 15 15 7 0.00/0.10 c 1058 2532 79935 233064 55 0 8 8 4 0.00/0.10 c 1059 2547 80189 233566 55 0 15 15 7 0.00/0.10 c 1060 2555 80344 234044 55 0 8 8 4 0.00/0.10 c 1061 2570 80598 234546 55 0 15 15 7 0.00/0.10 c 1062 2578 80753 235024 55 0 8 8 4 0.00/0.10 c 1063 2593 81007 235526 55 0 15 15 7 0.00/0.10 c 1024 2856 84133 244278 55 0 13 25 17 0.00/0.10 c 1064 2601 81162 236004 55 0 8 8 4 0.00/0.10 c 1025 2874 84347 244600 55 0 18 18 9 0.00/0.10 c 1140 2189 85644 255570 54 0 6 19 17 0.00/0.10 c 1065 2617 81419 236507 55 0 16 16 8 0.00/0.10 c 1026 2901 84620 245220 55 0 27 27 13 0.00/0.10 c 1066 2625 81574 236985 55 0 8 8 4 0.00/0.10 c 1067 2641 81831 237488 55 0 16 16 8 0.00/0.10 c 1027 2920 84893 245905 55 0 19 19 9 0.00/0.11 c 1068 2649 81986 237966 55 0 8 8 4 0.00/0.11 c 1028 2938 85089 246244 55 0 18 18 9 0.00/0.11 c 1069 2665 82243 238469 55 0 16 16 8 0.00/0.11 c 1029 2957 85362 246929 55 0 19 19 9 0.00/0.11 c 1070 2673 82398 238947 55 0 8 8 4 0.00/0.11 c 1030 2975 85558 247268 55 0 18 18 9 0.00/0.11 c 2122 3191 83015 286417 55 0 1 19 15 0.00/0.11 c 1071 2689 82655 239450 55 0 16 16 8 0.00/0.11 c 1031 2994 85831 247953 55 0 19 19 9 0.00/0.11 c 1072 2697 82810 239928 55 0 8 8 4 0.00/0.11 c 1585 2784 88216 273296 54 0 10 32 22 0.00/0.11 c 1032 3012 86027 248292 55 0 18 18 9 0.00/0.11 c 1073 2713 83067 240431 55 0 16 16 8 0.00/0.11 c 1033 3031 86300 248977 55 0 19 19 9 0.00/0.11 c 1074 2721 83222 240909 55 0 8 8 4 0.00/0.11 c 1034 3049 86496 249316 55 0 18 18 9 0.00/0.11 c 1075 2737 83479 241412 55 0 16 16 8 0.74/0.12 c 1076 2745 83634 241890 55 0 8 8 4 0.74/0.12 c 1035 3068 86769 250001 55 0 19 19 9 0.74/0.12 c 1077 2761 83891 242393 55 0 16 16 8 0.74/0.12 c 1036 3086 86965 250340 55 0 18 18 9 0.74/0.12 c 1078 2769 84046 242871 55 0 8 8 4 0.74/0.12 c 1037 3105 87238 251025 55 0 19 19 9 0.74/0.12 c 1079 2785 84303 243374 55 0 16 16 8 0.74/0.12 c 1038 3123 87434 251364 55 0 18 18 9 0.74/0.12 c 1080 2793 84458 243852 55 0 8 8 4 0.74/0.12 c 1039 3142 87707 252049 55 0 19 19 9 0.74/0.12 c 1081 2809 84715 244355 55 0 16 16 8 0.74/0.12 c 1040 3160 87903 252388 55 0 18 18 9 0.74/0.12 c 1082 2817 84870 244833 55 0 8 8 4 0.74/0.12 c 1041 3180 88179 253074 55 0 20 20 10 0.74/0.12 c 1083 2833 85127 245336 55 0 16 16 8 0.74/0.12 c 1042 3198 88375 253413 55 0 18 18 9 0.74/0.12 c 1084 2841 85282 245814 55 0 8 8 4 0.74/0.12 c 1043 3218 88651 254099 c 55 1085 2857 85539 0246317 55 0 20 20 10 0.74/0.12 16 16 8 0.74/0.12 c 1086 2865 85694 246795 55 0 8 8 4 0.74/0.12 c 1044 3236 88847 254438 55 0 18 18 9 0.74/0.12 c 1087 2881 85951 247298 55 0 16 16 8 0.74/0.12 c 1045 3256 89123 255124 55 0 20 20 10 0.74/0.12 c 1046 3274 89319 255463 55 0 18 18 9 0.74/0.12 c 1047 3294 89595 256149 55 0 20 20 10 0.74/0.12 c 1048 3312 89791 256488 55 0 18 18 9 0.74/0.12 c 1049 3332 90067 257174 55 0 20 20 10 0.74/0.12 c 1050 3350 90263 257513 55 0 18 18 9 0.74/0.12 c 1051 3370 90539 258199 55 0 20 20 10 0.74/0.12 c 1052 3388 90735 258538 55 0 18 18 9 0.74/0.12 c 1053 3408 91011 259224 55 0 20 20 10 0.74/0.12 c 1054 3426 91207 259563 55 0 18 18 9 0.74/0.12 c 1055 3446 91483 260249 55 0 20 20 10 0.74/0.12 c 1056 3464 91683 260588 55 0 18 18 9 0.74/0.12 c 1352 2504 78467 277800 54 0 6 32 14 0.74/0.12 c 1057 3484 91959 261274 55 0 20 20 10 0.74/0.12 c 2431 3581 89380 305718 55 0 7 12 9 0.74/0.12 c 1058 3502 92155 261611 55 0 18 18 9 0.74/0.12 c 1059 3522 92431 262297 55 0 20 20 10 0.74/0.12 c 1060 3540 92631 262634 55 0 18 18 9 0.74/0.12 c 1061 3560 92907 263319 55 0 20 20 10 0.74/0.12 c 1062 3578 93103 263655 55 0 18 18 9 0.74/0.12 c 1063 3598 93379 264340 55 0 20 20 10 0.74/0.12 c 1064 3616 93575 264676 55 0 18 18 9 0.74/0.12 c 1065 3636 93851 265361 55 0 20 20 10 0.74/0.12 c 1066 3654 94047 265697 55 0 18 18 9 0.74/0.12 c 1067 3674 94323 266382 55 0 20 20 10 0.74/0.12 c 1068 3692 94522 266718 55 0 18 18 9 0.74/0.12 c 1069 3712 94798 267402 55 0 20 20 10 0.74/0.12 c 1000 2058 92413 254876 54 0 9 31 20 0.74/0.12 c 1070 3730 94994 267737 55 0 18 18 9 0.74/0.12 c 1000 2263 94132 264497 55 0 4 27 17 0.74/0.12 c 1000 2060 92509 255054 55 0 0 0 0 0.74/0.12 c 1071 3750 95270 268421 55 0 20 20 10 0.74/0.12 c 1072 3768 95466 268756 55 0 18 18 9 0.74/0.12 c 1073 3788 95742 269440 55 0 20 20 10 0.74/0.12 c 1074 3806 95938 269775 55 0 18 18 9 0.74/0.12 c 1075 3826 96214 270459 55 0 20 20 10 0.74/0.12 c 1076 3844 96415 270795 55 0 18 18 9 0.74/0.12 c 1077 3864 96691 271479 55 0 20 20 10 0.74/0.12 c 1078 3882 96887 271814 55 0 18 18 9 0.74/0.12 c 1079 3902 97163 272498 55 0 20 20 10 0.74/0.12 c 1024 2100 94582 261280 55 0 8 14 10 0.74/0.12 c 1080 3920 97359 272833 55 0 18 18 9 0.74/0.12 c 1025 2110 94874 261681 55 0 10 10 5 0.74/0.12 c 1026 2111 94886 261884 55 0 1 1 0 0.74/0.12 c 1027 2112 94912 262344 55 0 1 1 0 0.74/0.12 c 1081 3940 97635 273517 55 0 20 20 10 0.74/0.12 c 1028 2113 94955 262795 55 0 1 1 0 0.74/0.12 c 1029 2114 95039 263304 55 0 1 1 0 0.74/0.12 c 1024 2327 96582 271151 55 0 4 22 10 0.74/0.12 c 1082 3958 97828 273852 55 0 18 18 9 0.74/0.12 c 1030 2115 95208 264250 55 0 1 1 0 0.74/0.12 c 1025 2337 96872 271529 55 0 10 10 5 0.74/0.12 c 1083 3978 98107 274534 55 0 20 20 10 0.74/0.12 c 1031 2127 95539 265282 55 0 12 12 6 0.74/0.12 c 1084 3996 98298 274866 55 0 18 18 9 0.74/0.12 c 1026 2348 97208 272561 55 0 11 11 5 0.74/0.12 c 1032 2136 95807 265654 55 0 9 9 4 0.74/0.12 c 1085 4016 98570 275545 55 0 20 20 10 0.74/0.12 c 1027 2357 97476 272933 55 0 9 9 4 0.74/0.12 c 1086 4034 98754 275876 55 0 18 18 9 0.74/0.12 c 1033 2148 96138 266686 55 0 12 12 6 0.74/0.12 c 1028 2368 97805 273964 55 0 11 11 5 0.74/0.12 c 1087 4054 99026 276555 55 0 20 20 10 0.74/0.12 c 1034 2157 96406 267058 55 0 9 9 4 0.74/0.12 c 1029 2377 98073 274336 55 0 9 9 4 0.74/0.12 c 1035 2169 96737 268090 55 0 12 12 6 0.74/0.12 c 1030 2388 98402 275367 55 0 11 11 5 0.74/0.12 c 1036 2178 97005 268462 55 0 9 9 4 0.74/0.12 c 1031 2397 98670 275739 55 0 9 9 4 0.74/0.12 c 1037 2190 97336 269494 55 0 12 12 6 0.74/0.12 c 1032 2408 98999 276770 55 0 11 11 5 0.74/0.12 c 1038 2199 97604 269866 55 0 9 9 4 0.74/0.12 c 1033 2417 99267 277142 55 0 9 9 4 0.74/0.12 c 1039 2211 97935 270898 55 0 12 12 6 0.74/0.12 c 1034 2428 99596 278173 55 0 11 11 5 0.74/0.12 c 2770 4093 97963 335718 55 0 5 14 10 0.74/0.12 c 1040 2220 98203 271270 55 0 9 9 4 0.74/0.12 c 1841 3328 104119 318047 55 0 8 44 20 0.74/0.12 c 1035 2437 99864 278545 55 0 9 9 4 0.74/0.12 c 1041 2232 98534 272302 55 0 12 12 6 0.74/0.12 c 1352 2688 102169 303791 55 0 6 29 18 0.74/0.12 c 1036 2448 100193 279576 55 0 11 11 5 0.74/0.12 c 1042 2241 98802 272674 55 0 9 9 4 0.74/0.12 c 1037 2457 100461 279948 55 0 9 9 4 0.74/0.12 c 1043 2253 99133 273706 55 0 12 12 6 0.74/0.12 c 1038 2468 100790 280979 55 0 11 11 5 0.74/0.12 c 1044 2262 99401 274078 55 0 9 9 4 0.74/0.12 c 1039 2477 101058 281351 55 0 9 9 4 0.74/0.12 c 1045 2274 99732 275110 55 0 12 12 6 0.74/0.12 c 1040 2488 101387 282382 55 0 11 11 5 0.74/0.12 c 1046 2283 100000 275482 55 0 9 9 4 0.74/0.12 c 1041 2497 101655 282754 55 0 9 9 4 0.74/0.12 c 1047 2295 100331 276514 55 0 12 12 6 0.74/0.12 c 1042 2508 101984 283785 55 0 11 11 5 0.74/0.12 c 1048 2304 100599 276886 55 0 9 9 4 0.74/0.12 c 1043 2517 102252 284157 55 0 9 9 4 0.74/0.12 c 1049 2316 100930 277918 55 0 12 12 6 0.74/0.12 c 1044 2528 102581 285188 55 0 11 11 5 0.74/0.12 c 1050 2325 101198 278290 55 0 9 9 4 0.74/0.12 c 1045 2537 102849 285560 55 0 9 9 4 0.74/0.12 c 1051 2337 101529 279322 55 0 12 12 6 0.74/0.12 c 1046 2548 103178 286591 55 0 11 11 5 0.74/0.12 c 1052 2346 101797 279694 55 0 9 9 4 0.74/0.12 c 1047 2557 103446 286963 55 0 9 9 4 0.74/0.12 c 1053 2358 102128 280726 55 0 12 12 6 0.74/0.12 c 1054 2367 102396 281098 55 0 c 1048 2568 103775 9 9 4287994 55 0 0.74/0.13 11 11 5 0.74/0.13 c 1055 2379 102727 282130 55 0 12 12 6 0.74/0.13 c 1049 2577 104043 288366 55 0 9 9 4 0.74/0.13 c 1056 2388 102995 282502 55 0 9 9 4 0.74/0.13 c 1585 2936 90993 330378 55 0 11 34 17 0.74/0.13 c 1050 2588 104372 289397 55 0 11 11 5 0.74/0.13 c 1057 2400 103326 283534 55 0 12 12 6 0.74/0.13 c 1051 2597 104640 289769 55 0 9 9 4 0.74/0.13 c 1058 2409 103594 283906 55 0 9 9 4 0.74/0.13 c 1052 2608 104972 290800 55 0 11 11 5 0.74/0.13 c 1059 2421 103928 284938 55 0 12 12 6 0.74/0.13 c 1053 2617 105240 291171 55 0 9 9 4 0.74/0.13 c 1060 2430 104196 285309 55 0 9 9 4 0.74/0.13 c 1054 2628 105569 292201 55 0 11 11 5 0.74/0.13 c 1061 2442 104527 286340 55 0 12 12 6 0.74/0.13 c 1055 2637 105837 292572 55 0 9 9 4 0.74/0.13 c 1062 2451 104795 286711 55 0 9 9 4 0.74/0.13 c 1056 2648 106166 293602 55 0 11 11 5 0.74/0.13 c 1063 2463 105126 287742 55 0 12 12 6 0.74/0.13 c c 1057 1064 2472 105394 2657288113106434 55 2939730 55 0 9 9 4 0.74/0.13 9 9 4 0.74/0.13 c 1065 2484 105725 289144 55 0 12 12 6 0.74/0.13 c 1058 2668 106763 295003 55 0 11 11 5 0.74/0.13 c 1066 2493 105993 289515 55 0 9 9 4 0.74/0.13 c 1059 2677 107031 295374 55 0 9 9 4 0.74/0.13 c 1067 2505 106324 290546 55 0 12 12 6 0.74/0.13 c 1060 2688 107360 296404 55 0 11 11 5 0.74/0.13 c 1068 2514 106592 290917 55 0 9 9 4 0.74/0.13 c 1061 2697 107628 296775 55 0 9 9 4 0.74/0.13 c 2000 3596 112908 345737 55 0 31 43 35 0.74/0.13 c 1069 2526 106923 291948 55 0 12 12 6 0.74/0.13 c 1062 2708 107957 297805 55 0 11 11 5 0.74/0.13 c 1070 2535 107191 292319 55 0 9 9 4 0.74/0.13 c 1063 2717 108225 298176 55 0 9 9 4 0.74/0.13 c First solution is found 0.74/0.13 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 7. 0.74/0.13 c [pFactory][Group N°0] Thread N°0 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°1 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°2 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°3 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°4 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°5 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°6 is joined. 0.74/0.13 c [pFactory][Group N°0] Thread N°7 is joined. 0.74/0.13 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°7) 0.74/0.13 s SATISFIABLE 0.74/0.13 c restarts : 106 0.74/0.13 c conflicts : 1063 (1117 /sec) 0.74/0.13 c decisions : 2719 (2858 /sec) 0.74/0.13 c propagations : 298815 (314118 /sec) 0.74/0.13 c root propagations : 424 0.74/0.13 c filter calls : 108454 (114008 /sec) 0.74/0.13 c useless filter calls : 64395 (59 %) 0.74/0.13 c Memory used : 571.50 MB 0.74/0.13 c CPU time : 0.951237 s 0.74/0.13 c real time : 0.129717 s 0.74/0.13 0.74/0.13 c solution 1 0.74/0.13 0.74/0.13 v <instantiation type='solution'> 0.74/0.13 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list> 0.74/0.13 v <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 7 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 3 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 * 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29 </values> 0.74/0.13 v </instantiation> 0.74/0.13
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 (15232 MiB free)
memory of node 1: 16384 MiB (13103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409285-1569828151/watcher-4409285-1569828151 -o /tmp/evaluation-result-4409285-1569828151/solver-4409285-1569828151 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409285-1569828151.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=8004, runsolver pid=8001
Current StackSize limit: 8192 KiB
[startup+0.100849 s]*
/proc/loadavg: 7.43 6.25 6.28 10/200 8013
/proc/meminfo: memFree=29014860/32770624 swapFree=66956804/67108860
[pid=8004] ppid=8001 vsize=618000 memory=4796 CPUtime=0.74 cores=0-7
/proc/8004/stat : 8004 (cosoco) S 8001 8004 6464 0 -1 1077944320 1577 0 0 0 74 0 0 0 20 0 9 0 559086350 632832000 1199 33554432000 4194304 6211132 140724128855872 140724128854128 140191929896695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
/proc/8004/statm: 154500 1199 872 493 0 147805 0
[pid=8004/tid=8006] ppid=8001 vsize=618000 memory=-7173493468631956422 CPUtime=0.08 cores=0-7
/proc/8004/task/8006/stat : 8006 (cosoco) R 8001 8004 6464 0 -1 4202560 24 0 0 0 8 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191906753632 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8007] ppid=8001 vsize=618000 memory=732370099778657253 CPUtime=0.09 cores=0-7
/proc/8004/task/8007/stat : 8007 (cosoco) R 8001 8004 6464 0 -1 4202560 23 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191898360872 5149714 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8008] ppid=8001 vsize=618000 memory=139961441203840 CPUtime=0.09 cores=0-7
/proc/8004/task/8008/stat : 8008 (cosoco) R 8001 8004 6464 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191889968200 140191914294397 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8009] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8009/stat : 8009 (cosoco) R 8001 8004 6464 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191881575520 5151124 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8010] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8010/stat : 8010 (cosoco) R 8001 8004 6464 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191873182472 5186301 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8011] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8011/stat : 8011 (cosoco) R 8001 8004 6464 0 -1 4202560 23 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191864790112 140191914294397 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8012] ppid=8001 vsize=618000 memory=-1 CPUtime=0.09 cores=0-7
/proc/8004/task/8012/stat : 8012 (cosoco) R 8001 8004 6464 0 -1 4202560 23 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191856397408 5149324 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8013] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8013/stat : 8013 (cosoco) R 8001 8004 6464 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191848004360 5149704 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 618000 KiB
Current children cumulated memory: 4796 KiB
[startup+0.135515 s]
# the end of solver process 8004 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.951689 s, system=0.002995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.100849 s]*
/proc/loadavg: 7.43 6.25 6.28 10/200 8013
/proc/meminfo: memFree=29014860/32770624 swapFree=66956804/67108860
[pid=8004] ppid=8001 vsize=618000 memory=4796 CPUtime=0.74 cores=0-7
/proc/8004/stat : 8004 (cosoco) S 8001 8004 6464 0 -1 1077944320 1577 0 0 0 74 0 0 0 20 0 9 0 559086350 632832000 1199 33554432000 4194304 6211132 140724128855872 140724128854128 140191929896695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
/proc/8004/statm: 154500 1199 872 493 0 147805 0
[pid=8004/tid=8006] ppid=8001 vsize=618000 memory=-7173493468631956422 CPUtime=0.08 cores=0-7
/proc/8004/task/8006/stat : 8006 (cosoco) R 8001 8004 6464 0 -1 4202560 24 0 0 0 8 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191906753632 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8007] ppid=8001 vsize=618000 memory=732370099778657253 CPUtime=0.09 cores=0-7
/proc/8004/task/8007/stat : 8007 (cosoco) R 8001 8004 6464 0 -1 4202560 23 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191898360872 5149714 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8008] ppid=8001 vsize=618000 memory=139961441203840 CPUtime=0.09 cores=0-7
/proc/8004/task/8008/stat : 8008 (cosoco) R 8001 8004 6464 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191889968200 140191914294397 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8009] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8009/stat : 8009 (cosoco) R 8001 8004 6464 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191881575520 5151124 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8010] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8010/stat : 8010 (cosoco) R 8001 8004 6464 0 -1 4202560 22 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191873182472 5186301 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8011] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8011/stat : 8011 (cosoco) R 8001 8004 6464 0 -1 4202560 23 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191864790112 140191914294397 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8012] ppid=8001 vsize=618000 memory=-1 CPUtime=0.09 cores=0-7
/proc/8004/task/8012/stat : 8012 (cosoco) R 8001 8004 6464 0 -1 4202560 23 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191856397408 5149324 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
[pid=8004/tid=8013] ppid=8001 vsize=618000 memory=0 CPUtime=0.09 cores=0-7
/proc/8004/task/8013/stat : 8013 (cosoco) R 8001 8004 6464 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 9 0 559086352 632832000 1199 33554432000 4194304 6211132 140724128855872 140191848004360 5149704 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32120832 140724128863249 140724128863341 140724128863341 140724128866254 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 618000 KiB
Current children cumulated memory: 4796 KiB
Child status: 0
Real time (s): 0.135537
CPU time (s): 0.954684
CPU user time (s): 0.951689
CPU system time (s): 0.002995
CPU usage (%): 704.372
Max. virtual memory (cumulated for all children) (KiB): 618000
Max. memory (cumulated for all children) (KiB): 4796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.951689
system time used= 0.002995
maximum resident set size= 5672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1598
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= 255
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 8004
# total CPU time (s): 0.954684
# total CPU user time (s): 0.951689
# total CPU system time (s): 0.002995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008855 second user time and 0.02424 second system time
The end
Begin job on node151 at 2019-09-30 09:21:50 IDJOB=4409285 IDBENCH=133432 IDSOLVER=2877 FILE ID=node151/4409285-1569828151 RUNJOBID= node151-1569817277-6491 PBS_JOBID= 21705917 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-5.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409285-1569828151/watcher-4409285-1569828151 -o /tmp/evaluation-result-4409285-1569828151/solver-4409285-1569828151 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569817277-6491 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409285-1569828151.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2 RANDOM SEED=1156371877 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: 29015804 kB MemAvailable: 31813912 kB Buffers: 156644 kB Cached: 2966344 kB SwapCached: 50424 kB Active: 1742948 kB Inactive: 1434816 kB Active(anon): 6828 kB Inactive(anon): 127288 kB Active(file): 1736120 kB Inactive(file): 1307528 kB Unevictable: 108524 kB Mlocked: 108524 kB SwapTotal: 67108860 kB SwapFree: 66956804 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 112936 kB Mapped: 26244 kB Shmem: 70724 kB Slab: 169788 kB SReclaimable: 140588 kB SUnreclaim: 29200 kB KernelStack: 3568 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539188 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= 62028 MiB End job on node151 at 2019-09-30 09:21:50