Trace number 4392222

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.10SAT (TO)1366556 2400.12 2339.64

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2106819
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
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.75/0.54	c Concrete v3.10.1560635388952 running
45.11/18.39	o 1157243
45.35/18.48	o 1158368
45.55/18.50	o 1161532
45.55/18.52	o 1161580
45.55/18.53	o 1164001
46.89/19.08	o 1164124
46.89/19.08	o 1164255
46.89/19.10	o 1169019
47.20/19.13	o 1170092
47.20/19.14	o 1171284
47.20/19.14	o 1175725
50.26/20.80	o 1175825
50.26/20.80	o 1175991
50.43/20.81	o 1176134
50.43/20.82	o 1176183
50.43/20.82	o 1177040
50.43/20.83	o 1177419
50.43/20.84	o 1177692
50.43/20.84	o 1177888
50.43/20.85	o 1178438
50.64/20.91	o 1178532
50.64/20.91	o 1179059
50.64/20.92	o 1181688
50.64/20.92	o 1182387
50.64/20.92	o 1182436
50.64/20.93	o 1183420
50.64/20.93	o 1183809
50.64/20.94	o 1184498
50.64/20.94	o 1184884
50.91/21.13	o 1185377
50.91/21.14	o 1186468
50.91/21.14	o 1189372
50.91/21.15	o 1189435
50.91/21.15	o 1189657
50.91/21.16	o 1193980
50.91/21.16	o 1195661
50.91/21.17	o 1200378
50.91/21.17	o 1200427
50.91/21.18	o 1203084
50.91/21.19	o 1209649
50.91/21.19	o 1211454
51.04/21.20	o 1212078
51.04/21.21	o 1213414
51.04/21.21	o 1214650
51.04/21.23	o 1221642
51.04/21.25	o 1221944
51.04/21.26	o 1222333
51.04/21.27	o 1223424
51.04/21.27	o 1226620
51.04/21.28	o 1227339
51.04/21.28	o 1230561
51.37/21.41	o 1231147
52.15/22.00	o 1231533
52.15/22.00	o 1231591
52.15/22.01	o 1234658
52.29/22.01	o 1236257
52.29/22.04	o 1236745
52.29/22.05	o 1236940
52.29/22.05	o 1238054
52.29/22.05	o 1244405
52.29/22.06	o 1245733
52.29/22.08	o 1247862
52.29/22.08	o 1251855
52.29/22.09	o 1252601
52.29/22.11	o 1256031
52.46/22.11	o 1258342
52.60/22.21	o 1262107
52.60/22.21	o 1262853
52.60/22.21	o 1265214
52.60/22.22	o 1265978
52.60/22.29	o 1267770
52.72/22.30	o 1269899
55.91/24.57	o 1270083
55.91/24.57	o 1270087
55.91/24.58	o 1272059
55.91/24.58	o 1273874
55.91/24.59	o 1280670
56.03/24.60	o 1285624
56.03/24.60	o 1287137
56.03/24.61	o 1287927
56.03/24.61	o 1289041
56.03/24.62	o 1289558
56.18/24.78	o 1290098
56.18/24.78	o 1291261
56.18/24.79	o 1292007
56.18/24.79	o 1292464
56.18/24.80	o 1293228
56.32/24.80	o 1293778
56.47/24.91	o 1296016
56.47/25.00	o 1296249
56.47/25.00	o 1296253
56.47/25.00	o 1297857
56.63/25.01	o 1298491
56.63/25.02	o 1299979
56.63/25.02	o 1300963
56.63/25.02	o 1301459
56.63/25.03	o 1302223
56.63/25.03	o 1302227
67.15/32.20	o 1302695
67.15/32.21	o 1302744
67.15/32.21	o 1303421
67.28/32.31	o 1304118
67.80/32.75	o 1306246
67.80/32.75	o 1306441
67.80/32.75	o 1311726
67.80/32.78	o 1312741
67.80/32.78	o 1313855
68.57/33.35	o 1315352
68.57/33.36	o 1316098
68.57/33.36	o 1316147
68.57/33.37	o 1317517
78.99/42.16	o 1318733
78.99/42.17	o 1319200
78.99/42.17	o 1321639
78.99/42.18	o 1325670
78.99/42.18	o 1328015
78.99/42.19	o 1329617
78.99/42.19	o 1330051
78.99/42.20	o 1330601
79.10/42.21	o 1331642
79.10/42.21	o 1332209
79.10/42.22	o 1336563
79.10/42.22	o 1336612
79.10/42.23	o 1344792
79.10/42.25	o 1344883
79.10/42.26	o 1344932
79.10/42.27	o 1345346
79.10/42.28	o 1347991
79.10/42.28	o 1348310
79.20/42.32	o 1351656
79.20/42.32	o 1358048
79.20/42.33	o 1359308
79.54/42.63	o 1359738
80.71/43.60	o 1360618
80.71/43.61	o 1360955
80.71/43.61	o 1362963
81.93/44.76	o 1364548
81.93/44.77	o 1366556
2400.06/2339.60	Exception in thread "main" java.util.concurrent.TimeoutException
2400.06/2339.60		at concrete.MAC.mac(MAC.scala:189)
2400.06/2339.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2400.06/2339.60		at scala.util.Try$.apply(Try.scala:212)
2400.06/2339.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.06/2339.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.06/2339.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.06/2339.60		at concrete.MAC.oneRun(MAC.scala:253)
2400.06/2339.60		at concrete.MAC.nextSolution(MAC.scala:272)
2400.06/2339.60		at concrete.MAC.nextSolution(MAC.scala:355)
2400.06/2339.60		at concrete.Solver.hasNext(Solver.scala:160)
2400.06/2339.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.06/2339.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.06/2339.61		at concrete.Solver.foreach(Solver.scala:67)
2400.06/2339.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2400.06/2339.61		at scala.util.Success.map(Try.scala:264)
2400.06/2339.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2400.06/2339.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.06/2339.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2339.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.06/2339.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2339.61		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.06/2339.61		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.06/2339.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.06/2339.61		at scala.App.$anonfun$main$1(App.scala:75)
2400.06/2339.61		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.06/2339.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.06/2339.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.06/2339.61		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.06/2339.61		at scala.App.main(App.scala:75)
2400.06/2339.61		at scala.App.main$(App.scala:73)
2400.06/2339.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2339.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2339.62	v <instantiation
2400.06/2339.62	v         cost = '1366556'>
2400.06/2339.62	v       <list>
2400.06/2339.62	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]
2400.06/2339.62	v       </list>
2400.06/2339.62	v       <values>
2400.06/2339.62	v         0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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
2400.06/2339.62	v       </values>
2400.06/2339.62	v     </instantiation>
2400.06/2339.62	s SATISFIABLE

