Trace number 4302293

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)3571 252.103 188.56

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order60_c18.xml
MD5SUM2b7bed68bca9665ed3be29de24764d77
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark59
Best CPU time to get the best result obtained on this benchmark252.101
Satisfiable
(Un)Satisfiability was proved
Number of variables3600
Number of constraints212400
Number of domains1
Minimum domain size3600
Maximum domain size3600
Distribution of domain sizes[{"size":3600,"count":3600}]
Minimum variable degree119
Maximum variable degree119
Distribution of variable degrees[{"degree":119,"count":3600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":212400}]
Number of extensional constraints0
Number of intensional constraints212400
Distribution of constraint types[{"type":"intension","count":212400}]
Optimization problemYES
Type of objectivemin MAXIMUM

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
145.65/98.64	o 3599
149.97/101.97	o 3598
155.11/105.46	o 3597
159.95/108.87	o 3596
164.66/112.23	o 3595
167.69/115.24	o 3594
172.35/118.66	o 3593
177.02/122.10	o 3592
181.84/125.60	o 3591
186.39/128.97	o 3590
191.02/132.38	o 3589
195.87/135.98	o 3588
199.26/139.05	o 3587
202.60/142.11	o 3586
205.94/145.09	o 3585
209.67/148.34	o 3584
212.69/151.32	o 3583
215.95/154.45	o 3582
219.23/157.54	o 3581
222.57/160.61	o 3580
225.80/163.62	o 3579
229.07/166.66	o 3578
231.97/169.59	o 3577
235.14/172.52	o 3576
238.45/175.62	o 3575
241.72/178.69	o 3574
244.82/181.73	o 3573
248.00/184.78	o 3572
251.33/187.82	o 3571
252.03/188.50	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.03/188.50		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.03/188.50		at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:51)
252.03/188.50		at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:33)
252.03/188.50		at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:272)
252.03/188.50		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:33)
252.03/188.50		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8)
252.03/188.50		at concrete.heuristic.value.BestCost.select(BestCost.scala:51)
252.03/188.50		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/188.50		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/188.50		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/188.50		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/188.50		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/188.50		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/188.50		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/188.50		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.03/188.50		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.03/188.50		at scala.Option.map(Option.scala:146)
252.03/188.50		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.03/188.50		at concrete.MAC.mac(MAC.scala:203)
252.03/188.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/188.50		at scala.util.Try$.apply(Try.scala:209)
252.03/188.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/188.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/188.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/188.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/188.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/188.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/188.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/188.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/188.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/188.50		at concrete.MAC.oneRun(MAC.scala:253)
252.03/188.50		at concrete.MAC.nextSolution(MAC.scala:272)
252.03/188.50		at concrete.MAC.nextSolution(MAC.scala:355)
252.03/188.50		at concrete.Solver.hasNext(Solver.scala:166)
252.03/188.50		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/188.50		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/188.50		at concrete.Solver.foreach(Solver.scala:68)
252.03/188.50		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/188.50		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/188.50		at scala.util.Success.map(Try.scala:209)
252.03/188.50		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/188.50		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/188.50		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/188.50		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/188.50		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/188.50		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/188.50		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/188.50		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/188.50		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/188.50		at scala.collection.immutable.List.foreach(List.scala:389)
252.03/188.50		at scala.App.main(App.scala:76)
252.03/188.50		at scala.App.main$(App.scala:74)
252.03/188.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/188.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/188.51	v <instantiation cost="3571">
252.03/188.51	v       <list>
252.03/188.51	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599]
252.03/188.52	v       </list>
252.03/188.52	v       <values>
252.03/188.52	v         4 29 10 15 3563 17 3570 3560 3552 3549 3557 36 8 16 3566 22 3559 28 3561 14 19 3565 24 9 3548 3553 31 20 25 3551 13 11 27 3544 18 21 34 1 0 2 3540 3543 3 3562 35 3568 3564 3571 3554 30 3546 37 23 5 3550 3556 6 12 3558 3555 3547 1 13 3554 9 3560 5 3549 3556 3561 35 33 3568 2 8 3553 3550 3558 3569 20 12 27 38 14 37 3552 3570 24 3 26 16 30 3563 32 3565 25 19 3555 3562 34 3566 31 11 3559 28 17 3567 10 29 23 3536 22 0 3564 3557 3571 3542 4 7 21 3550 3558 18 12 10 14 27 3571 13 3547 15 0 5 30 1 3544 23 3562 2 4 31 3546 33 3545 16 3556 3569 3566 26 3568 11 8 6 7 9 3557 3564 21 3561 3554 3551 35 38 24 3559 3563 20 19 3 39 32 17 36 3567 3565 3570 29 3548 37 3560 11 3563 3554 20 3553 37 31 15 12 0 32 3558 26 28 18 9 3545 3571 5 3564 2 19 3567 25 36 35 3560 3570 22 24 3549 17 29 6 1 30 10 3562 8 3568 3550 3 40 3556 27 21 39 16 34 3566 3565 23 4 41 7 14 3547 3569 42 33 3569 3545 3549 3559 8 15 6 21 18 4 5 2 3 17 3556 3560 28 3551 22 3565 13 11 7 10 3562 3567 3555 23 3570 3558 3564 24 30 0 3540 3568 3554 20 3542 29 3546 3566 3550 34 3563 12 3548 1 14 19 3539 9 3557 3552 38 3561 3571 16 25 3553 3565 3550 12 31 3539 6 1 3561 0 3560 30 41 3557 3554 14 7 3568 10 3552 23 22 3548 3 3540 3567 39 3547 11 13 4 8 3566 2 3541 3542 3559 20 24 3551 3564 3571 17 15 9 33 3556 5 3562 3544 3570 3537 16 3545 3549 3558 3543 18 19 21 3569 9 28 5 3567 3547 3566 38 22 3561 13 27 3 3560 3568 3559 3556 10 31 3562 8 1 17 2 20 3554 32 3571 30 3557 7 41 3548 37 18 16 33 24 3563 34 6 4 3565 3569 14 23 3543 3558 25 21 3550 0 3552 3553 19 15 36 12 26 29 3564 3551 3562 35 8 3559 32 15 3564 3542 3541 3568 3545 3565 25 3546 11 4 19 3560 6 27 3544 28 3558 10 3566 24 17 3547 29 5 3571 23 22 3556 3553 0 3 2 1 3569 3567 3563 3570 3554 13 3549 14 3555 7 26 3550 9 3548 3552 30 3557 3540 31 12 2 3560 3568 5 3543 3564 3561 3562 7 6 3569 3546 3558 3552 23 3540 33 26 36 3566 34 3559 25 22 4 10 3550 27 0 9 1 12 3570 11 19 3547 31 32 3556 3549 3545 3542 13 16 29 3555 3571 24 20 3554 8 3 3563 14 18 3567 3548 17 3565 28 14 10 3 3562 24 1 12 3555 4 3570 9 3549 3571 3566 3567 3569 37 3543 31 3540 3559 3557 3553 13 18 3548 3546 8 33 3545 3563 3560 25 3568 27 3561 28 3552 3550 15 30 3544 7 17 6 11 32 3554 3551 36 3547 21 3565 0 3556 40 3558 3564 5 2 27 7 31 26 17 22 3568 3545 19 3553 3555 3563 3550 39 3569 3565 38 3567 8 1 24 6 13 16 3556 20 11 15 21 0 30 3561 33 2 3558 3560 12 9 35 5 23 4 3562 3552 37 18 29 3566 32 14 3571 10 3548 3559 25 3564 3 28 36 3570 28 8 3555 3544 16 3567 26 18 3547 14 3556 3554 3559 31 9 12 15 5 3541 3543 21 24 3570 29 3540 4 3564 3563 3548 3549 2 3568 3562 3546 3 3551 3550 3565 3557 3539 6 3553 3571 1 3558 25 3566 0 10 13 3560 3561 17 3542 3545 22 7 11 3569 27 3566 31 39 3 18 9 29 0 21 8 3550 3544 35 3557 3549 27 7 11 3558 19 3571 3567 3556 36 38 16 20 3555 17 23 10 6 28 5 3562 3570 3553 3554 12 3552 40 3546 33 3565 22 3561 15 3548 3563 3564 3551 30 3568 2 1 3547 4 3545 13 25 3555 20 23 3542 3551 24 3550 3554 3566 17 7 11 3548 15 3565 3549 3562 16 29 3553 10 3561 18 4 3544 1 3540 3568 3563 3567 22 3570 3569 3552 3559 9 3547 3556 6 27 0 3537 3564 3557 31 3571 8 3546 2 12 14 3558 5 25 13 21 3560 3541 3 32 3545 23 3542 11 5 3569 3546 3552 20 3567 8 3570 32 0 3571 3566 16 17 4 7 3547 9 10 3563 12 3565 3539 3554 2 3541 3558 3555 13 3562 25 22 14 3568 3553 3548 3561 21 26 3550 3560 3544 1 3 3559 6 3549 3543 15 24 3551 3557 3564 3556 34 19 3563 25 3564 3569 3540 2 17 3558 3565 3550 22 39 31 33 3552 18 6 15 3554 11 3549 8 3557 24 3 5 3559 19 3568 3561 3555 3553 32 12 3570 3571 3548 3547 3545 3567 3560 7 28 0 26 36 23 9 13 34 4 3562 16 20 14 35 1 3566 27 29 3542 32 6 19 3550 3558 3559 3569 36 3545 2 9 3567 3560 3541 3562 11 3548 20 3546 3568 25 3555 26 3547 3549 22 0 3553 31 38 15 3554 8 7 23 3566 18 3565 17 3556 3557 5 29 14 1 3 3570 12 4 30 3564 35 3561 16 3563 3552 10 3571 13 1 39 28 10 4 35 7 16 3562 19 25 38 3544 18 3554 3558 20 14 3550 3570 3556 3549 29 3568 3546 27 23 33 9 30 3553 3 3571 3563 3567 3564 2 3545 32 3569 3565 12 37 3548 15 3551 3552 34 3560 24 21 6 3559 3566 11 8 3555 13 26 22 24 3571 21 3555 3565 13 3553 1 3563 11 6 4 7 35 22 3 30 3547 16 3561 3557 3569 3545 3564 3558 0 3556 29 10 3550 3554 3559 3568 15 33 3562 3546 39 31 19 38 9 34 3566 3552 8 36 3567 5 17 3570 26 14 3551 32 3560 3549 2 12 3548 3570 3551 1 30 15 12 3545 3556 3554 7 28 26 3552 3569 3568 3564 3544 3565 3546 3550 4 3 19 18 17 2 0 10 27 8 3559 13 24 3543 34 31 23 40 21 3558 3547 3560 29 3563 3549 9 35 32 3557 3553 5 14 11 16 3567 25 3566 20 3555 3542 3552 15 22 3558 3564 3557 0 33 32 3554 17 3565 14 24 3561 26 3560 34 7 3536 3544 3568 3548 12 27 23 13 25 4 21 3 36 35 3570 3543 8 18 28 3547 3571 3563 20 3556 3555 3569 3549 6 30 11 16 3553 19 1 31 3562 5 3551 3567 2 3566 3568 37 3546 3547 1 33 3571 25 8 3564 24 3548 0 38 2 20 29 3545 6 31 3553 14 12 3562 19 3557 30 34 3549 3555 9 5 3567 4 22 10 3551 3550 16 28 26 11 32 15 3570 3 21 39 3552 3561 3566 35 18 3563 27 7 17 3554 3560 3565 8 3548 20 3556 3546 36 3565 5 28 35 3563 3566 3569 34 6 3555 3552 13 3549 9 25 0 3547 21 3571 33 3558 3561 12 11 14 3562 3551 19 32 17 15 37 3567 30 10 1 3553 3554 16 31 3545 27 23 3560 7 4 2 18 3541 3 38 24 3570 26 0 36 30 25 3555 39 3552 3548 3545 9 3565 24 6 3556 7 3563 3570 2 21 16 37 3553 22 27 1 13 28 4 3561 3560 23 10 3549 20 3568 35 3569 5 3558 3547 3542 32 3557 3564 18 3567 12 31 3550 3551 3562 3559 3 3571 34 11 3546 14 19 17 26 17 32 3557 12 3565 23 14 16 3542 3554 3555 21 3564 24 15 13 3546 3556 3567 3562 3545 3559 3550 3570 3563 18 36 3543 3 7 35 3566 3553 0 28 3568 3558 3571 3541 2 22 4 3569 5 19 3547 33 3548 1 3552 20 3560 11 31 3551 37 3561 10 8 31 3549 0 7 3568 3570 28 2 3571 24 21 5 3547 32 3560 3551 17 1 9 3559 14 16 3546 3 35 3561 4 3564 3544 3566 3548 3556 12 13 8 3558 11 34 3555 23 3552 6 10 20 19 3554 33 18 25 15 3569 29 38 27 3553 26 3563 3557 3567 30 18 21 17 13 3542 26 16 3557 3560 3544 23 22 3553 3561 3563 25 14 8 3555 3554 0 4 3568 34 7 3 3541 28 38 2 3550 3551 20 10 3546 1 29 3570 3566 3545 3548 3547 6 5 3562 3569 3540 3552 30 31 3538 3567 3571 12 3559 3549 3543 15 3564 11 3553 3565 15 29 6 3550 3567 28 1 2 12 3557 10 23 3551 13 3558 25 3571 3568 3560 33 21 19 30 3554 3562 18 3559 3570 3569 3552 5 37 20 32 16 36 3564 3 31 14 8 7 9 3566 17 35 3556 3563 3548 24 22 39 3555 4 11 0 3561 3546 22 3 16 3565 11 30 3566 3559 14 21 34 3560 3563 5 3558 28 3549 20 18 3538 15 3564 17 3571 26 40 36 3556 3546 1 3568 3554 3552 3548 6 3569 3567 19 29 0 3557 3562 12 25 3561 3550 13 3555 8 35 3543 2 27 10 3570 38 3553 3551 3547 4 7 9 27 3552 3569 3561 3556 20 17 1 3543 14 29 3562 3557 3548 3567 3553 3563 3544 3555 37 3564 5 2 15 26 3542 3558 3559 3560 3565 34 28 12 0 3571 4 3549 3551 3568 23 3570 11 3546 3545 25 13 18 3547 3541 8 24 3 3566 3550 10 21 3554 6 3559 3556 3566 2 3552 7 13 23 26 3551 20 3571 12 19 3553 8 22 3569 3547 3558 17 1 4 3544 3549 9 33 3548 3554 27 3567 28 16 3561 3539 11 3570 3546 25 32 5 3555 14 21 3 10 0 3560 3565 3562 3550 3563 29 3545 3564 6 15 3538 24 3557 3557 6 3553 3548 3544 21 3569 3547 23 3555 37 28 3546 10 27 2 3 24 1 3560 29 3562 3565 3561 22 25 15 12 31 20 3571 9 3550 3556 13 19 5 3551 26 3566 7 3563 30 38 11 4 14 3549 39 0 3568 3570 34 17 35 3552 3559 18 33 3558 3549 3559 3570 18 3561 28 8 27 24 3565 3567 15 1 3543 3550 3539 35 0 3564 3 9 3560 3569 7 3566 31 3557 3558 14 13 3547 2 4 3551 3571 3563 3552 10 3554 16 12 3545 17 19 3548 6 3568 3556 22 26 11 33 20 3555 5 32 3562 23 38 3544 3564 3557 3569 3561 3571 31 3554 24 3568 3566 4 34 15 13 37 10 26 27 3570 3549 3550 3552 6 3559 3553 28 17 3565 3567 12 33 20 40 29 14 5 25 30 3563 3555 11 3539 18 3 1 3546 3560 2 0 21 3544 3556 3562 3547 9 16 8 3558 3548 3545 19 3567 14 22 3566 18 3563 3553 35 5 13 27 17 3558 39 3557 3555 3561 24 3569 26 3570 15 30 3560 3564 25 1 3562 28 3552 23 3556 3571 11 3548 37 7 3 8 9 2 0 10 3568 29 16 3550 4 40 3554 38 3551 3565 3547 3559 20 6 3549 31 3543 30 3558 6 3560 25 11 19 3555 16 26 3562 2 4 32 1 18 3559 35 3539 3569 13 3554 3566 15 3571 8 3 23 22 24 3563 0 14 38 7 36 17 3570 3550 3564 3556 9 3567 10 3565 3561 3545 3553 3557 12 5 37 21 20 33 28 3552 3568 3547 33 3564 3561 32 3556 23 24 9 25 3562 3553 3569 28 3 4 3547 3566 3563 3548 12 8 3543 3552 3555 3550 3570 16 3567 3571 17 21 29 19 3557 5 3554 1 3560 14 10 22 34 27 3558 3565 0 7 11 6 3549 18 31 26 15 2 13 30 3559 20 3568 3548 5 3562 3571 3567 3553 3549 3543 3 30 3561 8 40 11 3547 3538 3551 3556 19 10 3554 3566 3544 2 3545 3559 1 39 3565 6 26 27 3560 3564 4 15 3563 25 3552 3557 13 3568 3558 33 36 38 3569 7 3570 3546 17 0 3555 9 37 12 34 3542 3550 16 16 3570 3548 9 3549 3552 19 29 34 10 3562 3568 30 12 31 3546 3543 7 32 13 3563 3551 11 1 3561 21 5 6 3560 15 3565 18 3 3545 2 3550 4 3569 3541 3553 3544 3554 23 3571 3555 14 26 20 17 3559 3558 3566 3556 22 28 39 0 3547 3557 35 21 3553 11 3570 3558 20 3555 3 3557 22 16 42 25 36 30 3559 12 3568 37 0 3565 3571 5 17 3563 3547 14 31 3556 19 18 3549 26 3554 10 4 6 33 3548 3560 24 3569 3566 28 7 15 38 3564 27 8 3561 1 32 13 29 2 23 3550 9 3567 3556 3554 26 14 25 10 3562 17 6 3563 29 12 18 3553 5 24 3565 33 15 3551 3564 20 3560 0 8 3569 19 37 28 35 3570 34 3548 23 3545 16 3558 3566 9 3546 3555 3559 1 13 2 3552 4 22 7 11 3557 3571 3561 3568 21 31 3567 3 32 3549 3562 3546 3565 24 14 3563 22 8 3567 3568 3571 10 9 27 36 16 3569 30 28 5 3551 3558 1 3554 31 3560 3544 2 3566 18 3556 3564 15 3547 21 3549 3543 29 33 3542 35 3541 3552 6 0 3553 3550 17 3561 20 3559 3540 7 3557 3548 3555 3545 3570 4 3 25 3552 3550 4 3554 3551 3 3563 29 3569 14 17 3561 22 13 3541 3571 18 10 3556 3545 21 23 3546 33 8 9 5 3555 16 3557 3547 3565 1 3544 37 3549 26 15 11 3543 0 24 3553 3566 7 2 12 3562 3558 3564 3568 3567 3570 3542 34 3539 3560 6 3540 12 19 3552 3566 0 4 3558 3551 3569 3556 3547 20 3564 8 3 3542 3557 3570 13 3548 3540 10 26 3541 21 17 7 16 3539 3546 3561 3550 11 3549 31 6 3544 15 1 18 14 3538 3568 23 3571 3559 34 5 3545 3555 3567 3560 3554 3553 3543 3565 2 9 3562 3563 3544 0 29 17 3570 3559 14 13 22 3558 38 3551 23 21 35 3545 19 3564 3 3547 32 3563 16 3569 9 3568 3567 3571 30 5 40 3557 31 3565 3566 3555 3560 3561 20 12 3562 8 3546 2 4 3548 24 26 1 18 27 11 25 6 10 28 3554 7 15 3550 3554 33 2 1 3557 3549 4 3568 30 3540 3551 6 24 3571 21 3567 34 3560 26 29 3543 5 0 8 23 3562 32 14 3545 3556 3566 39 3555 3550 3553 3552 3 12 11 3561 15 3564 20 18 3542 3558 3570 3547 3569 9 19 3548 13 7 3563 10 3565 3544 22 3559 6 12 25 3563 3562 29 20 3566 27 3571 31 30 11 40 0 3552 1 9 3553 3537 33 23 3558 3557 3565 22 2 32 3564 14 39 7 17 3569 3551 34 3555 13 24 37 3554 3561 3560 26 21 3570 3559 15 3567 10 3556 18 28 4 3 3568 19 8 16 5 15 22 3567 28 3548 3571 2 3544 31 3546 1 3550 4 3570 34 3554 3547 32 3542 3563 3561 3556 39 3565 5 3555 3551 35 3552 3569 17 38 3553 3560 3549 13 7 3559 3568 20 16 3558 19 27 3557 3564 10 8 3566 3 3540 12 3543 29 6 3545 25 3562 18 0 32 3568 3559 16 2 27 3557 26 10 38 3566 37 33 6 17 5 21 3 3567 3571 11 15 3562 3570 14 3545 12 3552 29 3554 0 25 7 3558 3561 42 3556 8 3560 4 20 28 3555 22 3551 34 31 36 3564 3569 9 3565 19 35 23 3553 13 1 3563 18 3567 3561 3560 27 3545 3562 3547 3540 3546 29 3 3552 3570 26 19 3543 3564 3555 3559 15 5 3539 3566 11 3541 7 3568 13 20 3565 6 4 8 9 3563 12 3557 23 17 14 21 3548 16 3544 3556 2 28 3551 3549 3571 3542 3569 3558 3550 3554 1 22 25 0 10 3560 16 3556 21 40 41 35 3567 3553 32 3564 18 19 20 3555 3571 2 37 3566 24 38 3547 36 3549 11 12 3561 7 6 10 25 31 14 34 3557 29 33 27 3559 3562 17 13 3565 4 8 5 9 23 3558 3568 3 28 3569 3554 3544 0 3570 3563 1 15 10 24 9 3550 33 3 3560 4 3558 18 0 3556 39 3567 15 6 8 36 17 3552 23 7 3551 35 20 11 27 3557 1 3553 34 22 38 21 37 41 3565 3564 3569 3559 3570 3571 31 3561 32 3547 19 29 16 5 3563 25 3566 3562 12 3554 3568 3546 30 14 20 14 7 23 27 3568 18 12 5 3 11 1 36 9 3564 3550 0 22 3557 3545 3546 3555 3542 3553 13 26 6 3547 15 3563 37 3567 10 16 17 3556 3561 2 4 3540 3549 3552 3559 8 3543 3562 3565 21 19 25 28 3544 3570 3558 3560 3569 32 3571 3566 3551 3 2 3547 3553 31 3555 30 6 11 27 3548 19 3554 3563 3570 21 9 3550 3551 3542 3541 36 3561 15 3569 14 29 22 35 3552 3562 3558 18 3559 3560 3567 3545 3544 7 24 34 3549 25 3568 3564 3557 3546 37 3571 3565 16 13 10 8 0 3566 3556 5 28 1 17 26 3571 3549 28 3554 3564 10 9 20 3560 7 13 3546 38 4 3556 3557 11 2 3566 18 30 6 0 3558 3552 21 3569 3547 15 19 41 3567 3538 39 3562 3548 5 3544 3541 3570 36 31 25 33 3563 3565 3543 27 3555 3553 12 23 3568 24 3550 22 14 3561 3561 3555 4 0 13 8 33 3565 3559 15 3570 31 37 14 25 3568 5 21 23 40 3 3554 3563 3567 3557 36 3566 3551 3550 3548 29 3569 1 35 3564 26 30 3549 19 22 3558 3540 2 12 3553 20 3556 6 9 28 34 7 39 3560 17 3562 24 27 3552 3571 3558 3542 3563 3564 7 3546 34 3570 33 3548 10 3559 3556 1 12 0 3561 3552 3543 3557 3567 31 3571 3547 3568 19 3 9 5 25 4 37 21 26 3541 3565 22 14 18 13 3553 24 3554 32 20 16 11 28 15 2 3545 27 6 3544 8 17 3569 29 23 3562 3571 11 3551 3560 19 0 25 3546 2 3552 3558 3561 16 7 3548 14 3563 6 3565 3562 3570 12 3550 23 3555 29 3553 3540 8 3564 28 1 22 3 15 3566 3559 31 13 9 18 5 3545 3547 3567 32 3557 4 3568 33 10 36 21 3556 3569 3541 3544 3543 17 3554 13 3547 19 3551 3 5 32 7 3564 25 18 16 3566 29 20 3570 31 3554 27 3555 3558 3542 3549 3548 34 6 3563 3550 11 3557 12 0 36 30 28 2 21 22 3543 26 3559 10 35 3546 17 3560 3562 38 24 3567 1 15 8 3569 3571 9 3561 3568 39 23 5 34 40 3568 36 3556 3544 11 3570 12 19 3553 3562 3559 33 3561 3554 3566 0 3541 3552 2 8 3560 6 3546 3565 26 7 3571 3551 21 9 3555 3569 3 17 16 10 3563 3567 3550 22 37 13 27 18 3558 3547 32 20 3557 3564 1 4 3548 14 3549 35 24
252.03/188.52	v       </values>
252.03/188.52	v     </instantiation>
252.03/188.52	s SATISFIABLE

