Trace number 4302931

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)1775875 252.123 196.159

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2380118
Best CPU time to get the best result obtained on this benchmark252.088
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":"sum","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.99/0.74	c Concrete v3.9.2.1532736233296 running
42.61/21.38	o 1647410
43.29/21.77	o 1651437
43.29/21.80	o 1652978
43.55/21.82	o 1653289
43.55/21.85	o 1658145
60.25/29.91	o 1658245
60.25/29.93	o 1658992
60.25/29.95	o 1659656
60.25/29.96	o 1660472
61.32/30.28	o 1661100
61.67/30.30	o 1662641
61.67/30.31	o 1663457
61.67/30.35	o 1665885
61.67/30.37	o 1667082
61.67/30.38	o 1667206
61.80/30.40	o 1667824
61.80/30.41	o 1667898
61.80/30.43	o 1669200
61.80/30.44	o 1670397
61.90/30.56	o 1670606
61.90/30.57	o 1672642
61.90/30.58	o 1673142
62.02/30.60	o 1674147
62.02/30.61	o 1674647
62.02/30.63	o 1674789
62.02/30.64	o 1676127
90.00/52.83	o 1676151
90.00/52.84	o 1676287
90.00/52.85	o 1676701
90.00/52.87	o 1677396
90.00/52.88	o 1677481
90.00/52.90	o 1678022
90.11/52.91	o 1678244
90.11/52.92	o 1679470
90.11/52.95	o 1683484
90.11/52.96	o 1685339
90.11/52.98	o 1687469
90.11/52.99	o 1688149
90.11/53.00	o 1690087
90.22/53.02	o 1690148
90.22/53.03	o 1694184
90.22/53.04	o 1695126
90.22/53.06	o 1695834
90.22/53.07	o 1696965
90.22/53.10	o 1697612
90.33/53.11	o 1698810
90.33/53.13	o 1700036
90.33/53.18	o 1701916
90.33/53.19	o 1702052
90.42/53.20	o 1702994
90.42/53.21	o 1703175
90.42/53.23	o 1703270
90.42/53.24	o 1706520
90.42/53.26	o 1708216
90.42/53.27	o 1712313
90.53/53.34	o 1712854
90.64/53.42	o 1716173
90.64/53.44	o 1717304
90.85/53.69	o 1718169
90.97/53.71	o 1718864
90.97/53.72	o 1719137
90.97/53.73	o 1719637
91.18/53.97	o 1720250
91.18/53.99	o 1720724
91.30/54.01	o 1723373
91.30/54.02	o 1724214
91.50/54.24	o 1724293
91.50/54.25	o 1725110
91.50/54.27	o 1725736
91.50/54.28	o 1728048
91.50/54.29	o 1728990
124.48/81.81	o 1729005
124.48/81.82	o 1729927
124.48/81.83	o 1730622
124.48/81.85	o 1732190
124.48/81.86	o 1732937
124.48/81.88	o 1735150
124.58/81.96	o 1735657
124.58/81.98	o 1736857
124.79/82.16	o 1736985
124.79/82.17	o 1739795
124.79/82.19	o 1740475
124.90/82.20	o 1743836
124.90/82.21	o 1743848
124.90/82.23	o 1744979
126.07/82.92	o 1745262
126.07/82.94	o 1746696
126.07/82.95	o 1749208
126.07/82.96	o 1754064
126.07/82.98	o 1755414
126.07/83.00	o 1761444
126.50/83.34	o 1761666
126.50/83.35	o 1766067
126.50/83.37	o 1767684
126.50/83.38	o 1770728
128.65/85.30	o 1771068
128.65/85.31	o 1771371
128.65/85.33	o 1773459
128.65/85.34	o 1775059
128.65/85.35	o 1775875
252.05/196.11	Exception in thread "main" java.util.concurrent.TimeoutException
252.05/196.11		at concrete.MAC.mac(MAC.scala:188)
252.05/196.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/196.11		at scala.util.Try$.apply(Try.scala:209)
252.05/196.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/196.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/196.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/196.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/196.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/196.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/196.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/196.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/196.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/196.11		at concrete.MAC.oneRun(MAC.scala:253)
252.05/196.11		at concrete.MAC.nextSolution(MAC.scala:272)
252.05/196.11		at concrete.MAC.nextSolution(MAC.scala:355)
252.05/196.11		at concrete.Solver.hasNext(Solver.scala:166)
252.05/196.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/196.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/196.11		at concrete.Solver.foreach(Solver.scala:68)
252.05/196.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/196.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/196.11		at scala.util.Success.map(Try.scala:209)
252.05/196.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/196.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/196.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/196.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/196.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/196.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/196.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/196.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/196.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/196.11		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/196.11		at scala.App.main(App.scala:76)
252.05/196.11		at scala.App.main$(App.scala:74)
252.05/196.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/196.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/196.12	v <instantiation cost="1775875">
252.05/196.12	v       <list>
252.05/196.12	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
252.05/196.12	v       </list>
252.05/196.12	v       <values>
252.05/196.12	v         0 0 0 0 0 0 0 1 1 1 0 0 1 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 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 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 0 1 0 0 0 0 0 1 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0
252.05/196.12	v       </values>
252.05/196.12	v     </instantiation>
252.05/196.12	s SATISFIABLE

