Trace number 4293294

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-SuperNG 2018-06-13SAT (TO)2173290 2520.13 2466.44

General information on the benchmark

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

Verifier Data 

OK	2173290

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293294-1532311325/watcher-4293294-1532311325 -o /tmp/evaluation-result-4293294-1532311325/solver-4293294-1532311325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=695503396 -superng HOME/instance-4293294-1532311325.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=9985, runsolver pid=9982

[startup+0.100577 s]*
/proc/loadavg: 1.90 1.82 1.87 2/207 10042
/proc/meminfo: memFree=17325788/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=9972712 memory=18860 CPUtime=0.09 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 4335 12950 0 0 1 1 5 2 20 0 6 0 48695732 10212057088 4715 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2493178 4715 1934 1 0 2481616 0
[pid=9985/tid=10038] ppid=9982 vsize=9972712 memory=-8600311527686586311 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 2161 12950 0 0 0 0 5 2 20 0 6 0 48695741 10212057088 4715 33554432000 4194304 4196468 140735439973632 139755158684240 139755171970416 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 6 0 48695742 10212057088 4715 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=9972712 memory=140716008666752 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 6 0 48695742 10212057088 4715 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 6 0 48695742 10212057088 4715 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 6 0 48695742 10212057088 4715 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.209834 s]*
/proc/loadavg: 1.90 1.82 1.87 3/216 10051
/proc/meminfo: memFree=17304588/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10818936 memory=47512 CPUtime=0.26 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 9249 12950 0 0 17 2 5 2 20 0 15 0 48695732 11078590464 11878 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2704734 11878 2972 1 0 2667157 0
[pid=9985/tid=10038] ppid=9982 vsize=10818904 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 5861 12950 0 0 10 1 5 2 20 0 15 0 48695741 11078557696 11878 33554432000 4194304 4196468 140735439973632 139755158672288 139755170927966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695742 11078557696 11878 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10818904 memory=140716008666752 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695742 11078557696 11878 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695742 11078557696 11878 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695742 11078557696 11878 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10818904 memory=140716008666752 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695743 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 33 12950 0 0 0 0 5 2 20 0 15 0 48695744 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754457396384 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695744 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754343490288 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 491 12950 0 0 1 0 5 2 20 0 15 0 48695747 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 90 12950 0 0 1 0 5 2 20 0 15 0 48695747 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10818904 memory=140716008666752 CPUtime=0.1 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) R 9982 9985 6708 0 -1 4202560 573 12950 0 0 3 0 5 2 20 0 15 0 48695747 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754421733872 139755165385391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11078557696 11878 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10818904 memory=140716008666752 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695747 11078557696 11878 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 47512 KiB

[startup+0.310388 s]*
/proc/loadavg: 1.90 1.82 1.87 3/216 10051
/proc/meminfo: memFree=17291192/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10819352 memory=55388 CPUtime=0.38 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 10461 12950 0 0 29 2 5 2 20 0 15 0 48695732 11079016448 13847 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2704838 13847 3091 1 0 2667149 0
[pid=9985/tid=10038] ppid=9982 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 7052 12950 0 0 20 1 5 2 20 0 15 0 48695741 11079016448 13847 33554432000 4194304 4196468 140735439973632 139755158659488 139755167123596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10819352 memory=7375038394622169168 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 13847 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10819352 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 13847 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 13847 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 13847 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695743 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 33 12950 0 0 0 0 5 2 20 0 15 0 48695744 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754457396384 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695744 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754343490288 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 491 12950 0 0 1 0 5 2 20 0 15 0 48695747 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 91 12950 0 0 1 0 5 2 20 0 15 0 48695747 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 591 12950 0 0 5 0 5 2 20 0 15 0 48695747 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11079016448 13847 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695747 11079016448 13847 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55388 KiB

