Trace number 4302575

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)1269671 252.072 226.836

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay300_c18.xml
MD5SUM39aa8271d93aad234a0495f796e0a456
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1822443
Best CPU time to get the best result obtained on this benchmark252.105
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":300}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
18.95/8.05	o 1129591
21.27/8.68	o 1134817
21.59/8.71	o 1139016
21.59/8.74	o 1146745
21.59/8.77	o 1146876
22.99/9.33	o 1147440
22.99/9.35	o 1147957
22.99/9.37	o 1148282
22.99/9.39	o 1149234
23.28/9.41	o 1149306
23.28/9.43	o 1150048
23.28/9.44	o 1150052
23.66/9.52	o 1150517
23.66/9.53	o 1152558
23.66/9.54	o 1153245
23.66/9.56	o 1155882
23.66/9.58	o 1159080
23.66/9.59	o 1160340
23.95/9.60	o 1160344
23.95/9.62	o 1160703
23.95/9.63	o 1163489
23.95/9.64	o 1164473
23.95/9.65	o 1164521
23.95/9.66	o 1165210
23.95/9.68	o 1169083
68.83/49.29	o 1169092
68.93/49.30	o 1169636
68.93/49.33	o 1174536
68.93/49.38	o 1175513
68.93/49.39	o 1176977
69.04/49.40	o 1179453
69.04/49.41	o 1180199
69.16/49.52	o 1180280
69.16/49.53	o 1180799
69.16/49.54	o 1182020
69.16/49.55	o 1182115
69.16/49.56	o 1182393
69.16/49.57	o 1184710
69.16/49.59	o 1185958
69.16/49.60	o 1186101
69.27/49.61	o 1186337
69.27/49.62	o 1187101
69.27/49.63	o 1188061
69.27/49.64	o 1188485
69.27/49.66	o 1190933
69.27/49.67	o 1191390
69.27/49.68	o 1191934
69.27/49.69	o 1191938
69.39/49.76	o 1192564
69.39/49.77	o 1193785
69.39/49.78	o 1194646
69.39/49.79	o 1195173
69.49/49.80	o 1197594
69.49/49.86	o 1198534
69.59/50.00	o 1200292
69.71/50.01	o 1202242
69.71/50.02	o 1202710
69.71/50.04	o 1204101
70.32/50.62	o 1204459
70.32/50.64	o 1204463
70.93/51.29	o 1204918
71.03/51.30	o 1206382
71.03/51.31	o 1206415
71.03/51.32	o 1206934
71.03/51.33	o 1208793
71.45/51.76	o 1210184
71.45/51.77	o 1210233
71.45/51.78	o 1210653
71.45/51.79	o 1213227
71.55/51.81	o 1214086
71.55/51.82	o 1215294
71.55/51.83	o 1216058
71.55/51.84	o 1216201
72.70/52.90	o 1216592
72.70/52.91	o 1223121
72.70/52.92	o 1225045
72.70/52.93	o 1225188
74.23/54.44	o 1225709
74.23/54.45	o 1226398
74.23/54.46	o 1226593
74.23/54.47	o 1227718
74.23/54.48	o 1228416
74.23/54.49	o 1229162
74.34/54.51	o 1230817
74.34/54.52	o 1232038
74.34/54.53	o 1233298
74.34/54.54	o 1234336
74.34/54.55	o 1234715
74.34/54.56	o 1236179
74.34/54.57	o 1237362
74.34/54.59	o 1239173
74.46/54.60	o 1239368
74.46/54.62	o 1240308
74.46/54.64	o 1240704
74.46/54.65	o 1241018
74.46/54.67	o 1241705
74.46/54.68	o 1241709
74.46/54.69	o 1241962
74.57/54.70	o 1242649
77.28/57.20	o 1244257
77.28/57.27	o 1245349
77.28/57.28	o 1246309
77.28/57.29	o 1247569
77.39/57.31	o 1248088
77.39/57.32	o 1250094
240.58/215.71	o 1250355
240.58/215.72	o 1250868
240.58/215.73	o 1250872
240.58/215.75	o 1251892
240.58/215.76	o 1251896
240.58/215.77	o 1252660
242.55/217.67	o 1253258
242.55/217.68	o 1254383
242.55/217.69	o 1257794
242.65/217.70	o 1259580
242.65/217.72	o 1261991
244.92/219.94	o 1262393
246.06/221.10	o 1263424
251.09/225.94	o 1264474
251.50/226.39	o 1265226
251.60/226.40	o 1265230
251.60/226.41	o 1265375
251.60/226.42	o 1265518
251.60/226.43	o 1266939
251.60/226.44	o 1268740
251.60/226.45	o 1269667
251.60/226.46	o 1269671
252.02/226.80	Exception in thread "main" java.util.concurrent.TimeoutException
252.02/226.80		at concrete.MAC.mac(MAC.scala:188)
252.02/226.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/226.80		at scala.util.Try$.apply(Try.scala:209)
252.02/226.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/226.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/226.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/226.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/226.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/226.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/226.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/226.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/226.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/226.80		at concrete.MAC.oneRun(MAC.scala:253)
252.02/226.80		at concrete.MAC.nextSolution(MAC.scala:272)
252.02/226.80		at concrete.MAC.nextSolution(MAC.scala:355)
252.02/226.80		at concrete.Solver.hasNext(Solver.scala:166)
252.02/226.80		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/226.80		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/226.80		at concrete.Solver.foreach(Solver.scala:68)
252.02/226.80		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/226.80		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/226.80		at scala.util.Success.map(Try.scala:209)
252.02/226.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/226.80		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/226.80		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/226.80		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/226.80		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/226.80		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/226.80		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/226.80		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/226.80		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/226.80		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/226.80		at scala.App.main(App.scala:76)
252.02/226.80		at scala.App.main$(App.scala:74)
252.02/226.80		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/226.80		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/226.81	v <instantiation cost="1269671">
252.02/226.81	v       <list>
252.02/226.81	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
252.02/226.81	v       </list>
252.02/226.81	v       <values>
252.02/226.81	v         0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
252.02/226.81	v       </values>
252.02/226.81	v     </instantiation>
252.02/226.81	s SATISFIABLE