Verifier Data 

OK	1366556

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392222-1568330509/watcher-4392222-1568330509 -o /tmp/evaluation-result-4392222-1568330509/solver-4392222-1568330509 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568309802-8655 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2076488889 HOME/instance-4392222-1568330509.xml 

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

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

solver pid=15703, runsolver pid=15700

[startup+0.100059 s]*
/proc/loadavg: 1.64 1.45 1.46 5/220 15760
/proc/meminfo: memFree=22783788/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=9972712 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 4481 13305 0 0 1 0 5 3 20 0 6 0 408988324 10212057088 4716 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2493178 4716 1935 1 0 2481616 0
[pid=15703/tid=15756] ppid=15700 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 2288 13305 0 0 1 0 5 3 20 0 6 0 408988333 10212057088 4781 33554432000 4194304 4196468 140724541705200 140635945845328 140635957201318 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 6 0 408988334 10212057088 4781 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=9972712 memory=139820536514176 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 408988334 10212057088 4781 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 408988334 10212057088 4781 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 6 0 408988334 10212057088 4781 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB

[startup+0.21022 s]*
/proc/loadavg: 1.64 1.45 1.46 5/229 15769
/proc/meminfo: memFree=22759292/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10818940 memory=42396 CPUtime=0.26 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 6903 13305 0 0 17 1 5 3 20 0 15 0 408988324 11078594560 10599 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2704735 10599 2983 1 0 2667149 0
[pid=15703/tid=15756] ppid=15700 vsize=10818940 memory=5450916389569530688 CPUtime=0.19 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 3408 13305 0 0 11 0 5 3 20 0 15 0 408988333 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635945841424 140635958089054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988334 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10818940 memory=139820536514176 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988334 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988334 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988334 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10818940 memory=139820536514176 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988335 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 408988336 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635415766432 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988336 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635281548784 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11078594560 10599 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 205 13305 0 0 0 0 5 3 20 0 15 0 408988339 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 422 13305 0 0 1 0 5 3 20 0 15 0 408988339 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10818940 memory=139820536514176 CPUtime=0.11 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) R 15700 15703 8623 0 -1 4202560 637 13305 0 0 3 0 5 3 20 0 15 0 408988339 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635497466096 140635952683697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11078594560 10599 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10818940 memory=139820536514176 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988339 11078594560 10599 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42396 KiB

