Trace number 4403151

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.3OPT0 39.8649 28.1842

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.22966
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.78/0.55	c Concrete v3.12.3.1568965526260 running
13.70/5.68	o 83
14.02/5.75	o 82
14.02/5.77	o 81
14.02/5.79	o 80
14.34/5.80	o 79
14.34/5.82	o 71
14.34/5.84	o 69
14.34/5.86	o 68
14.66/5.90	o 67
14.66/5.92	o 66
14.66/5.94	o 65
14.66/5.95	o 64
14.66/5.97	o 63
14.66/5.98	o 62
14.66/6.00	o 61
15.00/6.02	o 60
15.00/6.05	o 59
15.00/6.07	o 58
15.00/6.08	o 57
15.00/6.09	o 56
15.00/6.09	o 55
15.32/6.11	o 54
15.32/6.11	o 53
15.32/6.12	o 52
15.32/6.13	o 51
16.06/6.43	o 50
16.06/6.49	o 49
16.43/6.74	o 48
16.43/6.75	o 47
16.43/6.76	o 46
16.43/6.76	o 45
16.43/6.77	o 44
16.43/6.77	o 43
16.43/6.78	o 42
16.43/6.78	o 41
16.43/6.79	o 40
16.43/6.80	o 39
16.66/6.81	o 38
16.66/6.82	o 37
16.66/6.84	o 36
17.57/7.28	o 35
18.29/7.81	o 34
18.75/8.23	o 33
19.15/8.56	o 32
19.15/8.56	o 31
19.15/8.56	o 30
19.15/8.57	o 29
19.15/8.59	o 28
20.04/9.33	o 27
20.04/9.39	o 26
20.18/9.42	o 25
20.18/9.43	o 24
20.63/9.70	o 23
22.55/11.43	o 22
22.55/11.43	o 21
22.55/11.48	o 20
23.96/12.88	o 19
23.96/12.89	o 18
23.96/12.89	o 17
24.07/12.90	o 16
24.07/12.91	o 15
25.40/14.11	o 14
27.34/16.01	o 13
27.34/16.02	o 12
27.34/16.05	o 11
27.34/16.06	o 10
27.34/16.07	o 9
27.34/16.08	o 8
27.34/16.09	o 7
27.34/16.09	o 6
27.34/16.10	o 5
27.50/16.14	o 4
27.50/16.14	o 3
27.50/16.15	o 2
39.63/28.10	o 1
39.73/28.16	o 0
39.73/28.17	v <instantiation
39.73/28.17	v         cost = '0'>
39.73/28.17	v       <list>
39.73/28.17	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]
39.73/28.17	v       </list>
39.73/28.17	v       <values>
39.73/28.17	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
39.73/28.17	v       </values>
39.73/28.17	v     </instantiation>
39.73/28.17	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 (1281 MiB free)
  memory of node 1: 16384 MiB (2492 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403151-1568970030/watcher-4403151-1568970030 -o /var/tmp/evaluation-result-4403151-1568970030/solver-4403151-1568970030 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26299 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403151-1568970030.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=26873, runsolver pid=26870
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 1.89 1.77 1.64 3/218 26931
/proc/meminfo: memFree=3856504/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=9972712 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 4477 13113 0 0 1 0 5 3 20 0 6 0 472943141 10212057088 4714 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2493178 4714 1934 1 0 2481616 0
[pid=26873/tid=26927] ppid=26870 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 2272 13113 0 0 0 0 5 3 20 0 6 0 472943150 10212057088 4714 33554432000 4194304 4196468 140723903407568 140538571461200 140538585306965 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=9972712 memory=5793855628038465977 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 6 0 472943151 10212057088 4714 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=9972712 memory=140377028572800 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 6 0 472943151 10212057088 4714 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 6 0 472943151 10212057088 4714 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 6 0 472943151 10212057088 4714 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210527 s]*
/proc/loadavg: 1.89 1.77 1.64 3/227 26940
/proc/meminfo: memFree=3834804/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10819740 memory=43140 CPUtime=0.26 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 7164 13113 0 0 17 1 5 3 20 0 15 0 472943141 11079413760 10785 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2704935 10785 3187 1 0 2667149 0
[pid=26873/tid=26927] ppid=26870 vsize=10819840 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 3701 13113 0 0 11 0 5 3 20 0 15 0 472943150 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538571435472 140538522701421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10819840 memory=4211974103233363338 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10819840 memory=140377028572800 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10819840 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10819840 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10819840 memory=140377028572800 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943152 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10819840 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 13 13113 0 0 0 0 5 3 20 0 15 0 472943153 11079516160 10785 33554432000 4194304 4196468 140723903407568 140538040804512 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10819840 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943153 11079516160 10785 33554432000 4194304 4196468 140723903407568 140537436824304 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10819856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11079532544 10785 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10819856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 463 13113 0 0 1 0 5 3 20 0 15 0 472943156 11079532544 10785 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10819856 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 179 13113 0 0 1 0 5 3 20 0 15 0 472943156 11079532544 10785 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10819856 memory=140377028572800 CPUtime=0.11 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 612 13113 0 0 3 0 5 3 20 0 15 0 472943156 11079532544 10785 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10819856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11079532544 10785 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10820000 memory=140377028572800 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943156 11079680000 10785 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819740 KiB
Current children cumulated memory: 43140 KiB

