Trace number 4293309

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)488648 2520.14 2457.14

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay100_c18.xml
MD5SUM229d8d70b2521f5ebfd70fdb2bbdf7b3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark759775
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}]
Minimum constraint arity83
Maximum constraint arity128
Distribution of constraint arities[{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":100}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
19.04/8.67	o 342903
19.36/8.73	o 343245
19.36/8.77	o 344633
19.67/8.80	o 345696
21.22/9.20	o 345765
21.22/9.23	o 350289
21.22/9.26	o 350998
21.22/9.29	o 353833
23.22/9.96	o 353885
23.22/9.99	o 354233
23.56/10.02	o 359337
23.56/10.07	o 359723
23.56/10.09	o 359919
23.56/10.10	o 367320
24.21/10.20	o 368732
24.21/10.21	o 369369
24.21/10.22	o 371947
24.21/10.24	o 373165
24.42/10.33	o 374140
24.42/10.34	o 375146
24.42/10.36	o 377270
24.42/10.37	o 379102
24.55/10.40	o 379596
24.55/10.41	o 387005
24.55/10.42	o 397289
24.93/10.66	o 397818
24.93/10.67	o 398013
24.93/10.68	o 398691
24.93/10.69	o 399158
25.08/10.70	o 401031
25.08/10.71	o 407979
25.08/10.73	o 408996
25.08/10.74	o 409191
25.08/10.75	o 412120
25.08/10.76	o 417039
25.08/10.77	o 417234
25.08/10.79	o 421752
25.56/10.91	o 427150
26.29/11.46	o 427833
26.29/11.47	o 428295
26.29/11.48	o 428959
26.29/11.49	o 431794
26.43/11.50	o 432403
26.43/11.51	o 437322
26.43/11.52	o 439016
26.43/11.53	o 441257
26.43/11.56	o 447899
26.43/11.58	o 449666
26.55/11.66	o 450729
75.29/54.62	o 451893
75.40/54.73	o 455062
75.52/54.82	o 456125
76.04/55.31	o 463338
76.24/55.57	o 465823
76.45/55.71	o 466365
76.45/55.72	o 468253
76.45/55.73	o 472485
76.45/55.76	o 474970
77.81/57.02	o 477758
77.81/57.03	o 481205
78.10/57.30	o 483841
78.10/57.35	o 486126
78.10/57.36	o 487189
79.23/58.47	o 488648
2520.08/2457.12	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2457.12		at concrete.MAC.mac(MAC.scala:188)
2520.08/2457.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2457.12		at scala.util.Try$.apply(Try.scala:209)
2520.08/2457.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2457.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2457.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2457.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2457.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2457.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2457.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2457.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2457.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2457.12		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2457.12		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2457.12		at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2457.12		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2457.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2457.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2457.12		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2457.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2457.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2457.12		at scala.util.Success.map(Try.scala:209)
2520.08/2457.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2457.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2457.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2457.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2457.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2457.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2457.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2457.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2457.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2457.12		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2457.12		at scala.App.main(App.scala:76)
2520.08/2457.12		at scala.App.main$(App.scala:74)
2520.08/2457.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2457.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2457.12	v <instantiation cost="488648">
2520.08/2457.12	v       <list>
2520.08/2457.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]
2520.08/2457.13	v       </list>
2520.08/2457.13	v       <values>
2520.08/2457.13	v         1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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
2520.08/2457.13	v       </values>
2520.08/2457.13	v     </instantiation>
2520.08/2457.13	s SATISFIABLE

Verifier Data 

OK	488648

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293309-1532315389/watcher-4293309-1532315389 -o /tmp/evaluation-result-4293309-1532315389/solver-4293309-1532315389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=85468735 HOME/instance-4293309-1532315389.xml 

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

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

solver pid=11661, runsolver pid=11658

[startup+0.100094 s]*
/proc/loadavg: 2.60 2.31 2.01 3/206 11718
/proc/meminfo: memFree=18900832/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9972712 memory=18588 CPUtime=0.08 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 4293 12901 0 0 1 0 5 2 20 0 6 0 49102060 10212057088 4647 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2493178 4647 1934 1 0 2481616 0
[pid=11661/tid=11714] ppid=11658 vsize=10055356 memory=4279135704047583887 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 2159 12901 0 0 1 0 5 2 20 0 7 0 49102069 10296684544 4713 33554432000 4194304 4196468 140723967443600 140128429849360 140128443689494 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10055356 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 7 0 49102070 10296684544 4713 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10055356 memory=139931184789120 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 7 0 49102070 10296684544 4713 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 7 0 49102070 10296684544 4713 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 7 0 49102070 10296684544 4713 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10055356 memory=139931184789120 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 7 0 49102071 10296684544 4713 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18588 KiB

[startup+0.209861 s]*
/proc/loadavg: 2.60 2.31 2.01 4/215 11727
/proc/meminfo: memFree=18881736/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10818904 memory=41528 CPUtime=0.24 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 6578 12901 0 0 16 1 5 2 20 0 15 0 49102060 11078557696 10382 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2704726 10382 2948 1 0 2667149 0
[pid=11661/tid=11714] ppid=11658 vsize=10818904 memory=-6517102902069810590 CPUtime=0.17 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 3117 12901 0 0 10 0 5 2 20 0 15 0 49102069 11078557696 10382 33554432000 4194304 4196468 140723967443600 140128429828080 140128443171902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102070 11078557696 10382 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10818904 memory=139931184789120 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102070 11078557696 10382 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102070 11078557696 10382 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102070 11078557696 10382 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10818904 memory=139931184789120 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102071 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 33 12901 0 0 0 0 5 2 20 0 15 0 49102071 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127915411104 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127804318960 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 344 12901 0 0 1 0 5 2 20 0 15 0 49102074 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 263 12901 0 0 1 0 5 2 20 0 15 0 49102074 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10818904 memory=139931184789120 CPUtime=0.1 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 615 12901 0 0 3 0 5 2 20 0 15 0 49102074 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11078557696 10382 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10818904 memory=139931184789120 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102076 11078557696 10382 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41528 KiB

[startup+0.310293 s]*
/proc/loadavg: 2.60 2.31 2.01 3/215 11727
/proc/meminfo: memFree=18868092/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10819352 memory=54976 CPUtime=0.37 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 9740 12901 0 0 28 2 5 2 20 0 15 0 49102060 11079016448 13744 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2704838 13744 3102 1 0 2667149 0
[pid=11661/tid=11714] ppid=11658 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 6268 12901 0 0 19 1 5 2 20 0 15 0 49102069 11079016448 13744 33554432000 4194304 4196468 140723967443600 140128429818272 140128438281601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 13744 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 13744 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 13744 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 13744 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102071 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10819352 memory=139931184789119 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 33 12901 0 0 0 0 5 2 20 0 15 0 49102071 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127915411104 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127804318960 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 347 12901 0 0 1 0 5 2 20 0 15 0 49102074 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 265 12901 0 0 1 0 5 2 20 0 15 0 49102074 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10819352 memory=139931184789120 CPUtime=0.12 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 621 12901 0 0 5 0 5 2 20 0 15 0 49102074 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11079016448 13744 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10819352 memory=139931184789120 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102076 11079016448 13744 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54976 KiB

[startup+0.700781 s]
/proc/loadavg: 2.60 2.31 2.01 3/215 11727
/proc/meminfo: memFree=18857796/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10819352 memory=88868 CPUtime=0.98 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 16430 12901 0 0 87 4 5 2 20 0 15 0 49102060 11079016448 22217 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2704838 22217 3238 1 0 2667149 0
[pid=11661/tid=11714] ppid=11658 vsize=10819352 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 11877 12901 0 0 55 2 5 2 20 0 15 0 49102069 11079016448 22217 33554432000 4194304 4196468 140723967443600 140128429829264 140128441198968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10819352 memory=15682868852562984 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 22217 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 22217 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 22217 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102070 11079016448 22217 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10819352 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 5 12901 0 0 0 0 5 2 20 0 15 0 49102071 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10819352 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 33 12901 0 0 0 0 5 2 20 0 15 0 49102071 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127915411104 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127804318960 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10819352 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10819352 memory=11044 CPUtime=0.14 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 726 12901 0 0 7 0 5 2 20 0 15 0 49102074 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 913 12901 0 0 10 0 5 2 20 0 15 0 49102074 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10819352 memory=27300 CPUtime=0.2 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 672 12901 0 0 13 0 5 2 20 0 15 0 49102074 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11079016448 22217 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10819352 memory=139931041171088 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102076 11079016448 22217 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88868 KiB

[startup+1.50905 s]
/proc/loadavg: 2.60 2.31 2.01 4/215 11727
/proc/meminfo: memFree=18811512/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10834252 memory=199644 CPUtime=2.77 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 25838 12901 0 0 260 10 5 2 20 0 15 0 49102060 11094274048 49911 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2708563 49911 3481 1 0 2670221 0
[pid=11661/tid=11714] ppid=11658 vsize=10834252 memory=9 CPUtime=1.41 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 17287 12901 0 0 129 5 5 2 20 0 15 0 49102069 11094274048 49911 33554432000 4194304 4196468 140723967443600 140128429814096 140128442086750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10834252 memory=13 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 63 12901 0 0 1 0 5 2 20 0 15 0 49102070 11094274048 49911 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10834252 memory=19 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 25 12901 0 0 1 0 5 2 20 0 15 0 49102070 11094274048 49911 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 182 12901 0 0 1 0 5 2 20 0 15 0 49102070 11094274048 49911 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 24 12901 0 0 1 0 5 2 20 0 15 0 49102070 11094274048 49911 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10834252 memory=6298118432328864102 CPUtime=0.08 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 870 12901 0 0 1 0 5 2 20 0 15 0 49102071 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10834252 memory=8244233169765950824 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 34 12901 0 0 0 0 5 2 20 0 15 0 49102071 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127915411168 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10834252 memory=7018689940303997801 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127804318976 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10834252 memory=4639074098508484693 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10834252 memory=7381228713873402724 CPUtime=0.47 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) R 11658 11661 7887 0 -1 4202560 1951 12901 0 0 40 0 5 2 20 0 15 0 49102074 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127881853464 140128439550844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10834252 memory=7018975830422873703 CPUtime=0.5 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 1674 12901 0 0 43 0 5 2 20 0 15 0 49102074 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10834252 memory=7379261588805479013 CPUtime=0.44 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 1529 12901 0 0 37 0 5 2 20 0 15 0 49102074 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10834252 memory=7522789757896843873 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11094274048 49911 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10834252 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102076 11094274048 49911 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0

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