Verifier Data 

OK	1775875

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302931-1532895252/watcher-4302931-1532895252 -o /tmp/evaluation-result-4302931-1532895252/solver-4302931-1532895252 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1985437362 -superng HOME/instance-4302931-1532895252.xml 

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

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

solver pid=24476, runsolver pid=24473

[startup+0.100057 s]*
/proc/loadavg: 2.15 2.11 1.89 3/207 24533
/proc/meminfo: memFree=24994524/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=10005480 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 4398 12910 0 0 1 0 5 2 20 0 6 0 107088352 10245611520 4270 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2501370 4270 1935 1 0 2489808 0
[pid=24476/tid=24529] ppid=24473 vsize=10005480 memory=4279135703913364878 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 2205 12910 0 0 0 0 5 2 20 0 6 0 107088361 10245611520 4270 33554432000 4194304 4196468 140735693799392 139744671109712 139744699294877 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 6 0 107088362 10245611520 4270 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=10005480 memory=140420851922560 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 6 0 107088362 10245611520 4270 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 6 0 107088362 10245611520 4270 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 6 0 107088362 10245611520 4270 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB

[startup+0.210062 s]*
/proc/loadavg: 2.15 2.11 1.89 3/216 24542
/proc/meminfo: memFree=24970436/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=10982744 memory=45500 CPUtime=0.25 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 8014 12910 0 0 16 2 5 2 20 0 15 0 107088352 11246329856 11375 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2745686 11375 2990 1 0 2708109 0
[pid=24476/tid=24529] ppid=24473 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 4604 12910 0 0 10 1 5 2 20 0 15 0 107088361 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744671095128 139744683353438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=10982744 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=10982744 memory=3617997885729371808 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=10982744 memory=140420851922560 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 15 0 107088363 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 13 12910 0 0 0 0 5 2 20 0 15 0 107088364 11246329856 11375 33554432000 4194304 4196468 140735693799392 139743485486624 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088364 11246329856 11375 33554432000 4194304 4196468 140735693799392 139743337637232 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246329856 11375 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 537 12910 0 0 1 0 5 2 20 0 15 0 107088367 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 68 12910 0 0 1 0 5 2 20 0 15 0 107088367 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=10982744 memory=140420851922560 CPUtime=0.1 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) R 24473 24476 13514 0 -1 4202560 602 12910 0 0 3 0 5 2 20 0 15 0 107088367 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744121923696 139744699294298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246329856 11375 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=10982744 memory=140420851922560 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246329856 11375 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45500 KiB

