Trace number 4304437

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
Concrete 3.9.2SAT (TO)89790742 2520.11 2467.18

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
MD5SUM2354d9b784d04df982f0d1b4068abd13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89666091
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables3894
Number of constraints2462
Number of domains32
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}]
Minimum variable degree2
Maximum variable degree1132
Distribution of variable degrees[{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}]
Number of extensional constraints1131
Number of intensional constraints1331
Distribution of constraint types[{"type":"extension","count":1131},{"type":"intension","count":1331}]
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.98/0.74	c Concrete v3.9.2.1532736233296 running
88.15/61.07	o 89802032
88.57/61.26	o 89802028
91.27/62.93	o 89790749
95.75/66.88	o 89790747
95.94/66.91	o 89790742
2520.04/2467.12	Exception in thread "main" java.util.concurrent.TimeoutException
2520.04/2467.12		at concrete.MAC.mac(MAC.scala:188)
2520.04/2467.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2467.12		at scala.util.Try$.apply(Try.scala:209)
2520.04/2467.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2467.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2467.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2467.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2467.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2467.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2467.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2467.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2467.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2467.12		at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2467.12		at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2467.12		at concrete.MAC.nextSolution(MAC.scala:355)
2520.04/2467.12		at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2467.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2467.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2467.12		at concrete.Solver.foreach(Solver.scala:68)
2520.04/2467.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2467.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2467.12		at scala.util.Success.map(Try.scala:209)
2520.04/2467.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2467.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2467.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2467.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2467.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2467.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2467.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2467.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2467.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2467.12		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2467.12		at scala.App.main(App.scala:76)
2520.04/2467.12		at scala.App.main$(App.scala:74)
2520.04/2467.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2467.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2467.14	v <instantiation cost="89790742">
2520.04/2467.14	v       <list>
2520.04/2467.14	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130]
2520.04/2467.14	v       </list>
2520.04/2467.14	v       <values>
2520.04/2467.14	v         2896 2428 2916 2400 2556 2352 2456 2360 2544 2868 2344 2632 2292 2228 2352 2656 2308 2260 2568 2392 2688 2472 2240 2736 2916 2800 2476 2304 2700 2324 2340 2528 2244 2452 2292 2476 2900 2344 2860 2264 2556 2332 2616 2760 2404 2240 2344 2320 2280 2728 2864 2872 2672 2256 2676 2260 2656 2640 2916 2728 2908 2688 2268 2688 2844 2320 2400 2712 2848 2808 2648 2500 2532 2516 2616 2556 2916 2344 2800 2612 2632 2876 2916 2220 2584 2832 2688 2720 2692 2352 2320 2768 2220 2284 2504 2504 2360 2660 2688 2564 2876 2336 2480 2648 2648 2844 2628 2360 2600 2348 2572 2912 2544 2220 2308 2308 2532 2232 2348 2392 2908 2520 2280 2260 2260 2496 2556 2488 2572 2808 2540 2760 2684 2376 2592 2768 2868 2364 2388 2636 2348 2440 2380 2644 2784 2492 2668 2500 2732 2352 2428 2384 2316 2604 2520 2708 2596 2564 2360 2648 2316 2700 2648 2528 2532 2324 2696 2296 2284 2892 2596 2904 2644 2260 2436 2596 2884 2876 2840 2304 2868 2856 2520 2468 2908 2884 2376 2480 2852 2532 2608 2836 2404 2560 2596 2492 2684 2632 2876 2800 2744 2444 2304 2876 2356 2448 2688 2412 2584 2604 2540 2544 2560 2332 2436 2512 2572 2544 2488 2752 2248 2336 2356 2468 2224 2592 2272 2348 2528 2392 2760 2872 2220 2796 2660 2916 2520 2600 2568 2692 2652 2392 2560 2636 2220 2808 2876 2288 2284 2588 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 1 0 1 0 0 1 0 0 0 0 6 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 6 0 0 0 0 2 0 1 6 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 5 5 0 1 0 1 0 1 0 0 0 1 0 0 2 0 1 0 0 0 1 1 1 2 0 0 6 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 5 6 0 0 0 0 0 1 0 1 2 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 6 1 1 4 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 6 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 4 0 0 1 0 0 0 6 0 5 4 0 0 0 4 0 0 0 1 0 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 6 0 0 0 1 5 0 1 0 0 0 0 0 0 0 1 0 1 0 0 4 0 6 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 1 0 3 0 6 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 1 0 1 0 0 1 0 1 6 0 0 0 0 0 0 3 0 0 0 0 1 3 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 3 0 1 0 0 0 1 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 1 5 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 1 1 0 0 6 0 0 0 0 4 4 0 0 0 1 2 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 1 0 0 0 6 0 0 0 0 1 0 0 6 1 0 0 5 4 0 0 0 0 0 1 0 0 0 5 0 6 0 0 0 0 0 0 0 0 0 1 6 1 6 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 6 1 0 0 0 0 0 1 0 0 0 3 4 5 0 0 0 5 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 3 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 1 1 4 0 0 0 0 1 5 0 0 0 3 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 5 0 0 1 0 0 0 1 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 4 0 0 1 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 4 0 0 6 0 0 0 0 0 0 0 3 0 0 0 1 0 6 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 1 6 0 0 0 0 1 2 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 4 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 6 0 0 1 0 0 0 1 0 0 0 0 0 0 0 3 6 0 0 0 0 1 0 4 0 1 1 5 6 3 0 4 0 0 0 0 1 6 0 0 1 0 3 0 1 0 0 0 0 5 0 5 0 0 1 0 0 0 0 0 0 1 1 6 0 0 0 0 0 1 1 0 0 0 0 0 6 0 0 0 1 4 0 0 0 4 6 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 4 0 0 0 0 0 0 6 1 0 1 1 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 5 0 0 1 3 0 1 0 1 0 0 0 0 0 656 368 256 324 28 404 300 12 20 100 232 92 120 52 112 112 72 572 216 240 360 388 308 232 480 628 336 500 472 132 88 36 236 456 508 436 320 132 296 132 32 556 560 140 136 420 148 68 488 232 68 340 516 480 400 216 256 640 300 564 156 48 44 324 348 348 308 108 88 388 252 532 216 56 312 56 48 272 88 244 88 28 344 572 624 428 476 8 212 188 56 100 208 112 104 500 388 120 8 304 676 316 532 340 28 292 36 292 516 220 80 312 416 396 368 164 32 420 12 40 88 224 80 596 212 236 268 412 280 608 180 232 336 436 336 616 536 176 192 80 52 124 344 192 284 76 84 152 524 32 56 368 76 172 212 40 176 228 32 404 184 428 116 128 208 140 212 216 152 336 252 48 432 48 272 72 96 288 432 400 592 628 112 404 556 164 456 136 124 476 248 120 148 180 224 352 164 44 508 236 304 156 152 52 388 208 372 184 256 160 372 48 344 456 428 72 292 132 68 216 116 324 156 428 308 16 152 364 484 24 104 208 64 580 196 420 260 220 40 136 76 8 80 388 348 20 536 48 564 180 204 144 128 304 44 12 340 36 348 124 100 24 352 92 416 196 424 192 600 188 316 396 296 216 252 156 140 400 128 88 68 620 28 640 400 368 56 640 412 536 264 44 16 268 544 16 680 532 572 220 248 300 156 548 344 216 220 460 516 232 288 8 424 64 208 68 464 424 56 544 612 44 268 640 304 244 132 128 88 196 72 396 356 12 284 16 112 56 412 236 48 72 112 188 204 196 156 500 428 268 236 4 428 184 364 464 192 292 240 192 408 344 420 324 408 388 68 356 420 48 240 64 64 72 588 448 324 12 72 220 252 332 564 276 84 356 80 604 412 60 188 460 248 420 380 468 156 56 404 292 52 96 384 556 292 540 644 340 612 236 512 36 12 44 180 652 272 452 100 132 232 180 76 24 212 124 372 128 264 212 288 304 212 172 236 248 148 468 428 548 616 40 260 484 284 64 372 176 348 396 84 276 144 432 308 128 436 192 68 200 44 56 100 156 648 196 148 632 412 556 568 132 404 568 408 80 340 208 16 160 444 592 200 108 336 420 552 620 368 120 72 216 144 72 120 500 16 92 212 80 516 56 168 244 44 80 48 228 104 168 120 124 188 332 444 624 304 24 404 248 40 312 48 192 296 212 68 584 200 424 440 248 180 140 40 296 208 376 380 120 292 200 488 328 568 328 316 188 192 460 420 264 524 268 368 84 296 84 16 292 104 292 32 112 344 100 56 136 356 408 416 68 272 168 104 172 376 352 392 168 68 124 120 260 288 72 332 136 204 36 128 272 296 144 540 312 64 152 372 196 236 76 232 352 56 248 252 296 272 224 304 392 244 60 128 136 104 48 196 120 116 428 396 612 300 580 28 340 588 104 200 324 208 228 24 260 292 448 52 36 340 40 160 392 152 48 436 216 372 148 340 64 396 284 208 496 372 192 500 340 300 200 96 280 240 32 168 136 240 456 88 288 84 168 48 408 288 420 508 196 388 16 332 240 104 648 220 376 648 656 136 172 76 64 228 244 64 144 24 196 280 180 60 120 92 348 92 372 52 100 36 24 140 352 232 216 216 100 268 372 384 80 128 128 96 528 656 344 356 308 592 292 576 28 40 88 220 92 156 44 256 48 340 36 388 156 44 60 180 156 104 244 584 288 356 480 484 64 624 252 244 32 324 140 236 120 172 180 108 340 112 36 240 308 284 32 316 92 380 184 40 172 412 220 64 132 80 24 80 316 72 112 500 48 208 152 684 324 540 48 72 476 48 204 88 184 24 180 48 500 280 144 212 12 248 644 352 204 256 428 436 24 88 124 180 128 204 88 408 88 212 560 428 300 72 108 604 320 52 288 420 280 312 380 312 120 524 64 176 88 268 228 376 100 596 576 432 40 68 152 380 120 356 256 248 68 212 80 300 280 164 124 212 396 348 192 60 44 352 276 288 248 100 156 56 112 376 232 272 160 156 96 116 244 64 48 32 204 68 248 272 172 260 492 520 472 552 328 144 516 132 156 180 276 272 248 56 504 524 156 444 436 312 404 56 132 148 144 124 224 268 112 48 104 164 348 180 560 436 104 204 392 384 304 160 240 284 104 108 92 32 64 372 144 124 524 488 48 48 220 124 260 92 80 96 204 128 560 224 436 68 200 272 56 84 316 52 100 280 56 328 84 160 496 548 476 556 332 140 344 200 280 40 132 168 112 104 256 68 132 72 112 100 24 204 104 44 192 580 324 128 308 232 56 160 360 144 336 108 308 164 208 300 376 76 212 92 288 280 200 396 88 232 572 408 28 12 300 556 304 348 308 324 432 532 28 224 164 224 216 72 276 8 216 252 32 664 184 44 60 372 148 268 248 344 176 360 144 396 84 472 72 240 272 24 156 128 204 76 68 100 108 124 248 112 328 96 92 284 60 520 80 552 176 460 32 100 308 52 280 88 112 280 116 352 76 20 148 128 52 204 220 312 168 84 476 124 164 224 240 628 36 124 4 320 536 128 308 236 128 472
2520.04/2467.14	v       </values>
2520.04/2467.14	v     </instantiation>
2520.04/2467.14	s SATISFIABLE

