| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 0.40533 | 0.0685321 |
| Name | Primes/ Primes-m1-p30/Primes-30-80-3-7.xml |
| MD5SUM | d6f47189ec9a9650b4b34af3081cbaad |
| 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.351152 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 80 |
| Number of domains | 1 |
| Minimum domain size | 112 |
| Maximum domain size | 112 |
| Distribution of domain sizes | [{"size":112,"count":100}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 12 |
| Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":3},{"degree":3,"count":7},{"degree":4,"count":26},{"degree":5,"count":14},{"degree":6,"count":23},{"degree":7,"count":15},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":11,"count":1},{"degree":12,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":3,"count":10},{"arity":4,"count":9},{"arity":5,"count":13},{"arity":6,"count":3},{"arity":7,"count":12},{"arity":8,"count":9},{"arity":9,"count":11},{"arity":10,"count":13}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":80}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c root propagations : 1796 0.00/0.01 c root propagations : 1796 0.00/0.01 c root propagations : 1796 0.00/0.01 c root propagations : 1796 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c restarts enabled, print stats at every restarts 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 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c root propagations : 1796 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-4398080-1568605827.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: 112..112 0.00/0.01 c | 0.00/0.01 c | Constraints: 80 0.00/0.01 c | Arity: 3..10 -- Ternary: 10 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | Sum: 80 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 1. 0.00/0.01 c [pFactory][Group N°0] task 5 launched on thread 2. 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 7. 0.00/0.01 c [pFactory][Group N°0] task 2 launched on thread 4. 0.00/0.01 c [pFactory][Group N°0] task 1 launched on thread 3. 0.00/0.01 c [pFactory][Group N°0] task 0 launched on thread 5. 0.00/0.01 c c c conflictsconflictsconflicts decisions c filterCalls decisionsconflicts filterCalls c conflicts decisions filterCalls propagations Root Prop. Nogoods propagations decisions Root Prop.propagations min/max/avg depthRoot Prop. Nogoods 0.00/0.01 Nogoods min/max/avg depth decisionsmin/max/avg depth 0.00/0.01 filterCalls 0.00/0.01 propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 0 1 245 1797 42 0 0 0 0 0.00/0.01 c 0 2 245 1798 42 0 0 0 0 0.00/0.01 c 0 3 245 1799 42 0 0 0 0 0.00/0.01 c 0 4 245 1800 42 0 0 0 0 0.00/0.01 c 0 1 245 1797 42 0 0 0 0 0.00/0.01 c 0 1 245 1797 42 0 0 0 0 0.00/0.01 c 0 1 245 1797 42 0 0 0 0 0.00/0.01 c 0 1 245 1797 42 0 0 0 0 0.00/0.01 c c 0 2 258 0 1800 2 42258 0 1802 42 0 0 0 0 0.00/0.01 0 0 0 0.00/0.01 c 0 3 258 1803 42 0 0 0 0 0.00/0.01 c root propagations : 1796 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 0 3 271 1803 42 0 0 0 0 0.00/0.01 c 0 5 267 1818 42 0 0 0 0 0.00/0.01 c 0 2 258 1800 42 0 0 0 0 0.00/0.01 c 0 4 284 1806 42 0 0 0 0 0.00/0.01 c 0 6 280 1821 42 0 c 0 0 00 5 284 1807 42 0 0.00/0.01 c 0 2 245 1798 42 0 0 0 0 0.00/0.01 c 0 7 280 1822 42 0 0 0 0 0.00/0.01 c 0 8 280 1823 42 0 0 0 0 0.00/0.01 c 0 9 280 1824 42 0 0 0 0 0.00/0.01 c 0 10 280 1825 42 0 0 0 0 0.00/0.02 0 0 0 0.00/0.02 c 0 3 258 1805 42 0 0 0 0c 0.00/0.02 0 3 271 1805 42 0 0 0 0 0.00/0.02 c 0 11 280 1826 42 0 0 0 0 0.00/0.02 c c 0 04 4 284 271 1808 1808 42 42 0 0 0 0 0 0 0 0 0.00/0.02 0.00/0.02 c 0 1 258 1803 42 0 c 0 12 293 0 0 0 1829 42c 0 00 0 06 0.00/0.02 c 0 5 284 1811 42 0 0 0 0 0.00/0.02 c 0 6 284 1812 42 0 c 0 0 0 0.00/0.02 0 5 297 1811 42 0 284 0 0 0 0.00/0.02 c 0 7 284 1813 42 0 0 0 0 0.00/0.02 1808 c 42 0 06 297 1812 42 0 0 0 00 0 0 c 0 8 284 0.00/0.02 1814 0.00/0.02 42 c 0 0 7 297 1813 42 0 0 0 0 0 0 0 0.00/0.02 0.00/0.02 c 0 8 297 1814 42 0 0 0 0 c 0 9 0.00/0.02 284 c 0 2 271 1808 42 0 0 0 0 0.00/0.02 1815 c 42 0 03 271 1809 0 0 0 42 0 0 0 0 c 0 10 0.00/0.02 c 0 10 284 1816 42 0 0.00/0.02 0 0 0 0.00/0.02 c 0 4 271 1810 42 0 0 0 0 0.00/0.02 301 1816 42 0 0 0 0 0.00/0.02 c c 0 11 301 1817 0 42 7 297 1813 042 0 0 0 0 0.00/0.02 0 0 0 0.00/0.02 c 0 12 301 1818 42 0 c 0 0 0 0 8 297 1814 42 0 0.00/0.02 0 0 0 0.00/0.02 c 0 9 297 c 1815 42 0 0 13 301 1819 42 0 0 0 0 0.00/0.02 0 0 0 0.00/0.02 c 0 10 297 1816 42 0 0 0 0 0.00/0.02 c root propagations : 1796 0.00/0.02 c 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 conflicts0 11 297 1817 42 0 0 0 0decisions 0.00/0.02 filterCalls c propagations0 12 c Root Prop.Nogoods 297 min/max/avg depth 0.00/0.02 0 1818 42 0 0 0 0 0.00/0.02 14 301 1820 42 0 0 0 0 0.00/0.02 c 0 15 301 1821 42 0 0 0 0 0.00/0.02 c 0 16 301 1822 42 0 0 0 0 0.00/0.02 c 0 17 301 1823 42 0 0 0 0 0.00/0.02 c 0 18 301 1824 42 0 0 0 0 0.00/0.02 c 0 20 308 1833 42 0 0 0 0 0.00/0.02 c 0 21 308 1834 42 0 0 0 0 0.00/0.02 c 0 22 308 1835 42 0 0 0 0 0.00/0.02 c 0 23 308 1836 42 0 0 0 0 0.00/0.02 c 0 24 308 1837 42 0 0 0 0 0.00/0.02 c 0 14 332 1869 42 0 0 0 0 0.00/0.02 c 0 12 391 1991 42 0 0 0 0 0.00/0.02 c c 0 0 13 397 16 1993 367 1920 42 420 0 0 0 0 c 0.00/0.02 0 13 306 1832 42 0 0 0 0 0 0 0 0.00/0.02 0.00/0.02 c 0 14 397 1994 42 0 0 0 0 0.00/0.02 c 0 15 397 c 1995 0 17 373 421922 0 42 0 0 0 0 0 0 0 0.00/0.02 0.00/0.02 c 0 14 312 1834 42 0 0 0 0 0.00/0.02 c 0 1 258 1807 42 0 0 0 0 0.00/0.02 c 0 16 321 1849 42 0 0 0 0 0.00/0.02 c 0 19 408 1973 42 0 0 0 0 0.00/0.02 c 0 27 427 2397 42 0 0 0 0 0.00/0.02 c 0 3 310 2130 42 0 0 0 0 0.00/0.02 c 0 21 443 2024 42 0 0 0 0 0.00/0.02 c 0 19 390 2268 42 0 0 0 0 0.00/0.02 c 0 17 504 2170 42 0 0 0 0 0.00/0.02 c 0 42 842 4962 42 0 0 0 0 0.00/0.02 c 0 45 959 5293 42 0 0 0 0 0.00/0.02 c 0 48 1076 5646 42 0 0 0 0 0.00/0.02 c 0 49 1083 5648 43 0 0 0 0 0.00/0.02 c 0 52 1197 5984 43 0 0 0 0 0.00/0.02 c 0 55 1311 6329 43 0 0 0 0 0.00/0.02 c 32 65 2279 25169 44 0 1 9 5 0.00/0.02 c 33 66 2303 25313 44 0 1 1 0 0.00/0.02 c root propagations : 1796 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 0 1 294 1836 44 0 0 0 0 0.00/0.03 c 0 2 335 1849 45 0 0 0 0 0.00/0.03 c 0 3 352 1854 45 0 0 0 0 0.00/0.03 c 32 62 2629 25990 42 0 2 9 5 0.00/0.03 c 0 6 520 2372 46 0 0 0 0 0.00/0.03 c 0 7 563 2385 46 0 0 0 0 0.00/0.03 c 0 9 584 2474 46 0 0 0 0 0.00/0.03 c 33 63 2720 26291 46 0 1 1 0 0.00/0.03 c 0 11 605 2563 46 0 0 0 0 0.00/0.03 c 0 12 630 2568 46 0 0 0 0 0.00/0.03 c 0 14 661 2658 46 0 0 0 0 0.00/0.03 c 0 15 671 2660 46 0 0 0 0 0.00/0.03 c 0 16 681 2662 46 0 0 0 0 0.00/0.03 c 0 17 699 2667 46 0 0 0 0 0.00/0.03 c 0 19 720 2756 46 0 0 0 0 0.00/0.03 c 0 20 730 2759 46 0 0 0 0 0.00/0.03 c 0 21 775 2768 46 0 0 0 0 0.00/0.03 c 0 23 796 2861 46 0 0 0 0 0.00/0.03 c 0 24 806 2863 46 0 0 0 0 0.00/0.03 c 0 25 835 2870 46 0 0 0 0 0.00/0.03 c 0 27 856 2963 46 0 0 0 0 0.00/0.03 c 0 28 881 2969 46 0 0 0 0 0.00/0.03 c 0 30 902 3062 46 0 0 0 0 0.00/0.03 c 0 31 912 3064 46 0 0 0 0 0.00/0.03 c 0 33 943 3158 46 0 0 0 0 0.00/0.03 c 0 34 969 3164 46 0 0 0 0 0.00/0.03 c 0 36 990 3257 46 0 0 0 0 0.00/0.03 c 0 38 1021 3351 46 0 0 0 0 0.00/0.03 c 0 39 1074 3363 46 0 0 0 0 0.00/0.03 c 0 40 1092 3367 46 0 0 0 0 0.00/0.03 c 0 42 1123 3462 46 0 0 0 0 0.00/0.03 c 0 43 1152 3469 46 0 0 0 0 0.00/0.03 c 0 45 1183 3564 46 0 0 0 0 0.00/0.03 c 0 46 1193 3566 46 0 0 0 0 0.00/0.03 c 0 47 1203 3568 46 0 0 0 0 0.00/0.03 c 0 48 1222 3572 46 0 0 0 0 0.00/0.03 c 0 49 1222 3573 46 0 0 0 0 0.00/0.03 c 0 51 1243 3667 46 0 0 0 0 0.00/0.03 c 0 52 1253 3669 46 0 0 0 0 0.00/0.03 c 0 53 1300 3679 46 0 0 0 0 0.00/0.03 c 0 55 1331 3778 46 0 0 0 0 0.00/0.03 c 0 57 1369 3879 46 0 0 0 0 0.00/0.03 c 0 58 1390 3884 46 0 0 0 0 0.00/0.03 c 0 61 1535 4447 46 0 0 0 0 0.00/0.03 c 0 62 1577 4460 46 0 0 0 0 0.00/0.03 c 0 63 1608 4468 46 0 0 0 0 0.00/0.03 c 0 65 1639 4567 46 0 0 0 0 0.00/0.03 c 0 66 1649 4569 46 0 0 0 0 0.00/0.03 c 0 68 1680 4668 46 0 0 0 0 0.00/0.03 c 0 69 1708 4675 46 0 0 0 0 0.00/0.03 c 0 72 1843 5259 46 0 0 0 0 0.00/0.03 c 64 94 3836 40104 46 0 1 1 0 0.00/0.03 c 0 73 1894 5281 46 0 0 0 0 0.00/0.03 c 0 74 1923 5289 46 0 0 0 0 0.00/0.03 c 0 76 1944 5392 46 0 0 0 0 0.00/0.03 c 65 95 3919 40927 46 0 1 1 0 0.00/0.03 c 0 77 1976 5401 46 0 0 0 0 0.00/0.03 c 66 96 3995 41818 46 0 1 1 0 0.00/0.03 c 0 80 2115 5991 46 0 0 0 0 0.00/0.03 c 67 97 4070 42747 46 0 1 1 0 0.00/0.03 c 0 81 2147 6001 46 0 0 0 0 0.00/0.03 c 0 82 2161 6007 46 0 0 0 0 0.00/0.03 c 0 84 2182 6110 46 0 0 0 0 0.00/0.03 c 0 85 2195 6114 46 0 0 0 0 0.00/0.03 c 0 86 2209 6117 46 0 0 0 0 0.00/0.03 c 0 88 2230 6220 46 0 0 0 0 0.00/0.03 c 0 89 2243 6224 46 0 0 0 0 0.00/0.03 c 101 133 5000 28190 43 0 2 11 2 0.00/0.03 c 0 91 2277 6329 46 0 0 0 0 0.00/0.03 c 0 92 2290 6332 46 0 0 0 0 0.00/0.03 c 0 94 2311 6435 46 0 0 0 0 0.00/0.03 c 0 95 2325 6439 46 0 0 0 0 0.00/0.03 c 0 98 2522 7073 46 0 0 0 0 0.00/0.03 c 0 99 2546 7088 46 0 0 0 0 0.00/0.03 c 0 100 2563 7093 46 0 0 0 0 0.00/0.03 c 0 102 2586 7199 46 0 0 0 0 0.00/0.03 c 0 103 2599 7202 46 0 0 0 0 0.00/0.03 c 0 105 2638 7313 46 0 0 0 0 0.00/0.03 c 0 106 2660 7317 46 0 0 0 0 0.00/0.03 c 32 71 5520 20630 42 0 7 16 12 0.00/0.03 c 0 107 2684 7323 46 0 0 0 0 0.00/0.03 c 0 109 2707 7432 46 0 0 0 0 0.00/0.03 c 0 110 2729 7436 46 0 0 0 0 0.00/0.03 c 33 72 5594 21063 46 0 1 1 0 0.00/0.03 c 0 113 2904 8110 46 0 0 0 0 0.00/0.03 c 0 114 2922 8124 46 0 0 0 0 0.00/0.03 c 0 115 2938 8129 46 0 0 0 0 0.00/0.03 c 0 116 2952 8132 46 0 0 0 0 0.00/0.03 c 0 118 2975 8245 46 0 0 0 0 0.00/0.03 c 0 119 2991 8250 46 0 0 0 0 0.00/0.03 c 0 120 3004 8253 46 0 0 0 0 0.00/0.03 c 0 121 3015 8255 46 0 0 0 0 0.00/0.03 c 0 123 3038 8369 46 0 0 0 0 0.00/0.03 c 0 124 3054 8374 46 0 0 0 0 0.00/0.03 c 0 125 3067 8377 46 0 0 0 0 0.00/0.03 c 0 126 3085 8381 46 0 0 0 0 0.00/0.03 c 0 128 3108 8497 46 0 0 0 0 0.00/0.03 c 0 129 3122 8501 46 0 0 0 0 0.00/0.03 c 0 131 3145 8618 46 0 0 0 0 0.00/0.03 c 64 112 5200 52662 46 0 1 16 1 0.00/0.03 c 0 132 3163 8622 46 0 0 0 0 0.00/0.03 c 0 133 3163 8623 46 0 0 0 0 0.00/0.03 c 0 134 3163 8624 46 0 0 0 0 0.00/0.03 c 0 135 3163 8625 46 0 0 0 0 0.00/0.03 c 0 136 3163 8626 46 0 0 0 0 0.00/0.03 c 0 137 3163 8627 46 0 0 0 0 0.00/0.03 c 0 138 3163 8628 46 0 0 0 0 0.00/0.03 c 0 139 3163 8629 46 0 0 0 0 0.00/0.03 c 65 116 5679 57530 46 0 4 4 2 0.00/0.04 c 66 126 6201 59655 46 0 10 10 5 0.00/0.04 c 67 127 6221 60114 46 0 1 1 0 0.00/0.04 c 64 116 8083 34274 47 0 1 5 1 0.00/0.04 c 65 117 8123 34372 47 0 1 1 0 0.00/0.04 c 66 118 8145 34465 47 0 1 1 0 0.00/0.04 c 67 119 8187 34562 47 0 1 1 0 0.00/0.05 c 211 292 10913 91737 46 0 1 18 8 0.00/0.05 c 101 167 12621 64016 46 0 1 26 12 0.00/0.05 c 101 154 12184 55490 42 0 7 16 13 0.00/0.06 c 101 255 12810 84233 43 0 3 21 10 0.00/0.06 c 128 228 13894 69476 47 0 1 43 17 0.00/0.06 c 129 239 14255 70856 48 0 11 11 5 0.00/0.06 c 130 240 14277 70980 48 0 1 1 0 0.00/0.06 c 32 195 14128 46993 46 0 2 21 16 0.00/0.06 c 131 261 15018 74567 48 0 21 21 10 0.00/0.06 c 132 262 15064 74874 48 0 1 1 0 0.00/0.06 c 133 263 15093 75376 48 0 1 1 0 0.00/0.06 c 33 212 14805 49982 48 0 17 17 8 0.00/0.06 c 134 265 15298 76874 48 0 2 2 1 0.00/0.06 c 135 267 15646 78555 48 0 2 2 1 0.00/0.06 c 128 202 17072 98465 48 0 1 4 2 0.00/0.06 c First solution is found 0.00/0.06 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7. 0.00/0.06 c [pFactory][Group N°0] Thread N°0 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°1 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°2 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°3 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°4 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°5 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°6 is joined. 0.00/0.06 c [pFactory][Group N°0] Thread N°7 is joined. 0.00/0.06 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 0.00/0.06 s SATISFIABLE 0.00/0.06 c restarts : 11 0.00/0.06 c conflicts : 128 (319 /sec) 0.00/0.06 c decisions : 205 (511 /sec) 0.00/0.06 c propagations : 101260 (252323 /sec) 0.00/0.06 c root propagations : 1796 0.00/0.06 c filter calls : 17926 (44669 /sec) 0.00/0.06 c useless filter calls : 12700 (70 %) 0.00/0.06 c Memory used : 572.27 MB 0.00/0.06 c CPU time : 0.401251 s 0.00/0.06 c real time : 0.0642939 s 0.00/0.06 0.00/0.06 c solution 1 0.00/0.06 0.00/0.06 v <instantiation type='solution'> 0.00/0.06 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.06 v <values>43 59 107 101 89 101 59 41 29 3 5 19 73 71 89 59 2 17 83 59 37 23 107 29 5 73 5 43 19 101 113 41 41 67 113 107 43 59 3 83 29 7 79 113 47 19 23 47 13 2 89 59 3 73 103 7 5 73 59 3 53 53 47 107 103 13 59 29 43 61 97 53 41 53 47 107 47 47 7 73 19 67 17 23 23 97 7 37 47 71 41 2 103 67 71 83 59 17 97 113 </values> 0.00/0.06 v </instantiation> 0.00/0.06
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 (14674 MiB free)
memory of node 1: 16384 MiB (15696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398080-1568605827/watcher-4398080-1568605827 -o /tmp/evaluation-result-4398080-1568605827/solver-4398080-1568605827 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398080-1568605827.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=16309, runsolver pid=16306
Current StackSize limit: 8192 KiB
[startup+0.068497 s]
# the end of solver process 16309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.401311 s, system=0.004019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.0685321
CPU time (s): 0.40533
CPU user time (s): 0.401311
CPU system time (s): 0.004019
CPU usage (%): 591.446
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.401311
system time used= 0.004019
maximum resident set size= 7480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2173
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= 187
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 16309
# total CPU time (s): 0.40533
# total CPU user time (s): 0.401311
# total CPU system time (s): 0.004019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.006957 second user time and 0.015891 second system time
The end
Begin job on node127 at 2019-09-16 05:49:47 IDJOB=4398080 IDBENCH=133371 IDSOLVER=2851 FILE ID=node127/4398080-1568605827 RUNJOBID= node127-1568598290-13264 PBS_JOBID= 21703425 Free space on /tmp= 61312 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Primes/Primes-m1-p30/Primes-30-80-3-7.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398080-1568605827/watcher-4398080-1568605827 -o /tmp/evaluation-result-4398080-1568605827/solver-4398080-1568605827 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398080-1568605827.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d6f47189ec9a9650b4b34af3081cbaad RANDOM SEED=771800740 node127.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.55 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.55 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.55 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.55 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: 31101396 kB MemAvailable: 31833540 kB Buffers: 45568 kB Cached: 972560 kB SwapCached: 51316 kB Active: 392640 kB Inactive: 679416 kB Active(anon): 12548 kB Inactive(anon): 90388 kB Active(file): 380092 kB Inactive(file): 589028 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66952652 kB Dirty: 2576 kB Writeback: 0 kB AnonPages: 125536 kB Mapped: 46044 kB Shmem: 40556 kB Slab: 187912 kB SReclaimable: 157716 kB SUnreclaim: 30196 kB KernelStack: 3712 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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= 61308 MiB End job on node127 at 2019-09-16 05:49:47