Trace number 4302933

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.2-SuperNGSAT (TO)1001781 252.15 194.655

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1435945
Best CPU time to get the best result obtained on this benchmark252.062
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
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
70.15/45.43	o 789083
71.17/46.35	o 789712
71.17/46.38	o 795941
71.38/46.41	o 798976
71.38/46.43	o 800898
71.38/46.45	o 802184
98.27/63.25	o 803070
98.27/63.27	o 803930
98.27/63.29	o 804592
98.41/63.32	o 807438
98.56/63.41	o 815007
98.56/63.43	o 815481
98.56/63.47	o 820423
99.51/63.74	o 820558
107.67/70.00	o 820634
107.67/70.02	o 820725
107.67/70.04	o 821057
107.67/70.06	o 821255
107.67/70.09	o 822049
107.77/70.11	o 822112
107.77/70.13	o 822247
107.77/70.18	o 823294
107.77/70.20	o 828294
107.95/70.22	o 830481
107.95/70.24	o 831767
107.95/70.29	o 832018
108.09/70.31	o 833400
108.09/70.33	o 839629
108.09/70.35	o 841004
108.09/70.37	o 844904
108.09/70.39	o 848562
108.97/70.69	o 849062
109.30/70.71	o 849367
109.30/70.73	o 850139
109.30/70.79	o 863519
114.03/74.50	o 863922
114.03/74.52	o 865687
114.03/74.54	o 866044
114.03/74.56	o 866714
114.03/74.59	o 869912
114.14/74.61	o 872834
114.14/74.64	o 878559
114.14/74.66	o 882313
114.25/74.70	o 887127
114.25/74.74	o 887285
114.25/74.75	o 890576
114.25/74.77	o 891984
114.36/74.81	o 893821
114.36/74.83	o 893956
114.36/74.84	o 898495
114.46/74.90	o 901614
114.46/74.92	o 902691
117.18/77.05	o 902881
117.18/77.07	o 902965
117.18/77.08	o 903029
117.28/77.10	o 903289
117.28/77.12	o 903299
117.28/77.14	o 905166
117.28/77.17	o 908022
117.28/77.19	o 915635
117.39/77.21	o 919157
117.39/77.23	o 922821
117.39/77.26	o 923024
117.39/77.28	o 926688
117.50/77.33	o 926910
117.50/77.35	o 931468
117.50/77.38	o 934358
117.59/77.40	o 934368
117.59/77.43	o 936164
117.92/77.71	o 937061
117.92/77.73	o 937071
184.11/137.99	o 937388
184.95/138.21	o 937945
186.00/139.22	o 939170
186.84/140.05	o 941553
186.84/140.07	o 946441
186.94/140.12	o 946998
192.73/145.38	o 947376
192.82/145.41	o 948524
192.82/145.43	o 948588
192.82/145.45	o 949846
192.82/145.47	o 951595
192.82/145.49	o 952750
192.92/145.51	o 952841
192.92/145.55	o 955444
192.92/145.59	o 959922
193.02/145.61	o 960013
193.13/145.75	o 962314
193.13/145.77	o 963637
193.43/146.03	o 969170
193.54/146.18	o 969268
201.78/150.37	o 971656
201.78/150.39	o 975457
201.97/150.55	o 975942
208.06/156.08	o 975969
208.16/156.10	o 976321
208.16/156.12	o 976331
208.16/156.14	o 977198
208.16/156.17	o 978310
208.27/156.24	o 979339
208.27/156.26	o 979430
208.27/156.28	o 979934
208.27/156.30	o 983592
208.51/156.42	o 984299
208.51/156.44	o 988513
209.01/156.78	o 989547
209.83/157.58	o 991230
209.93/157.60	o 991240
209.93/157.62	o 992955
209.93/157.65	o 995593
209.93/157.67	o 996090
210.27/157.96	o 997045
210.27/157.98	o 1000669
212.54/160.12	o 1000747
212.54/160.14	o 1001781
252.10/194.60	Exception in thread "main" java.util.concurrent.TimeoutException
252.10/194.60		at concrete.MAC.mac(MAC.scala:188)
252.10/194.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.10/194.60		at scala.util.Try$.apply(Try.scala:209)
252.10/194.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.10/194.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.10/194.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.10/194.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.10/194.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.10/194.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.10/194.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.10/194.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.10/194.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.10/194.60		at concrete.MAC.oneRun(MAC.scala:253)
252.10/194.60		at concrete.MAC.nextSolution(MAC.scala:272)
252.10/194.60		at concrete.MAC.nextSolution(MAC.scala:355)
252.10/194.60		at concrete.Solver.hasNext(Solver.scala:166)
252.10/194.60		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.10/194.60		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.10/194.60		at concrete.Solver.foreach(Solver.scala:68)
252.10/194.60		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.10/194.60		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.10/194.60		at scala.util.Success.map(Try.scala:209)
252.10/194.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.10/194.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.10/194.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.10/194.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.10/194.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.10/194.60		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.10/194.60		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.10/194.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.10/194.60		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.10/194.60		at scala.collection.immutable.List.foreach(List.scala:389)
252.10/194.60		at scala.App.main(App.scala:76)
252.10/194.60		at scala.App.main$(App.scala:74)
252.10/194.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.10/194.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.10/194.61	v <instantiation cost="1001781">
252.10/194.61	v       <list>
252.10/194.61	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.10/194.61	v       </list>
252.10/194.61	v       <values>
252.10/194.61	v         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 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 1 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 1 0 0 0 0 0 0 0 1 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 1 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 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 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 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 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 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 1 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 1 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 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 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 1 0 0 0 0 0 0 0
252.10/194.61	v       </values>
252.10/194.61	v     </instantiation>
252.10/194.61	s SATISFIABLE