Verifier Data 

OK	89790742

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304437-1534087132/watcher-4304437-1534087132 -o /tmp/evaluation-result-4304437-1534087132/solver-4304437-1534087132 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9592 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=534362197 HOME/instance-4304437-1534087132.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=13984, runsolver pid=13981

[startup+0.100063 s]*
/proc/loadavg: 2.19 1.83 1.71 4/206 14041
/proc/meminfo: memFree=12748752/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=10005480 memory=14908 CPUtime=0.08 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 4393 13255 0 0 1 0 5 2 20 0 6 0 226276415 10245611520 3727 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2501370 3727 1934 1 0 2489808 0
[pid=13984/tid=14037] ppid=13981 vsize=10005480 memory=4279135704047060619 CPUtime=0.08 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 2235 13255 0 0 1 0 5 2 20 0 6 0 226276424 10245611520 3793 33554432000 4194304 4196468 140725113831248 140236993765968 140237021951133 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 6 0 226276425 10245611520 3793 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=10005480 memory=140372998731392 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 6 0 226276425 10245611520 3793 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 6 0 226276425 10245611520 3793 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 6 0 226276425 10245611520 3793 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14908 KiB

[startup+0.210221 s]*
/proc/loadavg: 2.19 1.83 1.71 3/215 14050
/proc/meminfo: memFree=12723312/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=10982696 memory=42688 CPUtime=0.26 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 8591 13255 0 0 17 2 5 2 20 0 15 0 226276415 11246280704 10672 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2745674 10672 2946 1 0 2708109 0
[pid=13984/tid=14037] ppid=13981 vsize=10982696 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 5048 13255 0 0 10 1 5 2 20 0 15 0 226276424 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236993726864 140237007094879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=10982696 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246280704 10672 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=10982696 memory=140372998731392 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=10982696 memory=140372998731392 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 15 0 226276426 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 13 13255 0 0 0 0 5 2 20 0 15 0 226276427 11246280704 10672 33554432000 4194304 4196468 140725113831248 140235849589792 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276427 11246280704 10672 33554432000 4194304 4196468 140725113831248 140235648263024 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246280704 10672 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 450 13255 0 0 1 0 5 2 20 0 15 0 226276430 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 189 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=10982696 memory=140372998731392 CPUtime=0.1 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) S 13981 13984 9560 0 -1 1077944384 688 13255 0 0 3 0 5 2 20 0 15 0 226276430 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236444097136 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246280704 10672 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=10982696 memory=140372998731392 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246280704 10672 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42688 KiB