[startup+0.310444 s]*
/proc/loadavg: 2.15 2.11 1.89 3/216 24542
/proc/meminfo: memFree=24958900/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=10983192 memory=56212 CPUtime=0.38 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 10533 12910 0 0 28 3 5 2 20 0 15 0 107088352 11246788608 14053 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2745798 14053 3109 1 0 2708109 0
[pid=24476/tid=24529] ppid=24473 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 7088 12910 0 0 19 2 5 2 20 0 15 0 107088361 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744671084960 139744699294877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 15 0 107088363 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 13 12910 0 0 0 0 5 2 20 0 15 0 107088364 11246788608 14053 33554432000 4194304 4196468 140735693799392 139743485486624 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088364 11246788608 14053 33554432000 4194304 4196468 140735693799392 139743337637232 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246788608 14053 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 537 12910 0 0 1 0 5 2 20 0 15 0 107088367 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 69 12910 0 0 1 0 5 2 20 0 15 0 107088367 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=10983192 memory=140420851922560 CPUtime=0.12 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 614 12910 0 0 5 0 5 2 20 0 15 0 107088367 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246788608 14053 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=10983192 memory=140420851922560 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246788608 14053 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56212 KiB

[startup+0.700773 s]
/proc/loadavg: 2.15 2.11 1.89 4/216 24542
/proc/meminfo: memFree=24947984/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=10983192 memory=88596 CPUtime=0.99 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 16766 12910 0 0 88 4 5 2 20 0 15 0 107088352 11246788608 22149 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2745798 22149 3238 1 0 2708109 0
[pid=24476/tid=24529] ppid=24473 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 12245 12910 0 0 56 3 5 2 20 0 15 0 107088361 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744671093776 139744682459760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 15 0 107088362 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 5 12910 0 0 0 0 5 2 20 0 15 0 107088363 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=10983192 memory=140420734661296 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 13 12910 0 0 0 0 5 2 20 0 15 0 107088364 11246788608 22149 33554432000 4194304 4196468 140735693799392 139743485486624 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=10983192 memory=140423955743312 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088364 11246788608 22149 33554432000 4194304 4196468 140735693799392 139743337637232 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=10983192 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246788608 22149 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=10983192 memory=7089042195949315648 CPUtime=0.13 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 885 12910 0 0 6 0 5 2 20 0 15 0 107088367 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=10983192 memory=7881696724453321575 CPUtime=0.17 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 713 12910 0 0 10 0 5 2 20 0 15 0 107088367 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 695 12910 0 0 13 0 5 2 20 0 15 0 107088367 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246788608 22149 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088367 11246788608 22149 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88596 KiB

[startup+1.50072 s]
/proc/loadavg: 2.22 2.12 1.90 5/216 24542
/proc/meminfo: memFree=24892652/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=10998092 memory=204808 CPUtime=2.84 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 25196 12910 0 0 268 9 5 2 20 0 15 0 107088352 11262046208 51202 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2749523 51202 3470 1 0 2711181 0
[pid=24476/tid=24529] ppid=24473 vsize=10998092 memory=10757 CPUtime=1.42 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 16951 12910 0 0 129 6 5 2 20 0 15 0 107088361 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744671080736 139744684966432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 46 12910 0 0 1 0 5 2 20 0 15 0 107088362 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=10998092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 15 12910 0 0 1 0 5 2 20 0 15 0 107088362 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=10998092 memory=3028 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 23 12910 0 0 1 0 5 2 20 0 15 0 107088362 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=10998092 memory=88596 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 191 12910 0 0 1 0 5 2 20 0 15 0 107088362 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 48 12910 0 0 1 0 5 2 20 0 15 0 107088363 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 13 12910 0 0 0 0 5 2 20 0 15 0 107088364 11262046208 51202 33554432000 4194304 4196468 140735693799392 139743485486688 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 2 12910 0 0 0 0 5 2 20 0 15 0 107088364 11262046208 51202 33554432000 4194304 4196468 140735693799392 139743337637248 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11262046208 51202 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=10998092 memory=4638778398332698720 CPUtime=0.52 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 2073 12910 0 0 45 0 5 2 20 0 15 0 107088367 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=10998092 memory=280841469598592 CPUtime=0.51 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 2037 12910 0 0 44 0 5 2 20 0 15 0 107088367 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=10998092 memory=6944656592452807323 CPUtime=0.46 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 1595 12910 0 0 39 0 5 2 20 0 15 0 107088367 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11262046208 51202 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 1 12910 0 0 0 0 5 2 20 0 15 0 107088367 11262046208 51202 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10998092 KiB

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