Verifier Data 

OK	3571

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302293-1532894981/watcher-4302293-1532894981 -o /tmp/evaluation-result-4302293-1532894981/solver-4302293-1532894981 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1871084544 HOME/instance-4302293-1532894981.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16607, runsolver pid=16604
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 2.95 2.29 1.92 3/206 16664
/proc/meminfo: memFree=21098432/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=10005480 memory=14652 CPUtime=0.08 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 4349 13161 0 0 1 0 4 3 20 0 6 0 107061318 10245611520 3663 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2501370 3663 1933 1 0 2489808 0
[pid=16607/tid=16660] ppid=16604 vsize=10005480 memory=4279135703946724235 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 2188 13161 0 0 0 0 4 3 20 0 6 0 107061327 10245611520 3729 33554432000 4194304 4196468 140726055876464 140338466050640 140338478294366 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 6 0 107061328 10245611520 3729 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=10005480 memory=139906162566784 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 6 0 107061328 10245611520 3729 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 6 0 107061328 10245611520 3729 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 2 13161 0 0 0 0 4 3 20 0 6 0 107061328 10245611520 3729 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14652 KiB

[startup+0.209891 s]*
/proc/loadavg: 2.95 2.29 1.92 3/215 16673
/proc/meminfo: memFree=21073956/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=10982744 memory=42152 CPUtime=0.25 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 7742 13161 0 0 17 1 4 3 20 0 15 0 107061318 11246329856 10472 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2745686 10472 2954 1 0 2708109 0
[pid=16607/tid=16660] ppid=16604 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 4438 13161 0 0 10 1 4 3 20 0 15 0 107061327 11246329856 10670 33554432000 4194304 4196468 140726055876464 140338465991840 140338474489707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246329856 10670 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=10982744 memory=139906162566784 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246329856 10670 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246329856 10670 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 2 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246329856 10670 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=10982744 memory=139906162566784 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 2 13161 0 0 0 0 4 3 20 0 15 0 107061329 11246329856 10670 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 13 13161 0 0 0 0 4 3 20 0 15 0 107061329 11246329856 10670 33554432000 4194304 4196468 140726055876464 140337318192544 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 21 13161 0 0 0 0 4 3 20 0 15 0 107061330 11246329856 10670 33554432000 4194304 4196468 140726055876464 140337251079664 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11246329856 10670 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 426 13161 0 0 1 0 4 3 20 0 15 0 107061332 11246329856 10736 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 189 13161 0 0 1 0 4 3 20 0 15 0 107061332 11246329856 10736 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=10982744 memory=139906162566784 CPUtime=0.1 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 609 13161 0 0 3 0 4 3 20 0 15 0 107061332 11246329856 10736 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11246329856 10736 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=10982744 memory=139906162566784 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061333 11246329856 10736 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42152 KiB