/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 122362 12901 0 0 236390 30 5 2 20 0 15 0 49102069 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128429840912 140128038130683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10914144 memory=1682156 CPUtime=14.5 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 32599 12901 0 0 1412 31 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10914144 memory=1682156 CPUtime=14.51 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 35076 12901 0 0 1415 29 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10914144 memory=1682156 CPUtime=14.5 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 29383 12901 0 0 1412 31 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10914144 memory=1683668 CPUtime=14.5 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 31758 12901 0 0 1411 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10914144 memory=234340 CPUtime=2.34 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 18597 12901 0 0 214 13 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10914144 memory=1682156 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 38 12901 0 0 0 0 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127915411168 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10914144 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127804318976 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10914144 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10914144 memory=279862083537792 CPUtime=7.31 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 25565 12901 0 0 720 4 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10914144 memory=3472328279047835745 CPUtime=7.61 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 19831 12901 0 0 748 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10914144 memory=4140 CPUtime=3.21 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 28423 12901 0 0 308 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10914144 memory=16152 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10914144 memory=1296 CPUtime=1.42 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1554 12901 0 0 62 73 5 2 20 0 15 0 49102076 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 2443.66 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1683668 KiB

[startup+2442.3 s]
/proc/loadavg: 1.41 1.58 1.69 3/216 12319
/proc/meminfo: memFree=17641332/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2504.94 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 350213 12901 0 0 250242 245 5 2 20 0 15 0 49102060 11176083456 420917 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2728536 420917 3530 1 0 2690189 0
[pid=11661/tid=11714] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2423.71 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 123154 12901 0 0 242333 31 5 2 20 0 15 0 49102069 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128429841520 140128038130839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10914144 memory=1683668 CPUtime=14.93 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 33494 12901 0 0 1455 31 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10914144 memory=1683668 CPUtime=14.95 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 35410 12901 0 0 1458 30 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10914144 memory=1683668 CPUtime=14.94 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 29600 12901 0 0 1456 31 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10914144 memory=1683668 CPUtime=14.92 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 32008 12901 0 0 1453 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2.41 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 18901 12901 0 0 221 13 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 38 12901 0 0 0 0 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127915411168 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127804318976 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10914144 memory=1683668 CPUtime=7.31 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 25568 12901 0 0 720 4 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10914144 memory=1683668 CPUtime=7.61 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 19839 12901 0 0 748 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10914144 memory=1683668 CPUtime=3.21 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 28427 12901 0 0 308 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10914144 memory=4140 CPUtime=1.45 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1577 12901 0 0 63 75 5 2 20 0 15 0 49102076 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 2504.94 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1683668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.11 s]
/proc/loadavg: 1.54 1.60 1.70 3/216 12319
/proc/meminfo: memFree=17639608/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2520.08 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 350927 12901 0 0 251754 247 5 2 20 0 15 0 49102060 11176083456 420917 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2728536 420917 3530 1 0 2690189 0
[pid=11661/tid=11714] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2438.38 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 123410 12901 0 0 243800 31 5 2 20 0 15 0 49102069 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128429841024 140128038130688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.05 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 33594 12901 0 0 1466 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.06 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 35677 12901 0 0 1469 30 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.06 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 29601 12901 0 0 1467 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.03 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 32059 12901 0 0 1464 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2.43 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 18930 12901 0 0 223 13 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 38 12901 0 0 0 0 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127915411168 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127804318976 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10914144 memory=1683668 CPUtime=7.32 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 25570 12901 0 0 720 5 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10914144 memory=1683668 CPUtime=7.61 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 19841 12901 0 0 748 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10914144 memory=1683668 CPUtime=3.21 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 28429 12901 0 0 308 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10914144 memory=288230574492221466 CPUtime=1.45 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1581 12901 0 0 63 75 5 2 20 0 15 0 49102076 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1683668 KiB

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