/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 49056 12910 0 0 9421 15 5 2 20 0 15 0 107088361 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744671105376 139744234723238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=11014496 memory=3317684 CPUtime=7.38 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 5121 12910 0 0 650 81 5 2 20 0 15 0 107088362 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=11014496 memory=3317688 CPUtime=7.33 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 2904 12910 0 0 646 80 5 2 20 0 15 0 107088362 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=11014496 memory=0 CPUtime=7.31 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 2513 12910 0 0 645 79 5 2 20 0 15 0 107088362 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=11014496 memory=280841469632584 CPUtime=7.33 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 3103 12910 0 0 647 79 5 2 20 0 15 0 107088362 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=11014496 memory=7 CPUtime=0.48 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 10526 12910 0 0 40 1 5 2 20 0 15 0 107088363 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=11014496 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 26 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829422 33554432000 4194304 4196468 140735693799392 139743485486752 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=11014496 memory=3317684 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 24 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829422 33554432000 4194304 4196468 140735693799392 139743337637248 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=11014496 memory=3317632 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829422 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=11014496 memory=280841470648288 CPUtime=11.06 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 18683 12910 0 0 1095 4 5 2 20 0 15 0 107088367 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=11014496 memory=6944656592455097440 CPUtime=10.34 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 18002 12910 0 0 1024 3 5 2 20 0 15 0 107088367 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=11014496 memory=3317632 CPUtime=3.52 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 14499 12910 0 0 339 6 5 2 20 0 15 0 107088367 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=11014496 memory=280841470619904 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829422 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=11014496 memory=3317632 CPUtime=0.12 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 608 12910 0 0 3 2 5 2 20 0 15 0 107088367 11278843904 829422 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 148.78 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3317688 KiB

[startup+162.301 s]
/proc/loadavg: 1.82 2.03 1.90 3/215 24799
/proc/meminfo: memFree=23455580/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=11014496 memory=3317628 CPUtime=214.72 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 142232 12910 0 0 21103 362 5 2 20 0 15 0 107088352 11278843904 829407 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2753624 829407 3532 1 0 2715277 0
[pid=24476/tid=24529] ppid=24473 vsize=11014496 memory=3317628 CPUtime=153.31 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 52750 12910 0 0 15308 16 5 2 20 0 15 0 107088361 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744671107880 139744236384131 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=11014496 memory=3317672 CPUtime=8.47 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 6364 12910 0 0 759 81 5 2 20 0 15 0 107088362 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=11014496 memory=3317672 CPUtime=8.44 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 3089 12910 0 0 757 80 5 2 20 0 15 0 107088362 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=11014496 memory=3317628 CPUtime=8.41 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 3068 12910 0 0 755 79 5 2 20 0 15 0 107088362 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=11014496 memory=3317628 CPUtime=8.4 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 3647 12910 0 0 754 79 5 2 20 0 15 0 107088362 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=11014496 memory=3317628 CPUtime=0.49 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 10795 12910 0 0 40 2 5 2 20 0 15 0 107088363 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=11014496 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 26 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829407 33554432000 4194304 4196468 140735693799392 139743485486752 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=11014496 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 24 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829407 33554432000 4194304 4196468 140735693799392 139743337637248 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=11014496 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829407 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=11014496 memory=1696 CPUtime=12.2 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 21917 12910 0 0 1208 5 5 2 20 0 15 0 107088367 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=11014496 memory=3317628 CPUtime=11.46 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 19888 12910 0 0 1135 4 5 2 20 0 15 0 107088367 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=11014496 memory=7588935152971042901 CPUtime=3.91 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 17817 12910 0 0 377 7 5 2 20 0 15 0 107088367 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=11014496 memory=3317628 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829407 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=11014496 memory=17004 CPUtime=0.15 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 644 12910 0 0 4 4 5 2 20 0 15 0 107088367 11278843904 829407 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 214.72 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3317628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+196.11 s]
/proc/loadavg: 1.82 2.01 1.90 3/215 24800
/proc/meminfo: memFree=23440708/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=11014496 memory=3317696 CPUtime=252.05 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 156275 12910 0 0 24833 365 5 2 20 0 15 0 107088352 11278843904 829424 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2753624 829424 3532 1 0 2715277 0
[pid=24476/tid=24529] ppid=24473 vsize=11014496 memory=3317696 CPUtime=186.62 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 54877 12910 0 0 18638 17 5 2 20 0 15 0 107088361 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744671108336 139744245827420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=11014496 memory=3317696 CPUtime=8.96 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 6529 12910 0 0 808 81 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=11014496 memory=3317692 CPUtime=8.93 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 3573 12910 0 0 806 80 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=11014496 memory=7 CPUtime=8.92 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 3230 12910 0 0 805 80 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=11014496 memory=30440 CPUtime=8.89 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 5491 12910 0 0 803 79 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=11014496 memory=2204 CPUtime=0.5 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 11091 12910 0 0 41 2 5 2 20 0 15 0 107088363 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=11014496 memory=3317696 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 26 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829424 33554432000 4194304 4196468 140735693799392 139743485486752 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=11014496 memory=2204 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 24 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829424 33554432000 4194304 4196468 140735693799392 139743337637248 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=11014496 memory=5456 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=11014496 memory=756 CPUtime=13.05 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 25617 12910 0 0 1292 6 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=11014496 memory=3317696 CPUtime=12.31 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 21935 12910 0 0 1220 4 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=11014496 memory=3317696 CPUtime=4.23 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 21013 12910 0 0 408 8 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=11014496 memory=3317696 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=11014496 memory=30440 CPUtime=0.17 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 666 12910 0 0 5 5 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3317696 KiB

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

