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-5606-serial-file.bin HOME/instance-4305509-1534069746.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 12:29:07 CEST 2018
0.66/0.54 c PID: 5609
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.09/1.19 c (0,0) Parsing End
2.38/1.20 c (0,0) CSP: 0 int (0 aux), 784 bool (0 aux), 256 ctr, max domain size 2
2.38/1.20 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.38/1.20 c (0,0) Constraint Name Generate Begin
2.38/1.21 c (0,0) Ctr:HOME/instance-4305509-1534069746.xml,IntVar:Num:WeightedSum
2.38/1.21 c (0,0) Constraint Name Generate End
2.38/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.38/1.21 c (0,0) CSP to CSPinCNF Begin
2.93/1.41 c (0,0) translated 26 (10%) constraints
2.93/1.45 c (0,0) translated 52 (20%) constraints
2.93/1.49 c (0,0) translated 77 (30%) constraints
3.26/1.52 c (0,0) translated 103 (40%) constraints
3.26/1.55 c (1,1) translated 128 (50%) constraints
3.26/1.58 c (1,1) translated 154 (60%) constraints
3.55/1.61 c (1,1) translated 180 (70%) constraints
3.55/1.63 c (1,1) translated 205 (80%) constraints
3.55/1.66 c (1,1) translated 231 (90%) constraints
3.86/1.72 c (1,1) translated 256 (100%) constraints
4.18/1.86 c (1,1) STATISTICS1:HOME/instance-4305509-1534069746.xml,IntVar:Num:WeightedSum,784,256,281474976710656,2,1,49,281474976710656:32;134217728:224,2:7840,1:256,49:32;28:224,
4.18/1.86 c (1,1) ==========================================
4.18/1.86 c (1,1) Order
4.18/1.86 c (1,1) ==========================================
4.51/1.97 c (1,1) translated 26 (10%) constraints
4.90/2.04 c (1,1) translated 52 (20%) constraints
4.90/2.09 c (1,1) translated 77 (30%) constraints
5.24/2.13 c (1,1) translated 103 (40%) constraints
5.24/2.17 c (1,1) translated 128 (50%) constraints
5.51/2.20 c (1,1) translated 154 (60%) constraints
5.51/2.23 c (1,1) translated 180 (70%) constraints
5.51/2.26 c (1,1) translated 205 (80%) constraints
5.82/2.30 c (1,1) translated 231 (90%) constraints
5.82/2.37 c (1,1) translated 256 (100%) constraints
5.82/2.37 c (1,1) CSP to CSPinCNF End
5.82/2.37 c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
5.82/2.37 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.82/2.37 c (1,1) CSPinCNF Propagation Begin
6.14/2.44 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.14/2.44 c (1,1) CSPinCNF Propagation End
6.14/2.44 c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.14/2.44 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.14/2.44 c (1,1) Simplify CSPinCNF Begin
6.14/2.45 c (1,1) Simplify CSPinCNF End
6.14/2.45 c (1,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.14/2.45 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.14/2.45 c (1,1) Calculate Precise Domain Begin
6.41/2.53 c (2,1) 0 values are removed by re-calculation
6.41/2.53 c (2,1) Calculate Precise Domain End
6.41/2.53 c (2,1) CSP: 960 int (960 aux), 784 bool (0 aux), 1216 ctr, max domain size 11
6.41/2.53 c (2,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.41/2.53 c (2,1) CSPinCNF to SatSolver Begin
6.73/2.66 c (2,2) 122 (10 %) CSP clauses are encoded (4832 SAT variables, 7531 SAT clauses)
7.06/2.70 c (2,2) 244 (20 %) CSP clauses are encoded (4832 SAT variables, 12071 SAT clauses)
7.06/2.74 c (2,2) 365 (30 %) CSP clauses are encoded (4832 SAT variables, 16556 SAT clauses)
7.60/2.99 c (2,2) 487 (40 %) CSP clauses are encoded (4832 SAT variables, 39102 SAT clauses)
8.29/3.31 c (2,2) 608 (50 %) CSP clauses are encoded (4832 SAT variables, 100993 SAT clauses)
8.49/3.56 c (3,2) 730 (60 %) CSP clauses are encoded (4832 SAT variables, 162885 SAT clauses)
8.80/3.81 c (3,3) 852 (70 %) CSP clauses are encoded (4832 SAT variables, 225799 SAT clauses)
8.90/3.93 c (3,3) 973 (80 %) CSP clauses are encoded (4832 SAT variables, 253554 SAT clauses)
8.90/3.96 c (3,3) 1095 (90 %) CSP clauses are encoded (4832 SAT variables, 261057 SAT clauses)
8.90/3.99 c (3,3) 1216 (100 %) CSP clauses are encoded (4832 SAT variables, 268553 SAT clauses)
8.90/3.99 c (3,3) Launch Command will be: minisat_release
8.90/3.99 c (3,3) CSPinCNF to SatSolver End
8.90/3.99 c (3,3) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.08/4.04 c (3,3) STATISTICS2:HOME/instance-4305509-1534069746.xml,IntVar:Num:WeightedSum,1744,1216,1024,11,1,11,1024:224;512:480;256:160;100:112;9:128;4:112,11:224;10:448;3:576;2:8512,1:1216,11:224;10:480;9:160;3:352,
9.08/4.04 c (3,3) 4832 bool, 268560 clause
9.08/4.04 c (3,3) Export Begin
9.41/4.17 c (3,3) Export to HOME/scop-5606-serial-file.bin
9.41/4.17 c (3,3) Export End
9.41/4.17 c (3,3) Export File Size: 0.12 MB
9.41/4.17 c (3,3) 0,0,1,1,1,2,3,STOP-AFTER(DIMACS)
9.41/4.17 c END-Prog: Sun Aug 12 12:29:10 CEST 2018
0.00/4.21 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-5606-serial-file.bin
9.61/4.69 c (0,0) Read Serial File Begin
9.61/4.69 c (0,0) HOME/scop-5606-serial-file.bin
9.61/4.90 c (0,0) Read Serial File End
9.61/4.91
9.61/4.91 scop order+minisat_release (2018-07-31)
9.61/4.91 (Solving Process)
9.61/4.91
9.61/4.94 c BEGIN-Prog: Sun Aug 12 12:29:11 CEST 2018
9.61/4.94 c PID: 5624
9.61/4.94 c IP: 172.20.3.151
9.61/4.94 c HOST: node151.alineos.net
9.61/4.94 c (0,0) SatSolver.solve Begin
9.61/4.94 c (0,0) 0 bool, 0 clause
9.61/4.94 c (0,0) minisat_release HOME/instance-4305509-1534069746.xml-scop-5609.cnf
11.31/5.49 c (0,0) c This is COMiniSatPS.
11.31/5.49 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
11.31/5.49 c (0,0) c ============================[ Problem Statistics ]=============================
11.31/5.49 c (0,0) c | |
11.31/5.49 c (0,0) c | Number of variables: 4832 |
11.31/5.49 c (0,0) c | Number of clauses: 268560 |
11.31/5.49 c (0,0) c | Parse time: 0.08 s |
11.31/5.49 c (0,0) c | Eliminated clauses: 0.03 Mb |
11.31/5.49 c (0,0) c Reduced to 1808 vars, 32548 cls (grow=0)
11.31/5.49 c (0,0) c No iterative elimination performed. (vars=1808, c/v ratio=18.0)
11.31/5.49 c (0,0) c | Simplification time: 0.40 s |
11.31/5.49 c (0,0) c | |
11.31/5.49 c (0,0) c ============================[ Search Statistics ]==============================
11.31/5.49 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
11.31/5.49 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.31/5.49 c (0,0) c ===============================================================================
11.31/5.49 c (0,0) c ===============================================================================
11.31/5.49 c (0,0) c restarts : 3
11.31/5.49 c (0,0) c conflicts : 624 (1227 /sec)
11.31/5.49 c (0,0) c decisions : 1404 (0.00 % random) (2761 /sec)
11.31/5.49 c (0,0) c propagations : 57921 (113885 /sec)
11.31/5.49 c (0,0) c conflict literals : 76133 (5.12 % deleted)
11.31/5.49 c (0,0) c CPU time : 0.508594 s
11.31/5.49 c (0,0)
11.31/5.49 c (0,0) s SATISFIABLE
11.43/5.51 c (0,0) SatSolver.solve End
11.43/5.51 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.43/5.51 c (0,0) Show results Begin
11.43/5.60 s SATISFIABLE
11.63/5.63 v <instantiation>
11.63/5.63 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783]</list>
11.63/5.63 v <values>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 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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</values>
11.63/5.63 v </instantiation>
11.63/5.63 c (1,0) Show results End
11.63/5.63 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
11.63/5.63 c (1,0) 0,1,STOP-AFTER(ALL)
11.63/5.63 c END-Prog: Sun Aug 12 12:29:12 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-4305509-1534069746/watcher-4305509-1534069746 -o /tmp/evaluation-result-4305509-1534069746/solver-4305509-1534069746 -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-4305509-1534069746.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=5606, runsolver pid=5603
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 2.63 2.25 2.12 3/222 5623
/proc/meminfo: memFree=8316112/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224537796 115843072 349 33554432000 4194304 5098028 140721203571008 140721203568264 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 349 296 221 0 87 0
[pid=5609] ppid=5606 vsize=15012476 memory=70352 CPUtime=0.1 cores=1,3,5,7
/proc/5609/stat : 5609 (java) S 5606 5606 3762 0 -1 1077944320 6756 0 0 0 9 1 0 0 20 0 15 0 224537796 15372775424 17588 33554432000 4194304 4196468 140736636218432 140736636200976 140362042814199 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
/proc/5609/statm: 3753119 17588 2720 1 0 3715579 0
[pid=5609/tid=5610] ppid=5606 vsize=15012476 memory=-2843878391344383134 CPUtime=0.09 cores=1,3,5,7
/proc/5609/task/5610/stat : 5610 (java) R 5606 5606 3762 0 -1 4202560 4872 0 0 0 8 1 0 0 20 0 15 0 224537796 15372775424 17653 33554432000 4194304 4196468 140736636218432 140362014609360 140362026001055 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5611] ppid=5606 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5611/stat : 5611 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 17653 33554432000 4194304 4196468 140736636218432 140362047056912 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5612] ppid=5606 vsize=15012476 memory=140683707516544 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5612/stat : 5612 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361503595664 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5613] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5613/stat : 5613 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361502542608 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5614] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5614/stat : 5614 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361501490064 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5615] ppid=5606 vsize=15012476 memory=140683707516544 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5615/stat : 5615 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537799 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361080363248 140362042825346 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5616] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5616/stat : 5616 (java) S 5606 5606 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537800 15372775424 17653 33554432000 4194304 4196468 140736636218432 140360604968096 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5617] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5617/stat : 5617 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537800 15372775424 17653 33554432000 4194304 4196468 140736636218432 140360336532208 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5618] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5618/stat : 5618 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 17653 33554432000 4194304 4196468 140736636218432 140359962023888 140362042832795 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5619] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5619/stat : 5619 (java) S 5606 5606 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361079311088 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5620] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5620/stat : 5620 (java) S 5606 5606 3762 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361078258544 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5621] ppid=5606 vsize=15012476 memory=140683707516544 CPUtime=0.01 cores=1,3,5,7
/proc/5609/task/5621/stat : 5621 (java) R 5606 5606 3762 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 15 0 224537803 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361077205488 140362035918932 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5622] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5622/stat : 5622 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 17653 33554432000 4194304 4196468 140736636218432 140359464119136 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5623] ppid=5606 vsize=15012476 memory=140683707516544 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5623/stat : 5623 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 17653 33554432000 4194304 4196468 140736636218432 140361076152880 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71748 KiB
[startup+0.210552 s]*
/proc/loadavg: 2.63 2.25 2.12 4/222 5623
/proc/meminfo: memFree=8301540/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224537796 115843072 349 33554432000 4194304 5098028 140721203571008 140721203568264 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 349 296 221 0 87 0
[pid=5609] ppid=5606 vsize=15012476 memory=84208 CPUtime=0.25 cores=1,3,5,7
/proc/5609/stat : 5609 (java) S 5606 5606 3762 0 -1 1077944320 10400 0 0 0 23 2 0 0 20 0 15 0 224537796 15372775424 21052 33554432000 4194304 4196468 140736636218432 140736636200976 140362042814199 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
/proc/5609/statm: 3753119 21052 2911 1 0 3715579 0
[pid=5609/tid=5610] ppid=5606 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5609/task/5610/stat : 5610 (java) R 5606 5606 3762 0 -1 4202560 8242 0 0 0 18 2 0 0 20 0 15 0 224537796 15372775424 21052 33554432000 4194304 4196468 140736636218432 140362014634112 140362026894686 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5611] ppid=5606 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5611/stat : 5611 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 21052 33554432000 4194304 4196468 140736636218432 140362047056912 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5612] ppid=5606 vsize=15012476 memory=140683708669519 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5612/stat : 5612 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 21052 33554432000 4194304 4196468 140736636218432 140361503595664 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5613] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5613/stat : 5613 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 21052 33554432000 4194304 4196468 140736636218432 140361502542608 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5614] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5614/stat : 5614 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 21052 33554432000 4194304 4196468 140736636218432 140361501490064 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5615] ppid=5606 vsize=15012476 memory=140683707516544 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5615/stat : 5615 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537799 15372775424 21052 33554432000 4194304 4196468 140736636218432 140361080363248 140362042825346 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5616] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5616/stat : 5616 (java) S 5606 5606 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537800 15372775424 21052 33554432000 4194304 4196468 140736636218432 140360604968096 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5617] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5617/stat : 5617 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537800 15372775424 21052 33554432000 4194304 4196468 140736636218432 140360336532208 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5618] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5618/stat : 5618 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 21052 33554432000 4194304 4196468 140736636218432 140359962023888 140362042832795 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5619] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5619/stat : 5619 (java) S 5606 5606 3762 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 21117 33554432000 4194304 4196468 140736636218432 140361079311088 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5620] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5620/stat : 5620 (java) S 5606 5606 3762 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 21117 33554432000 4194304 4196468 140736636218432 140361078258544 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5621] ppid=5606 vsize=15012476 memory=140683707516544 CPUtime=0.03 cores=1,3,5,7
/proc/5609/task/5621/stat : 5621 (java) S 5606 5606 3762 0 -1 1077944384 338 0 0 0 3 0 0 0 20 0 15 0 224537803 15372775424 21117 33554432000 4194304 4196468 140736636218432 140361077205488 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5622] ppid=5606 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5622/stat : 5622 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 21117 33554432000 4194304 4196468 140736636218432 140359464119136 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5623] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5623/stat : 5623 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 21117 33554432000 4194304 4196468 140736636218432 140361076152880 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85604 KiB
[startup+0.3106 s]*
/proc/loadavg: 2.63 2.25 2.12 3/222 5623
/proc/meminfo: memFree=8297632/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224537796 115843072 349 33554432000 4194304 5098028 140721203571008 140721203568264 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 349 296 221 0 87 0
[pid=5609] ppid=5606 vsize=15012476 memory=88172 CPUtime=0.42 cores=1,3,5,7
/proc/5609/stat : 5609 (java) S 5606 5606 3762 0 -1 1077944320 11110 0 0 0 39 3 0 0 20 0 15 0 224537796 15372775424 22043 33554432000 4194304 4196468 140736636218432 140736636200976 140362042814199 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
/proc/5609/statm: 3753119 22043 2957 1 0 3715579 0
[pid=5609/tid=5610] ppid=5606 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5609/task/5610/stat : 5610 (java) R 5606 5606 3762 0 -1 4202560 8682 0 0 0 27 2 0 0 20 0 15 0 224537796 15372775424 22043 33554432000 4194304 4196468 140736636218432 140362014609200 140362026894686 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5611] ppid=5606 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5611/stat : 5611 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 22043 33554432000 4194304 4196468 140736636218432 140362047056912 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5612] ppid=5606 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5612/stat : 5612 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361503595664 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5613] ppid=5606 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5613/stat : 5613 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361502542608 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5614] ppid=5606 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5614/stat : 5614 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361501490064 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5615] ppid=5606 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5615/stat : 5615 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537799 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361080363248 140362042825346 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5616] ppid=5606 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5616/stat : 5616 (java) S 5606 5606 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537800 15372775424 22043 33554432000 4194304 4196468 140736636218432 140360604968096 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5617] ppid=5606 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5617/stat : 5617 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537800 15372775424 22043 33554432000 4194304 4196468 140736636218432 140360336532208 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5618] ppid=5606 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5618/stat : 5618 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 22043 33554432000 4194304 4196468 140736636218432 140359962023888 140362042832795 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5619] ppid=5606 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5609/task/5619/stat : 5619 (java) S 5606 5606 3762 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 15 0 224537803 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361079311088 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5620] ppid=5606 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5609/task/5620/stat : 5620 (java) S 5606 5606 3762 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 224537803 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361078258544 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5621] ppid=5606 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5609/task/5621/stat : 5621 (java) S 5606 5606 3762 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 15 0 224537803 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361077205488 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5622] ppid=5606 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5622/stat : 5622 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 22043 33554432000 4194304 4196468 140736636218432 140359464119136 140362042824405 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5623] ppid=5606 vsize=15012476 memory=4123382150859994927 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5623/stat : 5623 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537803 15372775424 22043 33554432000 4194304 4196468 140736636218432 140361076152880 140362042825346 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89568 KiB
[startup+0.70081 s]
/proc/loadavg: 2.63 2.25 2.12 3/222 5623
/proc/meminfo: memFree=8272580/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224537796 115843072 349 33554432000 4194304 5098028 140721203571008 140721203568264 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 349 296 221 0 87 0
[pid=5609] ppid=5606 vsize=15020872 memory=128944 CPUtime=1 cores=1,3,5,7
/proc/5609/stat : 5609 (java) S 5606 5606 3762 0 -1 1077944320 18355 0 0 0 95 5 0 0 20 0 15 0 224537796 15381372928 32236 33554432000 4194304 4196468 140736636218432 140736636200976 140362042814199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
/proc/5609/statm: 3755218 32236 3160 1 0 3716603 0
[pid=5609/tid=5610] ppid=5606 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/5609/task/5610/stat : 5610 (java) R 5606 5606 3762 0 -1 4202560 15361 0 0 0 63 4 0 0 20 0 15 0 224537796 15381372928 32236 33554432000 4194304 4196468 140736636218432 140362014646096 140362042836125 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5611] ppid=5606 vsize=15020872 memory=180 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5611/stat : 5611 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15381372928 32236 33554432000 4194304 4196468 140736636218432 140362047056912 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5612] ppid=5606 vsize=15020872 memory=14795 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5612/stat : 5612 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361503595664 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5613] ppid=5606 vsize=15020872 memory=26692 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5613/stat : 5613 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361502542608 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5614] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5614/stat : 5614 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361501490064 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5615] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5615/stat : 5615 (java) S 5606 5606 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224537799 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361080363248 140362042825346 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5616] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5616/stat : 5616 (java) S 5606 5606 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537800 15381372928 32236 33554432000 4194304 4196468 140736636218432 140360604968096 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5617] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5617/stat : 5617 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537800 15381372928 32236 33554432000 4194304 4196468 140736636218432 140360336532208 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5618] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5618/stat : 5618 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15381372928 32236 33554432000 4194304 4196468 140736636218432 140359962023888 140362042832795 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5619] ppid=5606 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5609/task/5619/stat : 5619 (java) S 5606 5606 3762 0 -1 1077944384 409 0 0 0 9 0 0 0 20 0 15 0 224537803 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361079311088 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5620] ppid=5606 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5609/task/5620/stat : 5620 (java) S 5606 5606 3762 0 -1 1077944384 579 0 0 0 6 0 0 0 20 0 15 0 224537803 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361078258544 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5621] ppid=5606 vsize=15020872 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5609/task/5621/stat : 5621 (java) S 5606 5606 3762 0 -1 1077944384 669 0 0 0 15 0 0 0 20 0 15 0 224537803 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361077205488 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5622] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5622/stat : 5622 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15381372928 32236 33554432000 4194304 4196468 140736636218432 140359464119136 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5623] ppid=5606 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5623/stat : 5623 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537803 15381372928 32236 33554432000 4194304 4196468 140736636218432 140361076152880 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130340 KiB
[startup+1.50381 s]
/proc/loadavg: 2.63 2.25 2.12 5/222 5623
/proc/meminfo: memFree=8241076/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224537796 115843072 349 33554432000 4194304 5098028 140721203571008 140721203568264 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 665680 KiB
[startup+5.6427 s]
# the end of solver process 5606 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.2884 s, system=0.452065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20099 s]
/proc/loadavg: 2.66 2.26 2.13 5/222 5623
/proc/meminfo: memFree=7793172/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224537796 115843072 349 33554432000 4194304 5098028 140721203571008 140721203568264 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 349 296 221 0 87 0
[pid=5609] ppid=5606 vsize=15027084 memory=727836 CPUtime=8.17 cores=1,3,5,7
/proc/5609/stat : 5609 (java) S 5606 5606 3762 0 -1 1077944320 26370 0 0 0 799 18 0 0 20 0 15 0 224537796 15387734016 181959 33554432000 4194304 4196468 140736636218432 140736636200976 140362042814199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
/proc/5609/statm: 3756771 181959 3218 1 0 3717627 0
[pid=5609/tid=5610] ppid=5606 vsize=15027084 memory=96 CPUtime=3.08 cores=1,3,5,7
/proc/5609/task/5610/stat : 5610 (java) R 5606 5606 3762 0 -1 4202560 17122 0 0 0 294 14 0 0 20 0 15 0 224537796 15387734016 181959 33554432000 4194304 4196468 140736636218432 140362014644960 140361557469022 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5611] ppid=5606 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5611/stat : 5611 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15387734016 181959 33554432000 4194304 4196468 140736636218432 140362047056912 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5612] ppid=5606 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5612/stat : 5612 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361503595664 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5613] ppid=5606 vsize=15027084 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5613/stat : 5613 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537798 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361502542608 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5614] ppid=5606 vsize=15027084 memory=140683600277678 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5614/stat : 5614 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537798 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361501490064 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5615] ppid=5606 vsize=15027084 memory=281367200539536 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5615/stat : 5615 (java) S 5606 5606 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224537799 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361080363248 140362042825346 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5616] ppid=5606 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5616/stat : 5616 (java) S 5606 5606 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537800 15387734016 181959 33554432000 4194304 4196468 140736636218432 140360604968096 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5617] ppid=5606 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5617/stat : 5617 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537800 15387734016 181959 33554432000 4194304 4196468 140736636218432 140360336532208 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5618] ppid=5606 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5618/stat : 5618 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15387734016 181959 33554432000 4194304 4196468 140736636218432 140359962023888 140362042832795 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5619] ppid=5606 vsize=15027084 memory=0 CPUtime=2.11 cores=1,3,5,7
/proc/5609/task/5619/stat : 5619 (java) R 5606 5606 3762 0 -1 4202560 2797 0 0 0 211 0 0 0 20 0 15 0 224537803 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361079297112 140362024358516 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5620] ppid=5606 vsize=15027084 memory=0 CPUtime=1.98 cores=1,3,5,7
/proc/5609/task/5620/stat : 5620 (java) S 5606 5606 3762 0 -1 1077944384 2292 0 0 0 197 1 0 0 20 0 15 0 224537803 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361078258544 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5621] ppid=5606 vsize=15027084 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/5609/task/5621/stat : 5621 (java) S 5606 5606 3762 0 -1 1077944384 2820 0 0 0 96 1 0 0 20 0 15 0 224537803 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361077205488 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5622] ppid=5606 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5622/stat : 5622 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15387734016 181959 33554432000 4194304 4196468 140736636218432 140359464119136 140362042824405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
[pid=5609/tid=5623] ppid=5606 vsize=15027084 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5609/task/5623/stat : 5623 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537803 15387734016 181959 33554432000 4194304 4196468 140736636218432 140361076152880 140362042825346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6410240 140736636220423 140736636220721 140736636220721 140736636223439 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 729232 KiB
[startup+4.80031 s]
/proc/loadavg: 2.66 2.26 2.13 4/222 5623
/proc/meminfo: memFree=6945820/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1472 CPUtime=9.61 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 591 27994 0 0 0 0 928 33 20 0 1 0 224537796 115843072 368 33554432000 4194304 5098028 140721203571008 140721203567752 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+5.20097 s]
/proc/loadavg: 2.66 2.26 2.13 6/227 5644
/proc/meminfo: memFree=8247828/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1472 CPUtime=9.61 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 591 27994 0 0 0 0 928 33 20 0 1 0 224537796 115843072 368 33554432000 4194304 5098028 140721203571008 140721203567752 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 368 311 221 0 87 0
[pid=5624] ppid=5606 vsize=8068220 memory=122548 CPUtime=1.27 cores=1,3,5,7
/proc/5624/stat : 5624 (java) S 5606 5606 3762 0 -1 1077944320 17799 0 0 0 120 7 0 0 20 0 19 0 224538217 8261857280 30637 33554432000 4194304 4196468 140729900698560 140729900681104 140324513259255 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
/proc/5624/statm: 2017055 30637 3158 1 0 1978454 0
[pid=5639] ppid=5624 vsize=46148 memory=28796 CPUtime=0.23 cores=1,3,5,7
/proc/5639/stat : 5639 (minisat_release) R 5624 5606 3762 0 -1 4202496 6253 0 0 0 22 1 0 0 20 0 1 0 224538292 47255552 7199 33554432000 4194304 4308513 140721837718960 140721837716232 4221787 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 28835840 140721837720693 140721837720790 140721837720790 140721837723589 0
/proc/5639/statm: 11537 7199 302 28 0 7777 0
[pid=5624/tid=5625] ppid=5606 vsize=8068220 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/5624/task/5625/stat : 5625 (java) S 5606 5606 3762 0 -1 1077944384 14469 0 0 0 72 6 0 0 20 0 19 0 224538217 8261857280 30637 33554432000 4194304 4196468 140729900698560 140324485099408 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5626] ppid=5606 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5626/stat : 5626 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538218 8261857280 30637 33554432000 4194304 4196468 140729900698560 140324517502096 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5627] ppid=5606 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5627/stat : 5627 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538218 8261857280 30637 33554432000 4194304 4196468 140729900698560 140324317670416 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5628] ppid=5606 vsize=8068220 memory=103940 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5628/stat : 5628 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538218 8261857280 30637 33554432000 4194304 4196468 140729900698560 140324316617616 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5629] ppid=5606 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5629/stat : 5629 (java) S 5606 5606 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224538218 8261857280 30637 33554432000 4194304 4196468 140729900698560 140324315564816 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5630] ppid=5606 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5630/stat : 5630 (java) S 5606 5606 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224538220 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323556665712 140324513270402 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5631] ppid=5606 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5631/stat : 5631 (java) S 5606 5606 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224538220 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323426657312 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5632] ppid=5606 vsize=8068220 memory=288230377091498274 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5632/stat : 5632 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538220 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323158221680 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5633] ppid=5606 vsize=8068220 memory=15821084087813537 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5633/stat : 5633 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538223 8261857280 30637 33554432000 4194304 4196468 140729900698560 140322783713104 140324513277851 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5634] ppid=5606 vsize=8068220 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5624/task/5634/stat : 5634 (java) S 5606 5606 3762 0 -1 1077944384 894 0 0 0 15 0 0 0 20 0 19 0 224538223 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323555613552 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5635] ppid=5606 vsize=8068220 memory=928 CPUtime=0.11 cores=1,3,5,7
/proc/5624/task/5635/stat : 5635 (java) S 5606 5606 3762 0 -1 1077944384 464 0 0 0 11 0 0 0 20 0 19 0 224538223 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323554560752 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5636] ppid=5606 vsize=8068220 memory=1572 CPUtime=0.21 cores=1,3,5,7
/proc/5624/task/5636/stat : 5636 (java) S 5606 5606 3762 0 -1 1077944384 580 0 0 0 21 0 0 0 20 0 19 0 224538223 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323553507952 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5637] ppid=5606 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5637/stat : 5637 (java) S 5606 5606 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224538223 8261857280 30637 33554432000 4194304 4196468 140729900698560 140322285808352 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5638] ppid=5606 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5638/stat : 5638 (java) S 5606 5606 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224538223 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323552455344 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5640] ppid=5606 vsize=8068220 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5640/stat : 5640 (java) S 5606 5606 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224538292 8261857280 30637 33554432000 4194304 4196468 140729900698560 140323544978624 140324513283865 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5642] ppid=5606 vsize=8068220 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5642/stat : 5642 (java) S 5606 5606 3762 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224538293 8261857280 30637 33554432000 4194304 4196468 140729900698560 140321748921648 140324513281181 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5643] ppid=5606 vsize=8068220 memory=844 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5643/stat : 5643 (java) S 5606 5606 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224538293 8261857280 30637 33554432000 4194304 4196468 140729900698560 140321480491184 140324513281181 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5644] ppid=5606 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5624/task/5644/stat : 5644 (java) S 5606 5606 3762 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224538296 8261857280 30637 33554432000 4194304 4196468 140729900698560 140321883152032 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
Current children cumulated CPU time: 11.11 s
Current children cumulated vsize: 8227496 KiB
Current children cumulated memory: 152816 KiB
[startup+5.60932 s]
/proc/loadavg: 2.66 2.26 2.13 6/227 5644
/proc/meminfo: memFree=8247828/32770624 swapFree=67108860/67108860
[pid=5606] ppid=5603 vsize=113128 memory=1472 CPUtime=9.61 cores=1,3,5,7
/proc/5606/stat : 5606 (scop.sh) S 5603 5606 3762 0 -1 4202496 591 27994 0 0 0 0 928 33 20 0 1 0 224537796 115843072 368 33554432000 4194304 5098028 140721203571008 140721203567752 140352232702588 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28483584 140721203577920 140721203578119 140721203578119 140721203580877 0
/proc/5606/statm: 28282 368 311 221 0 87 0
[pid=5624] ppid=5606 vsize=7937144 memory=126812 CPUtime=2.02 cores=1,3,5,7
/proc/5624/stat : 5624 (java) S 5606 5606 3762 0 -1 1077944320 18399 7874 0 0 143 8 50 1 20 0 17 0 224538217 8127635456 31703 33554432000 4194304 4196468 140729900698560 140729900681104 140324513259255 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
/proc/5624/statm: 1984286 31703 3170 1 0 1945685 0
[pid=5624/tid=5625] ppid=5606 vsize=7937144 memory=2241 CPUtime=1.38 cores=1,3,5,7
/proc/5624/task/5625/stat : 5625 (java) R 5606 5606 3762 0 -1 4202560 14765 7874 0 0 81 6 50 1 20 0 17 0 224538217 8127635456 31703 33554432000 4194304 4196468 140729900698560 140324485097256 140323980450337 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5626] ppid=5606 vsize=7937144 memory=2244 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5626/stat : 5626 (java) S 5606 5606 3762 0 -1 1077944384 1 7874 0 0 0 0 50 1 20 0 17 0 224538218 8127635456 31703 33554432000 4194304 4196468 140729900698560 140324517502096 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5627] ppid=5606 vsize=7937144 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5627/stat : 5627 (java) S 5606 5606 3762 0 -1 1077944384 1 7874 0 0 0 0 50 1 20 0 17 0 224538218 8127635456 31703 33554432000 4194304 4196468 140729900698560 140324317670416 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5628] ppid=5606 vsize=7937144 memory=920 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5628/stat : 5628 (java) S 5606 5606 3762 0 -1 1077944384 1 7874 0 0 0 0 50 1 20 0 17 0 224538218 8127635456 31703 33554432000 4194304 4196468 140729900698560 140324316617616 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5629] ppid=5606 vsize=7937144 memory=3848 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5629/stat : 5629 (java) S 5606 5606 3762 0 -1 1077944384 2 7874 0 0 0 0 50 1 20 0 17 0 224538218 8127635456 31703 33554432000 4194304 4196468 140729900698560 140324315564816 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5630] ppid=5606 vsize=7937144 memory=2588 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5630/stat : 5630 (java) S 5606 5606 3762 0 -1 1077944384 5 7874 0 0 0 0 50 1 20 0 17 0 224538220 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323556665712 140324513270402 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5631] ppid=5606 vsize=7937144 memory=2824 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5631/stat : 5631 (java) S 5606 5606 3762 0 -1 1077944384 13 7874 0 0 0 0 50 1 20 0 17 0 224538220 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323426657312 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5632] ppid=5606 vsize=7937144 memory=4104 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5632/stat : 5632 (java) S 5606 5606 3762 0 -1 1077944384 1 7874 0 0 0 0 50 1 20 0 17 0 224538220 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323158221680 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5633] ppid=5606 vsize=7937144 memory=1408 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5633/stat : 5633 (java) S 5606 5606 3762 0 -1 1077944384 3 7874 0 0 0 0 50 1 20 0 17 0 224538223 8127635456 31703 33554432000 4194304 4196468 140729900698560 140322783713104 140324513277851 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5634] ppid=5606 vsize=7937144 memory=3436 CPUtime=0.68 cores=1,3,5,7
/proc/5624/task/5634/stat : 5634 (java) S 5606 5606 3762 0 -1 1077944384 923 7874 0 0 17 0 50 1 20 0 17 0 224538223 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323555613552 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5635] ppid=5606 vsize=7937144 memory=1472 CPUtime=0.64 cores=1,3,5,7
/proc/5624/task/5635/stat : 5635 (java) S 5606 5606 3762 0 -1 1077944384 484 7874 0 0 13 0 50 1 20 0 17 0 224538223 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323554560752 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5636] ppid=5606 vsize=7937144 memory=114360 CPUtime=0.78 cores=1,3,5,7
/proc/5624/task/5636/stat : 5636 (java) S 5606 5606 3762 0 -1 1077944384 748 7874 0 0 27 0 50 1 20 0 17 0 224538223 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323553507952 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5637] ppid=5606 vsize=7937144 memory=103500 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5637/stat : 5637 (java) S 5606 5606 3762 0 -1 1077944384 3 7874 0 0 0 0 50 1 20 0 17 0 224538223 8127635456 31703 33554432000 4194304 4196468 140729900698560 140322285808352 140324513269461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5638] ppid=5606 vsize=7937144 memory=1408 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5638/stat : 5638 (java) S 5606 5606 3762 0 -1 1077944384 1 7874 0 0 0 0 50 1 20 0 17 0 224538223 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323552455344 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5640] ppid=5606 vsize=7937144 memory=2500 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5640/stat : 5640 (java) S 5606 5606 3762 0 -1 1077944384 28 7874 0 0 0 0 50 1 20 0 17 0 224538292 8127635456 31703 33554432000 4194304 4196468 140729900698560 140323544977808 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
[pid=5624/tid=5644] ppid=5606 vsize=7937144 memory=1408 CPUtime=0.51 cores=1,3,5,7
/proc/5624/task/5644/stat : 5644 (java) S 5606 5606 3762 0 -1 1077944384 31 7874 0 0 0 0 50 1 20 0 17 0 224538296 8127635456 31703 33554432000 4194304 4196468 140729900698560 140321883153840 140324513270402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20541440 140729900700854 140729900700977 140729900700977 140729900703695 0
Current children cumulated CPU time: 11.63 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 128284 KiB
Child status: 0
Real time (s): 5.64276
CPU time (s): 11.7404
CPU user time (s): 11.2884
CPU system time (s): 0.452065
CPU usage (%): 208.062
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1448000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2884
system time used= 0.452065
maximum resident set size= 1451524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5701
involuntary context switches= 59
# summary of solver processes directly reported to runsolver:
# pid: 5606
# total CPU time (s): 11.7404
# total CPU user time (s): 11.2884
# total CPU system time (s): 0.452065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05906 second user time and 0.099792 second system time
The end