Trace number 4302583

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)996057 252.07 208.153

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1435945
Best CPU time to get the best result obtained on this benchmark252.062
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.75	c Concrete v3.9.2.1532736233296 running
68.87/43.71	o 746645
69.80/44.52	o 750393
69.80/44.55	o 751203
69.80/44.58	o 759343
70.09/44.61	o 762909
70.09/44.64	o 764623
71.96/45.50	o 764665
71.96/45.52	o 766380
71.96/45.54	o 767788
71.96/45.57	o 768069
71.96/45.58	o 768936
72.09/45.61	o 769443
72.09/45.63	o 770486
72.09/45.67	o 771702
72.09/45.69	o 773523
72.19/45.72	o 776322
72.19/45.74	o 777821
73.30/46.20	o 778180
73.30/46.22	o 778190
73.30/46.25	o 780163
73.30/46.27	o 781206
73.30/46.29	o 782142
73.44/46.31	o 783054
73.44/46.35	o 784023
73.70/46.51	o 784222
73.70/46.53	o 785032
73.70/46.56	o 786527
73.70/46.58	o 786537
73.81/46.60	o 787389
73.81/46.63	o 787695
73.81/46.65	o 790071
73.81/46.67	o 790646
73.81/46.69	o 792361
73.93/46.71	o 794819
73.93/46.73	o 798710
73.93/46.75	o 801441
73.93/46.77	o 802251
74.05/46.80	o 804194
74.05/46.85	o 807854
74.25/47.00	o 809009
74.62/47.02	o 809483
82.04/52.31	o 809592
82.04/52.33	o 810066
82.04/52.35	o 810201
82.04/52.37	o 811381
82.04/52.39	o 811789
82.15/52.45	o 813741
82.75/52.63	o 814215
82.92/52.71	o 816219
83.28/53.03	o 816617
83.28/53.05	o 821021
83.28/53.07	o 821662
83.28/53.09	o 826390
83.38/53.11	o 826632
83.38/53.13	o 829154
83.38/53.15	o 830798
83.38/53.17	o 833562
83.38/53.19	o 834822
83.47/53.21	o 836537
83.47/53.23	o 838444
83.47/53.25	o 839463
83.47/53.26	o 842108
83.47/53.28	o 842409
83.58/53.30	o 843050
83.58/53.32	o 843185
83.58/53.34	o 843763
83.58/53.36	o 843898
83.58/53.38	o 844232
83.68/53.40	o 845308
83.68/53.42	o 848972
83.68/53.44	o 851575
83.68/53.46	o 856518
83.68/53.48	o 857463
83.78/53.50	o 860042
83.78/53.52	o 860438
83.78/53.54	o 862345
83.78/53.56	o 862387
83.78/53.58	o 864990
83.88/53.60	o 865054
83.88/53.62	o 866167
83.88/53.64	o 868770
84.11/53.78	o 870360
84.44/53.80	o 874260
84.44/53.82	o 877725
84.44/53.84	o 879440
84.44/53.86	o 886216
84.44/53.89	o 891793
84.56/53.91	o 893361
84.56/53.93	o 894438
84.56/53.95	o 895965
84.56/53.96	o 897041
84.56/53.99	o 903505
84.56/54.00	o 904582
84.67/54.02	o 904831
84.67/54.04	o 908548
84.67/54.06	o 911673
84.67/54.08	o 913430
84.67/54.10	o 914143
84.77/54.13	o 923772
84.77/54.15	o 924168
84.77/54.17	o 926835
84.77/54.19	o 926970
84.87/54.21	o 928047
84.87/54.23	o 932864
84.87/54.25	o 932999
84.87/54.27	o 933589
84.87/54.29	o 934997
84.97/54.31	o 939161
84.97/54.33	o 939557
84.97/54.35	o 942949
84.97/54.37	o 945134
84.97/54.39	o 945441
85.07/54.41	o 946849
85.07/54.43	o 948650
85.07/54.45	o 951253
85.07/54.47	o 952404
85.07/54.49	o 955007
85.18/54.51	o 960779
85.18/54.53	o 963360
85.18/54.55	o 963424
85.18/54.58	o 966086
85.28/54.60	o 967993
85.62/54.77	o 968379
85.89/54.81	o 971876
86.00/55.00	o 975019
86.26/55.15	o 977941
86.47/55.38	o 980708
86.59/55.40	o 980843
129.07/89.91	o 981745
129.07/89.95	o 983727
129.19/90.03	o 986689
129.19/90.05	o 987869
131.75/92.27	o 989419
134.06/94.28	o 994877
134.19/94.30	o 996057
252.02/208.11	Exception in thread "main" java.util.concurrent.TimeoutException
252.02/208.11		at concrete.MAC.mac(MAC.scala:188)
252.02/208.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/208.11		at scala.util.Try$.apply(Try.scala:209)
252.02/208.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/208.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/208.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/208.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/208.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/208.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/208.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/208.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/208.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/208.11		at concrete.MAC.oneRun(MAC.scala:253)
252.02/208.11		at concrete.MAC.nextSolution(MAC.scala:272)
252.02/208.11		at concrete.MAC.nextSolution(MAC.scala:355)
252.02/208.11		at concrete.Solver.hasNext(Solver.scala:166)
252.02/208.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/208.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/208.11		at concrete.Solver.foreach(Solver.scala:68)
252.02/208.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/208.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/208.11		at scala.util.Success.map(Try.scala:209)
252.02/208.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/208.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/208.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/208.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/208.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/208.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/208.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/208.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/208.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/208.11		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/208.11		at scala.App.main(App.scala:76)
252.02/208.11		at scala.App.main$(App.scala:74)
252.02/208.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/208.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/208.12	v <instantiation cost="996057">
252.02/208.12	v       <list>
252.02/208.12	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
252.02/208.12	v       </list>
252.02/208.12	v       <values>
252.02/208.12	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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
252.02/208.12	v       </values>
252.02/208.12	v     </instantiation>
252.02/208.13	s SATISFIABLE

