Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | ? (TO) | 2400.07 | 2400.21 |
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.19/0.22 c root propagations : 0 0.19/0.22 c restarts enabled, print stats at every restarts 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c This is cosoco 1.0 -- 0.19/0.22 c 0.19/0.22 c ========================================[ Problem Statistics ]=========================================== 0.19/0.22 c | 0.19/0.22 c | Parse time : 0.22 s 0.19/0.22 c | 0.19/0.22 c | Variables: 470 0.19/0.22 c | Domain Sizes: 210..211 0.19/0.22 c | 0.19/0.22 c | Constraints: 212 0.19/0.22 c | Arity: 3..210 -- Ternary: 210 0.19/0.22 c | 0.19/0.22 c | Types: 0.19/0.22 c | All Different: 2 0.19/0.22 c | Intension: 210 0.19/0.22 c | 0.19/0.22 c ========================================================================================================= 0.19/0.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.19/0.22 c remove useless variable ce[0][0][0] 0.19/0.22 c remove useless variable ce[0][1][0] 0.19/0.22 c remove useless variable ce[0][1][1] 0.19/0.22 c remove useless variable ce[0][2][0] 0.19/0.22 c remove useless variable ce[0][2][1] 0.19/0.22 c remove useless variable ce[0][2][2] 0.19/0.22 c remove useless variable ce[0][3][0] 0.19/0.22 c remove useless variable ce[0][3][1] 0.19/0.22 c remove useless variable ce[0][3][2] 0.19/0.22 c remove useless variable ce[0][3][3] 0.19/0.22 c remove useless variable ce[0][4][0] 0.19/0.22 c remove useless variable ce[0][4][1] 0.19/0.22 c remove useless variable ce[0][4][2] 0.19/0.22 c remove useless variable ce[0][4][3] 0.19/0.22 c remove useless variable ce[0][4][4] 0.19/0.22 c remove useless variable ce[0][5][0] 0.19/0.22 c remove useless variable ce[0][5][1] 0.19/0.22 c remove useless variable ce[0][5][2] 0.19/0.22 c remove useless variable ce[0][5][3] 0.19/0.22 c remove useless variable ce[0][5][4] 0.19/0.22 c remove useless variable ce[0][5][5] 0.19/0.22 c remove useless variable ce[0][6][0] 0.19/0.22 c remove useless variable ce[0][6][1] 0.19/0.22 c remove useless variable ce[0][6][2] 0.19/0.22 c remove useless variable ce[0][6][3] 0.19/0.22 c remove useless variable ce[0][6][4] 0.19/0.22 c remove useless variable ce[0][6][5] 0.19/0.22 c remove useless variable ce[0][6][6] 0.19/0.22 c remove useless variable ce[0][7][0] 0.19/0.22 c remove useless variable ce[0][7][1] 0.19/0.22 c remove useless variable ce[0][7][2] 0.19/0.22 c remove useless variable ce[0][7][3] 0.19/0.22 c remove useless variable ce[0][7][4] 0.19/0.22 c remove useless variable ce[0][7][5] 0.19/0.22 c remove useless variable ce[0][7][6] 0.19/0.22 c remove useless variable ce[0][7][7] 0.19/0.22 c remove useless variable ce[0][8][0] 0.19/0.22 c remove useless variable ce[0][8][1] 0.19/0.22 c remove useless variable ce[0][8][2] 0.19/0.22 c remove useless variable ce[0][8][3] 0.19/0.22 c remove useless variable ce[0][8][4] 0.19/0.22 c remove useless variable ce[0][8][5] 0.19/0.22 c remove useless variable ce[0][8][6] 0.19/0.22 c remove useless variable ce[0][8][7] 0.19/0.22 c remove useless variable ce[0][8][8] 0.19/0.22 c remove useless variable ce[0][9][0] 0.19/0.22 c remove useless variable ce[0][9][1] 0.19/0.22 c remove useless variable ce[0][9][2] 0.19/0.22 c remove useless variable ce[0][9][3] 0.19/0.22 c remove useless variable ce[0][9][4] 0.19/0.22 c remove useless variable ce[0][9][5] 0.19/0.22 c remove useless variable ce[0][9][6] 0.19/0.22 c remove useless variable ce[0][9][7] 0.19/0.22 c remove useless variable ce[0][9][8] 0.19/0.22 c remove useless variable ce[0][9][9] 0.19/0.22 c remove useless variable ce[1][0][0] 0.19/0.22 c remove useless variable ce[1][1][0] 0.19/0.22 c remove useless variable ce[1][1][1] 0.19/0.22 c remove useless variable ce[1][2][0] 0.19/0.22 c remove useless variable ce[1][2][1] 0.19/0.22 c remove useless variable ce[1][2][2] 0.19/0.22 c remove useless variable ce[1][3][0] 0.19/0.22 c remove useless variable ce[1][3][1] 0.19/0.22 c remove useless variable ce[1][3][2] 0.19/0.22 c remove useless variable ce[1][3][3] 0.19/0.22 c remove useless variable ce[1][4][0] 0.19/0.22 c remove useless variable ce[1][4][1] 0.19/0.22 c remove useless variable ce[1][4][2] 0.19/0.22 c remove useless variable ce[1][4][3] 0.19/0.22 c remove useless variable ce[1][4][4] 0.19/0.22 c remove useless variable ce[1][5][0] 0.19/0.22 c remove useless variable ce[1][5][1] 0.19/0.22 c remove useless variable ce[1][5][2] 0.19/0.22 c remove useless variable ce[1][5][3] 0.19/0.22 c remove useless variable ce[1][5][4] 0.19/0.22 c remove useless variable ce[1][5][5] 0.19/0.22 c remove useless variable ce[1][6][0] 0.19/0.22 c remove useless variable ce[1][6][1] 0.19/0.22 c remove useless variable ce[1][6][2] 0.19/0.22 c remove useless variable ce[1][6][3] 0.19/0.22 c remove useless variable ce[1][6][4] 0.19/0.22 c remove useless variable ce[1][6][5] 0.19/0.22 c remove useless variable ce[1][6][6] 0.19/0.22 c remove useless variable ce[1][7][0] 0.19/0.22 c remove useless variable ce[1][7][1] 0.19/0.22 c remove useless variable ce[1][7][2] 0.19/0.22 c remove useless variable ce[1][7][3] 0.19/0.22 c remove useless variable ce[1][7][4] 0.19/0.22 c remove useless variable ce[1][7][5] 0.19/0.22 c remove useless variable ce[1][7][6] 0.19/0.22 c remove useless variable ce[1][7][7] 0.19/0.22 c remove useless variable ce[1][8][0] 0.19/0.22 c remove useless variable ce[1][8][1] 0.19/0.22 c remove useless variable ce[1][8][2] 0.19/0.22 c remove useless variable ce[1][8][3] 0.19/0.22 c remove useless variable ce[1][8][4] 0.19/0.22 c remove useless variable ce[1][8][5] 0.19/0.22 c remove useless variable ce[1][8][6] 0.19/0.22 c remove useless variable ce[1][8][7] 0.19/0.22 c remove useless variable ce[1][8][8] 0.19/0.22 c remove useless variable ce[1][9][0] 0.19/0.22 c remove useless variable ce[1][9][1] 0.19/0.22 c remove useless variable ce[1][9][2] 0.19/0.22 c remove useless variable ce[1][9][3] 0.19/0.22 c remove useless variable ce[1][9][4] 0.19/0.22 c remove useless variable ce[1][9][5] 0.19/0.22 c remove useless variable ce[1][9][6] 0.19/0.22 c remove useless variable ce[1][9][7] 0.19/0.22 c remove useless variable ce[1][9][8] 0.19/0.22 c remove useless variable ce[1][9][9] 0.19/0.22 c remove useless variable ce[2][0][0] 0.19/0.22 c remove useless variable ce[2][1][0] 0.19/0.22 c remove useless variable ce[2][1][1] 0.19/0.22 c remove useless variable ce[2][2][0] 0.19/0.22 c remove useless variable ce[2][2][1] 0.19/0.22 c remove useless variable ce[2][2][2] 0.19/0.22 c remove useless variable ce[2][3][0] 0.19/0.22 c remove useless variable ce[2][3][1] 0.19/0.22 c remove useless variable ce[2][3][2] 0.19/0.22 c remove useless variable ce[2][3][3] 0.19/0.22 c remove useless variable ce[2][4][0] 0.19/0.22 c remove useless variable ce[2][4][1] 0.19/0.22 c remove useless variable ce[2][4][2] 0.19/0.22 c remove useless variable ce[2][4][3] 0.19/0.22 c remove useless variable ce[2][4][4] 0.19/0.22 c remove useless variable ce[2][5][0] 0.19/0.22 c remove useless variable ce[2][5][1] 0.19/0.22 c remove useless variable ce[2][5][2] 0.19/0.22 c remove useless variable ce[2][5][3] 0.19/0.22 c remove useless variable ce[2][5][4] 0.19/0.22 c remove useless variable ce[2][5][5] 0.19/0.22 c remove useless variable ce[2][6][0] 0.19/0.22 c remove useless variable ce[2][6][1] 0.19/0.22 c remove useless variable ce[2][6][2] 0.19/0.22 c remove useless variable ce[2][6][3] 0.19/0.22 c remove useless variable ce[2][6][4] 0.19/0.22 c remove useless variable ce[2][6][5] 0.19/0.22 c remove useless variable ce[2][6][6] 0.19/0.22 c remove useless variable ce[2][7][0] 0.19/0.22 c remove useless variable ce[2][7][1] 0.19/0.22 c remove useless variable ce[2][7][2] 0.19/0.22 c remove useless variable ce[2][7][3] 0.19/0.22 c remove useless variable ce[2][7][4] 0.19/0.22 c remove useless variable ce[2][7][5] 0.19/0.22 c remove useless variable ce[2][7][6] 0.19/0.22 c remove useless variable ce[2][7][7] 0.19/0.22 c remove useless variable ce[2][8][0] 0.19/0.22 c remove useless variable ce[2][8][1] 0.19/0.22 c remove useless variable ce[2][8][2] 0.19/0.22 c remove useless variable ce[2][8][3] 0.19/0.22 c remove useless variable ce[2][8][4] 0.19/0.22 c remove useless variable ce[2][8][5] 0.19/0.22 c remove useless variable ce[2][8][6] 0.19/0.22 c remove useless variable ce[2][8][7] 0.19/0.22 c remove useless variable ce[2][8][8] 0.19/0.22 c remove useless variable ce[2][9][0] 0.19/0.22 c remove useless variable ce[2][9][1] 0.19/0.22 c remove useless variable ce[2][9][2] 0.19/0.22 c remove useless variable ce[2][9][3] 0.19/0.22 c remove useless variable ce[2][9][4] 0.19/0.22 c remove useless variable ce[2][9][5] 0.19/0.22 c remove useless variable ce[2][9][6] 0.19/0.22 c remove useless variable ce[2][9][7] 0.19/0.22 c remove useless variable ce[2][9][8] 0.19/0.22 c remove useless variable ce[2][9][9] 0.19/0.22 c remove useless variable ce[3][0][0] 0.19/0.22 c remove useless variable ce[3][1][0] 0.19/0.22 c remove useless variable ce[3][1][1] 0.19/0.22 c remove useless variable ce[3][2][0] 0.19/0.22 c remove useless variable ce[3][2][1] 0.19/0.22 c remove useless variable ce[3][2][2] 0.19/0.22 c remove useless variable ce[3][3][0] 0.19/0.22 c remove useless variable ce[3][3][1] 0.19/0.22 c remove useless variable ce[3][3][2] 0.19/0.22 c remove useless variable ce[3][3][3] 0.19/0.22 c remove useless variable ce[3][4][0] 0.19/0.22 c remove useless variable ce[3][4][1] 0.19/0.22 c remove useless variable ce[3][4][2] 0.19/0.22 c remove useless variable ce[3][4][3] 0.19/0.22 c remove useless variable ce[3][4][4] 0.19/0.22 c remove useless variable ce[3][5][0] 0.19/0.22 c remove useless variable ce[3][5][1] 0.19/0.22 c remove useless variable ce[3][5][2] 0.19/0.22 c remove useless variable ce[3][5][3] 0.19/0.22 c remove useless variable ce[3][5][4] 0.19/0.22 c remove useless variable ce[3][5][5] 0.19/0.22 c remove useless variable ce[3][6][0] 0.19/0.22 c remove useless variable ce[3][6][1] 0.19/0.22 c remove useless variable ce[3][6][2] 0.19/0.22 c remove useless variable ce[3][6][3] 0.19/0.22 c remove useless variable ce[3][6][4] 0.19/0.22 c remove useless variable ce[3][6][5] 0.19/0.22 c remove useless variable ce[3][6][6] 0.19/0.22 c remove useless variable ce[3][7][0] 0.19/0.22 c remove useless variable ce[3][7][1] 0.19/0.22 c remove useless variable ce[3][7][2] 0.19/0.22 c remove useless variable ce[3][7][3] 0.19/0.22 c remove useless variable ce[3][7][4] 0.19/0.22 c remove useless variable ce[3][7][5] 0.19/0.22 c remove useless variable ce[3][7][6] 0.19/0.22 c remove useless variable ce[3][7][7] 0.19/0.22 c remove useless variable ce[3][8][0] 0.19/0.22 c remove useless variable ce[3][8][1] 0.19/0.22 c remove useless variable ce[3][8][2] 0.19/0.22 c remove useless variable ce[3][8][3] 0.19/0.22 c remove useless variable ce[3][8][4] 0.19/0.22 c remove useless variable ce[3][8][5] 0.19/0.22 c remove useless variable ce[3][8][6] 0.19/0.22 c remove useless variable ce[3][8][7] 0.19/0.22 c remove useless variable ce[3][8][8] 0.19/0.22 c remove useless variable ce[3][9][0] 0.19/0.22 c remove useless variable ce[3][9][1] 0.19/0.22 c remove useless variable ce[3][9][2] 0.19/0.22 c remove useless variable ce[3][9][3] 0.19/0.22 c remove useless variable ce[3][9][4] 0.19/0.22 c remove useless variable ce[3][9][5] 0.19/0.22 c remove useless variable ce[3][9][6] 0.19/0.22 c remove useless variable ce[3][9][7] 0.19/0.22 c remove useless variable ce[3][9][8] 0.19/0.22 c remove useless variable ce[3][9][9] 0.19/0.25 c 101 311 23800 24949 0 0 211 211 208 0.29/0.31 c 211 562 45781 263185 0 0 4 141 138 0.29/0.36 c 332 767 60540 456621 0 0 8 84 77 0.39/0.40 c 465 1046 74437 592099 0 0 5 147 55 0.39/0.41 c 611 1246 79295 709020 0 0 3 55 34 0.39/0.43 c 771 1460 84005 841681 0 0 5 55 35 0.39/0.44 c 947 1678 89479 930232 0 0 3 43 27 0.39/0.46 c 1140 1922 94972 1072711 0 0 4 52 33 0.39/0.48 c 1352 2188 100834 1219893 0 0 3 55 33 0.49/0.50 c 1585 2480 106915 1383875 0 0 3 60 36 0.49/0.53 c 1841 2805 113522 1572197 0 0 4 70 37 0.49/0.57 c 2122 3236 128374 1775045 0 0 3 149 63 0.59/0.60 c 2431 3627 135716 2017452 0 0 3 83 42 0.59/0.65 c 2770 4110 149645 2317779 0 0 3 145 49 0.59/0.70 c 3142 4558 157384 2608843 0 0 3 77 48 0.69/0.74 c 3551 5016 170549 2883146 0 0 3 49 39 0.79/0.80 c 4000 5573 179344 3307055 0 0 4 100 63 0.89/0.93 c 4493 6132 195615 3900558 0 0 3 65 49 0.99/1.01 c 5035 6740 210013 4337553 0 0 3 64 52 0.99/1.09 c 5631 7413 222410 4730079 0 0 4 73 53 1.20/1.26 c 6286 8123 244299 5373157 0 0 4 52 44 1.29/1.37 c 7006 8997 260827 6089482 0 0 5 137 73 1.39/1.48 c 7798 9912 271463 6748714 0 0 5 92 82 1.59/1.65 c 8669 10835 296103 7631022 0 0 4 49 46 1.69/1.77 c 9627 11969 312534 8252387 0 0 7 158 97 1.89/1.91 c 10680 13177 328726 9023381 0 0 10 140 108 2.20/2.23 c 11838 14352 374521 10072683 0 0 9 12 11 2.49/2.52 c 13111 15685 411705 11616259 0 0 3 51 50 2.69/2.72 c 14511 17348 430892 12635948 0 0 5 118 107 2.79/2.87 c 16051 18902 482047 13330605 0 0 8 8 7 3.09/3.13 c 17745 20769 511812 14716964 0 0 4 108 85 3.89/3.92 c 19608 22704 570879 18887919 0 0 14 29 28 4.59/4.60 c 21657 24997 640006 23150564 0 0 211 211 210 5.19/5.27 c 23910 27280 710129 26429422 0 0 18 19 18 6.19/6.25 c 26388 29790 793393 30918468 0 0 4 20 19 6.79/6.83 c 29113 32542 882354 34320141 0 0 10 15 14 7.29/7.37 c 32110 35817 951239 36727601 0 0 5 68 61 8.09/8.19 c 35406 39199 1028349 42102437 0 0 7 61 56 8.29/8.38 c 39031 42849 1138743 43372808 0 0 9 9 8 9.29/9.35 c 43018 46872 1266076 49061267 0 0 3 16 15 9.99/10.09 c 47403 51595 1380606 53029249 0 0 3 69 67 10.99/11.07 c 52226 56499 1510437 58513225 0 0 4 50 49 12.39/12.43 c 57531 61849 1678226 65459406 0 0 9 19 18 13.49/13.52 c 63366 67793 1861545 70803729 0 0 4 71 56 16.29/16.38 c 69784 74480 2110164 84666367 0 0 15 43 38 18.39/18.49 c 76843 81871 2294950 99505199 0 0 211 211 210 20.19/20.26 c 84607 90359 2449460 109803390 0 0 14 72 71 23.09/23.13 c 93147 99257 2684164 129301804 0 0 211 211 210 32.49/32.57 c 102541 108778 3096389 164558015 0 0 15 51 50 34.59/34.61 c 112874 119177 3459469 172094385 0 0 15 15 14 36.99/37.04 c 124240 130615 3779041 185271861 0 0 4 15 14 41.48/41.50 c 136742 144808 4083737 200483980 0 0 7 57 55 47.18/47.27 c 150494 158778 4655371 226396764 0 0 8 17 16 48.88/48.92 c 165621 174545 4800196 234403589 0 0 11 124 107 51.28/51.34 c 182260 191611 4966272 248302097 0 0 3 82 81 54.18/54.28 c 200562 211244 5168920 263878896 0 0 5 119 109 58.29/58.35 c 220694 234472 5447941 289149488 0 0 4 110 87 64.78/64.87 c 242839 257237 5981733 335858417 0 0 211 211 210 71.38/71.46 c 267198 282261 7020980 364387903 0 0 4 51 46 74.89/74.99 c 293992 310518 7316281 380804886 0 0 4 141 130 84.08/84.19 c 323465 340739 8044321 443069257 0 0 211 211 210 96.38/96.41 c 355885 373524 9243310 485904114 0 0 7 40 39 104.08/104.14 c 391547 409460 10245708 533155559 0 0 11 43 42 114.28/114.36 c 430775 449453 11714253 567433329 0 0 7 20 18 121.58/121.61 c 473925 493496 12516624 605648043 0 0 11 130 125 129.68/129.70 c 521390 547319 13272645 655258705 0 0 18 95 79 140.08/140.18 c 573601 599792 15130268 692166950 0 0 7 8 7 149.98/150.03 c 631033 658241 16280313 756778517 0 0 4 56 53 160.78/160.86 c 694208 724812 17285053 816678839 0 0 15 130 114 168.98/169.03 c 763700 797607 17855349 855615503 0 0 3 153 139 197.27/197.37 c 840141 874845 19587489 1020204027 0 0 21 72 71 201.38/201.45 c 924226 959343 22263393 1049393037 0 0 9 10 9 238.68/238.76 c 1016719 1129116 25619676 1197406165 0 0 4 68 47 257.97/258.02 c 1118461 1232186 27869746 1285332895 0 0 4 81 71 323.57/323.69 c 1230377 1348354 31741353 1574682485 0 0 5 39 34 347.17/347.26 c 1353484 1472135 36085684 1668307376 0 0 4 35 6 365.17/365.24 c 1488901 1612651 39534747 1762335745 0 0 5 68 67 408.17/408.28 c 1637859 1762479 43982330 1988096762 0 0 5 41 38 423.57/423.69 c 1801712 1927337 48729878 2075237623 0 0 6 81 36 461.46/461.56 c 1981950 2116020 51290204 2310188017 0 0 4 83 77 476.46/476.58 c 2180211 2315265 57498918 2390354536 0 0 6 14 9 601.65/601.72 c 2398298 2542835 64524417 3042284844 0 0 4 70 47 686.14/686.25 c 2638193 2784138 71550314 3414614025 0 0 43 53 52 804.14/804.28 c 2902077 3049940 81207836 3921414233 0 0 8 30 25 830.34/830.42 c 3192349 3343211 87702235 4095355359 0 0 7 106 34 875.83/875.90 c 3511648 3670300 93284536 4378902162 0 0 7 102 69 932.73/932.90 c 3862876 4027854 98494323 4709822960 0 0 7 87 65 991.63/991.79 c 4249226 4419185 108101642 5043259910 0 0 6 137 67 1052.42/1052.58 c 4674211 4858644 112646844 5416236951 0 0 10 117 102 1143.42/1143.58 c 5141694 5337874 126467748 5959372980 0 0 7 47 25 1291.31/1291.41 c 5655925 5855662 137770729 6774312203 0 0 7 35 34 1402.00/1402.10 c 6221579 6470977 152067418 7395415560 0 0 10 88 47 1544.49/1544.67 c 6843798 7096673 172211575 8037648666 0 0 9 36 18 1668.69/1668.84 c 7528238 7796765 187242342 8801379134 0 0 8 88 50 1724.18/1724.36 c 8281122 8553684 209368384 9156127596 0 0 9 23 14 1901.17/1901.37 c 9109294 9390847 231657108 10078346914 0 0 8 137 52 2055.46/2055.61 c 10020283 10312943 254325821 10945902039 0 0 8 114 49 2282.25/2282.49 c 11022370 11329041 275843480 12188273351 0 0 13 87 57 2338.85/2339.00 c 12124665 12436993 309026960 12572058498 0 0 8 19 14
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4251705-1500918081/watcher-4251705-1500918081 -o /tmp/evaluation-result-4251705-1500918081/solver-4251705-1500918081 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3774 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251705-1500918081.xml pid=4534 running on 4 cores: 1,3,5,7 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.09 2/181 4537 /proc/meminfo: memFree=32129160/32770624 swapFree=5764/116540 [pid=4537] ppid=4534 vsize=27168 CPUtime=0 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 1026 0 0 0 0 0 0 0 20 0 1 0 1347613 27820032 825 33554432000 4194304 5744392 140730422821360 140730422818008 140388860464101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 6792 825 685 379 0 211 0 [startup+0.100153 s] /proc/loadavg: 2.00 2.00 2.09 2/181 4537 /proc/meminfo: memFree=32129160/32770624 swapFree=5764/116540 [pid=4537] ppid=4534 vsize=29080 CPUtime=0.09 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 1606 0 0 0 9 0 0 0 20 0 1 0 1347613 29777920 1425 33554432000 4194304 5744392 140730422821360 140730422818008 140388860464101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 7270 1425 773 379 0 689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29080 [startup+0.200269 s] /proc/loadavg: 2.00 2.00 2.09 2/181 4537 /proc/meminfo: memFree=32129160/32770624 swapFree=5764/116540 [pid=4537] ppid=4534 vsize=30576 CPUtime=0.19 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 1971 0 0 0 19 0 0 0 20 0 1 0 1347613 31309824 1766 33554432000 4194304 5744392 140730422821360 140730422818008 140388860464101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 7644 1766 773 379 0 1063 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30576 [startup+0.300246 s] /proc/loadavg: 2.00 2.00 2.09 2/181 4537 /proc/meminfo: memFree=32129160/32770624 swapFree=5764/116540 [pid=4537] ppid=4534 vsize=31292 CPUtime=0.29 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 2197 0 0 0 29 0 0 0 20 0 1 0 1347613 32043008 2024 33554432000 4194304 5744392 140730422821360 140730422818008 140388860464101 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 7823 2024 813 379 0 1242 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31292 [startup+0.700217 s] /proc/loadavg: 2.00 2.00 2.09 2/181 4537 /proc/meminfo: memFree=32129160/32770624 swapFree=5764/116540 [pid=4537] ppid=4534 vsize=31688 CPUtime=0.69 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 2302 0 0 0 69 0 0 0 20 0 1 0 1347613 32448512 2090 33554432000 4194304 5744392 140730422821360 140730422818760 140388860902496 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 7922 2090 813 379 0 1341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31688 [startup+1.50021 s] /proc/loadavg: 2.00 2.00 2.09 3/182 4538 /proc/meminfo: memFree=32123032/32770624 swapFree=5764/116608 [pid=4537] ppid=4534 vsize=32216 CPUtime=1.49 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 2424 0 0 0 149 0 0 0 20 0 1 0 1347613 32989184 2222 33554432000 4194304 5744392 140730422821360 140730422818760 4911512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8054 2222 813 379 0 1473 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32216 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.09 3/182 4538 /proc/meminfo: memFree=32122412/32770624 swapFree=5764/116608 [pid=4537] ppid=4534 vsize=32744 CPUtime=3.09 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 3621 0 0 0 309 0 0 0 20 0 1 0 1347613 33529856 2358 33554432000 4194304 5744392 140730422821360 140730422818760 4904830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8186 2358 813 379 0 1605 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32744 [startup+6.30021 s] /proc/loadavg: 2.00 2.00 2.09 3/182 4538 /proc/meminfo: memFree=32121772/32770624 swapFree=5764/116572 [pid=4537] ppid=4534 vsize=32876 CPUtime=6.29 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 4591 0 0 0 629 0 0 0 20 0 1 0 1347613 33665024 2422 33554432000 4194304 5744392 140730422821360 140730422818760 4873223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8219 2422 813 379 0 1638 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32876 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.09 3/182 4538 /proc/meminfo: memFree=32120588/32770624 swapFree=5764/116580 [pid=4537] ppid=4534 vsize=33008 CPUtime=12.69 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 5675 0 0 0 1269 0 0 0 20 0 1 0 1347613 33800192 2448 33554432000 4194304 5744392 140730422821360 140730422818760 4901735 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8252 2448 813 379 0 1671 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33008 [startup+25.5003 s] /proc/loadavg: 2.08 2.01 2.09 3/182 4538 /proc/meminfo: memFree=32120960/32770624 swapFree=5764/116596 [pid=4537] ppid=4534 vsize=33140 CPUtime=25.49 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 5842 0 0 0 2549 0 0 0 20 0 1 0 1347613 33935360 2485 33554432000 4194304 5744392 140730422821360 140730422818760 4970576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8285 2485 813 379 0 1704 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33140 [startup+51.1003 s] /proc/loadavg: 2.05 2.01 2.09 3/182 4538 /proc/meminfo: memFree=32120892/32770624 swapFree=5764/116612 [pid=4537] ppid=4534 vsize=33272 CPUtime=51.08 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 5960 0 0 0 5108 0 0 0 20 0 1 0 1347613 34070528 2504 33554432000 4194304 5744392 140730422821360 140730422818760 4901875 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8318 2504 813 379 0 1737 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33272 [startup+102.3 s] /proc/loadavg: 2.15 2.05 2.10 3/182 4539 /proc/meminfo: memFree=32120500/32770624 swapFree=5764/116696 [pid=4537] ppid=4534 vsize=33404 CPUtime=102.29 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 6146 0 0 0 10229 0 0 0 20 0 1 0 1347613 34205696 2561 33554432000 4194304 5744392 140730422821360 140730422818760 4904916 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8351 2561 813 379 0 1770 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 33404 [startup+162.3 s] /proc/loadavg: 2.06 2.04 2.09 3/182 4540 /proc/meminfo: memFree=32120292/32770624 swapFree=5764/116756 [pid=4537] ppid=4534 vsize=33536 CPUtime=162.28 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 6330 0 0 0 16228 0 0 0 20 0 1 0 1347613 34340864 2572 33554432000 4194304 5744392 140730422821360 140730422818760 4908248 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2572 813 379 0 1803 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 33536 [startup+222.306 s] /proc/loadavg: 2.05 2.04 2.09 3/182 4541 /proc/meminfo: memFree=32120104/32770624 swapFree=5764/116800 [pid=4537] ppid=4534 vsize=33536 CPUtime=222.28 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 6489 0 0 0 22228 0 0 0 20 0 1 0 1347613 34340864 2593 33554432000 4194304 5744392 140730422821360 140730422818760 4908292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2593 813 379 0 1803 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 33536 [startup+282.3 s] /proc/loadavg: 2.06 2.05 2.09 3/182 4542 /proc/meminfo: memFree=32119968/32770624 swapFree=5764/116836 [pid=4537] ppid=4534 vsize=33536 CPUtime=282.27 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 6636 0 0 0 28227 0 0 0 20 0 1 0 1347613 34340864 2595 33554432000 4194304 5744392 140730422821360 140730422818760 4901884 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2595 813 379 0 1803 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 33536 [startup+342.3 s] /proc/loadavg: 2.02 2.04 2.08 3/182 4543 /proc/meminfo: memFree=32120024/32770624 swapFree=5764/116876 [pid=4537] ppid=4534 vsize=33536 CPUtime=342.27 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 6776 0 0 0 34227 0 0 0 20 0 1 0 1347613 34340864 2601 33554432000 4194304 5744392 140730422821360 140730422818760 4873208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2601 813 379 0 1803 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 33536 [startup+402.3 s] /proc/loadavg: 2.04 2.05 2.08 3/182 4544 /proc/meminfo: memFree=32120068/32770624 swapFree=5764/116920 [pid=4537] ppid=4534 vsize=33536 CPUtime=402.26 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 6911 0 0 0 40226 0 0 0 20 0 1 0 1347613 34340864 2602 33554432000 4194304 5744392 140730422821360 140730422818760 4904853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2602 813 379 0 1803 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 33536 [startup+462.3 s] /proc/loadavg: 2.01 2.04 2.08 3/182 4545 /proc/meminfo: memFree=32120104/32770624 swapFree=5764/116964 [pid=4537] ppid=4534 vsize=33536 CPUtime=462.26 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 7066 0 0 0 46226 0 0 0 20 0 1 0 1347613 34340864 2602 33554432000 4194304 5744392 140730422821360 140730422818760 4916485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2602 813 379 0 1803 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 33536 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.07 3/183 4554 /proc/meminfo: memFree=32118816/32770624 swapFree=5764/117012 [pid=4537] ppid=4534 vsize=33536 CPUtime=522.25 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 7213 0 0 0 52225 0 0 0 20 0 1 0 1347613 34340864 2603 33554432000 4194304 5744392 140730422821360 140730422818760 4905008 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2603 813 379 0 1803 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 33536 [startup+582.3 s] /proc/loadavg: 2.00 2.03 2.06 3/183 4555 /proc/meminfo: memFree=32119800/32770624 swapFree=5764/117056 [pid=4537] ppid=4534 vsize=33536 CPUtime=582.25 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 7337 0 0 0 58225 0 0 0 20 0 1 0 1347613 34340864 2604 33554432000 4194304 5744392 140730422821360 140730422818760 4904853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8384 2604 813 379 0 1803 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 33536 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4601 /proc/meminfo: memFree=32118480/32770624 swapFree=5764/117632 [pid=4537] ppid=4534 vsize=33668 CPUtime=1482.2 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 9599 0 0 0 148220 0 0 0 20 0 1 0 1347613 34476032 2619 33554432000 4194304 5744392 140730422821360 140730422818760 4873244 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2619 813 379 0 1836 0 Current children cumulated CPU time (s) 1482.2 Current children cumulated vsize (KiB) 33668 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4602 /proc/meminfo: memFree=32118404/32770624 swapFree=5764/117664 [pid=4537] ppid=4534 vsize=33668 CPUtime=1542.2 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 9707 0 0 0 154220 0 0 0 20 0 1 0 1347613 34476032 2619 33554432000 4194304 5744392 140730422821360 140730422818760 4994002 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2619 813 379 0 1836 0 Current children cumulated CPU time (s) 1542.2 Current children cumulated vsize (KiB) 33668 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4603 /proc/meminfo: memFree=32118080/32770624 swapFree=5764/117708 [pid=4537] ppid=4534 vsize=33668 CPUtime=1602.19 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 9856 0 0 0 160219 0 0 0 20 0 1 0 1347613 34476032 2619 33554432000 4194304 5744392 140730422821360 140730422818760 4904853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2619 813 379 0 1836 0 Current children cumulated CPU time (s) 1602.19 Current children cumulated vsize (KiB) 33668 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4726 /proc/meminfo: memFree=32118616/32770624 swapFree=5764/118636 [pid=4537] ppid=4534 vsize=33668 CPUtime=1662.19 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10045 0 0 0 166219 0 0 0 20 0 1 0 1347613 34476032 2620 33554432000 4194304 5744392 140730422821360 140730422818760 4904870 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2620 813 379 0 1836 0 Current children cumulated CPU time (s) 1662.19 Current children cumulated vsize (KiB) 33668 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4734 /proc/meminfo: memFree=32117284/32770624 swapFree=5764/118708 [pid=4537] ppid=4534 vsize=33668 CPUtime=1722.18 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10175 0 0 0 172218 0 0 0 20 0 1 0 1347613 34476032 2620 33554432000 4194304 5744392 140730422821360 140730422818760 4905050 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2620 813 379 0 1836 0 Current children cumulated CPU time (s) 1722.18 Current children cumulated vsize (KiB) 33668 [startup+1782.3 s] /proc/loadavg: 2.08 2.04 2.05 3/182 4735 /proc/meminfo: memFree=32117288/32770624 swapFree=5764/118796 [pid=4537] ppid=4534 vsize=33668 CPUtime=1782.18 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10321 0 0 0 178218 0 0 0 20 0 1 0 1347613 34476032 2620 33554432000 4194304 5744392 140730422821360 140730422818760 4914059 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2620 813 379 0 1836 0 Current children cumulated CPU time (s) 1782.18 Current children cumulated vsize (KiB) 33668 [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/182 4736 /proc/meminfo: memFree=32116808/32770624 swapFree=5764/118848 [pid=4537] ppid=4534 vsize=33668 CPUtime=1842.18 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10417 0 0 0 184218 0 0 0 20 0 1 0 1347613 34476032 2620 33554432000 4194304 5744392 140730422821360 140730422818760 4873241 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2620 813 379 0 1836 0 Current children cumulated CPU time (s) 1842.18 Current children cumulated vsize (KiB) 33668 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 4737 /proc/meminfo: memFree=32117092/32770624 swapFree=5764/118892 [pid=4537] ppid=4534 vsize=33668 CPUtime=1902.17 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10673 0 0 0 190217 0 0 0 20 0 1 0 1347613 34476032 2620 33554432000 4194304 5744392 140730422821360 140730422818760 4913984 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2620 813 379 0 1836 0 Current children cumulated CPU time (s) 1902.17 Current children cumulated vsize (KiB) 33668 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 4859 /proc/meminfo: memFree=32116780/32770624 swapFree=5764/119000 [pid=4537] ppid=4534 vsize=33668 CPUtime=1962.17 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10815 0 0 0 196217 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4916511 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 1962.17 Current children cumulated vsize (KiB) 33668 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 4860 /proc/meminfo: memFree=32116656/32770624 swapFree=5764/119048 [pid=4537] ppid=4534 vsize=33668 CPUtime=2022.17 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 10975 0 0 0 202217 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4998896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2022.17 Current children cumulated vsize (KiB) 33668 [startup+2082.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 4861 /proc/meminfo: memFree=32116636/32770624 swapFree=5764/119100 [pid=4537] ppid=4534 vsize=33668 CPUtime=2082.17 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11111 0 0 0 208217 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 5124100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2082.17 Current children cumulated vsize (KiB) 33668 [startup+2142.3 s] /proc/loadavg: 2.42 2.12 2.08 2/178 5476 /proc/meminfo: memFree=32118036/32770624 swapFree=5764/119540 [pid=4537] ppid=4534 vsize=33668 CPUtime=2142.16 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11270 0 0 0 214216 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4901893 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2142.16 Current children cumulated vsize (KiB) 33668 [startup+2202.31 s] /proc/loadavg: 2.15 2.11 2.08 3/182 6411 /proc/meminfo: memFree=32101472/32770624 swapFree=5764/120608 [pid=4537] ppid=4534 vsize=33668 CPUtime=2202.16 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11387 0 0 0 220216 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4910370 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2202.16 Current children cumulated vsize (KiB) 33668 [startup+2262.3 s] /proc/loadavg: 2.18 2.13 2.09 3/182 6533 /proc/meminfo: memFree=32112944/32770624 swapFree=5764/120760 [pid=4537] ppid=4534 vsize=33668 CPUtime=2262.15 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11510 0 0 0 226215 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4909528 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2262.15 Current children cumulated vsize (KiB) 33668 [startup+2322.3 s] /proc/loadavg: 2.06 2.11 2.08 3/182 6541 /proc/meminfo: memFree=32112196/32770624 swapFree=5764/120844 [pid=4537] ppid=4534 vsize=33668 CPUtime=2322.15 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11656 0 0 0 232215 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4908703 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2322.15 Current children cumulated vsize (KiB) 33668 [startup+2382.3 s] /proc/loadavg: 2.02 2.09 2.07 3/182 6542 /proc/meminfo: memFree=32112680/32770624 swapFree=5764/120896 [pid=4537] ppid=4534 vsize=33668 CPUtime=2382.15 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11777 0 0 0 238215 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4904861 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2382.15 Current children cumulated vsize (KiB) 33668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.02 2.08 2.07 3/182 6543 /proc/meminfo: memFree=32112540/32770624 swapFree=5764/120920 [pid=4537] ppid=4534 vsize=33668 CPUtime=2400.05 cores=1,3,5,7 /proc/4537/stat : 4537 (cosoco) R 4534 4537 3742 0 -1 4202496 11859 0 0 0 240005 0 0 0 20 0 1 0 1347613 34476032 2623 33554432000 4194304 5744392 140730422821360 140730422818760 4904830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 31383552 140730422826177 140730422826307 140730422826307 140730422829006 0 /proc/4537/statm: 8417 2623 813 379 0 1836 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 33668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4537 sig 9 ??? kill -4537 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.07 CPU user time (s): 2400.06 CPU system time (s): 0.008999 CPU usage (%): 99.9942 Max. virtual memory (cumulated for all children) (KiB): 33668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.06 system time used= 0.008999 maximum resident set size= 10536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11887 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= 1887 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.00236 second user time and 8.62916 second system time The end
Begin job on node107 at 2017-07-24 19:41:21 IDJOB=4251705 IDBENCH=120738 IDSOLVER=2633 FILE ID=node107/4251705-1500918081 RUNJOBID= node107-1500914927-3774 PBS_JOBID= 20625415 Free space on /tmp= 61648 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P04.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251705-1500918081/watcher-4251705-1500918081 -o /tmp/evaluation-result-4251705-1500918081/solver-4251705-1500918081 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3774 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251705-1500918081.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ddb81c87fc1d8e68708f77d31c52a231 RANDOM SEED=1635664455 node107.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.15 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.15 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.15 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.15 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: 32129316 kB MemAvailable: 32064104 kB Buffers: 38792 kB Cached: 210944 kB SwapCached: 0 kB Active: 167336 kB Inactive: 125200 kB Active(anon): 45684 kB Inactive(anon): 8660 kB Active(file): 121652 kB Inactive(file): 116540 kB Unevictable: 5764 kB Mlocked: 5764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2188 kB Writeback: 0 kB AnonPages: 48556 kB Mapped: 29012 kB Shmem: 8848 kB Slab: 49844 kB SReclaimable: 24864 kB SUnreclaim: 24980 kB KernelStack: 3296 kB PageTables: 4820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 284512 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61648 MiB End job on node107 at 2017-07-24 20:21:22