Trace number 4396171

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2OPT0 122.903 108.979

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-03-350-100.xml
MD5SUM2ec8df38dc21edc74720c494de453c4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.11825
Satisfiable
(Un)Satisfiability was proved
Number of variables1051
Number of constraints7
Number of domains2
Minimum domain size2
Maximum domain size351
Distribution of domain sizes[{"size":2,"count":1050},{"size":351,"count":1}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":1051}]
Minimum constraint arity350
Maximum constraint arity1050
Distribution of constraint arities[{"arity":350,"count":3},{"arity":701,"count":3},{"arity":1050,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":6}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.76/0.56	c Concrete v3.12.2.1568380929293 running
18.95/7.75	o 45
19.85/8.15	o 44
20.31/8.53	o 43
20.45/8.62	o 42
20.60/8.71	o 41
20.78/8.81	o 40
20.98/8.96	o 39
21.14/9.03	o 38
21.14/9.09	o 37
21.48/9.31	o 36
21.48/9.38	o 35
21.59/9.47	o 34
21.84/9.63	o 33
21.93/9.79	o 32
22.16/9.98	o 31
22.88/10.65	o 30
22.88/10.68	o 29
22.88/10.69	o 28
23.09/10.86	o 27
23.09/10.89	o 26
39.39/26.12	o 21
39.79/26.56	o 16
68.03/54.39	o 15
99.48/85.74	o 14
112.11/98.33	o 13
112.21/98.48	o 12
116.72/102.99	o 11
117.22/103.40	o 10
117.72/104.00	o 9
119.03/105.23	o 8
120.73/106.90	o 7
120.95/107.19	o 6
121.14/107.39	o 5
121.55/107.79	o 4
121.97/108.11	o 3
122.28/108.46	o 2
122.60/108.71	o 1
122.80/108.96	o 0
122.80/108.96	v <instantiation
122.80/108.96	v         cost = '0'>
122.80/108.96	v       <list>
122.80/108.96	v         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]
122.80/108.96	v       </list>
122.80/108.96	v       <values>
122.80/108.96	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
122.80/108.96	v       </values>
122.80/108.96	v     </instantiation>
122.80/108.96	s OPTIMUM FOUND

Verifier Data 

OK	0

Watcher Data 

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 (14566 MiB free)
  memory of node 1: 16384 MiB (15796 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396171-1568395899/watcher-4396171-1568395899 -o /tmp/evaluation-result-4396171-1568395899/solver-4396171-1568395899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568393371-3094 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1376764633 HOME/instance-4396171-1568395899.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3639, runsolver pid=3636
Current StackSize limit: 8192 KiB


[startup+0.100238 s]*
/proc/loadavg: 1.31 1.43 1.39 3/202 3751
/proc/meminfo: memFree=31084832/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=9972712 memory=16420 CPUtime=0.09 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 4361 13197 0 0 1 1 5 2 20 0 6 0 415838574 10212057088 4105 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2493178 4105 1920 1 0 2481616 0
[pid=3639/tid=3749] ppid=3636 vsize=9972712 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 2203 13197 0 0 0 0 5 2 20 0 6 0 415838584 10212057088 4171 33554432000 4194304 4196468 140721446446064 139876727534160 139876739777886 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 6 0 415838584 10212057088 4171 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=9972712 memory=139694595954304 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 6 0 415838584 10212057088 4171 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 6 0 415838584 10212057088 4171 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 6 0 415838585 10212057088 4171 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16420 KiB

[startup+0.210011 s]*
/proc/loadavg: 1.31 1.43 1.39 3/227 3776
/proc/meminfo: memFree=31038016/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10819664 memory=39024 CPUtime=0.25 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 7083 13197 0 0 16 2 5 2 20 0 15 0 415838574 11079335936 9756 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2704916 9756 3171 1 0 2667149 0
[pid=3639/tid=3749] ppid=3636 vsize=10819664 memory=8514701219931451533 CPUtime=0.18 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 3566 13197 0 0 10 1 5 2 20 0 15 0 415838584 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876727520976 139876735973288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10819664 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838584 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10819664 memory=139694595954304 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838584 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838584 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838585 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10819664 memory=139694595954304 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838586 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 13 13197 0 0 0 0 5 2 20 0 15 0 415838586 11079335936 9756 33554432000 4194304 4196468 140721446446064 139875944752544 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838587 11079335936 9756 33554432000 4194304 4196468 140721446446064 139875810534896 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11079335936 9756 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) S 3636 3639 3063 0 -1 1077944384 496 13197 0 0 1 0 5 2 20 0 15 0 415838589 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 166 13197 0 0 0 0 5 2 20 0 15 0 415838589 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10819664 memory=139694595954304 CPUtime=0.1 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 624 13197 0 0 3 0 5 2 20 0 15 0 415838589 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11079335936 9756 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10819664 memory=139694595954304 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838590 11079335936 9756 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39024 KiB

[startup+0.310531 s]*
/proc/loadavg: 1.31 1.43 1.39 3/227 3776
/proc/meminfo: memFree=31011704/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10820148 memory=49984 CPUtime=0.39 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 10733 13197 0 0 28 4 5 2 20 0 15 0 415838574 11079831552 12496 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2705037 12496 3303 1 0 2667149 0
[pid=3639/tid=3749] ppid=3636 vsize=10820148 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 7188 13197 0 0 19 2 5 2 20 0 15 0 415838584 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876727497312 139876739777886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10820148 memory=139694595961297 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838584 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10820148 memory=7522231197450857569 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838584 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10820148 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838584 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838585 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838586 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 13 13197 0 0 0 0 5 2 20 0 15 0 415838586 11079831552 12496 33554432000 4194304 4196468 140721446446064 139875944752544 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838587 11079831552 12496 33554432000 4194304 4196468 140721446446064 139875810534896 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11079831552 12496 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) S 3636 3639 3063 0 -1 1077944384 496 13197 0 0 1 0 5 2 20 0 15 0 415838589 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 176 13197 0 0 1 0 5 2 20 0 15 0 415838589 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10820148 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 642 13197 0 0 5 0 5 2 20 0 15 0 415838589 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11079831552 12496 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838590 11079831552 12496 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49984 KiB

[startup+0.700674 s]
/proc/loadavg: 1.31 1.43 1.39 3/227 3776
/proc/meminfo: memFree=30985252/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10824360 memory=83476 CPUtime=1.14 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 15137 13197 0 0 100 7 5 2 20 0 15 0 415838574 11084144640 20869 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2706090 20869 3504 1 0 2668173 0
[pid=3639/tid=3749] ppid=3636 vsize=10824360 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 10475 13197 0 0 54 4 5 2 20 0 15 0 415838584 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876727526944 139876755719325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10824360 memory=62 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838584 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10824360 memory=7165352523811075893 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838584 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10824360 memory=5787216120893172054 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2 13197 0 0 0 0 5 2 20 0 15 0 415838584 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10824360 memory=5859278125529317472 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838585 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10824360 memory=3616 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 5 13197 0 0 0 0 5 2 20 0 15 0 415838586 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10824360 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 13 13197 0 0 0 0 5 2 20 0 15 0 415838586 11084144640 20869 33554432000 4194304 4196468 140721446446064 139875944752544 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10824360 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838587 11084144640 20869 33554432000 4194304 4196468 140721446446064 139875810534896 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11084144640 20869 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10824360 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) S 3636 3639 3063 0 -1 1077944384 954 13197 0 0 16 0 5 2 20 0 15 0 415838589 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10824360 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 631 13197 0 0 11 0 5 2 20 0 15 0 415838589 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10824360 memory=30305 CPUtime=0.23 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 839 13197 0 0 16 0 5 2 20 0 15 0 415838589 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11084144640 20869 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10824360 memory=10 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838590 11084144640 20869 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83476 KiB