[startup+0.310194 s]*
/proc/loadavg: 2.95 2.29 1.92 3/215 16673
/proc/meminfo: memFree=21061056/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=10983192 memory=54684 CPUtime=0.37 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 10753 13161 0 0 28 2 4 3 20 0 15 0 107061318 11246788608 13671 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2745798 13671 3073 1 0 2708109 0
[pid=16607/tid=16660] ppid=16604 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 7283 13161 0 0 19 1 4 3 20 0 15 0 107061327 11246788608 13671 33554432000 4194304 4196468 140726055876464 140338466025888 140338477405750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 13671 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 13671 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 13671 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 2 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 13671 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 2 13161 0 0 0 0 4 3 20 0 15 0 107061329 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 13 13161 0 0 0 0 4 3 20 0 15 0 107061329 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337318192544 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 21 13161 0 0 0 0 4 3 20 0 15 0 107061330 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337251079664 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11246788608 13671 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 429 13161 0 0 1 0 4 3 20 0 15 0 107061332 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 192 13161 0 0 1 0 4 3 20 0 15 0 107061332 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 615 13161 0 0 5 0 4 3 20 0 15 0 107061332 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11246788608 13671 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061333 11246788608 13671 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54684 KiB

[startup+0.700743 s]
/proc/loadavg: 2.95 2.29 1.92 4/215 16673
/proc/meminfo: memFree=21050016/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=10983192 memory=86488 CPUtime=0.98 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 16815 13161 0 0 87 4 4 3 20 0 15 0 107061318 11246788608 21622 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2745798 21622 3225 1 0 2708109 0
[pid=16607/tid=16660] ppid=16604 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 12274 13161 0 0 55 3 4 3 20 0 15 0 107061327 11246788608 21622 33554432000 4194304 4196468 140726055876464 140338466035600 140338475777439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 21622 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 21622 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 21622 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 2 13161 0 0 0 0 4 3 20 0 15 0 107061328 11246788608 21622 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 5 13161 0 0 0 0 4 3 20 0 15 0 107061329 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 13 13161 0 0 0 0 4 3 20 0 15 0 107061329 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337318192544 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 21 13161 0 0 0 0 4 3 20 0 15 0 107061330 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337251079664 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11246788608 21622 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 1062 13161 0 0 9 0 4 3 20 0 15 0 107061332 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 583 13161 0 0 7 0 4 3 20 0 15 0 107061332 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 656 13161 0 0 13 0 4 3 20 0 15 0 107061332 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11246788608 21622 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061333 11246788608 21622 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86488 KiB

