Trace number 4293899

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 1.12SAT (TO)51087252 2519.97 2520.01

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18292585
Best CPU time to get the best result obtained on this benchmark2058.63
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.06	c AllEqual constraint using 1 generic x=y constraints 
18.59/18.60	c best=?? lower=0 upper=54843880 
96.08/96.17	c
96.08/96.17	c This is cosoco 1.12 --  
96.08/96.17	c
96.08/96.17	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293899-1532376932.xml 
96.08/96.17	c enable optimization
96.08/96.17	c ========================================[ Problem Statistics ]===========================================
96.08/96.17	c |                                                                                                       
96.08/96.17	c |  Parse time        :        18.51 s 
96.08/96.17	c |
96.08/96.17	c |               Variables: 2328
96.08/96.17	c |            Domain Sizes: 2..151
96.08/96.17	c |
96.08/96.17	c |             Constraints: 1460
96.08/96.17	c |                   Arity: 2..1353  -- Binary: 108  -- Ternary: 675
96.08/96.17	c | 
96.08/96.17	c |                   Types: 
96.08/96.17	c |                          (X != Y): 5
96.08/96.17	c |                          (X = Y): 15
96.08/96.17	c |                          Extension: 676  (nb tuples: 456..7204) -- (shared: 0)
96.08/96.17	c |                          Intension: 763
96.08/96.17	c |                          Sum: 1
96.08/96.17	c |                          
96.08/96.17	c |               Objective: Minimize Sum
96.08/96.17	
96.08/96.17	c =========================================================================================================
96.08/96.17	o 51087256
96.08/96.17	c    1 calls to solver: best=51087256 lower=0 upper=51087255 
98.27/98.37	o 51087255
1910.96/1911.01	o 51087252
1910.96/1911.01	c    3 calls to solver: best=51087252 lower=0 upper=51087251 
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 55          
2519.95/2520.00	c conflicts             : 185011       (73 /sec)
2519.95/2520.00	c decisions             : 350648       (139 /sec)
2519.95/2520.00	c propagations          : 135850923   (53914 /sec)
2519.95/2520.00	c root propagations     : 3351        
2519.95/2520.00	c filter calls          : 13678764       (5429 /sec)
2519.95/2520.00	c useless filter calls  : 9324464        (68 %)
2519.95/2520.00	c Memory used           : 274.57 MB
2519.95/2520.00	c CPU time              : 2519.77 s
2519.95/2520.00	
2519.95/2520.00	c nb Solutions = 3
2519.95/2520.00	s SATISFIABLE
2519.95/2520.00	c Best value found: 51087252
2519.95/2520.00	
2519.95/2520.00	
2519.95/2520.00	v <instantiation type='solution' cost='51087252'>
2519.95/2520.00	v <list>d[0] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[10] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[11] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[12] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[13] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[15] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[16] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[17] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[67] d[68] d[69] d[6] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[7] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[8] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[15] f[16] f[17] f[18] f[19] f[1] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[10] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[11] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[12] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[13] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[14] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[15] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[16] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[17] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[67] v1[68] v1[69] v1[6] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[7] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[8] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[9] v2[0] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[10] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[11] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[12] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[13] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[67] v2[68] v2[69] v2[6] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[7] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[8] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[9] </list>
2519.95/2520.01	v <values>40 356 124 124 124 84 28 416 124 236 164 136 40 520 20 504 480 0 0 336 492 520 356 312 272 168 232 20 20 40 64 56 40 372 8 316 20 464 0 124 0 0 60 312 20 88 336 120 68 240 128 352 72 520 312 216 60 68 60 56 40 204 460 440 244 284 0 296 0 500 40 40 440 324 472 500 184 0 40 540 40 0 84 40 500 196 120 156 0 132 0 324 216 244 196 284 0 316 124 256 40 244 500 0 40 80 520 520 36 240 204 0 40 280 116 336 36 88 364 256 172 256 228 156 256 36 28 184 100 144 40 32 40 228 40 216 72 328 0 236 480 144 32 156 236 196 400 80 40 60 400 100 440 220 72 276 116 28 48 28 432 512 360 28 36 156 196 40 0 20 0 40 440 60 164 324 28 40 0 244 364 480 112 480 40 212 0 428 0 464 40 464 524 504 300 464 524 244 244 32 244 244 268 480 40 260 284 72 32 100 32 468 152 448 32 244 144 356 116 232 316 132 0 164 408 272 268 356 0 44 400 440 80 284 180 64 300 212 260 256 140 180 180 160 48 236 0 0 460 184 172 460 40 404 36 8 440 116 40 296 440 0 40 480 40 4 288 404 76 416 36 468 32 440 152 252 192 316 8 488 252 276 460 20 460 472 48 496 204 0 8 432 260 28 76 156 316 56 88 316 356 140 396 84 244 500 480 40 520 124 132 392 0 276 204 256 120 236 244 60 356 24 40 480 316 356 336 204 316 316 40 324 164 472 136 116 156 28 60 60 20 432 0 520 276 40 124 480 0 520 68 112 0 396 520 296 480 284 40 156 324 284 284 324 196 388 236 276 40 120 276 276 256 112 236 276 244 276 40 520 440 480 216 116 52 0 32 4 236 40 260 28 440 132 184 500 404 100 40 336 60 60 440 40 60 480 564 108 564 536 40 296 356 500 540 40 60 268 8 32 8 276 40 432 480 0 4 464 484 16 0 0 76 40 180 148 120 324 136 0 208 40 88 488 16 412 208 236 40 0 164 288 80 40 520 0 8 156 72 472 144 296 40 72 112 244 0 460 44 64 460 480 288 400 400 148 60 40 500 60 40 540 84 232 416 416 316 328 0 368 328 152 88 480 480 184 144 204 20 84 452 284 448 28 452 452 416 28 192 112 40 332 328 400 480 272 180 172 500 112 32 76 0 172 40 20 196 112 428 72 100 328 248 20 20 88 168 352 392 0 256 40 440 52 20 480 0 40 32 0 440 296 224 256 120 336 268 440 124 228 100 440 440 184 164 124 256 52 340 328 368 456 20 20 40 500 0 236 20 196 32 500 44 396 108 80 8 520 244 400 440 168 316 256 288 276 296 104 248 256 28 216 272 4 312 180 40 60 16 484 120 40 72 212 60 504 24 440 480 276 460 236 244 272 112 104 220 180 108 512 472 0 276 540 284 172 480 72 244 0 144 112 140 44 480 284 84 400 400 40 172 84 244 140 440 432 0 472 440 40 276 472 40 0 244 184 244 108 176 244 144 72 16 296 500 2660 2220 2620 2304 2488 2120 2180 2120 2148 2660 2576 2364 2140 2220 2436 2224 2140 2592 2348 2620 2184 2180 2536 2176 2120 2620 2660 2180 2684 2220 2660 2620 2660 2140 2344 2180 2440 2660 2148 2448 2160 2660 2660 2160 2452 2120 2216 2376 2140 2180 2376 2620 2388 2548 2660 2160 2180 2308 2660 2120 2620 2120 2620 2660 2376 2620 2140 2256 2476 2220 2180 2220 2416 2188 2180 2660 2660 2644 2416 2180 2588 2304 2220 2148 2480 2376 2620 2180 2216 2628 2160 2188 2492 2576 2344 2660 2416 2180 2496 2296 2160 2660 2140 2336 2160 2456 2416 2660 2336 2188 2620 2220 2180 2684 2120 2188 2140 2180 2644 2620 2296 2140 2180 2140 2160 2140 2148 2416 2476 2620 2220 2120 2536 2508 2180 2324 2632 2508 2620 2620 2376 2700 2180 2548 2160 2268 2180 2180 2436 2620 11 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 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 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 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 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 10 3 10 1 4 0 0 0 10 8 10 0 10 0 2 0 0 0 10 10 0 8 3 10 0 10 1 0 0 7 0 0 0 0 1 4 10 0 1 0 10 5 10 9 10 10 9 0 4 7 9 5 0 0 0 8 0 10 0 0 0 0 0 1 0 0 3 0 0 0 0 10 1 10 0 0 9 10 10 0 0 0 0 10 0 0 10 10 0 4 1 0 0 0 9 7 0 8 1 0 10 10 10 0 10 0 10 0 9 0 0 0 0 0 0 0 0 0 1 0 0 7 0 0 0 0 10 0 10 0 10 0 0 0 0 9 2 0 10 10 0 4 0 1 1 0 0 10 10 0 0 0 0 0 0 10 0 0 2 0 0 1 0 0 10 10 10 0 1 10 5 0 0 10 0 0 10 6 0 0 0 8 4 1 0 0 0 9 0 0 10 0 6 0 0 8 10 0 2 0 0 0 0 0 0 1 7 0 1 0 0 0 1 0 10 10 10 10 0 0 7 0 0 0 0 0 10 0 0 0 0 0 2 1 10 9 0 0 0 0 0 0 1 0 10 10 0 0 0 0 0 0 0 1 10 10 10 0 1 0 10 10 0 0 0 0 0 1 0 10 0 0 0 1 0 0 0 0 0 1 0 0 10 0 1 10 0 1 10 10 9 7 10 10 0 8 0 0 0 10 0 10 0 0 4 0 0 10 0 7 10 0 1 0 9 10 1 0 0 10 0 0 10 0 0 1 0 10 0 0 10 0 1 0 0 0 0 0 0 2 0 0 10 0 10 10 3 8 0 0 10 9 0 0 1 0 0 6 6 0 10 1 0 10 1 10 10 10 0 0 10 0 0 0 0 10 1 10 0 0 0 10 7 0 0 0 1 0 0 0 0 10 0 0 0 0 1 10 0 10 0 0 4 0 0 3 10 0 10 0 0 0 10 1 0 9 10 0 0 0 2 0 10 0 0 10 0 0 0 5 10 0 2 10 10 0 10 0 0 0 10 0 0 0 0 0 7 1 10 0 0 0 0 0 3 0 10 10 0 0 0 0 0 1 1 0 10 0 1 0 0 0 0 0 1 0 0 10 0 4 0 0 0 0 10 0 0 0 0 0 0 4 2 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 3 0 0 3 8 10 1 8 0 0 0 0 10 0 0 0 9 1 10 0 1 10 4 10 0 0 0 3 0 7 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 1 0 10 0 0 0 0 0 0 10 8 1 10 10 0 1 10 0 0 10 6 0 0 0 10 5 0 10 7 1 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 4 0 0 0 10 10 0 9 0 0 1 0 0 0 0 0 1 7 0 0 0 0 0 0 4 4 0 10 0 0 2 10 1 10 10 0 0 0 0 0 0 10 4 1 4 0 0 0 0 0 9 0 10 0 0 0 0 </values>
2519.95/2520.01	v </instantiation>
2519.95/2520.01

