Trace number 4304265

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)559117 2520.12 2448.75

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay100_c18.xml
MD5SUMd8b461fac2d17be3b89e017753091d4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark750618
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}]
Minimum constraint arity83
Maximum constraint arity128
Distribution of constraint arities[{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":100}]
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
159.86/125.42	o 371063
161.92/127.40	o 371662
163.55/127.80	o 373183
163.55/127.88	o 376386
163.85/127.93	o 377891
165.29/128.92	o 378952
165.29/128.97	o 380364
165.43/129.02	o 382121
167.80/130.63	o 383085
167.80/130.68	o 384962
167.91/130.73	o 392707
167.91/130.78	o 397516
168.01/130.83	o 398277
168.01/130.89	o 400917
168.11/130.94	o 402092
168.25/131.06	o 406324
179.70/139.35	o 407045
179.82/139.41	o 407841
179.82/139.47	o 409711
179.92/139.52	o 411216
179.92/139.58	o 411880
180.03/139.64	o 416648
180.13/139.70	o 420060
180.13/139.76	o 420794
180.23/139.85	o 422819
180.34/139.91	o 429903
180.46/140.04	o 430774
180.46/140.09	o 432644
180.56/140.19	o 433751
180.65/140.28	o 435067
180.75/140.34	o 435863
180.75/140.39	o 439275
181.07/140.61	o 445786
181.18/140.73	o 446448
181.76/140.98	o 447314
182.11/141.19	o 452311
182.21/141.24	o 452975
182.21/141.29	o 453820
182.32/141.35	o 454554
182.64/141.69	o 465267
188.84/146.82	o 467277
191.36/148.88	o 468667
191.46/148.93	o 471549
191.46/148.99	o 474685
191.57/149.04	o 475702
191.57/149.09	o 478372
191.67/149.16	o 478885
193.73/150.70	o 479263
194.51/151.41	o 479395
194.95/151.80	o 480884
196.17/152.99	o 486425
196.28/153.05	o 486692
196.38/153.11	o 487488
207.37/161.93	o 488876
207.37/161.98	o 490051
207.48/162.04	o 491921
207.58/162.15	o 497645
207.67/162.21	o 497985
207.77/162.32	o 501184
207.77/162.38	o 501524
207.98/162.50	o 504233
207.98/162.56	o 506103
208.08/162.68	o 506972
208.20/162.74	o 510411
208.42/162.92	o 510773
208.63/163.02	o 511759
208.76/163.19	o 512055
230.06/181.70	o 514863
230.06/181.76	o 517441
230.16/181.82	o 517811
230.28/181.99	o 526159
230.48/182.17	o 527223
230.58/182.23	o 527593
231.03/182.66	o 528140
231.13/182.72	o 530897
231.47/183.01	o 534076
231.47/183.07	o 540366
234.17/185.47	o 540879
569.89/509.59	o 541881
569.99/509.64	o 543729
570.10/509.70	o 543924
570.10/509.76	o 545445
571.30/510.99	o 549999
571.41/511.08	o 559117
2520.05/2448.71	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2448.71		at concrete.MAC.mac(MAC.scala:188)
2520.05/2448.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2448.71		at scala.util.Try$.apply(Try.scala:209)
2520.05/2448.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2448.71		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2448.71		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2448.71		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2448.71		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2448.71		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2448.71		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2448.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2448.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2448.71		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2448.71		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2448.71		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2448.71		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2448.71		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2448.71		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2448.71		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2448.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2448.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2448.71		at scala.util.Success.map(Try.scala:209)
2520.05/2448.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2448.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2448.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2448.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2448.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2448.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2448.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2448.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2448.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2448.71		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2448.71		at scala.App.main(App.scala:76)
2520.05/2448.71		at scala.App.main$(App.scala:74)
2520.05/2448.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2448.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2448.72	v <instantiation cost="559117">
2520.05/2448.72	v       <list>
2520.05/2448.72	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]
2520.05/2448.72	v       </list>
2520.05/2448.72	v       <values>
2520.05/2448.72	v         1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 1 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.05/2448.72	v       </values>
2520.05/2448.72	v     </instantiation>
2520.05/2448.72	s SATISFIABLE

Verifier Data 

OK	559117

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304265-1534052286/watcher-4304265-1534052286 -o /tmp/evaluation-result-4304265-1534052286/solver-4304265-1534052286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1578437092 HOME/instance-4304265-1534052286.xml 

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

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

solver pid=17518, runsolver pid=17515

[startup+0.100125 s]*
/proc/loadavg: 1.30 1.28 1.43 3/210 17575
/proc/meminfo: memFree=10237260/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=10005480 memory=18860 CPUtime=0.08 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 4379 12844 0 0 1 0 5 2 20 0 6 0 222791817 10245611520 4715 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2501370 4715 1934 1 0 2489808 0
[pid=17518/tid=17571] ppid=17515 vsize=10005480 memory=5852835220496416925 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 2189 12844 0 0 1 0 5 2 20 0 6 0 222791826 10245611520 4715 33554432000 4194304 4196468 140732982053776 140645100089936 140645113935667 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=10005480 memory=5793855945699826105 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 6 0 222791827 10245611520 4715 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=10005480 memory=140694689932928 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 6 0 222791827 10245611520 4715 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 6 0 222791827 10245611520 4715 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 2 12844 0 0 0 0 5 2 20 0 6 0 222791827 10245611520 4715 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210155 s]*
/proc/loadavg: 1.30 1.28 1.43 3/219 17584
/proc/meminfo: memFree=10215440/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=10985364 memory=44260 CPUtime=0.26 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 8289 12844 0 0 17 2 5 2 20 0 15 0 222791817 11249012736 10999 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2746341 11065 2944 1 0 2708764 0
[pid=17518/tid=17571] ppid=17515 vsize=10985364 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 4902 12844 0 0 10 1 5 2 20 0 15 0 222791826 11249012736 11131 33554432000 4194304 4196468 140732982053776 140645100077984 140645120932893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=10985364 memory=4211974420894723466 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11249012736 11131 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=10985364 memory=140694689932928 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11249012736 11131 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11249012736 11131 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 2 12844 0 0 0 0 5 2 20 0 15 0 222791827 11249012736 11197 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 2 12844 0 0 0 0 5 2 20 0 15 0 222791828 11249012736 11197 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 13 12844 0 0 0 0 5 2 20 0 15 0 222791828 11249012736 11197 33554432000 4194304 4196468 140732982053776 140643938592032 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 21 12844 0 0 0 0 5 2 20 0 15 0 222791829 11249012736 11197 33554432000 4194304 4196468 140732982053776 140643871479408 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11249012736 11263 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 367 12844 0 0 1 0 5 2 20 0 15 0 222791831 11249012736 11263 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 262 12844 0 0 0 0 5 2 20 0 15 0 222791831 11249012736 11263 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=10985364 memory=140694689932928 CPUtime=0.1 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 615 12844 0 0 3 0 5 2 20 0 15 0 222791831 11249012736 11263 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11249012736 11263 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=10985364 memory=140694689932928 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791832 11249012736 11329 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 44260 KiB