[startup+0.310758 s]*
/proc/loadavg: 1.64 1.45 1.46 5/229 15769
/proc/meminfo: memFree=22748036/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10820096 memory=54284 CPUtime=0.4 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 10678 13305 0 0 29 3 5 3 20 0 15 0 408988324 11079778304 13571 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2705024 13571 3297 1 0 2667149 0
[pid=15703/tid=15756] ppid=15700 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 7151 13305 0 0 19 2 5 3 20 0 15 0 408988333 11079778304 13571 33554432000 4194304 4196468 140724541705200 140635945836240 140635974020502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10820096 memory=5793441594504211304 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988334 11079778304 13571 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10820096 memory=5787213827347079232 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988334 11079778304 13571 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10820096 memory=7649539191691889601 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988334 11079778304 13571 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10820244 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988334 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988335 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 408988336 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635415766432 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988336 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635281548784 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11079929856 13571 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 206 13305 0 0 1 0 5 3 20 0 15 0 408988339 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 423 13305 0 0 2 0 5 3 20 0 15 0 408988339 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) S 15700 15703 8623 0 -1 1077944384 664 13305 0 0 5 0 5 3 20 0 15 0 408988339 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635497466096 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11079929856 13571 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988339 11079929856 13571 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 54284 KiB

[startup+0.701049 s]
/proc/loadavg: 1.64 1.45 1.46 8/229 15769
/proc/meminfo: memFree=22730844/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10824340 memory=84856 CPUtime=1.15 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 14884 13305 0 0 102 5 5 3 20 0 15 0 408988324 11084124160 21214 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2706085 21214 3508 1 0 2668173 0
[pid=15703/tid=15756] ppid=15700 vsize=10824340 memory=2241 CPUtime=0.68 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 10509 13305 0 0 56 4 5 3 20 0 15 0 408988333 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635945834808 140635958089054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10824340 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988334 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988334 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988334 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988334 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 5 13305 0 0 0 0 5 3 20 0 15 0 408988335 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 408988336 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635415766432 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988336 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635281548784 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11084124160 21214 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10824340 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 602 13305 0 0 15 0 5 3 20 0 15 0 408988339 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 657 13305 0 0 13 0 5 3 20 0 15 0 408988339 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10824340 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) R 15700 15703 8623 0 -1 4202560 881 13305 0 0 18 0 5 3 20 0 15 0 408988339 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635497466096 140635974029914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10824340 memory=279640757240048 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11084124160 21214 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988339 11084124160 21214 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84856 KiB