[startup+2457.14 s]
# the end of solver process 11661 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.63 s, system=2.50979 s

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

[startup+2457.11 s]
/proc/loadavg: 1.54 1.60 1.70 3/216 12319
/proc/meminfo: memFree=17639608/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2520.08 cores=1,3,5,7
/proc/11661/stat : 11661 (java) S 11658 11661 7887 0 -1 1077944320 350927 12901 0 0 251754 247 5 2 20 0 15 0 49102060 11176083456 420917 33554432000 4194304 4196468 140723967443600 140723967426144 140128458006263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
/proc/11661/statm: 2728536 420917 3530 1 0 2690189 0
[pid=11661/tid=11714] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2438.38 cores=1,3,5,7
/proc/11661/task/11714/stat : 11714 (java) R 11658 11661 7887 0 -1 4202560 123410 12901 0 0 243800 31 5 2 20 0 15 0 49102069 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128429841024 140128038130688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11715] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.05 cores=1,3,5,7
/proc/11661/task/11715/stat : 11715 (java) S 11658 11661 7887 0 -1 1077944384 33594 12901 0 0 1466 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128462248464 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11716] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.06 cores=1,3,5,7
/proc/11661/task/11716/stat : 11716 (java) S 11658 11661 7887 0 -1 1077944384 35677 12901 0 0 1469 30 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128350522000 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11717] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.06 cores=1,3,5,7
/proc/11661/task/11717/stat : 11717 (java) S 11658 11661 7887 0 -1 1077944384 29601 12901 0 0 1467 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128349468944 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11718] ppid=11658 vsize=10914144 memory=1683668 CPUtime=15.03 cores=1,3,5,7
/proc/11661/task/11718/stat : 11718 (java) S 11658 11661 7887 0 -1 1077944384 32059 12901 0 0 1464 32 5 2 20 0 15 0 49102070 11176083456 420917 33554432000 4194304 4196468 140723967443600 140128348416400 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11719] ppid=11658 vsize=10914144 memory=1683668 CPUtime=2.43 cores=1,3,5,7
/proc/11661/task/11719/stat : 11719 (java) S 11658 11661 7887 0 -1 1077944384 18930 12901 0 0 223 13 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127916464880 140128458017410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11720] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11720/stat : 11720 (java) S 11658 11661 7887 0 -1 1077944384 38 12901 0 0 0 0 5 2 20 0 15 0 49102071 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127915411168 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11721] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11721/stat : 11721 (java) S 11658 11661 7887 0 -1 1077944384 1 12901 0 0 0 0 5 2 20 0 15 0 49102072 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127804318976 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11722] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11722/stat : 11722 (java) S 11658 11661 7887 0 -1 1077944384 2 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127670102480 140128458024859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11723] ppid=11658 vsize=10914144 memory=1683668 CPUtime=7.32 cores=1,3,5,7
/proc/11661/task/11723/stat : 11723 (java) S 11658 11661 7887 0 -1 1077944384 25570 12901 0 0 720 5 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127881853168 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11724] ppid=11658 vsize=10914144 memory=1683668 CPUtime=7.61 cores=1,3,5,7
/proc/11661/task/11724/stat : 11724 (java) S 11658 11661 7887 0 -1 1077944384 19841 12901 0 0 748 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127880800624 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11725] ppid=11658 vsize=10914144 memory=1683668 CPUtime=3.21 cores=1,3,5,7
/proc/11661/task/11725/stat : 11725 (java) S 11658 11661 7887 0 -1 1077944384 28429 12901 0 0 308 6 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127879747568 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11726] ppid=11658 vsize=10914144 memory=1683668 CPUtime=0.07 cores=1,3,5,7
/proc/11661/task/11726/stat : 11726 (java) S 11658 11661 7887 0 -1 1077944384 3 12901 0 0 0 0 5 2 20 0 15 0 49102074 11176083456 420917 33554432000 4194304 4196468 140723967443600 140126730578272 140128458016469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
[pid=11661/tid=11727] ppid=11658 vsize=10914144 memory=288230574492221466 CPUtime=1.45 cores=1,3,5,7
/proc/11661/task/11727/stat : 11727 (java) S 11658 11661 7887 0 -1 1077944384 1581 12901 0 0 63 75 5 2 20 0 15 0 49102076 11176083456 420917 33554432000 4194304 4196468 140723967443600 140127878695984 140128458017410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 14688256 140723967445616 140723967448412 140723967448412 140723967451087 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1683668 KiB