[startup+0.310505 s]*
/proc/loadavg: 1.89 1.77 1.64 3/227 26940
/proc/meminfo: memFree=3822464/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10820196 memory=51984 CPUtime=0.4 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 10719 13113 0 0 30 2 5 3 20 0 15 0 472943141 11079880704 12996 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2705049 12996 3313 1 0 2667149 0
[pid=26873/tid=26927] ppid=26870 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 7204 13113 0 0 19 2 5 3 20 0 15 0 472943150 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538571440704 140538599646365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943151 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10820196 memory=140377028572799 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943152 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 13 13113 0 0 0 0 5 3 20 0 15 0 472943153 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538040804512 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10820196 memory=140377028572800 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943153 11079880704 12996 33554432000 4194304 4196468 140723903407568 140537436824304 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11079880704 12996 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 464 13113 0 0 2 0 5 3 20 0 15 0 472943156 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 188 13113 0 0 2 0 5 3 20 0 15 0 472943156 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 632 13113 0 0 5 0 5 3 20 0 15 0 472943156 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11079880704 12996 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943156 11079880704 12996 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51984 KiB

[startup+0.705548 s]
/proc/loadavg: 1.89 1.77 1.64 3/227 26940
/proc/meminfo: memFree=3807164/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10824364 memory=85712 CPUtime=1.16 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 15109 13113 0 0 104 4 5 3 20 0 15 0 472943141 11084148736 21428 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2706091 21428 3513 1 0 2668173 0
[pid=26873/tid=26927] ppid=26870 vsize=10824364 memory=1660 CPUtime=0.67 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 1077944384 10493 13113 0 0 56 3 5 3 20 0 15 0 472943150 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538571451600 140538599648317 0 4 0 16800975 18446744072101572132 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10824364 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943151 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943151 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943151 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 472943151 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10824364 memory=56747727 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 5 13113 0 0 0 0 5 3 20 0 15 0 472943152 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10824364 memory=7295947216714228122 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 13 13113 0 0 0 0 5 3 20 0 15 0 472943153 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538040804512 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10824364 memory=7812731970472071511 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943153 11084148736 21428 33554432000 4194304 4196468 140723903407568 140537436824304 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10824364 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11084148736 21428 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10824364 memory=2241 CPUtime=0.25 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) R 26870 26873 26267 0 -1 4202560 998 13113 0 0 17 0 5 3 20 0 15 0 472943156 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538125137056 140538581143900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10824364 memory=2244 CPUtime=0.19 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 567 13113 0 0 11 0 5 3 20 0 15 0 472943156 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 817 13113 0 0 17 0 5 3 20 0 15 0 472943156 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11084148736 21428 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943156 11084148736 21428 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85712 KiB