Verifier Data 

OK	1001781

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302933-1532895150/watcher-4302933-1532895150 -o /tmp/evaluation-result-4302933-1532895150/solver-4302933-1532895150 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24643 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1720524609 -superng HOME/instance-4302933-1532895150.xml 

running on 4 cores: 0,2,4,6

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=26082, runsolver pid=26079

[startup+0.100063 s]*
/proc/loadavg: 1.93 1.83 1.86 3/206 26139
/proc/meminfo: memFree=24399372/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=10021560 memory=17344 CPUtime=0.09 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 4516 12844 0 0 1 0 5 3 20 0 6 0 107078276 10262077440 4336 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2505390 4336 1957 1 0 2493828 0
[pid=26082/tid=26135] ppid=26079 vsize=10022588 memory=4279135703980212366 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) S 26079 26082 22977 0 -1 1077944384 2331 12844 0 0 1 0 5 3 20 0 7 0 107078285 10263130112 4402 33554432000 4194304 4196468 140730477404656 140368169667344 140368197834453 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=10088124 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 7 0 107078285 10330238976 4402 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=10088124 memory=140100866217600 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 7 0 107078285 10330238976 4402 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=10088124 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 7 0 107078285 10330238976 4402 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=10088124 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 7 0 107078285 10330238976 4402 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=10088124 memory=140100866217600 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 7 0 107078287 10330238976 4402 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 17344 KiB