[startup+1.50899 s]
/proc/loadavg: 2.87 2.29 1.92 3/215 16673
/proc/meminfo: memFree=20967752/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=10991948 memory=307452 CPUtime=2.95 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 22991 13161 0 0 271 17 4 3 20 0 15 0 107061318 11255754752 76863 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2747987 76863 3461 1 0 2709645 0
[pid=16607/tid=16660] ppid=16604 vsize=10991948 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 15167 13161 0 0 124 7 4 3 20 0 15 0 107061327 11255754752 76863 33554432000 4194304 4196468 140726055876464 140338466047040 140338064478929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=10991948 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 293 13161 0 0 5 2 4 3 20 0 15 0 107061328 11255754752 76863 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 34 13161 0 0 4 1 4 3 20 0 15 0 107061328 11255754752 76863 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 61 13161 0 0 4 1 4 3 20 0 15 0 107061328 11255754752 76863 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=10991948 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 57 13161 0 0 5 2 4 3 20 0 15 0 107061328 11255754752 76863 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 87 13161 0 0 0 0 4 3 20 0 15 0 107061329 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=10991948 memory=279812019136768 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 13 13161 0 0 0 0 4 3 20 0 15 0 107061329 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337318192544 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 45 13161 0 0 0 0 4 3 20 0 15 0 107061330 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337251079664 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=10991948 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11255754752 76863 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=10991948 memory=1232 CPUtime=0.48 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 2144 13161 0 0 41 0 4 3 20 0 15 0 107061332 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337529993296 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=10991948 memory=8560 CPUtime=0.54 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 1482 13161 0 0 47 0 4 3 20 0 15 0 107061332 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337528924208 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=10991948 memory=1712 CPUtime=0.42 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) R 16604 16607 12183 0 -1 4202560 1412 13161 0 0 35 0 4 3 20 0 15 0 107061332 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337527886072 140338473487369 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=10991948 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11255754752 76863 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=10991948 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 1 13161 0 0 0 0 4 3 20 0 15 0 107061333 11255754752 76863 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10991948 KiB

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