Verifier Data 

OK	51087252

Watcher Data 

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 (13027 MiB free)
  memory of node 1: 16384 MiB (13739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293899-1532376932/watcher-4293899-1532376932 -o /tmp/evaluation-result-4293899-1532376932/solver-4293899-1532376932 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20796 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293899-1532376932.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
solver pid=21515, runsolver pid=21512
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27392068/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=40676 memory=16880 CPUtime=0.1 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 4431 0 0 0 10 0 0 0 20 0 1 0 55256401 41652224 4220 33554432000 4194304 6142532 140724917804992 140724917799368 139768712424421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 10169 4220 807 476 0 3491 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 16880 KiB

[startup+0.209743 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27379776/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=52924 memory=29148 CPUtime=0.21 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 7479 0 0 0 20 1 0 0 20 0 1 0 55256401 54194176 7287 33554432000 4194304 6142532 140724917804992 140724917799368 139768712424421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 13231 7287 807 476 0 6553 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52924 KiB
Current children cumulated memory: 29148 KiB

[startup+0.309596 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27372088/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=59456 memory=35824 CPUtime=0.3 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 9148 0 0 0 29 1 0 0 20 0 1 0 55256401 60882944 8956 33554432000 4194304 6142532 140724917804992 140724917799368 5796039 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 14864 8956 812 476 0 8186 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59456 KiB
Current children cumulated memory: 35824 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27370336/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=62904 memory=38988 CPUtime=0.69 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 9986 0 0 0 68 1 0 0 20 0 1 0 55256401 64413696 9747 33554432000 4194304 6142532 140724917804992 140724917801640 5801097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 15726 9747 812 476 0 9048 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62904 KiB
Current children cumulated memory: 38988 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27366116/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=69848 memory=45324 CPUtime=1.48 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 11584 0 0 0 147 1 0 0 20 0 1 0 55256401 71524352 11331 33554432000 4194304 6142532 140724917804992 140724917801640 5801101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 17462 11331 812 476 0 10784 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69848 KiB
Current children cumulated memory: 45324 KiB

[startup+3.10953 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27349128/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=84088 memory=59360 CPUtime=3.1 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 15688 0 0 0 308 2 0 0 20 0 1 0 55256401 86106112 14840 33554432000 4194304 6142532 140724917804992 140724917801640 5801097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 21022 14840 812 476 0 14344 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 84088 KiB
Current children cumulated memory: 59360 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27323344/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=112228 memory=85892 CPUtime=6.29 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 23370 0 0 0 626 3 0 0 20 0 1 0 55256401 114921472 21473 33554432000 4194304 6142532 140724917804992 140724917801640 5802609 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 28057 21473 812 476 0 21379 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 112228 KiB
Current children cumulated memory: 85892 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21526
/proc/meminfo: memFree=27273372/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=168044 memory=139364 CPUtime=12.69 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 38139 0 0 0 1263 6 0 0 20 0 1 0 55256401 172077056 34841 33554432000 4194304 6142532 140724917804992 140724917801640 5800107 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 42011 34841 812 476 0 35333 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 168044 KiB
Current children cumulated memory: 139364 KiB

[startup+25.5002 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26926460/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=255728 memory=225432 CPUtime=25.49 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 94843 0 0 0 2538 11 0 0 20 0 1 0 55256401 261865472 56358 33554432000 4194304 6142532 140724917804992 140724917801864 5367123 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 63932 56358 860 476 0 57254 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 255728 KiB
Current children cumulated memory: 225432 KiB

[startup+51.1096 s]
/proc/loadavg: 1.95 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26684736/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=265864 memory=237168 CPUtime=51.09 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 187122 0 0 0 5094 15 0 0 20 0 1 0 55256401 272244736 59292 33554432000 4194304 6142532 140724917804992 140724917801704 5017997 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 66466 59292 860 476 0 59788 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 265864 KiB
Current children cumulated memory: 237168 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/191 21592
/proc/meminfo: memFree=26436572/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=254484 CPUtime=102.27 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 228959 0 0 0 10210 17 0 0 20 0 1 0 55256401 286113792 63621 33554432000 4194304 6142532 140724917804992 140724917802520 5363644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 63621 862 476 0 63174 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 254484 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 21593
/proc/meminfo: memFree=26421080/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=256080 CPUtime=162.26 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 242104 0 0 0 16209 17 0 0 20 0 1 0 55256401 286113792 64020 33554432000 4194304 6142532 140724917804992 140724917802520 139768722369424 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 64020 862 476 0 63174 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256080 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21594
/proc/meminfo: memFree=26385604/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=256100 CPUtime=222.26 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 242705 0 0 0 22208 18 0 0 20 0 1 0 55256401 286113792 64025 33554432000 4194304 6142532 140724917804992 140724917802520 139768713348176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 64025 862 476 0 63174 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256100 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21602
/proc/meminfo: memFree=26365944/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=256100 CPUtime=282.26 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 243327 0 0 0 28208 18 0 0 20 0 1 0 55256401 286113792 64025 33554432000 4194304 6142532 140724917804992 140724917802520 5366667 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 64025 862 476 0 63174 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256100 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21603
/proc/meminfo: memFree=26345696/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=256100 CPUtime=342.26 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 243764 0 0 0 34208 18 0 0 20 0 1 0 55256401 286113792 64025 33554432000 4194304 6142532 140724917804992 140724917802520 139768713348190 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 64025 862 476 0 63174 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256100 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 21604
/proc/meminfo: memFree=26327736/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=256100 CPUtime=402.26 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 244300 0 0 0 40208 18 0 0 20 0 1 0 55256401 286113792 64025 33554432000 4194304 6142532 140724917804992 140724917802520 5399712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 64025 862 476 0 63174 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256100 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 21605
/proc/meminfo: memFree=26314344/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279408 memory=256100 CPUtime=462.26 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 244960 0 0 0 46208 18 0 0 20 0 1 0 55256401 286113792 64025 33554432000 4194304 6142532 140724917804992 140724917802520 5366667 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69852 64025 862 476 0 63174 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256100 KiB


################
# More data... #
################

/proc/21515/statm: 69852 64025 862 476 0 63174 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 279408 KiB
Current children cumulated memory: 256100 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21647
/proc/meminfo: memFree=26309232/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279680 memory=256280 CPUtime=1782.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 255485 0 0 0 178207 18 0 0 20 0 1 0 55256401 286392320 64070 33554432000 4194304 6142532 140724917804992 140724917801704 5371778 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69920 64070 862 476 0 63242 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 279680 KiB
Current children cumulated memory: 256280 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21648
/proc/meminfo: memFree=26309728/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279680 memory=256308 CPUtime=1842.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 255952 0 0 0 184206 19 0 0 20 0 1 0 55256401 286392320 64077 33554432000 4194304 6142532 140724917804992 140724917801704 5371844 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69920 64077 862 476 0 63242 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 279680 KiB
Current children cumulated memory: 256308 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21649
/proc/meminfo: memFree=26309820/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=279680 memory=256308 CPUtime=1902.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 256425 0 0 0 190206 19 0 0 20 0 1 0 55256401 286392320 64077 33554432000 4194304 6142532 140724917804992 140724917801704 5367159 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 69920 64077 862 476 0 63242 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 279680 KiB
Current children cumulated memory: 256308 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21650
/proc/meminfo: memFree=26308156/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257812 CPUtime=1962.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 257743 0 0 0 196206 19 0 0 20 0 1 0 55256401 287907840 64453 33554432000 4194304 6142532 140724917804992 140724917792264 5376434 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64453 862 476 0 63612 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257812 KiB

[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 21651
/proc/meminfo: memFree=26308476/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257812 CPUtime=2022.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 258174 0 0 0 202206 19 0 0 20 0 1 0 55256401 287907840 64453 33554432000 4194304 6142532 140724917804992 140724917792264 139768713348416 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64453 862 476 0 63612 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257812 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 21660
/proc/meminfo: memFree=26307420/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257812 CPUtime=2082.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 258763 0 0 0 208206 19 0 0 20 0 1 0 55256401 287907840 64453 33554432000 4194304 6142532 140724917804992 140724917792264 5048047 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64453 862 476 0 63612 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257812 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 21662
/proc/meminfo: memFree=26307728/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257812 CPUtime=2142.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 259191 0 0 0 214206 19 0 0 20 0 1 0 55256401 287907840 64453 33554432000 4194304 6142532 140724917804992 140724917792264 5371749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64453 862 476 0 63612 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257812 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21663
/proc/meminfo: memFree=26308148/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2202.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 259617 0 0 0 220206 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 5371749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21664
/proc/meminfo: memFree=26308148/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2262.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 260030 0 0 0 226206 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 5366795 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21666
/proc/meminfo: memFree=26308264/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2322.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 260379 0 0 0 232206 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 5374073 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21668
/proc/meminfo: memFree=26307744/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2382.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 260810 0 0 0 238206 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 139768722369344 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21669
/proc/meminfo: memFree=26307884/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2442.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 261358 0 0 0 244206 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 5318922 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21670
/proc/meminfo: memFree=26308100/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2502.25 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 261771 0 0 0 250206 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 5375774 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 21670
/proc/meminfo: memFree=26308100/32770624 swapFree=67108860/67108860
[pid=21515] ppid=21512 vsize=281160 memory=257816 CPUtime=2519.95 cores=0,2,4,6
/proc/21515/stat : 21515 (cosoco) R 21512 21515 20765 0 -1 4202496 262127 0 0 0 251976 19 0 0 20 0 1 0 55256401 287907840 64454 33554432000 4194304 6142532 140724917804992 140724917792264 139768722369368 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15417344 140724917810310 140724917810440 140724917810440 140724917813198 0
/proc/21515/statm: 70290 64454 862 476 0 63612 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 281160 KiB
Current children cumulated memory: 257816 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 21515 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.77 s, system=0.196998 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): 2519.97
CPU user time (s): 2519.77
CPU system time (s): 0.196998
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 281160
Max. memory (cumulated for all children) (KiB): 257816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.196998
maximum resident set size= 257876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262175
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= 54
involuntary context switches= 829


# summary of solver processes directly reported to runsolver:
#   pid: 21515
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2519.77
#   total CPU system time (s): 0.196998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.28491 second user time and 16.5497 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-23 22:15:32
IDJOB=4293899
IDBENCH=141259
IDSOLVER=2752
FILE ID=node134/4293899-1532376932
RUNJOBID= node134-1532369368-20796
PBS_JOBID= 21021570
Free space on /tmp= 55952 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293899-1532376932/watcher-4293899-1532376932 -o /tmp/evaluation-result-4293899-1532376932/solver-4293899-1532376932 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20796 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293899-1532376932.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1364234406

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
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.68
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.68
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.68
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:        27412696 kB
MemAvailable:   31977096 kB
Buffers:          196980 kB
Cached:          4631376 kB
SwapCached:            0 kB
Active:          1471980 kB
Inactive:        3410728 kB
Active(anon):       4024 kB
Inactive(anon):    70292 kB
Active(file):    1467956 kB
Inactive(file):  3340436 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             47700 kB
Writeback:             0 kB
AnonPages:         61840 kB
Mapped:            37424 kB
Shmem:             17056 kB
Slab:             171428 kB
SReclaimable:     143684 kB
SUnreclaim:        27744 kB
KernelStack:        3376 kB
PageTables:         4976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55844 MiB
End job on node134 at 2018-07-23 22:57:32