Trace number 4396471

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 667.545 648.052

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.79/0.55	c Concrete v3.12.2.1568380929293 running
18.08/7.39	o 71
18.30/7.45	o 70
18.53/7.53	o 68
18.92/7.71	o 67
22.04/10.51	o 58
22.81/11.26	o 57
30.68/18.52	o 56
30.84/18.62	o 55
31.07/18.84	o 54
31.28/19.05	o 53
31.38/19.18	o 52
31.57/19.39	o 51
31.78/19.58	o 50
33.15/20.83	o 49
33.25/20.99	o 48
33.76/21.44	o 47
33.96/21.60	o 46
34.06/21.79	o 45
34.27/21.96	o 44
34.38/22.03	o 43
34.67/22.35	o 42
34.77/22.45	o 41
34.87/22.55	o 40
34.97/22.66	o 39
35.98/23.64	o 38
35.98/23.67	o 37
36.08/23.78	o 36
42.62/30.24	o 35
45.65/33.09	o 34
46.11/33.45	o 33
46.21/33.57	o 32
46.42/33.72	o 31
46.62/33.92	o 30
46.62/33.96	o 29
74.57/61.59	o 28
74.77/61.77	o 27
75.08/62.02	o 26
75.37/62.31	o 25
75.47/62.44	o 24
114.44/101.21	o 23
115.25/102.07	o 22
147.34/134.02	o 21
153.66/140.30	o 20
233.59/219.55	o 19
237.34/223.27	o 18
323.37/307.77	o 17
348.65/332.73	o 16
349.76/333.89	o 15
350.68/334.74	o 14
354.84/338.88	o 13
383.13/366.80	o 12
415.94/399.28	o 11
416.75/400.09	o 10
417.78/401.10	o 9
499.96/482.35	o 8
500.17/482.57	o 7
661.05/641.71	o 6
663.10/643.71	o 5
663.52/644.19	o 4
664.54/645.16	o 3
665.74/646.39	o 2
666.86/647.49	o 1
667.48/648.03	o 0
667.48/648.03	v <instantiation
667.48/648.03	v         cost = '0'>
667.48/648.03	v       <list>
667.48/648.03	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]
667.48/648.03	v       </list>
667.48/648.03	v       <values>
667.48/648.03	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
667.48/648.03	v       </values>
667.48/648.03	v     </instantiation>
667.48/648.03	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 (11043 MiB free)
  memory of node 1: 16384 MiB (14189 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396471-1568396346/watcher-4396471-1568396346 -o /tmp/evaluation-result-4396471-1568396346/solver-4396471-1568396346 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568393934-14636 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=121782188 HOME/instance-4396471-1568396346.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
Current StackSize limit: 8192 KiB

solver pid=15234, runsolver pid=15231

[startup+0.100059 s]*
/proc/loadavg: 1.54 1.39 1.39 4/218 15292
/proc/meminfo: memFree=25832160/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=9972712 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 4338 13020 0 0 1 0 5 3 20 0 6 0 415549553 10212057088 4582 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2493178 4582 1931 1 0 2481616 0
[pid=15234/tid=15288] ppid=15231 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 2135 13020 0 0 1 0 5 3 20 0 6 0 415549562 10212057088 4582 33554432000 4194304 4196468 140720891003104 140007629271632 140007657456797 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 6 0 415549563 10212057088 4582 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=9972712 memory=139868460471936 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 6 0 415549563 10212057088 4582 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 6 0 415549563 10212057088 4582 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 6 0 415549563 10212057088 4582 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.214213 s]*
/proc/loadavg: 1.54 1.39 1.39 6/227 15301
/proc/meminfo: memFree=25807696/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10819664 memory=42324 CPUtime=0.26 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 6902 13020 0 0 17 1 5 3 20 0 15 0 415549553 11079335936 10581 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2704916 10581 3167 1 0 2667149 0
[pid=15234/tid=15288] ppid=15231 vsize=10819664 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 3379 13020 0 0 11 1 5 3 20 0 15 0 415549562 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007629261024 140007638998400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10819664 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10819664 memory=288370244612183680 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10819664 memory=139868460471936 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549564 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 33 13020 0 0 0 0 5 3 20 0 15 0 415549565 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007115412256 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549565 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007008363632 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11079335936 10581 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 345 13020 0 0 1 0 5 3 20 0 15 0 415549568 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 308 13020 0 0 1 0 5 3 20 0 15 0 415549568 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10819664 memory=139868460471936 CPUtime=0.11 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 615 13020 0 0 3 0 5 3 20 0 15 0 415549568 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11079335936 10581 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10819664 memory=139868460471936 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549568 11079335936 10581 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42324 KiB