[startup+0.209933 s]*
/proc/loadavg: 1.93 1.83 1.86 3/215 26148
/proc/meminfo: memFree=24377088/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=10985364 memory=46760 CPUtime=0.27 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 8705 12844 0 0 17 2 5 3 20 0 15 0 107078276 11249012736 11690 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2746341 11690 2984 1 0 2708764 0
[pid=26082/tid=26135] ppid=26079 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 5269 12844 0 0 11 1 5 3 20 0 15 0 107078285 11246329856 11442 33554432000 4194304 4196468 140730477404656 140368169649056 140368190503469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=10982776 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246362624 11442 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=10982776 memory=3978562621453440672 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246362624 11442 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246362624 11442 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246362624 11442 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=10982776 memory=140100866217600 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246362624 11507 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 13 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246362624 11507 33554432000 4194304 4196468 140730477404656 140367047418656 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246362624 11507 33554432000 4194304 4196468 140730477404656 140366846092400 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246362624 11573 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=10982776 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 533 12844 0 0 1 0 5 3 20 0 15 0 107078290 11246362624 11573 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 67 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246362624 11573 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=10982776 memory=140100866217600 CPUtime=0.11 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) S 26079 26082 22977 0 -1 1077944384 616 12844 0 0 3 0 5 3 20 0 15 0 107078290 11246362624 11639 33554432000 4194304 4196468 140730477404656 140367620467568 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246362624 11639 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=10982776 memory=140100866217600 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078291 11246362624 11639 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46760 KiB

[startup+0.31042 s]*
/proc/loadavg: 1.93 1.83 1.86 3/215 26148
/proc/meminfo: memFree=24364652/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=10983192 memory=56228 CPUtime=0.39 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 10560 12844 0 0 28 3 5 3 20 0 15 0 107078276 11246788608 14057 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2745798 14057 3103 1 0 2708109 0
[pid=26082/tid=26135] ppid=26079 vsize=10983192 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 7113 12844 0 0 20 2 5 3 20 0 15 0 107078285 11246788608 14057 33554432000 4194304 4196468 140730477404656 140368169644256 140368197846173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 14057 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 14057 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 14057 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 13 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367047418656 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246788608 14057 33554432000 4194304 4196468 140730477404656 140366846092400 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246788608 14057 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 537 12844 0 0 1 0 5 3 20 0 15 0 107078290 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 68 12844 0 0 1 0 5 3 20 0 15 0 107078290 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=10983192 memory=140100866217600 CPUtime=0.12 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) R 26079 26082 22977 0 -1 4202560 622 12844 0 0 4 0 5 3 20 0 15 0 107078290 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367620467568 140368176943797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246788608 14057 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=10983192 memory=140100866217600 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078291 11246788608 14057 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56228 KiB

[startup+0.700686 s]
/proc/loadavg: 1.93 1.83 1.86 3/215 26148
/proc/meminfo: memFree=24355240/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=10983192 memory=88400 CPUtime=0.99 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 16743 12844 0 0 86 5 5 3 20 0 15 0 107078276 11246788608 22100 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2745798 22100 3241 1 0 2708109 0
[pid=26082/tid=26135] ppid=26079 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 12246 12844 0 0 55 4 5 3 20 0 15 0 107078285 11246788608 22100 33554432000 4194304 4196468 140730477404656 140368169645072 140368181904734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=10983192 memory=79 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 22100 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=10983192 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 22100 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 22100 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 2 12844 0 0 0 0 5 3 20 0 15 0 107078285 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=10983192 memory=140101833196103 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 5 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=10983192 memory=140101833196123 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 13 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367047418656 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=10983192 memory=140101833196124 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078287 11246788608 22100 33554432000 4194304 4196468 140730477404656 140366846092400 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=10983192 memory=140101833196128 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246788608 22100 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=10983192 memory=140101833196137 CPUtime=0.14 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 904 12844 0 0 6 0 5 3 20 0 15 0 107078290 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=10983192 memory=140101833196140 CPUtime=0.18 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 666 12844 0 0 10 0 5 3 20 0 15 0 107078290 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=10983192 memory=142687403508366 CPUtime=0.21 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) R 26079 26082 22977 0 -1 4202560 705 12844 0 0 13 0 5 3 20 0 15 0 107078290 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367620467568 140368197836182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=10983192 memory=18268 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11246788608 22100 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=10983192 memory=18344 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078291 11246788608 22100 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88400 KiB