[startup+1.50689 s]
/proc/loadavg: 1.64 1.45 1.46 5/229 15769
/proc/meminfo: memFree=22667384/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10834656 memory=203788 CPUtime=2.98 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 25943 13305 0 0 279 11 5 3 20 0 15 0 408988324 11094687744 50947 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2708664 50947 3581 1 0 2670733 0
[pid=15703/tid=15756] ppid=15700 vsize=10834656 memory=26 CPUtime=1.44 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 15457 13305 0 0 130 6 5 3 20 0 15 0 408988333 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635945830872 140635568224570 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10834656 memory=31 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 61 13305 0 0 1 0 5 3 20 0 15 0 408988334 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 299 13305 0 0 1 0 5 3 20 0 15 0 408988334 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 24 13305 0 0 1 0 5 3 20 0 15 0 408988334 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10834656 memory=110640 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 80 13305 0 0 1 0 5 3 20 0 15 0 408988334 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 107 13305 0 0 1 0 5 3 20 0 15 0 408988335 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10834656 memory=6296985926779097952 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 13 13305 0 0 0 0 5 3 20 0 15 0 408988336 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635415766496 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10834656 memory=7237968937003149926 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988336 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635281548800 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10834656 memory=7595416894696679015 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11094687744 50947 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10834656 memory=5787214961271134564 CPUtime=0.57 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 2571 13305 0 0 49 0 5 3 20 0 15 0 408988339 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10834656 memory=7595154064206353514 CPUtime=0.58 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 2730 13305 0 0 50 0 5 3 20 0 15 0 408988339 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10834656 memory=6296985926779097952 CPUtime=0.49 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) S 15700 15703 8623 0 -1 1077944384 2388 13305 0 0 41 0 5 3 20 0 15 0 408988339 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635497466096 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10834656 memory=6296985926779097952 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11094687744 50947 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10834656 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 408988339 11094687744 50947 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10834656 KiB

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

/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 261618 13305 0 0 218903 38 5 3 20 0 15 0 408988333 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635945844272 140635580061732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10846964 memory=2328252 CPUtime=10.79 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 28287 13305 0 0 1016 55 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10846964 memory=2328252 CPUtime=10.88 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 39572 13305 0 0 1023 57 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10846964 memory=8 CPUtime=10.77 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 31949 13305 0 0 1014 55 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10846964 memory=164 CPUtime=10.8 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 38385 13305 0 0 1012 60 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10846964 memory=2328252 CPUtime=1.43 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 34399 13305 0 0 125 10 5 3 20 0 15 0 408988335 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10846964 memory=38620 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 17 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635415766496 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10846964 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 8 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635281548800 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10846964 memory=1536 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10846964 memory=932 CPUtime=10.32 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 10173 13305 0 0 1018 6 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10846964 memory=4824 CPUtime=10.37 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 11295 13305 0 0 1023 6 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10846964 memory=1899 CPUtime=5.22 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) S 15700 15703 8623 0 -1 1077944384 18136 13305 0 0 506 8 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635497466096 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10846964 memory=2328252 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10846964 memory=2328252 CPUtime=1.17 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1250 13305 0 0 54 55 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 2260.62 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2328252 KiB

[startup+2262.3 s]
/proc/loadavg: 1.60 1.44 1.44 3/228 15998
/proc/meminfo: memFree=20612612/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10846964 memory=2328252 CPUtime=2321.56 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 485587 13305 0 0 231805 343 5 3 20 0 15 0 408988324 11107291136 582063 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2711741 582063 3628 1 0 2673805 0
[pid=15703/tid=15756] ppid=15700 vsize=10846964 memory=2328252 CPUtime=2249.11 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 264215 13305 0 0 224865 38 5 3 20 0 15 0 408988333 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635945844320 140635579201984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10846964 memory=2328252 CPUtime=11.11 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 28651 13305 0 0 1047 56 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10846964 memory=2328252 CPUtime=11.18 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 40657 13305 0 0 1053 57 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10846964 memory=2328252 CPUtime=11.07 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 34132 13305 0 0 1044 55 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10846964 memory=0 CPUtime=11.11 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 39735 13305 0 0 1042 61 5 3 20 0 15 0 408988334 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10846964 memory=2328252 CPUtime=1.48 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 35066 13305 0 0 130 10 5 3 20 0 15 0 408988335 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10846964 memory=2328252 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 17 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635415766496 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10846964 memory=3924 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 8 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635281548800 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10846964 memory=2328252 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10846964 memory=2328252 CPUtime=10.32 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 10177 13305 0 0 1018 6 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10846964 memory=2328252 CPUtime=10.37 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 11301 13305 0 0 1023 6 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10846964 memory=812 CPUtime=5.22 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) S 15700 15703 8623 0 -1 1077944384 18140 13305 0 0 506 8 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635497466096 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10846964 memory=2328252 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10846964 memory=1636 CPUtime=1.21 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1277 13305 0 0 56 57 5 3 20 0 15 0 408988339 11107291136 582063 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 2321.56 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2328252 KiB