[startup+1.50195 s]
/proc/loadavg: 1.36 1.44 1.39 3/227 3776
/proc/meminfo: memFree=30895656/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10834676 memory=173416 CPUtime=2.45 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 21815 13197 0 0 227 11 5 2 20 0 15 0 415838574 11094708224 43354 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2708669 43354 3582 1 0 2670733 0
[pid=3639/tid=3749] ppid=3636 vsize=10834676 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 15411 13197 0 0 129 6 5 2 20 0 15 0 415838584 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876727498560 139876755709334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10834676 memory=2984661265862077289 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 352 13197 0 0 1 0 5 2 20 0 15 0 415838584 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10834676 memory=8695220113225261065 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 70 13197 0 0 1 0 5 2 20 0 15 0 415838584 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10834676 memory=-3472574513799858126 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 63 13197 0 0 1 0 5 2 20 0 15 0 415838584 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10834676 memory=7157735280213643315 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 23 13197 0 0 1 0 5 2 20 0 15 0 415838585 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10834676 memory=5 CPUtime=0.08 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 122 13197 0 0 1 0 5 2 20 0 15 0 415838586 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 14 13197 0 0 0 0 5 2 20 0 15 0 415838586 11094708224 43354 33554432000 4194304 4196468 140721446446064 139875944752544 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838587 11094708224 43354 33554432000 4194304 4196468 140721446446064 139875810534896 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11094708224 43354 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10834676 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) R 3636 3639 3063 0 -1 1077944384 1176 13197 0 0 30 0 5 2 20 0 15 0 415838589 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10834676 memory=24 CPUtime=0.29 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) R 3636 3639 3063 0 -1 4202560 812 13197 0 0 21 1 5 2 20 0 15 0 415838589 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876025469040 139876736397696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10834676 memory=17 CPUtime=0.45 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) R 3636 3639 3063 0 -1 4202560 1558 13197 0 0 38 0 5 2 20 0 15 0 415838589 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876024416496 139876755709334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10834676 memory=25 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11094708224 43354 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 1 13197 0 0 0 0 5 2 20 0 15 0 415838590 11094708224 43354 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834676 KiB