[startup+0.311128 s]*
/proc/loadavg: 1.54 1.39 1.39 6/227 15301
/proc/meminfo: memFree=25794764/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10820148 memory=53412 CPUtime=0.4 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 10583 13020 0 0 29 3 5 3 20 0 15 0 415549553 11079831552 13353 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2705037 13353 3299 1 0 2667149 0
[pid=15234/tid=15288] ppid=15231 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 7043 13020 0 0 19 2 5 3 20 0 15 0 415549562 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007629239872 140007641515358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549563 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549564 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 33 13020 0 0 0 0 5 3 20 0 15 0 415549565 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007115412256 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549565 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007008363632 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11079831552 13353 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 354 13020 0 0 2 0 5 3 20 0 15 0 415549568 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 309 13020 0 0 2 0 5 3 20 0 15 0 415549568 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10820148 memory=139868460471936 CPUtime=0.13 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 624 13020 0 0 5 0 5 3 20 0 15 0 415549568 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11079831552 13353 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10820148 memory=139868460471936 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549568 11079831552 13353 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53412 KiB

[startup+0.702126 s]
/proc/loadavg: 1.66 1.42 1.40 4/227 15301
/proc/meminfo: memFree=25780712/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10824360 memory=85736 CPUtime=1.12 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 14616 13020 0 0 99 5 5 3 20 0 15 0 415549553 11084144640 21434 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2706090 21434 3514 1 0 2668173 0
[pid=15234/tid=15288] ppid=15231 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 9919 13020 0 0 55 3 5 3 20 0 15 0 415549562 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007629243328 140007641989169 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10824360 memory=139868361601232 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549563 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10824360 memory=139869904962155 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549563 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10824360 memory=1076 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 5 13020 0 0 0 0 5 3 20 0 15 0 415549564 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10824360 memory=7014751519650698577 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 33 13020 0 0 0 0 5 3 20 0 15 0 415549565 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007115412256 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10824360 memory=7811609364990613870 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549565 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007008363632 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10824360 memory=14056 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11084144640 21434 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10824360 memory=2116 CPUtime=0.19 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) R 15231 15234 10765 0 -1 4202560 793 13020 0 0 11 0 5 3 20 0 15 0 415549568 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007081855600 140007641425192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10824360 memory=520 CPUtime=0.21 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 832 13020 0 0 13 0 5 3 20 0 15 0 415549568 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10824360 memory=1560 CPUtime=0.25 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 814 13020 0 0 17 0 5 3 20 0 15 0 415549568 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10824360 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11084144640 21434 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10824360 memory=3688 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 1 13020 0 0 0 0 5 3 20 0 15 0 415549568 11084144640 21434 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85736 KiB

[startup+1.50217 s]
/proc/loadavg: 1.66 1.42 1.40 5/227 15301
/proc/meminfo: memFree=25731948/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10834676 memory=177512 CPUtime=2.49 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 23650 13020 0 0 231 10 5 3 20 0 15 0 415549553 11094708224 44378 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2708669 44378 3577 1 0 2670733 0
[pid=15234/tid=15288] ppid=15231 vsize=10834676 memory=174240 CPUtime=1.43 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 15233 13020 0 0 130 5 5 3 20 0 15 0 415549562 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007629235360 140007643128352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10834676 memory=6944656592455359580 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 57 13020 0 0 1 0 5 3 20 0 15 0 415549563 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10834676 memory=7976406965554101975 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 81 13020 0 0 1 0 5 3 20 0 15 0 415549563 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 385 13020 0 0 1 0 5 3 20 0 15 0 415549563 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 32 13020 0 0 1 0 5 3 20 0 15 0 415549563 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 2022 13020 0 0 1 0 5 3 20 0 15 0 415549564 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 34 13020 0 0 0 0 5 3 20 0 15 0 415549565 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007115412320 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549565 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007008363648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11094708224 44378 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10834676 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 1022 13020 0 0 26 0 5 3 20 0 15 0 415549568 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10834676 memory=4580 CPUtime=0.34 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 958 13020 0 0 26 0 5 3 20 0 15 0 415549568 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10834676 memory=7379521180939872610 CPUtime=0.48 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 1608 13020 0 0 40 0 5 3 20 0 15 0 415549568 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10834676 memory=7013346442758874224 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11094708224 44378 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10834676 memory=7813015764866590289 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11094708224 44378 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 10834676 KiB

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

