0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-5410-serial-file.bin HOME/instance-4305510-1534069717.xml
0.53/0.51
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Sun Aug 12 12:28:38 CEST 2018
0.65/0.54 c PID: 5413
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
2.75/1.37 c (0,0) Parsing End
2.75/1.38 c (0,0) CSP: 0 int (0 aux), 2025 bool (0 aux), 410 ctr, max domain size 2
2.75/1.39 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.75/1.39 c (0,0) Constraint Name Generate Begin
3.06/1.40 c (0,0) Ctr:HOME/instance-4305510-1534069717.xml,IntVar:Num:WeightedSum
3.06/1.40 c (0,0) Constraint Name Generate End
3.06/1.40 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.06/1.40 c (0,0) CSP to CSPinCNF Begin
3.62/1.66 c (1,1) translated 41 (10%) constraints
3.90/1.75 c (1,1) translated 82 (20%) constraints
4.16/1.82 c (1,1) translated 123 (30%) constraints
4.16/1.89 c (1,1) translated 164 (40%) constraints
4.46/1.97 c (1,1) translated 205 (50%) constraints
4.79/2.04 c (1,1) translated 246 (60%) constraints
4.79/2.10 c (1,1) translated 287 (70%) constraints
5.05/2.16 c (1,1) translated 328 (80%) constraints
5.21/2.25 c (1,1) translated 369 (90%) constraints
5.55/2.42 c (1,1) translated 410 (100%) constraints
6.39/2.75 c (2,2) STATISTICS1:HOME/instance-4305510-1534069717.xml,IntVar:Num:WeightedSum,2025,410,9223372036854775807,2,1,81,9223372036854775807:50;17592186044416:360,2:20250,1:410,81:50;45:360,2916:50
6.39/2.75 c (2,2) ==========================================
6.39/2.75 c (2,2) Order
6.39/2.75 c (2,2) ==========================================
7.04/2.99 c (2,2) translated 41 (10%) constraints
7.69/3.15 c (2,2) translated 82 (20%) constraints
7.98/3.27 c (2,2) translated 123 (30%) constraints
8.29/3.37 c (2,2) translated 164 (40%) constraints
8.59/3.47 c (2,2) translated 205 (50%) constraints
8.88/3.56 c (3,3) translated 246 (60%) constraints
9.15/3.64 c (3,3) translated 287 (70%) constraints
9.29/3.72 c (3,3) translated 328 (80%) constraints
9.48/3.83 c (3,3) translated 369 (90%) constraints
9.81/4.01 c (3,3) translated 410 (100%) constraints
9.81/4.02 c (3,3) CSP to CSPinCNF End
9.81/4.03 c (3,3) CSP: 4290 int (4290 aux), 2025 bool (0 aux), 4700 ctr, max domain size 16
9.81/4.03 c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.81/4.03 c (3,3) CSPinCNF Propagation Begin
9.81/4.10 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.81/4.10 c (3,3) CSPinCNF Propagation End
9.81/4.10 c (3,3) CSP: 4290 int (4290 aux), 2025 bool (0 aux), 4700 ctr, max domain size 16
9.81/4.10 c (3,3) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.81/4.10 c (3,3) Simplify CSPinCNF Begin
10.13/4.12 c (3,3) Simplify CSPinCNF End
10.13/4.12 c (3,3) CSP: 4290 int (4290 aux), 2025 bool (0 aux), 4700 ctr, max domain size 16
10.13/4.12 c (3,3) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.13/4.12 c (3,3) Calculate Precise Domain Begin
10.43/4.21 c (3,3) 0 values are removed by re-calculation
10.43/4.21 c (3,3) Calculate Precise Domain End
10.43/4.21 c (3,3) CSP: 4290 int (4290 aux), 2025 bool (0 aux), 4700 ctr, max domain size 16
10.43/4.21 c (3,3) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.43/4.21 c (3,3) CSPinCNF to SatSolver Begin
11.09/4.41 c (3,3) 470 (10 %) CSP clauses are encoded (24795 SAT variables, 28065 SAT clauses)
11.09/4.48 c (3,3) 940 (20 %) CSP clauses are encoded (24795 SAT variables, 37653 SAT clauses)
11.38/4.56 c (4,4) 1410 (30 %) CSP clauses are encoded (24795 SAT variables, 47241 SAT clauses)
11.69/4.70 c (4,4) 1880 (40 %) CSP clauses are encoded (24795 SAT variables, 66009 SAT clauses)
12.92/5.03 c (4,4) 2350 (50 %) CSP clauses are encoded (24795 SAT variables, 129929 SAT clauses)
13.43/5.29 c (4,4) 2820 (60 %) CSP clauses are encoded (24795 SAT variables, 193849 SAT clauses)
14.03/5.52 c (4,4) 3290 (70 %) CSP clauses are encoded (24795 SAT variables, 257769 SAT clauses)
14.28/5.71 c (5,5) 3760 (80 %) CSP clauses are encoded (24795 SAT variables, 310295 SAT clauses)
14.39/5.84 c (5,5) 4230 (90 %) CSP clauses are encoded (24795 SAT variables, 340521 SAT clauses)
14.49/5.96 c (5,5) 4700 (100 %) CSP clauses are encoded (24795 SAT variables, 370693 SAT clauses)
14.49/5.96 c (5,5) Launch Command will be: minisat_release
14.49/5.96 c (5,5) CSPinCNF to SatSolver End
14.49/5.96 c (5,5) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.68/6.06 c (5,5) STATISTICS2:HOME/instance-4305510-1534069717.xml,IntVar:Num:WeightedSum,6315,4700,256,16,1,9,256:1260;128:1530;72:540;64:150;24:150;21:150;9:200;4:720,16:1080;9:1080;8:1980;7:300;3:900;2:23490,1:4700,9:1080;8:1530;7:150;3:1940,
14.68/6.07 c (5,5) 24795 bool, 370700 clause
14.68/6.07 c (5,5) Export Begin
15.22/6.25 c (5,5) Export to HOME/scop-5410-serial-file.bin
15.22/6.25 c (5,5) Export End
15.22/6.25 c (5,5) Export File Size: 0.31 MB
15.22/6.25 c (5,5) 0,0,3,3,3,3,5,STOP-AFTER(DIMACS)
15.22/6.25 c END-Prog: Sun Aug 12 12:28:43 CEST 2018
15.22/6.27 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-5410-serial-file.bin
15.38/6.76 c (0,0) Read Serial File Begin
15.38/6.76 c (0,0) HOME/scop-5410-serial-file.bin
16.52/7.03 c (0,0) Read Serial File End
16.52/7.04
16.52/7.04 scop order+minisat_release (2018-07-31)
16.52/7.04 (Solving Process)
16.52/7.04
16.52/7.06 c BEGIN-Prog: Sun Aug 12 12:28:44 CEST 2018
16.52/7.06 c PID: 5428
16.52/7.06 c IP: 172.20.3.151
16.52/7.06 c HOST: node151.alineos.net
16.52/7.07 c (0,0) SatSolver.solve Begin
16.52/7.07 c (0,0) 0 bool, 0 clause
16.52/7.07 c (0,0) minisat_release HOME/instance-4305510-1534069717.xml-scop-5413.cnf
17.73/8.08 c (1,0) c This is COMiniSatPS.
17.73/8.08 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
17.73/8.08 c (1,0) c ============================[ Problem Statistics ]=============================
17.73/8.08 c (1,0) c | |
17.73/8.08 c (1,0) c | Number of variables: 24795 |
17.73/8.08 c (1,0) c | Number of clauses: 370100 |
17.73/8.08 c (1,0) c | Parse time: 0.11 s |
17.73/8.08 c (1,0) c | Eliminated clauses: 0.16 Mb |
17.73/8.08 c (1,0) c Reduced to 6057 vars, 74237 cls (grow=0)
17.73/8.08 c (1,0) c No iterative elimination performed. (vars=6057, c/v ratio=12.3)
17.73/8.08 c (1,0) c | Simplification time: 0.37 s |
17.73/8.08 c (1,0) c | |
17.73/8.08 c (1,0) c ============================[ Search Statistics ]==============================
17.73/8.08 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
17.73/8.08 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.73/8.08 c (1,0) c ===============================================================================
17.73/8.08 c (1,0) c ===============================================================================
17.73/8.08 c (1,0) c restarts : 46
17.73/8.08 c (1,0) c conflicts : 7167 (7441 /sec)
17.73/8.08 c (1,0) c decisions : 26009 (0.00 % random) (27003 /sec)
17.73/8.08 c (1,0) c propagations : 1662994 (1726536 /sec)
17.73/8.08 c (1,0) c conflict literals : 991428 (4.29 % deleted)
17.73/8.08 c (1,0) c CPU time : 0.963197 s
17.73/8.08 c (1,0)
17.73/8.08 c (1,0) s SATISFIABLE
17.90/8.13 c (1,0) SatSolver.solve End
17.90/8.13 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.90/8.13 c (1,0) Show results Begin
18.09/8.23 s SATISFIABLE
18.09/8.28 v <instantiation>
18.09/8.28 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] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024]</list>
18.09/8.28 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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</values>
18.09/8.28 v </instantiation>
18.09/8.28 c (1,0) Show results End
18.09/8.28 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
18.09/8.28 c (1,0) 1,1,STOP-AFTER(ALL)
18.09/8.28 c END-Prog: Sun Aug 12 12:28:45 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 (2653 MiB free)
memory of node 1: 16384 MiB (5525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305510-1534069717/watcher-4305510-1534069717 -o /tmp/evaluation-result-4305510-1534069717/solver-4305510-1534069717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305510-1534069717.xml
running on 4 cores: 1,3,5,7
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=5410, runsolver pid=5407
Current StackSize limit: 8192 KiB
[startup+0.100339 s]*
/proc/loadavg: 2.54 2.20 2.10 3/222 5427
/proc/meminfo: memFree=8313720/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224534905 115843072 349 33554432000 4194304 5098028 140735570200192 140735570197448 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 349 296 221 0 87 0
[pid=5413] ppid=5410 vsize=15012476 memory=73092 CPUtime=0.1 cores=1,3,5,7
/proc/5413/stat : 5413 (java) S 5410 5410 3762 0 -1 1077944320 5913 0 0 0 8 2 0 0 20 0 15 0 224534906 15372775424 18273 33554432000 4194304 4196468 140730153647968 140730153630512 140701800226551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
/proc/5413/statm: 3753119 18273 2742 1 0 3715579 0
[pid=5413/tid=5414] ppid=5410 vsize=15012476 memory=-2843869603824518302 CPUtime=0.08 cores=1,3,5,7
/proc/5413/task/5414/stat : 5414 (java) R 5410 5410 3762 0 -1 4202560 4059 0 0 0 7 1 0 0 20 0 15 0 224534906 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701772029496 140701792943703 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5415] ppid=5410 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5415/stat : 5415 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701804468752 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5416] ppid=5410 vsize=15012476 memory=140391383090816 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5416/stat : 5416 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701595552400 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5417] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5417/stat : 5417 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701594499344 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5418] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5418/stat : 5418 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701593446800 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5419] ppid=5410 vsize=15012476 memory=140391383090816 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5419/stat : 5419 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534909 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701139417840 140701800237698 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5420] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5420/stat : 5420 (java) S 5410 5410 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224534910 15372775424 18403 33554432000 4194304 4196468 140730153647968 140700410701472 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5421] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5421/stat : 5421 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534910 15372775424 18403 33554432000 4194304 4196468 140730153647968 140700175820016 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5422] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5422/stat : 5422 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 18403 33554432000 4194304 4196468 140730153647968 140699801311696 140701800245147 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5423] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5423/stat : 5423 (java) S 5410 5410 3762 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701138364656 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5424] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5424/stat : 5424 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701137312112 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5425] ppid=5410 vsize=15012476 memory=140391383090816 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5425/stat : 5425 (java) R 5410 5410 3762 0 -1 4202560 276 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701136259056 140701779168027 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5426] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5426/stat : 5426 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 18403 33554432000 4194304 4196468 140730153647968 140699303405920 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5427] ppid=5410 vsize=15012476 memory=140391383090816 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5427/stat : 5427 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534913 15372775424 18403 33554432000 4194304 4196468 140730153647968 140701135207472 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74488 KiB
[startup+0.211349 s]*
/proc/loadavg: 2.54 2.20 2.10 4/222 5427
/proc/meminfo: memFree=8300296/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224534905 115843072 349 33554432000 4194304 5098028 140735570200192 140735570197448 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 349 296 221 0 87 0
[pid=5413] ppid=5410 vsize=15012476 memory=86660 CPUtime=0.25 cores=1,3,5,7
/proc/5413/stat : 5413 (java) S 5410 5410 3762 0 -1 1077944320 9490 0 0 0 22 3 0 0 20 0 15 0 224534906 15372775424 21665 33554432000 4194304 4196468 140730153647968 140730153630512 140701800226551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
/proc/5413/statm: 3753119 21665 2882 1 0 3715579 0
[pid=5413/tid=5414] ppid=5410 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/5413/task/5414/stat : 5414 (java) R 5410 5410 3762 0 -1 4202560 7405 0 0 0 17 2 0 0 20 0 15 0 224534906 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701772035824 140701800238486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5415] ppid=5410 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5415/stat : 5415 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701804468752 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5416] ppid=5410 vsize=15012476 memory=140391384243791 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5416/stat : 5416 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701595552400 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5417] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5417/stat : 5417 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701594499344 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5418] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5418/stat : 5418 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701593446800 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5419] ppid=5410 vsize=15012476 memory=140391383090816 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5419/stat : 5419 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534909 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701139417840 140701800237698 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5420] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5420/stat : 5420 (java) S 5410 5410 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224534910 15372775424 21665 33554432000 4194304 4196468 140730153647968 140700410701472 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5421] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5421/stat : 5421 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534910 15372775424 21665 33554432000 4194304 4196468 140730153647968 140700175820016 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5422] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5422/stat : 5422 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 21665 33554432000 4194304 4196468 140730153647968 140699801311696 140701800245147 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5423] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5423/stat : 5423 (java) S 5410 5410 3762 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701138364656 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5424] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5424/stat : 5424 (java) S 5410 5410 3762 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701137312112 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5425] ppid=5410 vsize=15012476 memory=140391383090816 CPUtime=0.03 cores=1,3,5,7
/proc/5413/task/5425/stat : 5425 (java) R 5410 5410 3762 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 15 0 224534912 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701136259056 140701778934774 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5426] ppid=5410 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5426/stat : 5426 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 21665 33554432000 4194304 4196468 140730153647968 140699303405920 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5427] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5427/stat : 5427 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534913 15372775424 21665 33554432000 4194304 4196468 140730153647968 140701135207472 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88056 KiB
[startup+0.310594 s]*
/proc/loadavg: 2.54 2.20 2.10 3/222 5427
/proc/meminfo: memFree=8296760/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224534905 115843072 349 33554432000 4194304 5098028 140735570200192 140735570197448 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 349 296 221 0 87 0
[pid=5413] ppid=5410 vsize=15012476 memory=90188 CPUtime=0.42 cores=1,3,5,7
/proc/5413/stat : 5413 (java) S 5410 5410 3762 0 -1 1077944320 10009 0 0 0 39 3 0 0 20 0 15 0 224534906 15372775424 22547 33554432000 4194304 4196468 140730153647968 140730153630512 140701800226551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
/proc/5413/statm: 3753119 22547 2981 1 0 3715579 0
[pid=5413/tid=5414] ppid=5410 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5413/task/5414/stat : 5414 (java) R 5410 5410 3762 0 -1 4202560 7780 0 0 0 27 2 0 0 20 0 15 0 224534906 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701772021552 140701784307038 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5415] ppid=5410 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5415/stat : 5415 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701804468752 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5416] ppid=5410 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5416/stat : 5416 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701595552400 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5417] ppid=5410 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5417/stat : 5417 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701594499344 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5418] ppid=5410 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5418/stat : 5418 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534908 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701593446800 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5419] ppid=5410 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5419/stat : 5419 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534909 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701139417840 140701800237698 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5420] ppid=5410 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5420/stat : 5420 (java) S 5410 5410 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224534910 15372775424 22547 33554432000 4194304 4196468 140730153647968 140700410701472 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5421] ppid=5410 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5421/stat : 5421 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534910 15372775424 22547 33554432000 4194304 4196468 140730153647968 140700175820016 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5422] ppid=5410 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5422/stat : 5422 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 22547 33554432000 4194304 4196468 140730153647968 140699801311696 140701800245147 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5423] ppid=5410 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5413/task/5423/stat : 5423 (java) S 5410 5410 3762 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 224534912 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701138364656 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5424] ppid=5410 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5413/task/5424/stat : 5424 (java) S 5410 5410 3762 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 224534912 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701137312112 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5425] ppid=5410 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5413/task/5425/stat : 5425 (java) S 5410 5410 3762 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 15 0 224534912 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701136259056 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5426] ppid=5410 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5426/stat : 5426 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15372775424 22547 33554432000 4194304 4196468 140730153647968 140699303405920 140701800236757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5427] ppid=5410 vsize=15012476 memory=3977301018813871919 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5427/stat : 5427 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534913 15372775424 22547 33554432000 4194304 4196468 140730153647968 140701135207472 140701800237698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91584 KiB
[startup+0.7093 s]
/proc/loadavg: 2.54 2.20 2.10 3/222 5427
/proc/meminfo: memFree=8272948/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224534905 115843072 349 33554432000 4194304 5098028 140735570200192 140735570197448 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 349 296 221 0 87 0
[pid=5413] ppid=5410 vsize=15020872 memory=132800 CPUtime=1.06 cores=1,3,5,7
/proc/5413/stat : 5413 (java) S 5410 5410 3762 0 -1 1077944320 17378 0 0 0 100 6 0 0 20 0 15 0 224534906 15381372928 33200 33554432000 4194304 4196468 140730153647968 140730153630512 140701800226551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
/proc/5413/statm: 3755218 33200 3146 1 0 3716603 0
[pid=5413/tid=5414] ppid=5410 vsize=15020872 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/5413/task/5414/stat : 5414 (java) R 5410 5410 3762 0 -1 4202560 14364 0 0 0 63 5 0 0 20 0 15 0 224534906 15381372928 33200 33554432000 4194304 4196468 140730153647968 140701772044880 140701267999297 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5415] ppid=5410 vsize=15020872 memory=180 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5415/stat : 5415 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15381372928 33200 33554432000 4194304 4196468 140730153647968 140701804468752 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5416] ppid=5410 vsize=15020872 memory=14795 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5416/stat : 5416 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15381372928 33200 33554432000 4194304 4196468 140730153647968 140701595552400 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5417] ppid=5410 vsize=15020872 memory=26692 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5417/stat : 5417 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224534908 15381372928 33200 33554432000 4194304 4196468 140730153647968 140701594499344 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5418] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5418/stat : 5418 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534908 15381372928 33200 33554432000 4194304 4196468 140730153647968 140701593446800 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5419] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5419/stat : 5419 (java) S 5410 5410 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224534909 15381372928 33263 33554432000 4194304 4196468 140730153647968 140701139417840 140701800237698 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5420] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5420/stat : 5420 (java) S 5410 5410 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224534910 15381372928 33263 33554432000 4194304 4196468 140730153647968 140700410701472 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5421] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5421/stat : 5421 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534910 15381372928 33263 33554432000 4194304 4196468 140730153647968 140700175820016 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5422] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5422/stat : 5422 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15381372928 33263 33554432000 4194304 4196468 140730153647968 140699801311696 140701800245147 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5423] ppid=5410 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5413/task/5423/stat : 5423 (java) R 5410 5410 3762 0 -1 4202560 894 0 0 0 10 0 0 0 20 0 15 0 224534912 15381372928 33263 33554432000 4194304 4196468 140730153647968 140701138345672 140701783712882 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5424] ppid=5410 vsize=15020872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5413/task/5424/stat : 5424 (java) R 5410 5410 3762 0 -1 4202560 324 0 0 0 8 0 0 0 20 0 15 0 224534912 15381372928 33263 33554432000 4194304 4196468 140730153647968 140701137300912 140701779881729 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5425] ppid=5410 vsize=15020872 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/5413/task/5425/stat : 5425 (java) R 5410 5410 3762 0 -1 4202560 462 0 0 0 17 0 0 0 20 0 15 0 224534912 15381372928 33263 33554432000 4194304 4196468 140730153647968 140701136259056 140701784307038 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5426] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5426/stat : 5426 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224534912 15381372928 33263 33554432000 4194304 4196468 140730153647968 140699303405920 140701800236757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
[pid=5413/tid=5427] ppid=5410 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5413/task/5427/stat : 5427 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224534913 15381372928 33263 33554432000 4194304 4196468 140730153647968 140701135207472 140701800237698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32292864 140730153653255 140730153653553 140730153653553 140730153656271 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 134196 KiB
[startup+1.5009 s]
/proc/loadavg: 2.54 2.20 2.10 4/222 5427
/proc/meminfo: memFree=8226916/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224534905 115843072 349 33554432000 4194304 5098028 140735570200192 140735570197448 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Dumping a history of the last processes samples
[startup+6.40206 s]
/proc/loadavg: 2.50 2.20 2.10 5/222 5427
/proc/meminfo: memFree=5941588/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1472 CPUtime=15.38 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 591 31214 0 0 0 0 1486 52 20 0 1 0 224534905 115843072 368 33554432000 4194304 5098028 140735570200192 140735570196936 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.20075 s]
/proc/loadavg: 2.50 2.20 2.10 5/222 5442
/proc/meminfo: memFree=8274700/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1472 CPUtime=15.38 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 591 31214 0 0 0 0 1486 52 20 0 1 0 224534905 115843072 368 33554432000 4194304 5098028 140735570200192 140735570196936 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 368 311 221 0 87 0
[pid=5428] ppid=5410 vsize=8068220 memory=126580 CPUtime=1.45 cores=1,3,5,7
/proc/5428/stat : 5428 (java) S 5410 5410 3762 0 -1 1077944320 19275 0 0 0 136 9 0 0 20 0 19 0 224535533 8261857280 31645 33554432000 4194304 4196468 140731573481088 140731573463632 139925837508343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
/proc/5428/statm: 2017055 31645 3162 1 0 1978454 0
[pid=5428/tid=5429] ppid=5410 vsize=8068220 memory=3436 CPUtime=0.84 cores=1,3,5,7
/proc/5428/task/5429/stat : 5429 (java) S 5410 5410 3762 0 -1 1077944384 15522 0 0 0 76 8 0 0 20 0 19 0 224535533 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925809348496 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5430] ppid=5410 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5430/stat : 5430 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925841750672 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5431] ppid=5410 vsize=8068220 memory=114360 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5431/stat : 5431 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925322574352 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5432] ppid=5410 vsize=8068220 memory=103500 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5432/stat : 5432 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925321521552 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5433] ppid=5410 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5433/stat : 5433 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925320468752 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5434] ppid=5410 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5434/stat : 5434 (java) S 5410 5410 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224535536 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925283912560 139925837519490 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5435] ppid=5410 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5435/stat : 5435 (java) S 5410 5410 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224535537 8261857280 31645 33554432000 4194304 4196468 140731573481088 139924665787936 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5436] ppid=5410 vsize=8068220 memory=13850767857552270 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5436/stat : 5436 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535537 8261857280 31645 33554432000 4194304 4196468 140731573481088 139924397352304 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5437] ppid=5410 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5437/stat : 5437 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139924022843728 139925837526939 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5438] ppid=5410 vsize=8068220 memory=2092 CPUtime=0.19 cores=1,3,5,7
/proc/5428/task/5438/stat : 5438 (java) S 5410 5410 3762 0 -1 1077944384 885 0 0 0 19 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925282859376 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5439] ppid=5410 vsize=8068220 memory=8148 CPUtime=0.18 cores=1,3,5,7
/proc/5428/task/5439/stat : 5439 (java) S 5410 5410 3762 0 -1 1077944384 664 0 0 0 18 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925281806576 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5440] ppid=5410 vsize=8068220 memory=844 CPUtime=0.22 cores=1,3,5,7
/proc/5428/task/5440/stat : 5440 (java) S 5410 5410 3762 0 -1 1077944384 813 0 0 0 22 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925280753776 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5441] ppid=5410 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5441/stat : 5441 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139923524937952 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5442] ppid=5410 vsize=8068220 memory=920 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5442/stat : 5442 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535540 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925279702192 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
Current children cumulated CPU time: 16.83 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 128052 KiB
[startup+8.00072 s]*
/proc/loadavg: 2.50 2.20 2.10 3/227 5448
/proc/meminfo: memFree=8218360/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1472 CPUtime=15.38 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 591 31214 0 0 0 0 1486 52 20 0 1 0 224534905 115843072 368 33554432000 4194304 5098028 140735570200192 140735570196936 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 368 311 221 0 87 0
[pid=5428] ppid=5410 vsize=8068220 memory=126580 CPUtime=1.45 cores=1,3,5,7
/proc/5428/stat : 5428 (java) S 5410 5410 3762 0 -1 1077944320 19275 0 0 0 136 9 0 0 20 0 19 0 224535533 8261857280 31645 33554432000 4194304 4196468 140731573481088 140731573463632 139925837508343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
/proc/5428/statm: 2017055 31645 3162 1 0 1978454 0
[pid=5443] ppid=5428 vsize=55880 memory=34220 CPUtime=0.9 cores=1,3,5,7
/proc/5443/stat : 5443 (minisat_release) R 5428 5410 3762 0 -1 4202496 10846 0 0 0 88 2 0 0 20 0 1 0 224535615 57221120 8555 33554432000 4194304 4308513 140723579627824 140723579625448 4289173 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 23044096 140723579630709 140723579630806 140723579630806 140723579633605 0
/proc/5443/statm: 13970 8555 340 28 0 10210 0
[pid=5428/tid=5429] ppid=5410 vsize=8068220 memory=-5059952977386882957 CPUtime=0.84 cores=1,3,5,7
/proc/5428/task/5429/stat : 5429 (java) S 5410 5410 3762 0 -1 1077944384 15522 0 0 0 76 8 0 0 20 0 19 0 224535533 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925809348496 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5430] ppid=5410 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5430/stat : 5430 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925841750672 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5431] ppid=5410 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5431/stat : 5431 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925322574352 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5432] ppid=5410 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5432/stat : 5432 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925321521552 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5433] ppid=5410 vsize=8068220 memory=8174723239089013032 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5433/stat : 5433 (java) S 5410 5410 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224535535 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925320468752 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5434] ppid=5410 vsize=8068220 memory=288287779346203599 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5434/stat : 5434 (java) S 5410 5410 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224535536 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925283912560 139925837519490 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5435] ppid=5410 vsize=8068220 memory=14746 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5435/stat : 5435 (java) S 5410 5410 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224535537 8261857280 31645 33554432000 4194304 4196468 140731573481088 139924665787936 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5436] ppid=5410 vsize=8068220 memory=280782547756160 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5436/stat : 5436 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535537 8261857280 31645 33554432000 4194304 4196468 140731573481088 139924397352304 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5437] ppid=5410 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5437/stat : 5437 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139924022843728 139925837526939 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5438] ppid=5410 vsize=8068220 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/5428/task/5438/stat : 5438 (java) S 5410 5410 3762 0 -1 1077944384 885 0 0 0 19 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925282859376 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5439] ppid=5410 vsize=8068220 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/5428/task/5439/stat : 5439 (java) S 5410 5410 3762 0 -1 1077944384 664 0 0 0 18 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925281806576 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5440] ppid=5410 vsize=8068220 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/5428/task/5440/stat : 5440 (java) S 5410 5410 3762 0 -1 1077944384 813 0 0 0 22 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925280753776 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5441] ppid=5410 vsize=8068220 memory=7229795163519477098 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5441/stat : 5441 (java) S 5410 5410 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224535539 8261857280 31645 33554432000 4194304 4196468 140731573481088 139923524937952 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5442] ppid=5410 vsize=8068220 memory=7594871541224269120 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5442/stat : 5442 (java) S 5410 5410 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224535540 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925279702192 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5444] ppid=5410 vsize=8068220 memory=5931348737964200016 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5444/stat : 5444 (java) S 5410 5410 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224535615 8261857280 31645 33554432000 4194304 4196468 140731573481088 139925271893696 139925837532953 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5446] ppid=5410 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5446/stat : 5446 (java) S 5410 5410 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224535615 8261857280 31645 33554432000 4194304 4196468 140731573481088 139922988052272 139925837530269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5447] ppid=5410 vsize=8068220 memory=2273 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5447/stat : 5447 (java) S 5410 5410 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224535615 8261857280 31645 33554432000 4194304 4196468 140731573481088 139922719620784 139925837530269 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5448] ppid=5410 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5428/task/5448/stat : 5448 (java) S 5410 5410 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224535617 8261857280 31645 33554432000 4194304 4196468 140731573481088 139923122281632 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
Current children cumulated CPU time: 17.73 s
Current children cumulated vsize: 8237228 KiB
Current children cumulated memory: 162272 KiB
[startup+8.2009 s]
/proc/loadavg: 2.50 2.20 2.10 3/227 5448
/proc/meminfo: memFree=8218360/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1472 CPUtime=15.38 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 591 31214 0 0 0 0 1486 52 20 0 1 0 224534905 115843072 368 33554432000 4194304 5098028 140735570200192 140735570196936 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 368 311 221 0 87 0
[pid=5428] ppid=5410 vsize=7937144 memory=132192 CPUtime=2.71 cores=1,3,5,7
/proc/5428/stat : 5428 (java) S 5410 5410 3762 0 -1 1077944320 19747 10979 0 0 162 10 96 3 20 0 17 0 224535533 8127635456 33048 33554432000 4194304 4196468 140731573481088 140731573463632 139925837508343 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
/proc/5428/statm: 1984286 33048 3169 1 0 1945685 0
[pid=5428/tid=5429] ppid=5410 vsize=7937144 memory=7522233374848280936 CPUtime=1.89 cores=1,3,5,7
/proc/5428/task/5429/stat : 5429 (java) R 5410 5410 3762 0 -1 4202560 15700 10979 0 0 82 8 96 3 20 0 17 0 224535533 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925809346208 139925837520278 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5430] ppid=5410 vsize=7937144 memory=7230360295366551656 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5430/stat : 5430 (java) S 5410 5410 3762 0 -1 1077944384 2 10979 0 0 0 0 96 3 20 0 17 0 224535535 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925841750672 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5431] ppid=5410 vsize=7937144 memory=-4866526891258710369 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5431/stat : 5431 (java) S 5410 5410 3762 0 -1 1077944384 1 10979 0 0 0 0 96 3 20 0 17 0 224535535 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925322574352 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5432] ppid=5410 vsize=7937144 memory=6944656592455360604 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5432/stat : 5432 (java) S 5410 5410 3762 0 -1 1077944384 1 10979 0 0 0 0 96 3 20 0 17 0 224535535 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925321521552 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5433] ppid=5410 vsize=7937144 memory=6944656575208382560 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5433/stat : 5433 (java) S 5410 5410 3762 0 -1 1077944384 2 10979 0 0 0 0 96 3 20 0 17 0 224535535 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925320468752 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5434] ppid=5410 vsize=7937144 memory=6944656575208382560 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5434/stat : 5434 (java) S 5410 5410 3762 0 -1 1077944384 5 10979 0 0 0 0 96 3 20 0 17 0 224535536 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925283912560 139925837519490 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5435] ppid=5410 vsize=7937144 memory=6656426216303648864 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5435/stat : 5435 (java) S 5410 5410 3762 0 -1 1077944384 13 10979 0 0 0 0 96 3 20 0 17 0 224535537 8127635456 33048 33554432000 4194304 4196468 140731573481088 139924665787936 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5436] ppid=5410 vsize=7937144 memory=3472468686693347282 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5436/stat : 5436 (java) S 5410 5410 3762 0 -1 1077944384 1 10979 0 0 0 0 96 3 20 0 17 0 224535537 8127635456 33048 33554432000 4194304 4196468 140731573481088 139924397352304 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5437] ppid=5410 vsize=7937144 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5437/stat : 5437 (java) S 5410 5410 3762 0 -1 1077944384 3 10979 0 0 0 0 96 3 20 0 17 0 224535539 8127635456 33048 33554432000 4194304 4196468 140731573481088 139924022843728 139925837526939 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5438] ppid=5410 vsize=7937144 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/5428/task/5438/stat : 5438 (java) R 5410 5410 3762 0 -1 1077944384 912 10979 0 0 23 0 96 3 20 0 17 0 224535539 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925282859472 139925837518549 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5439] ppid=5410 vsize=7937144 memory=140391273953310 CPUtime=1.21 cores=1,3,5,7
/proc/5428/task/5439/stat : 5439 (java) R 5410 5410 3762 0 -1 4202560 693 10979 0 0 22 0 96 3 20 0 17 0 224535539 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925281805760 139925822671140 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5440] ppid=5410 vsize=7937144 memory=140391273870333 CPUtime=1.27 cores=1,3,5,7
/proc/5428/task/5440/stat : 5440 (java) S 5410 5410 3762 0 -1 1077944384 964 10979 0 0 28 0 96 3 20 0 17 0 224535539 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925280753776 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5441] ppid=5410 vsize=7937144 memory=140391273869008 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5441/stat : 5441 (java) S 5410 5410 3762 0 -1 1077944384 3 10979 0 0 0 0 96 3 20 0 17 0 224535539 8127635456 33048 33554432000 4194304 4196468 140731573481088 139923524937952 139925837518549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5442] ppid=5410 vsize=7937144 memory=-5587106306044206369 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5442/stat : 5442 (java) S 5410 5410 3762 0 -1 1077944384 1 10979 0 0 0 0 96 3 20 0 17 0 224535540 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925279702192 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5444] ppid=5410 vsize=7937144 memory=-1751206890918255646 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5444/stat : 5444 (java) S 5410 5410 3762 0 -1 1077944384 24 10979 0 0 0 0 96 3 20 0 17 0 224535615 8127635456 33048 33554432000 4194304 4196468 140731573481088 139925271892880 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
[pid=5428/tid=5448] ppid=5410 vsize=7937144 memory=-2025810976467231676 CPUtime=0.99 cores=1,3,5,7
/proc/5428/task/5448/stat : 5448 (java) S 5410 5410 3762 0 -1 1077944384 28 10979 0 0 0 0 96 3 20 0 17 0 224535617 8127635456 33048 33554432000 4194304 4196468 140731573481088 139923122283440 139925837519490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18673664 140731573482678 140731573482801 140731573482801 140731573485519 0
Current children cumulated CPU time: 18.09 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 133664 KiB
[startup+8.30081 s]
/proc/loadavg: 2.50 2.20 2.10 3/227 5448
/proc/meminfo: memFree=8218360/32770624 swapFree=67108860/67108860
[pid=5410] ppid=5407 vsize=113128 memory=1472 CPUtime=15.38 cores=1,3,5,7
/proc/5410/stat : 5410 (scop.sh) S 5407 5410 3762 0 -1 4202496 591 31214 0 0 0 0 1486 52 20 0 1 0 224534905 115843072 368 33554432000 4194304 5098028 140735570200192 140735570196936 140116159103612 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38559744 140735570203712 140735570203911 140735570203911 140735570206669 0
/proc/5410/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 8.3017
CPU time (s): 18.3903
CPU user time (s): 17.7152
CPU system time (s): 0.675135
CPU usage (%): 221.525
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2464832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7152
system time used= 0.675135
maximum resident set size= 2466092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6310
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 5410
# total CPU time (s): 18.3903
# total CPU user time (s): 17.7152
# total CPU system time (s): 0.675135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082071 second user time and 0.124084 second system time
The end