Trace number 4304284

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)1454405 2520.09 2427.35

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1955977
Best CPU time to get the best result obtained on this benchmark2520.18
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 

1.00/0.75	c Concrete v3.9.2.1532736233296 running
47.88/26.60	o 1209528
50.25/27.67	o 1214184
50.25/27.70	o 1215995
50.48/27.73	o 1216310
50.48/27.75	o 1218121
89.95/51.50	o 1218623
89.95/51.52	o 1218672
89.95/51.53	o 1219388
89.95/51.55	o 1220282
89.95/51.56	o 1221396
89.95/51.59	o 1224215
90.12/51.60	o 1225364
90.12/51.62	o 1225908
90.12/51.64	o 1226836
90.12/51.65	o 1228632
90.12/51.67	o 1229467
90.12/51.69	o 1229516
90.22/51.70	o 1229519
90.22/51.72	o 1231488
90.22/51.75	o 1234316
90.22/51.76	o 1236175
90.22/51.78	o 1236719
90.33/51.81	o 1238126
91.10/52.05	o 1238746
91.10/52.09	o 1238911
91.10/52.11	o 1240040
91.22/52.12	o 1241328
91.22/52.14	o 1246301
91.22/52.15	o 1246750
91.22/52.17	o 1247434
91.22/52.18	o 1248722
91.22/52.19	o 1249730
91.32/52.21	o 1249989
91.32/52.22	o 1251589
91.64/52.54	o 1252123
91.64/52.55	o 1256557
91.64/52.57	o 1257264
91.64/52.58	o 1260460
91.64/52.60	o 1261961
91.74/52.61	o 1264382
114.27/71.01	o 1264631
114.27/71.02	o 1264826
114.27/71.04	o 1264969
114.27/71.05	o 1264973
114.27/71.07	o 1265021
114.27/71.08	o 1265540
114.27/71.10	o 1266048
114.37/71.11	o 1268259
114.37/71.13	o 1273010
114.37/71.14	o 1273756
114.37/71.16	o 1275342
114.37/71.17	o 1275736
114.37/71.19	o 1275879
114.47/71.20	o 1276429
114.47/71.21	o 1276433
114.47/71.25	o 1278250
114.47/71.26	o 1282002
114.47/71.28	o 1282691
114.47/71.29	o 1285002
114.57/71.31	o 1286093
114.57/71.33	o 1286564
114.57/71.34	o 1286784
114.57/71.36	o 1288643
114.57/71.37	o 1290829
114.57/71.39	o 1294438
114.68/71.40	o 1294988
114.68/71.48	o 1295752
114.78/71.52	o 1296900
114.78/71.54	o 1297646
114.78/71.55	o 1298293
114.78/71.56	o 1300049
114.78/71.58	o 1301845
114.89/71.66	o 1302379
114.89/71.68	o 1302428
114.89/71.69	o 1308032
115.00/71.71	o 1310040
115.00/71.72	o 1310235
115.21/71.91	o 1311796
115.21/71.92	o 1312415
115.21/71.93	o 1314863
115.21/71.95	o 1316104
115.21/71.96	o 1318415
116.06/72.77	o 1318706
116.06/72.78	o 1321154
169.79/116.86	o 1321347
169.79/116.88	o 1323316
169.90/116.91	o 1324961
169.90/116.92	o 1329181
169.90/116.96	o 1331984
170.65/117.21	o 1332812
170.65/117.22	o 1333443
170.65/117.26	o 1338185
170.65/117.27	o 1338571
170.65/117.29	o 1340193
170.77/117.30	o 1340579
170.77/117.34	o 1341570
170.77/117.36	o 1341861
170.77/117.37	o 1343539
170.77/117.39	o 1347524
170.87/117.42	o 1348812
170.87/117.45	o 1349629
170.87/117.47	o 1353038
170.87/117.48	o 1354022
170.98/117.52	o 1355977
172.30/118.81	o 1356992
295.71/235.57	o 1357261
295.81/235.65	o 1357637
295.92/235.72	o 1357869
295.92/235.74	o 1359333
303.82/242.91	o 1359397
303.82/242.92	o 1360324
303.82/242.96	o 1367159
303.82/242.97	o 1367977
303.82/242.99	o 1372197
303.93/243.04	o 1372298
303.93/243.06	o 1372817
304.04/243.12	o 1375172
304.04/243.13	o 1378368
304.04/243.15	o 1384183
304.04/243.16	o 1385912
304.04/243.18	o 1386107
304.13/243.29	o 1386659
304.24/243.31	o 1388667
304.24/243.32	o 1389633
304.24/243.34	o 1390560
304.24/243.35	o 1390691
304.45/243.48	o 1392660
304.80/243.50	o 1392681
304.80/243.52	o 1393539
304.80/243.53	o 1395463
304.80/243.55	o 1400403
304.80/243.56	o 1400789
305.55/244.22	o 1403206
305.55/244.23	o 1407599
305.55/244.25	o 1407924
305.55/244.26	o 1409848
306.17/244.81	o 1410938
306.17/244.83	o 1411627
306.17/244.85	o 1411821
306.17/244.86	o 1412639
306.17/244.88	o 1415492
306.17/244.89	o 1417405
307.73/246.32	o 1418236
307.73/246.33	o 1422670
307.73/246.34	o 1424795
307.73/246.36	o 1425613
307.73/246.37	o 1428838
307.73/246.39	o 1432615
309.98/248.55	o 1433084
309.98/248.57	o 1434145
309.98/248.59	o 1435540
310.09/248.60	o 1436059
310.09/248.61	o 1436986
310.09/248.63	o 1437403
310.09/248.64	o 1437922
310.09/248.65	o 1439915
310.09/248.67	o 1440661
310.09/248.68	o 1440792
324.09/261.98	o 1441468
324.09/262.00	o 1442214
347.58/284.41	o 1443295
347.58/284.44	o 1444285
354.63/291.37	o 1447495
354.63/291.38	o 1447540
354.63/291.39	o 1449464
354.73/291.41	o 1454405
2520.01/2427.31	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2427.31		at concrete.MAC.mac(MAC.scala:188)
2520.01/2427.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2427.31		at scala.util.Try$.apply(Try.scala:209)
2520.01/2427.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2427.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2427.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2427.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2427.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2427.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2427.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2427.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2427.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2427.31		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2427.31		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2427.31		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2427.31		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2427.31		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2427.31		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2427.31		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2427.31		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2427.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2427.31		at scala.util.Success.map(Try.scala:209)
2520.01/2427.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2427.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2427.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2427.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2427.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2427.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2427.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2427.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2427.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2427.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2427.31		at scala.App.main(App.scala:76)
2520.01/2427.31		at scala.App.main$(App.scala:74)
2520.01/2427.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2427.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2427.32	v <instantiation cost="1454405">
2520.01/2427.32	v       <list>
2520.01/2427.32	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.01/2427.32	v       </list>
2520.01/2427.32	v       <values>
2520.01/2427.32	v         0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 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 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 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 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 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.01/2427.32	v       </values>
2520.01/2427.32	v     </instantiation>
2520.01/2427.32	s SATISFIABLE