[pid=15234/tid=15300] ppid=15231 vsize=10846984 memory=39956 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 214693 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10846984 memory=988 CPUtime=0.41 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 764 13020 0 0 15 18 5 3 20 0 15 0 415549568 11107311616 214693 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 662.6 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 858772 KiB

[startup+646.401 s]
/proc/loadavg: 1.28 1.32 1.39 3/227 15483
/proc/meminfo: memFree=25244080/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10846984 memory=856720 CPUtime=665.84 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 153342 13020 0 0 66465 111 5 3 20 0 15 0 415549553 11107311616 214180 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2711746 214180 3627 1 0 2673805 0
[pid=15234/tid=15288] ppid=15231 vsize=10846984 memory=3504 CPUtime=642.15 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 44102 13020 0 0 64182 25 5 3 20 0 15 0 415549562 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007629271008 140007229358224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10846984 memory=39956 CPUtime=2.13 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 7960 13020 0 0 190 15 5 3 20 0 15 0 415549563 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10846984 memory=859272 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 5743 13020 0 0 197 11 5 3 20 0 15 0 415549563 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10846984 memory=1548 CPUtime=2.15 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 5305 13020 0 0 195 12 5 3 20 0 15 0 415549563 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10846984 memory=856720 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 6727 13020 0 0 196 12 5 3 20 0 15 0 415549563 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10846984 memory=3504 CPUtime=1.78 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 10196 13020 0 0 155 15 5 3 20 0 15 0 415549564 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10846984 memory=859752 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 45 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007115412320 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 9 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007008363648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10846984 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 214180 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10846984 memory=39956 CPUtime=5.44 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 21691 13020 0 0 534 2 5 3 20 0 15 0 415549568 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10846984 memory=988 CPUtime=5.87 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 27886 13020 0 0 574 5 5 3 20 0 15 0 415549568 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10846984 memory=2008 CPUtime=2.22 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 20701 13020 0 0 209 5 5 3 20 0 15 0 415549568 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10846984 memory=279736723981120 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 214180 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10846984 memory=139868361590944 CPUtime=0.41 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 764 13020 0 0 15 18 5 3 20 0 15 0 415549568 11107311616 214180 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 665.84 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 856720 KiB

[startup+647.201 s]
/proc/loadavg: 1.28 1.32 1.39 3/227 15483
/proc/meminfo: memFree=25245072/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10846984 memory=855692 CPUtime=666.65 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 153351 13020 0 0 66546 111 5 3 20 0 15 0 415549553 11107311616 213923 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2711746 213923 3627 1 0 2673805 0
[pid=15234/tid=15288] ppid=15231 vsize=10846984 memory=988 CPUtime=642.94 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 44106 13020 0 0 64261 25 5 3 20 0 15 0 415549562 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007629270880 140007246212616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10846984 memory=2008 CPUtime=2.13 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 7960 13020 0 0 190 15 5 3 20 0 15 0 415549563 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10846984 memory=651888 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 5746 13020 0 0 197 11 5 3 20 0 15 0 415549563 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10846984 memory=1620 CPUtime=2.15 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 5305 13020 0 0 195 12 5 3 20 0 15 0 415549563 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10846984 memory=668 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 6729 13020 0 0 196 12 5 3 20 0 15 0 415549563 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10846984 memory=859752 CPUtime=1.78 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 10196 13020 0 0 155 15 5 3 20 0 15 0 415549564 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10846984 memory=6443351866681156706 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 45 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007115412320 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10846984 memory=7233442286554804064 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 9 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007008363648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 213923 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10846984 memory=668 CPUtime=5.44 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 21691 13020 0 0 534 2 5 3 20 0 15 0 415549568 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10846984 memory=859752 CPUtime=5.87 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 27886 13020 0 0 574 5 5 3 20 0 15 0 415549568 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10846984 memory=859752 CPUtime=2.22 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 20701 13020 0 0 209 5 5 3 20 0 15 0 415549568 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 213923 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10846984 memory=1256 CPUtime=0.41 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 764 13020 0 0 15 18 5 3 20 0 15 0 415549568 11107311616 213923 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 666.65 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 855692 KiB