Verifier Data 

OK	1269671

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302575-1532895362/watcher-4302575-1532895362 -o /tmp/evaluation-result-4302575-1532895362/solver-4302575-1532895362 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=894771364 HOME/instance-4302575-1532895362.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
Current StackSize limit: 8192 KiB

solver pid=17764, runsolver pid=17761

[startup+0.100037 s]*
/proc/loadavg: 1.85 1.96 1.93 4/206 17821
/proc/meminfo: memFree=23979124/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=10005480 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 4383 12870 0 0 1 1 5 2 20 0 6 0 107099371 10245611520 4204 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2501370 4204 1935 1 0 2489808 0
[pid=17764/tid=17817] ppid=17761 vsize=10005480 memory=4279135704013571469 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 2204 12870 0 0 0 0 5 2 20 0 6 0 107099380 10245611520 4270 33554432000 4194304 4196468 140729531042656 139692841812560 139692854056286 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 6 0 107099381 10245611520 4270 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=10005480 memory=140203862427264 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 6 0 107099381 10245611520 4270 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 6 0 107099381 10245611520 4270 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 6 0 107099381 10245611520 4270 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210236 s]*
/proc/loadavg: 1.85 1.96 1.93 3/215 17830
/proc/meminfo: memFree=23952952/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=10982744 memory=46696 CPUtime=0.25 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 7856 12870 0 0 16 2 5 2 20 0 15 0 107099371 11246329856 11674 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2745686 11674 2953 1 0 2708109 0
[pid=17764/tid=17817] ppid=17761 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 4497 12870 0 0 10 1 5 2 20 0 15 0 107099380 11246329856 11740 33554432000 4194304 4196468 140729531042656 139692841798984 139692850251520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=10982744 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246329856 11740 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=10982744 memory=140203863076273 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246329856 11740 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246329856 11740 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246329856 11740 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=10982744 memory=140203862427264 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099382 11246329856 11740 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 13 12870 0 0 0 0 5 2 20 0 15 0 107099382 11246329856 11740 33554432000 4194304 4196468 140729531042656 139691730920992 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099383 11246329856 11806 33554432000 4194304 4196468 140729531042656 139691529594224 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11246329856 11806 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 415 12870 0 0 1 0 5 2 20 0 15 0 107099385 11246329856 11806 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 193 12870 0 0 1 0 5 2 20 0 15 0 107099385 11246329856 11806 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=10982744 memory=140203862427264 CPUtime=0.1 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 614 12870 0 0 3 0 5 2 20 0 15 0 107099385 11246329856 11806 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11246329856 11806 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=10982744 memory=140203862427264 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099386 11246329856 11806 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46696 KiB