[startup+1.50069 s]
/proc/loadavg: 1.93 1.83 1.86 3/215 26148
/proc/meminfo: memFree=24310972/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=10998092 memory=209088 CPUtime=2.76 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 25863 12844 0 0 257 11 5 3 20 0 15 0 107078276 11262046208 52272 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2749523 52272 3477 1 0 2711181 0
[pid=26082/tid=26135] ppid=26079 vsize=10998092 memory=10799 CPUtime=1.42 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 17243 12844 0 0 128 6 5 3 20 0 15 0 107078285 11262046208 52272 33554432000 4194304 4196468 140730477404656 140368169639296 140368181904734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=10998092 memory=25313 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 32 12844 0 0 1 0 5 3 20 0 15 0 107078285 11262046208 52272 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 154 12844 0 0 1 0 5 3 20 0 15 0 107078285 11262046208 52272 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=10998092 memory=321013415751723303 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 18 12844 0 0 1 0 5 3 20 0 15 0 107078285 11262046208 52272 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=10998092 memory=288288891742739861 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 67 12844 0 0 1 0 5 3 20 0 15 0 107078285 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=10998092 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 83 12844 0 0 1 0 5 3 20 0 15 0 107078287 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=10998092 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 14 12844 0 0 0 0 5 3 20 0 15 0 107078287 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367047418720 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=10998092 memory=-2672971631320983069 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078287 11262046208 52272 33554432000 4194304 4196468 140730477404656 140366846092400 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=10998092 memory=-7606742920825102191 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11262046208 52272 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=10998092 memory=-3472574944341025154 CPUtime=0.46 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 2433 12844 0 0 38 0 5 3 20 0 15 0 107078290 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=10998092 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 1961 12844 0 0 41 0 5 3 20 0 15 0 107078290 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=10998092 memory=-2892745056951965031 CPUtime=0.47 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) S 26079 26082 22977 0 -1 1077944384 1661 12844 0 0 39 0 5 3 20 0 15 0 107078290 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367620467568 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11262046208 52272 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 1 12844 0 0 0 0 5 3 20 0 15 0 107078291 11262046208 52272 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0

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

/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 50532 12844 0 0 4722 17 5 3 20 0 15 0 107078285 11345952768 455780 33554432000 4194304 4196468 140730477404656 140368169660288 140367757575738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=11080032 memory=1541512 CPUtime=3.24 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 2945 12844 0 0 277 39 5 3 20 0 15 0 107078285 11345952768 455780 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=11080032 memory=1814360 CPUtime=3.26 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 3244 12844 0 0 280 38 5 3 20 0 15 0 107078285 11345952768 455780 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=11080032 memory=1642744 CPUtime=3.22 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 2402 12844 0 0 275 39 5 3 20 0 15 0 107078285 11345952768 455780 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=11080032 memory=1823120 CPUtime=3.27 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 3586 12844 0 0 279 40 5 3 20 0 15 0 107078285 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=11080032 memory=56 CPUtime=0.43 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 3627 12844 0 0 35 0 5 3 20 0 15 0 107078287 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=11080032 memory=1793424 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 29 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367047418784 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=11080032 memory=1793424 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 22 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 455780 33554432000 4194304 4196468 140730477404656 140366846092416 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=11080032 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 455780 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=11080032 memory=556820 CPUtime=8.71 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 13783 12844 0 0 860 3 5 3 20 0 15 0 107078290 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=11080032 memory=1541208 CPUtime=9.03 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) R 26079 26082 22977 0 -1 4202560 12481 12844 0 0 892 3 5 3 20 0 15 0 107078290 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367621519856 140368179368000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=11080032 memory=1541208 CPUtime=2.71 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) S 26079 26082 22977 0 -1 1077944384 15449 12844 0 0 259 4 5 3 20 0 15 0 107078290 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367620467568 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=11080032 memory=1793400 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 455780 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=11080032 memory=4136 CPUtime=0.09 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 609 12844 0 0 1 0 5 3 20 0 15 0 107078291 11345952768 455780 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 80.83 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1823120 KiB