[startup+647.601 s]
/proc/loadavg: 1.28 1.32 1.39 3/227 15483
/proc/meminfo: memFree=25245072/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10846984 memory=855180 CPUtime=667.06 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 153634 13020 0 0 66587 111 5 3 20 0 15 0 415549553 11107311616 213795 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2711746 213795 3627 1 0 2673805 0
[pid=15234/tid=15288] ppid=15231 vsize=10846984 memory=668 CPUtime=643.34 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 44108 13020 0 0 64301 25 5 3 20 0 15 0 415549562 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007629270816 140007246210758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10846984 memory=1256 CPUtime=2.14 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 7960 13020 0 0 191 15 5 3 20 0 15 0 415549563 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10846984 memory=6791534058613427641 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 5747 13020 0 0 197 11 5 3 20 0 15 0 415549563 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10846984 memory=1728 CPUtime=2.15 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 5305 13020 0 0 195 12 5 3 20 0 15 0 415549563 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10846984 memory=7988 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 6730 13020 0 0 196 12 5 3 20 0 15 0 415549563 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10846984 memory=9580 CPUtime=1.78 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 10196 13020 0 0 155 15 5 3 20 0 15 0 415549564 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10846984 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 45 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007115412320 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10846984 memory=39956 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 9 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007008363648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10846984 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 213795 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10846984 memory=2008 CPUtime=5.44 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 21970 13020 0 0 534 2 5 3 20 0 15 0 415549568 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10846984 memory=1436 CPUtime=5.87 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 27886 13020 0 0 574 5 5 3 20 0 15 0 415549568 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10846984 memory=4164 CPUtime=2.22 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 20701 13020 0 0 209 5 5 3 20 0 15 0 415549568 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10846984 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 213795 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10846984 memory=2832 CPUtime=0.41 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 764 13020 0 0 15 18 5 3 20 0 15 0 415549568 11107311616 213795 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 667.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 855180 KiB