[startup+0.310177 s]*
/proc/loadavg: 2.19 1.83 1.71 3/215 14050
/proc/meminfo: memFree=12712768/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=10983192 memory=54032 CPUtime=0.37 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 10634 13255 0 0 28 2 5 2 20 0 15 0 226276415 11246788608 13508 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2745798 13508 3078 1 0 2708109 0
[pid=13984/tid=14037] ppid=13981 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 7063 13255 0 0 19 1 5 2 20 0 15 0 226276424 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236993741216 140237006009694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=10983192 memory=5937523740975845457 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 13508 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 15 0 226276426 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 13 13255 0 0 0 0 5 2 20 0 15 0 226276427 11246788608 13508 33554432000 4194304 4196468 140725113831248 140235849589792 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276427 11246788608 13508 33554432000 4194304 4196468 140725113831248 140235648263024 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246788608 13508 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 457 13255 0 0 2 0 5 2 20 0 15 0 226276430 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 190 13255 0 0 1 0 5 2 20 0 15 0 226276430 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) S 13981 13984 9560 0 -1 1077944384 714 13255 0 0 5 0 5 2 20 0 15 0 226276430 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236444097136 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246788608 13508 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246788608 13508 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54032 KiB

[startup+0.700774 s]
/proc/loadavg: 2.19 1.83 1.71 4/215 14050
/proc/meminfo: memFree=12700552/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=10983192 memory=87864 CPUtime=0.98 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 17158 13255 0 0 87 4 5 2 20 0 15 0 226276415 11246788608 21966 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2745798 21966 3237 1 0 2708109 0
[pid=13984/tid=14037] ppid=13981 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 12473 13255 0 0 56 3 5 2 20 0 15 0 226276424 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236993750032 140237006009694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 21966 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=10983192 memory=3816 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 15 0 226276425 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 5 13255 0 0 0 0 5 2 20 0 15 0 226276426 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 13 13255 0 0 0 0 5 2 20 0 15 0 226276427 11246788608 21966 33554432000 4194304 4196468 140725113831248 140235849589792 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276427 11246788608 21966 33554432000 4194304 4196468 140725113831248 140235648263024 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246788608 21966 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 757 13255 0 0 8 0 5 2 20 0 15 0 226276430 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 792 13255 0 0 9 0 5 2 20 0 15 0 226276430 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) R 13981 13984 9560 0 -1 4202560 917 13255 0 0 13 0 5 2 20 0 15 0 226276430 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236444097136 140237000466592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246788608 21966 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276430 11246788608 21966 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87864 KiB

