Trace number 4293321

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.8 2018-06-13SAT (TO)1645472 2520.12 2458.73

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay400_c18.xml
MD5SUMef5bf96e0ba9cc2c7a758eef92479658
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2494709
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":400}]
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.98/0.75	c Concrete v3.8.1528841891564 running
20.45/8.75	o 1526381
22.35/9.24	o 1536062
22.35/9.26	o 1540798
22.35/9.29	o 1541941
22.68/9.31	o 1548236
22.68/9.33	o 1551788
476.23/449.03	o 1551823
476.23/449.05	o 1551918
476.23/449.07	o 1551968
476.23/449.08	o 1552047
476.23/449.09	o 1552273
476.23/449.10	o 1552384
476.51/449.12	o 1553182
477.42/449.89	o 1556555
477.52/449.90	o 1557845
477.52/449.91	o 1559082
477.52/449.92	o 1559177
477.52/449.93	o 1561601
477.52/449.94	o 1561680
477.52/449.95	o 1562482
477.52/449.96	o 1562593
477.52/449.97	o 1562667
477.52/449.98	o 1562778
477.52/449.99	o 1563535
478.54/450.90	o 1566513
478.54/450.91	o 1566694
478.54/450.92	o 1567008
478.54/450.93	o 1568549
478.54/450.94	o 1570494
478.54/450.95	o 1571183
481.07/453.42	o 1572641
483.18/455.59	o 1573663
483.30/455.60	o 1574678
503.18/475.12	o 1577071
503.18/475.13	o 1577121
507.71/479.67	o 1579551
507.71/479.68	o 1587474
557.39/529.07	o 1587622
557.39/529.08	o 1587948
557.39/529.09	o 1588395
557.39/529.10	o 1588571
557.49/529.14	o 1592475
557.49/529.15	o 1593490
557.49/529.16	o 1593617
557.49/529.17	o 1593712
557.49/529.18	o 1594172
557.49/529.18	o 1594217
557.49/529.19	o 1595451
557.59/529.20	o 1596208
557.79/529.44	o 1598506
557.79/529.45	o 1599649
557.79/529.46	o 1601034
558.19/529.84	o 1601405
558.19/529.85	o 1601500
558.19/529.86	o 1602778
558.19/529.86	o 1604474
558.19/529.87	o 1605377
558.19/529.88	o 1607073
558.19/529.90	o 1607300
558.29/529.90	o 1609196
558.29/529.91	o 1609291
558.59/530.26	o 1610330
558.91/530.59	o 1610450
558.91/530.60	o 1611932
559.01/530.61	o 1612644
559.01/530.61	o 1613417
559.01/530.62	o 1614995
559.01/530.63	o 1615217
559.01/530.64	o 1615664
559.01/530.65	o 1617253
559.32/530.95	o 1620151
560.02/531.67	o 1621631
560.02/531.68	o 1622078
560.22/531.85	o 1622436
560.22/531.86	o 1623670
560.22/531.87	o 1624427
560.93/532.51	o 1625194
560.93/532.52	o 1625370
561.74/533.33	o 1628430
562.05/533.67	o 1629373
562.75/534.32	o 1629926
562.75/534.33	o 1630236
562.75/534.34	o 1630683
562.75/534.35	o 1631183
562.75/534.36	o 1633401
564.67/536.20	o 1633521
564.67/536.21	o 1634021
564.67/536.22	o 1634526
564.67/536.23	o 1635876
564.67/536.24	o 1637721
564.67/536.25	o 1638243
564.67/536.26	o 1639250
564.67/536.27	o 1639939
577.35/548.88	o 1640006
577.35/548.88	o 1640779
577.35/548.90	o 1644381
577.46/548.90	o 1644562
577.46/548.91	o 1644738
672.08/642.91	o 1645250
672.08/642.92	o 1645472
2520.07/2458.70	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2458.70		at concrete.MAC.mac(MAC.scala:188)
2520.07/2458.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2458.70		at scala.util.Try$.apply(Try.scala:209)
2520.07/2458.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2458.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2458.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2458.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2458.71		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2458.71		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2458.71		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2458.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2458.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2458.71		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2458.71		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2458.71		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2458.71		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2458.71		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2458.71		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2458.71		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2458.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2458.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2458.71		at scala.util.Success.map(Try.scala:209)
2520.07/2458.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2458.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2458.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2458.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2458.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2458.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2458.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2458.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2458.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2458.71		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2458.71		at scala.App.main(App.scala:76)
2520.07/2458.71		at scala.App.main$(App.scala:74)
2520.07/2458.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2458.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2458.71	v <instantiation cost="1645472">
2520.07/2458.71	v       <list>
2520.07/2458.71	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.07/2458.72	v       </list>
2520.07/2458.72	v       <values>
2520.07/2458.72	v         0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0
2520.07/2458.72	v       </values>
2520.07/2458.72	v     </instantiation>
2520.07/2458.72	s SATISFIABLE

