| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 0.556908 | 0.085592 |
| 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 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-4398025-1568605854.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 0. 0.00/0.01 c [pFactory][Group N°0] task 6 launched on thread 2. 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 6. 0.00/0.01 c [pFactory][Group N°0] task 3 launched on thread 5. 0.00/0.01 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.01 c conflicts decisions filterCalls c propagationsconflicts Root Prop. Nogoods decisions min/max/avg depth filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 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 [pFactory][Group N°0] task 1 launched on thread 7. 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 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 [pFactory][Group N°0] task 0 launched on thread 3. 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 0 2 209 426 45 0 0 0 0 0.00/0.01 c 0 3 209 427 45 0 0 0 0 0.00/0.01 c 0 4 209 428 45 0 0 0 0 0.00/0.01 c c 0 50 209 1 429 209 45 425 0 45 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 1 209 425 45 0 c 0 2 0 0 0209 426 45 00 0 0 0.00/0.01 c 0 3 209 427 45 0 c 0 0 0 0.00/0.01 01 209 425 45 0 0 0 0 0.00/0.01 c 0 4 209 428 45 0 0 0 0 0.00/0.01 c 0 5 209 429 45 0 0 0 0 0.00/0.01 c 0 6 209 430 45 0 0 0 0 0.00/0.01 0.00/0.01 c 0 c 0 2 209 426 7 45 209 0 0 0 0 0.00/0.01 c 431 c 0 452 0 2090 426 3 45 209 0427 45 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 4 209 428 45 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c root propagations : 424 0.00/0.01 c 0 c 6 0 2095 430 c 450 03 209 0 0 0427 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 45 c 0 7 209 431 45 0 0 0 0 0 0.00/0.01 c 209 0 0 0429 0 45 8209 c 0 8 209 432 45 0 0.00/0.01 0 0 0432 0.00/0.01 0 45 0 0 0 0 0.00/0.01 0 0 0c 0.00/0.01 c 0 0 6 4 209 209 430 428 45 45 0 00 0 00 0 0 c 0.00/0.01 0.00/0.01 c 0 7 c 0 1 209 425 45 0 0 0 0 0 0.00/0.01 c 0 5 209 429 9 45 0 209 433 c 45 0 0 00 209 0 2209431 426 45 0 0 0 0.00/0.01 45 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 6 209 430 45 conflicts0 decisions 0 0 00 0 0 0c 0 10 209 434 45 0 0 0 0 0.00/0.01 1 c filterCalls 0.00/0.01 209 0 c 0 9 209 433 45 0 0 0 0 0.00/0.01 c 0 8 209 432 45 0 0 0 0 0.00/0.01 c 0 propagationsc 11 209 435 Root Prop. Nogoods 0.00/0.01 45 10 0 0 9 209 209 434 45 0 0 0 0 0.00/0.01 433 min/max/avg depth 0.00/0.01 c remove useless variable x[77] 0.00/0.01 45 c 0 0 0 00 0 0 0 7 0.00/0.01 0 209 0 0 0 c 431 0 12 209 45 0 436 0.00/0.01 45 c 0 11 209 435 45 0 0 0 0c 0 0 0 0 0.00/0.01 0 3 0.00/0.01 209 427 c 0 0 00 c 8 209 432 45 0 45 0 0 0 0 0.00/0.01 12 209 436 45 0 0 0 0 0.00/0.01 0 0 0 0 c 0.00/0.01 0 9 0.00/0.01 c 0 4 209 0.00/0.01 c c root propagations : 424 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 433 0 13 209 437 45 0 0 10 209 434 45 0 c 0 0 0425 0 13 209 437 45 4545 0 0c c 0 0 0conflicts209 0 0 0 0 decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 0 0 0 0.00/0.02 c remove useless variable x[77] 0.00/0.02 0 0 00 428 0.00/0.02 1 209 c 0 10 209 434 45 0 425 0.00/0.02 0 0 0 0.00/0.02 c 0 11 209 435 45 0 0 0 0 0.00/0.02 45 0.00/0.02 0 0 0 0 0.00/0.02 0.00/0.02 c 0 14 209 438 45 0 0 0 0 0.00/0.02 c 0 2 209 426 45 0 0 0 0 0.00/0.02 c 0 9 298 548 45 0 0 0 0 0.00/0.02 45 0 0 0 0 0.00/0.02 c 0 5 209 429 45 0 0 0 0 0.00/0.02 c 32 63 1948 4546 45 0 2 18 14 0.00/0.02 c 33 64 1967 4601 45 0 1 1 0 0.00/0.02 c 32 64 2885 7460 45 0 6 18 12 0.00/0.02 c 33 79 3295 8394 46 0 15 15 7 0.00/0.02 c 32 77 3166 9004 45 0 1 28 16 0.00/0.02 c 64 142 4946 13065 46 0 1 30 14 0.00/0.02 c 101 176 4479 18075 45 0 c 65 143 2 32 18 4981 13185 0.00/0.02 47 c 33 90 3377 9332 47 0 0 13 13 6 0.00/0.02 1 1 0 0.00/0.02 c 66 145 5032 13291 47 0 2 2 1 0.00/0.02 c 67 146 5039 13317 47 0 1 1 0 0.00/0.02 c 101 182 4900 17233 45 0 9 22 11 0.00/0.02 c 32 77 5152 13436 45 0 5 13 9 0.00/0.02 c 101 161 4692 20322 45 0 3 25 13 0.00/0.02 c 33 79 5478 14217 47 0 2 2 1 0.00/0.02 c 64 143 7476 18925 47 0 1 8 4 0.00/0.02 c 65 151 7616 19166 47 0 c 8 8 4 64 0.00/0.02 175 6404 17015 47 0 9 32 20 0.00/0.02 c 66 162 7858 19758 47 0 11 11 5 0.00/0.02 c 65 187 6659 17548 47 0 12 12 6 0.00/0.02 c 67 164 7931 19859 47 0 2 2 1 0.00/0.02 c 66 192 6977 18375 47 0 5 5 2 0.00/0.02 c 67 205 7119 18696 47 0 13 13 6 0.00/0.02 c 128 287 9082 26178 47 0 5 29 22 0.00/0.02 c 129 293 9193 26362 47 0 6 6 3 0.00/0.02 c 130 294 9204 26405 47 0 1 1 0 0.00/0.02 c 131 306 9351 26801 47 0 12 12 6 0.00/0.02 c 132 313 9704 27579 47 0 7 7 3 0.00/0.02 c 133 333 10145 29022 47 0 20 20 10 0.00/0.02 c 64 141 9580 30140 47 0 2 17 9 0.00/0.02 c 65 144 9676 30270 47 0 3 3 1 0.00/0.02 c 134 c 343 10391 21129560368 47 9205 0 39012 47 0 2 34 17 0.00/0.02 10 10 5 0.00/0.03 c 135 355 10520 29960 47 0 12 12 6 0.00/0.03 c 66 161 9943 30877 47 0 17 17 8 0.00/0.03 c 67 164 10029 30987 47 0 3 3 1 0.00/0.03 c 101 164 11111 22176 45 0 1 22 10 0.00/0.03 c 211 321 11290 45919 47 0 1 20 18 0.00/0.03 c 128 368 10783 29707 47 0 5 29 13 0.00/0.03 c 128 280 11486 32133 47 0 10 32 20 0.00/0.03 c 129 374 10954 30266 47 0 6 6 3 0.00/0.03 c 129 294 11783 32703 47 0 14 14 7 0.00/0.03 c 130 381 11245 30884 47 0 7 7 3 0.00/0.03 c 130 295 11877 33407 47 0 1 1 0 0.00/0.03 c 131 387 11475 31560 47 0 6 6 3 0.00/0.03 c 132 391 11526 31733 47 0 4 4 2 0.00/0.03 c 131 305 12261 34337 47 0 10 10 5 0.00/0.03 c 132 306 12286 34616 47 0 1 1 0 0.00/0.03 c 133 307 12345 34949 47 0 1 1 0 0.00/0.03 c 133 398 11803 32343 47 0 7 7 3 0.00/0.03 c 134 310 12563 35289 47 0 3 3 1 0.00/0.03 c 134 404 12042 33013 47 0 6 6 3 0.00/0.03 c 135 408 12107 33201 47 0 4 4 2 0.00/0.03 c 135 327 12928 36215 47 0 17 17 8 0.00/0.03 c 211 388 14320 46102 47 0 1 34 19 0.00/0.03 c 332 544 13722 54817 47 0 3 16 14 0.00/0.03 c 211 328 16139 36829 47 0 26 34 33 0.00/0.03 c 128 326 17634 55152 47 0 5 30 16 0.00/0.03 c 129 329 17807 55465 47 0 3 3 1 0.00/0.03 c 130 330 17820 55483 47 0 1 1 0 0.00/0.03 c 131 331 17842 55617 47 0 1 1 0 0.00/0.03 c 132 332 17854 55633 47 0 1 1 0 0.00/0.03 c 133 333 17868 55649 47 0 1 1 0 0.00/0.03 c 256 589 19285 52404 47 0 3 23 16 0.00/0.03 c 134 347 18338 56578 47 0 14 14 7 0.00/0.03 c 257 600 19469 52685 47 0 11 11 5 0.00/0.03 c 258 603 19588 53000 47 0 3 3 1 0.00/0.03 c 256 530 18284 49915 47 0 3 25 8 0.00/0.03 c 135 349 18692 57601 47 0 2 2 1 0.00/0.03 c 259 616 19791 53379 47 0 13 13 6 0.00/0.03 c 257 532 18484 50488 47 0 2 2 1 0.00/0.03 c 260 619 19939 54145 47 0 3 3 1 0.00/0.03 c 332 533 18963 72342 47 0 1 30 16 0.00/0.03 c 261 632 20142 54524 47 0 13 13 6 0.00/0.03 c 258 546 18953 51416 47 0 14 14 7 0.00/0.03 c 262 635 20290 55290 47 0 3 3 1 0.00/0.03 c 259 556 19145 51756 47 0 10 10 5 0.00/0.03 c 263 648 20493 55669 47 0 13 13 6 0.00/0.03 c 264 651 20641 56435 47 0 3 3 1 0.00/0.05 c 332 534 21488 53344 47 0 12 23 19 0.00/0.05 c 265 664 20844 56814 47 0 13 13 6 0.00/0.05 c 260 569 19602 52683 47 0 13 13 6 0.00/0.05 c 266 673 21150 57431 47 0 9 9 4 0.00/0.05 c 261 579 19798 53024 47 0 10 10 5 0.00/0.05 c 267 691 21454 58141 47 0 18 18 9 0.00/0.05 c 268 700 21756 58757 47 0 9 9 4 0.00/0.05 c 262 592 20255 53950 47 0 13 13 6 0.00/0.05 c 269 718 22060 59467 47 0 18 18 9 0.00/0.05 c 263 602 20447 54290 47 0 10 10 5 0.00/0.05 c 256 614 20514 55165 47 0 3 14 8 0.00/0.05 c 270 727 22362 60083 47 0 9 9 4 0.00/0.05 c 257 627 20809 55684 47 0 13 13 6 0.00/0.05 c 264 615 20904 55216 47 0 13 13 6 0.00/0.05 c 271 745 22666 60793 47 0 18 18 9 0.00/0.05 c 265 625 21096 55556 47 0 10 10 5 0.00/0.05 c 258 640 21199 56506 47 0 13 13 6 0.00/0.05 c 465 798 20612 80843 47 0 3 21 11 0.00/0.05 c 259 653 21484 57026 47 0 13 13 6 0.00/0.05 c 266 637 21550 56481 47 0 12 12 6 0.00/0.05 c 267 647 21747 56821 47 0 10 10 5 0.00/0.05 c 260 666 21879 57848 47 0 13 13 6 0.00/0.05 c 261 679 22164 58368 47 0 13 13 6 0.00/0.05 c 268 659 22201 57745 47 0 12 12 6 0.00/0.05 c 269 669 22393 58084 47 0 10 10 5 0.00/0.05 c 262 692 22554 59189 47 0 13 13 6 0.00/0.05 c 263 705 22843 59710 47 0 13 13 6 0.00/0.05 c 270 681 22851 59008 47 0 12 12 6 0.00/0.05 c 271 691 23043 59347 47 0 10 10 5 0.00/0.05 c 264 718 23247 60486 47 0 13 13 6 0.00/0.05 c 465 711 25268 68894 47 0 16 24 23 0.00/0.05 c 265 731 23532 61006 47 0 13 13 6 0.00/0.05 c 266 744 23936 61782 47 0 13 13 6 0.00/0.05 c 267 757 24221 62302 47 0 13 13 6 0.00/0.05 c 268 770 24625 63078 47 0 13 13 6 0.00/0.05 c 332 600 24323 87644 47 0 4 25 16 0.00/0.05 c 269 783 24910 63598 47 0 13 13 6 0.00/0.05 c 270 796 25316 64374 47 0 13 13 6 0.00/0.05 c 271 809 25600 64890 47 0 13 13 6 0.00/0.05 c 256 601 28298 83011 47 0 14 27 20 0.00/0.05 c 257 602 28470 83441 47 0 1 1 0 0.00/0.05 c 258 605 28620 83970 47 0 3 3 1 0.00/0.05 c 259 612 28761 84367 47 0 7 7 3 0.00/0.05 c 465 778 28199 106344 47 0 10 26 15 0.00/0.05 c 260 615 28911 84896 47 0 3 3 1 0.00/0.05 c 261 622 29052 85293 47 0 7 7 3 0.00/0.05 c 262 625 29206 85822 47 0 3 3 1 0.00/0.05 c 263 632 29348 86218 47 0 7 7 3 0.00/0.05 c 264 635 29498 86744 47 0 3 3 1 0.00/0.05 c 265 642 29640 87139 47 0 7 7 3 0.00/0.05 c 266 645 29790 87664 47 0 3 3 1 0.00/0.05 c c 611 267 1048 652 27539 2993110928388058 47 47 0 0 7 7 3 1 33 20 0.00/0.05 0.00/0.05 c 268 655 30082 88583 47 0 3 3 1 0.00/0.05 c 269 662 30223 88976 47 0 7 7 3 0.00/0.06 c 270 665 30373 89500 47 0 3 3 1 0.00/0.06 c 271 672 30514 89893 47 0 7 7 3 0.00/0.06 c 611 957 31888 91114 47 0 10 19 15 0.00/0.06 c 465 850 31713 113252 47 0 1 34 19 0.00/0.06 c 771 1311 35793 140300 47 0 18 34 30 0.00/0.06 c 512 1208 38720 113042 47 0 4 24 11 0.00/0.06 c 513 1219 38903 113689 48 0 11 11 5 0.00/0.06 c 611 1035 40395 142331 47 0 1 29 19 0.00/0.07 c 514 1228 39187 114841 48 0 9 9 4 0.00/0.07 c 515 1239 39349 115198 48 0 11 11 5 0.00/0.07 c 516 1248 39633 116349 48 0 9 9 4 0.00/0.07 c 517 1259 39793 116705 48 0 11 11 5 0.00/0.07 c 518 1268 40077 117856 48 0 9 9 4 0.00/0.07 c 519 1279 40237 118212 48 0 11 11 5 0.00/0.07 c 520 1288 40521 119363 48 0 9 9 4 0.00/0.07 c 771 1333 42746 127040 48 0 15 33 22 0.00/0.07 c 521 1299 40681 119719 48 0 11 11 5 0.00/0.07 c 512 1261 43915 122036 47 0 3 34 19 0.00/0.07 c 522 1308 40965 120870 48 0 9 9 4 0.00/0.07 c 513 1270 44110 122668 48 0 9 9 4 0.00/0.07 c 514 1271 44151 122999 48 0 1 1 0 0.00/0.07 c 523 1319 41125 121226 48 0 11 11 5 0.00/0.07 c 515 1284 44504 123873 48 0 13 13 6 0.00/0.07 c 524 1328 41412 122377 48 0 9 9 4 0.00/0.07 c 516 1293 44681 124486 48 0 9 9 4 0.00/0.07 c 525 1339 41572 122733 48 0 11 11 5 0.00/0.07 c 526 1348 41856 123883 48 0 9 9 4 0.00/0.07 c 517 1306 45034 125360 48 0 13 13 6 0.00/0.07 c 527 1359 42016 124239 48 0 11 11 5 0.00/0.07 c 518 1315 45211 125973 48 0 9 9 4 0.00/0.07 c 611 1155 41547 146234 48 0 12 32 17 0.00/0.07 c 528 1368 42300 125389 48 0 9 9 4 0.00/0.07 c 519 1328 45564 126847 48 0 13 13 6 0.00/0.07 c 529 1379 42460 125745 48 0 11 11 5 0.00/0.07 c 520 1337 45741 127460 48 0 9 9 4 0.00/0.07 c 530 1388 42744 126895 48 0 9 9 4 0.00/0.07 c 947 1557 40904 160179 48 0 14 17 16 0.00/0.07 c 521 1350 46094 128334 48 0 13 13 6 0.00/0.07 c 531 1399 42904 127251 48 0 11 11 5 0.00/0.07 c 522 1359 46271 128947 48 0 9 9 4 0.00/0.07 c 532 1408 43188 128401 48 0 9 9 4 0.00/0.07 c 533 1419 43348 128757 48 0 11 11 5 0.00/0.07 c 523 1372 46624 129821 48 0 13 13 6 0.00/0.07 c 524 1381 46801 130434 48 0 9 9 4 0.00/0.07 c 534 1428 43632 129907 48 0 9 9 4 0.00/0.07 c 535 1439 43792 130263 48 0 11 11 5 0.00/0.07 c 525 1394 47154 131308 48 0 13 13 6 0.00/0.07 c 526 1403 47331 131921 48 0 9 9 4 0.00/0.07 c 536 1449 44079 131414 48 0 10 10 5 0.00/0.07 c 537 1460 44239 131770 48 0 11 11 5 0.00/0.07 c 527 1416 47684 132795 48 0 13 13 6 0.00/0.07 c 512 1220 44217 118867 48 0 2 32 16 0.00/0.07 c 528 1425 47861 133408 48 0 9 9 4 0.00/0.07 c 538 1470 44526 132921 48 0 10 10 5 0.00/0.07 c 539 1481 44690 133277 48 0 11 11 5 0.00/0.07 c 529 1430 48109 134206 48 0 5 5 2 0.00/0.07 c 513 1223 44567 119881 48 0 3 3 1 0.00/0.07 c 1000 1665 43026 167327 48 0 12 33 18 0.00/0.07 c 530 1441 48279 134468 48 0 11 11 5 0.00/0.07 c 540 1491 44977 134428 48 0 10 10 5 0.00/0.07 c 514 1233 44796 120338 48 0 10 10 5 0.00/0.07 c 541 1502 45137 134783 48 0 11 11 5 0.00/0.07 c 515 1234 44832 120793 48 0 1 1 0 0.00/0.07 c 531 1446 48523 135265 48 0 5 5 2 0.00/0.07 c 771 1284 47259 165603 48 0 3 22 17 0.00/0.07 c 516 1236 44970 121342 49 0 2 2 1 0.00/0.07 c 532 1457 48698 135528 49 0 11 11 5 0.00/0.07 c 542 1512 45429 135934 49 0 10 10 5 0.00/0.07 c 543 1523 45592 136289 49 0 11 11 5 0.00/0.07 c 533 1462 48951 136323 49 0 5 5 2 0.00/0.07 c 517 1243 45268 122130 49 0 7 7 3 0.00/0.07 c 518 1244 45287 122159 49 0 1 1 0 0.00/0.07 c 519 1245 45306 122177 49 0 1 1 0 0.00/0.07 c 520 1246 45327 122238 49 0 1 1 0 0.00/0.07 c 534 1473 49108 136581 49 0 11 11 5 0.00/0.07 c 521 1247 45346 122255 49 0 1 1 0 0.00/0.07 c 522 1248 45371 122273 49 0 1 1 0 0.00/0.07 c 523 1249 45397 122322 51 0 1 1 0 0.00/0.07 c 524 1250 45421 122338 51 0 1 1 0 0.00/0.07 c 525 1251 45441 122353 51 0 1 1 0 0.00/0.07 c 535 1478 49377 137409 49 0 5 5 2 0.00/0.07 c 526 1261 45662 122776 51 0 10 10 5 0.00/0.07 c 536 1489 49551 137654 51 0 11 11 5 0.00/0.07 c 527 1268 45965 123536 51 0 7 7 3 0.00/0.07 c 537 1494 49823 138830 51 0 5 5 2 0.00/0.07 c 528 1278 46186 123959 51 0 10 10 5 0.00/0.07 c 538 1504 49994 139628 51 0 10 10 5 0.00/0.07 c 529 1285 46489 124719 51 0 7 7 3 0.00/0.07 c 539 1509 50266 140804 51 0 5 5 2 0.00/0.07 c 540 1519 50437 141602 51 0 10 10 5 0.00/0.07 c 530 1295 46710 125142 51 0 10 10 5 0.00/0.07 c 541 1524 50709 142778 51 0 5 5 2 0.00/0.07 c 531 1302 47013 125902 51 0 7 7 3 0.00/0.07 c 542 1534 50880 143576 51 0 10 10 5 0.00/0.07 c 532 1313 47206 126173 51 0 11 11 5 0.00/0.07 c 533 1316 47379 126547 51 0 3 3 1 0.00/0.07 c 543 1539 51152 144752 51 0 5 5 2 0.00/0.07 c 534 1326 47592 126973 51 0 10 10 5 0.00/0.07 c 947 1638 50578 149230 48 0 14 22 17 0.00/0.07 c 535 1333 47895 127733 51 0 7 7 3 0.00/0.07 c 536 1343 48116 128156 51 0 10 10 5 0.00/0.08 c 537 1350 48419 128916 51 0 7 7 3 0.00/0.08 c 538 1361 48618 129189 51 0 11 11 5 0.00/0.08 c 539 1364 48791 129561 51 0 3 3 1 0.00/0.08 c 540 1374 49006 129987 51 0 10 10 5 0.00/0.08 c 541 1381 49311 130747 51 0 7 7 3 0.00/0.08 c 542 1392 49504 131018 51 0 11 11 5 0.00/0.08 c 543 1395 49677 131390 51 0 3 3 1 0.00/0.08 c 947 1524 53413 186186 49 0 11 18 13 0.00/0.08 c 1000 1721 53840 163827 51 0 11 14 12 0.00/0.08 c 1140 1926 49804 193620 49 0 3 33 20 0.00/0.08 c 1000 1732 54028 164088 52 0 0 0 0 0.00/0.08 c 512 1179 55407 160324 48 0 3 22 13 0.00/0.08 c 513 1180 55455 160433 52 0 1 1 0 0.00/0.08 c 514 1186 55692 160941 52 0 6 6 3 0.00/0.08 c 515 1195 55832 161148 52 0 9 9 4 0.00/0.08 c 516 1196 55862 161533 52 0 1 1 0 0.00/0.08 c 517 1197 55867 161589 52 0 1 1 0 0.00/0.08 c 518 1206 56173 162915 52 0 9 9 4 0.00/0.08 c 519 1215 56433 163553 52 0 9 9 4 0.00/0.08 c 520 1224 56739 164879 52 0 9 9 4 0.00/0.08 c 521 1233 56999 165517 52 0 9 9 4 0.00/0.08 c 1000 1609 56665 196429 52 0 1 14 10 0.00/0.08 c 522 1242 57309 166843 52 0 9 9 4 0.00/0.08 c 523 1251 57576 167491 52 0 9 9 4 0.00/0.08 c 771 1532 55504 185915 48 0 3 35 23 0.00/0.08 c 524 1260 57888 168829 52 0 9 9 4 0.00/0.08 c 525 1269 58152 169473 52 0 9 9 4 0.00/0.08 c 526 1278 58464 170809 52 0 9 9 4 0.00/0.08 c 527 1287 58728 171452 52 0 9 9 4 0.00/0.08 c 528 1296 59037 172787 52 0 9 9 4 0.00/0.08 c 529 1305 59312 173433 53 0 9 9 4 0.00/0.08 c 530 1314 59588 174714 53 0 9 9 4 0.00/0.08 c 531 1323 59827 175326 53 0 9 9 4 0.00/0.08 c 532 1332 60103 176607 53 0 9 9 4 0.00/0.08 c 1352 2211 55265 216952 52 0 3 21 13 0.00/0.08 c 533 1341 60342 177219 53 0 9 9 4 0.00/0.08 c 534 1350 60618 178500 53 0 9 9 4 0.00/0.08 c 535 1359 60863 179112 53 0 9 9 4 0.00/0.08 c 536 1368 61139 180391 53 0 9 9 4 0.00/0.08 c 537 1377 61378 181002 53 0 9 9 4 0.00/0.08 c 538 1386 61654 182281 53 0 9 9 4 0.00/0.08 c 539 1395 61893 182892 53 0 9 9 4 0.00/0.08 c 540 1404 62169 184171 53 0 9 9 4 0.00/0.08 c 541 1413 62408 184782 53 0 9 9 4 0.00/0.08 c First solution is found 0.00/0.08 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 3. 0.00/0.08 c [pFactory][Group N°0] Thread N°0 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°1 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°2 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°3 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°4 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°5 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°6 is joined. 0.00/0.08 c [pFactory][Group N°0] Thread N°7 is joined. 0.00/0.08 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°5) 0.00/0.08 s SATISFIABLE 0.00/0.08 c restarts : 61 0.00/0.08 c conflicts : 541 (977 /sec) 0.00/0.08 c decisions : 1415 (2557 /sec) 0.00/0.08 c propagations : 185056 (334365 /sec) 0.00/0.08 c root propagations : 424 0.00/0.08 c filter calls : 62481 (112893 /sec) 0.00/0.08 c useless filter calls : 36492 (58 %) 0.00/0.08 c Memory used : 571.50 MB 0.00/0.08 c CPU time : 0.553404 s 0.00/0.08 c real time : 0.079129 s 0.00/0.08 0.00/0.08 c solution 1 0.00/0.08 0.00/0.08 v <instantiation type='solution'> 0.00/0.08 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.00/0.08 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.00/0.08 v </instantiation> 0.00/0.08
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 (14646 MiB free)
memory of node 1: 16384 MiB (14230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398025-1568605854/watcher-4398025-1568605854 -o /tmp/evaluation-result-4398025-1568605854/solver-4398025-1568605854 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398025-1568605854.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=17357, runsolver pid=17354
Current StackSize limit: 8192 KiB
[startup+0.0855569 s]
# the end of solver process 17357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.553901 s, system=0.003007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.085592
CPU time (s): 0.556908
CPU user time (s): 0.553901
CPU system time (s): 0.003007
CPU usage (%): 650.654
Max. virtual memory (cumulated for all children) (KiB): 0
Max. memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.553901
system time used= 0.003007
maximum resident set size= 5656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1592
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= 184
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 17357
# total CPU time (s): 0.556908
# total CPU user time (s): 0.553901
# total CPU system time (s): 0.003007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007988 second user time and 0.014835 second system time
The end
Begin job on node119 at 2019-09-16 05:50:14 IDJOB=4398025 IDBENCH=133432 IDSOLVER=2851 FILE ID=node119/4398025-1568605854 RUNJOBID= node119-1568597993-15576 PBS_JOBID= 21703416 Free space on /tmp= 61372 MiB SOLVER NAME= cosoco 2.O 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-4398025-1568605854/watcher-4398025-1568605854 -o /tmp/evaluation-result-4398025-1568605854/solver-4398025-1568605854 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398025-1568605854.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2 RANDOM SEED=1427914730 node119.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.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29570276 kB MemAvailable: 31820160 kB Buffers: 86848 kB Cached: 2446116 kB SwapCached: 61076 kB Active: 1244124 kB Inactive: 1355416 kB Active(anon): 4104 kB Inactive(anon): 112096 kB Active(file): 1240020 kB Inactive(file): 1243320 kB Unevictable: 107752 kB Mlocked: 107752 kB SwapTotal: 67108860 kB SwapFree: 66939904 kB Dirty: 2856 kB Writeback: 0 kB AnonPages: 122172 kB Mapped: 46352 kB Shmem: 41008 kB Slab: 193540 kB SReclaimable: 164760 kB SUnreclaim: 28780 kB KernelStack: 3712 kB PageTables: 6012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61368 MiB End job on node119 at 2019-09-16 05:50:14