[startup+0.310221 s]*
/proc/loadavg: 1.85 1.96 1.93 3/215 17830
/proc/meminfo: memFree=23941292/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=10983192 memory=58176 CPUtime=0.37 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 10583 12870 0 0 27 3 5 2 20 0 15 0 107099371 11246788608 14544 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2745798 14544 3072 1 0 2708109 0
[pid=17764/tid=17817] ppid=17761 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 7134 12870 0 0 19 2 5 2 20 0 15 0 107099380 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692841787808 139692851539315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099382 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 13 12870 0 0 0 0 5 2 20 0 15 0 107099382 11246788608 14544 33554432000 4194304 4196468 140729531042656 139691730920992 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099383 11246788608 14544 33554432000 4194304 4196468 140729531042656 139691529594224 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11246788608 14544 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 415 12870 0 0 1 0 5 2 20 0 15 0 107099385 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 194 12870 0 0 1 0 5 2 20 0 15 0 107099385 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=10983192 memory=140203862427264 CPUtime=0.12 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 624 12870 0 0 5 0 5 2 20 0 15 0 107099385 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11246788608 14544 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=10983192 memory=140203862427264 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099386 11246788608 14544 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58176 KiB

[startup+0.70078 s]
/proc/loadavg: 1.86 1.96 1.93 3/215 17830
/proc/meminfo: memFree=23929756/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=10983192 memory=90776 CPUtime=0.99 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 16753 12870 0 0 87 5 5 2 20 0 15 0 107099371 11246788608 22694 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2745798 22694 3239 1 0 2708109 0
[pid=17764/tid=17817] ppid=17761 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 12211 12870 0 0 55 4 5 2 20 0 15 0 107099380 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692841796624 139692850251121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099381 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 5 12870 0 0 0 0 5 2 20 0 15 0 107099382 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 13 12870 0 0 0 0 5 2 20 0 15 0 107099382 11246788608 22694 33554432000 4194304 4196468 140729531042656 139691730920992 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=10983192 memory=140203704595216 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099383 11246788608 22694 33554432000 4194304 4196468 140729531042656 139691529594224 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=10983192 memory=140204912411209 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11246788608 22694 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=10983192 memory=796 CPUtime=0.17 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 1081 12870 0 0 10 0 5 2 20 0 15 0 107099385 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=10983192 memory=7014751519650764113 CPUtime=0.14 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 550 12870 0 0 7 0 5 2 20 0 15 0 107099385 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=10983192 memory=7597123233646858610 CPUtime=0.2 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 692 12870 0 0 13 0 5 2 20 0 15 0 107099385 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=10983192 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11246788608 22694 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099386 11246788608 22694 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90776 KiB