Verifier Data 

OK	1645472

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293321-1532315818/watcher-4293321-1532315818 -o /tmp/evaluation-result-4293321-1532315818/solver-4293321-1532315818 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2083098463 HOME/instance-4293321-1532315818.xml 

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

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=11258, runsolver pid=11255

[startup+0.100106 s]*
/proc/loadavg: 3.28 2.87 2.43 2/202 11311
/proc/meminfo: memFree=17426356/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=9972712 memory=14380 CPUtime=0.08 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 4270 13257 0 0 0 1 5 2 20 0 6 0 49144990 10212057088 3595 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2493178 3595 1919 1 0 2481616 0
[pid=11258/tid=11311] ppid=11255 vsize=9972712 memory=4279135703913365643 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 2101 13257 0 0 0 0 5 2 20 0 6 0 49144999 10212057088 3661 33554432000 4194304 4196468 140731667907344 139921885909584 139921899755349 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 6 0 49145000 10212057088 3661 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=9972712 memory=139746926986880 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 6 0 49145000 10212057088 3661 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 6 0 49145000 10212057088 3661 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 6 0 49145000 10212057088 3661 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14380 KiB

[startup+0.210041 s]*
/proc/loadavg: 3.28 2.87 2.43 3/215 11324
/proc/meminfo: memFree=17402224/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10818904 memory=39304 CPUtime=0.24 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 7537 13257 0 0 16 1 5 2 20 0 15 0 49144990 11078557696 9826 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2704726 9826 2977 1 0 2667149 0
[pid=11258/tid=11311] ppid=11255 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 4017 13257 0 0 11 0 5 2 20 0 15 0 49144999 11078557696 9826 33554432000 4194304 4196468 140731667907344 139921885907744 139921914086710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145000 11078557696 9826 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10818904 memory=139746926998160 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145000 11078557696 9826 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145000 11078557696 9826 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145000 11078557696 9826 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10818904 memory=139746926986880 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145001 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 49145002 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920907690784 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145002 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920706364528 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 478 13257 0 0 1 0 5 2 20 0 15 0 49145005 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 136 13257 0 0 0 0 5 2 20 0 15 0 49145005 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10818904 memory=139746926986880 CPUtime=0.1 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 684 13257 0 0 3 0 5 2 20 0 15 0 49145005 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10818904 memory=139746926986880 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145005 11078557696 9826 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39304 KiB

[startup+0.310157 s]*
/proc/loadavg: 3.28 2.87 2.43 3/215 11324
/proc/meminfo: memFree=17389044/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10819352 memory=52728 CPUtime=0.37 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 10742 13257 0 0 28 2 5 2 20 0 15 0 49144990 11079016448 13182 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2704838 13182 3096 1 0 2667149 0
[pid=11258/tid=11311] ppid=11255 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 7316 13257 0 0 20 1 5 2 20 0 15 0 49144999 11079016448 13314 33554432000 4194304 4196468 140731667907344 139921885884832 139921892498101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 13314 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 13314 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 13314 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 13314 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145001 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 49145002 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920907690784 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145002 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920706364528 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 479 13257 0 0 1 0 5 2 20 0 15 0 49145005 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 148 13257 0 0 1 0 5 2 20 0 15 0 49145005 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10819352 memory=139746926986880 CPUtime=0.11 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 715 13257 0 0 4 0 5 2 20 0 15 0 49145005 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10819352 memory=139746926986880 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145005 11079016448 13314 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52728 KiB