Verifier Data 

OK	1454405

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304284-1534052932/watcher-4304284-1534052932 -o /tmp/evaluation-result-4304284-1534052932/solver-4304284-1534052932 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1213675795 -superng HOME/instance-4304284-1534052932.xml 

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

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

solver pid=15407, runsolver pid=15404

[startup+0.100061 s]*
/proc/loadavg: 2.15 1.94 1.83 3/206 15464
/proc/meminfo: memFree=4174356/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=10005480 memory=16680 CPUtime=0.1 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 4346 12956 0 0 1 1 5 3 20 0 6 0 222856353 10245611520 4170 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2501370 4170 1932 1 0 2489808 0
[pid=15407/tid=15460] ppid=15404 vsize=10005480 memory=4279135703913366413 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 2168 12956 0 0 0 0 5 3 20 0 6 0 222856362 10245611520 4236 33554432000 4194304 4196468 140720563179312 139734558827088 139734572672853 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 6 0 222856363 10245611520 4236 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=10005480 memory=140089137690240 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 6 0 222856363 10245611520 4236 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 6 0 222856363 10245611520 4236 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 2 12956 0 0 0 0 5 3 20 0 6 0 222856363 10245611520 4236 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16680 KiB

[startup+0.209891 s]*
/proc/loadavg: 2.15 1.94 1.83 3/215 15473
/proc/meminfo: memFree=4150440/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=10982744 memory=43152 CPUtime=0.26 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 7423 12956 0 0 16 2 5 3 20 0 15 0 222856353 11246329856 10788 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2745686 10788 2989 1 0 2708109 0
[pid=15407/tid=15460] ppid=15404 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 4062 12956 0 0 10 1 5 3 20 0 15 0 222856362 11246329856 10854 33554432000 4194304 4196468 140720563179312 139734558813704 139734567266087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246329856 10854 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=10982744 memory=4122676698272364192 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246329856 10854 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246329856 10854 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 2 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246329856 10854 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=10982744 memory=140089137690240 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 2 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246329856 10854 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 13 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246329856 10920 33554432000 4194304 4196468 140720563179312 139733352048032 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246329856 10920 33554432000 4194304 4196468 140720563179312 139733204198896 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246329856 10920 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 552 12956 0 0 1 0 5 3 20 0 15 0 222856368 11246329856 10920 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 69 12956 0 0 1 0 5 3 20 0 15 0 222856368 11246329856 10920 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=10982744 memory=140089137690240 CPUtime=0.11 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 599 12956 0 0 3 0 5 3 20 0 15 0 222856368 11246329856 10920 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246329856 10920 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=10982744 memory=140089137690240 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246329856 10920 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43152 KiB

