Trace number 4298976

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)18299400 2519.71 2520.01

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-test01-0150_c18.xml
MD5SUM0e4565184fd00ba85c2da13ba2e2ff53
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18299400
Best CPU time to get the best result obtained on this benchmark2519.71
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 constraints1459
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1459}]
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 

47.28/47.36	c best=?? lower=0 upper=54843880 
71.67/71.77	c
71.67/71.77	c This is cosoco 1.12 --  
71.67/71.77	c
71.67/71.77	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298976-1532780080.xml 
71.67/71.77	c enable optimization
71.67/71.77	c ========================================[ Problem Statistics ]===========================================
71.67/71.77	c |                                                                                                       
71.67/71.77	c |  Parse time        :        46.98 s 
71.67/71.77	c |
71.67/71.77	c |               Variables: 2328
71.67/71.77	c |            Domain Sizes: 2..151
71.67/71.77	c |
71.67/71.77	c |             Constraints: 1460
71.67/71.77	c |                   Arity: 2..1353  -- Binary: 108  -- Ternary: 675
71.67/71.77	c | 
71.67/71.77	c |                   Types: 
71.67/71.77	c |                          Extension: 1459  (nb tuples: 0..22801) -- (shared: 0)
71.67/71.77	c |                          Sum: 1
71.67/71.77	c |                          
71.67/71.77	c |               Objective: Minimize Sum
71.67/71.77	
71.67/71.77	c =========================================================================================================
71.67/71.77	o 50999416
71.67/71.77	c    1 calls to solver: best=50999416 lower=0 upper=50999415 
73.17/73.25	o 50999413
83.76/83.86	o 23004635
83.76/83.86	c    3 calls to solver: best=23004635 lower=0 upper=23004634 
98.35/98.47	o 18434760
146.42/146.55	o 18394157
146.42/146.55	c    5 calls to solver: best=18394157 lower=0 upper=18394156 
150.72/150.85	o 18394150
151.62/151.78	o 18394148
151.62/151.78	c    7 calls to solver: best=18394148 lower=0 upper=18394147 
184.10/184.24	o 18394116
184.80/184.92	o 18394115
184.80/184.92	c    9 calls to solver: best=18394115 lower=0 upper=18394114 
185.40/185.58	o 18394114
186.10/186.25	o 18394113
186.10/186.25	c   11 calls to solver: best=18394113 lower=0 upper=18394112 
186.80/186.91	o 18394112
187.40/187.57	o 18394111
187.40/187.57	c   13 calls to solver: best=18394111 lower=0 upper=18394110 
188.10/188.23	o 18394110
188.70/188.89	o 18394109
188.70/188.89	c   15 calls to solver: best=18394109 lower=0 upper=18394108 
189.40/189.56	o 18394108
190.10/190.22	o 18394107
190.10/190.22	c   17 calls to solver: best=18394107 lower=0 upper=18394106 
190.70/190.88	o 18394106
192.20/192.30	o 18394105
192.20/192.30	c   19 calls to solver: best=18394105 lower=0 upper=18394104 
192.80/192.98	o 18387351
193.50/193.66	o 18387346
193.50/193.66	c   21 calls to solver: best=18387346 lower=0 upper=18387345 
194.20/194.32	o 18387344
194.80/194.99	o 18387343
194.80/194.99	c   23 calls to solver: best=18387343 lower=0 upper=18387342 
195.59/195.70	o 18387342
196.29/196.40	o 18387341
196.29/196.40	c   25 calls to solver: best=18387341 lower=0 upper=18387340 
196.90/197.07	o 18387340
197.69/197.88	o 18387339
197.69/197.88	c   27 calls to solver: best=18387339 lower=0 upper=18387338 
550.95/551.23	o 18360289
816.52/816.86	o 18319720
816.52/816.86	c   29 calls to solver: best=18319720 lower=0 upper=18319719 
920.01/920.34	o 18312920
920.61/920.96	o 18299404
920.61/920.96	c   31 calls to solver: best=18299404 lower=0 upper=18299403 
931.31/931.68	o 18299400
2519.70/2520.01	
2519.70/2520.01	c *** INTERRUPTED ***
2519.70/2520.01	c restarts              : 76          
2519.70/2520.01	c conflicts             : 1403758      (557 /sec)
2519.70/2520.01	c decisions             : 6424780      (2550 /sec)
2519.70/2520.01	c propagations          : 940792821   (373467 /sec)
2519.70/2520.01	c root propagations     : 3554        
2519.70/2520.01	c filter calls          : 280777271      (111460 /sec)
2519.70/2520.01	c useless filter calls  : 138632088      (49 %)
2519.70/2520.01	c Memory used           : 624.73 MB
2519.70/2520.01	c CPU time              : 2519.08 s
2519.70/2520.01	
2519.70/2520.01	c nb Solutions = 32
2519.70/2520.01	s SATISFIABLE
2519.70/2520.01	c Best value found: 18299400
2519.70/2520.01	
2519.70/2520.01	
2519.70/2520.01	v <instantiation type='solution' cost='18299400'>
2519.70/2520.01	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.70/2520.01	v <values>64 68 68 88 44 76 56 164 60 236 376 540 560 532 32 540 552 236 556 284 480 560 136 340 56 64 44 60 568 304 560 100 36 84 80 392 48 460 40 424 428 40 100 104 540 400 136 392 52 92 68 40 464 504 308 44 48 136 84 92 328 172 456 504 136 8 296 116 60 156 64 64 508 352 300 484 264 300 68 524 20 68 144 28 528 324 236 240 600 72 152 272 192 284 196 324 96 168 72 248 56 156 260 60 76 36 408 364 460 432 148 68 456 296 512 400 40 424 480 404 68 404 204 36 364 88 76 36 208 76 396 88 420 124 40 204 32 388 76 164 24 84 304 92 332 132 20 48 460 436 20 220 20 144 492 148 376 44 548 64 480 508 348 428 540 464 168 396 356 104 360 112 72 456 52 328 44 168 44 164 16 52 164 236 4 8 48 532 128 500 76 576 296 576 112 536 596 200 184 340 132 156 340 448 508 316 336 492 480 520 128 240 364 40 468 424 344 112 128 40 132 108 68 144 40 456 520 364 40 44 480 440 480 256 152 28 356 84 316 144 124 108 84 364 180 368 172 76 428 88 28 472 68 412 36 200 440 416 476 204 400 40 472 400 440 432 144 508 512 436 416 492 468 48 204 308 164 144 404 440 252 80 184 284 196 500 8 452 92 80 8 460 472 28 128 40 412 68 264 184 216 108 220 224 272 516 472 4 312 212 392 68 28 236 244 212 60 232 228 536 224 36 560 56 396 76 408 36 196 432 380 364 60 232 92 120 364 292 64 424 500 100 44 296 352 52 196 256 52 532 92 104 508 296 440 108 444 356 300 156 284 288 312 328 324 316 44 212 248 128 180 132 60 136 140 368 136 392 36 68 408 20 252 456 300 120 132 252 316 240 272 72 520 40 116 540 440 456 40 148 412 456 84 436 52 404 216 96 112 492 80 264 264 508 460 300 20 216 148 48 380 348 120 392 36 440 432 500 476 60 72 44 44 28 212 288 412 24 476 312 352 196 440 80 60 400 196 152 272 236 364 456 440 556 76 40 548 464 40 480 236 224 120 144 92 92 236 52 76 56 160 40 272 368 404 456 484 460 460 52 296 496 184 168 52 56 256 72 552 388 348 132 440 440 480 120 152 148 36 540 28 284 20 44 440 440 400 40 200 176 40 224 268 448 24 332 172 8 548 172 76 80 152 40 380 440 224 56 40 172 172 132 236 80 124 204 236 40 40 276 244 552 508 112 20 480 40 196 68 236 244 244 236 204 168 52 480 400 384 440 100 480 480 220 504 464 296 156 552 240 580 120 268 284 264 204 300 160 240 256 168 460 80 364 132 472 544 32 248 440 480 156 16 364 396 384 116 152 236 48 68 204 324 268 284 128 76 96 236 436 120 28 80 4 60 496 16 480 464 56 200 236 284 244 52 56 148 164 72 496 512 80 276 580 148 156 480 92 244 24 100 132 148 248 504 348 208 464 464 64 24 40 192 88 408 356 68 444 444 40 20 476 76 588 152 308 396 348 140 364 80 144 192 116 36 2620 2220 2660 2644 2700 2424 2648 2420 2348 2620 2544 2528 2692 2220 2544 2680 2140 2580 2336 2624 2640 2216 2584 2224 2528 2648 2664 2180 2676 2220 2644 2660 2620 2140 2604 2180 2496 2644 2148 2660 2160 2700 2620 2460 2596 2120 2220 2376 2660 2180 2472 2660 2376 2568 2660 2120 2220 2580 2644 2132 2660 2720 2684 2688 2376 2684 2256 2180 2584 2180 2652 2640 2512 2140 2576 2664 2652 2716 2488 2180 2180 2516 2180 2308 2536 2548 2632 2220 2184 2220 2464 2188 2636 2436 2476 2688 2416 2700 2612 2296 2680 2672 2180 2336 2172 2572 2508 2628 2676 2388 2660 2616 2216 2640 2160 2268 2140 2656 2680 2692 2636 2688 2180 2376 2204 2696 2180 2416 2424 2620 2256 2164 2476 2528 2180 2568 2620 2448 2684 2668 2528 2648 2600 2488 2568 2620 2140 2416 2384 2624 4 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 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 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 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 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 0 2 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 3 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 2 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 </values>
2519.70/2520.01	v </instantiation>
2519.70/2520.01