[startup+2322.3 s]
/proc/loadavg: 1.64 1.47 1.45 4/218 16121
/proc/meminfo: memFree=21942248/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10846964 memory=2308244 CPUtime=2382.49 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 490127 13305 0 0 237894 347 5 3 20 0 15 0 408988324 11107291136 577061 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2711741 577061 3628 1 0 2673805 0
[pid=15703/tid=15756] ppid=15700 vsize=10846964 memory=2308756 CPUtime=2308.73 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 265344 13305 0 0 230827 38 5 3 20 0 15 0 408988333 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635945844416 140635579202390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10846964 memory=2308756 CPUtime=11.41 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 30130 13305 0 0 1077 56 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10846964 memory=2319016 CPUtime=11.48 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 41175 13305 0 0 1083 57 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10846964 memory=0 CPUtime=11.38 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 34981 13305 0 0 1074 56 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10846964 memory=2308756 CPUtime=11.41 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 39923 13305 0 0 1072 61 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10846964 memory=2308756 CPUtime=1.53 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 35416 13305 0 0 134 11 5 3 20 0 15 0 408988335 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10846964 memory=2308244 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 17 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635415766496 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10846964 memory=2308244 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 8 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635281548800 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10846964 memory=2308244 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10846964 memory=2308244 CPUtime=10.33 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 10180 13305 0 0 1018 7 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10846964 memory=2308244 CPUtime=10.37 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 11303 13305 0 0 1023 6 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10846964 memory=2308244 CPUtime=5.22 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) S 15700 15703 8623 0 -1 1077944384 18142 13305 0 0 506 8 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635497466096 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10846964 memory=2308244 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10846964 memory=2308244 CPUtime=1.24 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1297 13305 0 0 57 59 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 2382.49 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2308244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2339.6 s]
/proc/loadavg: 2.00 1.56 1.48 3/228 16138
/proc/meminfo: memFree=21329908/32770624 swapFree=67108848/67108860
[pid=15703] ppid=15700 vsize=10846964 memory=2308244 CPUtime=2400.06 cores=1,3,5,7
/proc/15703/stat : 15703 (java) S 15700 15703 8623 0 -1 1077944320 491935 13305 0 0 239650 348 5 3 20 0 15 0 408988324 11107291136 577061 33554432000 4194304 4196468 140724541705200 140724541687744 140635974008567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
/proc/15703/statm: 2711741 577061 3628 1 0 2673805 0
[pid=15703/tid=15756] ppid=15700 vsize=10846964 memory=2308244 CPUtime=2325.92 cores=1,3,5,7
/proc/15703/task/15756/stat : 15756 (java) R 15700 15703 8623 0 -1 4202560 265938 13305 0 0 232546 38 5 3 20 0 15 0 408988333 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635945844432 140635579202069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15757] ppid=15700 vsize=10846964 memory=7595715772797184103 CPUtime=11.5 cores=1,3,5,7
/proc/15703/task/15757/stat : 15757 (java) S 15700 15703 8623 0 -1 1077944384 30212 13305 0 0 1086 56 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635978250512 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15758] ppid=15700 vsize=10846964 memory=6791534058613427641 CPUtime=11.56 cores=1,3,5,7
/proc/15703/task/15758/stat : 15758 (java) S 15700 15703 8623 0 -1 1077944384 42190 13305 0 0 1091 57 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635893070224 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15759] ppid=15700 vsize=10846964 memory=1792 CPUtime=11.47 cores=1,3,5,7
/proc/15703/task/15759/stat : 15759 (java) S 15700 15703 8623 0 -1 1077944384 35037 13305 0 0 1083 56 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635892017680 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15760] ppid=15700 vsize=10846964 memory=8612 CPUtime=11.5 cores=1,3,5,7
/proc/15703/task/15760/stat : 15760 (java) S 15700 15703 8623 0 -1 1077944384 39931 13305 0 0 1081 61 5 3 20 0 15 0 408988334 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635890965136 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15761] ppid=15700 vsize=10846964 memory=1192 CPUtime=1.54 cores=1,3,5,7
/proc/15703/task/15761/stat : 15761 (java) S 15700 15703 8623 0 -1 1077944384 35451 13305 0 0 135 11 5 3 20 0 15 0 408988335 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635500624368 140635974019714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15762] ppid=15700 vsize=10846964 memory=5536 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15762/stat : 15762 (java) S 15700 15703 8623 0 -1 1077944384 17 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635415766496 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15763] ppid=15700 vsize=10846964 memory=4540 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15763/stat : 15763 (java) S 15700 15703 8623 0 -1 1077944384 8 13305 0 0 0 0 5 3 20 0 15 0 408988336 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635281548800 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15764] ppid=15700 vsize=10846964 memory=752 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15764/stat : 15764 (java) S 15700 15703 8623 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140634677570256 140635974027163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15765] ppid=15700 vsize=10846964 memory=1808 CPUtime=10.33 cores=1,3,5,7
/proc/15703/task/15765/stat : 15765 (java) S 15700 15703 8623 0 -1 1077944384 10180 13305 0 0 1018 7 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635499571184 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15766] ppid=15700 vsize=10846964 memory=920 CPUtime=10.37 cores=1,3,5,7
/proc/15703/task/15766/stat : 15766 (java) S 15700 15703 8623 0 -1 1077944384 11303 13305 0 0 1023 6 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635498518640 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15767] ppid=15700 vsize=10846964 memory=3848 CPUtime=5.22 cores=1,3,5,7
/proc/15703/task/15767/stat : 15767 (java) S 15700 15703 8623 0 -1 1077944384 18142 13305 0 0 506 8 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635497466096 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15768] ppid=15700 vsize=10846964 memory=2696 CPUtime=0.08 cores=1,3,5,7
/proc/15703/task/15768/stat : 15768 (java) S 15700 15703 8623 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140634207808096 140635974018773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
[pid=15703/tid=15769] ppid=15700 vsize=10846964 memory=2608 CPUtime=1.25 cores=1,3,5,7
/proc/15703/task/15769/stat : 15769 (java) S 15700 15703 8623 0 -1 1077944384 1315 13305 0 0 57 60 5 3 20 0 15 0 408988339 11107291136 577061 33554432000 4194304 4196468 140724541705200 140635496414000 140635974019714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140724541709045 140724541711557 140724541711557 140724541714383 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2308244 KiB

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