[startup+1.50076 s]
/proc/loadavg: 1.86 1.96 1.93 3/215 17830
/proc/meminfo: memFree=23883640/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=10998092 memory=201628 CPUtime=2.84 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 25983 12870 0 0 267 10 5 2 20 0 15 0 107099371 11262046208 50407 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2749523 50407 3467 1 0 2711181 0
[pid=17764/tid=17817] ppid=17761 vsize=10998092 memory=9169 CPUtime=1.42 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 16962 12870 0 0 129 6 5 2 20 0 15 0 107099380 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692841792752 139692869997725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 61 12870 0 0 1 0 5 2 20 0 15 0 107099381 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=10998092 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 165 12870 0 0 1 0 5 2 20 0 15 0 107099381 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=10998092 memory=3096 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 22 12870 0 0 1 0 5 2 20 0 15 0 107099381 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=10998092 memory=90776 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 27 12870 0 0 1 0 5 2 20 0 15 0 107099381 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 48 12870 0 0 1 0 5 2 20 0 15 0 107099382 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 14 12870 0 0 0 0 5 2 20 0 15 0 107099382 11262046208 50407 33554432000 4194304 4196468 140729531042656 139691730921056 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099383 11262046208 50407 33554432000 4194304 4196468 140729531042656 139691529594240 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11262046208 50407 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=10998092 memory=4638778398332698720 CPUtime=0.53 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 2190 12870 0 0 46 0 5 2 20 0 15 0 107099385 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=10998092 memory=280407409466240 CPUtime=0.49 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 2647 12870 0 0 42 0 5 2 20 0 15 0 107099385 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=10998092 memory=6944656592452807323 CPUtime=0.47 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 1651 12870 0 0 40 0 5 2 20 0 15 0 107099385 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11262046208 50407 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 1 12870 0 0 0 0 5 2 20 0 15 0 107099386 11262046208 50407 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10998092 KiB

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

/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 48440 12870 0 0 9864 19 5 2 20 0 15 0 107099380 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692841810656 139692435982153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=11077984 memory=1560300 CPUtime=3.03 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 4383 12870 0 0 280 16 5 2 20 0 15 0 107099381 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=11077984 memory=280407409347392 CPUtime=3.04 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 5257 12870 0 0 280 17 5 2 20 0 15 0 107099381 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=11077984 memory=1560304 CPUtime=3.03 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 2355 12870 0 0 278 18 5 2 20 0 15 0 107099381 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=11077984 memory=417 CPUtime=2.99 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2013 12870 0 0 276 16 5 2 20 0 15 0 107099381 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=11077984 memory=288230574492221466 CPUtime=0.39 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 9274 12870 0 0 31 1 5 2 20 0 15 0 107099382 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=11077984 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 23 12870 0 0 0 0 5 2 20 0 15 0 107099382 11343855616 390075 33554432000 4194304 4196468 140729531042656 139691730921056 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=11077984 memory=280404322272859 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 20 12870 0 0 0 0 5 2 20 0 15 0 107099383 11343855616 390075 33554432000 4194304 4196468 140729531042656 139691529594240 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=11077984 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11343855616 390075 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=11077984 memory=7017841250531803201 CPUtime=5.12 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 12990 12870 0 0 502 3 5 2 20 0 15 0 107099385 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=11077984 memory=1558256 CPUtime=5.31 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 16787 12870 0 0 521 3 5 2 20 0 15 0 107099385 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=11077984 memory=1558256 CPUtime=2.47 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 15048 12870 0 0 235 5 5 2 20 0 15 0 107099385 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=11077984 memory=1508 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11343855616 390075 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=11077984 memory=3328 CPUtime=0.12 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 696 12870 0 0 2 3 5 2 20 0 15 0 107099386 11343855616 390075 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 123.89 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1560300 KiB