[startup+1.50287 s]
/proc/loadavg: 2.19 1.83 1.71 3/215 14050
/proc/meminfo: memFree=12654068/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=10991948 memory=316328 CPUtime=2.86 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 23111 13255 0 0 256 23 5 2 20 0 15 0 226276415 11255754752 79082 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2747987 79082 3470 1 0 2709645 0
[pid=13984/tid=14037] ppid=13981 vsize=10991948 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 15063 13255 0 0 123 10 5 2 20 0 15 0 226276424 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236993759136 140236591444032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 43 13255 0 0 2 2 5 2 20 0 15 0 226276425 11255754752 79082 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 41 13255 0 0 2 2 5 2 20 0 15 0 226276425 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=10991948 memory=3539892194917298225 CPUtime=0.11 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 397 13255 0 0 2 2 5 2 20 0 15 0 226276425 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 141 13255 0 0 2 2 5 2 20 0 15 0 226276425 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 88 13255 0 0 0 0 5 2 20 0 15 0 226276426 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=10991948 memory=280745771870464 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 14 13255 0 0 0 0 5 2 20 0 15 0 226276427 11255754752 79082 33554432000 4194304 4196468 140725113831248 140235849589792 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 2 13255 0 0 0 0 5 2 20 0 15 0 226276427 11255754752 79082 33554432000 4194304 4196468 140725113831248 140235648263024 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=10991948 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11255754752 79082 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=10991948 memory=3732 CPUtime=0.46 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 1266 13255 0 0 39 0 5 2 20 0 15 0 226276430 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236446189168 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=10991948 memory=1228 CPUtime=0.53 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) R 13981 13984 9560 0 -1 1077944384 2354 13255 0 0 46 0 5 2 20 0 15 0 226276430 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236445137840 140237021939413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=10991948 memory=10624 CPUtime=0.43 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) R 13981 13984 9560 0 -1 4202560 1508 13255 0 0 36 0 5 2 20 0 15 0 226276430 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236444097136 140237014166334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=10991948 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11255754752 79082 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=10991948 memory=6768 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 1 13255 0 0 0 0 5 2 20 0 15 0 226276430 11255754752 79082 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10991948 KiB

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

