0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21478-serial-file.bin HOME/instance-4305745-1534069968.xml
0.55/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 12:32:48 CEST 2018
0.67/0.54 c PID: 21481
0.67/0.54 c IP: 172.20.3.103
0.67/0.54 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.10/1.19 c (0,0) Parsing End
2.10/1.20 c (0,0) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
2.10/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.10/1.20 c (0,0) Constraint Name Generate Begin
2.42/1.21 c (0,0) Ctr:HOME/instance-4305745-1534069968.xml,IntVar:Num:WeightedSum
2.42/1.21 c (0,0) Constraint Name Generate End
2.42/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.42/1.21 c (0,0) CSP to CSPinCNF Begin
3.01/1.41 c (0,0) translated 26 (10%) constraints
3.01/1.45 c (0,0) translated 52 (20%) constraints
3.01/1.48 c (0,0) translated 77 (30%) constraints
3.33/1.51 c (0,0) translated 103 (40%) constraints
3.33/1.55 c (1,1) translated 128 (50%) constraints
3.33/1.58 c (1,1) translated 154 (60%) constraints
3.61/1.60 c (1,1) translated 180 (70%) constraints
3.61/1.63 c (1,1) translated 205 (80%) constraints
3.61/1.66 c (1,1) translated 231 (90%) constraints
3.92/1.72 c (1,1) translated 256 (100%) constraints
4.25/1.88 c (1,1) STATISTICS1:HOME/instance-4305745-1534069968.xml,IntVar:Num:WeightedSum,784,256,281474976710656,2,1,49,281474976710656:32;134217728:224,2:7840,1:256,49:32;28:224,
4.25/1.88 c (1,1) ==========================================
4.25/1.88 c (1,1) Both Encoding selects:
4.25/1.88 c (1,1) Log
4.25/1.88 c (1,1) ==========================================
4.25/1.89 c (1,1) translated 26 (10%) constraints
4.25/1.90 c (1,1) translated 52 (20%) constraints
4.61/1.92 c (1,1) translated 77 (30%) constraints
4.61/1.93 c (1,1) translated 103 (40%) constraints
4.61/1.94 c (1,1) translated 128 (50%) constraints
4.61/1.95 c (1,1) translated 154 (60%) constraints
4.61/1.95 c (1,1) translated 180 (70%) constraints
4.61/1.96 c (1,1) translated 205 (80%) constraints
4.61/1.97 c (1,1) translated 231 (90%) constraints
4.61/1.98 c (1,1) translated 256 (100%) constraints
4.61/1.99 c (1,1) CSP to CSPinCNF End
4.61/1.99 c (1,1) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
4.61/1.99 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.61/1.99 c (1,1) CSPinCNF Propagation Begin
4.95/2.03 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.95/2.03 c (1,1) CSPinCNF Propagation End
4.95/2.03 c (1,1) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
4.95/2.03 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.95/2.03 c (1,1) Simplify CSPinCNF Begin
4.95/2.04 c (1,1) Simplify CSPinCNF End
4.95/2.04 c (1,1) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
4.95/2.04 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.95/2.04 c (1,1) Calculate Precise Domain Begin
4.95/2.04 c (1,1) 0 values are removed by re-calculation
4.95/2.04 c (1,1) Calculate Precise Domain End
4.95/2.04 c (1,1) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
4.95/2.04 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.95/2.04 c (1,1) CSPinCNF to SatSolver Begin
5.29/2.19 c (1,1) 26 (10 %) CSP clauses are being encoded (2134 SAT variables, 3975 SAT clauses)
5.57/2.23 c (1,1) 52 (20 %) CSP clauses are being encoded (3538 SAT variables, 8109 SAT clauses)
5.57/2.26 c (1,1) 77 (30 %) CSP clauses are being encoded (4888 SAT variables, 12084 SAT clauses)
5.88/2.30 c (1,1) 103 (40 %) CSP clauses are being encoded (6292 SAT variables, 16218 SAT clauses)
5.88/2.32 c (1,1) 128 (50 %) CSP clauses are being encoded (7252 SAT variables, 18243 SAT clauses)
5.88/2.34 c (1,1) 154 (60 %) CSP clauses are being encoded (7980 SAT variables, 18997 SAT clauses)
5.88/2.35 c (1,1) 180 (70 %) CSP clauses are being encoded (8708 SAT variables, 19751 SAT clauses)
5.88/2.37 c (1,1) 205 (80 %) CSP clauses are being encoded (9408 SAT variables, 20476 SAT clauses)
5.88/2.40 c (1,1) 231 (90 %) CSP clauses are being encoded (10814 SAT variables, 23564 SAT clauses)
6.20/2.46 c (1,1) 256 (100 %) CSP clauses are being encoded (14339 SAT variables, 34014 SAT clauses)
6.20/2.46 c (1,1) Launch Command will be: minisat_release
6.20/2.46 c (1,1) CSPinCNF to SatSolver End
6.20/2.46 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.51/2.54 c (2,2) STATISTICS2:HOME/instance-4305745-1534069968.xml,IntVar:Num:WeightedSum,784,256,281474976710656,2,1,49,281474976710656:32;134217728:224,2:7840,1:256,49:32;28:224,
6.51/2.54 c (2,2) 14480 bool, 34432 clause
6.51/2.54 c (2,2) Export Begin
7.18/2.73 c (2,2) Export to HOME/scop-21478-serial-file.bin
7.18/2.73 c (2,2) Export End
7.18/2.73 c (2,2) Export File Size: 0.29 MB
7.18/2.73 c (2,2) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
7.18/2.73 c END-Prog: Sun Aug 12 12:32:51 CEST 2018
7.18/2.75 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21478-serial-file.bin
7.89/3.24 c (0,0) Read Serial File Begin
7.89/3.24 c (0,0) HOME/scop-21478-serial-file.bin
8.53/3.51 c (0,0) Read Serial File End
8.53/3.52
8.53/3.52 scop log+minisat_release (2018-07-31)
8.53/3.52 (Solving Process)
8.53/3.52
8.53/3.54 c BEGIN-Prog: Sun Aug 12 12:32:51 CEST 2018
8.53/3.54 c PID: 21496
8.53/3.54 c IP: 172.20.3.103
8.53/3.54 c HOST: node103.alineos.net
8.53/3.55 c (0,0) SatSolver.solve Begin
8.53/3.55 c (0,0) 0 bool, 0 clause
8.53/3.55 c (0,0) minisat_release HOME/instance-4305745-1534069968.xml-scop-21481.cnf
8.76/3.79 c (0,0) c This is COMiniSatPS.
8.76/3.79 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.76/3.79 c (0,0) c ============================[ Problem Statistics ]=============================
8.76/3.79 c (0,0) c | |
8.76/3.79 c (0,0) c | Number of variables: 14480 |
8.76/3.79 c (0,0) c | Number of clauses: 34176 |
8.76/3.79 c (0,0) c | Parse time: 0.01 s |
8.76/3.79 c (0,0) c | Eliminated clauses: 0.10 Mb |
8.76/3.79 c (0,0) c Reduced to 10553 vars, 26020 cls (grow=0)
8.76/3.79 c (0,0) c | Eliminated clauses: 0.34 Mb |
8.76/3.79 c (0,0) c Reduced to 4470 vars, 28233 cls (grow=8)
8.76/3.79 c (0,0) c cl_inc_rate=1.085, var_dec_rate=2.361
8.76/3.79 c (0,0) c | Eliminated clauses: 0.37 Mb |
8.76/3.79 c (0,0) c Reduced to 3877 vars, 30661 cls (grow=16)
8.76/3.79 c (0,0) c cl_inc_rate=1.086, var_dec_rate=1.153
8.76/3.79 c (0,0) c | Eliminated clauses: 0.43 Mb |
8.76/3.79 c (0,0) c Reduced to 3184 vars, 36319 cls (grow=32)
8.76/3.79 c (0,0) c cl_inc_rate=1.185, var_dec_rate=1.218
8.76/3.79 c (0,0) c No. effective iterative eliminations: 3
8.76/3.79 c (0,0) c | Simplification time: 0.19 s |
8.76/3.79 c (0,0) c | |
8.76/3.79 c (0,0) c ============================[ Search Statistics ]==============================
8.76/3.79 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
8.76/3.79 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.76/3.79 c (0,0) c ===============================================================================
8.76/3.79 c (0,0) c ===============================================================================
8.76/3.79 c (0,0) c restarts : 1
8.76/3.79 c (0,0) c conflicts : 239 (1103 /sec)
8.76/3.79 c (0,0) c decisions : 1119 (0.00 % random) (5166 /sec)
8.76/3.79 c (0,0) c propagations : 24696 (114006 /sec)
8.76/3.79 c (0,0) c conflict literals : 25662 (1.88 % deleted)
8.76/3.79 c (0,0) c CPU time : 0.21662 s
8.76/3.79 c (0,0)
8.76/3.79 c (0,0) s SATISFIABLE
8.77/3.83 c (0,0) SatSolver.solve End
8.77/3.83 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
8.77/3.83 c (0,0) Show results Begin
8.77/3.89 s SATISFIABLE
9.22/3.92 v <instantiation>
9.22/3.92 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783]</list>
9.22/3.92 v <values>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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
9.22/3.92 v </instantiation>
9.22/3.92 c (0,0) Show results End
9.22/3.92 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
9.22/3.92 c (0,0) 0,0,STOP-AFTER(ALL)
9.22/3.92 c END-Prog: Sun Aug 12 12:32:52 CEST 2018
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 (8015 MiB free)
memory of node 1: 16384 MiB (8503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305745-1534069968/watcher-4305745-1534069968 -o /tmp/evaluation-result-4305745-1534069968/solver-4305745-1534069968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305745-1534069968.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=21478, runsolver pid=21475
[startup+0.100163 s]*
/proc/loadavg: 1.92 2.00 2.04 5/222 21495
/proc/meminfo: memFree=16855860/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224559965 115843072 349 33554432000 4194304 5098028 140729500574944 140729500572200 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 349 296 221 0 87 0
[pid=21481] ppid=21478 vsize=15012476 memory=73052 CPUtime=0.11 cores=0,2,4,6
/proc/21481/stat : 21481 (java) S 21478 21478 20606 0 -1 1077944320 6369 0 0 0 9 2 0 0 20 0 15 0 224559965 15372775424 18263 33554432000 4194304 4196468 140724481573680 140724481556224 139979334962935 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
/proc/21481/statm: 3753119 18263 2748 1 0 3715579 0
[pid=21481/tid=21482] ppid=21478 vsize=15012476 memory=-6004281011623739333 CPUtime=0.08 cores=0,2,4,6
/proc/21481/task/21482/stat : 21482 (java) R 21478 21478 20606 0 -1 4202560 4451 0 0 0 7 1 0 0 20 0 15 0 224559965 15372775424 18263 33554432000 4194304 4196468 140724481573680 139979306758816 139979318149744 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21483] ppid=21478 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21483/stat : 21483 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 18263 33554432000 4194304 4196468 140724481573680 139979339205648 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21484] ppid=21478 vsize=15012476 memory=140330007660160 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21484/stat : 21484 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 18263 33554432000 4194304 4196468 140724481573680 139979159501968 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21485] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21485/stat : 21485 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978794826512 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21486] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21486/stat : 21486 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978793773968 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21487] ppid=21478 vsize=15012476 memory=140330007660160 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21487/stat : 21487 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559968 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978674469104 139979334974082 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21488] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21488/stat : 21488 (java) S 21478 21478 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224559969 15372775424 18263 33554432000 4194304 4196468 140724481573680 139977916671136 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21489] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21489/stat : 21489 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559969 15372775424 18263 33554432000 4194304 4196468 140724481573680 139977681789680 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21490] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21490/stat : 21490 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 18263 33554432000 4194304 4196468 140724481573680 139977307281360 139979334981531 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21491] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21491/stat : 21491 (java) S 21478 21478 20606 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978673416944 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21492] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21492/stat : 21492 (java) S 21478 21478 20606 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978672364400 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21493] ppid=21478 vsize=15012476 memory=140330007660160 CPUtime=0.01 cores=0,2,4,6
/proc/21481/task/21493/stat : 21493 (java) S 21478 21478 20606 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 224559971 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978671311344 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21494] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21494/stat : 21494 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559972 15372775424 18263 33554432000 4194304 4196468 140724481573680 139976809376608 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21495] ppid=21478 vsize=15012476 memory=140330007660160 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21495/stat : 21495 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559972 15372775424 18263 33554432000 4194304 4196468 140724481573680 139978670258736 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74448 KiB
[startup+0.212121 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 21495
/proc/meminfo: memFree=16842376/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224559965 115843072 349 33554432000 4194304 5098028 140729500574944 140729500572200 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 349 296 221 0 87 0
[pid=21481] ppid=21478 vsize=15012476 memory=86076 CPUtime=0.26 cores=0,2,4,6
/proc/21481/stat : 21481 (java) S 21478 21478 20606 0 -1 1077944320 9875 0 0 0 23 3 0 0 20 0 15 0 224559965 15372775424 21519 33554432000 4194304 4196468 140724481573680 140724481556224 139979334962935 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
/proc/21481/statm: 3753119 21519 2881 1 0 3715579 0
[pid=21481/tid=21482] ppid=21478 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/21481/task/21482/stat : 21482 (java) R 21478 21478 20606 0 -1 4202560 7774 0 0 0 18 2 0 0 20 0 15 0 224559965 15372775424 21519 33554432000 4194304 4196468 140724481573680 139979306782192 139979334974870 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21483] ppid=21478 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21483/stat : 21483 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 21519 33554432000 4194304 4196468 140724481573680 139979339205648 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21484] ppid=21478 vsize=15012476 memory=140330008823392 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21484/stat : 21484 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 21519 33554432000 4194304 4196468 140724481573680 139979159501968 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21485] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21485/stat : 21485 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978794826512 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21486] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21486/stat : 21486 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978793773968 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21487] ppid=21478 vsize=15012476 memory=140330007660160 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21487/stat : 21487 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559968 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978674469104 139979334974082 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21488] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21488/stat : 21488 (java) S 21478 21478 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224559969 15372775424 21519 33554432000 4194304 4196468 140724481573680 139977916671136 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21489] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21489/stat : 21489 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559969 15372775424 21519 33554432000 4194304 4196468 140724481573680 139977681789680 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21490] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21490/stat : 21490 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 21519 33554432000 4194304 4196468 140724481573680 139977307281360 139979334981531 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21491] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21491/stat : 21491 (java) S 21478 21478 20606 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978673416944 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21492] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21492/stat : 21492 (java) R 21478 21478 20606 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978672364496 139979334974870 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21493] ppid=21478 vsize=15012476 memory=140330007660160 CPUtime=0.03 cores=0,2,4,6
/proc/21481/task/21493/stat : 21493 (java) R 21478 21478 20606 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 224559971 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978671311344 139979314040401 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21494] ppid=21478 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21494/stat : 21494 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559972 15372775424 21519 33554432000 4194304 4196468 140724481573680 139976809376608 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21495] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21495/stat : 21495 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559972 15372775424 21519 33554432000 4194304 4196468 140724481573680 139978670258736 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87472 KiB
[startup+0.310652 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 21495
/proc/meminfo: memFree=16838840/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224559965 115843072 349 33554432000 4194304 5098028 140729500574944 140729500572200 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 349 296 221 0 87 0
[pid=21481] ppid=21478 vsize=15012476 memory=89608 CPUtime=0.43 cores=0,2,4,6
/proc/21481/stat : 21481 (java) S 21478 21478 20606 0 -1 1077944320 10401 0 0 0 40 3 0 0 20 0 15 0 224559965 15372775424 22402 33554432000 4194304 4196468 140724481573680 140724481556224 139979334962935 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
/proc/21481/statm: 3753119 22402 2985 1 0 3715579 0
[pid=21481/tid=21482] ppid=21478 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21481/task/21482/stat : 21482 (java) R 21478 21478 20606 0 -1 4202560 8148 0 0 0 27 2 0 0 20 0 15 0 224559965 15372775424 22402 33554432000 4194304 4196468 140724481573680 139979306769024 139978837538212 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21483] ppid=21478 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21483/stat : 21483 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 22402 33554432000 4194304 4196468 140724481573680 139979339205648 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21484] ppid=21478 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21484/stat : 21484 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 22402 33554432000 4194304 4196468 140724481573680 139979159501968 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21485] ppid=21478 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21485/stat : 21485 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978794826512 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21486] ppid=21478 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21486/stat : 21486 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559967 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978793773968 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21487] ppid=21478 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21487/stat : 21487 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559968 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978674469104 139979334974082 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21488] ppid=21478 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21488/stat : 21488 (java) S 21478 21478 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224559969 15372775424 22402 33554432000 4194304 4196468 140724481573680 139977916671136 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21489] ppid=21478 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21489/stat : 21489 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559969 15372775424 22402 33554432000 4194304 4196468 140724481573680 139977681789680 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21490] ppid=21478 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21490/stat : 21490 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559971 15372775424 22402 33554432000 4194304 4196468 140724481573680 139977307281360 139979334981531 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21491] ppid=21478 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21481/task/21491/stat : 21491 (java) R 21478 21478 20606 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 15 0 224559971 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978673416944 139979334974082 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21492] ppid=21478 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21481/task/21492/stat : 21492 (java) R 21478 21478 20606 0 -1 4202560 314 0 0 0 1 0 0 0 20 0 15 0 224559971 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978672364400 139979327200062 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21493] ppid=21478 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21481/task/21493/stat : 21493 (java) R 21478 21478 20606 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 224559971 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978671311344 139979313981155 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21494] ppid=21478 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21494/stat : 21494 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559972 15372775424 22402 33554432000 4194304 4196468 140724481573680 139976809376608 139979334973141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21495] ppid=21478 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21495/stat : 21495 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559972 15372775424 22402 33554432000 4194304 4196468 140724481573680 139978670258736 139979334974082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91004 KiB
[startup+0.700777 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 21495
/proc/meminfo: memFree=16814532/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224559965 115843072 349 33554432000 4194304 5098028 140729500574944 140729500572200 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 349 296 221 0 87 0
[pid=21481] ppid=21478 vsize=15020872 memory=129288 CPUtime=0.99 cores=0,2,4,6
/proc/21481/stat : 21481 (java) S 21478 21478 20606 0 -1 1077944320 17468 0 0 0 94 5 0 0 20 0 15 0 224559965 15381372928 32322 33554432000 4194304 4196468 140724481573680 140724481556224 139979334962935 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
/proc/21481/statm: 3755218 32322 3120 1 0 3716603 0
[pid=21481/tid=21482] ppid=21478 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/21481/task/21482/stat : 21482 (java) D 21478 21478 20606 0 -1 1077944384 14826 0 0 0 62 5 0 0 20 0 15 0 224559965 15381372928 32322 33554432000 4194304 4196468 140724481573680 139979306797584 139979327642157 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21483] ppid=21478 vsize=15020872 memory=116 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21483/stat : 21483 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15381372928 32322 33554432000 4194304 4196468 140724481573680 139979339205648 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21484] ppid=21478 vsize=15020872 memory=12922 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21484/stat : 21484 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15381372928 32322 33554432000 4194304 4196468 140724481573680 139979159501968 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21485] ppid=21478 vsize=15020872 memory=448505 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21485/stat : 21485 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559967 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978794826512 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21486] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21486/stat : 21486 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559967 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978793773968 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21487] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21487/stat : 21487 (java) S 21478 21478 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224559968 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978674469104 139979334974082 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21488] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21488/stat : 21488 (java) S 21478 21478 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224559969 15381372928 32322 33554432000 4194304 4196468 140724481573680 139977916671136 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21489] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21489/stat : 21489 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224559969 15381372928 32322 33554432000 4194304 4196468 140724481573680 139977681789680 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21490] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21490/stat : 21490 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559971 15381372928 32322 33554432000 4194304 4196468 140724481573680 139977307281360 139979334981531 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21491] ppid=21478 vsize=15020872 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21481/task/21491/stat : 21491 (java) R 21478 21478 20606 0 -1 4202560 316 0 0 0 6 0 0 0 20 0 15 0 224559971 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978673416944 139979318463324 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21492] ppid=21478 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21481/task/21492/stat : 21492 (java) R 21478 21478 20606 0 -1 4202560 563 0 0 0 8 0 0 0 20 0 15 0 224559971 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978672364400 139979319210239 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21493] ppid=21478 vsize=15020872 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/21481/task/21493/stat : 21493 (java) R 21478 21478 20606 0 -1 4202560 427 0 0 0 16 0 0 0 20 0 15 0 224559971 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978671311344 139979313917205 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21494] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21494/stat : 21494 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224559972 15381372928 32322 33554432000 4194304 4196468 140724481573680 139976809376608 139979334973141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
[pid=21481/tid=21495] ppid=21478 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21481/task/21495/stat : 21495 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224559972 15381372928 32322 33554432000 4194304 4196468 140724481573680 139978670258736 139979334974082 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36478976 140724481577991 140724481578289 140724481578289 140724481581007 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130684 KiB
[startup+1.51121 s]
/proc/loadavg: 1.92 2.00 2.04 4/222 21495
/proc/meminfo: memFree=16782396/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224559965 115843072 349 33554432000 4194304 5098028 140729500574944 140729500572200 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 591 26003 0 0 0 0 709 20 20 0 1 0 224559965 115843072 368 33554432000 4194304 5098028 140729500574944 140729500571688 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 368 311 221 0 87 0
[pid=21496] ppid=21478 vsize=7406364 memory=72268 CPUtime=0.6 cores=0,2,4,6
/proc/21496/stat : 21496 (java) S 21478 21478 20606 0 -1 1077944320 12254 0 0 0 57 3 0 0 20 0 15 0 224560240 7584116736 18067 33554432000 4194304 4196468 140728766106160 140728766088704 139703161188087 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
/proc/21496/statm: 1851591 18067 2990 1 0 1813530 0
[pid=21496/tid=21497] ppid=21478 vsize=7406364 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/21496/task/21497/stat : 21497 (java) R 21478 21478 20606 0 -1 4202560 9916 0 0 0 41 2 0 0 20 0 15 0 224560240 7584116736 18067 33554432000 4194304 4196468 140728766106160 139703133011824 139703141833086 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21498] ppid=21478 vsize=7406364 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21498/stat : 21498 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224560241 7584116736 18067 33554432000 4194304 4196468 140728766106160 139703165430928 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21499] ppid=21478 vsize=7406364 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21499/stat : 21499 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224560241 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702965599248 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21500] ppid=21478 vsize=7406364 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21500/stat : 21500 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224560241 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702964546448 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21501] ppid=21478 vsize=7406364 memory=976 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21501/stat : 21501 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224560241 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702963493648 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21502] ppid=21478 vsize=7406364 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21502/stat : 21502 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224560243 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702607620464 139703161199234 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21503] ppid=21478 vsize=7406364 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21503/stat : 21503 (java) S 21478 21478 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224560243 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702065685536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21504] ppid=21478 vsize=7406364 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21504/stat : 21504 (java) S 21478 21478 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224560243 7584116736 18067 33554432000 4194304 4196468 140728766106160 139701931463536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21505] ppid=21478 vsize=7406364 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21505/stat : 21505 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224560246 7584116736 18067 33554432000 4194304 4196468 140728766106160 139701556959056 139703161206683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21506] ppid=21478 vsize=7406364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21496/task/21506/stat : 21506 (java) S 21478 21478 20606 0 -1 1077944384 104 0 0 0 3 0 0 0 20 0 15 0 224560246 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702606568304 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21507] ppid=21478 vsize=7406364 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21496/task/21507/stat : 21507 (java) S 21478 21478 20606 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 224560246 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702605515504 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21508] ppid=21478 vsize=7406364 memory=140329869318496 CPUtime=0.1 cores=0,2,4,6
/proc/21496/task/21508/stat : 21508 (java) S 21478 21478 20606 0 -1 1077944384 356 0 0 0 10 0 0 0 20 0 15 0 224560246 7584116736 18067 33554432000 4194304 4196468 140728766106160 139702604462704 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21509] ppid=21478 vsize=7406364 memory=140329869328704 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21509/stat : 21509 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224560246 7584116736 18067 33554432000 4194304 4196468 140728766106160 139701059054304 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21510] ppid=21478 vsize=7406364 memory=3540029247793870116 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21510/stat : 21510 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224560246 7584116736 18067 33554432000 4194304 4196468 140728766106160 139701797243568 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
Current children cumulated CPU time: 7.89 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 73740 KiB
[startup+3.60632 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 21510
/proc/meminfo: memFree=16864620/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1472 CPUtime=7.29 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 591 26003 0 0 0 0 709 20 20 0 1 0 224559965 115843072 368 33554432000 4194304 5098028 140729500574944 140729500571688 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 368 311 221 0 87 0
[pid=21496] ppid=21478 vsize=8068220 memory=121184 CPUtime=1.45 cores=0,2,4,6
/proc/21496/stat : 21496 (java) S 21478 21478 20606 0 -1 1077944320 19073 0 0 0 136 9 0 0 20 0 19 0 224560240 8261857280 30296 33554432000 4194304 4196468 140728766106160 140728766088704 139703161188087 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
/proc/21496/statm: 2017055 30296 3163 1 0 1978454 0
[pid=21496/tid=21497] ppid=21478 vsize=8068220 memory=1024 CPUtime=0.82 cores=0,2,4,6
/proc/21496/task/21497/stat : 21497 (java) R 21478 21478 20606 0 -1 4202560 15541 0 0 0 75 7 0 0 20 0 19 0 224560240 8261857280 30296 33554432000 4194304 4196468 140728766106160 139703133019736 139703154287948 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21498] ppid=21478 vsize=8068220 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21498/stat : 21498 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224560241 8261857280 30296 33554432000 4194304 4196468 140728766106160 139703165430928 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21499] ppid=21478 vsize=8068220 memory=66496 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21499/stat : 21499 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224560241 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702965599248 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21500] ppid=21478 vsize=8068220 memory=493024 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21500/stat : 21500 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224560241 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702964546448 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21501] ppid=21478 vsize=8068220 memory=83 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21501/stat : 21501 (java) S 21478 21478 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224560241 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702963493648 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21502] ppid=21478 vsize=8068220 memory=661 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21502/stat : 21502 (java) S 21478 21478 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224560243 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702607620464 139703161199234 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21503] ppid=21478 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21503/stat : 21503 (java) S 21478 21478 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224560243 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702065685536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21504] ppid=21478 vsize=8068220 memory=408 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21504/stat : 21504 (java) S 21478 21478 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224560243 8261857280 30296 33554432000 4194304 4196468 140728766106160 139701931463536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21505] ppid=21478 vsize=8068220 memory=1102 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21505/stat : 21505 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224560246 8261857280 30296 33554432000 4194304 4196468 140728766106160 139701556959056 139703161206683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21506] ppid=21478 vsize=8068220 memory=2209 CPUtime=0.16 cores=0,2,4,6
/proc/21496/task/21506/stat : 21506 (java) R 21478 21478 20606 0 -1 1077944384 575 0 0 0 16 0 0 0 20 0 19 0 224560246 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702606568304 139703161199234 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21507] ppid=21478 vsize=8068220 memory=6791534058613427641 CPUtime=0.19 cores=0,2,4,6
/proc/21496/task/21507/stat : 21507 (java) S 21478 21478 20606 0 -1 1077944384 889 0 0 0 19 0 0 0 20 0 19 0 224560246 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702605515504 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21508] ppid=21478 vsize=8068220 memory=1948 CPUtime=0.23 cores=0,2,4,6
/proc/21496/task/21508/stat : 21508 (java) S 21478 21478 20606 0 -1 1077944384 635 0 0 0 23 0 0 0 20 0 19 0 224560246 8261857280 30296 33554432000 4194304 4196468 140728766106160 139702604462704 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21509] ppid=21478 vsize=8068220 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21509/stat : 21509 (java) S 21478 21478 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224560246 8261857280 30296 33554432000 4194304 4196468 140728766106160 139701059054304 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21510] ppid=21478 vsize=8068220 memory=976 CPUtime=0 cores=0,2,4,6
/proc/21496/task/21510/stat : 21510 (java) S 21478 21478 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224560246 8261857280 30296 33554432000 4194304 4196468 140728766106160 139701797243568 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 122656 KiB
[startup+3.80068 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 21510
/proc/meminfo: memFree=16864620/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1472 CPUtime=7.29 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 591 26003 0 0 0 0 709 20 20 0 1 0 224559965 115843072 368 33554432000 4194304 5098028 140729500574944 140729500571688 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 368 311 221 0 87 0
[pid=21496] ppid=21478 vsize=8068220 memory=121468 CPUtime=1.48 cores=0,2,4,6
/proc/21496/stat : 21496 (java) S 21478 21478 20606 0 -1 1077944320 19119 0 0 0 139 9 0 0 20 0 19 0 224560240 8261857280 30367 33554432000 4194304 4196468 140728766106160 140728766088704 139703161188087 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
/proc/21496/statm: 2017055 30367 3164 1 0 1978454 0
[pid=21496/tid=21497] ppid=21478 vsize=8068220 memory=6944656592455097440 CPUtime=1.05 cores=0,2,4,6
/proc/21496/task/21497/stat : 21497 (java) S 21478 21478 20606 0 -1 1077944384 15574 3563 0 0 77 7 21 0 20 0 19 0 224560240 8261857280 30367 33554432000 4194304 4196468 140728766106160 139703133028240 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21498] ppid=21478 vsize=8068220 memory=6656426216303648864 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21498/stat : 21498 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 19 0 224560241 8261857280 30367 33554432000 4194304 4196468 140728766106160 139703165430928 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21499] ppid=21478 vsize=8068220 memory=6655300316396806240 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21499/stat : 21499 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 19 0 224560241 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702965599248 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21500] ppid=21478 vsize=8068220 memory=-1088251628401078322 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21500/stat : 21500 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 19 0 224560241 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702964546448 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21501] ppid=21478 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21501/stat : 21501 (java) S 21478 21478 20606 0 -1 1077944384 2 3563 0 0 0 0 21 0 20 0 19 0 224560241 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702963493648 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21502] ppid=21478 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21502/stat : 21502 (java) S 21478 21478 20606 0 -1 1077944384 5 3563 0 0 0 0 21 0 20 0 19 0 224560243 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702607620464 139703161199234 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21503] ppid=21478 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21503/stat : 21503 (java) S 21478 21478 20606 0 -1 1077944384 13 3563 0 0 0 0 21 0 20 0 19 0 224560243 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702065685536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21504] ppid=21478 vsize=8068220 memory=32356 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21504/stat : 21504 (java) S 21478 21478 20606 0 -1 1077944384 21 3563 0 0 0 0 21 0 20 0 19 0 224560243 8261857280 30367 33554432000 4194304 4196468 140728766106160 139701931463536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21505] ppid=21478 vsize=8068220 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21505/stat : 21505 (java) S 21478 21478 20606 0 -1 1077944384 3 3563 0 0 0 0 21 0 20 0 19 0 224560246 8261857280 30367 33554432000 4194304 4196468 140728766106160 139701556959056 139703161206683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21506] ppid=21478 vsize=8068220 memory=1948 CPUtime=0.37 cores=0,2,4,6
/proc/21496/task/21506/stat : 21506 (java) R 21478 21478 20606 0 -1 1077944384 575 3563 0 0 16 0 21 0 20 0 19 0 224560246 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702606568304 139703161199234 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21507] ppid=21478 vsize=8068220 memory=1188 CPUtime=0.4 cores=0,2,4,6
/proc/21496/task/21507/stat : 21507 (java) S 21478 21478 20606 0 -1 1077944384 889 3563 0 0 19 0 21 0 20 0 19 0 224560246 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702605515504 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21508] ppid=21478 vsize=8068220 memory=2076 CPUtime=0.45 cores=0,2,4,6
/proc/21496/task/21508/stat : 21508 (java) S 21478 21478 20606 0 -1 1077944384 642 3563 0 0 24 0 21 0 20 0 19 0 224560246 8261857280 30367 33554432000 4194304 4196468 140728766106160 139702604462704 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21509] ppid=21478 vsize=8068220 memory=1840 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21509/stat : 21509 (java) S 21478 21478 20606 0 -1 1077944384 3 3563 0 0 0 0 21 0 20 0 19 0 224560246 8261857280 30367 33554432000 4194304 4196468 140728766106160 139701059054304 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21510] ppid=21478 vsize=8068220 memory=7904 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21510/stat : 21510 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 19 0 224560246 8261857280 30898 33554432000 4194304 4196468 140728766106160 139701797243568 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 122940 KiB
[startup+3.90105 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 21510
/proc/meminfo: memFree=16864620/32770624 swapFree=67058736/67108860
[pid=21478] ppid=21475 vsize=113128 memory=1472 CPUtime=7.29 cores=0,2,4,6
/proc/21478/stat : 21478 (scop.sh) S 21475 21478 20606 0 -1 4202496 591 26003 0 0 0 0 709 20 20 0 1 0 224559965 115843072 368 33554432000 4194304 5098028 140729500574944 140729500571688 139816773522044 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23756800 140729500582977 140729500583175 140729500583175 140729500585933 0
/proc/21478/statm: 28282 368 311 221 0 87 0
[pid=21496] ppid=21478 vsize=7937144 memory=128972 CPUtime=1.93 cores=0,2,4,6
/proc/21496/stat : 21496 (java) S 21478 21478 20606 0 -1 1077944320 19493 3563 0 0 163 9 21 0 20 0 17 0 224560240 8127635456 32243 33554432000 4194304 4196468 140728766106160 140728766088704 139703161188087 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
/proc/21496/statm: 1984286 32243 3176 1 0 1945685 0
[pid=21496/tid=21497] ppid=21478 vsize=7937144 memory=1472 CPUtime=1.12 cores=0,2,4,6
/proc/21496/task/21497/stat : 21497 (java) R 21478 21478 20606 0 -1 4202560 15695 3563 0 0 84 7 21 0 20 0 17 0 224560240 8127635456 32243 33554432000 4194304 4196468 140728766106160 139703133024096 139703146883072 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21498] ppid=21478 vsize=7937144 memory=3544 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21498/stat : 21498 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 17 0 224560241 8127635456 32243 33554432000 4194304 4196468 140728766106160 139703165430928 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21499] ppid=21478 vsize=7937144 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21499/stat : 21499 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 17 0 224560241 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702965599248 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21500] ppid=21478 vsize=7937144 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21500/stat : 21500 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 17 0 224560241 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702964546448 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21501] ppid=21478 vsize=7937144 memory=4580 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21501/stat : 21501 (java) S 21478 21478 20606 0 -1 1077944384 2 3563 0 0 0 0 21 0 20 0 17 0 224560241 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702963493648 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21502] ppid=21478 vsize=7937144 memory=-7531822216213012384 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21502/stat : 21502 (java) S 21478 21478 20606 0 -1 1077944384 5 3563 0 0 0 0 21 0 20 0 17 0 224560243 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702607620464 139703161199234 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21503] ppid=21478 vsize=7937144 memory=-7522837583129502606 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21503/stat : 21503 (java) S 21478 21478 20606 0 -1 1077944384 13 3563 0 0 0 0 21 0 20 0 17 0 224560243 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702065685536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21504] ppid=21478 vsize=7937144 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21504/stat : 21504 (java) S 21478 21478 20606 0 -1 1077944384 21 3563 0 0 0 0 21 0 20 0 17 0 224560243 8127635456 32243 33554432000 4194304 4196468 140728766106160 139701931463536 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21505] ppid=21478 vsize=7937144 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21505/stat : 21505 (java) S 21478 21478 20606 0 -1 1077944384 3 3563 0 0 0 0 21 0 20 0 17 0 224560246 8127635456 32243 33554432000 4194304 4196468 140728766106160 139701556959056 139703161206683 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21506] ppid=21478 vsize=7937144 memory=9051567386362020013 CPUtime=0.43 cores=0,2,4,6
/proc/21496/task/21506/stat : 21506 (java) R 21478 21478 20606 0 -1 4202560 610 3563 0 0 22 0 21 0 20 0 17 0 224560246 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702606556624 139703141824001 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21507] ppid=21478 vsize=7937144 memory=-1161699032756030039 CPUtime=0.44 cores=0,2,4,6
/proc/21496/task/21507/stat : 21507 (java) S 21478 21478 20606 0 -1 1077944384 921 3563 0 0 23 0 21 0 20 0 17 0 224560246 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702605515504 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21508] ppid=21478 vsize=7937144 memory=7594597771697979466 CPUtime=0.5 cores=0,2,4,6
/proc/21496/task/21508/stat : 21508 (java) R 21478 21478 20606 0 -1 4202560 778 3563 0 0 29 0 21 0 20 0 17 0 224560246 8127635456 32243 33554432000 4194304 4196468 140728766106160 139702604462704 139703145498865 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21509] ppid=21478 vsize=7937144 memory=288292160145720096 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21509/stat : 21509 (java) S 21478 21478 20606 0 -1 1077944384 3 3563 0 0 0 0 21 0 20 0 17 0 224560246 8127635456 32243 33554432000 4194304 4196468 140728766106160 139701059054304 139703161198293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
[pid=21496/tid=21510] ppid=21478 vsize=7937144 memory=1217896 CPUtime=0.21 cores=0,2,4,6
/proc/21496/task/21510/stat : 21510 (java) S 21478 21478 20606 0 -1 1077944384 1 3563 0 0 0 0 21 0 20 0 17 0 224560246 8127635456 32243 33554432000 4194304 4196468 140728766106160 139701797243568 139703161199234 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25571328 140728766112949 140728766113073 140728766113073 140728766115791 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 130444 KiB
Child status: 0
Real time (s): 3.94614
CPU time (s): 9.35699
CPU user time (s): 9.04283
CPU system time (s): 0.314159
CPU usage (%): 237.118
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 497524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.04283
system time used= 0.314159
maximum resident set size= 498700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4882
involuntary context switches= 75
# summary of solver processes directly reported to runsolver:
# pid: 21478
# total CPU time (s): 9.35699
# total CPU user time (s): 9.04283
# total CPU system time (s): 0.314159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045956 second user time and 0.083927 second system time
The end