Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 9 | 70.6979 | 12.3998 |
Name | Opd/Opd-sum-large/ Opd-04-350-100.xml |
MD5SUM | 05a37308653f1418d8a9d31e27700b02 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 10.3495 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1401 |
Number of constraints | 11 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 342 |
Distribution of domain sizes | [{"size":2,"count":1400},{"size":342,"count":1}] |
Minimum variable degree | 5 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":5,"count":1400},{"degree":7,"count":1}] |
Minimum constraint arity | 350 |
Maximum constraint arity | 1400 |
Distribution of constraint arities | [{"arity":350,"count":4},{"arity":701,"count":6},{"arity":1400,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":10}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394511-1568421511.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394511-1568421511.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.86/0.74 c solve instance... 6.79/1.66 o 95 7.54/1.83 o 94 8.83/2.03 o 90 15.00/2.85 o 77 15.65/2.98 o 70 16.03/3.03 o 69 16.37/3.12 o 68 16.95/3.40 o 67 17.20/3.67 o 66 17.20/3.68 o 65 17.89/3.80 o 64 18.87/4.12 o 63 18.87/4.15 o 62 40.05/6.87 o 52 41.88/7.13 o 51 41.88/7.15 o 50 41.88/7.16 o 49 42.36/7.21 o 48 42.36/7.24 o 47 43.13/7.43 o 46 43.29/7.51 o 45 52.74/8.76 o 43 54.07/9.00 o 41 54.86/9.03 o 40 55.67/9.58 o 39 55.85/9.60 o 38 55.85/9.62 o 37 55.85/9.67 o 36 55.85/9.69 o 35 56.55/9.79 o 34 56.81/9.83 o 33 57.46/9.99 o 32 57.46/10.01 o 31 57.81/10.03 o 30 57.81/10.07 o 29 58.40/10.12 o 28 59.07/10.21 o 27 59.07/10.25 o 26 60.33/10.47 o 25 60.33/10.48 o 24 60.63/10.52 o 23 61.96/10.74 o 22 61.96/10.78 o 21 62.36/10.86 o 20 62.88/10.96 o 19 63.34/11.02 o 18 63.34/11.06 o 17 64.80/11.35 o 16 65.22/11.40 o 15 66.80/11.68 o 14 67.08/11.73 o 13 67.08/11.78 o 12 67.57/11.88 o 11 68.20/11.90 o 10 70.59/12.37 o 9 70.59/12.37 s OPTIMUM FOUND 70.59/12.37 v <instantiation> 70.59/12.37 v <list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] </list> 70.59/12.37 v <values>9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 70.59/12.37 v </instantiation>
OK 9
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 (15179 MiB free) memory of node 1: 16384 MiB (15482 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394511-1568421511/watcher-4394511-1568421511 -o /tmp/evaluation-result-4394511-1568421511/solver-4394511-1568421511 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568413634-3245 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1410384357 HOME/instance-4394511-1568421511.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 solver pid=4924, runsolver pid=4921 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100153 s]* /proc/loadavg: 8.20 8.27 8.18 3/210 4945 /proc/meminfo: memFree=31382328/32770624 swapFree=66936900/67108860 [pid=4924] ppid=4921 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4924/stat : 4924 (xcsp3-exec) S 4921 4924 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418409534 115843072 363 33554432000 4194304 5098028 140726086712576 140726086710680 140642781315708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140726086718325 140726086718569 140726086718569 140726086721482 0 /proc/4924/statm: 28282 363 304 221 0 87 0 [pid=4926] ppid=4924 vsize=28227388 memory=29212 CPUtime=0.12 cores=0-7 /proc/4926/stat : 4926 (java) S 4924 4924 3218 0 -1 1077944320 5703 0 0 0 10 2 0 0 20 0 20 0 418409534 28904845312 7303 33554432000 4194304 4196468 140731187818160 140731187800704 139668841258743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 /proc/4926/statm: 7056847 7303 3151 1 0 7019032 0 [pid=4926/tid=4927] ppid=4924 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/4926/task/4927/stat : 4927 (java) R 4924 4924 3218 0 -1 4202560 3617 0 0 0 8 1 0 0 20 0 20 0 418409535 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668845490720 139668841270678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4928] ppid=4924 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4926/task/4928/stat : 4928 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668793878928 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4929] ppid=4924 vsize=28227388 memory=139948571784832 CPUtime=0 cores=0-7 /proc/4926/task/4929/stat : 4929 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668792826128 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4930] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4930/stat : 4930 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668791773840 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4931] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4931/stat : 4931 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668790721040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4932] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4932/stat : 4932 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668789668752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4933] ppid=4924 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4933/stat : 4933 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668788615952 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4934] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4934/stat : 4934 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668787563664 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4935] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4935/stat : 4935 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 7303 33554432000 4194304 4196468 140731187818160 139668786510864 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4936] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4936/stat : 4936 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409537 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667890296944 139668841269890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4937] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4937/stat : 4937 (java) S 4924 4924 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418409538 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667889242912 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4938] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4938/stat : 4938 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418409538 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667888190576 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4939] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4939/stat : 4939 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667887138896 139668841277339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4940] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4940/stat : 4940 (java) S 4924 4924 3218 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667886086768 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4941] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4941/stat : 4941 (java) R 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667885034064 139668841268949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4942] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4942/stat : 4942 (java) R 4924 4924 3218 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667883973328 139668824694481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4943] ppid=4924 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/4926/task/4943/stat : 4943 (java) R 4924 4924 3218 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 418409540 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667882928880 139668841280090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4944] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4944/stat : 4944 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667881875808 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4945] ppid=4924 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4945/stat : 4945 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409541 28904845312 7303 33554432000 4194304 4196468 140731187818160 139667880823088 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30664 KiB [startup+0.210604 s]* /proc/loadavg: 8.20 8.27 8.18 3/210 4945 /proc/meminfo: memFree=31368924/32770624 swapFree=66936900/67108860 [pid=4924] ppid=4921 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4924/stat : 4924 (xcsp3-exec) S 4921 4924 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418409534 115843072 363 33554432000 4194304 5098028 140726086712576 140726086710680 140642781315708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140726086718325 140726086718569 140726086718569 140726086721482 0 /proc/4924/statm: 28282 363 304 221 0 87 0 [pid=4926] ppid=4924 vsize=28227388 memory=41048 CPUtime=0.34 cores=0-7 /proc/4926/stat : 4926 (java) S 4924 4924 3218 0 -1 1077944320 9525 0 0 0 30 4 0 0 20 0 20 0 418409534 28904845312 10262 33554432000 4194304 4196468 140731187818160 140731187800704 139668841258743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 /proc/4926/statm: 7056847 10262 3305 1 0 7019032 0 [pid=4926/tid=4927] ppid=4924 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/4926/task/4927/stat : 4927 (java) R 4924 4924 3218 0 -1 4202560 6642 0 0 0 17 3 0 0 20 0 20 0 418409535 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668845492624 139668825339230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4928] ppid=4924 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/4926/task/4928/stat : 4928 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668793878928 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4929] ppid=4924 vsize=28227388 memory=139948571794479 CPUtime=0 cores=0-7 /proc/4926/task/4929/stat : 4929 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668792826128 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4930] ppid=4924 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4930/stat : 4930 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668791773840 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4931] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4931/stat : 4931 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668790721040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4932] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4932/stat : 4932 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668789668752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4933] ppid=4924 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4933/stat : 4933 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668788615952 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4934] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4934/stat : 4934 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668787563664 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4935] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4935/stat : 4935 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28904845312 10262 33554432000 4194304 4196468 140731187818160 139668786510864 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4936] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4936/stat : 4936 (java) S 4924 4924 3218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418409537 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667890296944 139668841269890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4937] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4937/stat : 4937 (java) S 4924 4924 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418409538 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667889242912 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4938] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4938/stat : 4938 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418409538 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667888190576 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4939] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4939/stat : 4939 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667887138896 139668841277339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4940] ppid=4924 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4926/task/4940/stat : 4940 (java) S 4924 4924 3218 0 -1 1077944384 598 0 0 0 1 0 0 0 20 0 20 0 418409540 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667886086768 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4941] ppid=4924 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4926/task/4941/stat : 4941 (java) R 4924 4924 3218 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 418409540 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667885033968 139668841269890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4942] ppid=4924 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/4926/task/4942/stat : 4942 (java) S 4924 4924 3218 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 418409540 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667883981680 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4943] ppid=4924 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/4926/task/4943/stat : 4943 (java) S 4924 4924 3218 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 20 0 418409540 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667882928880 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4944] ppid=4924 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4944/stat : 4944 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409540 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667881875808 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4945] ppid=4924 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4945/stat : 4945 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409541 28904845312 10262 33554432000 4194304 4196468 140731187818160 139667880823088 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42500 KiB [startup+0.31783 s]* /proc/loadavg: 8.20 8.27 8.18 3/210 4945 /proc/meminfo: memFree=31361284/32770624 swapFree=66936900/67108860 [pid=4924] ppid=4921 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4924/stat : 4924 (xcsp3-exec) S 4921 4924 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418409534 115843072 363 33554432000 4194304 5098028 140726086712576 140726086710680 140642781315708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140726086718325 140726086718569 140726086718569 140726086721482 0 /proc/4924/statm: 28282 363 304 221 0 87 0 [pid=4926] ppid=4924 vsize=28231644 memory=50556 CPUtime=0.53 cores=0-7 /proc/4926/stat : 4926 (java) S 4924 4924 3218 0 -1 1077944320 11017 0 0 0 48 5 0 0 20 0 20 0 418409534 28909203456 12639 33554432000 4194304 4196468 140731187818160 140731187800704 139668841258743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 /proc/4926/statm: 7057911 12639 3348 1 0 7019032 0 [pid=4926/tid=4927] ppid=4924 vsize=28231644 memory=8317482817917895235 CPUtime=0.31 cores=0-7 /proc/4926/task/4927/stat : 4927 (java) R 4924 4924 3218 0 -1 4202560 7915 0 0 0 27 4 0 0 20 0 20 0 418409535 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668845497312 139668825339230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4928] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4928/stat : 4928 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668793878928 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4929] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4929/stat : 4929 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668792826128 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4930] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4930/stat : 4930 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668791773840 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4931] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4931/stat : 4931 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668790721040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4932] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4932/stat : 4932 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668789668752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4933] ppid=4924 vsize=28231644 memory=139948422425263 CPUtime=0 cores=0-7 /proc/4926/task/4933/stat : 4933 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668788615952 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4934] ppid=4924 vsize=28231644 memory=139948422427568 CPUtime=0 cores=0-7 /proc/4926/task/4934/stat : 4934 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668787563664 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4935] ppid=4924 vsize=28231644 memory=139948422429872 CPUtime=0 cores=0-7 /proc/4926/task/4935/stat : 4935 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28909203456 12647 33554432000 4194304 4196468 140731187818160 139668786510864 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4936] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4936/stat : 4936 (java) S 4924 4924 3218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418409537 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667890296944 139668841269890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4937] ppid=4924 vsize=28231644 memory=279896844873616 CPUtime=0 cores=0-7 /proc/4926/task/4937/stat : 4937 (java) S 4924 4924 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418409538 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667889242912 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4938] ppid=4924 vsize=28231644 memory=279896844871312 CPUtime=0 cores=0-7 /proc/4926/task/4938/stat : 4938 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418409538 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667888190576 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4939] ppid=4924 vsize=28231644 memory=279896844878224 CPUtime=0 cores=0-7 /proc/4926/task/4939/stat : 4939 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409540 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667887138896 139668841277339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4940] ppid=4924 vsize=28231644 memory=279896844819504 CPUtime=0.03 cores=0-7 /proc/4926/task/4940/stat : 4940 (java) S 4924 4924 3218 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 20 0 418409540 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667886086768 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4941] ppid=4924 vsize=28231644 memory=279896844892048 CPUtime=0.02 cores=0-7 /proc/4926/task/4941/stat : 4941 (java) S 4924 4924 3218 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 418409540 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667885033968 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4942] ppid=4924 vsize=28231644 memory=279896844898960 CPUtime=0.03 cores=0-7 /proc/4926/task/4942/stat : 4942 (java) S 4924 4924 3218 0 -1 1077944384 155 0 0 0 3 0 0 0 20 0 20 0 418409540 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667883981680 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4943] ppid=4924 vsize=28231644 memory=279896844896656 CPUtime=0.12 cores=0-7 /proc/4926/task/4943/stat : 4943 (java) S 4924 4924 3218 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 418409540 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667882928880 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4944] ppid=4924 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4944/stat : 4944 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409540 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667881875808 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4945] ppid=4924 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4945/stat : 4945 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409541 28909203456 12647 33554432000 4194304 4196468 140731187818160 139667880823088 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 52008 KiB [startup+0.700978 s] /proc/loadavg: 8.20 8.27 8.18 5/210 4945 /proc/meminfo: memFree=31342540/32770624 swapFree=66936900/67108860 [pid=4924] ppid=4921 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4924/stat : 4924 (xcsp3-exec) S 4921 4924 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418409534 115843072 363 33554432000 4194304 5098028 140726086712576 140726086710680 140642781315708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140726086718325 140726086718569 140726086718569 140726086721482 0 /proc/4924/statm: 28282 363 304 221 0 87 0 [pid=4926] ppid=4924 vsize=28233768 memory=123328 CPUtime=1.86 cores=0-7 /proc/4926/stat : 4926 (java) S 4924 4924 3218 0 -1 1077944320 14845 0 0 0 178 8 0 0 20 0 20 0 418409534 28911378432 30832 33554432000 4194304 4196468 140731187818160 140731187800704 139668841258743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 /proc/4926/statm: 7058442 30832 3459 1 0 7019544 0 [pid=4926/tid=4927] ppid=4924 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/4926/task/4927/stat : 4927 (java) R 4924 4924 3218 0 -1 4202560 9206 0 0 0 62 5 0 0 20 0 20 0 418409535 28911378432 30832 33554432000 4194304 4196468 140731187818160 139668845491808 139668464443534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4928] ppid=4924 vsize=28233768 memory=139948422636400 CPUtime=0 cores=0-7 /proc/4926/task/4928/stat : 4928 (java) S 4924 4924 3218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418409536 28911378432 30832 33554432000 4194304 4196468 140731187818160 139668793878928 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4929] ppid=4924 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4929/stat : 4929 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418409536 28911378432 30832 33554432000 4194304 4196468 140731187818160 139668792826128 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4930] ppid=4924 vsize=28233768 memory=784 CPUtime=0 cores=0-7 /proc/4926/task/4930/stat : 4930 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418409536 28911378432 30832 33554432000 4194304 4196468 140731187818160 139668791773840 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 ################ # More data... # ################ [pid=4926/tid=4943] ppid=4924 vsize=28768328 memory=0 CPUtime=0.97 cores=0-7 /proc/4926/task/4943/stat : 4943 (java) S 4924 4924 3218 0 -1 1077944384 4208 0 0 0 95 2 0 0 20 0 28 0 418409540 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667882928880 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4944] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4944/stat : 4944 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418409540 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667881875808 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4945] ppid=4924 vsize=28768328 memory=-1 CPUtime=0 cores=0-7 /proc/4926/task/4945/stat : 4945 (java) S 4924 4924 3218 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 418409541 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667880823088 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5379] ppid=4924 vsize=28768328 memory=-1 CPUtime=0.06 cores=0-7 /proc/4926/task/5379/stat : 5379 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667867405576 139668466043394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5380] ppid=4924 vsize=28768328 memory=29877177412 CPUtime=0.1 cores=0-7 /proc/4926/task/5380/stat : 5380 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667870564272 139668469122486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5381] ppid=4924 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/4926/task/5381/stat : 5381 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667871615784 139668463240813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5382] ppid=4924 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/4926/task/5382/stat : 5382 (java) R 4924 4924 3218 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667869514952 139668468511329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5383] ppid=4924 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7 /proc/4926/task/5383/stat : 5383 (java) R 4924 4924 3218 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667868462664 139668467430650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5384] ppid=4924 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/4926/task/5384/stat : 5384 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667866357192 139668467430550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5385] ppid=4924 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/4926/task/5385/stat : 5385 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667864251208 139668466205233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5386] ppid=4924 vsize=28768328 memory=279896845594248 CPUtime=0.1 cores=0-7 /proc/4926/task/5386/stat : 5386 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 418410725 29458767872 299606 33554432000 4194304 4196468 140731187818160 139667865303648 139668470962186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 Current children cumulated CPU time: 69.04 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1199876 KiB [startup+12.2012 s] /proc/loadavg: 7.25 8.06 8.11 10/218 5386 /proc/meminfo: memFree=30210376/32770624 swapFree=66936900/67108860 [pid=4924] ppid=4921 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4924/stat : 4924 (xcsp3-exec) S 4921 4924 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418409534 115843072 363 33554432000 4194304 5098028 140726086712576 140726086710680 140642781315708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140726086718325 140726086718569 140726086718569 140726086721482 0 /proc/4924/statm: 28282 363 304 221 0 87 0 [pid=4926] ppid=4924 vsize=28768328 memory=1202520 CPUtime=70.47 cores=0-7 /proc/4926/stat : 4926 (java) S 4924 4924 3218 0 -1 1077944320 49755 0 0 0 6966 81 0 0 20 0 28 0 418409534 29458767872 300630 33554432000 4194304 4196468 140731187818160 140731187800704 139668841258743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 /proc/4926/statm: 7192082 300630 3539 1 0 7153184 0 [pid=4926/tid=4927] ppid=4924 vsize=28768328 memory=6943526294502006880 CPUtime=0.83 cores=0-7 /proc/4926/task/4927/stat : 4927 (java) S 4924 4924 3218 0 -1 1077944384 9539 0 0 0 77 6 0 0 20 0 28 0 418409535 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668845499520 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4928] ppid=4924 vsize=28768328 memory=6656426216303648864 CPUtime=0.14 cores=0-7 /proc/4926/task/4928/stat : 4928 (java) S 4924 4924 3218 0 -1 1077944384 509 0 0 0 10 4 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668793878928 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4929] ppid=4924 vsize=28768328 memory=6944656592387989600 CPUtime=0.16 cores=0-7 /proc/4926/task/4929/stat : 4929 (java) S 4924 4924 3218 0 -1 1077944384 1134 0 0 0 11 5 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668792826128 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4930] ppid=4924 vsize=28768328 memory=6655300316396806240 CPUtime=0.13 cores=0-7 /proc/4926/task/4930/stat : 4930 (java) S 4924 4924 3218 0 -1 1077944384 223 0 0 0 10 3 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668791773840 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4931] ppid=4924 vsize=28768328 memory=288230583201495741 CPUtime=0.13 cores=0-7 /proc/4926/task/4931/stat : 4931 (java) S 4924 4924 3218 0 -1 1077944384 266 0 0 0 10 3 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668790721040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4932] ppid=4924 vsize=28768328 memory=15816690372773632 CPUtime=0.17 cores=0-7 /proc/4926/task/4932/stat : 4932 (java) S 4924 4924 3218 0 -1 1077944384 217 0 0 0 12 5 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668789668752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4933] ppid=4924 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7 /proc/4926/task/4933/stat : 4933 (java) S 4924 4924 3218 0 -1 1077944384 148 0 0 0 11 3 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668788615952 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4934] ppid=4924 vsize=28768328 memory=0 CPUtime=0.15 cores=0-7 /proc/4926/task/4934/stat : 4934 (java) S 4924 4924 3218 0 -1 1077944384 147 0 0 0 11 4 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668787563664 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4935] ppid=4924 vsize=28768328 memory=0 CPUtime=0.15 cores=0-7 /proc/4926/task/4935/stat : 4935 (java) S 4924 4924 3218 0 -1 1077944384 184 0 0 0 11 4 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668786510864 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4936] ppid=4924 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/4926/task/4936/stat : 4936 (java) S 4924 4924 3218 0 -1 1077944384 1216 0 0 0 2 0 0 0 20 0 28 0 418409537 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667890296944 139668841269890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4937] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4937/stat : 4937 (java) S 4924 4924 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418409538 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667889242976 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4938] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4938/stat : 4938 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418409538 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667888190592 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4939] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4939/stat : 4939 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667887138896 139668841277339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4940] ppid=4924 vsize=28768328 memory=0 CPUtime=3 cores=0-7 /proc/4926/task/4940/stat : 4940 (java) S 4924 4924 3218 0 -1 1077944384 8479 0 0 0 297 3 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667886086768 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4941] ppid=4924 vsize=28768328 memory=0 CPUtime=2.86 cores=0-7 /proc/4926/task/4941/stat : 4941 (java) S 4924 4924 3218 0 -1 1077944384 6073 0 0 0 284 2 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667885033968 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4942] ppid=4924 vsize=28768328 memory=0 CPUtime=2.86 cores=0-7 /proc/4926/task/4942/stat : 4942 (java) S 4924 4924 3218 0 -1 1077944384 5268 0 0 0 284 2 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667883981680 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4943] ppid=4924 vsize=28768328 memory=0 CPUtime=0.97 cores=0-7 /proc/4926/task/4943/stat : 4943 (java) S 4924 4924 3218 0 -1 1077944384 4208 0 0 0 95 2 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667882928880 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4944] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4944/stat : 4944 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667881875808 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4945] ppid=4924 vsize=28768328 memory=8292148131930887879 CPUtime=0 cores=0-7 /proc/4926/task/4945/stat : 4945 (java) S 4924 4924 3218 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 418409541 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667880823088 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5379] ppid=4924 vsize=28768328 memory=7681421203011431829 CPUtime=0.22 cores=0-7 /proc/4926/task/5379/stat : 5379 (java) S 4924 4924 3218 0 -1 1077944384 17 0 0 0 22 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667867406080 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5380] ppid=4924 vsize=28768328 memory=-6368199152461293614 CPUtime=0.27 cores=0-7 /proc/4926/task/5380/stat : 5380 (java) S 4924 4924 3218 0 -1 1077944384 17 0 0 0 27 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667870565456 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5381] ppid=4924 vsize=28768328 memory=6943526294502006880 CPUtime=0.28 cores=0-7 /proc/4926/task/5381/stat : 5381 (java) R 4924 4924 3218 0 -1 4202560 27 0 0 0 28 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667871615592 139668467412920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5382] ppid=4924 vsize=28768328 memory=6944656592455359580 CPUtime=0.27 cores=0-7 /proc/4926/task/5382/stat : 5382 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 27 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667869513040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5383] ppid=4924 vsize=28768328 memory=6943526294502006880 CPUtime=0.23 cores=0-7 /proc/4926/task/5383/stat : 5383 (java) S 4924 4924 3218 0 -1 1077944384 16 0 0 0 23 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667868460752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5384] ppid=4924 vsize=28768328 memory=6655300316396806240 CPUtime=0.27 cores=0-7 /proc/4926/task/5384/stat : 5384 (java) S 4924 4924 3218 0 -1 1077944384 19 0 0 0 27 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667866355280 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5385] ppid=4924 vsize=28768328 memory=-2897801490638248215 CPUtime=0.26 cores=0-7 /proc/4926/task/5385/stat : 5385 (java) S 4924 4924 3218 0 -1 1077944384 17 0 0 0 26 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667864249296 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5386] ppid=4924 vsize=28768328 memory=7085964663054688832 CPUtime=0.29 cores=0-7 /proc/4926/task/5386/stat : 5386 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667865303648 139668470962346 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 Current children cumulated CPU time: 70.47 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1203972 KiB [startup+12.3012 s] /proc/loadavg: 7.25 8.06 8.11 10/218 5386 /proc/meminfo: memFree=30210376/32770624 swapFree=66936900/67108860 [pid=4924] ppid=4921 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4924/stat : 4924 (xcsp3-exec) S 4921 4924 3218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418409534 115843072 363 33554432000 4194304 5098028 140726086712576 140726086710680 140642781315708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140726086718325 140726086718569 140726086718569 140726086721482 0 /proc/4924/statm: 28282 363 304 221 0 87 0 [pid=4926] ppid=4924 vsize=28768328 memory=1202520 CPUtime=70.59 cores=0-7 /proc/4926/stat : 4926 (java) S 4924 4924 3218 0 -1 1077944320 49755 0 0 0 6978 81 0 0 20 0 28 0 418409534 29458767872 300630 33554432000 4194304 4196468 140731187818160 140731187800704 139668841258743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 /proc/4926/statm: 7192082 300630 3539 1 0 7153184 0 [pid=4926/tid=4927] ppid=4924 vsize=28768328 memory=1079740 CPUtime=0.83 cores=0-7 /proc/4926/task/4927/stat : 4927 (java) S 4924 4924 3218 0 -1 1077944384 9539 0 0 0 77 6 0 0 20 0 28 0 418409535 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668845499520 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4928] ppid=4924 vsize=28768328 memory=4206186544037388384 CPUtime=0.14 cores=0-7 /proc/4926/task/4928/stat : 4928 (java) S 4924 4924 3218 0 -1 1077944384 509 0 0 0 10 4 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668793878928 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4929] ppid=4924 vsize=28768328 memory=1192280 CPUtime=0.16 cores=0-7 /proc/4926/task/4929/stat : 4929 (java) S 4924 4924 3218 0 -1 1077944384 1134 0 0 0 11 5 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668792826128 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4930] ppid=4924 vsize=28768328 memory=697448 CPUtime=0.13 cores=0-7 /proc/4926/task/4930/stat : 4930 (java) S 4924 4924 3218 0 -1 1077944384 223 0 0 0 10 3 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668791773840 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4931] ppid=4924 vsize=28768328 memory=1192244 CPUtime=0.13 cores=0-7 /proc/4926/task/4931/stat : 4931 (java) S 4924 4924 3218 0 -1 1077944384 266 0 0 0 10 3 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668790721040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4932] ppid=4924 vsize=28768328 memory=6370173904687885416 CPUtime=0.17 cores=0-7 /proc/4926/task/4932/stat : 4932 (java) S 4924 4924 3218 0 -1 1077944384 217 0 0 0 12 5 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668789668752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4933] ppid=4924 vsize=28768328 memory=1452 CPUtime=0.14 cores=0-7 /proc/4926/task/4933/stat : 4933 (java) S 4924 4924 3218 0 -1 1077944384 148 0 0 0 11 3 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668788615952 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4934] ppid=4924 vsize=28768328 memory=449552 CPUtime=0.15 cores=0-7 /proc/4926/task/4934/stat : 4934 (java) S 4924 4924 3218 0 -1 1077944384 147 0 0 0 11 4 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668787563664 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4935] ppid=4924 vsize=28768328 memory=388336 CPUtime=0.15 cores=0-7 /proc/4926/task/4935/stat : 4935 (java) S 4924 4924 3218 0 -1 1077944384 184 0 0 0 11 4 0 0 20 0 28 0 418409536 29458767872 300630 33554432000 4194304 4196468 140731187818160 139668786510864 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4936] ppid=4924 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/4926/task/4936/stat : 4936 (java) S 4924 4924 3218 0 -1 1077944384 1216 0 0 0 2 0 0 0 20 0 28 0 418409537 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667890296944 139668841269890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4937] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4937/stat : 4937 (java) S 4924 4924 3218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418409538 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667889242976 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4938] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4938/stat : 4938 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418409538 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667888190592 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4939] ppid=4924 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4926/task/4939/stat : 4939 (java) S 4924 4924 3218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667887138896 139668841277339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4940] ppid=4924 vsize=28768328 memory=5860981286623341675 CPUtime=3 cores=0-7 /proc/4926/task/4940/stat : 4940 (java) S 4924 4924 3218 0 -1 1077944384 8479 0 0 0 297 3 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667886086768 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4941] ppid=4924 vsize=28768328 memory=7881694529203889005 CPUtime=2.86 cores=0-7 /proc/4926/task/4941/stat : 4941 (java) S 4924 4924 3218 0 -1 1077944384 6073 0 0 0 284 2 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667885033968 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4942] ppid=4924 vsize=28768328 memory=616 CPUtime=2.86 cores=0-7 /proc/4926/task/4942/stat : 4942 (java) S 4924 4924 3218 0 -1 1077944384 5268 0 0 0 284 2 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667883981680 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4943] ppid=4924 vsize=28768328 memory=2832 CPUtime=0.97 cores=0-7 /proc/4926/task/4943/stat : 4943 (java) S 4924 4924 3218 0 -1 1077944384 4208 0 0 0 95 2 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667882928880 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4944] ppid=4924 vsize=28768328 memory=1624 CPUtime=0 cores=0-7 /proc/4926/task/4944/stat : 4944 (java) S 4924 4924 3218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418409540 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667881875808 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=4945] ppid=4924 vsize=28768328 memory=1136 CPUtime=0 cores=0-7 /proc/4926/task/4945/stat : 4945 (java) S 4924 4924 3218 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 418409541 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667880823088 139668841269890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5379] ppid=4924 vsize=28768328 memory=288230574492221466 CPUtime=0.22 cores=0-7 /proc/4926/task/5379/stat : 5379 (java) S 4924 4924 3218 0 -1 1077944384 17 0 0 0 22 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667867406080 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5380] ppid=4924 vsize=28768328 memory=288230621803970871 CPUtime=0.27 cores=0-7 /proc/4926/task/5380/stat : 5380 (java) S 4924 4924 3218 0 -1 1077944384 17 0 0 0 27 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667870565456 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5381] ppid=4924 vsize=28768328 memory=14981057220970927 CPUtime=0.3 cores=0-7 /proc/4926/task/5381/stat : 5381 (java) S 4924 4924 3218 0 -1 1077944384 27 0 0 0 30 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667871618512 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5382] ppid=4924 vsize=28768328 memory=2436 CPUtime=0.27 cores=0-7 /proc/4926/task/5382/stat : 5382 (java) S 4924 4924 3218 0 -1 1077944384 21 0 0 0 27 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667869513040 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5383] ppid=4924 vsize=28768328 memory=1760 CPUtime=0.23 cores=0-7 /proc/4926/task/5383/stat : 5383 (java) S 4924 4924 3218 0 -1 1077944384 16 0 0 0 23 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667868460752 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5384] ppid=4924 vsize=28768328 memory=111632 CPUtime=0.27 cores=0-7 /proc/4926/task/5384/stat : 5384 (java) S 4924 4924 3218 0 -1 1077944384 19 0 0 0 27 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667866355280 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5385] ppid=4924 vsize=28768328 memory=804 CPUtime=0.26 cores=0-7 /proc/4926/task/5385/stat : 5385 (java) S 4924 4924 3218 0 -1 1077944384 17 0 0 0 26 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667864249296 139668841268949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 [pid=4926/tid=5386] ppid=4924 vsize=28768328 memory=4100 CPUtime=0.39 cores=0-7 /proc/4926/task/5386/stat : 5386 (java) R 4924 4924 3218 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 28 0 418410725 29458767872 300630 33554432000 4194304 4196468 140731187818160 139667865303648 139668470962390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19316736 140731187823594 140731187823766 140731187823766 140731187826639 0 Current children cumulated CPU time: 70.59 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1203972 KiB Child status: 0 Real time (s): 12.3998 CPU time (s): 70.6979 CPU user time (s): 69.8683 CPU system time (s): 0.829532 CPU usage (%): 570.153 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 1203972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 69.8683 system time used= 0.829532 maximum resident set size= 1205096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50593 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9202 involuntary context switches= 1566 # summary of solver processes directly reported to runsolver: # pid: 4924 # total CPU time (s): 70.6979 # total CPU user time (s): 69.8683 # total CPU system time (s): 0.829532 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.119174 second user time and 0.183061 second system time The end
Begin job on node105 at 2019-09-14 01:36:57 IDJOB=4394511 IDBENCH=122932 IDSOLVER=2843 FILE ID=node105/4394511-1568421511 RUNJOBID= node105-1568413634-3245 PBS_JOBID= 21702270 Free space on /tmp= 60864 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-04-350-100.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394511-1568421511/watcher-4394511-1568421511 -o /tmp/evaluation-result-4394511-1568421511/solver-4394511-1568421511 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568413634-3245 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1410384357 HOME/instance-4394511-1568421511.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 05a37308653f1418d8a9d31e27700b02 RANDOM SEED=1410384357 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31398704 kB MemAvailable: 31860348 kB Buffers: 176228 kB Cached: 579364 kB SwapCached: 67988 kB Active: 402244 kB Inactive: 425836 kB Active(anon): 11752 kB Inactive(anon): 93576 kB Active(file): 390492 kB Inactive(file): 332260 kB Unevictable: 107584 kB Mlocked: 107584 kB SwapTotal: 67108860 kB SwapFree: 66936900 kB Dirty: 26208 kB Writeback: 0 kB AnonPages: 124804 kB Mapped: 37116 kB Shmem: 24548 kB Slab: 137592 kB SReclaimable: 109452 kB SUnreclaim: 28140 kB KernelStack: 3696 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489460 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60836 MiB End job on node105 at 2019-09-14 01:37:09