[startup+0.700744 s]
/proc/loadavg: 1.90 1.82 1.87 3/216 10051
/proc/meminfo: memFree=17275116/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10819352 memory=88804 CPUtime=0.98 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 16779 12950 0 0 88 3 5 2 20 0 15 0 48695732 11079016448 22201 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2704838 22201 3238 1 0 2667149 0
[pid=9985/tid=10038] ppid=9982 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 12228 12950 0 0 56 2 5 2 20 0 15 0 48695741 11079016448 22201 33554432000 4194304 4196468 140735439973632 139755158668304 139755168411035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 22201 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 22201 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 22201 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695742 11079016448 22201 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 5 12950 0 0 0 0 5 2 20 0 15 0 48695743 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 33 12950 0 0 0 0 5 2 20 0 15 0 48695744 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754457396384 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695744 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754343490288 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10819352 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 1131 12950 0 0 10 0 5 2 20 0 15 0 48695747 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10819352 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 492 12950 0 0 7 0 5 2 20 0 15 0 48695747 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 689 12950 0 0 13 0 5 2 20 0 15 0 48695747 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11079016448 22201 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695747 11079016448 22201 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88804 KiB

[startup+1.50071 s]
/proc/loadavg: 1.90 1.82 1.87 5/216 10051
/proc/meminfo: memFree=17228784/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10834252 memory=201756 CPUtime=2.82 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 26626 12950 0 0 266 9 5 2 20 0 15 0 48695732 11094274048 50439 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2708563 50439 3485 1 0 2670221 0
[pid=9985/tid=10038] ppid=9982 vsize=10834252 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 17514 12950 0 0 130 4 5 2 20 0 15 0 48695741 11094274048 50439 33554432000 4194304 4196468 140735439973632 139755158662656 139755170927966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 20 12950 0 0 1 0 5 2 20 0 15 0 48695742 11094274048 50439 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 153 12950 0 0 1 0 5 2 20 0 15 0 48695742 11094274048 50439 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10834252 memory=3611949788955226161 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 70 12950 0 0 1 0 5 2 20 0 15 0 48695742 11094274048 50439 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 35 12950 0 0 1 0 5 2 20 0 15 0 48695742 11094274048 50439 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 842 12950 0 0 1 0 5 2 20 0 15 0 48695743 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10834252 memory=281431758678272 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 34 12950 0 0 0 0 5 2 20 0 15 0 48695744 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754457396448 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 1 12950 0 0 0 0 5 2 20 0 15 0 48695744 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754343490288 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10834252 memory=5380 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10834252 memory=4616 CPUtime=0.51 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 2223 12950 0 0 43 1 5 2 20 0 15 0 48695747 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10834252 memory=1232 CPUtime=0.5 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 1875 12950 0 0 43 0 5 2 20 0 15 0 48695747 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10834252 memory=11964 CPUtime=0.47 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 1665 12950 0 0 40 0 5 2 20 0 15 0 48695747 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10834252 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11094274048 50439 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10834252 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11094274048 50439 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 10834252 KiB

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