[startup+0.310469 s]*
/proc/loadavg: 1.30 1.28 1.43 3/219 17584
/proc/meminfo: memFree=10202292/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=10983192 memory=53316 CPUtime=0.39 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 10469 12844 0 0 29 3 5 2 20 0 15 0 222791817 11246788608 13329 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2745798 13329 3063 1 0 2708109 0
[pid=17518/tid=17571] ppid=17515 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 6978 12844 0 0 19 2 5 2 20 0 15 0 222791826 11246788608 13329 33554432000 4194304 4196468 140732982053776 140645100065184 140645120490302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 13329 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 13329 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 2 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=10983192 memory=140694689932927 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 2 12844 0 0 0 0 5 2 20 0 15 0 222791828 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 13 12844 0 0 0 0 5 2 20 0 15 0 222791828 11246788608 13329 33554432000 4194304 4196468 140732982053776 140643938592032 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=10983192 memory=140694689932928 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 21 12844 0 0 0 0 5 2 20 0 15 0 222791829 11246788608 13329 33554432000 4194304 4196468 140732982053776 140643871479408 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11246788608 13329 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 372 12844 0 0 2 0 5 2 20 0 15 0 222791831 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 262 12844 0 0 1 0 5 2 20 0 15 0 222791831 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) R 17515 17518 13534 0 -1 4202560 623 12844 0 0 5 0 5 2 20 0 15 0 222791831 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644618234224 140645120490302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11246788608 13329 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791832 11246788608 13329 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53316 KiB

