Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 2520 | 2520.01 |
Name | SuperSolutions/SuperSolutions-Queens-s1/ SuperQueens-02.xml |
MD5SUM | 80353dd8c937a5bb459a24b290639269 |
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 | 200 |
Number of constraints | 14950 |
Number of domains | 1 |
Minimum domain size | 100 |
Maximum domain size | 100 |
Distribution of domain sizes | [{"size":100,"count":200}] |
Minimum variable degree | 100 |
Maximum variable degree | 199 |
Distribution of variable degrees | [{"degree":100,"count":100},{"degree":199,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":14950}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 14950 |
Distribution of constraint types | [{"type":"intension","count":14950}] |
Optimization problem | NO |
Type of objective |
16.39/16.55 c intension x[0] != x[1] using generic constraint 16.39/16.55 c intension x[2] != x[3] using generic constraint 16.39/16.55 c intension x[4] != x[5] using generic constraint 16.39/16.55 c intension x[6] != x[7] using generic constraint 16.39/16.56 c intension x[8] != x[9] using generic constraint 16.39/16.56 c intension x[10] != x[11] using generic constraint 16.39/16.56 c intension x[12] != x[13] using generic constraint 16.39/16.56 c intension x[14] != x[15] using generic constraint 16.39/16.56 c intension x[16] != x[17] using generic constraint 16.39/16.56 c intension x[18] != x[19] using generic constraint 16.39/16.56 c intension x[20] != x[21] using generic constraint 16.39/16.56 c intension x[22] != x[23] using generic constraint 16.39/16.56 c intension x[24] != x[25] using generic constraint 16.39/16.56 c intension x[26] != x[27] using generic constraint 16.39/16.57 c intension x[28] != x[29] using generic constraint 16.39/16.57 c intension x[30] != x[31] using generic constraint 16.39/16.57 c intension x[32] != x[33] using generic constraint 16.39/16.57 c intension x[34] != x[35] using generic constraint 16.39/16.57 c intension x[36] != x[37] using generic constraint 16.39/16.57 c intension x[38] != x[39] using generic constraint 16.39/16.57 c intension x[40] != x[41] using generic constraint 16.39/16.57 c intension x[42] != x[43] using generic constraint 16.39/16.57 c intension x[44] != x[45] using generic constraint 16.39/16.57 c intension x[46] != x[47] using generic constraint 16.39/16.57 c intension x[48] != x[49] using generic constraint 16.39/16.58 c intension x[50] != x[51] using generic constraint 16.39/16.58 c intension x[52] != x[53] using generic constraint 16.39/16.58 c intension x[54] != x[55] using generic constraint 16.39/16.58 c intension x[56] != x[57] using generic constraint 16.39/16.58 c intension x[58] != x[59] using generic constraint 16.39/16.58 c intension x[60] != x[61] using generic constraint 16.39/16.58 c intension x[62] != x[63] using generic constraint 16.39/16.58 c intension x[64] != x[65] using generic constraint 16.39/16.58 c intension x[66] != x[67] using generic constraint 16.39/16.58 c intension x[68] != x[69] using generic constraint 16.39/16.59 c intension x[70] != x[71] using generic constraint 16.39/16.59 c intension x[72] != x[73] using generic constraint 16.39/16.59 c intension x[74] != x[75] using generic constraint 16.39/16.59 c intension x[76] != x[77] using generic constraint 16.39/16.59 c intension x[78] != x[79] using generic constraint 16.39/16.59 c intension x[80] != x[81] using generic constraint 16.39/16.59 c intension x[82] != x[83] using generic constraint 16.39/16.59 c intension x[84] != x[85] using generic constraint 16.39/16.59 c intension x[86] != x[87] using generic constraint 16.39/16.59 c intension x[88] != x[89] using generic constraint 16.39/16.60 c intension x[90] != x[91] using generic constraint 16.49/16.60 c intension x[92] != x[93] using generic constraint 16.49/16.60 c intension x[94] != x[95] using generic constraint 16.49/16.60 c intension x[96] != x[97] using generic constraint 16.49/16.60 c intension x[98] != x[99] using generic constraint 16.49/16.60 c intension x[100] != x[101] using generic constraint 16.49/16.60 c intension x[102] != x[103] using generic constraint 16.49/16.60 c intension x[104] != x[105] using generic constraint 16.49/16.60 c intension x[106] != x[107] using generic constraint 16.49/16.60 c intension x[108] != x[109] using generic constraint 16.49/16.61 c intension x[110] != x[111] using generic constraint 16.49/16.61 c intension x[112] != x[113] using generic constraint 16.49/16.61 c intension x[114] != x[115] using generic constraint 16.49/16.61 c intension x[116] != x[117] using generic constraint 16.49/16.61 c intension x[118] != x[119] using generic constraint 16.49/16.61 c intension x[120] != x[121] using generic constraint 16.49/16.61 c intension x[122] != x[123] using generic constraint 16.49/16.61 c intension x[124] != x[125] using generic constraint 16.49/16.61 c intension x[126] != x[127] using generic constraint 16.49/16.61 c intension x[128] != x[129] using generic constraint 16.49/16.62 c intension x[130] != x[131] using generic constraint 16.49/16.62 c intension x[132] != x[133] using generic constraint 16.49/16.62 c intension x[134] != x[135] using generic constraint 16.49/16.62 c intension x[136] != x[137] using generic constraint 16.49/16.62 c intension x[138] != x[139] using generic constraint 16.49/16.62 c intension x[140] != x[141] using generic constraint 16.49/16.62 c intension x[142] != x[143] using generic constraint 16.49/16.62 c intension x[144] != x[145] using generic constraint 16.49/16.62 c intension x[146] != x[147] using generic constraint 16.49/16.62 c intension x[148] != x[149] using generic constraint 16.49/16.63 c intension x[150] != x[151] using generic constraint 16.49/16.63 c intension x[152] != x[153] using generic constraint 16.49/16.63 c intension x[154] != x[155] using generic constraint 16.49/16.63 c intension x[156] != x[157] using generic constraint 16.49/16.63 c intension x[158] != x[159] using generic constraint 16.49/16.63 c intension x[160] != x[161] using generic constraint 16.49/16.63 c intension x[162] != x[163] using generic constraint 16.49/16.63 c intension x[164] != x[165] using generic constraint 16.49/16.63 c intension x[166] != x[167] using generic constraint 16.49/16.63 c intension x[168] != x[169] using generic constraint 16.49/16.63 c intension x[170] != x[171] using generic constraint 16.49/16.64 c intension x[172] != x[173] using generic constraint 16.49/16.64 c intension x[174] != x[175] using generic constraint 16.49/16.64 c intension x[176] != x[177] using generic constraint 16.49/16.64 c intension x[178] != x[179] using generic constraint 16.49/16.64 c intension x[180] != x[181] using generic constraint 16.49/16.64 c intension x[182] != x[183] using generic constraint 16.49/16.64 c intension x[184] != x[185] using generic constraint 16.49/16.64 c intension x[186] != x[187] using generic constraint 16.49/16.64 c intension x[188] != x[189] using generic constraint 16.49/16.64 c intension x[190] != x[191] using generic constraint 16.49/16.65 c intension x[192] != x[193] using generic constraint 16.49/16.65 c intension x[194] != x[195] using generic constraint 16.49/16.65 c intension x[196] != x[197] using generic constraint 16.49/16.65 c intension x[198] != x[199] using generic constraint 16.59/16.74 c SAT : Variables: 20000 -- Clauses: 990200 16.59/16.75 c root propagations : 0 16.59/16.75 c restarts enabled, print stats at every restarts 16.59/16.75 c 16.59/16.75 c 16.59/16.75 c 16.59/16.75 c This is cosoco 1.12 -- 16.59/16.75 c 16.59/16.75 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266444-1502590565.xml 16.59/16.75 c ========================================[ Problem Statistics ]=========================================== 16.59/16.75 c | 16.59/16.75 c | Parse time : 16.59 s 16.59/16.75 c | 16.59/16.75 c | Variables: 200 16.59/16.75 c | Domain Sizes: 100..100 16.59/16.75 c | 16.59/16.75 c | Constraints: 14950 16.59/16.75 c | Arity: 2..2 -- Binary: 14950 16.59/16.75 c | 16.59/16.75 c | Types: 16.59/16.75 c | (X != Y): 100 16.59/16.75 c | Intension: 14850 16.59/16.75 c | 16.59/16.75 c ========================================================================================================= 16.59/16.75 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 22.59/22.74 c 10 113 1080205 20764 0 4 90 94 82 29.29/29.45 c 20 221 2171576 40288 0 7 88 91 81 36.09/36.20 c 30 355 3302598 59138 0 10 114 117 104 42.59/42.73 c 40 478 4420607 78828 0 13 102 106 94 48.99/49.13 c 50 586 5493475 99558 0 17 88 90 81 55.08/55.27 c 60 691 6497664 117950 0 20 76 93 81 61.28/61.41 c 70 804 7532632 137825 0 25 78 93 78 67.38/67.53 c 80 908 8548450 157618 0 29 85 89 79 73.48/73.69 c 90 1017 9562557 176972 0 37 74 91 75 79.68/79.81 c 100 1125 10591896 198305 0 38 85 91 79 85.89/86.06 c 101 1223 11584753 214738 0 39 98 98 49 92.08/92.21 c 110 1324 12549622 232165 0 44 82 90 78 98.28/98.48 c 120 1436 13615236 251518 0 46 87 91 80 104.38/104.55 c 130 1536 14624256 269834 0 47 84 87 78 110.48/110.68 c 140 1636 15650475 289245 0 51 80 82 73 116.69/116.83 c 150 1739 16681089 307936 0 55 83 88 77 123.00/123.16 c 160 1859 17785773 329423 0 58 82 90 79 129.00/129.17 c 170 1949 18760626 348927 0 63 73 77 68 135.19/135.31 c 180 2051 19796168 369495 0 68 82 84 75 141.29/141.45 c 190 2156 20846552 391915 0 73 78 81 72 147.49/147.68 c 200 2281 21933554 413976 0 74 91 94 84 153.79/153.95 c 210 2390 22971035 435159 0 79 82 88 77 159.79/159.94 c 211 2472 23916212 451368 0 80 82 82 41 165.90/166.01 c 220 2565 24900196 470756 0 85 75 81 70 171.90/172.09 c 230 2665 25937851 490591 0 88 79 81 72 178.29/178.45 c 240 2770 26995498 510447 0 93 79 82 73 184.49/184.68 c 250 2896 28120868 531986 0 95 79 86 76 190.79/190.93 c 260 3012 29224857 554119 0 98 87 91 80 197.00/197.12 c 270 3125 30271838 573592 0 103 92 95 84 203.09/203.24 c 280 3240 31334617 595286 0 104 84 93 81 209.49/209.64 c 290 3371 32464010 616816 0 107 89 93 82 215.69/215.83 c 300 3481 33542911 635920 0 113 84 88 79 221.90/222.04 c 310 3589 34625137 655684 0 115 86 88 79 228.09/228.22 c 320 3699 35672997 675753 0 122 71 90 78 234.29/234.44 c 330 3802 36729418 696471 0 125 73 78 68 240.39/240.54 c 332 3886 37707934 712804 0 127 82 83 55 246.59/246.70 c 340 3982 38735584 732811 0 132 77 83 69 252.69/252.88 c 350 4082 39790497 753672 0 136 76 79 70 258.90/259.09 c 360 4198 40863138 774491 0 138 83 89 77 265.01/265.13 c 370 4289 41846534 792416 0 139 77 79 70 271.10/271.28 c 380 4399 42912886 811938 0 143 90 92 82 277.30/277.42 c 390 4507 43977673 831662 0 145 85 89 79 283.40/283.53 c 400 4602 44986408 850775 0 146 79 81 72 289.60/289.74 c 410 4712 46065294 870747 0 148 89 91 81 295.70/295.84 c 420 4817 47092928 890185 0 152 80 86 75 302.10/302.20 c 430 4925 48175328 911595 0 154 83 86 76 308.40/308.51 c 440 5031 49249187 932386 0 160 83 86 77 314.50/314.61 c 450 5144 50301808 951842 0 163 86 90 79 320.70/320.87 c 460 5247 51367725 972832 0 168 81 84 74 326.79/326.97 c 465 5344 52361313 991151 0 172 81 87 70 333.00/333.19 c 470 5447 53419222 1011652 0 176 89 91 74 339.20/339.32 c 480 5546 54444547 1032953 0 182 78 81 72 345.40/345.55 c 490 5659 55511155 1054711 0 185 75 85 71 351.70/351.81 c 500 5776 56612098 1076827 0 190 89 92 82 357.80/357.97 c 510 5869 57627196 1098007 0 193 72 79 67 364.10/364.25 c 520 5970 58667655 1119564 0 198 75 78 69 370.20/370.32 c 530 6063 59666566 1138132 0 203 75 77 69 376.30/376.41 c 540 6163 60699599 1157607 0 206 80 82 73 382.41/382.55 c 550 6260 61727981 1177209 0 208 80 81 73 388.61/388.70 c 560 6377 62798180 1196921 0 213 93 96 86 394.81/394.99 c 570 6482 63858496 1216364 0 214 85 87 78 400.92/401.07 c 580 6584 64889104 1235217 0 219 81 84 75 407.11/407.20 c 590 6691 65963772 1255466 0 223 85 87 77 413.31/413.43 c 600 6806 67062733 1276700 0 226 91 95 84 419.50/419.68 c 610 6915 68159081 1296727 0 231 86 87 78 425.60/425.72 c 611 7005 69142510 1313346 0 232 90 90 45 431.71/431.81 c 620 7111 70178315 1332294 0 235 81 88 74 437.71/437.86 c 630 7210 71204312 1351054 0 241 82 84 75 443.81/444.00 c 640 7319 72259505 1370722 0 243 79 84 73 449.92/450.10 c 650 7423 73294890 1390682 0 245 76 80 71 456.02/456.18 c 660 7525 74344505 1410870 0 250 83 88 77 462.21/462.30 c 670 7633 75387814 1430460 0 258 82 94 81 468.31/468.42 c 680 7739 76433106 1449654 0 259 84 88 77 474.51/474.60 c 690 7848 77508158 1469198 0 265 84 88 78 480.71/480.84 c 700 7962 78576287 1489078 0 267 86 89 79 487.11/487.24 c 710 8080 79681441 1510234 0 269 88 92 81 493.21/493.37 c 720 8186 80731327 1531890 0 272 79 86 74 499.41/499.51 c 730 8286 81762037 1552979 0 277 77 82 72 505.61/505.75 c 740 8417 82885963 1574979 0 279 85 95 83 511.81/511.93 c 750 8521 83930897 1596427 0 285 72 81 71 517.81/517.90 c 760 8610 84919761 1615130 0 288 72 74 66 523.92/524.02 c 770 8706 85962335 1636415 0 291 73 76 67 529.92/530.09 c 771 8799 86966468 1653051 0 292 93 93 46 536.21/536.31 c 780 8918 88068064 1673223 0 294 91 96 83 542.21/542.38 c 790 9016 89090666 1691654 0 296 79 81 72 548.31/548.48 c 800 9121 90148846 1712060 0 298 78 82 72 554.51/554.66 c 810 9221 91157714 1730499 0 301 80 83 74 560.81/560.94 c 820 9325 92208908 1749928 0 305 80 83 74 566.81/566.97 c 830 9423 93221869 1770810 0 310 78 81 72 572.92/573.09 c 840 9544 94312999 1791422 0 314 93 96 85 579.11/579.24 c 850 9647 95372617 1810662 0 316 84 87 77 585.22/585.38 c 860 9764 96435370 1831412 0 318 88 93 81 591.42/591.51 c 870 9867 97483050 1850570 0 319 86 88 78 597.62/597.71 c 880 9975 98543826 1869558 0 320 88 92 81 603.72/603.88 c 890 10086 99620333 1888980 0 324 88 93 82 609.82/609.99 c 900 10192 100647220 1908888 0 326 80 83 74 616.12/616.20 c 910 10287 101678296 1928269 0 329 74 78 68 622.32/622.46 c 920 10408 102783099 1949659 0 334 89 93 83 628.52/628.64 c 930 10522 103861015 1969539 0 338 87 91 81 634.82/634.90 c 940 10630 104929879 1989107 0 341 84 88 78 640.82/640.97 c 947 10724 105940710 2007673 0 345 80 83 70 647.03/647.13 c 950 10808 106918049 2024446 0 347 80 82 60 653.12/653.20 c 960 10903 107914338 2042777 0 350 75 77 68 659.32/659.42 c 970 11016 108965963 2062328 0 355 84 93 80 665.52/665.63 c 980 11126 110048202 2082089 0 358 87 90 80 671.52/671.67 c 990 11219 111038587 2101134 0 360 76 80 70 677.62/677.75 c 1000 11313 112042729 2120916 0 362 75 80 70 683.73/683.83 c 1010 11412 113072646 2140497 0 365 78 81 72 689.83/689.93 c 1020 11509 114096786 2159601 0 370 74 78 69 695.94/696.04 c 1030 11610 115140325 2178821 0 373 81 83 74 701.94/702.08 c 1040 11719 116181041 2198138 0 374 79 85 75 708.23/708.36 c 1050 11824 117265678 2218153 0 376 79 84 73 714.33/714.46 c 1060 11925 118298135 2237479 0 379 80 83 74 720.53/720.60 c 1070 12036 119354196 2257858 0 382 85 90 79 726.63/726.70 c 1080 12147 120399055 2277435 0 385 86 91 79 732.83/732.98 c 1090 12265 121468858 2298051 0 389 96 99 88 739.04/739.19 c 1100 12375 122538197 2317592 0 395 87 91 81 745.23/745.31 c 1110 12477 123586626 2337420 0 400 81 86 75 751.33/751.42 c 1120 12579 124635017 2356236 0 403 83 85 76 757.43/757.54 c 1130 12684 125675260 2375742 0 406 83 86 76 763.53/763.62 c 1140 12787 126721484 2395057 0 411 82 85 76 769.53/769.68 c 1141 12880 127721062 2411827 0 412 93 93 46 775.63/775.74 c 1150 12982 128757596 2430864 0 416 83 86 76 781.83/781.90 c 1160 13085 129825384 2450692 0 420 83 85 76 787.94/788.07 c 1170 13198 130898025 2470544 0 423 86 92 80 794.23/794.32 c 1180 13311 132010779 2491315 0 425 88 90 81 800.33/800.41 c 1190 13421 133054811 2511544 0 426 85 90 79 806.64/806.74 c 1200 13532 134149487 2531790 0 429 88 90 80 812.84/812.95 c 1210 13650 135233538 2551907 0 432 87 92 81 819.14/819.26 c 1220 13763 136307059 2572137 0 436 91 94 84 825.44/825.51 c 1230 13881 137414296 2591638 0 438 91 94 84 831.84/831.90 c 1240 14019 138535251 2613219 0 443 82 94 81 838.05/838.12 c 1250 14131 139626123 2633144 0 445 87 91 81 844.24/844.36 c 1260 14237 140698136 2653759 0 446 82 85 76 850.54/850.66 c 1270 14365 141816437 2674941 0 449 80 96 81 856.74/856.85 c 1280 14481 142904917 2694410 0 453 92 95 85 863.05/863.17 c 1290 14593 143994603 2716205 0 455 79 82 73 869.24/869.31 c 1300 14697 145032315 2736378 0 457 76 82 71 875.44/875.54 c 1310 14808 146098106 2759037 0 460 78 84 73 881.74/881.86 c 1320 14922 147183909 2778366 0 463 94 96 86 887.95/888.01 c 1330 15037 148233046 2798293 0 466 79 93 80 894.24/894.32 c 1340 15159 149310098 2818890 0 468 98 100 89 900.24/900.36 c 1350 15247 150280673 2838892 0 472 71 72 65 906.14/906.27 c 1352 15326 151216116 2855136 0 474 77 78 51 912.14/912.23 c 1360 15414 152181606 2874048 0 478 72 76 66 918.34/918.45 c 1370 15523 153253651 2895489 0 479 82 87 76 924.54/924.69 c 1380 15633 154322582 2916172 0 481 82 87 77 930.95/931.06 c 1390 15755 155407732 2935612 0 484 98 101 90 937.34/937.41 c 1400 15872 156490234 2956788 0 487 82 90 77 943.24/943.36 c 1410 15961 157450810 2975400 0 491 73 75 67 949.44/949.53 c 1420 16070 158501578 2995818 0 494 78 83 73 955.64/955.72 c 1430 16168 159515615 3015216 0 497 81 84 74 961.64/961.74 c 1440 16262 160500945 3033249 0 502 75 77 69 967.63/967.72 c 1450 16355 161481617 3052560 0 507 76 79 69 973.84/973.92 c 1460 16470 162568903 3072881 0 510 92 96 85 980.04/980.13 c 1470 16586 163658361 3093185 0 514 96 98 88 986.14/986.30 c 1480 16693 164729588 3112098 0 519 88 91 81 992.34/992.45 c 1490 16806 165817232 3132726 0 523 87 92 81 998.74/998.86 c 1500 16941 167001364 3156066 0 527 86 98 85 1004.83/1005.00 c 1510 17057 168094063 3178277 0 530 80 90 77 1011.04/1011.17 c 1520 17183 169218198 3199289 0 533 89 97 83 1017.33/1017.42 c 1530 17313 170331684 3221498 0 536 87 93 82 1023.23/1023.39 c 1540 17407 171335954 3243260 0 538 70 73 64 1029.33/1029.49 c 1550 17512 172380642 3262684 0 540 81 85 75 1035.43/1035.57 c 1560 17629 173456816 3281973 0 545 83 96 82 1041.53/1041.63 c 1570 17752 174541312 3302703 0 548 88 94 83 1047.43/1047.52 c 1580 17845 175529505 3322245 0 551 72 77 67 1053.23/1053.30 c 1585 17928 176472525 3339035 0 554 74 76 62 1059.04/1059.17 c 1590 18020 177439603 3357059 0 555 75 80 64 1065.13/1065.25 c 1600 18130 178485344 3375646 0 558 87 90 81 1070.94/1071.10 c 1610 18230 179487891 3394487 0 559 81 85 74 1077.23/1077.32 c 1620 18358 180620209 3415806 0 561 84 93 80 1083.23/1083.35 c 1630 18481 181717074 3436727 0 564 86 98 85 1089.32/1089.46 c 1640 18602 182843025 3459089 0 567 84 88 78 1095.42/1095.55 c 1650 18701 183870731 3478059 0 570 78 80 71 1101.42/1101.53 c 1660 18804 184914763 3499242 0 572 78 84 75 1107.52/1107.60 c 1670 18901 185944472 3518100 0 573 82 85 75 1113.52/1113.69 c 1680 19015 186953022 3537175 0 575 83 87 77 1119.93/1120.10 c 1690 19108 187961257 3555725 0 578 75 78 69 1126.52/1126.68 c 1700 19227 189093045 3577601 0 579 90 93 82 1133.03/1133.12 c 1710 19349 190205826 3597633 0 583 95 101 89 1139.12/1139.29 c 1720 19449 191244324 3616762 0 588 80 83 74 1145.32/1145.40 c 1730 19564 192301846 3635503 0 592 94 98 86 1151.32/1151.42 c 1740 19670 193362484 3655152 0 594 82 85 76 1157.52/1157.60 c 1750 19786 194464826 3676117 0 597 86 90 81 1163.62/1163.77 c 1760 19904 195551361 3695649 0 601 95 97 87 1169.82/1169.99 c 1770 20026 196666857 3716297 0 605 89 97 83 1176.12/1176.26 c 1780 20144 197758212 3735541 0 610 93 98 86 1182.41/1182.54 c 1790 20261 198878442 3755724 0 614 91 94 84 1188.51/1188.67 c 1800 20373 199928249 3776578 0 618 81 85 74 1194.81/1194.95 c 1810 20496 201043651 3797461 0 621 94 99 87 1201.02/1201.11 c 1820 20612 202124529 3817538 0 627 87 95 82 1207.31/1207.40 c 1830 20730 203227090 3838309 0 629 90 94 83 1213.41/1213.50 c 1840 20840 204282828 3857298 0 633 82 93 81 1219.31/1219.47 c 1841 20924 205243984 3873472 0 634 84 84 42 1225.41/1225.51 c 1850 21034 206277788 3894261 0 638 79 86 74 1231.31/1231.50 c 1860 21130 207280004 3916005 0 640 72 76 67 1237.51/1237.63 c 1870 21242 208341426 3937235 0 644 84 88 77 1243.81/1243.91 c 1880 21369 209430925 3959538 0 646 80 87 75 1250.11/1250.27 c 1890 21497 210570410 3981576 0 649 92 97 86 1256.31/1256.40 c 1900 21606 211623249 4003069 0 651 82 91 78 1262.31/1262.44 c 1910 21705 212631743 4022331 0 653 75 80 70 1268.31/1268.43 c 1920 21806 213691105 4042746 0 656 77 79 71 1274.41/1274.52 c 1930 21923 214779887 4062820 0 657 89 96 83 1280.71/1280.81 c 1940 22070 215935716 4086033 0 660 94 102 89 1286.61/1286.74 c 1950 22175 216987750 4105530 0 664 80 84 74 1292.61/1292.76 c 1960 22300 218060576 4127372 0 666 88 93 81 1298.81/1298.97 c 1970 22422 219170951 4147506 0 669 99 102 91 1304.71/1304.84 c 1980 22523 220167502 4166370 0 671 73 78 68 1310.71/1310.82 c 1990 22629 221200915 4187586 0 674 79 85 75 1316.91/1317.01 c 2000 22756 222318424 4208244 0 676 98 100 90 1323.02/1323.15 c 2010 22874 223434008 4228766 0 680 93 97 86 1329.11/1329.25 c 2020 23001 224564187 4249746 0 683 91 98 86 1335.11/1335.25 c 2030 23121 225633745 4269022 0 688 83 100 89 1341.11/1341.23 c 2040 23250 226696586 4288919 0 690 85 99 82 1347.02/1347.14 c 2050 23358 227727145 4309012 0 694 76 90 75 1352.92/1353.01 c 2060 23449 228729221 4329280 0 697 74 78 68 1358.92/1359.04 c 2070 23559 229787541 4348875 0 701 85 94 80 1365.02/1365.11 c 2080 23681 230887045 4368835 0 704 89 96 84 1370.92/1371.09 c 2090 23797 231956713 4387815 0 705 95 98 87 1376.81/1376.91 c 2100 23890 232959683 4406557 0 711 73 75 67 1382.92/1383.10 c 2110 24019 234060376 4426387 0 714 100 103 92 1388.81/1388.97 c 2120 24116 235064477 4446163 0 720 76 78 69 1394.61/1394.76 c 2122 24204 236023295 4462456 0 721 86 87 57 1400.81/1400.95 c 2130 24322 237131874 4482287 0 723 91 96 83 1406.92/1407.08 c 2140 24460 238256650 4503316 0 725 93 96 85 1412.92/1413.09 c 2150 24576 239330917 4523529 0 730 85 90 79 1419.21/1419.33 c 2160 24694 240449927 4544757 0 735 88 92 81 1425.31/1425.43 c 2170 24822 241517779 4564101 0 738 99 103 92 1431.11/1431.29 c 2180 24915 242524792 4583892 0 741 71 72 65 1437.11/1437.28 c 2190 25025 243574052 4604777 0 745 76 81 71 1443.21/1443.35 c 2200 25140 244652141 4624045 0 751 88 94 82 1449.21/1449.30 c 2210 25263 245715280 4643308 0 754 89 96 84 1454.92/1455.09 c 2220 25351 246683014 4661942 0 758 73 75 67 1460.92/1461.04 c 2230 25461 247735877 4681886 0 761 81 84 75 1466.92/1467.05 c 2240 25578 248805870 4700953 0 766 86 94 82 1473.03/1473.14 c 2250 25704 249904560 4720682 0 768 89 95 84 1478.92/1479.10 c 2260 25806 250925984 4739553 0 770 80 84 74 1485.03/1485.14 c 2270 25912 251982756 4758804 0 773 90 91 82 1490.82/1490.97 c 2280 26006 252981039 4777917 0 777 75 77 68 1497.03/1497.14 c 2290 26113 254064854 4798407 0 779 82 87 76 1503.03/1503.14 c 2300 26236 255160697 4819610 0 782 86 91 80 1508.93/1509.02 c 2310 26334 256188191 4839166 0 787 81 84 75 1514.93/1515.03 c 2320 26454 257285806 4859753 0 791 83 90 79 1520.72/1520.88 c 2330 26549 258286687 4879267 0 794 78 81 72 1526.82/1526.95 c 2340 26671 259388397 4899879 0 796 89 92 82 1532.82/1532.95 c 2350 26777 260458362 4919001 0 800 88 90 80 1538.72/1538.84 c 2360 26872 261481320 4938132 0 808 76 80 70 1544.72/1544.84 c 2370 27000 262587249 4959675 0 810 85 93 80 1550.72/1550.81 c 2380 27122 263645626 4980397 0 814 84 93 79 1556.72/1556.88 c 2390 27243 264733629 4999829 0 816 91 97 85 1562.82/1562.91 c 2400 27372 265794410 5019314 0 820 87 103 85 1568.93/1569.04 c 2410 27493 266911882 5040464 0 824 91 95 84 1574.93/1575.04 c 2420 27609 267995763 5061272 0 825 88 92 81 1581.11/1581.24 c 2430 27744 269122889 5083778 0 828 82 94 80 1587.21/1587.33 c 2431 27839 270116489 5100057 0 829 95 95 47 1593.31/1593.43 c 2440 27956 271222910 5119890 0 832 92 97 85 1599.51/1599.64 c 2450 28087 272347765 5140951 0 838 100 104 92 1605.51/1605.68 c 2460 28220 273418263 5161846 0 839 87 94 83 1611.62/1611.79 c 2470 28325 274476196 5180583 0 841 88 91 81 1617.72/1617.83 c 2480 28457 275546383 5203616 0 846 77 93 75 1623.82/1624.00 c 2490 28590 276660316 5225602 0 849 96 102 90 1629.92/1630.02 c 2500 28695 277703839 5244452 0 853 85 90 79 1635.92/1636.07 c 2510 28809 278782286 5266487 0 858 77 85 72 1642.03/1642.14 c 2520 28935 279873911 5287594 0 859 91 99 85 1648.22/1648.35 c 2530 29065 280993008 5308855 0 862 97 103 91 1654.22/1654.32 c 2540 29188 282054037 5328590 0 869 90 100 86 1660.32/1660.42 c 2550 29309 283159312 5349827 0 874 90 94 83 1666.22/1666.37 c 2560 29416 284193017 5370905 0 878 81 88 76 1672.22/1672.31 c 2570 29510 285180755 5389927 0 881 74 77 68 1678.22/1678.33 c 2580 29643 286286110 5410086 0 884 89 96 85 1684.42/1684.50 c 2590 29765 287371740 5430171 0 886 98 102 91 1690.52/1690.67 c 2600 29890 288496441 5452760 0 889 87 94 82 1696.72/1696.85 c 2610 30015 289582832 5472452 0 892 95 100 88 1702.93/1703.10 c 2620 30145 290698922 5493940 0 893 93 99 88 1709.03/1709.19 c 2630 30252 291761897 5512725 0 896 89 93 82 1714.93/1715.06 c 2640 30364 292792568 5532023 0 900 90 93 83 1720.93/1721.09 c 2650 30484 293889524 5552420 0 903 87 93 81 1727.12/1727.22 c 2660 30608 294964588 5573699 0 907 83 97 82 1733.12/1733.27 c 2670 30721 296013522 5593595 0 908 89 94 82 1739.12/1739.28 c 2680 30823 297054308 5614987 0 912 77 81 71 1745.12/1745.29 c 2690 30939 298117481 5634854 0 917 88 93 82 1751.22/1751.38 c 2700 31067 299211759 5655516 0 919 88 94 83 1757.22/1757.34 c 2710 31191 300263833 5675222 0 921 90 98 84 1763.32/1763.41 c 2720 31323 301375951 5696642 0 924 89 99 87 1769.32/1769.49 c 2730 31447 302496790 5718095 0 928 86 95 83 1775.33/1775.42 c 2740 31544 303527369 5738397 0 933 81 83 74 1781.33/1781.48 c 2750 31661 304625861 5759496 0 936 93 96 86 1787.43/1787.55 c 2760 31811 305736410 5780196 0 939 81 102 85 1793.63/1793.74 c 2770 31941 306859283 5800328 0 942 99 103 92 1799.43/1799.56 c 2771 32031 307834353 5816490 0 943 90 90 45 1805.43/1805.52 c 2780 32147 308885456 5836248 0 945 93 98 85 1811.63/1811.73 c 2790 32279 310003742 5857308 0 947 98 103 91 1817.73/1817.83 c 2800 32396 311090207 5879060 0 949 85 90 79 1823.83/1823.96 c 2810 32517 312199049 5899432 0 952 89 93 83 1829.94/1830.04 c 2820 32643 313302831 5921657 0 954 89 98 84 1835.94/1836.10 c 2830 32746 314378628 5943482 0 957 76 82 72 1842.13/1842.25 c 2840 32868 315477625 5966441 0 961 77 85 73 1848.23/1848.31 c 2850 32975 316515614 5988809 0 964 79 83 73 1854.04/1854.12 c 2860 33071 317493451 6007731 0 968 72 76 66 1860.13/1860.24 c 2870 33199 318611240 6028242 0 971 94 97 86 1866.23/1866.33 c 2880 33318 319697630 6050371 0 975 80 90 78 1872.04/1872.16 c 2890 33416 320695993 6069801 0 977 76 82 71 1878.23/1878.38 c 2900 33546 321836498 6094062 0 979 85 94 80 1884.33/1884.47 c 2910 33671 322911230 6116168 0 981 77 94 80 1890.33/1890.49 c 2920 33795 323940392 6136488 0 985 74 96 76 1896.53/1896.68 c 2930 33919 325057470 6158875 0 990 82 91 78 1902.63/1902.79 c 2940 34046 326159845 6179197 0 993 97 103 90 1908.73/1908.80 c 2950 34177 327243097 6200392 0 997 94 105 90 1914.94/1915.02 c 2960 34301 328376699 6220945 0 999 96 98 88 1921.13/1921.21 c 2970 34449 329520899 6243890 0 1001 85 101 84 1927.14/1927.28 c 2980 34587 330629344 6264711 0 1006 86 100 85 1933.34/1933.45 c 2990 34723 331736124 6285095 0 1007 99 102 91 1939.54/1939.62 c 3000 34850 332829000 6304966 0 1012 98 104 92 1945.34/1945.48 c 3010 34942 333807893 6325444 0 1014 69 73 64 1951.24/1951.37 c 3020 35036 334808195 6344806 0 1017 73 76 67 1957.24/1957.37 c 3030 35159 335857308 6366403 0 1021 79 88 76 1963.24/1963.34 c 3040 35255 336840584 6387183 0 1026 76 78 70 1969.24/1969.37 c 3050 35358 337894311 6408156 0 1028 77 80 71 1975.24/1975.34 c 3060 35460 338925682 6430349 0 1031 70 75 66 1981.24/1981.37 c 3070 35589 339995469 6452931 0 1037 69 91 73 1987.24/1987.30 c 3080 35703 341055784 6472400 0 1039 81 87 75 1993.05/1993.17 c 3090 35803 342055796 6492197 0 1041 75 79 69 1999.14/1999.23 c 3100 35927 343099077 6512896 0 1043 77 89 75 2005.14/2005.27 c 3110 36039 344175166 6533070 0 1046 86 89 79 2011.34/2011.44 c 3120 36154 345276415 6552574 0 1047 93 95 86 2017.34/2017.47 c 3130 36274 346367049 6573628 0 1050 91 96 85 2023.54/2023.62 c 3140 36386 347454373 6592885 0 1054 93 96 86 2029.34/2029.43 c 3142 36473 348422505 6609159 0 1055 84 86 56 2035.44/2035.57 c 3150 36584 349514396 6629433 0 1058 84 89 77 2041.54/2041.67 c 3160 36709 350640292 6649688 0 1061 92 98 86 2047.64/2047.73 c 3170 36819 351714725 6669751 0 1064 87 89 80 2053.64/2053.78 c 3180 36930 352783536 6689619 0 1069 88 93 81 2059.74/2059.80 c 3190 37047 353851734 6708347 0 1074 92 98 86 2065.84/2065.93 c 3200 37169 354938363 6728107 0 1078 97 101 90 2071.84/2071.91 c 3210 37282 356014422 6748355 0 1080 85 90 78 2078.05/2078.15 c 3220 37406 357145856 6768963 0 1083 92 99 86 2084.15/2084.23 c 3230 37526 358250874 6789085 0 1086 92 96 84 2090.25/2090.33 c 3240 37662 359369335 6811028 0 1089 89 99 84 2096.35/2096.49 c 3250 37774 360444465 6832956 0 1092 78 86 74 2102.44/2102.52 c 3260 37889 361501959 6853148 0 1095 89 95 82 2108.35/2108.49 c 3270 37988 362503079 6872959 0 1100 73 78 69 2114.25/2114.34 c 3280 38091 363512741 6891559 0 1102 76 81 71 2120.15/2120.25 c 3290 38201 364546354 6910897 0 1104 77 84 73 2126.15/2126.20 c 3300 38296 365540151 6929881 0 1107 73 76 68 2132.15/2132.29 c 3310 38420 366601572 6949013 0 1111 82 101 86 2138.25/2138.35 c 3320 38535 367691766 6968921 0 1114 93 96 85 2144.35/2144.44 c 3330 38668 368809402 6989649 0 1116 88 95 83 2150.25/2150.39 c 3340 38782 369855999 7008951 0 1122 86 98 84 2156.45/2156.52 c 3350 38905 370956710 7028988 0 1126 92 99 86 2162.45/2162.58 c 3360 39024 372052196 7048541 0 1129 94 98 86 2168.55/2168.63 c 3370 39146 373134442 7068014 0 1133 90 97 85 2174.75/2174.83 c 3380 39265 374230544 7087658 0 1137 94 101 88 2180.75/2180.88 c 3390 39403 375330073 7108995 0 1141 80 95 82 2186.96/2187.02 c 3400 39557 376474251 7132887 0 1146 85 96 81 2193.15/2193.27 c 3410 39684 377600497 7153391 0 1149 95 101 88 2199.15/2199.23 c 3420 39794 378666542 7173057 0 1153 90 92 82 2205.15/2205.28 c 3430 39917 379754598 7192846 0 1155 93 98 87 2211.25/2211.37 c 3440 40036 380861689 7212761 0 1157 94 98 86 2217.15/2217.28 c 3450 40143 381910306 7232450 0 1160 87 89 80 2223.25/2223.30 c 3460 40263 383000019 7252700 0 1163 95 99 87 2229.25/2229.30 c 3470 40414 384068880 7273345 0 1166 92 102 89 2235.25/2235.33 c 3480 40526 385160353 7293229 0 1168 90 95 84 2241.25/2241.34 c 3490 40645 386225427 7312259 0 1170 96 100 89 2247.35/2247.43 c 3500 40762 387324327 7332329 0 1174 91 96 85 2253.45/2253.52 c 3510 40881 388414530 7352638 0 1176 85 89 79 2259.45/2259.54 c 3520 40993 389488878 7371886 0 1177 89 93 82 2265.66/2265.71 c 3530 41107 390586065 7392313 0 1178 87 90 79 2271.66/2271.73 c 3540 41226 391664188 7413368 0 1182 87 95 82 2277.56/2277.61 c 3550 41331 392689481 7432809 0 1184 81 86 75 2283.46/2283.55 c 3551 41424 393692077 7450034 0 1185 93 93 46 2289.66/2289.78 c 3560 41546 394804198 7469782 0 1189 95 102 88 2295.86/2295.98 c 3570 41658 395898333 7490094 0 1191 88 92 81 2301.97/2302.05 c 3580 41779 396983148 7510681 0 1194 88 95 82 2308.16/2308.23 c 3590 41901 398097284 7530123 0 1198 92 98 85 2314.07/2314.18 c 3600 42039 399165150 7551736 0 1200 89 95 84 2320.26/2320.31 c 3610 42156 400239796 7570792 0 1201 96 99 89 2326.16/2326.23 c 3620 42276 401275797 7591395 0 1202 82 91 78 2332.36/2332.41 c 3630 42410 402386718 7612842 0 1203 91 99 85 2338.56/2338.60 c 3640 42533 403490176 7633744 0 1206 94 99 87 2344.56/2344.69 c 3650 42642 404540155 7654212 0 1211 79 85 74 2350.66/2350.75 c 3660 42765 405616485 7674997 0 1214 89 99 85 2356.86/2356.92 c 3670 42906 406716318 7694804 0 1216 97 104 91 2363.07/2363.18 c 3680 43030 407832691 7715683 0 1221 91 98 85 2369.07/2369.14 c 3690 43137 408872849 7735895 0 1225 86 91 79 2375.16/2375.21 c 3700 43246 409946931 7756008 0 1229 81 87 76 2381.16/2381.22 c 3710 43344 410985991 7777080 0 1234 75 78 70 2387.46/2387.58 c 3720 43496 412173435 7802976 0 1236 84 100 81 2393.76/2393.80 c 3730 43627 413315670 7826867 0 1239 78 90 75 2399.76/2399.83 c 3740 43766 414420252 7848326 0 1241 91 98 85 2405.76/2405.80 c 3750 43883 415461010 7869200 0 1247 76 95 78 2411.87/2411.95 c 3760 44038 416576619 7891193 0 1252 90 101 87 2417.97/2418.07 c 3770 44165 417687594 7912682 0 1255 92 99 86 2424.08/2424.18 c 3780 44290 418778432 7933000 0 1258 87 97 83 2430.28/2430.30 c 3790 44403 419863154 7954589 0 1261 78 83 73 2436.38/2436.49 c 3800 44520 420983478 7974845 0 1265 92 94 84 2442.28/2442.32 c 3810 44611 421979879 7995083 0 1270 74 77 68 2448.38/2448.42 c 3820 44731 423084574 8016804 0 1274 84 90 79 2454.48/2454.56 c 3830 44878 424173565 8038080 0 1279 96 105 92 2460.58/2460.65 c 3840 45011 425285371 8058647 0 1284 95 101 89 2466.78/2466.81 c 3850 45132 426380884 8078825 0 1286 87 96 83 2472.88/2472.91 c 3860 45251 427451041 8097896 0 1287 95 101 89 2478.99/2479.01 c 3870 45389 428563221 8119109 0 1291 96 103 89 2484.88/2484.97 c 3880 45509 429634970 8140452 0 1294 89 93 82 2490.99/2491.03 c 3890 45620 430677420 8160257 0 1301 82 95 79 2496.78/2496.80 c 3900 45715 431672124 8178255 0 1305 79 82 73 2502.58/2502.69 c 3910 45810 432670812 8200183 0 1306 71 78 65 2508.58/2508.67 c 3920 45932 433720955 8219621 0 1309 98 101 90 2514.58/2514.65 c 3930 46043 434781340 8238798 0 1312 89 97 83 2519.99/2520.01 2519.99/2520.01 c *** INTERRUPTED *** 2519.99/2520.01 c restarts : 409 2519.99/2520.01 c conflicts : 3930 (2 /sec) 2519.99/2520.01 c decisions : 46103 (18 /sec) 2519.99/2520.01 c propagations : 8252797 (3276 /sec) 2519.99/2520.01 c root propagations : 0 2519.99/2520.01 c filter calls : 435567649 (172926 /sec) 2519.99/2520.01 c useless filter calls : 429800148 (98 %) 2519.99/2520.01 c 2519.99/2520.01 c clauses : 991512 2519.99/2520.01 c SAT propagations : 0 2519.99/2520.01 c SAT conflicts : 0 (0 learnts) 2519.99/2520.01 c Memory used : 259.98 MB 2519.99/2520.01 c CPU time : 2518.82 s 2519.99/2520.01 2519.99/2520.01 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 (15019 MiB free) memory of node 1: 16384 MiB (13162 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266444-1502590565/watcher-4266444-1502590565 -o /tmp/evaluation-result-4266444-1502590565/solver-4266444-1502590565 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8353 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266444-1502590565.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=14035, runsolver pid=14032 [startup+0.100089 s]* /proc/loadavg: 2.02 2.01 2.05 4/189 14036 /proc/meminfo: memFree=28858780/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=27260 memory=3328 CPUtime=0.01 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1046 0 0 0 1 0 0 0 20 0 1 0 106871682 27914240 832 18446744073709551615 4194304 5972588 140737148878928 140737148875576 140185296702437 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 6815 832 709 435 0 178 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 27260 KiB Current children cumulated memory: 3328 KiB [startup+0.209823 s]* /proc/loadavg: 2.02 2.01 2.05 3/189 14036 /proc/meminfo: memFree=28857384/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=28420 memory=4384 CPUtime=0.11 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1301 0 0 0 11 0 0 0 20 0 1 0 106871682 29102080 1096 18446744073709551615 4194304 5972588 140737148878928 140737148875576 140185297140736 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 7105 1096 716 435 0 468 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28420 KiB Current children cumulated memory: 4384 KiB [startup+0.309219 s]* /proc/loadavg: 2.02 2.01 2.05 3/189 14036 /proc/meminfo: memFree=28856920/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=29404 memory=5468 CPUtime=0.21 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1580 0 0 0 21 0 0 0 20 0 1 0 106871682 30109696 1367 18446744073709551615 4194304 5972588 140737148878928 140737148875576 140185296702437 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 7351 1367 716 435 0 714 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29404 KiB Current children cumulated memory: 5468 KiB [startup+0.700228 s] /proc/loadavg: 2.02 2.01 2.05 3/189 14036 /proc/meminfo: memFree=28855804/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=31780 memory=8108 CPUtime=0.6 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 2270 0 0 0 60 0 0 0 20 0 1 0 106871682 32542720 2027 18446744073709551615 4194304 5972588 140737148878928 140737148875576 140185296695039 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 7945 2027 786 435 0 1308 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 31780 KiB Current children cumulated memory: 8108 KiB [startup+1.50023 s] /proc/loadavg: 2.02 2.01 2.05 3/189 14036 /proc/meminfo: memFree=28852828/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=36532 memory=12860 CPUtime=1.39 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 3454 0 0 0 139 0 0 0 20 0 1 0 106871682 37408768 3215 18446744073709551615 4194304 5972588 140737148878928 140737148870696 140185306343912 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 9133 3215 786 435 0 2496 0 Current children cumulated CPU time: 1.39 s Current children cumulated vsize: 36532 KiB Current children cumulated memory: 12860 KiB [startup+3.10938 s] /proc/loadavg: 2.10 2.03 2.05 3/189 14036 /proc/meminfo: memFree=28840944/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=46036 memory=22296 CPUtime=3 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 5983 0 0 0 300 0 0 0 20 0 1 0 106871682 47140864 5574 18446744073709551615 4194304 5972588 140737148878928 140737148870504 140185306343828 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 11509 5574 786 435 0 4872 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 46036 KiB Current children cumulated memory: 22296 KiB [startup+6.30022 s] /proc/loadavg: 2.10 2.03 2.05 3/189 14036 /proc/meminfo: memFree=28823468/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=64912 memory=41144 CPUtime=6.19 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 10947 0 0 0 618 1 0 0 20 0 1 0 106871682 66469888 10286 18446744073709551615 4194304 5972588 140737148878928 140737148870696 140185296712560 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 16228 10286 786 435 0 9591 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 64912 KiB Current children cumulated memory: 41144 KiB [startup+12.7002 s] /proc/loadavg: 2.08 2.03 2.05 3/190 14038 /proc/meminfo: memFree=28787864/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=102928 memory=79056 CPUtime=12.59 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 20776 0 0 0 1257 2 0 0 20 0 1 0 106871682 105398272 19764 18446744073709551615 4194304 5972588 140737148878928 140737148870696 140185306644793 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 25732 19764 786 435 0 19095 0 Current children cumulated CPU time: 12.59 s Current children cumulated vsize: 102928 KiB Current children cumulated memory: 79056 KiB [startup+25.5004 s] /proc/loadavg: 2.15 2.05 2.05 3/190 14038 /proc/meminfo: memFree=28625924/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=264672 memory=236800 CPUtime=25.39 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 125181 0 0 0 2527 12 0 0 20 0 1 0 106871682 271024128 59200 18446744073709551615 4194304 5972588 140737148878928 140737148875960 4909639 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66168 59200 834 435 0 59531 0 Current children cumulated CPU time: 25.39 s Current children cumulated vsize: 264672 KiB Current children cumulated memory: 236800 KiB [startup+51.1096 s] /proc/loadavg: 2.17 2.06 2.06 3/187 14038 /proc/meminfo: memFree=28628956/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=264936 memory=236984 CPUtime=50.99 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 174572 0 0 0 5085 14 0 0 20 0 1 0 106871682 271294464 59246 18446744073709551615 4194304 5972588 140737148878928 140737148876232 5071318 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66234 59246 834 435 0 59597 0 Current children cumulated CPU time: 50.99 s Current children cumulated vsize: 264936 KiB Current children cumulated memory: 236984 KiB [startup+102.3 s] /proc/loadavg: 2.17 2.08 2.06 3/187 14040 /proc/meminfo: memFree=28629504/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265332 memory=237448 CPUtime=102.18 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 224670 0 0 0 10201 17 0 0 20 0 1 0 106871682 271699968 59362 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66333 59362 834 435 0 59696 0 Current children cumulated CPU time: 102.18 s Current children cumulated vsize: 265332 KiB Current children cumulated memory: 237448 KiB [startup+162.3 s] /proc/loadavg: 2.17 2.10 2.07 3/187 14042 /proc/meminfo: memFree=28629316/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265464 memory=237584 CPUtime=162.19 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 274967 0 0 0 16199 20 0 0 20 0 1 0 106871682 271835136 59396 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965428 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66366 59396 834 435 0 59729 0 Current children cumulated CPU time: 162.19 s Current children cumulated vsize: 265464 KiB Current children cumulated memory: 237584 KiB [startup+222.3 s] /proc/loadavg: 1.97 2.06 2.06 3/186 14044 /proc/meminfo: memFree=28629440/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265684 memory=237720 CPUtime=222.19 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 325366 0 0 0 22197 22 0 0 20 0 1 0 106871682 272060416 59430 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4909660 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66421 59430 834 435 0 59784 0 Current children cumulated CPU time: 222.19 s Current children cumulated vsize: 265684 KiB Current children cumulated memory: 237720 KiB [startup+282.3 s] /proc/loadavg: 2.48 2.21 2.11 3/186 14046 /proc/meminfo: memFree=28629532/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265684 memory=237720 CPUtime=282.2 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 375439 0 0 0 28195 25 0 0 20 0 1 0 106871682 272060416 59430 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4909624 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66421 59430 834 435 0 59784 0 Current children cumulated CPU time: 282.2 s Current children cumulated vsize: 265684 KiB Current children cumulated memory: 237720 KiB [startup+342.3 s] /proc/loadavg: 2.18 2.17 2.10 3/185 14049 /proc/meminfo: memFree=28629820/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265684 memory=237748 CPUtime=342.2 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 425623 0 0 0 34194 26 0 0 20 0 1 0 106871682 272060416 59437 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66421 59437 834 435 0 59784 0 Current children cumulated CPU time: 342.2 s Current children cumulated vsize: 265684 KiB Current children cumulated memory: 237748 KiB [startup+402.3 s] /proc/loadavg: 2.06 2.14 2.10 3/186 14052 /proc/meminfo: memFree=28629292/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265816 memory=237792 CPUtime=402.21 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 475473 0 0 0 40192 29 0 0 20 0 1 0 106871682 272195584 59448 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965365 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66454 59448 834 435 0 59817 0 Current children cumulated CPU time: 402.21 s Current children cumulated vsize: 265816 KiB Current children cumulated memory: 237792 KiB [startup+462.3 s] /proc/loadavg: 2.02 2.12 2.09 3/186 14054 /proc/meminfo: memFree=28629252/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=265816 memory=237828 CPUtime=462.21 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 525474 0 0 0 46190 31 0 0 20 0 1 0 106871682 272195584 59457 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66454 59457 834 435 0 59817 0 Current children cumulated CPU time: 462.21 s Current children cumulated vsize: 265816 KiB Current children cumulated memory: 237828 KiB ################ # More data... # ################ /proc/14035/statm: 66520 59914 834 435 0 59883 0 Current children cumulated CPU time: 1722.22 s Current children cumulated vsize: 266080 KiB Current children cumulated memory: 239656 KiB [startup+1782.3 s] /proc/loadavg: 2.09 3.20 3.01 3/190 14828 /proc/meminfo: memFree=29772604/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266080 memory=239656 CPUtime=1782.23 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1015555 0 0 0 178106 117 0 0 20 0 1 0 106871682 272465920 59914 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965365 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66520 59914 834 435 0 59883 0 Current children cumulated CPU time: 1782.23 s Current children cumulated vsize: 266080 KiB Current children cumulated memory: 239656 KiB [startup+1842.3 s] /proc/loadavg: 2.03 2.98 2.95 3/187 14830 /proc/meminfo: memFree=29776616/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266080 memory=239656 CPUtime=1842.23 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1015557 0 0 0 184106 117 0 0 20 0 1 0 106871682 272465920 59914 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66520 59914 834 435 0 59883 0 Current children cumulated CPU time: 1842.23 s Current children cumulated vsize: 266080 KiB Current children cumulated memory: 239656 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.80 2.89 3/185 14832 /proc/meminfo: memFree=29776596/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239664 CPUtime=1902.23 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1016382 0 0 0 190106 117 0 0 20 0 1 0 106871682 272601088 59916 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965365 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59916 834 435 0 59916 0 Current children cumulated CPU time: 1902.23 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239664 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.66 2.83 3/185 14834 /proc/meminfo: memFree=29776588/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239672 CPUtime=1962.24 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1016383 0 0 0 196107 117 0 0 20 0 1 0 106871682 272601088 59918 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965365 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59918 834 435 0 59916 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239672 KiB [startup+2022.3 s] /proc/loadavg: 2.15 2.58 2.80 3/186 14838 /proc/meminfo: memFree=29776728/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239676 CPUtime=2022.24 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1017229 0 0 0 202107 117 0 0 20 0 1 0 106871682 272601088 59919 18446744073709551615 4194304 5972588 140737148878928 140737148876232 5070688 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59919 834 435 0 59916 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239676 KiB [startup+2082.3 s] /proc/loadavg: 2.05 2.48 2.75 3/186 14840 /proc/meminfo: memFree=29777092/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239676 CPUtime=2082.25 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1017231 0 0 0 208108 117 0 0 20 0 1 0 106871682 272601088 59919 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59919 834 435 0 59916 0 Current children cumulated CPU time: 2082.25 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239676 KiB [startup+2142.3 s] /proc/loadavg: 2.02 2.39 2.70 3/186 14842 /proc/meminfo: memFree=29777008/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239692 CPUtime=2142.25 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1018074 0 0 0 214108 117 0 0 20 0 1 0 106871682 272601088 59923 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4909639 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59923 834 435 0 59916 0 Current children cumulated CPU time: 2142.25 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239692 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.32 2.66 3/186 14844 /proc/meminfo: memFree=29776756/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239692 CPUtime=2202.25 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1018074 0 0 0 220108 117 0 0 20 0 1 0 106871682 272601088 59923 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965365 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59923 834 435 0 59916 0 Current children cumulated CPU time: 2202.25 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239692 KiB [startup+2262.3 s] /proc/loadavg: 2.07 2.29 2.63 3/186 14846 /proc/meminfo: memFree=29776868/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239704 CPUtime=2262.26 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1018908 0 0 0 226109 117 0 0 20 0 1 0 106871682 272601088 59926 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965331 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59926 834 435 0 59916 0 Current children cumulated CPU time: 2262.26 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239704 KiB [startup+2322.3 s] /proc/loadavg: 2.02 2.24 2.58 3/188 14863 /proc/meminfo: memFree=29772068/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239704 CPUtime=2322.26 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1018911 0 0 0 232109 117 0 0 20 0 1 0 106871682 272601088 59926 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59926 834 435 0 59916 0 Current children cumulated CPU time: 2322.26 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239704 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.19 2.55 3/188 14865 /proc/meminfo: memFree=29772540/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239716 CPUtime=2382.26 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1019748 0 0 0 238109 117 0 0 20 0 1 0 106871682 272601088 59929 18446744073709551615 4194304 5972588 140737148878928 140737148876232 5071856 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59929 834 435 0 59916 0 Current children cumulated CPU time: 2382.26 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239716 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.16 2.51 3/186 14868 /proc/meminfo: memFree=29775896/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239716 CPUtime=2442.28 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1019752 0 0 0 244110 118 0 0 20 0 1 0 106871682 272601088 59929 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4909702 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59929 834 435 0 59916 0 Current children cumulated CPU time: 2442.28 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239716 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.13 2.48 3/186 14870 /proc/meminfo: memFree=29776212/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239720 CPUtime=2502.28 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1020588 0 0 0 250110 118 0 0 20 0 1 0 106871682 272601088 59930 18446744073709551615 4194304 5972588 140737148878928 140737148876232 5070800 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59930 834 435 0 59916 0 Current children cumulated CPU time: 2502.28 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239720 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.12 2.47 3/186 14870 /proc/meminfo: memFree=29776336/32770624 swapFree=67108860/67108860 [pid=14035] ppid=14032 vsize=266212 memory=239720 CPUtime=2519.99 cores=0,2,4,6 /proc/14035/stat : 14035 (cosoco) R 14032 14035 8289 0 -1 4202496 1020588 0 0 0 251881 118 0 0 20 0 1 0 106871682 272601088 59930 18446744073709551615 4194304 5972588 140737148878928 140737148876232 4965365 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11112448 140737148883396 140737148883496 140737148883496 140737148886990 0 /proc/14035/statm: 66553 59930 834 435 0 59916 0 Current children cumulated CPU time: 2519.99 s Current children cumulated vsize: 266212 KiB Current children cumulated memory: 239720 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 14035 was just reported to runsolver # cumulated CPU time of all completed processes: user=2518.82 s, system=1.18106 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2520 CPU user time (s): 2518.82 CPU system time (s): 1.18106 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 266212 Max. memory (cumulated for all children) (KiB): 239720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2518.82 system time used= 1.18106 maximum resident set size= 239784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1020624 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= 53 involuntary context switches= 3904 # summary of solver processes directly reported to runsolver: # pid: 14035 # total CPU time (s): 2520 # total CPU user time (s): 2518.82 # total CPU system time (s): 1.18106 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.89977 second user time and 19.1779 second system time The end
Begin job on node133 at 2017-08-13 04:01:57 IDJOB=4266444 IDBENCH=138396 IDSOLVER=2655 FILE ID=node133/4266444-1502590565 RUNJOBID= node133-1502565190-8353 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-02.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266444-1502590565/watcher-4266444-1502590565 -o /tmp/evaluation-result-4266444-1502590565/solver-4266444-1502590565 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8353 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266444-1502590565.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 80353dd8c937a5bb459a24b290639269 RANDOM SEED=2063951490 node133.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.17 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.17 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.17 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.17 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: 28859420 kB MemAvailable: 29773504 kB Buffers: 310152 kB Cached: 905504 kB SwapCached: 0 kB Active: 2958832 kB Inactive: 509636 kB Active(anon): 2253728 kB Inactive(anon): 41304 kB Active(file): 705104 kB Inactive(file): 468332 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3432 kB Writeback: 8 kB AnonPages: 2253816 kB Mapped: 58088 kB Shmem: 41660 kB Slab: 140576 kB SReclaimable: 112968 kB SUnreclaim: 27608 kB KernelStack: 3328 kB PageTables: 9436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2754984 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2174976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62024 MiB End job on node133 at 2017-08-13 04:43:57