[startup+0.310267 s]*
/proc/loadavg: 2.15 1.94 1.83 3/215 15473
/proc/meminfo: memFree=4137052/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=10983192 memory=55808 CPUtime=0.39 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 10426 12956 0 0 28 3 5 3 20 0 15 0 222856353 11246788608 13910 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2745798 13952 3108 1 0 2708109 0
[pid=15407/tid=15460] ppid=15404 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 6980 12956 0 0 19 2 5 3 20 0 15 0 222856362 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734558802336 139734568553865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 2 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 2 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 13 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246788608 13952 33554432000 4194304 4196468 140720563179312 139733352048032 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246788608 13952 33554432000 4194304 4196468 140720563179312 139733204198896 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246788608 13952 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 552 12956 0 0 1 0 5 3 20 0 15 0 222856368 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 70 12956 0 0 1 0 5 3 20 0 15 0 222856368 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=10983192 memory=140089137690240 CPUtime=0.13 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 610 12956 0 0 5 0 5 3 20 0 15 0 222856368 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246788608 13952 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=10983192 memory=140089137690240 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246788608 13952 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55808 KiB

[startup+0.700831 s]
/proc/loadavg: 2.15 1.94 1.83 3/215 15473
/proc/meminfo: memFree=4126128/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=10983192 memory=88300 CPUtime=1 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 16741 12956 0 0 87 5 5 3 20 0 15 0 222856353 11246788608 22075 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2745798 22075 3238 1 0 2708109 0
[pid=15407/tid=15460] ppid=15404 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 12214 12956 0 0 55 3 5 3 20 0 15 0 222856362 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734558818208 139734587012253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 2 12956 0 0 0 0 5 3 20 0 15 0 222856363 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 5 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=10983192 memory=140089015546576 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 13 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246788608 22075 33554432000 4194304 4196468 140720563179312 139733352048032 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=10983192 memory=140093243261539 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856365 11246788608 22075 33554432000 4194304 4196468 140720563179312 139733204198896 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=10983192 memory=10824 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246788608 22075 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=10983192 memory=7234564758908855872 CPUtime=0.15 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 955 12956 0 0 7 0 5 3 20 0 15 0 222856368 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=10983192 memory=8099279071866868843 CPUtime=0.18 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 656 12956 0 0 10 0 5 3 20 0 15 0 222856368 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=10983192 memory=6154282490091891024 CPUtime=0.21 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 693 12956 0 0 13 0 5 3 20 0 15 0 222856368 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=10983192 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246788608 22075 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856368 11246788608 22075 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88300 KiB