[startup+0.700815 s]
/proc/loadavg: 3.28 2.87 2.43 3/215 11324
/proc/meminfo: memFree=17378312/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10819352 memory=86164 CPUtime=0.98 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 17141 13257 0 0 87 4 5 2 20 0 15 0 49144990 11079016448 21541 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2704838 21541 3246 1 0 2667149 0
[pid=11258/tid=11311] ppid=11255 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 12359 13257 0 0 57 2 5 2 20 0 15 0 49144999 11079016448 21541 33554432000 4194304 4196468 140731667907344 139921885893112 139921898153310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 21541 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 21541 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 2 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 21541 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145000 11079016448 21541 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 5 13257 0 0 0 0 5 2 20 0 15 0 49145001 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10819352 memory=139746827449040 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 13 13257 0 0 0 0 5 2 20 0 15 0 49145002 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920907690784 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10819352 memory=139749645877859 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145002 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920706364528 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10819352 memory=10416 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10819352 memory=7234564758908855872 CPUtime=0.14 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 865 13257 0 0 7 0 5 2 20 0 15 0 49145005 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10819352 memory=7597685182856913236 CPUtime=0.16 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 800 13257 0 0 9 0 5 2 20 0 15 0 49145005 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10819352 memory=5787219346483269989 CPUtime=0.2 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 892 13257 0 0 13 0 5 2 20 0 15 0 49145005 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10819352 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145005 11079016448 21541 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86164 KiB

[startup+1.50077 s]
/proc/loadavg: 3.28 2.87 2.43 3/215 11324
/proc/meminfo: memFree=17332700/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10834252 memory=197428 CPUtime=2.77 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 24817 13257 0 0 260 10 5 2 20 0 15 0 49144990 11094274048 49357 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2708563 49357 3484 1 0 2670221 0
[pid=11258/tid=11311] ppid=11255 vsize=10834252 memory=12813 CPUtime=1.4 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 17292 13257 0 0 129 4 5 2 20 0 15 0 49144999 11094274048 49357 33554432000 4194304 4196468 140731667907344 139921885889776 139921898153310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 174 13257 0 0 1 0 5 2 20 0 15 0 49145000 11094274048 49357 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 12 13257 0 0 1 0 5 2 20 0 15 0 49145000 11094274048 49357 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10834252 memory=2129 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 60 13257 0 0 1 0 5 2 20 0 15 0 49145000 11094274048 49357 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10834252 memory=86164 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 26 13257 0 0 1 0 5 2 20 0 15 0 49145000 11094274048 49357 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 46 13257 0 0 1 0 5 2 20 0 15 0 49145001 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10834252 memory=279493654839792 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 14 13257 0 0 0 0 5 2 20 0 15 0 49145002 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920907690848 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10834252 memory=279493654890592 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145002 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920706364544 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10834252 memory=4638778398332698720 CPUtime=0.44 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 1454 13257 0 0 37 0 5 2 20 0 15 0 49145005 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10834252 memory=279493655174016 CPUtime=0.51 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 1841 13257 0 0 44 0 5 2 20 0 15 0 49145005 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10834252 memory=-7531822216213012384 CPUtime=0.47 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 1698 13257 0 0 40 0 5 2 20 0 15 0 49145005 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10834252 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10834252 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1 13257 0 0 0 0 5 2 20 0 15 0 49145005 11094274048 49357 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 10834252 KiB

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

/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 131148 13257 0 0 236400 34 5 2 20 0 15 0 49144999 11176083456 388470 33554432000 4194304 4196468 140731667907344 139921885907712 139921518566203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10914144 memory=56 CPUtime=14.07 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 30453 13257 0 0 1359 41 5 2 20 0 15 0 49145000 11176083456 388470 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10914144 memory=1551840 CPUtime=14.08 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 27909 13257 0 0 1359 42 5 2 20 0 15 0 49145000 11176083456 388470 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10914144 memory=1551840 CPUtime=14.05 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 27206 13257 0 0 1358 40 5 2 20 0 15 0 49145000 11176083456 388470 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10914144 memory=1545780 CPUtime=14.11 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 27288 13257 0 0 1365 39 5 2 20 0 15 0 49145000 11176083456 388470 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10914144 memory=1553880 CPUtime=2.28 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 17488 13257 0 0 207 14 5 2 20 0 15 0 49145001 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10914144 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 18 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920907690848 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10914144 memory=1551840 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 8 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920706364544 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10914144 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10914144 memory=1553880 CPUtime=7.21 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 25370 13257 0 0 709 5 5 2 20 0 15 0 49145005 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10914144 memory=1553880 CPUtime=7.4 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 28707 13257 0 0 729 4 5 2 20 0 15 0 49145005 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10914144 memory=6791534058613427641 CPUtime=3.45 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 31243 13257 0 0 332 6 5 2 20 0 15 0 49145005 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10914144 memory=2344 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10914144 memory=1200 CPUtime=1.48 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1751 13257 0 0 70 71 5 2 20 0 15 0 49145005 11176083456 388470 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 2442.04 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1553880 KiB