Verifier Data 

OK	996057

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302583-1532895185/watcher-4302583-1532895185 -o /tmp/evaluation-result-4302583-1532895185/solver-4302583-1532895185 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=894771364 HOME/instance-4302583-1532895185.xml 

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

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


[startup+0.100106 s]*
/proc/loadavg: 1.80 1.97 1.92 2/202 17687
/proc/meminfo: memFree=24244136/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=10005480 memory=16024 CPUtime=0.09 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 4131 13105 0 0 1 0 5 3 20 0 6 0 107081673 10245611520 4006 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2501370 4006 1896 1 0 2489808 0
[pid=17634/tid=17687] ppid=17631 vsize=10005480 memory=4279135703980080525 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 1973 13105 0 0 0 0 5 3 20 0 6 0 107081683 10245611520 4006 33554432000 4194304 4196468 140726004173040 140643417211472 140643431057203 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 6 0 107081684 10245611520 4006 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=10005480 memory=139828225095296 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 6 0 107081684 10245611520 4006 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 6 0 107081684 10245611520 4006 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 6 0 107081684 10245611520 4006 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16024 KiB

[startup+0.209997 s]*
/proc/loadavg: 1.80 1.97 1.92 4/215 17700
/proc/meminfo: memFree=24219424/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=10982728 memory=44960 CPUtime=0.26 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 8541 13105 0 0 16 2 5 3 20 0 15 0 107081673 11246313472 11240 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2745674 11240 2967 1 0 2708109 0
[pid=17634/tid=17687] ppid=17631 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 5090 13105 0 0 10 1 5 3 20 0 15 0 107081683 11246280704 11240 33554432000 4194304 4196468 140726004173040 140643417172368 140643445396637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=10982696 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246280704 11240 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=10982696 memory=139828225744305 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=10982696 memory=139828225095296 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081685 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 13 13105 0 0 0 0 5 3 20 0 15 0 107081686 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642260869920 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081686 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642059543664 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246280704 11240 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 543 13105 0 0 1 0 5 3 20 0 15 0 107081689 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=10982696 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 69 13105 0 0 1 0 5 3 20 0 15 0 107081689 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=10982696 memory=139828225095296 CPUtime=0.11 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) R 17631 17634 10029 0 -1 4202560 621 13105 0 0 3 0 5 3 20 0 15 0 107081689 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642935290736 140643445396058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246280704 11240 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=10982696 memory=139828225095296 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246280704 11240 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982728 KiB
Current children cumulated memory: 44960 KiB