[startup+162.301 s]
/proc/loadavg: 1.79 1.88 1.91 5/215 18087
/proc/meminfo: memFree=23623208/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=11077984 memory=1577500 CPUtime=185.66 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 131802 12870 0 0 18448 111 5 2 20 0 15 0 107099371 11343855616 394375 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2769496 394375 3530 1 0 2731149 0
[pid=17764/tid=17817] ppid=17761 vsize=11077984 memory=1577436 CPUtime=158.77 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 50643 12870 0 0 15851 19 5 2 20 0 15 0 107099380 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692841808000 139692435982431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=11077984 memory=1575364 CPUtime=3.13 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 5603 12870 0 0 289 17 5 2 20 0 15 0 107099381 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=11077984 memory=1577412 CPUtime=3.16 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 5433 12870 0 0 291 18 5 2 20 0 15 0 107099381 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=11077984 memory=1577412 CPUtime=3.14 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 2992 12870 0 0 288 19 5 2 20 0 15 0 107099381 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=11077984 memory=1577412 CPUtime=3.1 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2252 12870 0 0 286 17 5 2 20 0 15 0 107099381 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=11077984 memory=1577436 CPUtime=0.41 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 9533 12870 0 0 33 1 5 2 20 0 15 0 107099382 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=11077984 memory=1577412 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 23 12870 0 0 0 0 5 2 20 0 15 0 107099382 11343855616 394375 33554432000 4194304 4196468 140729531042656 139691730921056 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=11077984 memory=1577500 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 20 12870 0 0 0 0 5 2 20 0 15 0 107099383 11343855616 394375 33554432000 4194304 4196468 140729531042656 139691529594240 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=11077984 memory=2764 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11343855616 394375 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=11077984 memory=1577436 CPUtime=5.73 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 14707 12870 0 0 563 3 5 2 20 0 15 0 107099385 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=11077984 memory=776 CPUtime=5.91 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 19619 12870 0 0 581 3 5 2 20 0 15 0 107099385 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=11077984 memory=1577500 CPUtime=2.67 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 18052 12870 0 0 255 5 5 2 20 0 15 0 107099385 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=11077984 memory=1577500 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11343855616 394375 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=11077984 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 731 12870 0 0 3 5 5 2 20 0 15 0 107099386 11343855616 394375 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 185.66 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1577500 KiB