[startup+1.50213 s]
/proc/loadavg: 1.89 1.77 1.64 4/227 26940
/proc/meminfo: memFree=3747788/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10834680 memory=173256 CPUtime=2.48 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 21884 13113 0 0 230 10 5 3 20 0 15 0 472943141 11094712320 43314 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2708670 43314 3585 1 0 2670733 0
[pid=26873/tid=26927] ppid=26870 vsize=10834680 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 15345 13113 0 0 130 5 5 3 20 0 15 0 472943150 11094712320 43314 33554432000 4194304 4196468 140723903407568 140538571424512 140538583704926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 29 13113 0 0 0 0 5 3 20 0 15 0 472943151 11094712320 43314 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10834680 memory=7451014712440939351 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 410 13113 0 0 0 0 5 3 20 0 15 0 472943151 11094712320 43314 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10834680 memory=231387068158576 CPUtime=0.09 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 51 13113 0 0 1 0 5 3 20 0 15 0 472943151 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10834680 memory=288230583166042426 CPUtime=0.09 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 74 13113 0 0 1 0 5 3 20 0 15 0 472943151 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10834680 memory=14981057220971048 CPUtime=0.09 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 157 13113 0 0 1 0 5 3 20 0 15 0 472943152 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 14 13113 0 0 0 0 5 3 20 0 15 0 472943153 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538040804576 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943153 11094712320 43367 33554432000 4194304 4196468 140723903407568 140537436824304 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11094712320 43367 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10834680 memory=280753825063312 CPUtime=0.38 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 1232 13113 0 0 30 0 5 3 20 0 15 0 472943156 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10834680 memory=2241 CPUtime=0.3 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 768 13113 0 0 22 0 5 3 20 0 15 0 472943156 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10834680 memory=2244 CPUtime=0.48 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 1594 13113 0 0 40 0 5 3 20 0 15 0 472943156 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11094712320 43367 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 472943156 11094712320 43367 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB

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

[pid=26873/tid=26939] ppid=26870 vsize=10846988 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 318038 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10846988 memory=10604 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 54 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 318038 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 37.21 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1272152 KiB

[startup+27.2008 s]
/proc/loadavg: 1.96 1.80 1.65 3/229 26952
/proc/meminfo: memFree=2575664/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10846988 memory=1276332 CPUtime=38.83 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 65515 13113 0 0 3830 45 5 3 20 0 15 0 472943141 11107315712 319083 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2711747 319083 3627 1 0 2673805 0
[pid=26873/tid=26927] ppid=26870 vsize=10846988 memory=288286688357385047 CPUtime=26.87 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 25843 13113 0 0 2657 22 5 3 20 0 15 0 472943150 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538571460000 140538210839744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10846988 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 246 13113 0 0 15 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10846988 memory=15460 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 560 13113 0 0 14 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10846988 memory=17668 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1685 13113 0 0 16 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10846988 memory=19876 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 571 13113 0 0 15 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10846988 memory=22084 CPUtime=0.14 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 4389 13113 0 0 6 0 5 3 20 0 15 0 472943152 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10846988 memory=280753825666928 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 19 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538040804640 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10846988 memory=-5587106306044206369 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 11 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537436824320 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10846988 memory=-7357787915995474596 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10846988 memory=-7812193691855986592 CPUtime=4.66 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 10160 13113 0 0 457 1 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10846988 memory=-7684191407570971757 CPUtime=4.55 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 8851 13113 0 0 445 2 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10846988 memory=2324508702694522976 CPUtime=2.09 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 10918 13113 0 0 198 3 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10846988 memory=4137287014106042739 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10846988 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 54 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 38.83 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1276332 KiB

[startup+27.6007 s]
/proc/loadavg: 1.96 1.80 1.65 3/229 26952
/proc/meminfo: memFree=2575664/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10846988 memory=1276332 CPUtime=39.23 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 65515 13113 0 0 3870 45 5 3 20 0 15 0 472943141 11107315712 319083 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2711747 319083 3627 1 0 2673805 0
[pid=26873/tid=26927] ppid=26870 vsize=10846988 memory=6791534058613427641 CPUtime=27.27 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 25843 13113 0 0 2697 22 5 3 20 0 15 0 472943150 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538571459888 140538211193151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10846988 memory=2828 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 246 13113 0 0 15 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10846988 memory=1216 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 560 13113 0 0 14 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10846988 memory=984 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1685 13113 0 0 16 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10846988 memory=14004 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 571 13113 0 0 15 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10846988 memory=29720 CPUtime=0.14 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 4389 13113 0 0 6 0 5 3 20 0 15 0 472943152 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10846988 memory=14048 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 19 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538040804640 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10846988 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 11 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537436824320 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10846988 memory=500 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10846988 memory=1556 CPUtime=4.66 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 10160 13113 0 0 457 1 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10846988 memory=928 CPUtime=4.55 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 8851 13113 0 0 445 2 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10846988 memory=1772 CPUtime=2.09 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 10918 13113 0 0 198 3 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10846988 memory=816 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10846988 memory=1436 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 54 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 39.23 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1276332 KiB