[startup+0.310461 s]*
/proc/loadavg: 1.80 1.97 1.92 3/215 17700
/proc/meminfo: memFree=24207516/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=10983192 memory=53740 CPUtime=0.38 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 9918 13105 0 0 28 2 5 3 20 0 15 0 107081673 11246788608 13435 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2745798 13435 3099 1 0 2708109 0
[pid=17634/tid=17687] ppid=17631 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 6526 13105 0 0 19 1 5 3 20 0 15 0 107081683 11246788608 13501 33554432000 4194304 4196468 140726004173040 140643417186720 140643425650471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 13501 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081685 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 13 13105 0 0 0 0 5 3 20 0 15 0 107081686 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642260869920 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081686 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642059543664 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246788608 13501 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 543 13105 0 0 1 0 5 3 20 0 15 0 107081689 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 70 13105 0 0 1 0 5 3 20 0 15 0 107081689 11246788608 13501 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=10983192 memory=139828225095296 CPUtime=0.12 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 631 13105 0 0 4 0 5 3 20 0 15 0 107081689 11246788608 13567 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246788608 13567 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=10983192 memory=139828225095296 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246788608 13567 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53740 KiB

[startup+0.700714 s]
/proc/loadavg: 1.80 1.97 1.92 3/215 17700
/proc/meminfo: memFree=24196724/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=10983192 memory=88584 CPUtime=0.99 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 16799 13105 0 0 86 5 5 3 20 0 15 0 107081673 11246788608 22146 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2745798 22146 3237 1 0 2708109 0
[pid=17634/tid=17687] ppid=17631 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 12358 13105 0 0 55 3 5 3 20 0 15 0 107081683 11246788608 22146 33554432000 4194304 4196468 140726004173040 140643417196880 140643426938267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 22146 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 2 13105 0 0 0 0 5 3 20 0 15 0 107081684 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 5 13105 0 0 0 0 5 3 20 0 15 0 107081685 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 13 13105 0 0 0 0 5 3 20 0 15 0 107081686 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642260869920 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=10983192 memory=139828096283408 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081686 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642059543664 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=10983192 memory=139831250256457 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246788608 22146 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=10983192 memory=796 CPUtime=0.17 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 1172 13105 0 0 9 0 5 3 20 0 15 0 107081689 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=10983192 memory=7014751519650764113 CPUtime=0.15 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 355 13105 0 0 7 0 5 3 20 0 15 0 107081689 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 693 13105 0 0 13 0 5 3 20 0 15 0 107081689 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246788608 22146 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081689 11246788608 22146 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88584 KiB

[startup+1.50619 s]
/proc/loadavg: 1.80 1.97 1.92 3/215 17700
/proc/meminfo: memFree=24152504/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=10998092 memory=204388 CPUtime=2.77 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 25606 13105 0 0 259 10 5 3 20 0 15 0 107081673 11262046208 51097 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2749523 51097 3469 1 0 2711181 0
[pid=17634/tid=17687] ppid=17631 vsize=10998092 memory=9169 CPUtime=1.42 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 17202 13105 0 0 129 5 5 3 20 0 15 0 107081683 11262046208 51097 33554432000 4194304 4196468 140726004173040 140643417185840 140643427322792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 153 13105 0 0 1 0 5 3 20 0 15 0 107081684 11262046208 51097 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=10998092 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 26 13105 0 0 1 0 5 3 20 0 15 0 107081684 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=10998092 memory=2780 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 31 13105 0 0 1 0 5 3 20 0 15 0 107081684 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=10998092 memory=88584 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 53 13105 0 0 1 0 5 3 20 0 15 0 107081684 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 46 13105 0 0 1 0 5 3 20 0 15 0 107081685 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 14 13105 0 0 0 0 5 3 20 0 15 0 107081686 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642260869984 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081686 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642059543680 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11262046208 51097 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=10998092 memory=4638778398332698720 CPUtime=0.53 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 2936 13105 0 0 45 0 5 3 20 0 15 0 107081689 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=10998092 memory=279656192842624 CPUtime=0.44 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 1389 13105 0 0 36 0 5 3 20 0 15 0 107081689 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=10998092 memory=6944656592452807323 CPUtime=0.47 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 1559 13105 0 0 39 0 5 3 20 0 15 0 107081689 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11262046208 51097 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1 13105 0 0 0 0 5 3 20 0 15 0 107081689 11262046208 51097 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 10998092 KiB

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