[startup+196.159 s]
# the end of solver process 24476 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.416 s, system=3.70771 s

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

[startup+196.11 s]
/proc/loadavg: 1.82 2.01 1.90 3/215 24800
/proc/meminfo: memFree=23440708/32770624 swapFree=67108860/67108860
[pid=24476] ppid=24473 vsize=11014496 memory=3317696 CPUtime=252.05 cores=0,2,4,6
/proc/24476/stat : 24476 (java) S 24473 24476 13514 0 -1 1077944320 156275 12910 0 0 24833 365 5 2 20 0 15 0 107088352 11278843904 829424 33554432000 4194304 4196468 140735693799392 140735693781936 139744699272951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
/proc/24476/statm: 2753624 829424 3532 1 0 2715277 0
[pid=24476/tid=24529] ppid=24473 vsize=11014496 memory=3317696 CPUtime=186.62 cores=0,2,4,6
/proc/24476/task/24529/stat : 24529 (java) R 24473 24476 13514 0 -1 4202560 54877 12910 0 0 18638 17 5 2 20 0 15 0 107088361 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744671108336 139744245827420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24530] ppid=24473 vsize=11014496 memory=3317696 CPUtime=8.96 cores=0,2,4,6
/proc/24476/task/24530/stat : 24530 (java) S 24473 24476 13514 0 -1 1077944384 6529 12910 0 0 808 81 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744703515280 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24531] ppid=24473 vsize=11014496 memory=3317692 CPUtime=8.93 cores=0,2,4,6
/proc/24476/task/24531/stat : 24531 (java) S 24473 24476 13514 0 -1 1077944384 3573 12910 0 0 806 80 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744558234128 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24532] ppid=24473 vsize=11014496 memory=7 CPUtime=8.92 cores=0,2,4,6
/proc/24476/task/24532/stat : 24532 (java) S 24473 24476 13514 0 -1 1077944384 3230 12910 0 0 805 80 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744557181328 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24533] ppid=24473 vsize=11014496 memory=30440 CPUtime=8.89 cores=0,2,4,6
/proc/24476/task/24533/stat : 24533 (java) S 24473 24476 13514 0 -1 1077944384 5491 12910 0 0 803 79 5 2 20 0 15 0 107088362 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744556128528 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24534] ppid=24473 vsize=11014496 memory=2204 CPUtime=0.5 cores=0,2,4,6
/proc/24476/task/24534/stat : 24534 (java) S 24473 24476 13514 0 -1 1077944384 11091 12910 0 0 41 2 5 2 20 0 15 0 107088363 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744125082480 139744699284098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24535] ppid=24473 vsize=11014496 memory=3317696 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24535/stat : 24535 (java) S 24473 24476 13514 0 -1 1077944384 26 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829424 33554432000 4194304 4196468 140735693799392 139743485486752 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24536] ppid=24473 vsize=11014496 memory=2204 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24536/stat : 24536 (java) S 24473 24476 13514 0 -1 1077944384 24 12910 0 0 0 0 5 2 20 0 15 0 107088364 11278843904 829424 33554432000 4194304 4196468 140735693799392 139743337637248 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24537] ppid=24473 vsize=11014496 memory=5456 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24537/stat : 24537 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139743030237520 139744699291547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24538] ppid=24473 vsize=11014496 memory=756 CPUtime=13.05 cores=0,2,4,6
/proc/24476/task/24538/stat : 24538 (java) S 24473 24476 13514 0 -1 1077944384 25617 12910 0 0 1292 6 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744124029296 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24539] ppid=24473 vsize=11014496 memory=3317696 CPUtime=12.31 cores=0,2,4,6
/proc/24476/task/24539/stat : 24539 (java) S 24473 24476 13514 0 -1 1077944384 21935 12910 0 0 1220 4 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744122976496 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24540] ppid=24473 vsize=11014496 memory=3317696 CPUtime=4.23 cores=0,2,4,6
/proc/24476/task/24540/stat : 24540 (java) S 24473 24476 13514 0 -1 1077944384 21013 12910 0 0 408 8 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744121923696 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24541] ppid=24473 vsize=11014496 memory=3317696 CPUtime=0.07 cores=0,2,4,6
/proc/24476/task/24541/stat : 24541 (java) S 24473 24476 13514 0 -1 1077944384 3 12910 0 0 0 0 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139742599440608 139744699283157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
[pid=24476/tid=24542] ppid=24473 vsize=11014496 memory=30440 CPUtime=0.17 cores=0,2,4,6
/proc/24476/task/24542/stat : 24542 (java) S 24473 24476 13514 0 -1 1077944384 666 12910 0 0 5 5 5 2 20 0 15 0 107088367 11278843904 829424 33554432000 4194304 4196468 140735693799392 139744120872112 139744699284098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140735693806184 140735693808993 140735693808993 140735693811663 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3317696 KiB