/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 64121 13161 0 0 8987 35 4 3 20 0 15 0 107061327 11343855616 912742 33554432000 4194304 4196468 140726055876464 140338466048392 140338082168040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=11077984 memory=3650644 CPUtime=10.27 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 7400 13161 0 0 963 57 4 3 20 0 15 0 107061328 11343855616 912742 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=11077984 memory=3650968 CPUtime=10.3 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 3876 13161 0 0 968 55 4 3 20 0 15 0 107061328 11343855616 912742 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=11077984 memory=0 CPUtime=10.32 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 6790 13161 0 0 969 56 4 3 20 0 15 0 107061328 11343855616 912742 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=11077984 memory=4140 CPUtime=10.32 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 6234 13161 0 0 969 56 4 3 20 0 15 0 107061328 11343855616 912742 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=11077984 memory=3649344 CPUtime=1.07 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 18717 13161 0 0 99 1 4 3 20 0 15 0 107061329 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=11077984 memory=3649344 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 34 13161 0 0 0 0 4 3 20 0 15 0 107061329 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337318192608 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=11077984 memory=9003 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 66 13161 0 0 0 0 4 3 20 0 15 0 107061330 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337251079680 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=11077984 memory=14911 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11343855616 912742 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=11077984 memory=0 CPUtime=8.23 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 18225 13161 0 0 813 3 4 3 20 0 15 0 107061332 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=11077984 memory=0 CPUtime=7.81 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 17802 13161 0 0 771 3 4 3 20 0 15 0 107061332 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 65 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=11077984 memory=3650728 CPUtime=2.32 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 13527 13161 0 0 220 5 4 3 20 0 15 0 107061332 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=11077984 memory=1436 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11343855616 912742 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=11077984 memory=1200 CPUtime=0.12 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 557 13161 0 0 3 2 4 3 20 0 15 0 107061333 11343855616 912742 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 150.53 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3650968 KiB