Child status: 143
Real time (s): 2457.14
CPU time (s): 2520.14
CPU user time (s): 2517.63
CPU system time (s): 2.50979
CPU usage (%): 102.564
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1825996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.63
system time used= 2.50979
maximum resident set size= 1826548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105398
involuntary context switches= 3712


# summary of solver processes directly reported to runsolver:
#   pid: 11661
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.63
#   total CPU system time (s): 2.50979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4937 second user time and 22.941 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-23 05:09:49
IDJOB=4293309
IDBENCH=141157
IDSOLVER=2750
FILE ID=node107/4293309-1532315389
RUNJOBID= node107-1532295923-7919
PBS_JOBID= 21018984
Free space on /tmp= 55100 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay100_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293309-1532315389/watcher-4293309-1532315389 -o /tmp/evaluation-result-4293309-1532315389/solver-4293309-1532315389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=85468735 HOME/instance-4293309-1532315389.xml

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

MD5SUM BENCH= 229d8d70b2521f5ebfd70fdb2bbdf7b3
RANDOM SEED=85468735

node107.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.40
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.40
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.40
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.40
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:        18911708 kB
MemAvailable:   30797080 kB
Buffers:          258336 kB
Cached:         11774068 kB
SwapCached:            0 kB
Active:          2800640 kB
Inactive:       10427444 kB
Active(anon):    1198804 kB
Inactive(anon):    16860 kB
Active(file):    1601836 kB
Inactive(file): 10410584 kB
Unevictable:        7152 kB
Mlocked:            7152 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26412 kB
Writeback:           232 kB
AnonPages:       1203024 kB
Mapped:            49620 kB
Shmem:             17036 kB
Slab:             328772 kB
SReclaimable:     301412 kB
SUnreclaim:        27360 kB
KernelStack:        3760 kB
PageTables:         7564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2301104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1011712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55072 MiB
End job on node107 at 2018-07-23 05:50:46