Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 1737928 | 2520.06 | 2520.01 |
Name | Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml |
MD5SUM | f56a4553a90e1a028ece3fd7f833aea7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3017966 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 500 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c Mistral 01082018 0.41/0.43 o 0 0.41/0.43 o 2585 0.41/0.43 o 3737 0.41/0.44 o 11093 0.41/0.44 o 17698 0.41/0.44 o 20860 0.41/0.44 o 23794 0.41/0.44 o 30871 0.41/0.44 o 37478 0.41/0.44 o 39712 0.41/0.44 o 41913 0.41/0.44 o 51631 0.41/0.44 o 57598 0.41/0.45 o 64210 0.41/0.45 o 67583 0.41/0.45 o 69578 0.41/0.45 o 76086 0.41/0.45 o 78535 0.41/0.45 o 84148 0.41/0.45 o 86934 0.41/0.45 o 91375 0.41/0.45 o 93443 0.41/0.46 o 96837 0.41/0.46 o 98172 0.41/0.46 o 104066 0.41/0.46 o 104535 0.41/0.46 o 105833 0.41/0.46 o 106049 0.41/0.46 o 108630 0.41/0.46 o 110083 0.41/0.47 o 118480 0.41/0.47 o 126925 0.41/0.47 o 130019 0.41/0.47 o 136977 0.41/0.47 o 138388 0.41/0.47 o 146087 0.41/0.47 o 150652 0.41/0.48 o 154090 0.41/0.48 o 156003 0.41/0.48 o 163720 0.41/0.48 o 171367 0.41/0.48 o 174427 0.41/0.48 o 181545 0.41/0.49 o 186866 0.41/0.49 o 191653 0.41/0.49 o 195875 0.41/0.49 o 199512 0.41/0.49 o 206787 0.41/0.49 o 206998 0.41/0.50 o 215291 0.41/0.50 o 219607 0.41/0.50 o 221971 0.41/0.50 o 227482 0.41/0.50 o 234086 0.41/0.51 o 235862 0.41/0.51 o 242713 0.41/0.51 o 251937 0.41/0.51 o 256034 0.41/0.51 o 260896 0.51/0.52 o 268303 0.51/0.52 o 275244 0.51/0.52 o 280189 0.51/0.52 o 284807 0.51/0.52 o 285846 0.51/0.53 o 294942 0.51/0.53 o 296318 0.51/0.53 o 299335 0.51/0.53 o 307536 0.51/0.54 o 316008 0.51/0.54 o 320463 0.51/0.54 o 324460 0.51/0.54 o 332116 0.51/0.54 o 332747 0.51/0.54 o 334989 0.51/0.55 o 337959 0.51/0.55 o 343304 0.51/0.55 o 344702 0.51/0.55 o 353707 0.51/0.56 o 359708 0.51/0.56 o 365509 0.51/0.56 o 367587 0.51/0.56 o 368737 0.51/0.56 o 375057 0.51/0.56 o 375290 0.51/0.57 o 383989 0.51/0.57 o 384459 0.51/0.57 o 392387 0.51/0.57 o 393882 0.51/0.58 o 397662 0.51/0.58 o 404878 0.51/0.58 o 409674 0.51/0.58 o 417298 0.51/0.59 o 426741 0.51/0.59 o 432152 0.51/0.59 o 433409 0.51/0.59 o 434402 0.51/0.60 o 442110 0.51/0.60 o 443949 0.51/0.60 o 450182 0.51/0.60 o 454179 0.60/0.61 o 457336 0.60/0.61 o 458533 0.60/0.61 o 464938 0.60/0.61 o 474540 0.60/0.62 o 484402 0.60/0.62 o 493723 0.60/0.62 o 494741 0.60/0.63 o 502424 0.60/0.63 o 502951 0.60/0.63 o 504370 0.60/0.63 o 507356 0.60/0.64 o 515706 0.60/0.64 o 519713 0.60/0.64 o 529583 0.60/0.65 o 537120 0.60/0.65 o 545681 0.60/0.65 o 547074 0.60/0.65 o 548918 0.60/0.66 o 550686 0.60/0.66 o 557139 0.60/0.66 o 562222 0.60/0.66 o 565748 0.60/0.67 o 566970 0.60/0.67 o 570921 0.60/0.67 o 580045 0.60/0.68 o 584407 0.60/0.68 o 593531 0.60/0.68 o 594608 0.60/0.68 o 594862 0.60/0.69 o 598364 0.60/0.69 o 606599 0.60/0.70 o 615905 0.69/0.70 o 622590 0.69/0.70 o 628481 0.69/0.71 o 632193 0.69/0.71 o 640704 0.69/0.71 o 645365 0.69/0.71 o 645921 0.69/0.72 o 648755 0.69/0.72 o 658517 0.69/0.72 o 662687 0.69/0.73 o 667611 0.69/0.73 o 669099 0.69/0.73 o 670692 0.69/0.74 o 679187 0.69/0.74 o 682816 0.69/0.74 o 687403 0.69/0.75 o 690643 0.69/0.75 o 697650 0.69/0.75 o 698612 0.69/0.75 o 701389 0.69/0.76 o 709389 0.69/0.76 o 718100 0.69/0.77 o 718480 0.69/0.77 o 726646 0.69/0.77 o 726873 0.69/0.78 o 734095 0.69/0.78 o 736988 0.69/0.78 o 738077 0.69/0.78 o 740606 0.69/0.79 o 746707 0.69/0.79 o 747756 0.69/0.79 o 749793 0.79/0.80 o 756693 0.79/0.80 o 764954 0.79/0.80 o 765240 0.79/0.81 o 769449 0.79/0.81 o 776625 0.79/0.82 o 782099 0.79/0.82 o 784292 0.79/0.82 o 793147 0.79/0.83 o 795810 0.79/0.83 o 797107 0.79/0.83 o 799189 0.79/0.84 o 804912 0.79/0.84 o 813553 0.79/0.85 o 821084 0.79/0.85 o 825621 0.79/0.85 o 829446 0.79/0.86 o 831726 0.79/0.86 o 835792 0.79/0.86 o 839439 0.79/0.86 o 839758 0.79/0.87 o 842701 0.79/0.87 o 843715 0.79/0.88 o 851468 0.79/0.88 o 851548 0.79/0.88 o 857263 0.79/0.89 o 861383 0.79/0.89 o 870737 0.79/0.89 o 872980 0.89/0.90 o 882690 0.89/0.91 o 890505 0.89/0.91 o 893236 0.89/0.92 o 901590 0.89/0.92 o 911339 0.89/0.93 o 919832 0.89/0.94 o 926841 0.89/0.94 o 935511 0.89/0.95 o 944295 0.89/0.95 o 944466 0.89/0.95 o 949811 0.89/0.96 o 959801 0.89/0.97 o 966746 0.89/0.97 o 973268 0.89/0.97 o 973894 0.89/0.98 o 978116 0.89/0.98 o 983039 0.89/0.99 o 991728 0.89/0.99 o 995131 0.89/1.00 o 996547 0.89/1.00 o 1005331 1.00/1.01 o 1007437 1.00/1.01 o 1011416 1.00/1.02 o 1018884 1.00/1.02 o 1022592 1.00/1.03 o 1029404 1.00/1.03 o 1031011 1.00/1.03 o 1034912 1.00/1.03 o 1035584 1.00/1.04 o 1040885 1.00/1.04 o 1045772 1.00/1.05 o 1051094 1.00/1.06 o 1059479 1.00/1.06 o 1065084 1.00/1.06 o 1067202 1.00/1.07 o 1071083 1.00/1.08 o 1078960 1.00/1.08 o 1081196 1.00/1.09 o 1090521 1.00/1.09 o 1095051 1.00/1.09 o 1097362 1.00/1.10 o 1105210 1.10/1.11 o 1114320 1.10/1.11 o 1115310 1.10/1.12 o 1119953 1.10/1.12 o 1129291 1.10/1.13 o 1134384 1.10/1.13 o 1136962 1.10/1.14 o 1140793 1.10/1.14 o 1144408 1.10/1.15 o 1154212 1.10/1.15 o 1155055 1.10/1.16 o 1161442 1.10/1.16 o 1162934 1.10/1.17 o 1172740 1.10/1.17 o 1173173 1.10/1.18 o 1178404 1.10/1.19 o 1187789 1.10/1.19 o 1192967 1.19/1.20 o 1201048 1.19/1.20 o 1207132 1.19/1.21 o 1213150 1.19/1.22 o 1219265 1.19/1.22 o 1221884 1.19/1.23 o 1228183 1.19/1.23 o 1232547 1.19/1.24 o 1235935 1.19/1.24 o 1239367 1.19/1.25 o 1248241 1.19/1.25 o 1253917 1.19/1.26 o 1262740 1.19/1.27 o 1266855 1.19/1.28 o 1276205 1.19/1.28 o 1282194 1.19/1.29 o 1291464 1.29/1.30 o 1294499 1.29/1.30 o 1296260 1.29/1.30 o 1298099 1.29/1.30 o 1299339 1.29/1.31 o 1304551 1.29/1.31 o 1306246 1.29/1.32 o 1313122 1.29/1.33 o 1322071 1.29/1.33 o 1323747 1.29/1.34 o 1333564 1.29/1.34 o 1334745 1.29/1.35 o 1342280 1.29/1.35 o 1342464 1.29/1.36 o 1343393 1.29/1.36 o 1345141 1.29/1.37 o 1349770 1.29/1.37 o 1351652 1.29/1.38 o 1358389 1.29/1.38 o 1360452 1.29/1.38 o 1360532 1.29/1.39 o 1367407 1.29/1.39 o 1370185 1.39/1.40 o 1373648 1.39/1.40 o 1378914 1.39/1.41 o 1380766 1.39/1.41 o 1384436 1.39/1.42 o 1386661 1.39/1.42 o 1394789 1.39/1.43 o 1395485 1.39/1.43 o 1400925 1.39/1.44 o 1405683 1.39/1.44 o 1407756 1.39/1.45 o 1415818 1.39/1.46 o 1419428 1.39/1.46 o 1421352 1.39/1.47 o 1425744 1.39/1.48 o 1434158 1.39/1.49 o 1443638 1.49/1.50 o 1451992 1.49/1.50 o 1454030 1.49/1.51 o 1460533 1.49/1.51 o 1464952 1.49/1.52 o 1468329 1.49/1.53 o 1474483 1.49/1.54 o 1483609 1.49/1.54 o 1484908 1.49/1.55 o 1494012 1.49/1.55 o 1495244 1.49/1.56 o 1504249 1.49/1.57 o 1510824 1.49/1.58 o 1518960 1.49/1.58 o 1519101 1.49/1.59 o 1523693 1.59/1.60 o 1528777 1.59/1.60 o 1535475 1.59/1.61 o 1537172 1.59/1.61 o 1541686 1.59/1.62 o 1542050 1.59/1.62 o 1547923 1.59/1.63 o 1550259 1.59/1.63 o 1552592 1.59/1.64 o 1558679 1.59/1.65 o 1567843 1.59/1.65 o 1569755 1.59/1.66 o 1571949 1.59/1.66 o 1574466 1.59/1.67 o 1583387 1.59/1.68 o 1584151 1.59/1.69 o 1594866 1.69/1.70 o 1607193 1.69/1.71 o 1611411 1.69/1.71 o 1613377 1.69/1.72 o 1616437 1.69/1.73 o 1619140 1.69/1.74 o 1631807 1.69/1.76 o 1643631 1.69/1.78 o 1653836 1.79/1.80 o 1662544 2.00/2.09 o 1676430 2.59/2.68 o 1678949 2.89/2.99 o 1695660 5.69/5.74 o 1695819 8.69/8.74 o 1697015 15.29/15.32 o 1698743 43.29/43.39 o 1699741 61.00/61.03 o 1704167 300.10/300.14 o 1704648 478.19/478.20 o 1710414 516.00/516.09 o 1725582 896.90/896.95 o 1729851 1016.02/1016.08 o 1737928 2520.05/2520.00 s SATISFIABLE 2520.05/2520.00 v <instantiation type="solution"> 2520.05/2520.00 v <list> b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list> 2520.05/2520.05 v <values> 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 </values> 2520.05/2520.05 v </instantiation>
OK 1737928
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 (1462 MiB free) memory of node 1: 16384 MiB (269 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304100-1534000865/watcher-4304100-1534000865 -o /tmp/evaluation-result-4304100-1534000865/solver-4304100-1534000865 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15522 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1256617648 HOME/instance-4304100-1534000865.xml running on 4 cores: 1,3,5,7 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 solver pid=16554, runsolver pid=16551 Current StackSize limit: 8192 KiB [startup+0.100116 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1760704/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=40920 memory=15664 CPUtime=0.1 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 4253 0 0 0 10 0 0 0 20 0 1 0 217649693 41902080 3916 33554432000 4194304 7499544 140730007270240 140730007267240 4564151 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 10230 3916 727 807 0 3221 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 40920 KiB Current children cumulated memory: 15664 KiB [startup+0.209728 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1754860/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=47100 memory=21852 CPUtime=0.2 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 5932 0 0 0 20 0 0 0 20 0 1 0 217649693 48230400 5463 33554432000 4194304 7499544 140730007270240 140730007267240 6070698 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 11775 5463 727 807 0 4766 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 47100 KiB Current children cumulated memory: 21852 KiB [startup+0.309587 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1752628/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49424 memory=24228 CPUtime=0.3 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 6522 0 0 0 30 0 0 0 20 0 1 0 217649693 50610176 6057 33554432000 4194304 7499544 140730007270240 140730007267240 5163917 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12356 6057 761 807 0 5347 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 49424 KiB Current children cumulated memory: 24228 KiB [startup+0.700294 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1752256/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24756 CPUtime=0.69 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 6666 0 0 0 68 1 0 0 20 0 1 0 217649693 51187712 6189 33554432000 4194304 7499544 140730007270240 140730007267240 139902007106656 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6189 761 807 0 5488 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24756 KiB [startup+1.50032 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1752256/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24756 CPUtime=1.49 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 6666 0 0 0 148 1 0 0 20 0 1 0 217649693 51187712 6189 33554432000 4194304 7499544 140730007270240 140730007267240 5770230 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6189 761 807 0 5488 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24756 KiB [startup+3.10932 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1752256/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=3.1 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 10544 0 0 0 309 1 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007267240 5771824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1751244/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=6.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 14418 0 0 0 628 1 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5773383 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1751244/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=12.69 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 18292 0 0 0 1267 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 4249922 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1751244/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=25.49 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 25987 0 0 0 2547 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5840039 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+51.1091 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16555 /proc/meminfo: memFree=1749616/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=51.1 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 26736 0 0 0 5108 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5770321 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 16556 /proc/meminfo: memFree=1748872/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=102.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 27389 0 0 0 10227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5837773 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+162.3 s] /proc/loadavg: 1.96 2.00 2.04 3/188 16557 /proc/meminfo: memFree=1749844/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=162.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 28042 0 0 0 16227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5771886 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+222.3 s] /proc/loadavg: 1.98 2.00 2.04 3/188 16558 /proc/meminfo: memFree=1750388/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=222.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 28593 0 0 0 22227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5585188 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+282.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 16560 /proc/meminfo: memFree=1751012/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=282.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 29246 0 0 0 28227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 4249920 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16561 /proc/meminfo: memFree=1751136/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=342.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 29918 0 0 0 34227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5773363 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16562 /proc/meminfo: memFree=1751268/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=402.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 30571 0 0 0 40227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5771824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 402.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16564 /proc/meminfo: memFree=1751228/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=462.29 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 31127 0 0 0 46227 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5163917 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB ################ # More data... # ################ /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 1722.32 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 16611 /proc/meminfo: memFree=1752352/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=1782.32 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 43955 0 0 0 178230 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 4251648 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 1782.32 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 16612 /proc/meminfo: memFree=1752480/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=1842.32 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 44513 0 0 0 184230 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5773383 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 1842.32 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 16613 /proc/meminfo: memFree=1752084/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=1902.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 45068 0 0 0 190231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5574857 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 1902.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 16614 /proc/meminfo: memFree=1752356/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=1962.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 45627 0 0 0 196231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5770120 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 1962.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 16615 /proc/meminfo: memFree=1752548/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2022.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 46185 0 0 0 202231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5770305 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2022.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16617 /proc/meminfo: memFree=1752080/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2082.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 46742 0 0 0 208231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 4579571 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2082.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16618 /proc/meminfo: memFree=1751956/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2142.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 47397 0 0 0 214231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5771859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2142.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16619 /proc/meminfo: memFree=1752212/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2202.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 47954 0 0 0 220231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5770339 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2202.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16621 /proc/meminfo: memFree=1752020/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2262.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 48515 0 0 0 226231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5773389 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2262.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 16622 /proc/meminfo: memFree=1752144/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2322.33 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 49068 0 0 0 232231 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 4249958 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2322.33 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 16631 /proc/meminfo: memFree=1752124/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2382.34 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 49618 0 0 0 238232 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5771859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2382.34 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.00 2.04 3/189 16655 /proc/meminfo: memFree=1751544/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2442.34 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 50176 0 0 0 244232 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5618608 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2442.34 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.00 2.04 3/189 16656 /proc/meminfo: memFree=1751172/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2502.34 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 50732 0 0 0 250232 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 5164057 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2502.34 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 1.92 1.98 2.03 2/185 16758 /proc/meminfo: memFree=1770964/32770624 swapFree=67108380/67108860 [pid=16554] ppid=16551 vsize=49988 memory=24868 CPUtime=2520.05 cores=1,3,5,7 /proc/16554/stat : 16554 (MistralXCSP) R 16551 16554 15490 0 -1 4202496 51286 0 0 0 252003 2 0 0 20 0 1 0 217649693 51187712 6217 33554432000 4194304 7499544 140730007270240 140730007265256 4249680 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 15040512 140730007274605 140730007274755 140730007274755 140730007277513 0 /proc/16554/statm: 12497 6217 768 807 0 5488 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 49988 KiB Current children cumulated memory: 24868 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 16554 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.03 s, system=0.03 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2520.06 CPU user time (s): 2520.03 CPU system time (s): 0.03 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 49988 Max. memory (cumulated for all children) (KiB): 24868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.03 system time used= 0.03 maximum resident set size= 24888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51325 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= 14 involuntary context switches= 670 # summary of solver processes directly reported to runsolver: # pid: 16554 # total CPU time (s): 2520.06 # total CPU user time (s): 2520.03 # total CPU system time (s): 0.03 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.59026 second user time and 16.3715 second system time The end
Begin job on node137 at 2018-08-11 17:21:05 IDJOB=4304100 IDBENCH=141161 IDSOLVER=2779 FILE ID=node137/4304100-1534000865 RUNJOBID= node137-1533990775-15522 PBS_JOBID= 21036941 Free space on /tmp= 26380 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304100-1534000865/watcher-4304100-1534000865 -o /tmp/evaluation-result-4304100-1534000865/solver-4304100-1534000865 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15522 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1256617648 HOME/instance-4304100-1534000865.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7 RANDOM SEED=1256617648 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 1773764 kB MemAvailable: 31879116 kB Buffers: 222812 kB Cached: 29730000 kB SwapCached: 24 kB Active: 15495596 kB Inactive: 14536880 kB Active(anon): 26440 kB Inactive(anon): 105164 kB Active(file): 15469156 kB Inactive(file): 14431716 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108380 kB Dirty: 5992 kB Writeback: 0 kB AnonPages: 90032 kB Mapped: 56000 kB Shmem: 49628 kB Slab: 661116 kB SReclaimable: 632940 kB SUnreclaim: 28176 kB KernelStack: 3376 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 398604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26376 MiB End job on node137 at 2018-08-11 18:03:05