/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 49523 13105 0 0 9668 17 5 3 20 0 15 0 107081683 11278843904 636681 33554432000 4194304 4196468 140726004173040 140643417210672 140643035928863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=11014496 memory=2530340 CPUtime=4.6 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 3504 13105 0 0 400 52 5 3 20 0 15 0 107081684 11278843904 636681 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=11014496 memory=279656193922880 CPUtime=4.68 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 2578 13105 0 0 410 50 5 3 20 0 15 0 107081684 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=11014496 memory=279656193334656 CPUtime=4.64 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 4591 13105 0 0 405 51 5 3 20 0 15 0 107081684 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=11014496 memory=152016072510016 CPUtime=4.71 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 3918 13105 0 0 411 52 5 3 20 0 15 0 107081684 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=11014496 memory=579500 CPUtime=0.49 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 7632 13105 0 0 40 1 5 3 20 0 15 0 107081685 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=11014496 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 33 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642260869984 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=11014496 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 30 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642059543680 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=11014496 memory=-8412654363917126771 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 636681 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=11014496 memory=2485188 CPUtime=12.32 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 17323 13105 0 0 1220 4 5 3 20 0 15 0 107081689 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=11014496 memory=2485188 CPUtime=11.78 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) R 17631 17634 10029 0 -1 4202560 13059 13105 0 0 1165 5 5 3 20 0 15 0 107081689 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642936343024 140643429764624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=11014496 memory=2411340 CPUtime=3.82 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 12559 13105 0 0 367 7 5 3 20 0 15 0 107081689 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=11014496 memory=1664 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 636681 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=11014496 memory=1828 CPUtime=0.13 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1082 13105 0 0 3 2 5 3 20 0 15 0 107081689 11278843904 636681 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 143.49 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2546724 KiB

[startup+162.301 s]
/proc/loadavg: 1.90 1.97 1.93 3/215 17702
/proc/meminfo: memFree=21272508/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=11014496 memory=2661304 CPUtime=205.85 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 126155 13105 0 0 20316 261 5 3 20 0 15 0 107081673 11278843904 665326 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2753624 665326 3532 1 0 2715277 0
[pid=17634/tid=17687] ppid=17631 vsize=11014496 memory=2661304 CPUtime=156.67 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) S 17631 17634 10029 0 -1 1077944384 51711 13105 0 0 15642 17 5 3 20 0 15 0 107081683 11278843904 665326 33554432000 4194304 4196468 140726004173040 140643417210288 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=11014496 memory=0 CPUtime=4.84 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) R 17631 17634 10029 0 -1 4202560 4853 13105 0 0 421 55 5 3 20 0 15 0 107081684 11278843904 665326 33554432000 4194304 4196468 140726004173040 140643449617296 140643445386646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=11014496 memory=2651068 CPUtime=4.91 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) R 17631 17634 10029 0 -1 4202560 2890 13105 0 0 430 53 5 3 20 0 15 0 107081684 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642985368336 140643445386646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=11014496 memory=2651068 CPUtime=4.88 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) R 17631 17634 10029 0 -1 4202560 5739 13105 0 0 425 55 5 3 20 0 15 0 107081684 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642984316048 140643445386646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=11014496 memory=2653112 CPUtime=4.94 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) R 17631 17634 10029 0 -1 1077944384 4013 13105 0 0 431 55 5 3 20 0 15 0 107081684 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=11014496 memory=2661304 CPUtime=0.5 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 7954 13105 0 0 41 1 5 3 20 0 15 0 107081685 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642938446496 140643445384917 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=11014496 memory=2661304 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 33 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642260869984 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=11014496 memory=2661304 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 30 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642059543680 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=11014496 memory=2661304 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 665326 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=11014496 memory=2661304 CPUtime=13 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 18123 13105 0 0 1287 5 5 3 20 0 15 0 107081689 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=11014496 memory=2160 CPUtime=12.47 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 14927 13105 0 0 1234 5 5 3 20 0 15 0 107081689 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=11014496 memory=2661304 CPUtime=4.07 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 12575 13105 0 0 392 7 5 3 20 0 15 0 107081689 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=11014496 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 665326 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=11014496 memory=2653112 CPUtime=0.17 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1112 13105 0 0 5 4 5 3 20 0 15 0 107081689 11278843904 665326 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 205.85 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2661304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+208.11 s]
/proc/loadavg: 1.86 1.96 1.93 3/215 17830
/proc/meminfo: memFree=22623928/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=11014496 memory=2679704 CPUtime=252.02 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 130442 13105 0 0 24927 267 5 3 20 0 15 0 107081673 11278843904 669926 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2753624 669926 3532 1 0 2715277 0
[pid=17634/tid=17687] ppid=17631 vsize=11014496 memory=2679704 CPUtime=202.35 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 54303 13105 0 0 20207 20 5 3 20 0 15 0 107081683 11278843904 669926 33554432000 4194304 4196468 140726004173040 140643417210272 140643030675719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=11014496 memory=2677656 CPUtime=4.95 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 5887 13105 0 0 431 56 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=11014496 memory=2673568 CPUtime=5.03 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 2947 13105 0 0 441 54 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=11014496 memory=2673564 CPUtime=4.99 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 5862 13105 0 0 436 55 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=11014496 memory=2679704 CPUtime=5.06 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 4044 13105 0 0 442 56 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=11014496 memory=2679704 CPUtime=0.52 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 7998 13105 0 0 43 1 5 3 20 0 15 0 107081685 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=11014496 memory=2679704 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 33 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642260869984 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=11014496 memory=2679704 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 30 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642059543680 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=11014496 memory=2663348 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=11014496 memory=3544 CPUtime=13 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 18123 13105 0 0 1287 5 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=11014496 memory=2677656 CPUtime=12.47 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 15331 13105 0 0 1234 5 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=11014496 memory=6791534058613427641 CPUtime=4.07 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 12575 13105 0 0 392 7 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=11014496 memory=1332 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=11014496 memory=1508 CPUtime=0.19 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1114 13105 0 0 6 5 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2679704 KiB

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