/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 66554 12950 0 0 231309 17 5 2 20 0 15 0 48695741 11178180608 753026 33554432000 4194304 4196468 140735439973632 139755158682720 139754786772922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10916192 memory=3023388 CPUtime=8.67 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 3715 12950 0 0 789 71 5 2 20 0 15 0 48695742 11178180608 753026 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10916192 memory=3023388 CPUtime=8.74 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 4059 12950 0 0 796 71 5 2 20 0 15 0 48695742 11178180608 753026 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10916192 memory=3023388 CPUtime=8.71 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 5363 12950 0 0 793 71 5 2 20 0 15 0 48695742 11178180608 753026 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10916192 memory=3012104 CPUtime=8.71 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 7224 12950 0 0 793 71 5 2 20 0 15 0 48695742 11178180608 753026 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10916192 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 9371 12950 0 0 45 4 5 2 20 0 15 0 48695743 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10916192 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 58 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754457396512 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10916192 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 28 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754343490304 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10916192 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10916192 memory=4140 CPUtime=10.47 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 15425 12950 0 0 1034 6 5 2 20 0 15 0 48695747 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10916192 memory=16224 CPUtime=10.69 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 13295 12950 0 0 1057 5 5 2 20 0 15 0 48695747 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10916192 memory=3012104 CPUtime=4.12 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 18258 12950 0 0 398 7 5 2 20 0 15 0 48695747 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10916192 memory=1580 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 753026 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10916192 memory=3012104 CPUtime=1.37 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1522 12950 0 0 56 74 5 2 20 0 15 0 48695747 11178180608 753026 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 2374.86 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3012104 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.71 1.85 3/216 10250
/proc/meminfo: memFree=16117292/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10916192 memory=2998764 CPUtime=2435.36 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 151978 12950 0 0 243141 388 5 2 20 0 15 0 48695732 11178180608 749691 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2729048 749691 3533 1 0 2690701 0
[pid=9985/tid=10038] ppid=9982 vsize=10916192 memory=2998764 CPUtime=2373.16 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 69448 12950 0 0 237292 17 5 2 20 0 15 0 48695741 11178180608 749691 33554432000 4194304 4196468 140735439973632 139755158682656 139754777251471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10916192 memory=11964 CPUtime=8.83 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 3759 12950 0 0 804 72 5 2 20 0 15 0 48695742 11178180608 749691 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10916192 memory=3012104 CPUtime=8.9 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 4233 12950 0 0 812 71 5 2 20 0 15 0 48695742 11178180608 749691 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10916192 memory=2998764 CPUtime=8.87 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 6628 12950 0 0 809 71 5 2 20 0 15 0 48695742 11178180608 749691 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10916192 memory=2998764 CPUtime=8.86 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 7594 12950 0 0 808 71 5 2 20 0 15 0 48695742 11178180608 749691 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10916192 memory=2998764 CPUtime=0.58 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 9497 12950 0 0 46 5 5 2 20 0 15 0 48695743 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10916192 memory=2999276 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 58 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754457396512 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10916192 memory=2998764 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 28 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754343490304 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10916192 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10916192 memory=2998764 CPUtime=10.47 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 15429 12950 0 0 1034 6 5 2 20 0 15 0 48695747 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10916192 memory=8112282956445269571 CPUtime=10.69 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 13303 12950 0 0 1057 5 5 2 20 0 15 0 48695747 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10916192 memory=1800 CPUtime=4.12 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 18262 12950 0 0 398 7 5 2 20 0 15 0 48695747 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10916192 memory=2998764 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 749691 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10916192 memory=2998764 CPUtime=1.41 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1546 12950 0 0 58 76 5 2 20 0 15 0 48695747 11178180608 749691 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 2435.36 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2998764 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.72 1.85 3/216 10251
/proc/meminfo: memFree=16139888/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10916192 memory=2998800 CPUtime=2495.8 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 159048 12950 0 0 249183 390 5 2 20 0 15 0 48695732 11178180608 749700 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2729048 749700 3533 1 0 2690701 0
[pid=9985/tid=10038] ppid=9982 vsize=10916192 memory=2998764 CPUtime=2433.02 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 72272 12950 0 0 243278 17 5 2 20 0 15 0 48695741 11178180608 749700 33554432000 4194304 4196468 140735439973632 139755158682512 139754784775200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10916192 memory=3012104 CPUtime=8.97 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 3893 12950 0 0 818 72 5 2 20 0 15 0 48695742 11178180608 749700 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10916192 memory=2998800 CPUtime=9.03 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 4744 12950 0 0 825 71 5 2 20 0 15 0 48695742 11178180608 749700 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10916192 memory=2998796 CPUtime=9 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 7912 12950 0 0 822 71 5 2 20 0 15 0 48695742 11178180608 749700 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10916192 memory=1580 CPUtime=8.99 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 8171 12950 0 0 821 71 5 2 20 0 15 0 48695742 11178180608 749700 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10916192 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 9826 12950 0 0 47 5 5 2 20 0 15 0 48695743 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10916192 memory=2998800 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 58 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754457396512 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10916192 memory=2998796 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 28 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754343490304 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10916192 memory=2998796 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10916192 memory=2998800 CPUtime=10.47 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 15429 12950 0 0 1034 6 5 2 20 0 15 0 48695747 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10916192 memory=4140 CPUtime=10.7 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 14700 12950 0 0 1057 6 5 2 20 0 15 0 48695747 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10916192 memory=15872 CPUtime=4.12 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 18262 12950 0 0 398 7 5 2 20 0 15 0 48695747 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10916192 memory=10492 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 749700 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10916192 memory=16436 CPUtime=1.43 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1560 12950 0 0 59 77 5 2 20 0 15 0 48695747 11178180608 749700 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 2495.8 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2998800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.4 s]
/proc/loadavg: 1.73 1.73 1.85 3/216 10252
/proc/meminfo: memFree=16137156/32770624 swapFree=67108860/67108860
[pid=9985] ppid=9982 vsize=10916192 memory=3002924 CPUtime=2520.05 cores=1,3,5,7
/proc/9985/stat : 9985 (java) S 9982 9985 6708 0 -1 1077944320 161906 12950 0 0 251607 391 5 2 20 0 15 0 48695732 11178180608 750731 33554432000 4194304 4196468 140735439973632 140735439956176 139755186847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
/proc/9985/statm: 2729048 750731 3533 1 0 2690701 0
[pid=9985/tid=10038] ppid=9982 vsize=10916192 memory=1232 CPUtime=2457.07 cores=1,3,5,7
/proc/9985/task/10038/stat : 10038 (java) R 9982 9985 6708 0 -1 4202560 73741 12950 0 0 245683 17 5 2 20 0 15 0 48695741 11178180608 750731 33554432000 4194304 4196468 140735439973632 139755158682784 139754785563178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10039] ppid=9982 vsize=10916192 memory=11964 CPUtime=9.01 cores=1,3,5,7
/proc/9985/task/10039/stat : 10039 (java) S 9982 9985 6708 0 -1 1077944384 4258 12950 0 0 822 72 5 2 20 0 15 0 48695742 11178180608 750731 33554432000 4194304 4196468 140735439973632 139755191090192 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10040] ppid=9982 vsize=10916192 memory=1708 CPUtime=9.08 cores=1,3,5,7
/proc/9985/task/10040/stat : 10040 (java) S 9982 9985 6708 0 -1 1077944384 4861 12950 0 0 830 71 5 2 20 0 15 0 48695742 11178180608 750731 33554432000 4194304 4196468 140735439973632 139755089980560 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10041] ppid=9982 vsize=10916192 memory=1296 CPUtime=9.05 cores=1,3,5,7
/proc/9985/task/10041/stat : 10041 (java) S 9982 9985 6708 0 -1 1077944384 7976 12950 0 0 826 72 5 2 20 0 15 0 48695742 11178180608 750731 33554432000 4194304 4196468 140735439973632 139755088927504 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10042] ppid=9982 vsize=10916192 memory=2412 CPUtime=9.04 cores=1,3,5,7
/proc/9985/task/10042/stat : 10042 (java) S 9982 9985 6708 0 -1 1077944384 8747 12950 0 0 826 71 5 2 20 0 15 0 48695742 11178180608 750731 33554432000 4194304 4196468 140735439973632 139755087874960 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10043] ppid=9982 vsize=10916192 memory=1836 CPUtime=0.59 cores=1,3,5,7
/proc/9985/task/10043/stat : 10043 (java) S 9982 9985 6708 0 -1 1077944384 10073 12950 0 0 47 5 5 2 20 0 15 0 48695743 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754458450160 139755186858626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10044] ppid=9982 vsize=10916192 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10044/stat : 10044 (java) S 9982 9985 6708 0 -1 1077944384 58 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754457396512 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10045] ppid=9982 vsize=10916192 memory=1960 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10045/stat : 10045 (java) S 9982 9985 6708 0 -1 1077944384 28 12950 0 0 0 0 5 2 20 0 15 0 48695744 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754343490304 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10046] ppid=9982 vsize=10916192 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10046/stat : 10046 (java) S 9982 9985 6708 0 -1 1077944384 2 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754209273808 139755186866075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10047] ppid=9982 vsize=10916192 memory=2998816 CPUtime=10.47 cores=1,3,5,7
/proc/9985/task/10047/stat : 10047 (java) S 9982 9985 6708 0 -1 1077944384 15431 12950 0 0 1034 6 5 2 20 0 15 0 48695747 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754423839472 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10048] ppid=9982 vsize=10916192 memory=8112282956445269571 CPUtime=10.71 cores=1,3,5,7
/proc/9985/task/10048/stat : 10048 (java) S 9982 9985 6708 0 -1 1077944384 14702 12950 0 0 1058 6 5 2 20 0 15 0 48695747 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754422786928 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10049] ppid=9982 vsize=10916192 memory=640 CPUtime=4.12 cores=1,3,5,7
/proc/9985/task/10049/stat : 10049 (java) S 9982 9985 6708 0 -1 1077944384 18264 12950 0 0 398 7 5 2 20 0 15 0 48695747 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754421733872 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10050] ppid=9982 vsize=10916192 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/9985/task/10050/stat : 10050 (java) S 9982 9985 6708 0 -1 1077944384 3 12950 0 0 0 0 5 2 20 0 15 0 48695747 11178180608 750731 33554432000 4194304 4196468 140735439973632 139753471077216 139755186857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
[pid=9985/tid=10051] ppid=9982 vsize=10916192 memory=960 CPUtime=1.45 cores=1,3,5,7
/proc/9985/task/10051/stat : 10051 (java) S 9982 9985 6708 0 -1 1077944384 1574 12950 0 0 60 78 5 2 20 0 15 0 48695747 11178180608 750731 33554432000 4194304 4196468 140735439973632 139754420681264 139755186858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 7528448 140735439980716 140735439983964 140735439983964 140735439986639 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3002924 KiB

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