################
# More data... #
################

[pid=3639/tid=3769] ppid=3636 vsize=10846984 memory=4008 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11107311616 251596 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10846984 memory=1244 CPUtime=0.11 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 339 13197 0 0 2 2 5 2 20 0 15 0 415838590 11107311616 251596 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 121.04 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1006384 KiB

[startup+108.001 s]*
/proc/loadavg: 1.50 1.53 1.43 3/227 3785
/proc/meminfo: memFree=28741988/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10846984 memory=1003308 CPUtime=121.87 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 89784 13197 0 0 12126 54 5 2 20 0 15 0 415838574 11107311616 250827 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2711746 250827 3626 1 0 2673805 0
[pid=3639/tid=3749] ppid=3636 vsize=10846984 memory=279388965461632 CPUtime=107.61 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 31569 13197 0 0 10734 20 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876727533136 139876361188323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10846984 memory=4126316290023845779 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 2080 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10846984 memory=38568 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 789 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10846984 memory=988 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2643 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10846984 memory=2024 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 2031 13197 0 0 16 4 5 2 20 0 15 0 415838585 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10846984 memory=1428 CPUtime=0.17 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 4598 13197 0 0 9 1 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 18 13197 0 0 0 0 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875944752672 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 8 13197 0 0 0 0 5 2 20 0 15 0 415838587 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875810534912 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10846984 memory=0 CPUtime=5.46 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) S 3636 3639 3063 0 -1 1077944384 15224 13197 0 0 537 2 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10846984 memory=3977294413102592300 CPUtime=5.82 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 18111 13197 0 0 571 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10846984 memory=3977295507985281584 CPUtime=2.11 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 10162 13197 0 0 200 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10846984 memory=4933559433676148816 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10846984 memory=7450475951561336933 CPUtime=0.11 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 339 13197 0 0 2 2 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 121.87 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1003308 KiB

[startup+108.401 s]
/proc/loadavg: 1.50 1.53 1.43 3/227 3785
/proc/meminfo: memFree=28741988/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10846984 memory=1003308 CPUtime=122.28 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 90829 13197 0 0 12167 54 5 2 20 0 15 0 415838574 11107311616 250827 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2711746 250827 3626 1 0 2673805 0
[pid=3639/tid=3749] ppid=3636 vsize=10846984 memory=1568 CPUtime=108 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 31590 13197 0 0 10773 20 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876727533136 139876379698224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10846984 memory=1040 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 2080 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10846984 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 789 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10846984 memory=1556 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2643 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10846984 memory=500 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 2031 13197 0 0 16 4 5 2 20 0 15 0 415838585 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10846984 memory=932 CPUtime=0.17 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 4598 13197 0 0 9 1 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10846984 memory=1768 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 18 13197 0 0 0 0 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875944752672 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10846984 memory=1656 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 8 13197 0 0 0 0 5 2 20 0 15 0 415838587 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875810534912 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10846984 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10846984 memory=1448 CPUtime=5.47 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) R 3636 3639 3063 0 -1 4202560 16267 13197 0 0 538 2 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876026521584 139876740094175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10846984 memory=1980 CPUtime=5.82 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 18111 13197 0 0 571 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10846984 memory=2580 CPUtime=2.11 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 10162 13197 0 0 200 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10846984 memory=1764 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10846984 memory=111632 CPUtime=0.11 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 339 13197 0 0 2 2 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 122.28 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1003308 KiB