/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 485902 13255 0 0 237059 82 5 2 20 0 15 0 226276424 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236993764312 140236614916514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=11016544 memory=3499056 CPUtime=9.83 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 42036 13255 0 0 884 92 5 2 20 0 15 0 226276425 11280941056 874764 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=11016544 memory=3499056 CPUtime=9.82 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 36490 13255 0 0 883 92 5 2 20 0 15 0 226276425 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=11016544 memory=3500552 CPUtime=9.82 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 46548 13255 0 0 882 93 5 2 20 0 15 0 226276425 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=11016544 memory=3499040 CPUtime=9.87 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 33321 13255 0 0 888 92 5 2 20 0 15 0 226276425 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=11016544 memory=3499048 CPUtime=0.99 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 33168 13255 0 0 77 15 5 2 20 0 15 0 226276426 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=11016544 memory=3499056 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 34 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874764 33554432000 4194304 4196468 140725113831248 140235849589856 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=11016544 memory=3499056 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 15 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874764 33554432000 4194304 4196468 140725113831248 140235648263040 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=11016544 memory=3499056 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874764 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=11016544 memory=3499056 CPUtime=9.21 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 90875 13255 0 0 904 10 5 2 20 0 15 0 226276430 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=11016544 memory=3499048 CPUtime=9.37 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 104452 13255 0 0 921 9 5 2 20 0 15 0 226276430 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=11016544 memory=3816 CPUtime=3.43 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) S 13981 13984 9560 0 -1 1077944384 69781 13255 0 0 326 10 5 2 20 0 15 0 226276430 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236444097136 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=11016544 memory=61448 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874764 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=11016544 memory=3499040 CPUtime=1.46 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 2991 13255 0 0 63 76 5 2 20 0 15 0 226276430 11280941056 874764 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 2434.78 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3499056 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.78 1.70 3/215 14389
/proc/meminfo: memFree=9260812/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=11016544 memory=3499068 CPUtime=2495.09 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 971111 13255 0 0 248941 561 5 2 20 0 15 0 226276415 11280941056 874767 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2754136 874767 3538 1 0 2715789 0
[pid=13984/tid=14037] ppid=13981 vsize=11016544 memory=3499068 CPUtime=2431.4 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 502739 13255 0 0 243049 84 5 2 20 0 15 0 226276424 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236993764464 140236614871694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.9 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 43270 13255 0 0 891 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.89 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 36607 13255 0 0 890 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.89 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 47314 13255 0 0 889 93 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=11016544 memory=3499056 CPUtime=9.94 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 33474 13255 0 0 895 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=11016544 memory=3499068 CPUtime=1 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 33539 13255 0 0 78 15 5 2 20 0 15 0 226276426 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 34 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235849589856 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 15 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235648263040 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.23 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 92792 13255 0 0 906 10 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.39 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 105588 13255 0 0 923 9 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=11016544 memory=3499068 CPUtime=3.44 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) S 13981 13984 9560 0 -1 1077944384 70502 13255 0 0 327 10 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236444097136 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=11016544 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=11016544 memory=1068 CPUtime=1.5 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 3043 13255 0 0 65 78 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 2495.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3499068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.11 s]
/proc/loadavg: 1.70 1.78 1.70 3/215 14389
/proc/meminfo: memFree=9260812/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=11016544 memory=3499068 CPUtime=2520.04 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 986463 13255 0 0 251434 563 5 2 20 0 15 0 226276415 11280941056 874767 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2754136 874767 3538 1 0 2715789 0
[pid=13984/tid=14037] ppid=13981 vsize=11016544 memory=3499068 CPUtime=2456.17 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 516998 13255 0 0 245525 85 5 2 20 0 15 0 226276424 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236993764560 140236615449084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.93 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 43271 13255 0 0 894 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.92 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 36608 13255 0 0 893 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.92 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 47317 13255 0 0 892 93 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.97 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 33477 13255 0 0 898 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=11016544 memory=3499068 CPUtime=1.01 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 33549 13255 0 0 79 15 5 2 20 0 15 0 226276426 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 34 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235849589856 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 15 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235648263040 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.25 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 92907 13255 0 0 908 10 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=11016544 memory=492 CPUtime=9.41 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 106532 13255 0 0 925 9 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=11016544 memory=1116 CPUtime=3.44 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) S 13981 13984 9560 0 -1 1077944384 70514 13255 0 0 327 10 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236444097136 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=11016544 memory=2144 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=11016544 memory=3499068 CPUtime=1.51 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 3047 13255 0 0 65 79 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3499068 KiB

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