Verifier Data 

OK	18299400

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298976-1532780080/watcher-4298976-1532780080 -o /tmp/evaluation-result-4298976-1532780080/solver-4298976-1532780080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298976-1532780080.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
Current StackSize limit: 8192 KiB

solver pid=27964, runsolver pid=27961

[startup+0.100111 s]*
/proc/loadavg: 2.13 2.11 2.08 6/202 27992
/proc/meminfo: memFree=27327864/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=37280 memory=13388 CPUtime=0.1 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 3558 0 0 0 10 0 0 0 20 0 1 0 95571228 38174720 3347 33554432000 4194304 6142532 140722219271424 140722219268056 5489275 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 9320 3347 791 476 0 2642 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37280 KiB
Current children cumulated memory: 13388 KiB

[startup+0.210033 s]*
/proc/loadavg: 2.13 2.11 2.08 4/204 27994
/proc/meminfo: memFree=27313424/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=38764 memory=14616 CPUtime=0.21 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 4017 0 0 0 21 0 0 0 20 0 1 0 95571228 39694336 3654 33554432000 4194304 6142532 140722219271424 140722219268056 5489275 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 9691 3654 791 476 0 3013 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38764 KiB
Current children cumulated memory: 14616 KiB

[startup+0.309298 s]*
/proc/loadavg: 2.13 2.11 2.08 3/204 27994
/proc/meminfo: memFree=27304028/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=41128 memory=16888 CPUtime=0.3 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 4710 0 0 0 30 0 0 0 20 0 1 0 95571228 42115072 4222 33554432000 4194304 6142532 140722219271424 140722219268056 5489263 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 10282 4222 791 476 0 3604 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41128 KiB
Current children cumulated memory: 16888 KiB