[startup+208.153 s]
# the end of solver process 17634 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.344 s, system=2.72695 s

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

[startup+208.11 s]
/proc/loadavg: 1.86 1.96 1.93 3/215 17830
/proc/meminfo: memFree=22623928/32770624 swapFree=67028828/67108860
[pid=17634] ppid=17631 vsize=11014496 memory=2679704 CPUtime=252.02 cores=0,2,4,6
/proc/17634/stat : 17634 (java) S 17631 17634 10029 0 -1 1077944320 130442 13105 0 0 24927 267 5 3 20 0 15 0 107081673 11278843904 669926 33554432000 4194304 4196468 140726004173040 140726004155584 140643445374711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
/proc/17634/statm: 2753624 669926 3532 1 0 2715277 0
[pid=17634/tid=17687] ppid=17631 vsize=11014496 memory=2679704 CPUtime=202.35 cores=0,2,4,6
/proc/17634/task/17687/stat : 17687 (java) R 17631 17634 10029 0 -1 4202560 54303 13105 0 0 20207 20 5 3 20 0 15 0 107081683 11278843904 669926 33554432000 4194304 4196468 140726004173040 140643417210272 140643030675719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17688] ppid=17631 vsize=11014496 memory=2677656 CPUtime=4.95 cores=0,2,4,6
/proc/17634/task/17688/stat : 17688 (java) S 17631 17634 10029 0 -1 1077944384 5887 13105 0 0 431 56 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140643449617296 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17689] ppid=17631 vsize=11014496 memory=2673568 CPUtime=5.03 cores=0,2,4,6
/proc/17634/task/17689/stat : 17689 (java) S 17631 17634 10029 0 -1 1077944384 2947 13105 0 0 441 54 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642985368336 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17690] ppid=17631 vsize=11014496 memory=2673564 CPUtime=4.99 cores=0,2,4,6
/proc/17634/task/17690/stat : 17690 (java) S 17631 17634 10029 0 -1 1077944384 5862 13105 0 0 436 55 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642984316048 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17691] ppid=17631 vsize=11014496 memory=2679704 CPUtime=5.06 cores=0,2,4,6
/proc/17634/task/17691/stat : 17691 (java) S 17631 17634 10029 0 -1 1077944384 4044 13105 0 0 442 56 5 3 20 0 15 0 107081684 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642983263248 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17692] ppid=17631 vsize=11014496 memory=2679704 CPUtime=0.52 cores=0,2,4,6
/proc/17634/task/17692/stat : 17692 (java) S 17631 17634 10029 0 -1 1077944384 7998 13105 0 0 43 1 5 3 20 0 15 0 107081685 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642938447984 140643445385858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17693] ppid=17631 vsize=11014496 memory=2679704 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17693/stat : 17693 (java) S 17631 17634 10029 0 -1 1077944384 33 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642260869984 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17694] ppid=17631 vsize=11014496 memory=2679704 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17694/stat : 17694 (java) S 17631 17634 10029 0 -1 1077944384 30 13105 0 0 0 0 5 3 20 0 15 0 107081686 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642059543680 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17695] ppid=17631 vsize=11014496 memory=2663348 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17695/stat : 17695 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140641752143952 140643445393307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17696] ppid=17631 vsize=11014496 memory=3544 CPUtime=13 cores=0,2,4,6
/proc/17634/task/17696/stat : 17696 (java) S 17631 17634 10029 0 -1 1077944384 18123 13105 0 0 1287 5 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642937395824 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17697] ppid=17631 vsize=11014496 memory=2677656 CPUtime=12.47 cores=0,2,4,6
/proc/17634/task/17697/stat : 17697 (java) S 17631 17634 10029 0 -1 1077944384 15331 13105 0 0 1234 5 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642936343024 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17698] ppid=17631 vsize=11014496 memory=6791534058613427641 CPUtime=4.07 cores=0,2,4,6
/proc/17634/task/17698/stat : 17698 (java) S 17631 17634 10029 0 -1 1077944384 12575 13105 0 0 392 7 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642935290736 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17699] ppid=17631 vsize=11014496 memory=1332 CPUtime=0.08 cores=0,2,4,6
/proc/17634/task/17699/stat : 17699 (java) S 17631 17634 10029 0 -1 1077944384 3 13105 0 0 0 0 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140641321348064 140643445384917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
[pid=17634/tid=17700] ppid=17631 vsize=11014496 memory=1508 CPUtime=0.19 cores=0,2,4,6
/proc/17634/task/17700/stat : 17700 (java) S 17631 17634 10029 0 -1 1077944384 1114 13105 0 0 6 5 5 3 20 0 15 0 107081689 11278843904 669926 33554432000 4194304 4196468 140726004173040 140642934237616 140643445385858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 19505152 140726004177522 140726004180321 140726004180321 140726004182991 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2679704 KiB