[startup+2467.18 s]
# the end of solver process 13984 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.43 s, system=5.68903 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2467.11 s]
/proc/loadavg: 1.70 1.78 1.70 3/215 14389
/proc/meminfo: memFree=9260812/32770624 swapFree=67108504/67108860
[pid=13984] ppid=13981 vsize=11016544 memory=3499068 CPUtime=2520.04 cores=1,3,5,7
/proc/13984/stat : 13984 (java) S 13981 13984 9560 0 -1 1077944320 986463 13255 0 0 251434 563 5 2 20 0 15 0 226276415 11280941056 874767 33554432000 4194304 4196468 140725113831248 140725113813792 140237021929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
/proc/13984/statm: 2754136 874767 3538 1 0 2715789 0
[pid=13984/tid=14037] ppid=13981 vsize=11016544 memory=3499068 CPUtime=2456.17 cores=1,3,5,7
/proc/13984/task/14037/stat : 14037 (java) R 13981 13984 9560 0 -1 4202560 516998 13255 0 0 245525 85 5 2 20 0 15 0 226276424 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236993764560 140236615449084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14038] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.93 cores=1,3,5,7
/proc/13984/task/14038/stat : 14038 (java) S 13981 13984 9560 0 -1 1077944384 43271 13255 0 0 894 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140237026172048 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14039] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.92 cores=1,3,5,7
/proc/13984/task/14039/stat : 14039 (java) S 13981 13984 9560 0 -1 1077944384 36608 13255 0 0 893 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236924529680 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14040] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.92 cores=1,3,5,7
/proc/13984/task/14040/stat : 14040 (java) S 13981 13984 9560 0 -1 1077944384 47317 13255 0 0 892 93 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236560927632 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14041] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.97 cores=1,3,5,7
/proc/13984/task/14041/stat : 14041 (java) S 13981 13984 9560 0 -1 1077944384 33477 13255 0 0 898 92 5 2 20 0 15 0 226276425 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236559874832 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14042] ppid=13981 vsize=11016544 memory=3499068 CPUtime=1.01 cores=1,3,5,7
/proc/13984/task/14042/stat : 14042 (java) S 13981 13984 9560 0 -1 1077944384 33549 13255 0 0 79 15 5 2 20 0 15 0 226276426 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236447254896 140237021940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14043] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14043/stat : 14043 (java) S 13981 13984 9560 0 -1 1077944384 34 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235849589856 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14044] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14044/stat : 14044 (java) S 13981 13984 9560 0 -1 1077944384 15 13255 0 0 0 0 5 2 20 0 15 0 226276427 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235648263040 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14045] ppid=13981 vsize=11016544 memory=3499068 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14045/stat : 14045 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140235340863312 140237021947803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14046] ppid=13981 vsize=11016544 memory=3499068 CPUtime=9.25 cores=1,3,5,7
/proc/13984/task/14046/stat : 14046 (java) S 13981 13984 9560 0 -1 1077944384 92907 13255 0 0 908 10 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236446202736 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14047] ppid=13981 vsize=11016544 memory=492 CPUtime=9.41 cores=1,3,5,7
/proc/13984/task/14047/stat : 14047 (java) S 13981 13984 9560 0 -1 1077944384 106532 13255 0 0 925 9 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236445149936 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14048] ppid=13981 vsize=11016544 memory=1116 CPUtime=3.44 cores=1,3,5,7
/proc/13984/task/14048/stat : 14048 (java) S 13981 13984 9560 0 -1 1077944384 70514 13255 0 0 327 10 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236444097136 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14049] ppid=13981 vsize=11016544 memory=2144 CPUtime=0.07 cores=1,3,5,7
/proc/13984/task/14049/stat : 14049 (java) S 13981 13984 9560 0 -1 1077944384 3 13255 0 0 0 0 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140234910067424 140237021939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
[pid=13984/tid=14050] ppid=13981 vsize=11016544 memory=3499068 CPUtime=1.51 cores=1,3,5,7
/proc/13984/task/14050/stat : 14050 (java) S 13981 13984 9560 0 -1 1077944384 3047 13255 0 0 65 79 5 2 20 0 15 0 226276430 11280941056 874767 33554432000 4194304 4196468 140725113831248 140236443044528 140237021940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26554368 140725113834093 140725113836892 140725113836892 140725113839567 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3499068 KiB