[startup+2442.3 s]
/proc/loadavg: 1.45 1.45 1.61 3/215 11652
/proc/meminfo: memFree=15376652/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2503.31 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 353359 13257 0 0 250044 280 5 2 20 0 15 0 49144990 11176083456 388755 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2728536 388755 3531 1 0 2690189 0
[pid=11258/tid=11311] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2423.84 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 131621 13257 0 0 242343 34 5 2 20 0 15 0 49144999 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921885907888 139921520977858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.51 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 31054 13257 0 0 1402 42 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10914144 memory=1554508 CPUtime=14.52 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 28368 13257 0 0 1402 43 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.47 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 27611 13257 0 0 1400 40 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.55 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 27646 13257 0 0 1408 40 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2.36 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 17740 13257 0 0 214 15 5 2 20 0 15 0 49145001 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 18 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920907690848 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 8 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920706364544 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10914144 memory=1555020 CPUtime=7.21 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 25372 13257 0 0 709 5 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10914144 memory=1555020 CPUtime=7.4 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 28709 13257 0 0 729 4 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10914144 memory=1555020 CPUtime=3.45 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 31245 13257 0 0 332 6 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10914144 memory=1555020 CPUtime=1.51 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1768 13257 0 0 71 73 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 2503.31 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1555020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.7 s]
/proc/loadavg: 1.34 1.43 1.60 3/215 11652
/proc/meminfo: memFree=15381476/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2520.07 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 353530 13257 0 0 251718 282 5 2 20 0 15 0 49144990 11176083456 388755 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2728536 388755 3531 1 0 2690189 0
[pid=11258/tid=11311] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2440.09 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 131790 13257 0 0 243968 34 5 2 20 0 15 0 49144999 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921885907888 139921518770227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10914144 memory=4128 CPUtime=14.63 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 31054 13257 0 0 1414 42 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.64 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 28369 13257 0 0 1414 43 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.6 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 27611 13257 0 0 1412 41 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.66 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 27646 13257 0 0 1419 40 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10914144 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 17741 13257 0 0 216 15 5 2 20 0 15 0 49145001 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 18 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920907690848 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 8 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920706364544 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10914144 memory=0 CPUtime=7.21 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 25372 13257 0 0 709 5 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10914144 memory=2257 CPUtime=7.4 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 28709 13257 0 0 729 4 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10914144 memory=1555020 CPUtime=3.45 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 31245 13257 0 0 332 6 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10914144 memory=4641924123229247855 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10914144 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1768 13257 0 0 72 74 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1555020 KiB

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

[startup+2458.73 s]
# the end of solver process 11258 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.26 s, system=2.86209 s

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