[startup+1.50681 s]
/proc/loadavg: 2.15 1.94 1.83 3/215 15473
/proc/meminfo: memFree=4081968/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=10998092 memory=202496 CPUtime=2.85 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 25933 12956 0 0 267 10 5 3 20 0 15 0 222856353 11262046208 50624 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2749523 50624 3471 1 0 2711181 0
[pid=15407/tid=15460] ppid=15404 vsize=10998092 memory=12813 CPUtime=1.43 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 17005 12956 0 0 130 5 5 3 20 0 15 0 222856362 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734558801456 139734573209420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 55 12956 0 0 1 0 5 3 20 0 15 0 222856363 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=10998092 memory=3594 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 19 12956 0 0 1 0 5 3 20 0 15 0 222856363 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=10998092 memory=243571 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 175 12956 0 0 1 0 5 3 20 0 15 0 222856363 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=10998092 memory=88300 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 24 12956 0 0 1 0 5 3 20 0 15 0 222856363 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 49 12956 0 0 1 0 5 3 20 0 15 0 222856365 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=10998092 memory=280178031034864 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 14 12956 0 0 0 0 5 3 20 0 15 0 222856365 11262046208 50624 33554432000 4194304 4196468 140720563179312 139733352048096 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=10998092 memory=280178031085664 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856365 11262046208 50624 33554432000 4194304 4196468 140720563179312 139733204198896 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11262046208 50624 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=10998092 memory=4638778398332698720 CPUtime=0.52 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 2102 12956 0 0 44 0 5 3 20 0 15 0 222856368 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=10998092 memory=280178031369152 CPUtime=0.52 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 2687 12956 0 0 44 0 5 3 20 0 15 0 222856368 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=10998092 memory=-7531822216213012384 CPUtime=0.47 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 1603 12956 0 0 39 0 5 3 20 0 15 0 222856368 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=10998092 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11262046208 50624 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=10998092 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 1 12956 0 0 0 0 5 3 20 0 15 0 222856368 11262046208 50624 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 10998092 KiB

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

/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 192492 12956 0 0 229967 45 5 3 20 0 15 0 222856362 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734558825440 139734176205583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=11014496 memory=3906096 CPUtime=20.65 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 42679 12956 0 0 1956 101 5 3 20 0 15 0 222856363 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=11014496 memory=3906096 CPUtime=20.59 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 30923 12956 0 0 1953 98 5 3 20 0 15 0 222856363 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=11014496 memory=3906096 CPUtime=20.58 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 29504 12956 0 0 1951 99 5 3 20 0 15 0 222856363 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=11014496 memory=3906096 CPUtime=20.62 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 23383 12956 0 0 1956 98 5 3 20 0 15 0 222856363 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=11014496 memory=3906096 CPUtime=0.93 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 51825 12956 0 0 76 9 5 3 20 0 15 0 222856365 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=11014496 memory=3906096 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 29 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 976524 33554432000 4194304 4196468 140720563179312 139733352048096 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=11014496 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 17 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 976524 33554432000 4194304 4196468 140720563179312 139733204198912 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=11014496 memory=3906096 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 976524 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=11014496 memory=3906096 CPUtime=12.78 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 36212 12956 0 0 1263 7 5 3 20 0 15 0 222856368 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=11014496 memory=0 CPUtime=12.74 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 35544 12956 0 0 1260 6 5 3 20 0 15 0 222856368 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=11014496 memory=3906096 CPUtime=4.39 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 29901 12956 0 0 423 8 5 3 20 0 15 0 222856368 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=11014496 memory=3906096 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 976524 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=11014496 memory=3906096 CPUtime=1.39 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 2016 12956 0 0 65 66 5 3 20 0 15 0 222856368 11278843904 976524 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 2414.27 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3906096 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.64 1.67 3/215 15721
/proc/meminfo: memFree=3702336/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=11014496 memory=3953852 CPUtime=2474.64 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 482693 12956 0 0 246919 537 5 3 20 0 15 0 222856353 11278843904 988463 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2753624 988463 3535 1 0 2715277 0
[pid=15407/tid=15460] ppid=15404 vsize=11014496 memory=1704 CPUtime=2360.08 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 195696 12956 0 0 235954 46 5 3 20 0 15 0 222856362 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734558825808 139734166053839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=11014496 memory=3953852 CPUtime=20.76 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 42794 12956 0 0 1965 103 5 3 20 0 15 0 222856363 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=11014496 memory=3941528 CPUtime=20.71 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 32715 12956 0 0 1962 101 5 3 20 0 15 0 222856363 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=11014496 memory=3953852 CPUtime=20.69 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 29780 12956 0 0 1960 101 5 3 20 0 15 0 222856363 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=11014496 memory=3953852 CPUtime=20.73 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 23603 12956 0 0 1965 100 5 3 20 0 15 0 222856363 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=11014496 memory=3953852 CPUtime=0.93 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 52147 12956 0 0 76 9 5 3 20 0 15 0 222856365 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=11014496 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 29 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 988463 33554432000 4194304 4196468 140720563179312 139733352048096 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=11014496 memory=280178031680768 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 17 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 988463 33554432000 4194304 4196468 140720563179312 139733204198912 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=11014496 memory=7955443060742383216 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 988463 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=11014496 memory=3941564 CPUtime=12.78 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 36216 12956 0 0 1263 7 5 3 20 0 15 0 222856368 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=11014496 memory=3612079999495976162 CPUtime=12.74 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 35548 12956 0 0 1260 6 5 3 20 0 15 0 222856368 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=11014496 memory=3953852 CPUtime=4.39 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 29908 12956 0 0 423 8 5 3 20 0 15 0 222856368 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=11014496 memory=3953852 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 988463 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=11014496 memory=6791534058613427641 CPUtime=1.43 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 2042 12956 0 0 67 68 5 3 20 0 15 0 222856368 11278843904 988463 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 2474.64 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3953852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2427.3 s]
/proc/loadavg: 1.73 1.66 1.68 3/215 15721
/proc/meminfo: memFree=3702896/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=11014496 memory=3953880 CPUtime=2520.01 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 487299 12956 0 0 251455 538 5 3 20 0 15 0 222856353 11278843904 988470 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2753624 988470 3535 1 0 2715277 0
[pid=15407/tid=15460] ppid=15404 vsize=11014496 memory=3953880 CPUtime=2404.95 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 198439 12956 0 0 240440 47 5 3 20 0 15 0 222856362 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734558825232 139734176720320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.88 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 42967 12956 0 0 1977 103 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.83 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 32775 12956 0 0 1974 101 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.81 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 30727 12956 0 0 1972 101 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.85 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 23925 12956 0 0 1977 100 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=11014496 memory=3953880 CPUtime=0.94 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 52469 12956 0 0 77 9 5 3 20 0 15 0 222856365 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 29 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 988470 33554432000 4194304 4196468 140720563179312 139733352048096 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 17 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 988470 33554432000 4194304 4196468 140720563179312 139733204198912 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=11014496 memory=3953880 CPUtime=12.78 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 36220 12956 0 0 1263 7 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=11014496 memory=4128 CPUtime=12.74 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 35554 12956 0 0 1260 6 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=11014496 memory=60580 CPUtime=4.39 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 29913 12956 0 0 423 8 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=11014496 memory=3953880 CPUtime=1.45 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 2066 12956 0 0 68 69 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3953880 KiB

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