Child status: 143
Real time (s): 2467.18
CPU time (s): 2520.11
CPU user time (s): 2514.43
CPU system time (s): 5.68903
CPU usage (%): 102.146
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3867172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.42
system time used= 5.68903
maximum resident set size= 3867172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1001745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78092
involuntary context switches= 2138


# summary of solver processes directly reported to runsolver:
#   pid: 13984
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2514.43
#   total CPU system time (s): 5.68903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7676 second user time and 23.4028 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-12 17:18:52
IDJOB=4304437
IDBENCH=141267
IDSOLVER=2780
FILE ID=node104/4304437-1534087132
RUNJOBID= node104-1534062308-9592
PBS_JOBID= 21036981
Free space on /tmp= 37312 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304437-1534087132/watcher-4304437-1534087132 -o /tmp/evaluation-result-4304437-1534087132/solver-4304437-1534087132 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9592 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=534362197 HOME/instance-4304437-1534087132.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=534362197

node104.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.11
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.11
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.11
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.11
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:        12752312 kB
MemAvailable:   28410464 kB
Buffers:          187568 kB
Cached:         15507928 kB
SwapCached:            8 kB
Active:         11364044 kB
Inactive:        7875752 kB
Active(anon):    3495172 kB
Inactive(anon):   100964 kB
Active(file):    7868872 kB
Inactive(file):  7774788 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:            122248 kB
Writeback:             0 kB
AnonPages:       3551216 kB
Mapped:            65112 kB
Shmem:             49636 kB
Slab:             471324 kB
SReclaimable:     442952 kB
SUnreclaim:        28372 kB
KernelStack:        3536 kB
PageTables:        11972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4256952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3233792 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= 37260 MiB
End job on node104 at 2018-08-12 18:00:00