[startup+2339.64 s]
# the end of solver process 15703 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.58 s, system=3.53876 s

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

Child status: 143
Real time (s): 2339.64
CPU time (s): 2400.12
CPU user time (s): 2396.58
CPU system time (s): 3.53876
CPU usage (%): 102.585
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 2472916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.58
system time used= 3.53876
maximum resident set size= 2473432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93444
involuntary context switches= 2754


# summary of solver processes directly reported to runsolver:
#   pid: 15703
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2396.58
#   total CPU system time (s): 3.53876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7342 second user time and 25.9815 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 01:21:08
IDJOB=4392222
IDBENCH=141154
IDSOLVER=2837
FILE ID=node143/4392222-1568330509
RUNJOBID= node143-1568309802-8655
PBS_JOBID= 21701123
Free space on /tmp= 58820 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392222-1568330509/watcher-4392222-1568330509 -o /tmp/evaluation-result-4392222-1568330509/solver-4392222-1568330509 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568309802-8655 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=2076488889 HOME/instance-4392222-1568330509.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=2076488889

node143.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.73
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.73
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.73
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.73
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:        22791072 kB
MemAvailable:   30296080 kB
Buffers:          162644 kB
Cached:          7630000 kB
SwapCached:            8 kB
Active:          3667540 kB
Inactive:        5639776 kB
Active(anon):    1469788 kB
Inactive(anon):   144520 kB
Active(file):    2197752 kB
Inactive(file):  5495256 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             35628 kB
Writeback:             0 kB
AnonPages:       1613100 kB
Mapped:            61112 kB
Shmem:             90756 kB
Slab:             269104 kB
SReclaimable:     240460 kB
SUnreclaim:        28644 kB
KernelStack:        4016 kB
PageTables:         8636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3053896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 58784 MiB
End job on node143 at 2019-09-13 02:00:08