Child status: 143
Real time (s): 208.153
CPU time (s): 252.07
CPU user time (s): 249.344
CPU system time (s): 2.72695
CPU usage (%): 121.099
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 2679704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.344
system time used= 2.72695
maximum resident set size= 2683920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22295
involuntary context switches= 575


# summary of solver processes directly reported to runsolver:
#   pid: 17634
#   total CPU time (s): 252.07
#   total CPU user time (s): 249.344
#   total CPU system time (s): 2.72695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24499 second user time and 2.02512 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-29 22:13:05
IDJOB=4302583
IDBENCH=141147
IDSOLVER=2776
FILE ID=node102/4302583-1532895185
RUNJOBID= node102-1532894154-16078
PBS_JOBID= 21022526
Free space on /tmp= 52952 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302583-1532895185/watcher-4302583-1532895185 -o /tmp/evaluation-result-4302583-1532895185/solver-4302583-1532895185 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=894771364 HOME/instance-4302583-1532895185.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=894771364

node102.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.51
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.51
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.51
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.51
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:        24249284 kB
MemAvailable:   29526908 kB
Buffers:          233212 kB
Cached:          5288688 kB
SwapCached:        53024 kB
Active:          3667604 kB
Inactive:        4325608 kB
Active(anon):    2397548 kB
Inactive(anon):    99168 kB
Active(file):    1270056 kB
Inactive(file):  4226440 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028828 kB
Dirty:             26744 kB
Writeback:             8 kB
AnonPages:       2607676 kB
Mapped:            51332 kB
Shmem:             22592 kB
Slab:             223224 kB
SReclaimable:     193928 kB
SUnreclaim:        29296 kB
KernelStack:        3600 kB
PageTables:         9796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3668644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2398208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52928 MiB
End job on node102 at 2018-07-29 22:16:33