[startup+162.301 s]
/proc/loadavg: 2.41 2.28 1.97 3/216 16809
/proc/meminfo: memFree=19011660/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=11077984 memory=3610700 CPUtime=224.3 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 192505 13161 0 0 22141 282 4 3 20 0 15 0 107061318 11343855616 902675 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2769496 902675 3536 1 0 2731149 0
[pid=16607/tid=16660] ppid=16604 vsize=11077984 memory=3610700 CPUtime=146.04 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) S 16604 16607 12183 0 -1 1077944384 68209 13161 0 0 14561 36 4 3 20 0 15 0 107061327 11343855616 902675 33554432000 4194304 4196468 140726055876464 140338466048640 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=11077984 memory=3610700 CPUtime=14.47 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) R 16604 16607 12183 0 -1 4202560 12590 13161 0 0 1383 57 4 3 20 0 15 0 107061328 11343855616 902675 33554432000 4194304 4196468 140726055876464 140338498455824 140338479242062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=11077984 memory=3613640 CPUtime=14.5 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) R 16604 16607 12183 0 -1 4202560 10694 13161 0 0 1387 56 4 3 20 0 15 0 107061328 11343855616 902675 33554432000 4194304 4196468 140726055876464 140338033961560 140338479240974 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=11077984 memory=3610560 CPUtime=14.51 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) R 16604 16607 12183 0 -1 4202560 10835 13161 0 0 1388 56 4 3 20 0 15 0 107061328 11343855616 902675 33554432000 4194304 4196468 140726055876464 140338032908816 140338479239110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=11077984 memory=3610648 CPUtime=14.54 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) R 16604 16607 12183 0 -1 4202560 9526 13161 0 0 1391 56 4 3 20 0 15 0 107061328 11343855616 902675 33554432000 4194304 4196468 140726055876464 140338031856272 140338478662094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=11077984 memory=3610648 CPUtime=1.1 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 19104 13161 0 0 102 1 4 3 20 0 15 0 107061329 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337531044896 140338494224085 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 55 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 34 13161 0 0 0 0 4 3 20 0 15 0 107061329 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337318192672 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=11077984 memory=3610700 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 66 13161 0 0 0 0 4 3 20 0 15 0 107061330 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337251079680 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=11077984 memory=3610700 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11343855616 902675 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=11077984 memory=3610700 CPUtime=8.92 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 22212 13161 0 0 882 3 4 3 20 0 15 0 107061332 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=11077984 memory=3610700 CPUtime=8.21 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 18679 13161 0 0 811 3 4 3 20 0 15 0 107061332 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 65 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=11077984 memory=3610700 CPUtime=2.38 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 17671 13161 0 0 225 6 4 3 20 0 15 0 107061332 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=11077984 memory=3610700 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11343855616 902675 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=11077984 memory=288230574492221466 CPUtime=0.16 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 690 13161 0 0 5 4 4 3 20 0 15 0 107061333 11343855616 902675 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 61 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 224.3 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3610700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+188.501 s]
/proc/loadavg: 2.38 2.29 1.98 3/216 16809
/proc/meminfo: memFree=18315968/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=11077984 memory=3610720 CPUtime=252.03 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 196413 13161 0 0 24912 284 4 3 20 0 15 0 107061318 11343855616 902680 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2769496 902680 3536 1 0 2731149 0
[pid=16607/tid=16660] ppid=16604 vsize=11077984 memory=3610720 CPUtime=171.73 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 69143 13161 0 0 17130 36 4 3 20 0 15 0 107061327 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338466048400 140338078113873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=11077984 memory=3610720 CPUtime=14.97 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 12735 13161 0 0 1433 57 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=11077984 memory=3610720 CPUtime=14.99 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 10804 13161 0 0 1436 56 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=11077984 memory=0 CPUtime=15.01 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 11830 13161 0 0 1438 56 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=11077984 memory=4140 CPUtime=15.04 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 9652 13161 0 0 1441 56 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=11077984 memory=30676 CPUtime=1.1 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 19174 13161 0 0 102 1 4 3 20 0 15 0 107061329 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 55 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=11077984 memory=3610720 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 34 13161 0 0 0 0 4 3 20 0 15 0 107061329 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337318192672 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=11077984 memory=3610720 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 66 13161 0 0 0 0 4 3 20 0 15 0 107061330 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337251079680 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=11077984 memory=3610720 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=11077984 memory=4140 CPUtime=8.93 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 22404 13161 0 0 883 3 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=11077984 memory=3610688 CPUtime=8.21 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 18965 13161 0 0 811 3 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 65 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=11077984 memory=3610716 CPUtime=2.39 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 18708 13161 0 0 226 6 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=11077984 memory=3610688 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11343855616 902680 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=11077984 memory=3610688 CPUtime=0.17 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 703 13161 0 0 5 5 4 3 20 0 15 0 107061333 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3610720 KiB

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