[startup+222.301 s]
/proc/loadavg: 1.70 1.86 1.90 5/215 18088
/proc/meminfo: memFree=23562940/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=11077984 memory=1601668 CPUtime=247.39 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 145255 12870 0 0 24616 116 5 2 20 0 15 0 107099371 11343855616 400417 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2769496 400417 3530 1 0 2731149 0
[pid=17764/tid=17817] ppid=17761 vsize=11077984 memory=1591952 CPUtime=218.64 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 54313 12870 0 0 21837 20 5 2 20 0 15 0 107099380 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692841810848 139692435982158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=11077984 memory=13852 CPUtime=3.24 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 6994 12870 0 0 299 18 5 2 20 0 15 0 107099381 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=11077984 memory=1598112 CPUtime=3.26 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 5671 12870 0 0 301 18 5 2 20 0 15 0 107099381 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=11077984 memory=1598444 CPUtime=3.23 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 3176 12870 0 0 297 19 5 2 20 0 15 0 107099381 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=11077984 memory=3008 CPUtime=3.2 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2972 12870 0 0 295 18 5 2 20 0 15 0 107099381 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=11077984 memory=1594008 CPUtime=0.43 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 9795 12870 0 0 34 2 5 2 20 0 15 0 107099382 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=11077984 memory=3328 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 23 12870 0 0 0 0 5 2 20 0 15 0 107099382 11343855616 400417 33554432000 4194304 4196468 140729531042656 139691730921056 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=11077984 memory=1598444 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 20 12870 0 0 0 0 5 2 20 0 15 0 107099383 11343855616 400417 33554432000 4194304 4196468 140729531042656 139691529594240 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=11077984 memory=1598444 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11343855616 400417 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=11077984 memory=1598444 CPUtime=6.3 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 17053 12870 0 0 620 3 5 2 20 0 15 0 107099385 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=11077984 memory=1598444 CPUtime=6.47 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 21748 12870 0 0 636 4 5 2 20 0 15 0 107099385 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=11077984 memory=1598444 CPUtime=2.96 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 20537 12870 0 0 283 6 5 2 20 0 15 0 107099385 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=11077984 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11343855616 400417 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=11077984 memory=27188 CPUtime=0.18 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 759 12870 0 0 5 6 5 2 20 0 15 0 107099386 11343855616 400417 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 247.39 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1601668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.801 s]
/proc/loadavg: 1.72 1.86 1.90 5/215 18088
/proc/meminfo: memFree=23562944/32770624 swapFree=67028828/67108860
[pid=17764] ppid=17761 vsize=11077984 memory=1601672 CPUtime=252.02 cores=1,3,5,7
/proc/17764/stat : 17764 (java) S 17761 17764 10029 0 -1 1077944320 145624 12870 0 0 25078 117 5 2 20 0 15 0 107099371 11343855616 400418 33554432000 4194304 4196468 140729531042656 140729531025200 139692869975799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
/proc/17764/statm: 2769496 400418 3530 1 0 2731149 0
[pid=17764/tid=17817] ppid=17761 vsize=11077984 memory=288230621803970871 CPUtime=223.13 cores=1,3,5,7
/proc/17764/task/17817/stat : 17817 (java) R 17761 17764 10029 0 -1 4202560 54329 12870 0 0 22286 20 5 2 20 0 15 0 107099380 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692841812016 139692435982773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17818] ppid=17761 vsize=11077984 memory=14412609709410693 CPUtime=3.24 cores=1,3,5,7
/proc/17764/task/17818/stat : 17818 (java) S 17761 17764 10029 0 -1 1077944384 6995 12870 0 0 299 18 5 2 20 0 15 0 107099381 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692874218128 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17819] ppid=17761 vsize=11077984 memory=1828 CPUtime=3.26 cores=1,3,5,7
/proc/17764/task/17819/stat : 17819 (java) S 17761 17764 10029 0 -1 1077944384 5672 12870 0 0 301 18 5 2 20 0 15 0 107099381 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692739553808 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17820] ppid=17761 vsize=11077984 memory=800 CPUtime=3.24 cores=1,3,5,7
/proc/17764/task/17820/stat : 17820 (java) S 17761 17764 10029 0 -1 1077944384 3176 12870 0 0 298 19 5 2 20 0 15 0 107099381 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692408170896 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17821] ppid=17761 vsize=11077984 memory=5220 CPUtime=3.2 cores=1,3,5,7
/proc/17764/task/17821/stat : 17821 (java) S 17761 17764 10029 0 -1 1077944384 2974 12870 0 0 295 18 5 2 20 0 15 0 107099381 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692407118096 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17822] ppid=17761 vsize=11077984 memory=12772 CPUtime=0.43 cores=1,3,5,7
/proc/17764/task/17822/stat : 17822 (java) S 17761 17764 10029 0 -1 1077944384 9797 12870 0 0 34 2 5 2 20 0 15 0 107099382 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692161633136 139692869986946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17823] ppid=17761 vsize=11077984 memory=1332 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17823/stat : 17823 (java) S 17761 17764 10029 0 -1 1077944384 23 12870 0 0 0 0 5 2 20 0 15 0 107099382 11343855616 400418 33554432000 4194304 4196468 140729531042656 139691730921056 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17824] ppid=17761 vsize=11077984 memory=1508 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17824/stat : 17824 (java) S 17761 17764 10029 0 -1 1077944384 20 12870 0 0 0 0 5 2 20 0 15 0 107099383 11343855616 400418 33554432000 4194304 4196468 140729531042656 139691529594240 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17825] ppid=17761 vsize=11077984 memory=3328 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17825/stat : 17825 (java) S 17761 17764 10029 0 -1 1077944384 2 12870 0 0 0 0 5 2 20 0 15 0 107099385 11343855616 400418 33554432000 4194304 4196468 140729531042656 139691261159760 139692869994395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17826] ppid=17761 vsize=11077984 memory=776 CPUtime=6.34 cores=1,3,5,7
/proc/17764/task/17826/stat : 17826 (java) S 17761 17764 10029 0 -1 1077944384 17220 12870 0 0 624 3 5 2 20 0 15 0 107099385 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692160579952 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17827] ppid=17761 vsize=11077984 memory=1876 CPUtime=6.52 cores=1,3,5,7
/proc/17764/task/17827/stat : 17827 (java) S 17761 17764 10029 0 -1 1077944384 21759 12870 0 0 641 4 5 2 20 0 15 0 107099385 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692159527152 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17828] ppid=17761 vsize=11077984 memory=1664 CPUtime=2.98 cores=1,3,5,7
/proc/17764/task/17828/stat : 17828 (java) S 17761 17764 10029 0 -1 1077944384 20705 12870 0 0 285 6 5 2 20 0 15 0 107099385 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692158474352 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17829] ppid=17761 vsize=11077984 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/17764/task/17829/stat : 17829 (java) S 17761 17764 10029 0 -1 1077944384 3 12870 0 0 0 0 5 2 20 0 15 0 107099386 11343855616 400418 33554432000 4194304 4196468 140729531042656 139690791397600 139692869986005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
[pid=17764/tid=17830] ppid=17761 vsize=11077984 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/17764/task/17830/stat : 17830 (java) S 17761 17764 10029 0 -1 1077944384 760 12870 0 0 5 6 5 2 20 0 15 0 107099386 11343855616 400418 33554432000 4194304 4196468 140729531042656 139692157422768 139692869986946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14614528 140729531050610 140729531053409 140729531053409 140729531056079 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1601672 KiB

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