[startup+0.700732 s]
/proc/loadavg: 1.30 1.28 1.43 3/219 17584
/proc/meminfo: memFree=10192740/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=10983192 memory=86628 CPUtime=0.99 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 16776 12844 0 0 88 4 5 2 20 0 15 0 222791817 11246788608 21657 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2745798 21657 3238 1 0 2708109 0
[pid=17518/tid=17571] ppid=17515 vsize=10983192 memory=60580 CPUtime=0.66 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 12197 12844 0 0 56 3 5 2 20 0 15 0 222791826 11246788608 21657 33554432000 4194304 4196468 140732982053776 140645100074000 140645108524912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=10983192 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 21657 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=10983192 memory=140694538985971 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 21657 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=10983192 memory=140698833650571 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=10983192 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 2 12844 0 0 0 0 5 2 20 0 15 0 222791827 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=10983192 memory=6296143700806424935 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 5 12844 0 0 0 0 5 2 20 0 15 0 222791828 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=10983192 memory=8099279071866868837 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 13 12844 0 0 0 0 5 2 20 0 15 0 222791828 11246788608 21657 33554432000 4194304 4196468 140732982053776 140643938592032 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=10983192 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 21 12844 0 0 0 0 5 2 20 0 15 0 222791829 11246788608 21657 33554432000 4194304 4196468 140732982053776 140643871479408 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=10983192 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11246788608 21657 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=10983192 memory=8326441112149131689 CPUtime=0.18 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 1006 12844 0 0 11 0 5 2 20 0 15 0 222791831 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=10983192 memory=-7025452035940392864 CPUtime=0.13 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 623 12844 0 0 6 0 5 2 20 0 15 0 222791831 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=10983192 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 711 12844 0 0 13 0 5 2 20 0 15 0 222791831 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=10983192 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11246788608 21657 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791832 11246788608 21657 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86628 KiB

[startup+1.50073 s]
/proc/loadavg: 1.30 1.28 1.43 4/219 17584
/proc/meminfo: memFree=10145960/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=10998092 memory=199844 CPUtime=2.72 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 25278 12844 0 0 255 10 5 2 20 0 15 0 222791817 11262046208 49961 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2749523 49961 3474 1 0 2711181 0
[pid=17518/tid=17571] ppid=17515 vsize=10998092 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 16986 12844 0 0 128 6 5 2 20 0 15 0 222791826 11262046208 49961 33554432000 4194304 4196468 140732982053776 140645100070464 140645120490302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=10998092 memory=100624 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 25 12844 0 0 1 0 5 2 20 0 15 0 222791827 11262046208 49961 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=10998092 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 10 12844 0 0 1 0 5 2 20 0 15 0 222791827 11262046208 49961 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 57 12844 0 0 1 0 5 2 20 0 15 0 222791827 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 182 12844 0 0 1 0 5 2 20 0 15 0 222791827 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 48 12844 0 0 1 0 5 2 20 0 15 0 222791828 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=10998092 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 13 12844 0 0 0 0 5 2 20 0 15 0 222791828 11262046208 49961 33554432000 4194304 4196468 140732982053776 140643938592096 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=10998092 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 43 12844 0 0 0 0 5 2 20 0 15 0 222791829 11262046208 49961 33554432000 4194304 4196468 140732982053776 140643871479424 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=10998092 memory=2192 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11262046208 49961 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=10998092 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 2053 12844 0 0 43 0 5 2 20 0 15 0 222791831 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=10998092 memory=216182883941063 CPUtime=0.42 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 2072 12844 0 0 35 0 5 2 20 0 15 0 222791831 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=10998092 memory=1088950 CPUtime=0.46 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 1595 12844 0 0 39 0 5 2 20 0 15 0 222791831 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=10998092 memory=4638778419807998288 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11262046208 49961 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=10998092 memory=4639059873309409382 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1 12844 0 0 0 0 5 2 20 0 15 0 222791832 11262046208 49961 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 10998092 KiB

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