[startup+2427.35 s]
# the end of solver process 15407 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.63 s, system=5.45291 s

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

[startup+2427.3 s]
/proc/loadavg: 1.73 1.66 1.68 3/215 15721
/proc/meminfo: memFree=3702896/32770624 swapFree=67108860/67108860
[pid=15407] ppid=15404 vsize=11014496 memory=3953880 CPUtime=2520.01 cores=0,2,4,6
/proc/15407/stat : 15407 (java) S 15404 15407 11630 0 -1 1077944320 487299 12956 0 0 251455 538 5 3 20 0 15 0 222856353 11278843904 988470 33554432000 4194304 4196468 140720563179312 140720563161856 139734586990327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
/proc/15407/statm: 2753624 988470 3535 1 0 2715277 0
[pid=15407/tid=15460] ppid=15404 vsize=11014496 memory=3953880 CPUtime=2404.95 cores=0,2,4,6
/proc/15407/task/15460/stat : 15460 (java) R 15404 15407 11630 0 -1 4202560 198439 12956 0 0 240440 47 5 3 20 0 15 0 222856362 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734558825232 139734176720320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15461] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.88 cores=0,2,4,6
/proc/15407/task/15461/stat : 15461 (java) S 15404 15407 11630 0 -1 1077944384 42967 12956 0 0 1977 103 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734591232272 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15462] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.83 cores=0,2,4,6
/proc/15407/task/15462/stat : 15462 (java) S 15404 15407 11630 0 -1 1077944384 32775 12956 0 0 1974 101 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734480837008 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15463] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.81 cores=0,2,4,6
/proc/15407/task/15463/stat : 15463 (java) S 15404 15407 11630 0 -1 1077944384 30727 12956 0 0 1972 101 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734125615632 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15464] ppid=15404 vsize=11014496 memory=3953880 CPUtime=20.85 cores=0,2,4,6
/proc/15407/task/15464/stat : 15464 (java) S 15404 15407 11630 0 -1 1077944384 23925 12956 0 0 1977 100 5 3 20 0 15 0 222856363 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734124563088 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15465] ppid=15404 vsize=11014496 memory=3953880 CPUtime=0.94 cores=0,2,4,6
/proc/15407/task/15465/stat : 15465 (java) S 15404 15407 11630 0 -1 1077944384 52469 12956 0 0 77 9 5 3 20 0 15 0 222856365 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734080121328 139734587001474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15466] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15466/stat : 15466 (java) S 15404 15407 11630 0 -1 1077944384 29 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 988470 33554432000 4194304 4196468 140720563179312 139733352048096 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15467] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15467/stat : 15467 (java) S 15404 15407 11630 0 -1 1077944384 17 12956 0 0 0 0 5 3 20 0 15 0 222856365 11278843904 988470 33554432000 4194304 4196468 140720563179312 139733204198912 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15468] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15468/stat : 15468 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139732896799440 139734587008923 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15469] ppid=15404 vsize=11014496 memory=3953880 CPUtime=12.78 cores=0,2,4,6
/proc/15407/task/15469/stat : 15469 (java) S 15404 15407 11630 0 -1 1077944384 36220 12956 0 0 1263 7 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734079068144 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15470] ppid=15404 vsize=11014496 memory=4128 CPUtime=12.74 cores=0,2,4,6
/proc/15407/task/15470/stat : 15470 (java) S 15404 15407 11630 0 -1 1077944384 35554 12956 0 0 1260 6 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734078015600 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15471] ppid=15404 vsize=11014496 memory=60580 CPUtime=4.39 cores=0,2,4,6
/proc/15407/task/15471/stat : 15471 (java) S 15404 15407 11630 0 -1 1077944384 29913 12956 0 0 423 8 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734009506032 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15472] ppid=15404 vsize=11014496 memory=3953872 CPUtime=0.08 cores=0,2,4,6
/proc/15407/task/15472/stat : 15472 (java) S 15404 15407 11630 0 -1 1077944384 3 12956 0 0 0 0 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139732466002528 139734587000533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
[pid=15407/tid=15473] ppid=15404 vsize=11014496 memory=3953880 CPUtime=1.45 cores=0,2,4,6
/proc/15407/task/15473/stat : 15473 (java) S 15404 15407 11630 0 -1 1077944384 2066 12956 0 0 68 69 5 3 20 0 15 0 222856368 11278843904 988470 33554432000 4194304 4196468 140720563179312 139734008453936 139734587001474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 20307968 140720563182179 140720563184988 140720563184988 140720563187663 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3953880 KiB