[startup+226.836 s]
# the end of solver process 17764 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.856 s, system=1.21673 s

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

Child status: 143
Real time (s): 226.836
CPU time (s): 252.072
CPU user time (s): 250.856
CPU system time (s): 1.21673
CPU usage (%): 111.125
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 1601672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.856
system time used= 1.21673
maximum resident set size= 1603852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17667
involuntary context switches= 377


# summary of solver processes directly reported to runsolver:
#   pid: 17764
#   total CPU time (s): 252.072
#   total CPU user time (s): 250.856
#   total CPU system time (s): 1.21673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39186 second user time and 2.0315 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-29 22:16:02
IDJOB=4302575
IDBENCH=141155
IDSOLVER=2776
FILE ID=node102/4302575-1532895362
RUNJOBID= node102-1532894154-16079
PBS_JOBID= 21022526
Free space on /tmp= 52952 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302575-1532895362/watcher-4302575-1532895362 -o /tmp/evaluation-result-4302575-1532895362/solver-4302575-1532895362 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=894771364 HOME/instance-4302575-1532895362.xml

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

MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456
RANDOM SEED=894771364

node102.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.51
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.51
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.51
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.51
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:        23985512 kB
MemAvailable:   29262660 kB
Buffers:          233248 kB
Cached:          5287936 kB
SwapCached:        53024 kB
Active:          3933004 kB
Inactive:        4325396 kB
Active(anon):    2663212 kB
Inactive(anon):    99168 kB
Active(file):    1269792 kB
Inactive(file):  4226228 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028828 kB
Dirty:             26504 kB
Writeback:             0 kB
AnonPages:       2775600 kB
Mapped:            51320 kB
Shmem:             22592 kB
Slab:             223576 kB
SReclaimable:     193928 kB
SUnreclaim:        29648 kB
KernelStack:        3792 kB
PageTables:        10364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3623664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2564096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52928 MiB
End job on node102 at 2018-07-29 22:19:49