[startup+0.700294 s]
/proc/loadavg: 2.13 2.11 2.08 5/204 27994
/proc/meminfo: memFree=27243464/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=45920 memory=21640 CPUtime=0.69 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 5881 0 0 0 69 0 0 0 20 0 1 0 95571228 47022080 5410 33554432000 4194304 6142532 140722219271424 140722219268072 5802552 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 11480 5410 791 476 0 4802 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 21640 KiB

[startup+1.50024 s]
/proc/loadavg: 2.13 2.11 2.08 3/191 28029
/proc/meminfo: memFree=27323236/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=53744 memory=29296 CPUtime=1.49 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 7794 0 0 0 148 1 0 0 20 0 1 0 95571228 55033856 7324 33554432000 4194304 6142532 140722219271424 140722219268072 5802355 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 13436 7324 791 476 0 6758 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53744 KiB
Current children cumulated memory: 29296 KiB

[startup+3.10943 s]
/proc/loadavg: 2.13 2.11 2.08 3/185 28082
/proc/meminfo: memFree=27123148/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=72768 memory=46908 CPUtime=3.1 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 12985 0 0 0 309 1 0 0 20 0 1 0 95571228 74514432 11727 33554432000 4194304 6142532 140722219271424 140722219268072 5489252 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 18192 11727 791 476 0 11514 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 72768 KiB
Current children cumulated memory: 46908 KiB

[startup+6.30036 s]
/proc/loadavg: 2.28 2.14 2.09 3/191 28093
/proc/meminfo: memFree=27000280/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=107492 memory=80012 CPUtime=6.28 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 22415 0 0 0 614 14 0 0 20 0 1 0 95571228 110071808 20003 33554432000 4194304 6142532 140722219271424 140722219268072 5800643 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 26873 20003 791 476 0 20195 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 107492 KiB
Current children cumulated memory: 80012 KiB