[startup+102.31 s]
/proc/loadavg: 2.01 1.91 1.88 3/215 26149
/proc/meminfo: memFree=20824468/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=11080032 memory=3202328 CPUtime=144.67 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 117659 12844 0 0 14110 349 5 3 20 0 15 0 107078276 11345952768 800582 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2770008 800582 3532 1 0 2731661 0
[pid=26082/tid=26135] ppid=26079 vsize=11080032 memory=280201520432544 CPUtime=95.2 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 51759 12844 0 0 9495 17 5 3 20 0 15 0 107078285 11345952768 800582 33554432000 4194304 4196468 140730477404656 140368169658936 140367753606790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=11080032 memory=3202328 CPUtime=6.67 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 4104 12844 0 0 582 77 5 3 20 0 15 0 107078285 11345952768 800582 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=11080032 memory=3202328 CPUtime=6.7 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 4150 12844 0 0 585 77 5 3 20 0 15 0 107078285 11345952768 800582 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=11080032 memory=3202328 CPUtime=6.64 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 3379 12844 0 0 578 78 5 3 20 0 15 0 107078285 11345952768 800582 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=11080032 memory=3202328 CPUtime=6.69 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 4735 12844 0 0 581 80 5 3 20 0 15 0 107078285 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=11080032 memory=3202328 CPUtime=0.46 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 4223 12844 0 0 37 1 5 3 20 0 15 0 107078287 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=11080032 memory=3202328 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 30 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367047418784 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=11080032 memory=3202328 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 27 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 800582 33554432000 4194304 4196468 140730477404656 140366846092416 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=11080032 memory=3202328 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 800582 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=11080032 memory=3202328 CPUtime=9.77 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 14114 12844 0 0 965 4 5 3 20 0 15 0 107078290 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=11080032 memory=3062912 CPUtime=10.1 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 12711 12844 0 0 999 3 5 3 20 0 15 0 107078290 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=11080032 memory=2921324 CPUtime=2.91 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) S 26079 26082 22977 0 -1 1077944384 15617 12844 0 0 279 4 5 3 20 0 15 0 107078290 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367620467568 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=11080032 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 800582 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=11080032 memory=30788 CPUtime=0.12 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 613 12844 0 0 3 1 5 3 20 0 15 0 107078291 11345952768 800582 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 144.67 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3202328 KiB