[startup+188.56 s]
# the end of solver process 16607 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.192 s, system=2.91013 s

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

[startup+188.501 s]
/proc/loadavg: 2.38 2.29 1.98 3/216 16809
/proc/meminfo: memFree=18315968/32770624 swapFree=67108860/67108860
[pid=16607] ppid=16604 vsize=11077984 memory=3610720 CPUtime=252.03 cores=1,3,5,7
/proc/16607/stat : 16607 (java) S 16604 16607 12183 0 -1 1077944320 196413 13161 0 0 24912 284 4 3 20 0 15 0 107061318 11343855616 902680 33554432000 4194304 4196468 140726055876464 140726055859008 140338494213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
/proc/16607/statm: 2769496 902680 3536 1 0 2731149 0
[pid=16607/tid=16660] ppid=16604 vsize=11077984 memory=3610720 CPUtime=171.73 cores=1,3,5,7
/proc/16607/task/16660/stat : 16660 (java) R 16604 16607 12183 0 -1 4202560 69143 13161 0 0 17130 36 4 3 20 0 15 0 107061327 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338466048400 140338078113873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16661] ppid=16604 vsize=11077984 memory=3610720 CPUtime=14.97 cores=1,3,5,7
/proc/16607/task/16661/stat : 16661 (java) S 16604 16607 12183 0 -1 1077944384 12735 13161 0 0 1433 57 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338498455824 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16662] ppid=16604 vsize=11077984 memory=3610720 CPUtime=14.99 cores=1,3,5,7
/proc/16607/task/16662/stat : 16662 (java) S 16604 16607 12183 0 -1 1077944384 10804 13161 0 0 1436 56 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338033961360 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16663] ppid=16604 vsize=11077984 memory=0 CPUtime=15.01 cores=1,3,5,7
/proc/16607/task/16663/stat : 16663 (java) S 16604 16607 12183 0 -1 1077944384 11830 13161 0 0 1438 56 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338032908816 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16664] ppid=16604 vsize=11077984 memory=4140 CPUtime=15.04 cores=1,3,5,7
/proc/16607/task/16664/stat : 16664 (java) S 16604 16607 12183 0 -1 1077944384 9652 13161 0 0 1441 56 4 3 20 0 15 0 107061328 11343855616 902680 33554432000 4194304 4196468 140726055876464 140338031856272 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16665] ppid=16604 vsize=11077984 memory=30676 CPUtime=1.1 cores=1,3,5,7
/proc/16607/task/16665/stat : 16665 (java) S 16604 16607 12183 0 -1 1077944384 19174 13161 0 0 102 1 4 3 20 0 15 0 107061329 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337531046384 140338494225026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 55 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16666] ppid=16604 vsize=11077984 memory=3610720 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16666/stat : 16666 (java) S 16604 16607 12183 0 -1 1077944384 34 13161 0 0 0 0 4 3 20 0 15 0 107061329 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337318192672 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16667] ppid=16604 vsize=11077984 memory=3610720 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16667/stat : 16667 (java) S 16604 16607 12183 0 -1 1077944384 66 13161 0 0 0 0 4 3 20 0 15 0 107061330 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337251079680 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16668] ppid=16604 vsize=11077984 memory=3610720 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16668/stat : 16668 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140336943684304 140338494232475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16669] ppid=16604 vsize=11077984 memory=4140 CPUtime=8.93 cores=1,3,5,7
/proc/16607/task/16669/stat : 16669 (java) S 16604 16607 12183 0 -1 1077944384 22404 13161 0 0 883 3 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337529993200 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16670] ppid=16604 vsize=11077984 memory=3610688 CPUtime=8.21 cores=1,3,5,7
/proc/16607/task/16670/stat : 16670 (java) S 16604 16607 12183 0 -1 1077944384 18965 13161 0 0 811 3 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337528940656 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 65 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16671] ppid=16604 vsize=11077984 memory=3610716 CPUtime=2.39 cores=1,3,5,7
/proc/16607/task/16671/stat : 16671 (java) S 16604 16607 12183 0 -1 1077944384 18708 13161 0 0 226 6 4 3 20 0 15 0 107061332 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337527888112 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16672] ppid=16604 vsize=11077984 memory=3610688 CPUtime=0.07 cores=1,3,5,7
/proc/16607/task/16672/stat : 16672 (java) S 16604 16607 12183 0 -1 1077944384 3 13161 0 0 0 0 4 3 20 0 15 0 107061333 11343855616 902680 33554432000 4194304 4196468 140726055876464 140336512887392 140338494224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
[pid=16607/tid=16673] ppid=16604 vsize=11077984 memory=3610688 CPUtime=0.17 cores=1,3,5,7
/proc/16607/task/16673/stat : 16673 (java) S 16604 16607 12183 0 -1 1077944384 703 13161 0 0 5 5 4 3 20 0 15 0 107061333 11343855616 902680 33554432000 4194304 4196468 140726055876464 140337526836016 140338494225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 19218432 140726055881329 140726055884129 140726055884129 140726055886799 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3610720 KiB