[startup+648.001 s]*
/proc/loadavg: 1.28 1.32 1.39 3/227 15483
/proc/meminfo: memFree=25247388/32770624 swapFree=66939840/67108860
[pid=15234] ppid=15231 vsize=10846984 memory=854152 CPUtime=667.48 cores=1,3,5,7
/proc/15234/stat : 15234 (java) S 15231 15234 10765 0 -1 1077944320 153636 13020 0 0 66629 111 5 3 20 0 15 0 415549553 11107311616 213538 33554432000 4194304 4196468 140720891003104 140720890985648 140007657434871 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
/proc/15234/statm: 2711746 213538 3627 1 0 2673805 0
[pid=15234/tid=15288] ppid=15231 vsize=10846984 memory=1408 CPUtime=643.74 cores=1,3,5,7
/proc/15234/task/15288/stat : 15288 (java) R 15231 15234 10765 0 -1 4202560 44109 13020 0 0 64341 25 5 3 20 0 15 0 415549562 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007629270880 140007230470528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15289] ppid=15231 vsize=10846984 memory=3216 CPUtime=2.14 cores=1,3,5,7
/proc/15234/task/15289/stat : 15289 (java) S 15231 15234 10765 0 -1 1077944384 7961 13020 0 0 191 15 5 3 20 0 15 0 415549563 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007661677456 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15290] ppid=15231 vsize=10846984 memory=4872558044660077418 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15290/stat : 15290 (java) S 15231 15234 10765 0 -1 1077944384 5747 13020 0 0 197 11 5 3 20 0 15 0 415549563 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007549950736 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15291] ppid=15231 vsize=10846984 memory=4164 CPUtime=2.16 cores=1,3,5,7
/proc/15234/task/15291/stat : 15291 (java) S 15231 15234 10765 0 -1 1077944384 5305 13020 0 0 196 12 5 3 20 0 15 0 415549563 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007548898448 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15292] ppid=15231 vsize=10846984 memory=1548 CPUtime=2.17 cores=1,3,5,7
/proc/15234/task/15292/stat : 15292 (java) S 15231 15234 10765 0 -1 1077944384 6730 13020 0 0 197 12 5 3 20 0 15 0 415549563 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007547845648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15293] ppid=15231 vsize=10846984 memory=1728 CPUtime=1.78 cores=1,3,5,7
/proc/15234/task/15293/stat : 15293 (java) S 15231 15234 10765 0 -1 1077944384 10196 13020 0 0 155 15 5 3 20 0 15 0 415549564 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007116466288 140007657446018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15294] ppid=15231 vsize=10846984 memory=4164 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15294/stat : 15294 (java) S 15231 15234 10765 0 -1 1077944384 45 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007115412320 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15295] ppid=15231 vsize=10846984 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15295/stat : 15295 (java) S 15231 15234 10765 0 -1 1077944384 9 13020 0 0 0 0 5 3 20 0 15 0 415549565 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007008363648 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15296] ppid=15231 vsize=10846984 memory=1728 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15296/stat : 15296 (java) S 15231 15234 10765 0 -1 1077944384 2 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 213538 33554432000 4194304 4196468 140720891003104 140006404384848 140007657453467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15297] ppid=15231 vsize=10846984 memory=857232 CPUtime=5.44 cores=1,3,5,7
/proc/15234/task/15297/stat : 15297 (java) S 15231 15234 10765 0 -1 1077944384 21970 13020 0 0 534 2 5 3 20 0 15 0 415549568 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007081855600 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15298] ppid=15231 vsize=10846984 memory=9580 CPUtime=5.87 cores=1,3,5,7
/proc/15234/task/15298/stat : 15298 (java) S 15231 15234 10765 0 -1 1077944384 27886 13020 0 0 574 5 5 3 20 0 15 0 415549568 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007080802800 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15299] ppid=15231 vsize=10846984 memory=1052 CPUtime=2.22 cores=1,3,5,7
/proc/15234/task/15299/stat : 15299 (java) S 15231 15234 10765 0 -1 1077944384 20701 13020 0 0 209 5 5 3 20 0 15 0 415549568 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007079750512 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15300] ppid=15231 vsize=10846984 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/15234/task/15300/stat : 15300 (java) S 15231 15234 10765 0 -1 1077944384 3 13020 0 0 0 0 5 3 20 0 15 0 415549568 11107311616 213538 33554432000 4194304 4196468 140720891003104 140005934623712 140007657445077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
[pid=15234/tid=15301] ppid=15231 vsize=10846984 memory=856204 CPUtime=0.41 cores=1,3,5,7
/proc/15234/task/15301/stat : 15301 (java) S 15231 15234 10765 0 -1 1077944384 764 13020 0 0 15 18 5 3 20 0 15 0 415549568 11107311616 213538 33554432000 4194304 4196468 140720891003104 140007078697392 140007657446018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140720891005680 140720891008197 140720891008197 140720891011023 0
Current children cumulated CPU time: 667.48 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 854152 KiB

Child status: 0
Real time (s): 648.052
CPU time (s): 667.545
CPU user time (s): 666.379
CPU system time (s): 1.16593
CPU usage (%): 103.008
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 1059752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 666.379
system time used= 1.16593
maximum resident set size= 1061800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55851
involuntary context switches= 1070


# summary of solver processes directly reported to runsolver:
#   pid: 15234
#   total CPU time (s): 667.545
#   total CPU user time (s): 666.379
#   total CPU system time (s): 1.16593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90972 second user time and 6.08235 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 19:38:27
IDJOB=4396471
IDBENCH=122944
IDSOLVER=2847
FILE ID=node119/4396471-1568396346
RUNJOBID= node119-1568393934-14636
PBS_JOBID= 21701844
Free space on /tmp= 61468 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-4396471-1568396346/watcher-4396471-1568396346 -o /tmp/evaluation-result-4396471-1568396346/solver-4396471-1568396346 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568393934-14636 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=121782188 HOME/instance-4396471-1568396346.xml

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

MD5SUM BENCH= 2ec8df38dc21edc74720c494de453c4e
RANDOM SEED=121782188

node119.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:        25838948 kB
MemAvailable:   30928384 kB
Buffers:          190592 kB
Cached:          5165880 kB
SwapCached:        61108 kB
Active:          2803380 kB
Inactive:        3514972 kB
Active(anon):     900464 kB
Inactive(anon):   103112 kB
Active(file):    1902916 kB
Inactive(file):  3411860 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66939840 kB
Dirty:             35064 kB
Writeback:             0 kB
AnonPages:       1009732 kB
Mapped:            58044 kB
Shmem:             32816 kB
Slab:             211284 kB
SReclaimable:     180992 kB
SUnreclaim:        30292 kB
KernelStack:        3984 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2209992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    841728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61432 MiB
End job on node119 at 2019-09-13 19:49:15