[startup+108.801 s]
/proc/loadavg: 1.50 1.53 1.43 3/227 3785
/proc/meminfo: memFree=28741988/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10846984 memory=1003308 CPUtime=122.7 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 91394 13197 0 0 12209 54 5 2 20 0 15 0 415838574 11107311616 250827 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2711746 250827 3626 1 0 2673805 0
[pid=3639/tid=3749] ppid=3636 vsize=10846984 memory=1018696 CPUtime=108.4 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 31600 13197 0 0 10813 20 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876727533136 139876374365634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10846984 memory=5720 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 2080 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10846984 memory=636 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 789 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10846984 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2643 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10846984 memory=636 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 2031 13197 0 0 16 4 5 2 20 0 15 0 415838585 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10846984 memory=2832 CPUtime=0.17 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 4598 13197 0 0 9 1 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10846984 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 18 13197 0 0 0 0 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875944752672 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10846984 memory=1428 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 8 13197 0 0 0 0 5 2 20 0 15 0 415838587 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875810534912 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10846984 memory=776 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10846984 memory=4008 CPUtime=5.49 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) S 3636 3639 3063 0 -1 1077944384 16803 13197 0 0 540 2 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10846984 memory=1244 CPUtime=5.82 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 18111 13197 0 0 571 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10846984 memory=8112282956445269571 CPUtime=2.11 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 10162 13197 0 0 200 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10846984 memory=1768 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10846984 memory=1656 CPUtime=0.11 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 339 13197 0 0 2 2 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 122.7 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1003308 KiB