[startup+28.0007 s]*
/proc/loadavg: 1.96 1.80 1.65 3/229 26952
/proc/meminfo: memFree=2575656/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10846988 memory=1276332 CPUtime=39.63 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 65631 13113 0 0 3910 45 5 3 20 0 15 0 472943141 11107315712 319083 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2711747 319083 3627 1 0 2673805 0
[pid=26873/tid=26927] ppid=26870 vsize=10846988 memory=6791534058613427641 CPUtime=27.68 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 25959 13113 0 0 2738 22 5 3 20 0 15 0 472943150 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538571459888 140538192927951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10846988 memory=4126316290023845779 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 246 13113 0 0 15 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10846988 memory=1272152 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 560 13113 0 0 14 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10846988 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1685 13113 0 0 16 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10846988 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 571 13113 0 0 15 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10846988 memory=7594598810448916079 CPUtime=0.14 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 4389 13113 0 0 6 0 5 3 20 0 15 0 472943152 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10846988 memory=1214788 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 19 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538040804640 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10846988 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 11 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537436824320 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10846988 memory=280753825980112 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10846988 memory=0 CPUtime=4.66 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 10160 13113 0 0 457 1 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10846988 memory=0 CPUtime=4.55 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 8851 13113 0 0 445 2 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10846988 memory=3473599001259753480 CPUtime=2.09 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 10918 13113 0 0 198 3 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10846988 memory=7451014712440939351 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 54 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 39.63 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1276332 KiB

[startup+28.1102 s]
/proc/loadavg: 1.96 1.80 1.65 3/229 26952
/proc/meminfo: memFree=2575656/32770624 swapFree=66976736/67108860
[pid=26873] ppid=26870 vsize=10846988 memory=1276332 CPUtime=39.73 cores=1,3,5,7
/proc/26873/stat : 26873 (java) S 26870 26873 26267 0 -1 1077944320 65641 13113 0 0 3920 45 5 3 20 0 15 0 472943141 11107315712 319083 33554432000 4194304 4196468 140723903407568 140723903390112 140538599624439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
/proc/26873/statm: 2711747 319083 3627 1 0 2673805 0
[pid=26873/tid=26927] ppid=26870 vsize=10846988 memory=1272152 CPUtime=27.78 cores=1,3,5,7
/proc/26873/task/26927/stat : 26927 (java) R 26870 26873 26267 0 -1 4202560 25969 13113 0 0 2748 22 5 3 20 0 15 0 472943150 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538571459888 140538208900770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26928] ppid=26870 vsize=10846988 memory=1276332 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26928/stat : 26928 (java) S 26870 26873 26267 0 -1 1077944384 246 13113 0 0 15 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538603867152 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26929] ppid=26870 vsize=10846988 memory=56 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26929/stat : 26929 (java) S 26870 26873 26267 0 -1 1077944384 560 13113 0 0 14 4 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538518686864 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26930] ppid=26870 vsize=10846988 memory=1276332 CPUtime=0.27 cores=1,3,5,7
/proc/26873/task/26930/stat : 26930 (java) S 26870 26873 26267 0 -1 1077944384 1685 13113 0 0 16 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538517633808 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26931] ppid=26870 vsize=10846988 memory=1276332 CPUtime=0.26 cores=1,3,5,7
/proc/26873/task/26931/stat : 26931 (java) S 26870 26873 26267 0 -1 1077944384 571 13113 0 0 15 3 5 3 20 0 15 0 472943151 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538516581264 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26932] ppid=26870 vsize=10846988 memory=1272152 CPUtime=0.14 cores=1,3,5,7
/proc/26873/task/26932/stat : 26932 (java) S 26870 26873 26267 0 -1 1077944384 4389 13113 0 0 6 0 5 3 20 0 15 0 472943152 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538126203120 140538599635586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26933] ppid=26870 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26933/stat : 26933 (java) S 26870 26873 26267 0 -1 1077944384 19 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538040804640 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26934] ppid=26870 vsize=10846988 memory=1272152 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26934/stat : 26934 (java) S 26870 26873 26267 0 -1 1077944384 11 13113 0 0 0 0 5 3 20 0 15 0 472943153 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537436824320 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26935] ppid=26870 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26935/stat : 26935 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537129424848 140538599643035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26936] ppid=26870 vsize=10846988 memory=280753825592384 CPUtime=4.66 cores=1,3,5,7
/proc/26873/task/26936/stat : 26936 (java) S 26870 26873 26267 0 -1 1077944384 10160 13113 0 0 457 1 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538125150960 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26937] ppid=26870 vsize=10846988 memory=7595711555238979437 CPUtime=4.55 cores=1,3,5,7
/proc/26873/task/26937/stat : 26937 (java) S 26870 26873 26267 0 -1 1077944384 8851 13113 0 0 445 2 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538124098416 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26938] ppid=26870 vsize=10846988 memory=776 CPUtime=2.09 cores=1,3,5,7
/proc/26873/task/26938/stat : 26938 (java) S 26870 26873 26267 0 -1 1077944384 10918 13113 0 0 198 3 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538123045360 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26939] ppid=26870 vsize=10846988 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26939/stat : 26939 (java) S 26870 26873 26267 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140537095867232 140538599634645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
[pid=26873/tid=26940] ppid=26870 vsize=10846988 memory=6084 CPUtime=0.08 cores=1,3,5,7
/proc/26873/task/26940/stat : 26940 (java) S 26870 26873 26267 0 -1 1077944384 54 13113 0 0 0 0 5 3 20 0 15 0 472943156 11107315712 319083 33554432000 4194304 4196468 140723903407568 140538121992752 140538599635586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140723903408739 140723903411381 140723903411381 140723903414223 0
Current children cumulated CPU time: 39.73 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1276332 KiB

