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-26134-serial-file.bin HOME/instance-4305743-1534068272.xml
0.65/0.52
0.65/0.52 scop both+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Sun Aug 12 12:04:32 CEST 2018
0.65/0.55 c PID: 26137
0.65/0.55 c IP: 172.20.3.106
0.65/0.55 c HOST: node106.alineos.net
0.65/0.56 c (0,0) Parsing Begin
2.17/1.29 c (0,0) Parsing End
2.53/1.30 c (0,0) CSP: 0 int (0 aux), 938 bool (0 aux), 700 ctr, max domain size 2
2.53/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.53/1.30 c (0,0) Constraint Name Generate Begin
2.53/1.32 c (0,0) Ctr:HOME/instance-4305743-1534068272.xml,IntVar:Num:WeightedSum
2.53/1.32 c (0,0) Constraint Name Generate End
2.53/1.32 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.53/1.32 c (0,0) CSP to CSPinCNF Begin
3.04/1.52 c (0,0) translated 70 (10%) constraints
3.04/1.57 c (1,1) translated 140 (20%) constraints
3.40/1.61 c (1,1) translated 210 (30%) constraints
3.40/1.65 c (1,1) translated 280 (40%) constraints
3.40/1.69 c (1,1) translated 350 (50%) constraints
3.67/1.72 c (1,1) translated 420 (60%) constraints
3.67/1.74 c (1,1) translated 490 (70%) constraints
3.67/1.77 c (1,1) translated 560 (80%) constraints
3.67/1.79 c (1,1) translated 630 (90%) constraints
4.03/1.83 c (1,1) translated 700 (100%) constraints
4.35/1.98 c (1,1) STATISTICS1:HOME/instance-4305743-1534068272.xml,IntVar:Num:WeightedSum,938,700,16777216,2,1,25,16777216:50;8192:325;4096:313;2048:12,2:10013,1:700,25:50;14:325;13:313;12:12,
4.35/1.98 c (1,1) ==========================================
4.35/1.98 c (1,1) Both Encoding selects:
4.35/1.98 c (1,1) Log
4.35/1.98 c (1,1) ==========================================
4.35/2.00 c (1,1) translated 70 (10%) constraints
4.69/2.01 c (1,1) translated 140 (20%) constraints
4.69/2.01 c (1,1) translated 210 (30%) constraints
4.69/2.02 c (1,1) translated 280 (40%) constraints
4.69/2.03 c (1,1) translated 350 (50%) constraints
4.69/2.04 c (1,1) translated 420 (60%) constraints
4.69/2.05 c (1,1) translated 490 (70%) constraints
4.69/2.05 c (1,1) translated 560 (80%) constraints
4.69/2.06 c (1,1) translated 630 (90%) constraints
4.69/2.07 c (1,1) translated 700 (100%) constraints
4.69/2.07 c (1,1) CSP to CSPinCNF End
4.69/2.07 c (1,1) CSP: 0 int (0 aux), 938 bool (0 aux), 700 ctr, max domain size 2
4.69/2.07 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.69/2.07 c (1,1) CSPinCNF Propagation Begin
5.01/2.12 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.01/2.12 c (1,1) CSPinCNF Propagation End
5.01/2.12 c (1,1) CSP: 0 int (0 aux), 938 bool (0 aux), 700 ctr, max domain size 2
5.01/2.12 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.01/2.12 c (1,1) Simplify CSPinCNF Begin
5.01/2.13 c (1,1) Simplify CSPinCNF End
5.01/2.13 c (1,1) CSP: 0 int (0 aux), 938 bool (0 aux), 700 ctr, max domain size 2
5.01/2.13 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.01/2.13 c (1,1) Calculate Precise Domain Begin
5.01/2.13 c (1,1) 0 values are removed by re-calculation
5.01/2.13 c (1,1) Calculate Precise Domain End
5.01/2.13 c (1,1) CSP: 0 int (0 aux), 938 bool (0 aux), 700 ctr, max domain size 2
5.01/2.13 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.01/2.13 c (1,1) CSPinCNF to SatSolver Begin
5.33/2.26 c (1,1) 70 (10 %) CSP clauses are being encoded (1904 SAT variables, 1035 SAT clauses)
5.33/2.29 c (1,1) 140 (20 %) CSP clauses are being encoded (2884 SAT variables, 2085 SAT clauses)
5.68/2.32 c (1,1) 210 (30 %) CSP clauses are being encoded (3864 SAT variables, 3135 SAT clauses)
5.68/2.35 c (1,1) 280 (40 %) CSP clauses are being encoded (4844 SAT variables, 4185 SAT clauses)
5.68/2.38 c (1,1) 350 (50 %) CSP clauses are being encoded (6088 SAT variables, 5499 SAT clauses)
5.68/2.40 c (1,1) 420 (60 %) CSP clauses are being encoded (7010 SAT variables, 6491 SAT clauses)
6.02/2.42 c (1,1) 490 (70 %) CSP clauses are being encoded (7920 SAT variables, 7471 SAT clauses)
6.02/2.44 c (1,1) 560 (80 %) CSP clauses are being encoded (8830 SAT variables, 8451 SAT clauses)
6.02/2.46 c (1,1) 630 (90 %) CSP clauses are being encoded (9740 SAT variables, 9431 SAT clauses)
6.32/2.51 c (1,1) 700 (100 %) CSP clauses are being encoded (11765 SAT variables, 14834 SAT clauses)
6.32/2.51 c (1,1) Launch Command will be: minisat_release
6.32/2.51 c (1,1) CSPinCNF to SatSolver End
6.32/2.51 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.32/2.59 c (2,2) STATISTICS2:HOME/instance-4305743-1534068272.xml,IntVar:Num:WeightedSum,938,700,16777216,2,1,25,16777216:50;8192:325;4096:313;2048:12,2:10013,1:700,25:50;14:325;13:313;12:12,
6.32/2.59 c (2,2) 11789 bool, 14903 clause
6.32/2.59 c (2,2) Export Begin
6.96/2.78 c (2,2) Export to HOME/scop-26134-serial-file.bin
6.96/2.78 c (2,2) Export End
6.96/2.79 c (2,2) Export File Size: 0.34 MB
6.96/2.79 c (2,2) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.96/2.79 c END-Prog: Sun Aug 12 12:04:34 CEST 2018
7.23/2.80 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26134-serial-file.bin
7.75/3.29 c (0,0) Read Serial File Begin
7.75/3.29 c (0,0) HOME/scop-26134-serial-file.bin
8.30/3.57 c (0,0) Read Serial File End
8.30/3.58
8.30/3.58 scop log+minisat_release (2018-07-31)
8.30/3.59 (Solving Process)
8.30/3.59
8.54/3.61 c BEGIN-Prog: Sun Aug 12 12:04:35 CEST 2018
8.54/3.61 c PID: 26152
8.54/3.61 c IP: 172.20.3.106
8.54/3.61 c HOST: node106.alineos.net
8.54/3.61 c (0,0) SatSolver.solve Begin
8.54/3.61 c (0,0) 0 bool, 0 clause
8.54/3.61 c (0,0) minisat_release HOME/instance-4305743-1534068272.xml-scop-26137.cnf
9.09/4.03 c (0,0) c This is COMiniSatPS.
9.09/4.03 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.09/4.03 c (0,0) c ============================[ Problem Statistics ]=============================
9.09/4.03 c (0,0) c | |
9.09/4.03 c (0,0) c | Number of variables: 11789 |
9.09/4.03 c (0,0) c | Number of clauses: 14203 |
9.09/4.03 c (0,0) c | Parse time: 0.01 s |
9.09/4.03 c (0,0) c | Eliminated clauses: 0.23 Mb |
9.09/4.03 c (0,0) c Reduced to 2413 vars, 4622 cls (grow=0)
9.09/4.03 c (0,0) c No iterative elimination performed. (vars=2413, c/v ratio=1.9)
9.09/4.03 c (0,0) c | Simplification time: 0.02 s |
9.09/4.03 c (0,0) c | |
9.09/4.03 c (0,0) c ============================[ Search Statistics ]==============================
9.09/4.03 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.09/4.03 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.09/4.03 c (0,0) c ===============================================================================
9.09/4.03 c (0,0) c ===============================================================================
9.09/4.03 c (0,0) c restarts : 61
9.09/4.03 c (0,0) c conflicts : 5895 (14939 /sec)
9.09/4.03 c (0,0) c decisions : 25612 (0.00 % random) (64905 /sec)
9.09/4.03 c (0,0) c propagations : 459246 (1163797 /sec)
9.09/4.03 c (0,0) c conflict literals : 769510 (3.33 % deleted)
9.09/4.03 c (0,0) c CPU time : 0.39461 s
9.09/4.03 c (0,0)
9.09/4.03 c (0,0) s SATISFIABLE
9.09/4.06 c (0,0) SatSolver.solve End
9.09/4.06 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.09/4.06 c (0,0) Show results Begin
9.33/4.13 s SATISFIABLE
9.33/4.16 v <instantiation>
9.33/4.16 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] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937]</list>
9.33/4.16 v <values>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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0</values>
9.33/4.16 v </instantiation>
9.33/4.16 c (0,0) Show results End
9.33/4.16 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
9.33/4.16 c (0,0) 0,0,STOP-AFTER(ALL)
9.33/4.16 c END-Prog: Sun Aug 12 12:04:36 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 (8580 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305743-1534068272/watcher-4305743-1534068272 -o /tmp/evaluation-result-4305743-1534068272/solver-4305743-1534068272 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305743-1534068272.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
solver pid=26134, runsolver pid=26131
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.89 2.36 2.17 3/224 26151
/proc/meminfo: memFree=20484396/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224390030 115843072 349 33554432000 4194304 5098028 140734181834128 140734181831384 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 349 296 221 0 87 0
[pid=26137] ppid=26134 vsize=15012476 memory=70552 CPUtime=0.11 cores=0,2,4,6
/proc/26137/stat : 26137 (java) S 26134 26134 23167 0 -1 1077944320 6821 0 0 0 9 2 0 0 20 0 15 0 224390030 15372775424 17638 33554432000 4194304 4196468 140729620639488 140729620622032 140332990582519 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
/proc/26137/statm: 3753119 17638 2763 1 0 3715579 0
[pid=26137/tid=26138] ppid=26134 vsize=15012476 memory=-6295043563054219205 CPUtime=0.08 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (java) R 26134 26134 23167 0 -1 4202560 4854 0 0 0 7 1 0 0 20 0 15 0 224390031 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332962394504 140332974663006 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26139] ppid=26134 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390032 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332994825232 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26140] ppid=26134 vsize=15012476 memory=139753227179648 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390032 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332823919760 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26141] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26141/stat : 26141 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390033 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332449741584 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26142] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26142/stat : 26142 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390033 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332448689040 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26143] ppid=26134 vsize=15012476 memory=139753227179648 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26143/stat : 26143 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390034 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332028193008 140332990593666 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26144] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26144/stat : 26144 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390034 15372775424 17638 33554432000 4194304 4196468 140729620639488 140331412612256 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26145] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26145/stat : 26145 (java) S 26134 26134 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390035 15372775424 17638 33554432000 4194304 4196468 140729620639488 140331278390000 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26146] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26146/stat : 26146 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 17638 33554432000 4194304 4196468 140729620639488 140330903885776 140332990601115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26147] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26147/stat : 26147 (java) S 26134 26134 23167 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332027140848 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26148] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26148/stat : 26148 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332026088304 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26149] ppid=26134 vsize=15012476 memory=139753227179648 CPUtime=0.01 cores=0,2,4,6
/proc/26137/task/26149/stat : 26149 (java) R 26134 26134 23167 0 -1 4202560 304 0 0 0 1 0 0 0 20 0 15 0 224390037 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332025035248 140332969716563 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26150] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26150/stat : 26150 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 17638 33554432000 4194304 4196468 140729620639488 140330405981024 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26151] ppid=26134 vsize=15012476 memory=139753227179648 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26151/stat : 26151 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 17638 33554432000 4194304 4196468 140729620639488 140332023982640 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71948 KiB
[startup+0.21067 s]*
/proc/loadavg: 2.89 2.36 2.17 4/224 26151
/proc/meminfo: memFree=20470196/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224390030 115843072 349 33554432000 4194304 5098028 140734181834128 140734181831384 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 349 296 221 0 87 0
[pid=26137] ppid=26134 vsize=15012476 memory=84104 CPUtime=0.25 cores=0,2,4,6
/proc/26137/stat : 26137 (java) S 26134 26134 23167 0 -1 1077944320 10382 0 0 0 22 3 0 0 20 0 15 0 224390030 15372775424 21026 33554432000 4194304 4196468 140729620639488 140729620622032 140332990582519 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
/proc/26137/statm: 3753119 21026 2927 1 0 3715579 0
[pid=26137/tid=26138] ppid=26134 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (java) R 26134 26134 23167 0 -1 4202560 8194 0 0 0 17 2 0 0 20 0 15 0 224390031 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332962372224 140332974626149 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26139] ppid=26134 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390032 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332994825232 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26140] ppid=26134 vsize=15012476 memory=139753228371934 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390032 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332823919760 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26141] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26141/stat : 26141 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390033 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332449741584 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26142] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26142/stat : 26142 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390033 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332448689040 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26143] ppid=26134 vsize=15012476 memory=139753227179648 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26143/stat : 26143 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390034 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332028193008 140332990593666 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26144] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26144/stat : 26144 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390034 15372775424 21026 33554432000 4194304 4196468 140729620639488 140331412612256 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26145] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26145/stat : 26145 (java) S 26134 26134 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390035 15372775424 21026 33554432000 4194304 4196468 140729620639488 140331278390000 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26146] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26146/stat : 26146 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 21026 33554432000 4194304 4196468 140729620639488 140330903885776 140332990601115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26147] ppid=26134 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26137/task/26147/stat : 26147 (java) S 26134 26134 23167 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 224390037 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332027140848 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26148] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26148/stat : 26148 (java) S 26134 26134 23167 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332026088304 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26149] ppid=26134 vsize=15012476 memory=139753227179648 CPUtime=0.03 cores=0,2,4,6
/proc/26137/task/26149/stat : 26149 (java) R 26134 26134 23167 0 -1 4202560 355 0 0 0 3 0 0 0 20 0 15 0 224390037 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332025035248 140332974663006 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26150] ppid=26134 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26150/stat : 26150 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 21026 33554432000 4194304 4196468 140729620639488 140330405981024 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26151] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26151/stat : 26151 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 21026 33554432000 4194304 4196468 140729620639488 140332023982640 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85500 KiB
[startup+0.310684 s]*
/proc/loadavg: 2.89 2.36 2.17 3/224 26151
/proc/meminfo: memFree=20466536/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224390030 115843072 349 33554432000 4194304 5098028 140734181834128 140734181831384 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 349 296 221 0 87 0
[pid=26137] ppid=26134 vsize=15012476 memory=88292 CPUtime=0.42 cores=0,2,4,6
/proc/26137/stat : 26137 (java) S 26134 26134 23167 0 -1 1077944320 11088 0 0 0 39 3 0 0 20 0 15 0 224390030 15372775424 22073 33554432000 4194304 4196468 140729620639488 140729620622032 140332990582519 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
/proc/26137/statm: 3753119 22073 2976 1 0 3715579 0
[pid=26137/tid=26138] ppid=26134 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (java) R 26134 26134 23167 0 -1 4202560 8638 0 0 0 27 2 0 0 20 0 15 0 224390031 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332962377520 140332974626149 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26139] ppid=26134 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390032 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332994825232 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26140] ppid=26134 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390032 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332823919760 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26141] ppid=26134 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26141/stat : 26141 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390033 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332449741584 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26142] ppid=26134 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26142/stat : 26142 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390033 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332448689040 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26143] ppid=26134 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26143/stat : 26143 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390034 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332028193008 140332990593666 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26144] ppid=26134 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26144/stat : 26144 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390034 15372775424 22073 33554432000 4194304 4196468 140729620639488 140331412612256 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26145] ppid=26134 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26145/stat : 26145 (java) S 26134 26134 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390035 15372775424 22073 33554432000 4194304 4196468 140729620639488 140331278390000 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26146] ppid=26134 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26146/stat : 26146 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 22073 33554432000 4194304 4196468 140729620639488 140330903885776 140332990601115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26147] ppid=26134 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26137/task/26147/stat : 26147 (java) S 26134 26134 23167 0 -1 1077944384 582 0 0 0 3 0 0 0 20 0 15 0 224390037 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332027140848 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26148] ppid=26134 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26137/task/26148/stat : 26148 (java) S 26134 26134 23167 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 224390037 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332026088304 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26149] ppid=26134 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26137/task/26149/stat : 26149 (java) S 26134 26134 23167 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 15 0 224390037 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332025035248 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26150] ppid=26134 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26150/stat : 26150 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 22073 33554432000 4194304 4196468 140729620639488 140330405981024 140332990592725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26151] ppid=26134 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26151/stat : 26151 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390037 15372775424 22073 33554432000 4194304 4196468 140729620639488 140332023982640 140332990593666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89688 KiB
[startup+0.700794 s]
/proc/loadavg: 2.89 2.36 2.17 3/224 26151
/proc/meminfo: memFree=20441368/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224390030 115843072 349 33554432000 4194304 5098028 140734181834128 140734181831384 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 349 296 221 0 87 0
[pid=26137] ppid=26134 vsize=15018748 memory=126316 CPUtime=1 cores=0,2,4,6
/proc/26137/stat : 26137 (java) S 26134 26134 23167 0 -1 1077944320 18241 0 0 0 95 5 0 0 20 0 15 0 224390030 15379197952 31579 33554432000 4194304 4196468 140729620639488 140729620622032 140332990582519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
/proc/26137/statm: 3754687 31579 3139 1 0 3716091 0
[pid=26137/tid=26138] ppid=26134 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/26137/task/26138/stat : 26138 (java) R 26134 26134 23167 0 -1 4202560 15204 0 0 0 63 4 0 0 20 0 15 0 224390031 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332962414416 140332990604445 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26139] ppid=26134 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26139/stat : 26139 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390032 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332994825232 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26140] ppid=26134 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26140/stat : 26140 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390032 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332823919760 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26141] ppid=26134 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26141/stat : 26141 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390033 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332449741584 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26142] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26142/stat : 26142 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390033 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332448689040 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26143] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26143/stat : 26143 (java) S 26134 26134 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224390034 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332028193008 140332990593666 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26144] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26144/stat : 26144 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390034 15379197952 31579 33554432000 4194304 4196468 140729620639488 140331412612256 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26145] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26145/stat : 26145 (java) S 26134 26134 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390035 15379197952 31579 33554432000 4194304 4196468 140729620639488 140331278390000 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26146] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26146/stat : 26146 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15379197952 31579 33554432000 4194304 4196468 140729620639488 140330903885776 140332990601115 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26147] ppid=26134 vsize=15018748 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26137/task/26147/stat : 26147 (java) S 26134 26134 23167 0 -1 1077944384 811 0 0 0 10 0 0 0 20 0 15 0 224390037 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332027140848 140332990593666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26148] ppid=26134 vsize=15018748 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26137/task/26148/stat : 26148 (java) S 26134 26134 23167 0 -1 1077944384 168 0 0 0 5 0 0 0 20 0 15 0 224390037 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332026088304 140332990593666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26149] ppid=26134 vsize=15018748 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/26137/task/26149/stat : 26149 (java) S 26134 26134 23167 0 -1 1077944384 705 0 0 0 16 0 0 0 20 0 15 0 224390037 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332025035248 140332990593666 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26150] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26150/stat : 26150 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390037 15379197952 31579 33554432000 4194304 4196468 140729620639488 140330405981024 140332990592725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
[pid=26137/tid=26151] ppid=26134 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26137/task/26151/stat : 26151 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390037 15379197952 31579 33554432000 4194304 4196468 140729620639488 140332023982640 140332990593666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22515712 140729620644871 140729620645169 140729620645169 140729620647887 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 127712 KiB
[startup+1.50398 s]
/proc/loadavg: 2.89 2.36 2.17 4/224 26151
/proc/meminfo: memFree=20411528/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224390030 115843072 349 33554432000 4194304 5098028 140734181834128 140734181831384 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=26152/tid=26158] ppid=26134 vsize=7406364 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26158/stat : 26158 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390313 7584116736 17457 33554432000 4194304 4196468 140728957816528 140631631554928 140632587844226 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26159] ppid=26134 vsize=7406364 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26159/stat : 26159 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390314 7584116736 17457 33554432000 4194304 4196468 140728957816528 140631523451936 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26160] ppid=26134 vsize=7406364 memory=748 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390314 7584116736 17457 33554432000 4194304 4196468 140728957816528 140631255016304 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26161] ppid=26134 vsize=7406364 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26161/stat : 26161 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390316 7584116736 17457 33554432000 4194304 4196468 140728957816528 140630880507728 140632587851675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26162] ppid=26134 vsize=7406364 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26152/task/26162/stat : 26162 (java) S 26134 26134 23167 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 224390316 7584116736 17457 33554432000 4194304 4196468 140728957816528 140631630502768 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26163] ppid=26134 vsize=7406364 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26152/task/26163/stat : 26163 (java) S 26134 26134 23167 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 15 0 224390316 7584116736 17523 33554432000 4194304 4196468 140728957816528 140631629449968 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26164] ppid=26134 vsize=7406364 memory=139753068632416 CPUtime=0.08 cores=0,2,4,6
/proc/26152/task/26164/stat : 26164 (java) S 26134 26134 23167 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 15 0 224390316 7584116736 17523 33554432000 4194304 4196468 140728957816528 140631628397168 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26165] ppid=26134 vsize=7406364 memory=139753068642624 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26165/stat : 26165 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390317 7584116736 17523 33554432000 4194304 4196468 140728957816528 140630382602976 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26166] ppid=26134 vsize=7406364 memory=3540024247143116549 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26166/stat : 26166 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390317 7584116736 17523 33554432000 4194304 4196468 140728957816528 140631627344560 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 71300 KiB
[startup+3.60131 s]
/proc/loadavg: 2.89 2.36 2.17 4/224 26166
/proc/meminfo: memFree=20492692/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1472 CPUtime=7.23 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 590 26128 0 0 0 0 702 21 20 0 1 0 224390030 115843072 368 33554432000 4194304 5098028 140734181834128 140734181830872 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 368 311 221 0 87 0
[pid=26152] ppid=26134 vsize=7408432 memory=106088 CPUtime=1.31 cores=0,2,4,6
/proc/26152/stat : 26152 (java) S 26134 26134 23167 0 -1 1077944320 17090 0 0 0 122 9 0 0 20 0 15 0 224390310 7586234368 26522 33554432000 4194304 4196468 140728957816528 140728957799072 140632587833079 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
/proc/26152/statm: 1852108 26522 3114 1 0 1814042 0
[pid=26152/tid=26153] ppid=26134 vsize=7408432 memory=4580 CPUtime=0.77 cores=0,2,4,6
/proc/26152/task/26153/stat : 26153 (java) R 26134 26134 23167 0 -1 4202560 13888 0 0 0 69 8 0 0 20 0 15 0 224390311 7586234368 26522 33554432000 4194304 4196468 140728957816528 140632559669776 140632587855005 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26154] ppid=26134 vsize=7408432 memory=6944656591801719708 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26154/stat : 26154 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390312 7586234368 26522 33554432000 4194304 4196468 140728957816528 140632592075920 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26155] ppid=26134 vsize=7408432 memory=-7531822216213012384 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26155/stat : 26155 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390312 7586234368 26522 33554432000 4194304 4196468 140728957816528 140632397839376 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26156] ppid=26134 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390312 7586234368 26522 33554432000 4194304 4196468 140728957816528 140632071506832 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26157] ppid=26134 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390312 7586234368 26522 33554432000 4194304 4196468 140728957816528 140632070454032 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26158] ppid=26134 vsize=7408432 memory=2 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26158/stat : 26158 (java) S 26134 26134 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224390313 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631631554928 140632587844226 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26159] ppid=26134 vsize=7408432 memory=3 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26159/stat : 26159 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390314 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631523451936 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26160] ppid=26134 vsize=7408432 memory=10 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390314 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631255016304 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26161] ppid=26134 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26161/stat : 26161 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390316 7586234368 26522 33554432000 4194304 4196468 140728957816528 140630880507728 140632587851675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26162] ppid=26134 vsize=7408432 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/26152/task/26162/stat : 26162 (java) R 26134 26134 23167 0 -1 4202560 730 0 0 0 14 0 0 0 20 0 15 0 224390316 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631630490912 140632569353973 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26163] ppid=26134 vsize=7408432 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/26152/task/26163/stat : 26163 (java) R 26134 26134 23167 0 -1 4202560 596 0 0 0 18 0 0 0 20 0 15 0 224390316 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631629429904 140632565684778 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26164] ppid=26134 vsize=7408432 memory=2336 CPUtime=0.2 cores=0,2,4,6
/proc/26152/task/26164/stat : 26164 (java) S 26134 26134 23167 0 -1 1077944384 542 0 0 0 20 0 0 0 20 0 15 0 224390316 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631628397168 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26165] ppid=26134 vsize=7408432 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26165/stat : 26165 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390317 7586234368 26522 33554432000 4194304 4196468 140728957816528 140630382602976 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26166] ppid=26134 vsize=7408432 memory=868 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26166/stat : 26166 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390317 7586234368 26522 33554432000 4194304 4196468 140728957816528 140631627344560 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
Current children cumulated CPU time: 8.54 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 107560 KiB
[startup+4.0007 s]*
/proc/loadavg: 2.81 2.35 2.17 3/229 26172
/proc/meminfo: memFree=20421508/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1472 CPUtime=7.23 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 590 26128 0 0 0 0 702 21 20 0 1 0 224390030 115843072 368 33554432000 4194304 5098028 140734181834128 140734181830872 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 368 311 221 0 87 0
[pid=26152] ppid=26134 vsize=8068220 memory=125192 CPUtime=1.49 cores=0,2,4,6
/proc/26152/stat : 26152 (java) S 26134 26134 23167 0 -1 1077944320 17968 0 0 0 139 10 0 0 20 0 19 0 224390310 8261857280 31298 33554432000 4194304 4196468 140728957816528 140728957799072 140632587833079 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
/proc/26152/statm: 2017055 31298 3151 1 0 1978454 0
[pid=26167] ppid=26152 vsize=26820 memory=8540 CPUtime=0.37 cores=0,2,4,6
/proc/26167/stat : 26167 (minisat_release) R 26152 26134 23167 0 -1 4202496 2368 0 0 0 37 0 0 0 20 0 1 0 224390394 27463680 2135 33554432000 4194304 4308513 140731308837424 140731308834328 4289173 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 30830592 140731308844148 140731308844246 140731308844246 140731308847045 0
/proc/26167/statm: 6705 2135 339 28 0 2945 0
[pid=26152/tid=26153] ppid=26134 vsize=8068220 memory=579348533962892838 CPUtime=0.86 cores=0,2,4,6
/proc/26152/task/26153/stat : 26153 (java) S 26134 26134 23167 0 -1 1077944384 14580 0 0 0 77 9 0 0 20 0 19 0 224390311 8261857280 31298 33554432000 4194304 4196468 140728957816528 140632559673232 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26154] ppid=26134 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26154/stat : 26154 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224390312 8261857280 31298 33554432000 4194304 4196468 140728957816528 140632592075920 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26155] ppid=26134 vsize=8068220 memory=3992829624117899296 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26155/stat : 26155 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224390312 8261857280 31298 33554432000 4194304 4196468 140728957816528 140632397839376 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26156] ppid=26134 vsize=8068220 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224390312 8261857280 31298 33554432000 4194304 4196468 140728957816528 140632071506832 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26157] ppid=26134 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (java) S 26134 26134 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224390312 8261857280 31298 33554432000 4194304 4196468 140728957816528 140632070454032 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26158] ppid=26134 vsize=8068220 memory=664964232733811010 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26158/stat : 26158 (java) S 26134 26134 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224390313 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631631554928 140632587844226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26159] ppid=26134 vsize=8068220 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26159/stat : 26159 (java) S 26134 26134 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224390314 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631523451936 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26160] ppid=26134 vsize=8068220 memory=-9178176117148050014 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224390314 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631255016304 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26161] ppid=26134 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26161/stat : 26161 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224390316 8261857280 31298 33554432000 4194304 4196468 140728957816528 140630880507728 140632587851675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26162] ppid=26134 vsize=8068220 memory=3683997410010347313 CPUtime=0.16 cores=0,2,4,6
/proc/26152/task/26162/stat : 26162 (java) S 26134 26134 23167 0 -1 1077944384 741 0 0 0 16 0 0 0 20 0 19 0 224390316 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631630502768 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26163] ppid=26134 vsize=8068220 memory=7872836939886410982 CPUtime=0.21 cores=0,2,4,6
/proc/26152/task/26163/stat : 26163 (java) S 26134 26134 23167 0 -1 1077944384 624 0 0 0 21 0 0 0 20 0 19 0 224390316 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631629449968 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26164] ppid=26134 vsize=8068220 memory=3471202396320837679 CPUtime=0.24 cores=0,2,4,6
/proc/26152/task/26164/stat : 26164 (java) S 26134 26134 23167 0 -1 1077944384 610 0 0 0 24 0 0 0 20 0 19 0 224390316 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631628397168 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26165] ppid=26134 vsize=8068220 memory=139753227179648 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26165/stat : 26165 (java) S 26134 26134 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224390317 8261857280 31298 33554432000 4194304 4196468 140728957816528 140630382602976 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26166] ppid=26134 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26166/stat : 26166 (java) S 26134 26134 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224390317 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631627344560 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26168] ppid=26134 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26168/stat : 26168 (java) S 26134 26134 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224390394 8261857280 31298 33554432000 4194304 4196468 140728957816528 140631619536064 140632587857689 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26170] ppid=26134 vsize=8068220 memory=7810487918915055718 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26170/stat : 26170 (java) S 26134 26134 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224390394 8261857280 31298 33554432000 4194304 4196468 140728957816528 140629845716272 140632587855005 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26171] ppid=26134 vsize=8068220 memory=7228928657774891088 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26171/stat : 26171 (java) S 26134 26134 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224390394 8261857280 31298 33554432000 4194304 4196468 140728957816528 140629979938992 140632587855005 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26172] ppid=26134 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26172/stat : 26172 (java) S 26134 26134 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224390397 8261857280 31298 33554432000 4194304 4196468 140728957816528 140629577293472 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 8208168 KiB
Current children cumulated memory: 135204 KiB
[startup+4.1122 s]
/proc/loadavg: 2.81 2.35 2.17 3/229 26172
/proc/meminfo: memFree=20421508/32770624 swapFree=67108688/67108860
[pid=26134] ppid=26131 vsize=113128 memory=1472 CPUtime=7.23 cores=0,2,4,6
/proc/26134/stat : 26134 (scop.sh) S 26131 26134 23167 0 -1 4202496 590 26128 0 0 0 0 702 21 20 0 1 0 224390030 115843072 368 33554432000 4194304 5098028 140734181834128 140734181830872 139913282007676 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29519872 140734181839937 140734181840135 140734181840135 140734181842893 0
/proc/26134/statm: 28282 368 311 221 0 87 0
[pid=26152] ppid=26134 vsize=7937144 memory=130324 CPUtime=2.1 cores=0,2,4,6
/proc/26152/stat : 26152 (java) S 26134 26134 23167 0 -1 1077944320 18249 2441 0 0 161 10 39 0 20 0 17 0 224390310 8127635456 32581 33554432000 4194304 4196468 140728957816528 140728957799072 140632587833079 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
/proc/26152/statm: 1984286 32581 3175 1 0 1945685 0
[pid=26152/tid=26153] ppid=26134 vsize=7937144 memory=1472 CPUtime=1.3 cores=0,2,4,6
/proc/26152/task/26153/stat : 26153 (java) R 26134 26134 23167 0 -1 4202560 14630 2441 0 0 82 9 39 0 20 0 17 0 224390311 8127635456 32581 33554432000 4194304 4196468 140728957816528 140632559671056 140632566257838 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26154] ppid=26134 vsize=7937144 memory=3868 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26154/stat : 26154 (java) S 26134 26134 23167 0 -1 1077944384 1 2441 0 0 0 0 39 0 20 0 17 0 224390312 8127635456 32581 33554432000 4194304 4196468 140728957816528 140632592075920 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26155] ppid=26134 vsize=7937144 memory=868 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26155/stat : 26155 (java) S 26134 26134 23167 0 -1 1077944384 1 2441 0 0 0 0 39 0 20 0 17 0 224390312 8127635456 32581 33554432000 4194304 4196468 140728957816528 140632397839376 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26156] ppid=26134 vsize=7937144 memory=1808 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (java) S 26134 26134 23167 0 -1 1077944384 1 2441 0 0 0 0 39 0 20 0 17 0 224390312 8127635456 32581 33554432000 4194304 4196468 140728957816528 140632071506832 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26157] ppid=26134 vsize=7937144 memory=1620 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (java) S 26134 26134 23167 0 -1 1077944384 2 2441 0 0 0 0 39 0 20 0 17 0 224390312 8127635456 32581 33554432000 4194304 4196468 140728957816528 140632070454032 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26158] ppid=26134 vsize=7937144 memory=748 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26158/stat : 26158 (java) S 26134 26134 23167 0 -1 1077944384 5 2441 0 0 0 0 39 0 20 0 17 0 224390313 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631631554928 140632587844226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26159] ppid=26134 vsize=7937144 memory=66588 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26159/stat : 26159 (java) S 26134 26134 23167 0 -1 1077944384 13 2441 0 0 0 0 39 0 20 0 17 0 224390314 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631523451936 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26160] ppid=26134 vsize=7937144 memory=421424 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (java) S 26134 26134 23167 0 -1 1077944384 1 2441 0 0 0 0 39 0 20 0 17 0 224390314 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631255016304 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26161] ppid=26134 vsize=7937144 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26161/stat : 26161 (java) S 26134 26134 23167 0 -1 1077944384 3 2441 0 0 0 0 39 0 20 0 17 0 224390316 8127635456 32581 33554432000 4194304 4196468 140728957816528 140630880507728 140632587851675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26162] ppid=26134 vsize=7937144 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/26152/task/26162/stat : 26162 (java) S 26134 26134 23167 0 -1 1077944384 768 2441 0 0 21 0 39 0 20 0 17 0 224390316 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631630502768 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26163] ppid=26134 vsize=7937144 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/26152/task/26163/stat : 26163 (java) R 26134 26134 23167 0 -1 4202560 648 2441 0 0 25 0 39 0 20 0 17 0 224390316 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631629440352 140632572583988 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26164] ppid=26134 vsize=7937144 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/26152/task/26164/stat : 26164 (java) R 26134 26134 23167 0 -1 1077944384 726 2441 0 0 28 0 39 0 20 0 17 0 224390316 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631628389776 140632587843285 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26165] ppid=26134 vsize=7937144 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26165/stat : 26165 (java) S 26134 26134 23167 0 -1 1077944384 3 2441 0 0 0 0 39 0 20 0 17 0 224390317 8127635456 32581 33554432000 4194304 4196468 140728957816528 140630382602976 140632587843285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26166] ppid=26134 vsize=7937144 memory=288230574492221466 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26166/stat : 26166 (java) S 26134 26134 23167 0 -1 1077944384 1 2441 0 0 0 0 39 0 20 0 17 0 224390317 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631627344560 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26168] ppid=26134 vsize=7937144 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26168/stat : 26168 (java) S 26134 26134 23167 0 -1 1077944384 39 2441 0 0 0 0 39 0 20 0 17 0 224390394 8127635456 32581 33554432000 4194304 4196468 140728957816528 140631619535248 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
[pid=26152/tid=26172] ppid=26134 vsize=7937144 memory=7882236575921754710 CPUtime=0.39 cores=0,2,4,6
/proc/26152/task/26172/stat : 26172 (java) S 26134 26134 23167 0 -1 1077944384 9 2441 0 0 0 0 39 0 20 0 17 0 224390397 8127635456 32581 33554432000 4194304 4196468 140728957816528 140629577295280 140632587844226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15048704 140728957822133 140728957822257 140728957822257 140728957824975 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 131796 KiB
Child status: 0
Real time (s): 4.17603
CPU time (s): 9.48621
CPU user time (s): 9.15654
CPU system time (s): 0.329669
CPU usage (%): 227.159
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 429196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.15654
system time used= 0.329669
maximum resident set size= 432336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5656
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 26134
# total CPU time (s): 9.48621
# total CPU user time (s): 9.15654
# total CPU system time (s): 0.329669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053394 second user time and 0.088301 second system time
The end