/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 207655 12844 0 0 236767 44 5 2 20 0 15 0 222791826 11345952768 885129 33554432000 4194304 4196468 140732982053776 140645100088688 140644712568747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=11080032 memory=3540516 CPUtime=12.19 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 33274 12844 0 0 1113 99 5 2 20 0 15 0 222791827 11345952768 885129 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=11080032 memory=3540516 CPUtime=12.21 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 31690 12844 0 0 1117 97 5 2 20 0 15 0 222791827 11345952768 885129 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=11080032 memory=3540516 CPUtime=12.22 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 28767 12844 0 0 1119 96 5 2 20 0 15 0 222791827 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=11080032 memory=0 CPUtime=12.23 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 31110 12844 0 0 1123 93 5 2 20 0 15 0 222791827 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=11080032 memory=3540516 CPUtime=1.45 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 30909 12844 0 0 131 7 5 2 20 0 15 0 222791828 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=11080032 memory=3540516 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 29 12844 0 0 0 0 5 2 20 0 15 0 222791828 11345952768 885129 33554432000 4194304 4196468 140732982053776 140643938592096 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=11080032 memory=3560 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 69 12844 0 0 0 0 5 2 20 0 15 0 222791829 11345952768 885129 33554432000 4194304 4196468 140732982053776 140643871479424 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=11080032 memory=3540516 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885129 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=11080032 memory=3540516 CPUtime=14.89 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 21288 12844 0 0 1475 7 5 2 20 0 15 0 222791831 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=11080032 memory=3540516 CPUtime=14.96 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 17611 12844 0 0 1484 5 5 2 20 0 15 0 222791831 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=11080032 memory=3560 CPUtime=4.29 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 30322 12844 0 0 414 8 5 2 20 0 15 0 222791831 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=11080032 memory=1977 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885129 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=11080032 memory=5772 CPUtime=1.4 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1703 12844 0 0 59 74 5 2 20 0 15 0 222791832 11345952768 885129 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 2453.49 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3540516 KiB

[startup+2442.3 s]
/proc/loadavg: 1.45 1.55 1.62 3/218 17814
/proc/meminfo: memFree=6078752/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=11080032 memory=3540520 CPUtime=2513.63 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 444179 12844 0 0 250839 517 5 2 20 0 15 0 222791817 11345952768 885130 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2770008 885130 3536 1 0 2731661 0
[pid=17518/tid=17571] ppid=17515 vsize=11080032 memory=3540520 CPUtime=2428.12 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 211837 12844 0 0 242761 44 5 2 20 0 15 0 222791826 11345952768 885130 33554432000 4194304 4196468 140732982053776 140645100088432 140644694688740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.22 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 34129 12844 0 0 1116 99 5 2 20 0 15 0 222791827 11345952768 885130 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.24 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 31939 12844 0 0 1120 97 5 2 20 0 15 0 222791827 11345952768 885130 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.25 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 29216 12844 0 0 1122 96 5 2 20 0 15 0 222791827 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.27 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 32564 12844 0 0 1126 94 5 2 20 0 15 0 222791827 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=11080032 memory=3540520 CPUtime=1.47 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 31247 12844 0 0 133 7 5 2 20 0 15 0 222791828 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 29 12844 0 0 0 0 5 2 20 0 15 0 222791828 11345952768 885130 33554432000 4194304 4196468 140732982053776 140643938592096 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 69 12844 0 0 0 0 5 2 20 0 15 0 222791829 11345952768 885130 33554432000 4194304 4196468 140732982053776 140643871479424 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885130 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=11080032 memory=3540520 CPUtime=14.89 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 21290 12844 0 0 1475 7 5 2 20 0 15 0 222791831 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=11080032 memory=3540520 CPUtime=14.96 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 17614 12844 0 0 1484 5 5 2 20 0 15 0 222791831 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=11080032 memory=3540520 CPUtime=4.29 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 30325 12844 0 0 414 8 5 2 20 0 15 0 222791831 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885130 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=11080032 memory=3540520 CPUtime=1.43 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1726 12844 0 0 61 75 5 2 20 0 15 0 222791832 11345952768 885130 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 2513.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3540520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448.7 s]
/proc/loadavg: 1.46 1.54 1.62 3/218 17814
/proc/meminfo: memFree=6078752/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=11080032 memory=3540544 CPUtime=2520.05 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 447194 12844 0 0 251481 517 5 2 20 0 15 0 222791817 11345952768 885136 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2770008 885136 3536 1 0 2731661 0
[pid=17518/tid=17571] ppid=17515 vsize=11080032 memory=3540544 CPUtime=2434.51 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 213279 12844 0 0 243400 44 5 2 20 0 15 0 222791826 11345952768 885136 33554432000 4194304 4196468 140732982053776 140645100088800 140644712567840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.22 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 35194 12844 0 0 1116 99 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.24 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 32035 12844 0 0 1120 97 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.26 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 29295 12844 0 0 1123 96 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.28 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 32747 12844 0 0 1127 94 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=11080032 memory=3540520 CPUtime=1.47 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 31389 12844 0 0 133 7 5 2 20 0 15 0 222791828 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 29 12844 0 0 0 0 5 2 20 0 15 0 222791828 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643938592096 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 69 12844 0 0 0 0 5 2 20 0 15 0 222791829 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643871479424 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=11080032 memory=3540544 CPUtime=14.89 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 21292 12844 0 0 1475 7 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=11080032 memory=3540520 CPUtime=14.96 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 17616 12844 0 0 1484 5 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=11080032 memory=3560 CPUtime=4.29 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 30327 12844 0 0 414 8 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=11080032 memory=3540544 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=11080032 memory=3540544 CPUtime=1.44 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1728 12844 0 0 61 76 5 2 20 0 15 0 222791832 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3540544 KiB

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