Child status: 0
Real time (s): 28.1842
CPU time (s): 39.8649
CPU user time (s): 39.3582
CPU system time (s): 0.506702
CPU usage (%): 141.444
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1276332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.3582
system time used= 0.506702
maximum resident set size= 1278408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9078
involuntary context switches= 125


# summary of solver processes directly reported to runsolver:
#   pid: 26873
#   total CPU time (s): 39.8649
#   total CPU user time (s): 39.3582
#   total CPU system time (s): 0.506702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.192663 second user time and 0.319881 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-20 10:59:50
IDJOB=4403151
IDBENCH=122944
IDSOLVER=2862
FILE ID=node124/4403151-1568970030
RUNJOBID= node124-1568967597-26299
PBS_JOBID= 21704624
Free space on /var/tmp= 13476 MiB

SOLVER NAME= Concrete 3.12.3
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 /var/tmp/evaluation-result-4403151-1568970030/watcher-4403151-1568970030 -o /var/tmp/evaluation-result-4403151-1568970030/solver-4403151-1568970030 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26299 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403151-1568970030.xml

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

MD5SUM BENCH= 2ec8df38dc21edc74720c494de453c4e
RANDOM SEED=1567823593

node124.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.47
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.47
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.47
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.47
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:         3863596 kB
MemAvailable:   30989644 kB
Buffers:          135584 kB
Cached:         26920644 kB
SwapCached:        28940 kB
Active:         14257192 kB
Inactive:       13671900 kB
Active(anon):     838464 kB
Inactive(anon):    84292 kB
Active(file):   13418728 kB
Inactive(file): 13587608 kB
Unevictable:      107400 kB
Mlocked:          107400 kB
SwapTotal:      67108860 kB
SwapFree:       66976736 kB
Dirty:             35404 kB
Writeback:             0 kB
AnonPages:       1110136 kB
Mapped:            66052 kB
Shmem:             40880 kB
Slab:             577092 kB
SReclaimable:     548172 kB
SUnreclaim:        28920 kB
KernelStack:        4032 kB
PageTables:         7028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2165200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    960512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /var/tmp at the end= 13444 MiB
End job on node124 at 2019-09-20 11:00:18