[startup+12.7003 s]
/proc/loadavg: 2.25 2.14 2.09 3/191 28093
/proc/meminfo: memFree=26912780/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=179624 memory=147836 CPUtime=12.68 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 40615 0 0 0 1246 22 0 0 20 0 1 0 95571228 183934976 36959 33554432000 4194304 6142532 140722219271424 140722219268072 139765436760879 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 44906 36959 791 476 0 38228 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 179624 KiB
Current children cumulated memory: 147836 KiB

[startup+25.5003 s]
/proc/loadavg: 2.28 2.15 2.09 3/191 28093
/proc/meminfo: memFree=26626104/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=325624 memory=285552 CPUtime=25.49 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 76702 0 0 0 2521 28 0 0 20 0 1 0 95571228 333438976 71388 33554432000 4194304 6142532 140722219271424 140722219268072 139765437201408 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 81406 71388 791 476 0 74728 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 325624 KiB
Current children cumulated memory: 285552 KiB

[startup+51.11 s]
/proc/loadavg: 2.18 2.14 2.09 3/192 28094
/proc/meminfo: memFree=26060856/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=619368 memory=571740 CPUtime=51.09 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 280156 0 0 0 5066 43 0 0 20 0 1 0 95571228 634232832 142935 33554432000 4194304 6142532 140722219271424 140722219268136 5017979 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 154842 142935 848 476 0 148164 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 619368 KiB
Current children cumulated memory: 571740 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/192 28095
/proc/meminfo: memFree=25698356/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=638756 memory=595724 CPUtime=102.25 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 367336 0 0 0 10178 47 0 0 20 0 1 0 95571228 654086144 148931 33554432000 4194304 6142532 140722219271424 140722219268952 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159689 148931 850 476 0 153011 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 638756 KiB
Current children cumulated memory: 595724 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/192 28096
/proc/meminfo: memFree=25642736/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639160 memory=601948 CPUtime=162.22 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 441951 0 0 0 16170 52 0 0 20 0 1 0 95571228 654499840 150487 33554432000 4194304 6142532 140722219271424 140722219258696 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159790 150487 850 476 0 153112 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 639160 KiB
Current children cumulated memory: 601948 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/192 28097
/proc/meminfo: memFree=25618820/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639300 memory=607588 CPUtime=222.18 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 500480 0 0 0 22163 55 0 0 20 0 1 0 95571228 654643200 151897 33554432000 4194304 6142532 140722219271424 140722219258696 5013944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159825 151897 850 476 0 153147 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 639300 KiB
Current children cumulated memory: 607588 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/192 28098
/proc/meminfo: memFree=25614128/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639300 memory=612328 CPUtime=282.15 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 537696 0 0 0 28158 57 0 0 20 0 1 0 95571228 654643200 153082 33554432000 4194304 6142532 140722219271424 140722219258696 5017716 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159825 153082 850 476 0 153147 0
Current children cumulated CPU time: 282.15 s
Current children cumulated vsize: 639300 KiB
Current children cumulated memory: 612328 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 28106
/proc/meminfo: memFree=25609816/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639300 memory=615824 CPUtime=342.11 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 558469 0 0 0 34153 58 0 0 20 0 1 0 95571228 654643200 153956 33554432000 4194304 6142532 140722219271424 140722219258696 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159825 153956 850 476 0 153147 0
Current children cumulated CPU time: 342.11 s
Current children cumulated vsize: 639300 KiB
Current children cumulated memory: 615824 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/192 28108
/proc/meminfo: memFree=25608116/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639300 memory=615836 CPUtime=402.07 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 562129 0 0 0 40149 58 0 0 20 0 1 0 95571228 654643200 153959 33554432000 4194304 6142532 140722219271424 140722219258696 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159825 153959 850 476 0 153147 0
Current children cumulated CPU time: 402.07 s
Current children cumulated vsize: 639300 KiB
Current children cumulated memory: 615836 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 28109
/proc/meminfo: memFree=25599900/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639300 memory=615912 CPUtime=462.07 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 562811 0 0 0 46148 59 0 0 20 0 1 0 95571228 654643200 153978 33554432000 4194304 6142532 140722219271424 140722219258696 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159825 153978 850 476 0 153147 0
Current children cumulated CPU time: 462.07 s
Current children cumulated vsize: 639300 KiB
Current children cumulated memory: 615912 KiB


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