[startup+2448.75 s]
# the end of solver process 17518 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.89 s, system=5.22914 s

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

[startup+2448.7 s]
/proc/loadavg: 1.46 1.54 1.62 3/218 17814
/proc/meminfo: memFree=6078752/32770624 swapFree=67108860/67108860
[pid=17518] ppid=17515 vsize=11080032 memory=3540544 CPUtime=2520.05 cores=1,3,5,7
/proc/17518/stat : 17518 (java) S 17515 17518 13534 0 -1 1077944320 447194 12844 0 0 251481 517 5 2 20 0 15 0 222791817 11345952768 885136 33554432000 4194304 4196468 140732982053776 140732982036320 140645128253175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
/proc/17518/statm: 2770008 885136 3536 1 0 2731661 0
[pid=17518/tid=17571] ppid=17515 vsize=11080032 memory=3540544 CPUtime=2434.51 cores=1,3,5,7
/proc/17518/task/17571/stat : 17571 (java) R 17515 17518 13534 0 -1 4202560 213279 12844 0 0 243400 44 5 2 20 0 15 0 222791826 11345952768 885136 33554432000 4194304 4196468 140732982053776 140645100088800 140644712567840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17572] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.22 cores=1,3,5,7
/proc/17518/task/17572/stat : 17572 (java) S 17515 17518 13534 0 -1 1077944384 35194 12844 0 0 1116 99 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140645132495248 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17573] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.24 cores=1,3,5,7
/proc/17518/task/17573/stat : 17573 (java) S 17515 17518 13534 0 -1 1077944384 32035 12844 0 0 1120 97 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140645013760272 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17574] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.26 cores=1,3,5,7
/proc/17518/task/17574/stat : 17574 (java) S 17515 17518 13534 0 -1 1077944384 29295 12844 0 0 1123 96 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644667021968 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17575] ppid=17515 vsize=11080032 memory=3540520 CPUtime=12.28 cores=1,3,5,7
/proc/17518/task/17575/stat : 17575 (java) S 17515 17518 13534 0 -1 1077944384 32747 12844 0 0 1127 94 5 2 20 0 15 0 222791827 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644665969168 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17576] ppid=17515 vsize=11080032 memory=3540520 CPUtime=1.47 cores=1,3,5,7
/proc/17518/task/17576/stat : 17576 (java) S 17515 17518 13534 0 -1 1077944384 31389 12844 0 0 133 7 5 2 20 0 15 0 222791828 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644621392496 140645128264322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17577] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17577/stat : 17577 (java) S 17515 17518 13534 0 -1 1077944384 29 12844 0 0 0 0 5 2 20 0 15 0 222791828 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643938592096 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17578] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17578/stat : 17578 (java) S 17515 17518 13534 0 -1 1077944384 69 12844 0 0 0 0 5 2 20 0 15 0 222791829 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643871479424 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17579] ppid=17515 vsize=11080032 memory=3540520 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17579/stat : 17579 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643564083792 140645128271771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17580] ppid=17515 vsize=11080032 memory=3540544 CPUtime=14.89 cores=1,3,5,7
/proc/17518/task/17580/stat : 17580 (java) S 17515 17518 13534 0 -1 1077944384 21292 12844 0 0 1475 7 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644620339312 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17581] ppid=17515 vsize=11080032 memory=3540520 CPUtime=14.96 cores=1,3,5,7
/proc/17518/task/17581/stat : 17581 (java) S 17515 17518 13534 0 -1 1077944384 17616 12844 0 0 1484 5 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644619286512 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17582] ppid=17515 vsize=11080032 memory=3560 CPUtime=4.29 cores=1,3,5,7
/proc/17518/task/17582/stat : 17582 (java) S 17515 17518 13534 0 -1 1077944384 30327 12844 0 0 414 8 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644618234224 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17583] ppid=17515 vsize=11080032 memory=3540544 CPUtime=0.07 cores=1,3,5,7
/proc/17518/task/17583/stat : 17583 (java) S 17515 17518 13534 0 -1 1077944384 3 12844 0 0 0 0 5 2 20 0 15 0 222791831 11345952768 885136 33554432000 4194304 4196468 140732982053776 140643133286880 140645128263381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
[pid=17518/tid=17584] ppid=17515 vsize=11080032 memory=3540544 CPUtime=1.44 cores=1,3,5,7
/proc/17518/task/17584/stat : 17584 (java) S 17515 17518 13534 0 -1 1077944384 1728 12844 0 0 61 76 5 2 20 0 15 0 222791832 11345952768 885136 33554432000 4194304 4196468 140732982053776 140644617182128 140645128264322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 39055360 140732982057580 140732982060380 140732982060380 140732982063055 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3540544 KiB