[startup+108.901 s]
/proc/loadavg: 1.50 1.53 1.43 3/227 3785
/proc/meminfo: memFree=28741988/32770624 swapFree=67002088/67108860
[pid=3639] ppid=3636 vsize=10846984 memory=1003308 CPUtime=122.8 cores=0,2,4,6
/proc/3639/stat : 3639 (java) S 3636 3639 3063 0 -1 1077944320 91394 13197 0 0 12219 54 5 2 20 0 15 0 415838574 11107311616 250827 33554432000 4194304 4196468 140721446446064 140721446428608 139876755697399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
/proc/3639/statm: 2711746 250827 3626 1 0 2673805 0
[pid=3639/tid=3749] ppid=3636 vsize=10846984 memory=1006384 CPUtime=108.5 cores=0,2,4,6
/proc/3639/task/3749/stat : 3749 (java) R 3636 3639 3063 0 -1 4202560 31600 13197 0 0 10823 20 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876727533136 139876378047139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3751] ppid=3636 vsize=10846984 memory=1006384 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3751/stat : 3751 (java) S 3636 3639 3063 0 -1 1077944384 2080 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876759939344 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3752] ppid=3636 vsize=10846984 memory=1003308 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3752/stat : 3752 (java) S 3636 3639 3063 0 -1 1077944384 789 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876329298320 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3753] ppid=3636 vsize=10846984 memory=139694482432561 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3753/stat : 3753 (java) S 3636 3639 3063 0 -1 1077944384 2643 13197 0 0 16 4 5 2 20 0 15 0 415838584 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876328245776 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3754] ppid=3636 vsize=10846984 memory=1078720 CPUtime=0.27 cores=0,2,4,6
/proc/3639/task/3754/stat : 3754 (java) S 3636 3639 3063 0 -1 1077944384 2031 13197 0 0 16 4 5 2 20 0 15 0 415838585 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876327193232 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3759] ppid=3636 vsize=10846984 memory=2024 CPUtime=0.17 cores=0,2,4,6
/proc/3639/task/3759/stat : 3759 (java) S 3636 3639 3063 0 -1 1077944384 4598 13197 0 0 9 1 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876027574768 139876755708546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3761] ppid=3636 vsize=10846984 memory=1428 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3761/stat : 3761 (java) S 3636 3639 3063 0 -1 1077944384 18 13197 0 0 0 0 5 2 20 0 15 0 415838586 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875944752672 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3762] ppid=3636 vsize=10846984 memory=1006896 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3762/stat : 3762 (java) S 3636 3639 3063 0 -1 1077944384 8 13197 0 0 0 0 5 2 20 0 15 0 415838587 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875810534912 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3765] ppid=3636 vsize=10846984 memory=1031008 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3765/stat : 3765 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875301808848 139876755715995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3766] ppid=3636 vsize=10846984 memory=804 CPUtime=5.49 cores=0,2,4,6
/proc/3639/task/3766/stat : 3766 (java) S 3636 3639 3063 0 -1 1077944384 16803 13197 0 0 540 2 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876026521584 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3767] ppid=3636 vsize=10846984 memory=1448 CPUtime=5.82 cores=0,2,4,6
/proc/3639/task/3767/stat : 3767 (java) S 3636 3639 3063 0 -1 1077944384 18111 13197 0 0 571 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876025469040 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3768] ppid=3636 vsize=10846984 memory=1006896 CPUtime=2.11 cores=0,2,4,6
/proc/3639/task/3768/stat : 3768 (java) S 3636 3639 3063 0 -1 1077944384 10162 13197 0 0 200 4 5 2 20 0 15 0 415838589 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876024416496 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3769] ppid=3636 vsize=10846984 memory=1014592 CPUtime=0.07 cores=0,2,4,6
/proc/3639/task/3769/stat : 3769 (java) S 3636 3639 3063 0 -1 1077944384 3 13197 0 0 0 0 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139875268250208 139876755707605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
[pid=3639/tid=3774] ppid=3636 vsize=10846984 memory=11294 CPUtime=0.11 cores=0,2,4,6
/proc/3639/task/3774/stat : 3774 (java) S 3636 3639 3063 0 -1 1077944384 339 13197 0 0 2 2 5 2 20 0 15 0 415838590 11107311616 250827 33554432000 4194304 4196468 140721446446064 139876023364400 139876755708546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15147008 140721446447855 140721446450373 140721446450373 140721446453199 0
Current children cumulated CPU time: 122.8 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1003308 KiB

Child status: 0
Real time (s): 108.979
CPU time (s): 122.903
CPU user time (s): 122.318
CPU system time (s): 0.584716
CPU usage (%): 112.776
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 1079808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.318
system time used= 0.584716
maximum resident set size= 1081312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11219
involuntary context switches= 249


# summary of solver processes directly reported to runsolver:
#   pid: 3639
#   total CPU time (s): 122.903
#   total CPU user time (s): 122.318
#   total CPU system time (s): 0.584716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.689229 second user time and 1.04431 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-13 19:30:55
IDJOB=4396171
IDBENCH=122944
IDSOLVER=2846
FILE ID=node136/4396171-1568395899
RUNJOBID= node136-1568393371-3094
PBS_JOBID= 21701864
Free space on /tmp= 61132 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-03-350-100.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396171-1568395899/watcher-4396171-1568395899 -o /tmp/evaluation-result-4396171-1568395899/solver-4396171-1568395899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568393371-3094 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1376764633 HOME/instance-4396171-1568395899.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2ec8df38dc21edc74720c494de453c4e
RANDOM SEED=1376764633

node136.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.54
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.54
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.54
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31093404 kB
MemAvailable:   31909240 kB
Buffers:           51972 kB
Cached:          1053856 kB
SwapCached:         3120 kB
Active:           644616 kB
Inactive:         467304 kB
Active(anon):       4656 kB
Inactive(anon):    42020 kB
Active(file):     639960 kB
Inactive(file):   425284 kB
Unevictable:      107856 kB
Mlocked:          107856 kB
SwapTotal:      67108860 kB
SwapFree:       67002088 kB
Dirty:             71068 kB
Writeback:            28 kB
AnonPages:        135500 kB
Mapped:            43276 kB
Shmem:             31892 kB
Slab:             161316 kB
SReclaimable:     132856 kB
SUnreclaim:        28460 kB
KernelStack:        3504 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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= 61096 MiB
End job on node136 at 2019-09-13 19:32:44