Child status: 143
Real time (s): 2427.35
CPU time (s): 2520.09
CPU user time (s): 2514.63
CPU system time (s): 5.45291
CPU usage (%): 103.821
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3962064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.63
system time used= 5.45291
maximum resident set size= 3962064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74622
involuntary context switches= 3286


# summary of solver processes directly reported to runsolver:
#   pid: 15407
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2514.63
#   total CPU system time (s): 5.45291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6055 second user time and 16.4471 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 07:48:52
IDJOB=4304284
IDBENCH=141154
IDSOLVER=2781
FILE ID=node139/4304284-1534052932
RUNJOBID= node139-1534040758-13580
PBS_JOBID= 21036956
Free space on /tmp= 28196 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304284-1534052932/watcher-4304284-1534052932 -o /tmp/evaluation-result-4304284-1534052932/solver-4304284-1534052932 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1213675795 -superng HOME/instance-4304284-1534052932.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1213675795

node139.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.80
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.80
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.80
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.80
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:         4178688 kB
MemAvailable:   26495460 kB
Buffers:          216640 kB
Cached:         22003644 kB
SwapCached:            0 kB
Active:         13534856 kB
Inactive:       14140452 kB
Active(anon):    5404928 kB
Inactive(anon):   102476 kB
Active(file):    8129928 kB
Inactive(file): 14037976 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26812 kB
Writeback:             0 kB
AnonPages:       5378292 kB
Mapped:            74616 kB
Shmem:             49804 kB
Slab:             605436 kB
SReclaimable:     577328 kB
SUnreclaim:        28108 kB
KernelStack:        3792 kB
PageTables:        16076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6802468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2732032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28168 MiB
End job on node139 at 2018-08-12 08:29:19