Child status: 143
Real time (s): 2448.75
CPU time (s): 2520.12
CPU user time (s): 2514.89
CPU system time (s): 5.22914
CPU usage (%): 102.915
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3540844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.89
system time used= 5.22914
maximum resident set size= 3542920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81774
involuntary context switches= 3232


# summary of solver processes directly reported to runsolver:
#   pid: 17518
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2514.89
#   total CPU system time (s): 5.22914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4088 second user time and 23.6808 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-12 07:38:06
IDJOB=4304265
IDBENCH=141145
IDSOLVER=2780
FILE ID=node135/4304265-1534052286
RUNJOBID= node135-1534040371-15154
PBS_JOBID= 21036964
Free space on /tmp= 42548 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay100_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304265-1534052286/watcher-4304265-1534052286 -o /tmp/evaluation-result-4304265-1534052286/solver-4304265-1534052286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15154 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1578437092 HOME/instance-4304265-1534052286.xml

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

MD5SUM BENCH= d8b461fac2d17be3b89e017753091d4e
RANDOM SEED=1578437092

node135.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.50
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.50
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.50
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.50
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:        10243532 kB
MemAvailable:   30361508 kB
Buffers:          239136 kB
Cached:         19884052 kB
SwapCached:            0 kB
Active:         10666856 kB
Inactive:       11050540 kB
Active(anon):    1541512 kB
Inactive(anon):   105088 kB
Active(file):    9125344 kB
Inactive(file): 10945452 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26488 kB
Writeback:             0 kB
AnonPages:       1607796 kB
Mapped:            74652 kB
Shmem:             49824 kB
Slab:             504208 kB
SReclaimable:     475640 kB
SUnreclaim:        28568 kB
KernelStack:        3856 kB
PageTables:         8512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2737980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1353728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42524 MiB
End job on node135 at 2018-08-12 08:18:55