[startup+162.31 s]
/proc/loadavg: 2.26 1.97 1.90 6/215 26278
/proc/meminfo: memFree=23964916/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=11080032 memory=3373024 CPUtime=215.28 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 140590 12844 0 0 21158 362 5 3 20 0 15 0 107078276 11345952768 843256 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2770008 843256 3532 1 0 2731661 0
[pid=26082/tid=26135] ppid=26079 vsize=11080032 memory=3373024 CPUtime=152.26 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 55174 12844 0 0 15200 18 5 3 20 0 15 0 107078285 11345952768 843256 33554432000 4194304 4196468 140730477404656 140368169657000 140367753548298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=11080032 memory=3372832 CPUtime=9.44 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 5297 12844 0 0 857 79 5 3 20 0 15 0 107078285 11345952768 843256 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=11080032 memory=3372832 CPUtime=9.46 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 4302 12844 0 0 858 80 5 3 20 0 15 0 107078285 11345952768 843256 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=11080032 memory=3373024 CPUtime=9.39 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 3510 12844 0 0 851 80 5 3 20 0 15 0 107078285 11345952768 843256 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=11080032 memory=3372832 CPUtime=9.48 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 4928 12844 0 0 858 82 5 3 20 0 15 0 107078285 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=11080032 memory=3372832 CPUtime=0.61 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 9964 12844 0 0 52 1 5 3 20 0 15 0 107078287 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=11080032 memory=1576 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 30 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367047418784 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=11080032 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 27 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 843256 33554432000 4194304 4196468 140730477404656 140366846092416 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=11080032 memory=1404 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 843256 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=11080032 memory=2676 CPUtime=10.8 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 19274 12844 0 0 1067 5 5 3 20 0 15 0 107078290 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=11080032 memory=3372452 CPUtime=11.06 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 15370 12844 0 0 1094 4 5 3 20 0 15 0 107078290 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=11080032 memory=0 CPUtime=3.24 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) S 26079 26082 22977 0 -1 1077944384 19804 12844 0 0 311 5 5 3 20 0 15 0 107078290 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367620467568 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=11080032 memory=3372768 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 843256 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=11080032 memory=3372392 CPUtime=0.16 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 713 12844 0 0 5 3 5 3 20 0 15 0 107078291 11345952768 843256 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 215.28 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3373024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+194.601 s]
/proc/loadavg: 2.17 1.98 1.91 3/215 26278
/proc/meminfo: memFree=21959784/32770624 swapFree=67108792/67108860
[pid=26082] ppid=26079 vsize=11080032 memory=3426412 CPUtime=252.1 cores=0,2,4,6
/proc/26082/stat : 26082 (java) S 26079 26082 22977 0 -1 1077944320 145280 12844 0 0 24830 372 5 3 20 0 15 0 107078276 11345952768 856603 33554432000 4194304 4196468 140730477404656 140730477387200 140368197824247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
/proc/26082/statm: 2770008 856603 3532 1 0 2731661 0
[pid=26082/tid=26135] ppid=26079 vsize=11080032 memory=6791534058613427641 CPUtime=183.65 cores=0,2,4,6
/proc/26082/task/26135/stat : 26135 (java) R 26079 26082 22977 0 -1 4202560 57262 12844 0 0 18338 19 5 3 20 0 15 0 107078285 11345952768 856603 33554432000 4194304 4196468 140730477404656 140368169656544 140367756996129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26136] ppid=26079 vsize=11080032 memory=1232 CPUtime=10.33 cores=0,2,4,6
/proc/26082/task/26136/stat : 26136 (java) S 26079 26082 22977 0 -1 1077944384 5531 12844 0 0 944 81 5 3 20 0 15 0 107078285 11345952768 856603 33554432000 4194304 4196468 140730477404656 140368202066832 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26137] ppid=26079 vsize=11080032 memory=956 CPUtime=10.35 cores=0,2,4,6
/proc/26082/task/26137/stat : 26137 (java) S 26079 26082 22977 0 -1 1077944384 5129 12844 0 0 945 82 5 3 20 0 15 0 107078285 11345952768 856603 33554432000 4194304 4196468 140730477404656 140368056785680 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26138] ppid=26079 vsize=11080032 memory=6791534058613427641 CPUtime=10.28 cores=0,2,4,6
/proc/26082/task/26138/stat : 26138 (java) S 26079 26082 22977 0 -1 1077944384 3686 12844 0 0 938 82 5 3 20 0 15 0 107078285 11345952768 856603 33554432000 4194304 4196468 140730477404656 140368055733392 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26139] ppid=26079 vsize=11080032 memory=1576 CPUtime=10.37 cores=0,2,4,6
/proc/26082/task/26139/stat : 26139 (java) S 26079 26082 22977 0 -1 1077944384 5114 12844 0 0 945 84 5 3 20 0 15 0 107078285 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367735286800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26140] ppid=26079 vsize=11080032 memory=3426412 CPUtime=0.62 cores=0,2,4,6
/proc/26082/task/26140/stat : 26140 (java) S 26079 26082 22977 0 -1 1077944384 10066 12844 0 0 53 1 5 3 20 0 15 0 107078287 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367623624816 140368197835394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26141] ppid=26079 vsize=11080032 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26141/stat : 26141 (java) S 26079 26082 22977 0 -1 1077944384 30 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367047418784 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26142] ppid=26079 vsize=11080032 memory=5760 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26142/stat : 26142 (java) S 26079 26082 22977 0 -1 1077944384 27 12844 0 0 0 0 5 3 20 0 15 0 107078287 11345952768 856603 33554432000 4194304 4196468 140730477404656 140366846092416 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26143] ppid=26079 vsize=11080032 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26143/stat : 26143 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 856603 33554432000 4194304 4196468 140730477404656 140366538692688 140368197842843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26144] ppid=26079 vsize=11080032 memory=288230583166042426 CPUtime=11.56 cores=0,2,4,6
/proc/26082/task/26144/stat : 26144 (java) S 26079 26082 22977 0 -1 1077944384 19507 12844 0 0 1143 5 5 3 20 0 15 0 107078290 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367622572656 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26145] ppid=26079 vsize=11080032 memory=6791534058613427641 CPUtime=11.87 cores=0,2,4,6
/proc/26082/task/26145/stat : 26145 (java) S 26079 26082 22977 0 -1 1077944384 15875 12844 0 0 1175 4 5 3 20 0 15 0 107078290 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367621519856 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26146] ppid=26079 vsize=11080032 memory=4136 CPUtime=3.51 cores=0,2,4,6
/proc/26082/task/26146/stat : 26146 (java) S 26079 26082 22977 0 -1 1077944384 20112 12844 0 0 338 5 5 3 20 0 15 0 107078290 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367620467568 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26147] ppid=26079 vsize=11080032 memory=30788 CPUtime=0.08 cores=0,2,4,6
/proc/26082/task/26147/stat : 26147 (java) S 26079 26082 22977 0 -1 1077944384 3 12844 0 0 0 0 5 3 20 0 15 0 107078290 11345952768 856603 33554432000 4194304 4196468 140730477404656 140366107896800 140368197834453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
[pid=26082/tid=26148] ppid=26079 vsize=11080032 memory=1292 CPUtime=0.18 cores=0,2,4,6
/proc/26082/task/26148/stat : 26148 (java) S 26079 26082 22977 0 -1 1077944384 744 12844 0 0 6 4 5 3 20 0 15 0 107078291 11345952768 856603 33554432000 4194304 4196468 140730477404656 140367619414448 140368197835394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20168704 140730477410920 140730477413729 140730477413729 140730477416399 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3426412 KiB

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