[startup+2458.7 s]
/proc/loadavg: 1.34 1.43 1.60 3/215 11652
/proc/meminfo: memFree=15381476/32770624 swapFree=67108860/67108860
[pid=11258] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2520.07 cores=0,2,4,6
/proc/11258/stat : 11258 (java) S 11255 11258 7293 0 -1 1077944320 353530 13257 0 0 251718 282 5 2 20 0 15 0 49144990 11176083456 388755 33554432000 4194304 4196468 140731667907344 140731667889888 139921914072823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
/proc/11258/statm: 2728536 388755 3531 1 0 2690189 0
[pid=11258/tid=11311] ppid=11255 vsize=10914144 memory=1555020 CPUtime=2440.09 cores=0,2,4,6
/proc/11258/task/11311/stat : 11311 (java) R 11255 11258 7293 0 -1 4202560 131790 13257 0 0 243968 34 5 2 20 0 15 0 49144999 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921885907888 139921518770227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11312] ppid=11255 vsize=10914144 memory=4128 CPUtime=14.63 cores=0,2,4,6
/proc/11258/task/11312/stat : 11312 (java) S 11255 11258 7293 0 -1 1077944384 31054 13257 0 0 1414 42 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921918315408 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11313] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.64 cores=0,2,4,6
/proc/11258/task/11313/stat : 11313 (java) S 11255 11258 7293 0 -1 1077944384 28369 13257 0 0 1414 43 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921486965520 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11314] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.6 cores=0,2,4,6
/proc/11258/task/11314/stat : 11314 (java) S 11255 11258 7293 0 -1 1077944384 27611 13257 0 0 1412 41 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921485913232 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11315] ppid=11255 vsize=10914144 memory=1555020 CPUtime=14.66 cores=0,2,4,6
/proc/11258/task/11315/stat : 11315 (java) S 11255 11258 7293 0 -1 1077944384 27646 13257 0 0 1419 40 5 2 20 0 15 0 49145000 11176083456 388755 33554432000 4194304 4196468 140731667907344 139921484860432 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11316] ppid=11255 vsize=10914144 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/11258/task/11316/stat : 11316 (java) S 11255 11258 7293 0 -1 1077944384 17741 13257 0 0 216 15 5 2 20 0 15 0 49145001 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920984221808 139921914083970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11317] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11317/stat : 11317 (java) S 11255 11258 7293 0 -1 1077944384 18 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920907690848 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11318] ppid=11255 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11318/stat : 11318 (java) S 11255 11258 7293 0 -1 1077944384 8 13257 0 0 0 0 5 2 20 0 15 0 49145002 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920706364544 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11319] ppid=11255 vsize=10914144 memory=1555020 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11319/stat : 11319 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920466073680 139921914091419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11320] ppid=11255 vsize=10914144 memory=0 CPUtime=7.21 cores=0,2,4,6
/proc/11258/task/11320/stat : 11320 (java) S 11255 11258 7293 0 -1 1077944384 25372 13257 0 0 709 5 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920983169648 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11321] ppid=11255 vsize=10914144 memory=2257 CPUtime=7.4 cores=0,2,4,6
/proc/11258/task/11321/stat : 11321 (java) S 11255 11258 7293 0 -1 1077944384 28709 13257 0 0 729 4 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920982116848 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11322] ppid=11255 vsize=10914144 memory=1555020 CPUtime=3.45 cores=0,2,4,6
/proc/11258/task/11322/stat : 11322 (java) S 11255 11258 7293 0 -1 1077944384 31245 13257 0 0 332 6 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920981064560 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11323] ppid=11255 vsize=10914144 memory=4641924123229247855 CPUtime=0.07 cores=0,2,4,6
/proc/11258/task/11323/stat : 11323 (java) S 11255 11258 7293 0 -1 1077944384 3 13257 0 0 0 0 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920432516064 139921914083029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
[pid=11258/tid=11324] ppid=11255 vsize=10914144 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/11258/task/11324/stat : 11324 (java) S 11255 11258 7293 0 -1 1077944384 1768 13257 0 0 72 74 5 2 20 0 15 0 49145005 11176083456 388755 33554432000 4194304 4196468 140731667907344 139920980011440 139921914083970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140731667909230 140731667912028 140731667912028 140731667914703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1555020 KiB

Child status: 143
Real time (s): 2458.73
CPU time (s): 2520.12
CPU user time (s): 2517.26
CPU system time (s): 2.86209
CPU usage (%): 102.497
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 1724072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.26
system time used= 2.86209
maximum resident set size= 1724584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105446
involuntary context switches= 6374


# summary of solver processes directly reported to runsolver:
#   pid: 11258
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.26
#   total CPU system time (s): 2.86209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9555 second user time and 21.4643 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-23 05:16:58
IDJOB=4293321
IDBENCH=141160
IDSOLVER=2750
FILE ID=node139/4293321-1532315818
RUNJOBID= node139-1532297047-7324
PBS_JOBID= 21018992
Free space on /tmp= 45856 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293321-1532315818/watcher-4293321-1532315818 -o /tmp/evaluation-result-4293321-1532315818/solver-4293321-1532315818 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2083098463 HOME/instance-4293321-1532315818.xml

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

MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658
RANDOM SEED=2083098463

node139.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.80
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.80
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.80
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.80
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:        17428036 kB
MemAvailable:   31029020 kB
Buffers:          183244 kB
Cached:         13467048 kB
SwapCached:            0 kB
Active:          2195636 kB
Inactive:       12417872 kB
Active(anon):     919188 kB
Inactive(anon):    64084 kB
Active(file):    1276448 kB
Inactive(file): 12353788 kB
Unevictable:        7284 kB
Mlocked:            7284 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26480 kB
Writeback:             4 kB
AnonPages:        970880 kB
Mapped:            49620 kB
Shmem:             17036 kB
Slab:             426836 kB
SReclaimable:     399208 kB
SUnreclaim:        27628 kB
KernelStack:        3600 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2200804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    790528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 45828 MiB
End job on node139 at 2018-07-23 05:57:57