Child status: 143
Real time (s): 188.56
CPU time (s): 252.103
CPU user time (s): 249.192
CPU system time (s): 2.91013
CPU usage (%): 133.699
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 3665928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.192
system time used= 2.91013
maximum resident set size= 3665928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14913
involuntary context switches= 805


# summary of solver processes directly reported to runsolver:
#   pid: 16607
#   total CPU time (s): 252.103
#   total CPU user time (s): 249.192
#   total CPU system time (s): 2.91013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2351 second user time and 1.78364 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-29 22:09:41
IDJOB=4302293
IDBENCH=141137
IDSOLVER=2776
FILE ID=node107/4302293-1532894981
RUNJOBID= node107-1532892903-13713
PBS_JOBID= 21022519
Free space on /tmp= 60760 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302293-1532894981/watcher-4302293-1532894981 -o /tmp/evaluation-result-4302293-1532894981/solver-4302293-1532894981 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1871084544 HOME/instance-4302293-1532894981.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=1871084544

node107.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.40
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.40
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.40
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.40
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:        21101672 kB
MemAvailable:   28376932 kB
Buffers:          245756 kB
Cached:          7292492 kB
SwapCached:            0 kB
Active:          7447384 kB
Inactive:        3725484 kB
Active(anon):    3586024 kB
Inactive(anon):    76484 kB
Active(file):    3861360 kB
Inactive(file):  3649000 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             33872 kB
Writeback:             0 kB
AnonPages:       3649724 kB
Mapped:            58312 kB
Shmem:             25228 kB
Slab:             189672 kB
SReclaimable:     161468 kB
SUnreclaim:        28204 kB
KernelStack:        3792 kB
PageTables:        12324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4716984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3473408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 60768 MiB
End job on node107 at 2018-07-29 22:12:50