/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 1721.93 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 28154
/proc/meminfo: memFree=25556504/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=1781.94 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 578570 0 0 0 178131 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5018118 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 1781.94 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28155
/proc/meminfo: memFree=25556872/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=1841.94 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 579224 0 0 0 184131 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 1841.94 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28156
/proc/meminfo: memFree=25556748/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=1901.95 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 579885 0 0 0 190132 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5335940 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28158
/proc/meminfo: memFree=25556472/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=1961.95 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 580532 0 0 0 196132 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017892 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28159
/proc/meminfo: memFree=25556832/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2021.96 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 581124 0 0 0 202133 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017803 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28160
/proc/meminfo: memFree=25556572/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2081.96 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 581805 0 0 0 208133 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28168
/proc/meminfo: memFree=25555684/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2141.96 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 582366 0 0 0 214133 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2141.96 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28169
/proc/meminfo: memFree=25556580/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2201.97 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 582616 0 0 0 220134 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2201.97 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 28170
/proc/meminfo: memFree=25556824/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2261.97 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 583330 0 0 0 226134 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2261.97 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28172
/proc/meminfo: memFree=25557364/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2321.98 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 583938 0 0 0 232135 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5138248 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28174
/proc/meminfo: memFree=25557388/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2381.98 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 584502 0 0 0 238135 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5138324 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28176
/proc/meminfo: memFree=25556764/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2441.99 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 585240 0 0 0 244136 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28177
/proc/meminfo: memFree=25556004/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2501.99 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 585468 0 0 0 250136 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2501.99 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/192 28177
/proc/meminfo: memFree=25555884/32770624 swapFree=67108856/67108860
[pid=27964] ppid=27961 vsize=639724 memory=616336 CPUtime=2519.7 cores=1,3,5,7
/proc/27964/stat : 27964 (cosoco) R 27961 27964 27436 0 -1 4202496 585944 0 0 0 251907 63 0 0 20 0 1 0 95571228 655077376 154084 33554432000 4194304 6142532 140722219271424 140722219268952 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 29609984 140722219275398 140722219275528 140722219275528 140722219278286 0
/proc/27964/statm: 159931 154084 850 476 0 153253 0
Current children cumulated CPU time: 2519.7 s
Current children cumulated vsize: 639724 KiB
Current children cumulated memory: 616336 KiB

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

[startup+2520.01 s]
# the end of solver process 27964 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.08 s, system=0.634967 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.71
CPU user time (s): 2519.08
CPU system time (s): 0.634967
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 639724
Max. memory (cumulated for all children) (KiB): 616336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.08
system time used= 0.634967
maximum resident set size= 616400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585995
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= 254
involuntary context switches= 1838


# summary of solver processes directly reported to runsolver:
#   pid: 27964
#   total CPU time (s): 2519.71
#   total CPU user time (s): 2519.08
#   total CPU system time (s): 0.634967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79743 second user time and 19.5766 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 14:14:41
IDJOB=4298976
IDBENCH=141278
IDSOLVER=2761
FILE ID=node133/4298976-1532780080
RUNJOBID= node133-1532775038-27468
PBS_JOBID= 21022462
Free space on /tmp= 48116 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-test01-0150_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298976-1532780080/watcher-4298976-1532780080 -o /tmp/evaluation-result-4298976-1532780080/solver-4298976-1532780080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298976-1532780080.xml

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

MD5SUM BENCH= 0e4565184fd00ba85c2da13ba2e2ff53
RANDOM SEED=1797279454

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
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.24
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.24
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.24
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:        27348564 kB
MemAvailable:   31946796 kB
Buffers:          176860 kB
Cached:          4669868 kB
SwapCached:            0 kB
Active:          2274988 kB
Inactive:        2624932 kB
Active(anon):       4724 kB
Inactive(anon):    76688 kB
Active(file):    2270264 kB
Inactive(file):  2548244 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:            142084 kB
Writeback:             0 kB
AnonPages:         59880 kB
Mapped:            40876 kB
Shmem:             25244 kB
Slab:             218852 kB
SReclaimable:     191120 kB
SUnreclaim:        27732 kB
KernelStack:        3328 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47932 MiB
End job on node133 at 2018-07-28 14:56:41