[startup+2466.44 s]
# the end of solver process 9985 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.15 s, system=3.97213 s

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

Child status: 143
Real time (s): 2466.44
CPU time (s): 2520.13
CPU user time (s): 2516.15
CPU system time (s): 3.97213
CPU usage (%): 102.177
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 3081568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.15
system time used= 3.97213
maximum resident set size= 3081568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71117
involuntary context switches= 1379


# summary of solver processes directly reported to runsolver:
#   pid: 9985
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.15
#   total CPU system time (s): 3.97213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2659 second user time and 21.497 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-23 04:02:06
IDJOB=4293294
IDBENCH=141153
IDSOLVER=2751
FILE ID=node104/4293294-1532311325
RUNJOBID= node104-1532294157-6740
PBS_JOBID= 21018980
Free space on /tmp= 57216 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293294-1532311325/watcher-4293294-1532311325 -o /tmp/evaluation-result-4293294-1532311325/solver-4293294-1532311325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=695503396 -superng HOME/instance-4293294-1532311325.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=695503396

node104.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.11
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.11
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.11
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.11
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:        17334908 kB
MemAvailable:   27932460 kB
Buffers:          250244 kB
Cached:         10553636 kB
SwapCached:            0 kB
Active:          5939328 kB
Inactive:        8917456 kB
Active(anon):    4055844 kB
Inactive(anon):    17084 kB
Active(file):    1883484 kB
Inactive(file):  8900372 kB
Unevictable:        7176 kB
Mlocked:            7176 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26496 kB
Writeback:             0 kB
AnonPages:       4103680 kB
Mapped:            49728 kB
Shmem:             17036 kB
Slab:             270648 kB
SReclaimable:     242156 kB
SUnreclaim:        28492 kB
KernelStack:        3808 kB
PageTables:        13252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4724028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3909632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 57192 MiB
End job on node104 at 2018-07-23 04:43:12