[startup+194.655 s]
# the end of solver process 26082 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.363 s, system=3.78717 s

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

Child status: 143
Real time (s): 194.655
CPU time (s): 252.15
CPU user time (s): 248.363
CPU system time (s): 3.78717
CPU usage (%): 129.537
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3426412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.363
system time used= 3.78717
maximum resident set size= 3428948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18759
involuntary context switches= 940


# summary of solver processes directly reported to runsolver:
#   pid: 26082
#   total CPU time (s): 252.15
#   total CPU user time (s): 248.363
#   total CPU system time (s): 3.78717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23253 second user time and 1.83243 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-29 22:12:30
IDJOB=4302933
IDBENCH=141147
IDSOLVER=2777
FILE ID=node150/4302933-1532895150
RUNJOBID= node150-1532894180-24643
PBS_JOBID= 21022512
Free space on /tmp= 55320 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302933-1532895150/watcher-4302933-1532895150 -o /tmp/evaluation-result-4302933-1532895150/solver-4302933-1532895150 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24643 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1720524609 -superng HOME/instance-4302933-1532895150.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=1720524609

node150.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.76
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.76
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.76
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.76
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:        24407944 kB
MemAvailable:   28223096 kB
Buffers:          223076 kB
Cached:          3835020 kB
SwapCached:           32 kB
Active:          5239944 kB
Inactive:        2585008 kB
Active(anon):    3718540 kB
Inactive(anon):    76188 kB
Active(file):    1521404 kB
Inactive(file):  2508820 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             26776 kB
Writeback:             0 kB
AnonPages:       3758244 kB
Mapped:            57968 kB
Shmem:             25156 kB
Slab:             230172 kB
SReclaimable:     201524 kB
SUnreclaim:        28648 kB
KernelStack:        3488 kB
PageTables:        12520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5062164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3497984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 55296 MiB
End job on node150 at 2018-07-29 22:15:45