Child status: 143
Real time (s): 196.159
CPU time (s): 252.123
CPU user time (s): 248.416
CPU system time (s): 3.70771
CPU usage (%): 128.53
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3317736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.416
system time used= 3.70771
maximum resident set size= 3321924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21375
involuntary context switches= 1005


# summary of solver processes directly reported to runsolver:
#   pid: 24476
#   total CPU time (s): 252.123
#   total CPU user time (s): 248.416
#   total CPU system time (s): 3.70771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26759 second user time and 1.79803 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 22:14:12
IDJOB=4302931
IDBENCH=141152
IDSOLVER=2777
FILE ID=node136/4302931-1532895252
RUNJOBID= node136-1532893975-22776
PBS_JOBID= 21022516
Free space on /tmp= 60200 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302931-1532895252/watcher-4302931-1532895252 -o /tmp/evaluation-result-4302931-1532895252/solver-4302931-1532895252 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1985437362 -superng HOME/instance-4302931-1532895252.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=1985437362

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25001020 kB
MemAvailable:   28409292 kB
Buffers:          217360 kB
Cached:          3461824 kB
SwapCached:            0 kB
Active:          5329956 kB
Inactive:        1956956 kB
Active(anon):    3559612 kB
Inactive(anon):    76480 kB
Active(file):    1770344 kB
Inactive(file):  1880476 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26256 kB
Writeback:             0 kB
AnonPages:       3855288 kB
Mapped:            48028 kB
Shmem:             25228 kB
Slab:             174744 kB
SReclaimable:     146576 kB
SUnreclaim:        28168 kB
KernelStack:        3856 kB
PageTables:        12220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4993828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3618816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60176 MiB
End job on node136 at 2018-07-29 22:17:28