Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.12 | ? (TO) | 2400 | 2400.3 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K10-P04.xml |
MD5SUM | ddb81c87fc1d8e68708f77d31c52a231 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 470 |
Number of constraints | 212 |
Number of domains | 2 |
Minimum domain size | 210 |
Maximum domain size | 211 |
Distribution of domain sizes | [{"size":210,"count":210},{"size":211,"count":40}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":220},{"degree":2,"count":210},{"degree":11,"count":20},{"degree":12,"count":20}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 210 |
Distribution of constraint arities | [{"arity":3,"count":210},{"arity":40,"count":1},{"arity":210,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 210 |
Distribution of constraint types | [{"type":"intension","count":210},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.15/0.30 c root propagations : 0 0.15/0.30 c restarts enabled, print stats at every restarts 0.15/0.30 c 0.15/0.30 c 0.15/0.30 c 0.15/0.30 c This is cosoco 1.12 -- 0.15/0.30 c 0.15/0.30 c command line: cosoco -lc -model -restarts HOME/instance-4267265-1502601932.xml 0.15/0.30 c ========================================[ Problem Statistics ]=========================================== 0.15/0.30 c | 0.15/0.30 c | Parse time : 0.24 s 0.15/0.30 c | 0.15/0.30 c | Variables: 470 0.15/0.30 c | Domain Sizes: 210..211 0.15/0.30 c | 0.15/0.30 c | Constraints: 212 0.15/0.30 c | Arity: 3..210 -- Ternary: 210 0.15/0.30 c | 0.15/0.30 c | Types: 0.15/0.30 c | All Different: 2 0.15/0.30 c | Intension: 210 0.15/0.30 c | 0.15/0.30 c ========================================================================================================= 0.15/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.15/0.30 c remove useless variable ce[0][0][0] 0.15/0.30 c remove useless variable ce[0][1][0] 0.15/0.30 c remove useless variable ce[0][1][1] 0.15/0.30 c remove useless variable ce[0][2][0] 0.15/0.30 c remove useless variable ce[0][2][1] 0.15/0.30 c remove useless variable ce[0][2][2] 0.15/0.30 c remove useless variable ce[0][3][0] 0.15/0.30 c remove useless variable ce[0][3][1] 0.15/0.30 c remove useless variable ce[0][3][2] 0.15/0.30 c remove useless variable ce[0][3][3] 0.15/0.30 c remove useless variable ce[0][4][0] 0.15/0.30 c remove useless variable ce[0][4][1] 0.15/0.30 c remove useless variable ce[0][4][2] 0.15/0.30 c remove useless variable ce[0][4][3] 0.15/0.30 c remove useless variable ce[0][4][4] 0.15/0.30 c remove useless variable ce[0][5][0] 0.15/0.30 c remove useless variable ce[0][5][1] 0.15/0.30 c remove useless variable ce[0][5][2] 0.15/0.30 c remove useless variable ce[0][5][3] 0.15/0.30 c remove useless variable ce[0][5][4] 0.15/0.30 c remove useless variable ce[0][5][5] 0.15/0.30 c remove useless variable ce[0][6][0] 0.15/0.30 c remove useless variable ce[0][6][1] 0.15/0.30 c remove useless variable ce[0][6][2] 0.15/0.30 c remove useless variable ce[0][6][3] 0.15/0.30 c remove useless variable ce[0][6][4] 0.15/0.30 c remove useless variable ce[0][6][5] 0.15/0.30 c remove useless variable ce[0][6][6] 0.15/0.30 c remove useless variable ce[0][7][0] 0.15/0.30 c remove useless variable ce[0][7][1] 0.15/0.30 c remove useless variable ce[0][7][2] 0.15/0.30 c remove useless variable ce[0][7][3] 0.15/0.30 c remove useless variable ce[0][7][4] 0.15/0.30 c remove useless variable ce[0][7][5] 0.15/0.30 c remove useless variable ce[0][7][6] 0.15/0.30 c remove useless variable ce[0][7][7] 0.15/0.30 c remove useless variable ce[0][8][0] 0.15/0.30 c remove useless variable ce[0][8][1] 0.15/0.30 c remove useless variable ce[0][8][2] 0.15/0.30 c remove useless variable ce[0][8][3] 0.15/0.30 c remove useless variable ce[0][8][4] 0.15/0.30 c remove useless variable ce[0][8][5] 0.15/0.30 c remove useless variable ce[0][8][6] 0.15/0.30 c remove useless variable ce[0][8][7] 0.15/0.30 c remove useless variable ce[0][8][8] 0.15/0.30 c remove useless variable ce[0][9][0] 0.15/0.30 c remove useless variable ce[0][9][1] 0.15/0.30 c remove useless variable ce[0][9][2] 0.15/0.30 c remove useless variable ce[0][9][3] 0.15/0.30 c remove useless variable ce[0][9][4] 0.15/0.30 c remove useless variable ce[0][9][5] 0.15/0.30 c remove useless variable ce[0][9][6] 0.15/0.30 c remove useless variable ce[0][9][7] 0.15/0.30 c remove useless variable ce[0][9][8] 0.15/0.30 c remove useless variable ce[0][9][9] 0.15/0.30 c remove useless variable ce[1][0][0] 0.15/0.30 c remove useless variable ce[1][1][0] 0.15/0.30 c remove useless variable ce[1][1][1] 0.15/0.30 c remove useless variable ce[1][2][0] 0.15/0.30 c remove useless variable ce[1][2][1] 0.15/0.30 c remove useless variable ce[1][2][2] 0.15/0.30 c remove useless variable ce[1][3][0] 0.15/0.30 c remove useless variable ce[1][3][1] 0.15/0.30 c remove useless variable ce[1][3][2] 0.15/0.30 c remove useless variable ce[1][3][3] 0.15/0.30 c remove useless variable ce[1][4][0] 0.15/0.30 c remove useless variable ce[1][4][1] 0.15/0.30 c remove useless variable ce[1][4][2] 0.15/0.30 c remove useless variable ce[1][4][3] 0.15/0.30 c remove useless variable ce[1][4][4] 0.15/0.30 c remove useless variable ce[1][5][0] 0.15/0.30 c remove useless variable ce[1][5][1] 0.15/0.30 c remove useless variable ce[1][5][2] 0.15/0.30 c remove useless variable ce[1][5][3] 0.15/0.30 c remove useless variable ce[1][5][4] 0.15/0.30 c remove useless variable ce[1][5][5] 0.15/0.30 c remove useless variable ce[1][6][0] 0.15/0.30 c remove useless variable ce[1][6][1] 0.15/0.30 c remove useless variable ce[1][6][2] 0.15/0.30 c remove useless variable ce[1][6][3] 0.15/0.30 c remove useless variable ce[1][6][4] 0.15/0.30 c remove useless variable ce[1][6][5] 0.15/0.30 c remove useless variable ce[1][6][6] 0.15/0.30 c remove useless variable ce[1][7][0] 0.15/0.30 c remove useless variable ce[1][7][1] 0.15/0.30 c remove useless variable ce[1][7][2] 0.15/0.30 c remove useless variable ce[1][7][3] 0.15/0.30 c remove useless variable ce[1][7][4] 0.15/0.30 c remove useless variable ce[1][7][5] 0.15/0.30 c remove useless variable ce[1][7][6] 0.15/0.30 c remove useless variable ce[1][7][7] 0.15/0.30 c remove useless variable ce[1][8][0] 0.15/0.30 c remove useless variable ce[1][8][1] 0.15/0.30 c remove useless variable ce[1][8][2] 0.15/0.30 c remove useless variable ce[1][8][3] 0.15/0.30 c remove useless variable ce[1][8][4] 0.15/0.30 c remove useless variable ce[1][8][5] 0.15/0.30 c remove useless variable ce[1][8][6] 0.15/0.30 c remove useless variable ce[1][8][7] 0.15/0.30 c remove useless variable ce[1][8][8] 0.15/0.30 c remove useless variable ce[1][9][0] 0.15/0.30 c remove useless variable ce[1][9][1] 0.15/0.30 c remove useless variable ce[1][9][2] 0.15/0.30 c remove useless variable ce[1][9][3] 0.15/0.30 c remove useless variable ce[1][9][4] 0.15/0.30 c remove useless variable ce[1][9][5] 0.15/0.30 c remove useless variable ce[1][9][6] 0.15/0.30 c remove useless variable ce[1][9][7] 0.15/0.30 c remove useless variable ce[1][9][8] 0.15/0.30 c remove useless variable ce[1][9][9] 0.15/0.30 c remove useless variable ce[2][0][0] 0.15/0.30 c remove useless variable ce[2][1][0] 0.15/0.30 c remove useless variable ce[2][1][1] 0.15/0.30 c remove useless variable ce[2][2][0] 0.15/0.30 c remove useless variable ce[2][2][1] 0.15/0.30 c remove useless variable ce[2][2][2] 0.15/0.30 c remove useless variable ce[2][3][0] 0.15/0.30 c remove useless variable ce[2][3][1] 0.15/0.30 c remove useless variable ce[2][3][2] 0.15/0.30 c remove useless variable ce[2][3][3] 0.15/0.30 c remove useless variable ce[2][4][0] 0.15/0.30 c remove useless variable ce[2][4][1] 0.15/0.30 c remove useless variable ce[2][4][2] 0.15/0.30 c remove useless variable ce[2][4][3] 0.15/0.30 c remove useless variable ce[2][4][4] 0.15/0.30 c remove useless variable ce[2][5][0] 0.15/0.30 c remove useless variable ce[2][5][1] 0.15/0.30 c remove useless variable ce[2][5][2] 0.15/0.30 c remove useless variable ce[2][5][3] 0.15/0.30 c remove useless variable ce[2][5][4] 0.15/0.30 c remove useless variable ce[2][5][5] 0.15/0.30 c remove useless variable ce[2][6][0] 0.15/0.30 c remove useless variable ce[2][6][1] 0.15/0.30 c remove useless variable ce[2][6][2] 0.15/0.30 c remove useless variable ce[2][6][3] 0.15/0.30 c remove useless variable ce[2][6][4] 0.15/0.30 c remove useless variable ce[2][6][5] 0.15/0.30 c remove useless variable ce[2][6][6] 0.15/0.30 c remove useless variable ce[2][7][0] 0.15/0.30 c remove useless variable ce[2][7][1] 0.15/0.30 c remove useless variable ce[2][7][2] 0.15/0.30 c remove useless variable ce[2][7][3] 0.15/0.30 c remove useless variable ce[2][7][4] 0.15/0.30 c remove useless variable ce[2][7][5] 0.15/0.30 c remove useless variable ce[2][7][6] 0.15/0.30 c remove useless variable ce[2][7][7] 0.15/0.30 c remove useless variable ce[2][8][0] 0.15/0.30 c remove useless variable ce[2][8][1] 0.15/0.30 c remove useless variable ce[2][8][2] 0.15/0.30 c remove useless variable ce[2][8][3] 0.15/0.30 c remove useless variable ce[2][8][4] 0.15/0.30 c remove useless variable ce[2][8][5] 0.15/0.30 c remove useless variable ce[2][8][6] 0.15/0.30 c remove useless variable ce[2][8][7] 0.15/0.30 c remove useless variable ce[2][8][8] 0.15/0.30 c remove useless variable ce[2][9][0] 0.15/0.30 c remove useless variable ce[2][9][1] 0.15/0.30 c remove useless variable ce[2][9][2] 0.15/0.30 c remove useless variable ce[2][9][3] 0.15/0.30 c remove useless variable ce[2][9][4] 0.15/0.30 c remove useless variable ce[2][9][5] 0.15/0.30 c remove useless variable ce[2][9][6] 0.15/0.30 c remove useless variable ce[2][9][7] 0.15/0.30 c remove useless variable ce[2][9][8] 0.15/0.30 c remove useless variable ce[2][9][9] 0.15/0.30 c remove useless variable ce[3][0][0] 0.15/0.30 c remove useless variable ce[3][1][0] 0.15/0.30 c remove useless variable ce[3][1][1] 0.15/0.30 c remove useless variable ce[3][2][0] 0.15/0.30 c remove useless variable ce[3][2][1] 0.15/0.30 c remove useless variable ce[3][2][2] 0.15/0.30 c remove useless variable ce[3][3][0] 0.15/0.30 c remove useless variable ce[3][3][1] 0.15/0.30 c remove useless variable ce[3][3][2] 0.15/0.30 c remove useless variable ce[3][3][3] 0.15/0.30 c remove useless variable ce[3][4][0] 0.15/0.30 c remove useless variable ce[3][4][1] 0.15/0.30 c remove useless variable ce[3][4][2] 0.15/0.30 c remove useless variable ce[3][4][3] 0.15/0.30 c remove useless variable ce[3][4][4] 0.15/0.30 c remove useless variable ce[3][5][0] 0.15/0.30 c remove useless variable ce[3][5][1] 0.15/0.30 c remove useless variable ce[3][5][2] 0.15/0.30 c remove useless variable ce[3][5][3] 0.15/0.30 c remove useless variable ce[3][5][4] 0.15/0.30 c remove useless variable ce[3][5][5] 0.15/0.30 c remove useless variable ce[3][6][0] 0.15/0.30 c remove useless variable ce[3][6][1] 0.15/0.30 c remove useless variable ce[3][6][2] 0.15/0.30 c remove useless variable ce[3][6][3] 0.15/0.30 c remove useless variable ce[3][6][4] 0.15/0.30 c remove useless variable ce[3][6][5] 0.15/0.30 c remove useless variable ce[3][6][6] 0.15/0.30 c remove useless variable ce[3][7][0] 0.15/0.30 c remove useless variable ce[3][7][1] 0.15/0.30 c remove useless variable ce[3][7][2] 0.15/0.30 c remove useless variable ce[3][7][3] 0.15/0.30 c remove useless variable ce[3][7][4] 0.15/0.30 c remove useless variable ce[3][7][5] 0.15/0.30 c remove useless variable ce[3][7][6] 0.15/0.30 c remove useless variable ce[3][7][7] 0.15/0.30 c remove useless variable ce[3][8][0] 0.15/0.30 c remove useless variable ce[3][8][1] 0.15/0.30 c remove useless variable ce[3][8][2] 0.15/0.30 c remove useless variable ce[3][8][3] 0.15/0.30 c remove useless variable ce[3][8][4] 0.15/0.30 c remove useless variable ce[3][8][5] 0.15/0.30 c remove useless variable ce[3][8][6] 0.15/0.30 c remove useless variable ce[3][8][7] 0.15/0.30 c remove useless variable ce[3][8][8] 0.15/0.30 c remove useless variable ce[3][9][0] 0.15/0.30 c remove useless variable ce[3][9][1] 0.15/0.30 c remove useless variable ce[3][9][2] 0.15/0.30 c remove useless variable ce[3][9][3] 0.15/0.30 c remove useless variable ce[3][9][4] 0.15/0.30 c remove useless variable ce[3][9][5] 0.15/0.30 c remove useless variable ce[3][9][6] 0.15/0.30 c remove useless variable ce[3][9][7] 0.15/0.30 c remove useless variable ce[3][9][8] 0.15/0.30 c remove useless variable ce[3][9][9] 0.25/0.34 c 101 311 23800 24949 0 0 211 211 208 0.25/0.40 c 211 562 45781 263185 0 0 4 141 138 0.35/0.45 c 332 767 60540 456621 0 0 8 84 77 0.35/0.49 c 465 1046 74437 592099 0 0 5 147 55 0.35/0.51 c 611 1246 79295 709020 0 0 3 55 34 0.45/0.53 c 771 1460 84005 841681 0 0 5 55 35 0.45/0.54 c 947 1678 89479 930232 0 0 3 43 27 0.45/0.56 c 1140 1922 94972 1072711 0 0 4 52 33 0.45/0.58 c 1352 2188 100834 1219893 0 0 3 55 33 0.45/0.60 c 1585 2480 106915 1383875 0 0 3 60 36 0.54/0.63 c 1841 2805 113522 1572197 0 0 4 70 37 0.54/0.67 c 2122 3236 128374 1775045 0 0 3 149 63 0.63/0.71 c 2431 3627 135716 2017452 0 0 3 83 42 0.63/0.76 c 2770 4110 149645 2317779 0 0 3 145 49 0.73/0.80 c 3142 4558 157384 2608843 0 0 3 77 48 0.73/0.85 c 3551 5016 170549 2883146 0 0 3 49 39 0.83/0.92 c 4000 5573 179344 3307055 0 0 4 100 63 0.93/1.05 c 4493 6132 195615 3900558 0 0 3 65 49 1.03/1.13 c 5035 6740 210013 4337553 0 0 3 64 52 1.13/1.21 c 5631 7413 222410 4730079 0 0 4 73 53 1.23/1.38 c 6286 8123 244299 5373157 0 0 4 52 44 1.33/1.49 c 7006 8997 260827 6089482 0 0 5 137 73 1.53/1.61 c 7798 9912 271463 6748714 0 0 5 92 82 1.63/1.78 c 8669 10835 296103 7631022 0 0 4 49 46 1.82/1.90 c 9627 11969 312534 8252387 0 0 7 158 97 1.93/2.05 c 10680 13177 328726 9023381 0 0 10 140 108 2.22/2.38 c 11838 14352 374521 10072683 0 0 9 12 11 2.52/2.67 c 13111 15685 411705 11616259 0 0 3 51 50 2.72/2.88 c 14511 17348 430892 12635948 0 0 5 118 107 2.93/3.04 c 16051 18902 482047 13330605 0 0 8 8 7 3.12/3.29 c 17745 20769 511812 14716964 0 0 4 108 85 4.03/4.11 c 19608 22704 570879 18887919 0 0 14 29 28 4.72/4.80 c 21657 24997 640006 23150564 0 0 211 211 210 5.32/5.48 c 23910 27280 710129 26429422 0 0 18 19 18 6.32/6.48 c 26388 29790 793393 30918468 0 0 4 20 19 6.93/7.06 c 29113 32542 882354 34320141 0 0 10 15 14 7.52/7.61 c 32110 35817 951239 36727601 0 0 5 68 61 8.32/8.44 c 35406 39199 1028349 42102437 0 0 7 61 56 8.52/8.63 c 39031 42849 1138743 43372808 0 0 9 9 8 9.52/9.63 c 43018 46872 1266076 49061267 0 0 3 16 15 10.22/10.38 c 47403 51595 1380606 53029249 0 0 3 69 67 11.22/11.37 c 52226 56499 1510437 58513225 0 0 4 50 49 12.62/12.76 c 57531 61849 1678226 65459406 0 0 9 19 18 13.72/13.87 c 63366 67793 1861545 70803729 0 0 4 71 56 16.62/16.78 c 69784 74480 2110164 84666367 0 0 15 43 38 18.82/18.92 c 76843 81871 2294950 99505199 0 0 211 211 210 20.62/20.73 c 84607 90359 2449460 109803390 0 0 14 72 71 23.52/23.63 c 93147 99257 2684164 129301804 0 0 211 211 210 33.12/33.22 c 102541 108778 3096389 164558015 0 0 15 51 50 35.22/35.30 c 112874 119177 3459469 172094385 0 0 15 15 14 37.62/37.78 c 124240 130615 3779041 185271861 0 0 4 15 14 42.22/42.38 c 136742 144808 4083737 200483980 0 0 7 57 55 48.12/48.24 c 150494 158778 4655371 226396764 0 0 8 17 16 49.82/49.92 c 165621 174545 4800196 234403589 0 0 11 124 107 52.22/52.39 c 182260 191611 4966272 248302097 0 0 3 82 81 55.22/55.39 c 200562 211244 5168920 263878896 0 0 5 119 109 59.41/59.52 c 220694 234472 5447941 289149488 0 0 4 110 87 66.02/66.13 c 242839 257237 5981733 335858417 0 0 211 211 210 72.71/72.86 c 267198 282261 7020980 364387903 0 0 4 51 46 76.31/76.44 c 293992 310518 7316281 380804886 0 0 4 141 130 85.61/85.73 c 323465 340739 8044321 443069257 0 0 211 211 210 98.02/98.16 c 355885 373524 9243310 485904114 0 0 7 40 39 105.81/106.00 c 391547 409460 10245708 533155559 0 0 11 43 42 116.31/116.40 c 430775 449453 11714253 567433329 0 0 7 20 18 123.60/123.72 c 473925 493496 12516624 605648043 0 0 11 130 125 131.80/131.95 c 521390 547319 13272645 655258705 0 0 18 95 79 142.50/142.64 c 573601 599792 15130268 692166950 0 0 7 8 7 152.50/152.67 c 631033 658241 16280313 756778517 0 0 4 56 53 163.50/163.63 c 694208 724812 17285053 816678839 0 0 15 130 114 171.80/171.95 c 763700 797607 17855349 855615503 0 0 3 153 139 200.49/200.68 c 840141 874845 19587489 1020204027 0 0 21 72 71 204.69/204.85 c 924226 959343 22263393 1049393037 0 0 9 10 9 242.58/242.79 c 1016719 1129116 25619676 1197406165 0 0 4 68 47 262.18/262.39 c 1118461 1232186 27869746 1285332895 0 0 4 81 71 329.07/329.21 c 1230377 1348354 31741353 1574682485 0 0 5 39 34 353.07/353.26 c 1353484 1472135 36085684 1668307376 0 0 4 35 6 371.36/371.53 c 1488901 1612651 39534747 1762335745 0 0 5 68 67 415.16/415.30 c 1637859 1762479 43982330 1988096762 0 0 5 41 38 430.86/431.01 c 1801712 1927337 48729878 2075237623 0 0 6 81 36 469.35/469.55 c 1981950 2116020 51290204 2310188017 0 0 4 83 77 484.64/484.80 c 2180211 2315265 57498918 2390354536 0 0 6 14 9 611.93/612.18 c 2398298 2542835 64524417 3042284844 0 0 4 70 47 698.21/698.43 c 2638193 2784138 71550314 3414614025 0 0 43 53 52 818.20/818.45 c 2902077 3049940 81207836 3921414233 0 0 8 30 25 844.81/845.03 c 3192349 3343211 87702235 4095355359 0 0 7 106 34 891.09/891.39 c 3511648 3670300 93284536 4378902162 0 0 7 102 69 949.08/949.34 c 3862876 4027854 98494323 4709822960 0 0 7 87 65 1008.57/1008.82 c 4249226 4419185 108101642 5043259910 0 0 6 137 67 1070.37/1070.60 c 4674211 4858644 112646844 5416236951 0 0 10 117 102 1163.25/1163.54 c 5141694 5337874 126467748 5959372980 0 0 7 47 25 1314.13/1314.44 c 5655925 5855662 137770729 6774312203 0 0 7 35 34 1426.82/1427.17 c 6221579 6470977 152067418 7395415560 0 0 10 88 47 1571.39/1571.76 c 6843798 7096673 172211575 8037648666 0 0 9 36 18 1697.68/1698.07 c 7528238 7796765 187242342 8801379134 0 0 8 88 50 1753.78/1754.18 c 8281122 8553684 209368384 9156127596 0 0 9 23 14 1931.98/1932.38 c 9109294 9390847 231657108 10078346914 0 0 8 137 52 2086.79/2087.17 c 10020283 10312943 254325821 10945902039 0 0 8 114 49 2315.99/2316.33 c 11022370 11329041 275843480 12188273351 0 0 13 87 57 2372.80/2373.14 c 12124665 12436993 309026960 12572058498 0 0 8 19 14 2400.00/2400.30 2400.00/2400.30 c *** INTERRUPTED *** 2400.00/2400.30 c restarts : 99 2400.00/2400.30 c conflicts : 12392061 (5163 /sec) 2400.00/2400.30 c decisions : 12705866 (5294 /sec) 2400.00/2400.30 c propagations : 12738403477 (5307689 /sec) 2400.00/2400.30 c root propagations : 0 2400.00/2400.30 c filter calls : 316478268 (131866 /sec) 2400.00/2400.30 c useless filter calls : 218754062 (69 %) 2400.00/2400.30 c Memory used : 32.89 MB 2400.00/2400.30 c CPU time : 2399.99 s 2400.00/2400.30 2400.00/2400.30 s UNKNOWN
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 (15439 MiB free) memory of node 1: 16384 MiB (15631 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267265-1502601932/watcher-4267265-1502601932 -o /tmp/evaluation-result-4267265-1502601932/solver-4267265-1502601932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267265-1502601932.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10439, runsolver pid=10436 [startup+0.100106 s]* /proc/loadavg: 2.81 2.22 2.11 3/190 10440 /proc/meminfo: memFree=31815128/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=28340 memory=4960 CPUtime=0.04 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 1406 0 0 0 4 0 0 0 20 0 1 0 107699587 29020160 1240 18446744073709551615 4194304 5748600 140721758494896 140721758491544 139652307893221 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 7085 1240 774 380 0 503 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 28340 KiB Current children cumulated memory: 4960 KiB [startup+0.209674 s]* /proc/loadavg: 2.81 2.22 2.11 3/190 10440 /proc/meminfo: memFree=31813684/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=29828 memory=6448 CPUtime=0.15 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 1778 0 0 0 15 0 0 0 20 0 1 0 107699587 30543872 1612 18446744073709551615 4194304 5748600 140721758494896 140721758491544 139652307893221 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 7457 1612 774 380 0 875 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 29828 KiB Current children cumulated memory: 6448 KiB [startup+0.309251 s]* /proc/loadavg: 2.81 2.22 2.11 3/190 10440 /proc/meminfo: memFree=31811824/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=31108 memory=7836 CPUtime=0.25 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 2136 0 0 0 25 0 0 0 20 0 1 0 107699587 31854592 1959 18446744073709551615 4194304 5748600 140721758494896 140721758488760 4918528 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 7777 1959 812 380 0 1195 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 31108 KiB Current children cumulated memory: 7836 KiB [startup+0.700234 s] /proc/loadavg: 2.81 2.22 2.11 3/190 10440 /proc/meminfo: memFree=31810708/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=31692 memory=8364 CPUtime=0.63 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 2290 0 0 0 63 0 0 0 20 0 1 0 107699587 32452608 2091 18446744073709551615 4194304 5748600 140721758494896 140721758488760 4910989 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 7923 2091 816 380 0 1341 0 Current children cumulated CPU time: 0.63 s Current children cumulated vsize: 31692 KiB Current children cumulated memory: 8364 KiB [startup+1.50023 s] /proc/loadavg: 2.81 2.22 2.11 3/190 10440 /proc/meminfo: memFree=31806632/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=32220 memory=8896 CPUtime=1.43 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 2415 0 0 0 143 0 0 0 20 0 1 0 107699587 32993280 2224 18446744073709551615 4194304 5748600 140721758494896 140721758492296 5000352 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8055 2224 816 380 0 1473 0 Current children cumulated CPU time: 1.43 s Current children cumulated vsize: 32220 KiB Current children cumulated memory: 8896 KiB [startup+3.1094 s] /proc/loadavg: 2.81 2.22 2.11 5/203 10469 /proc/meminfo: memFree=31728480/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=32748 memory=9440 CPUtime=3.03 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 2913 0 0 0 303 0 0 0 20 0 1 0 107699587 33533952 2360 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4972000 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8187 2360 816 380 0 1605 0 Current children cumulated CPU time: 3.03 s Current children cumulated vsize: 32748 KiB Current children cumulated memory: 9440 KiB [startup+6.30022 s] /proc/loadavg: 2.75 2.21 2.11 3/188 10501 /proc/meminfo: memFree=31814268/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=32880 memory=9688 CPUtime=6.22 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 3333 0 0 0 622 0 0 0 20 0 1 0 107699587 33669120 2422 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4972000 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8220 2422 816 380 0 1638 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 32880 KiB Current children cumulated memory: 9688 KiB [startup+12.7002 s] /proc/loadavg: 2.69 2.21 2.11 3/187 10501 /proc/meminfo: memFree=31814372/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33012 memory=9800 CPUtime=12.62 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 3886 0 0 0 1262 0 0 0 20 0 1 0 107699587 33804288 2450 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4973057 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8253 2450 816 380 0 1671 0 Current children cumulated CPU time: 12.62 s Current children cumulated vsize: 33012 KiB Current children cumulated memory: 9800 KiB [startup+25.5002 s] /proc/loadavg: 2.53 2.20 2.11 3/187 10501 /proc/meminfo: memFree=31815616/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33144 memory=9988 CPUtime=25.42 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 4908 0 0 0 2542 0 0 0 20 0 1 0 107699587 33939456 2497 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4909672 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8286 2497 816 380 0 1704 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 33144 KiB Current children cumulated memory: 9988 KiB [startup+51.109 s] /proc/loadavg: 2.35 2.18 2.11 3/187 10501 /proc/meminfo: memFree=31815824/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33276 memory=10024 CPUtime=51.02 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 5470 0 0 0 5102 0 0 0 20 0 1 0 107699587 34074624 2506 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4919363 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8319 2506 816 380 0 1737 0 Current children cumulated CPU time: 51.02 s Current children cumulated vsize: 33276 KiB Current children cumulated memory: 10024 KiB [startup+102.3 s] /proc/loadavg: 2.15 2.16 2.10 3/186 10503 /proc/meminfo: memFree=31815584/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33408 memory=10200 CPUtime=102.21 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 6105 0 0 0 10221 0 0 0 20 0 1 0 107699587 34209792 2550 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4906406 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8352 2550 816 380 0 1770 0 Current children cumulated CPU time: 102.21 s Current children cumulated vsize: 33408 KiB Current children cumulated memory: 10200 KiB [startup+162.3 s] /proc/loadavg: 2.06 2.13 2.10 3/186 10505 /proc/meminfo: memFree=31815328/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33540 memory=10300 CPUtime=162.2 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 6728 0 0 0 16220 0 0 0 20 0 1 0 107699587 34344960 2575 18446744073709551615 4194304 5748600 140721758494896 140721758492040 4906760 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8385 2575 816 380 0 1803 0 Current children cumulated CPU time: 162.2 s Current children cumulated vsize: 33540 KiB Current children cumulated memory: 10300 KiB [startup+222.3 s] /proc/loadavg: 2.06 2.12 2.10 3/184 10507 /proc/meminfo: memFree=31815840/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33540 memory=10384 CPUtime=222.19 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 7303 0 0 0 22219 0 0 0 20 0 1 0 107699587 34344960 2596 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4903288 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8385 2596 816 380 0 1803 0 Current children cumulated CPU time: 222.19 s Current children cumulated vsize: 33540 KiB Current children cumulated memory: 10384 KiB [startup+282.3 s] /proc/loadavg: 2.02 2.10 2.09 3/184 10509 /proc/meminfo: memFree=31815840/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33540 memory=10392 CPUtime=282.18 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 7860 0 0 0 28218 0 0 0 20 0 1 0 107699587 34344960 2598 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4909724 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8385 2598 816 380 0 1803 0 Current children cumulated CPU time: 282.18 s Current children cumulated vsize: 33540 KiB Current children cumulated memory: 10392 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.08 2.08 3/185 10512 /proc/meminfo: memFree=31815452/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33540 memory=10416 CPUtime=342.17 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 8386 0 0 0 34217 0 0 0 20 0 1 0 107699587 34344960 2604 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4915322 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8385 2604 816 380 0 1803 0 Current children cumulated CPU time: 342.17 s Current children cumulated vsize: 33540 KiB Current children cumulated memory: 10416 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.07 2.08 3/185 10514 /proc/meminfo: memFree=31815576/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33540 memory=10420 CPUtime=402.16 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 8901 0 0 0 40216 0 0 0 20 0 1 0 107699587 34344960 2605 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4918288 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8385 2605 816 380 0 1803 0 Current children cumulated CPU time: 402.16 s Current children cumulated vsize: 33540 KiB Current children cumulated memory: 10420 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.05 2.07 3/186 10517 /proc/meminfo: memFree=31815560/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33540 memory=10420 CPUtime=462.15 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 9467 0 0 0 46215 0 0 0 20 0 1 0 107699587 34344960 2605 18446744073709551615 4194304 5748600 140721758494896 140721758492296 5127547 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8385 2605 816 380 0 1803 0 Current children cumulated CPU time: 462.15 s Current children cumulated vsize: 33540 KiB Current children cumulated memory: 10420 KiB ################ # More data... # ################ /proc/10439/statm: 8418 2623 816 380 0 1836 0 Current children cumulated CPU time: 1661.98 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10492 KiB [startup+1722.3 s] /proc/loadavg: 2.07 2.03 2.05 3/189 10610 /proc/meminfo: memFree=31809572/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10492 CPUtime=1721.97 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 20626 0 0 0 172196 1 0 0 20 0 1 0 107699587 34480128 2623 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4906472 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2623 816 380 0 1836 0 Current children cumulated CPU time: 1721.97 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10492 KiB [startup+1782.3 s] /proc/loadavg: 2.09 2.04 2.05 3/188 10612 /proc/meminfo: memFree=31808184/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=1781.97 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21160 0 0 0 178196 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4915513 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 1781.97 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/185 10614 /proc/meminfo: memFree=31811952/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=1841.97 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21318 0 0 0 184196 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4909771 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 1841.97 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/185 10616 /proc/meminfo: memFree=31812200/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=1901.98 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21481 0 0 0 190197 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4954365 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 1901.98 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+1962.3 s] /proc/loadavg: 2.08 2.04 2.05 3/184 10618 /proc/meminfo: memFree=31813120/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=1961.98 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21651 0 0 0 196197 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4973102 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 1961.98 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2022.3 s] /proc/loadavg: 2.08 2.05 2.05 3/185 10621 /proc/meminfo: memFree=31813164/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2021.98 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21652 0 0 0 202197 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4954395 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2021.98 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2082.3 s] /proc/loadavg: 2.03 2.04 2.05 3/186 10624 /proc/meminfo: memFree=31812984/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2081.98 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21814 0 0 0 208197 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4954365 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2081.98 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.03 2.05 3/186 10626 /proc/meminfo: memFree=31812992/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2141.99 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21823 0 0 0 214198 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4972354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2141.99 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 3/186 10628 /proc/meminfo: memFree=31812868/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2201.99 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 21986 0 0 0 220198 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4873982 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2201.99 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 10630 /proc/meminfo: memFree=31812744/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2261.99 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 22147 0 0 0 226198 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 5127609 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2261.99 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 10646 /proc/meminfo: memFree=31808840/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2321.99 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 22156 0 0 0 232198 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 5000352 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2321.99 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10648 /proc/meminfo: memFree=31808484/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2381.99 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 22326 0 0 0 238198 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4906235 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2381.99 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10648 /proc/meminfo: memFree=31808484/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2400 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 22326 0 0 0 239999 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4972373 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.3 s] # the end of solver process 10439 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.99 s, system=0.013998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10648 /proc/meminfo: memFree=31808484/32770624 swapFree=67108764/67108860 [pid=10439] ppid=10436 vsize=33672 memory=10580 CPUtime=2400 cores=0,2,4,6 /proc/10439/stat : 10439 (cosoco) R 10436 10439 4674 0 -1 4202496 22326 0 0 0 239999 1 0 0 20 0 1 0 107699587 34480128 2645 18446744073709551615 4194304 5748600 140721758494896 140721758492296 4972373 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7849824 7854664 11608064 140721758503369 140721758503464 140721758503464 140721758506958 0 /proc/10439/statm: 8418 2645 816 380 0 1836 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 33672 KiB Current children cumulated memory: 10580 KiB Child status: 1 Real time (s): 2400.3 CPU time (s): 2400 CPU user time (s): 2399.99 CPU system time (s): 0.013998 CPU usage (%): 99.9877 Max. virtual memory (cumulated for all children) (KiB): 33672 Max. memory (cumulated for all children) (KiB): 10580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.99 system time used= 0.013998 maximum resident set size= 10644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22362 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= 9 involuntary context switches= 3271 # summary of solver processes directly reported to runsolver: # pid: 10439 # total CPU time (s): 2400 # total CPU user time (s): 2399.99 # total CPU system time (s): 0.013998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.36667 second user time and 15.2571 second system time The end
Begin job on node134 at 2017-08-13 07:11:37 IDJOB=4267265 IDBENCH=120738 IDSOLVER=2657 FILE ID=node134/4267265-1502601932 RUNJOBID= node134-1502596287-9624 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P04.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267265-1502601932/watcher-4267265-1502601932 -o /tmp/evaluation-result-4267265-1502601932/solver-4267265-1502601932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267265-1502601932.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ddb81c87fc1d8e68708f77d31c52a231 RANDOM SEED=1643766303 node134.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.43 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.43 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.43 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.43 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: 31816464 kB MemAvailable: 31952396 kB Buffers: 214188 kB Cached: 215096 kB SwapCached: 4 kB Active: 362328 kB Inactive: 138680 kB Active(anon): 18612 kB Inactive(anon): 94540 kB Active(file): 343716 kB Inactive(file): 44140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2224 kB Writeback: 8 kB AnonPages: 71128 kB Mapped: 57784 kB Shmem: 41564 kB Slab: 154440 kB SReclaimable: 127824 kB SUnreclaim: 26616 kB KernelStack: 3328 kB PageTables: 5756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 355732 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 07:51:38