Trace number 4404971

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
choco-solver 2019-09-20 parallelOPT9 621.464 78.6804

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-04-350-100.xml
MD5SUM05a37308653f1418d8a9d31e27700b02
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark10.3495
Satisfiable
(Un)Satisfiability was proved
Number of variables1401
Number of constraints11
Number of domains2
Minimum domain size2
Maximum domain size342
Distribution of domain sizes[{"size":2,"count":1400},{"size":342,"count":1}]
Minimum variable degree5
Maximum variable degree7
Distribution of variable degrees[{"degree":5,"count":1400},{"degree":7,"count":1}]
Minimum constraint arity350
Maximum constraint arity1400
Distribution of constraint arities[{"arity":350,"count":4},{"arity":701,"count":6},{"arity":1400,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":10}]
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.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404971-1569003589.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404971-1569003589.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.82/0.75	c solve instance...
5.42/1.23	o 95 
6.12/1.30	o 94 
6.12/1.32	o 90 
8.48/1.60	o 70 
8.48/1.69	o 69 
9.25/1.72	o 68 
9.97/1.81	o 65 
9.97/1.82	o 64 
9.97/1.84	o 63 
9.97/1.86	o 62 
9.97/1.89	o 61 
10.68/1.91	o 60 
10.68/1.93	o 59 
10.68/1.94	o 58 
10.68/1.96	o 57 
10.68/1.99	o 56 
10.68/2.01	o 55 
11.41/2.02	o 54 
11.41/2.04	o 53 
11.41/2.08	o 52 
11.41/2.10	o 51 
12.18/2.12	o 50 
12.18/2.14	o 49 
12.18/2.16	o 48 
12.18/2.19	o 47 
12.75/2.21	o 46 
12.75/2.23	o 45 
12.75/2.24	o 44 
12.75/2.25	o 43 
12.75/2.27	o 42 
12.75/2.28	o 41 
13.44/2.30	o 40 
13.44/2.31	o 39 
13.44/2.32	o 38 
13.44/2.34	o 37 
13.44/2.35	o 36 
13.44/2.37	o 35 
13.44/2.38	o 34 
14.13/2.40	o 33 
14.13/2.41	o 32 
14.13/2.46	o 31 
14.13/2.47	o 30 
14.87/2.51	o 29 
14.87/2.55	o 28 
14.87/2.57	o 27 
14.87/2.58	o 26 
14.87/2.59	o 25 
15.61/2.62	o 24 
15.61/2.64	o 23 
15.61/2.65	o 22 
15.61/2.67	o 21 
15.61/2.68	o 20 
16.23/2.70	o 19 
16.23/2.71	o 18 
16.23/2.72	o 17 
16.23/2.73	o 16 
16.23/2.74	o 15 
16.23/2.76	o 14 
16.23/2.77	o 13 
16.23/2.79	o 12 
16.93/2.81	o 11 
16.93/2.87	o 10 
621.04/78.64	o 9 
621.04/78.65	s OPTIMUM FOUND
621.04/78.65	v <instantiation>
621.04/78.65	v 	<list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] </list>
621.04/78.65	v 	<values>9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 </values>
621.04/78.65	v </instantiation>

Verifier Data 

OK	9

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404971-1569003589/watcher-4404971-1569003589 -o /tmp/evaluation-result-4404971-1569003589/solver-4404971-1569003589 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1644665672 HOME/instance-4404971-1569003589.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22230, runsolver pid=22227
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 7.83 7.99 8.03 2/210 22251
/proc/meminfo: memFree=18407892/32770624 swapFree=66986244/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476615795 115843072 363 33554432000 4194304 5098028 140725108602640 140725108600744 140538477412988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23801856 140725108605819 140725108606062 140725108606062 140725108608970 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=28227396 memory=28912 CPUtime=0.12 cores=0-7
/proc/22232/stat : 22232 (java) S 22230 22230 14667 0 -1 1077944320 5712 0 0 0 10 2 0 0 20 0 20 0 476615795 28904853504 7228 33554432000 4194304 4196468 140731577255472 140731577238016 140477567770359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
/proc/22232/statm: 7056849 7228 3122 1 0 7019032 0
[pid=22232/tid=22233] ppid=22230 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 14667 0 -1 4202560 3612 0 0 0 8 1 0 0 20 0 20 0 476615795 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477572004896 140477567782294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22234] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477520391312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22235] ppid=22230 vsize=28227396 memory=140609575246363 CPUtime=0 cores=0-7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477519338512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22236] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477518285712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22237] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477517232912 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22238] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477516180112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22239] ppid=22230 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477515127312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22240] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477514074512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22241] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 7228 33554432000 4194304 4196468 140731577255472 140477513021712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22242] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615798 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476751194992 140477567781506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22243] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476615798 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476750140960 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22244] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476615798 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476749088112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22245] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476748036432 140477567788955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22246] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 14667 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476746983792 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22247] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22247/stat : 22247 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476745930992 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22248] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22248/stat : 22248 (java) S 22230 22230 14667 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476744878192 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22249] ppid=22230 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22232/task/22249/stat : 22249 (java) R 22230 22230 14667 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476743825392 140477560007486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22250] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22250/stat : 22250 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476742773856 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22251] ppid=22230 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22232/task/22251/stat : 22251 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 7228 33554432000 4194304 4196468 140731577255472 140476741721136 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30364 KiB

[startup+0.209838 s]*
/proc/loadavg: 7.83 7.99 8.03 2/210 22251
/proc/meminfo: memFree=18393564/32770624 swapFree=66986244/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476615795 115843072 363 33554432000 4194304 5098028 140725108602640 140725108600744 140538477412988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23801856 140725108605819 140725108606062 140725108606062 140725108608970 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=28227396 memory=41032 CPUtime=0.33 cores=0-7
/proc/22232/stat : 22232 (java) S 22230 22230 14667 0 -1 1077944320 9506 0 0 0 30 3 0 0 20 0 20 0 476615795 28904853504 10258 33554432000 4194304 4196468 140731577255472 140731577238016 140477567770359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
/proc/22232/statm: 7056849 10258 3283 1 0 7019032 0
[pid=22232/tid=22233] ppid=22230 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 14667 0 -1 4202560 6628 0 0 0 17 2 0 0 20 0 20 0 476615795 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477572003088 140477567792285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22234] ppid=22230 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477520391312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22235] ppid=22230 vsize=28227396 memory=288370985726940800 CPUtime=0 cores=0-7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477519338512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22236] ppid=22230 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477518285712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22237] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477517232912 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22238] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477516180112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22239] ppid=22230 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477515127312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22240] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477514074512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22241] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615796 28904853504 10258 33554432000 4194304 4196468 140731577255472 140477513021712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22242] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476615798 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476751194992 140477567781506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22243] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476615798 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476750140960 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22244] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476615798 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476749088112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22245] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476748036432 140477567788955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22246] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 14667 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476746983792 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22247] ppid=22230 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/22232/task/22247/stat : 22247 (java) S 22230 22230 14667 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476745930992 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22248] ppid=22230 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/22232/task/22248/stat : 22248 (java) S 22230 22230 14667 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476744878192 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22249] ppid=22230 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/22232/task/22249/stat : 22249 (java) S 22230 22230 14667 0 -1 1077944384 774 0 0 0 7 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476743825392 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22250] ppid=22230 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22250/stat : 22250 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476742773856 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22251] ppid=22230 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22232/task/22251/stat : 22251 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615801 28904853504 10258 33554432000 4194304 4196468 140731577255472 140476741721136 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42484 KiB

[startup+0.309494 s]*
/proc/loadavg: 7.83 7.99 8.03 6/210 22251
/proc/meminfo: memFree=18386676/32770624 swapFree=66986244/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476615795 115843072 363 33554432000 4194304 5098028 140725108602640 140725108600744 140538477412988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23801856 140725108605819 140725108606062 140725108606062 140725108608970 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=28231652 memory=50156 CPUtime=0.52 cores=0-7
/proc/22232/stat : 22232 (java) S 22230 22230 14667 0 -1 1077944320 10890 0 0 0 48 4 0 0 20 0 20 0 476615795 28909211648 12539 33554432000 4194304 4196468 140731577255472 140731577238016 140477567770359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
/proc/22232/statm: 7057913 12539 3336 1 0 7019032 0
[pid=22232/tid=22233] ppid=22230 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 14667 0 -1 4202560 7748 0 0 0 27 2 0 0 20 0 20 0 476615795 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477572004144 140477551850846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22234] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477520391312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22235] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477519338512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22236] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477518285712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22237] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477517232912 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22238] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477516180112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22239] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477515127312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22240] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477514074512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22241] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615796 28909211648 12539 33554432000 4194304 4196468 140731577255472 140477513021712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22242] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476615798 28909211648 12539 33554432000 4194304 4196468 140731577255472 140476751194992 140477567781506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22243] ppid=22230 vsize=28231652 memory=281218889489792 CPUtime=0 cores=0-7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476615798 28909211648 12539 33554432000 4194304 4196468 140731577255472 140476750140960 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22244] ppid=22230 vsize=28231652 memory=281218889494400 CPUtime=0 cores=0-7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476615798 28909211648 12539 33554432000 4194304 4196468 140731577255472 140476749088112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22245] ppid=22230 vsize=28231652 memory=281218889499008 CPUtime=0 cores=0-7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615801 28909211648 12539 33554432000 4194304 4196468 140731577255472 140476748036432 140477567788955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22246] ppid=22230 vsize=28231652 memory=281218889503616 CPUtime=0.02 cores=0-7
/proc/22232/task/22246/stat : 22246 (java) R 22230 22230 14667 0 -1 4202560 484 0 0 0 2 0 0 0 20 0 20 0 476615801 28909211648 12539 33554432000 4194304 4196468 140731577255472 140476746964808 140477552896307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22247] ppid=22230 vsize=28231652 memory=281218889508224 CPUtime=0.03 cores=0-7
/proc/22232/task/22247/stat : 22247 (java) S 22230 22230 14667 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 20 0 476615801 28909211648 12539 33554432000 4194304 4196468 140731577255472 140476745930992 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22248] ppid=22230 vsize=28231652 memory=281218889512832 CPUtime=0.02 cores=0-7
/proc/22232/task/22248/stat : 22248 (java) S 22230 22230 14667 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 20 0 476615801 28909211648 12570 33554432000 4194304 4196468 140731577255472 140476744878192 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22249] ppid=22230 vsize=28231652 memory=281218889517440 CPUtime=0.12 cores=0-7
/proc/22232/task/22249/stat : 22249 (java) S 22230 22230 14667 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 476615801 28909211648 12570 33554432000 4194304 4196468 140731577255472 140476743825392 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22250] ppid=22230 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22250/stat : 22250 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476615801 28909211648 12570 33554432000 4194304 4196468 140731577255472 140476742773856 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22251] ppid=22230 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/22232/task/22251/stat : 22251 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476615801 28909211648 12570 33554432000 4194304 4196468 140731577255472 140476741721136 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51608 KiB

[startup+0.700879 s]
/proc/loadavg: 7.83 7.99 8.03 6/210 22251
/proc/meminfo: memFree=18371344/32770624 swapFree=66986244/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476615795 115843072 363 33554432000 4194304 5098028 140725108602640 140725108600744 140538477412988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23801856 140725108605819 140725108606062 140725108606062 140725108608970 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=28233776 memory=119136 CPUtime=1.82 cores=0-7
/proc/22232/stat : 22232 (java) S 22230 22230 14667 0 -1 1077944320 14809 0 0 0 176 6 0 0 20 0 20 0 476615795 28911386624 29784 33554432000 4194304 4196468 140731577255472 140731577238016 140477567770359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
/proc/22232/statm: 7058444 29784 3459 1 0 7019544 0
[pid=22232/tid=22233] ppid=22230 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 14667 0 -1 4202560 9181 0 0 0 63 4 0 0 20 0 20 0 476615795 28911386624 29784 33554432000 4194304 4196468 140731577255472 140477572005248 140477193259125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22234] ppid=22230 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28911386624 29784 33554432000 4194304 4196468 140731577255472 140477520391312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22235] ppid=22230 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28911386624 29784 33554432000 4194304 4196468 140731577255472 140477519338512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22236] ppid=22230 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476615796 28911386624 29784 33554432000 4194304 4196468 140731577255472 140477518285712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0

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

[pid=22232/tid=22249] ppid=22230 vsize=28767316 memory=916 CPUtime=0.67 cores=0-7
/proc/22232/task/22249/stat : 22249 (java) S 22230 22230 14667 0 -1 1077944384 5559 0 0 0 66 1 0 0 20 0 28 0 476615801 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476743825392 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22250] ppid=22230 vsize=28767316 memory=4496 CPUtime=0 cores=0-7
/proc/22232/task/22250/stat : 22250 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476615801 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476742773856 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22251] ppid=22230 vsize=28767316 memory=4100 CPUtime=0.02 cores=0-7
/proc/22232/task/22251/stat : 22251 (java) S 22230 22230 14667 0 -1 1077944384 607 0 0 0 0 2 0 0 20 0 28 0 476615801 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476741721136 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22748] ppid=22230 vsize=28767316 memory=1412 CPUtime=74.34 cores=0-7
/proc/22232/task/22748/stat : 22748 (java) R 22230 22230 14667 0 -1 4202560 737 0 0 0 7434 0 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476725132872 140477197556693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22749] ppid=22230 vsize=28767316 memory=3368 CPUtime=73.88 cores=0-7
/proc/22232/task/22749/stat : 22749 (java) R 22230 22230 14667 0 -1 4202560 469 0 0 0 7388 0 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476729344104 140477194911611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22750] ppid=22230 vsize=28767316 memory=4822 CPUtime=74.48 cores=0-7
/proc/22232/task/22750/stat : 22750 (java) R 22230 22230 14667 0 -1 4202560 696 0 0 0 7448 0 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476726185992 140477194911298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22751] ppid=22230 vsize=28767316 memory=698 CPUtime=74.24 cores=0-7
/proc/22232/task/22751/stat : 22751 (java) R 22230 22230 14667 0 -1 4202560 597 0 0 0 7424 0 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476731448912 140477195103769 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22752] ppid=22230 vsize=28767316 memory=17230 CPUtime=74.53 cores=0-7
/proc/22232/task/22752/stat : 22752 (java) R 22230 22230 14667 0 -1 4202560 978 0 0 0 7451 2 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476728290984 140477194911242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22753] ppid=22230 vsize=28767316 memory=2559 CPUtime=73.73 cores=0-7
/proc/22232/task/22753/stat : 22753 (java) R 22230 22230 14667 0 -1 4202560 1058 0 0 0 7371 2 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476732503976 140477195750474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22754] ppid=22230 vsize=28767316 memory=0 CPUtime=74.48 cores=0-7
/proc/22232/task/22754/stat : 22754 (java) R 22230 22230 14667 0 -1 4202560 18431 0 0 0 7392 56 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476724081672 140477197722248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22755] ppid=22230 vsize=28767316 memory=8 CPUtime=74.42 cores=0-7
/proc/22232/task/22755/stat : 22755 (java) R 22230 22230 14667 0 -1 4202560 1037 0 0 0 7442 0 0 0 20 0 28 0 476616082 29457731584 845692 33554432000 4194304 4196468 140731577255472 140476727238952 140477194911284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
Current children cumulated CPU time: 613.14 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 3384220 KiB

[startup+78.4021 s]
/proc/loadavg: 8.14 8.08 8.05 9/219 22767
/proc/meminfo: memFree=15049628/32770624 swapFree=66986244/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476615795 115843072 363 33554432000 4194304 5098028 140725108602640 140725108600744 140538477412988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23801856 140725108605819 140725108606062 140725108606062 140725108608970 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=28767316 memory=3382792 CPUtime=619.45 cores=0-7
/proc/22232/stat : 22232 (java) S 22230 22230 14667 0 -1 1077944320 75342 0 0 0 61812 133 0 0 20 0 28 0 476615795 29457731584 845698 33554432000 4194304 4196468 140731577255472 140731577238016 140477567770359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
/proc/22232/statm: 7191829 845698 3538 1 0 7152929 0
[pid=22232/tid=22233] ppid=22230 vsize=28767316 memory=1452 CPUtime=0.83 cores=0-7
/proc/22232/task/22233/stat : 22233 (java) S 22230 22230 14667 0 -1 1077944384 9272 0 0 0 78 5 0 0 20 0 28 0 476615795 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477572011136 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22234] ppid=22230 vsize=28767316 memory=3382776 CPUtime=0.15 cores=0-7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 14667 0 -1 1077944384 267 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477520391312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22235] ppid=22230 vsize=28767316 memory=6791534058613427641 CPUtime=0.14 cores=0-7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 14667 0 -1 1077944384 381 0 0 0 9 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477519338512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22236] ppid=22230 vsize=28767316 memory=2832 CPUtime=0.17 cores=0-7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 14667 0 -1 1077944384 1335 0 0 0 12 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477518285712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22237] ppid=22230 vsize=28767316 memory=1084 CPUtime=0.15 cores=0-7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 14667 0 -1 1077944384 645 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477517232912 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22238] ppid=22230 vsize=28767316 memory=14012 CPUtime=0.16 cores=0-7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 14667 0 -1 1077944384 1205 0 0 0 11 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477516180112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22239] ppid=22230 vsize=28767316 memory=14048 CPUtime=0.15 cores=0-7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 14667 0 -1 1077944384 607 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477515127312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22240] ppid=22230 vsize=28767316 memory=29624 CPUtime=0.15 cores=0-7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 14667 0 -1 1077944384 287 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477514074512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22241] ppid=22230 vsize=28767316 memory=2120 CPUtime=0.15 cores=0-7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 14667 0 -1 1077944384 887 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477513021712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22242] ppid=22230 vsize=28767316 memory=532 CPUtime=0.02 cores=0-7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 14667 0 -1 1077944384 3205 0 0 0 1 1 0 0 20 0 28 0 476615798 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476751194992 140477567781506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22243] ppid=22230 vsize=28767316 memory=1564 CPUtime=0 cores=0-7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 14667 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476615798 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476750140960 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22244] ppid=22230 vsize=28767316 memory=924 CPUtime=0 cores=0-7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476615798 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476749088112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22245] ppid=22230 vsize=28767316 memory=1680 CPUtime=0 cores=0-7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476748036432 140477567788955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22246] ppid=22230 vsize=28767316 memory=1440 CPUtime=1.34 cores=0-7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 14667 0 -1 1077944384 6281 0 0 0 133 1 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476746983792 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22247] ppid=22230 vsize=28767316 memory=912 CPUtime=1.45 cores=0-7
/proc/22232/task/22247/stat : 22247 (java) S 22230 22230 14667 0 -1 1077944384 4427 0 0 0 145 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476745930992 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22248] ppid=22230 vsize=28767316 memory=1984 CPUtime=1.41 cores=0-7
/proc/22232/task/22248/stat : 22248 (java) S 22230 22230 14667 0 -1 1077944384 6115 0 0 0 141 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476744878192 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22249] ppid=22230 vsize=28767316 memory=2480 CPUtime=0.68 cores=0-7
/proc/22232/task/22249/stat : 22249 (java) S 22230 22230 14667 0 -1 1077944384 5608 0 0 0 67 1 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476743825392 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22250] ppid=22230 vsize=28767316 memory=1768 CPUtime=0 cores=0-7
/proc/22232/task/22250/stat : 22250 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476742773856 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22251] ppid=22230 vsize=28767316 memory=796 CPUtime=0.02 cores=0-7
/proc/22232/task/22251/stat : 22251 (java) S 22230 22230 14667 0 -1 1077944384 607 0 0 0 0 2 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476741721136 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22748] ppid=22230 vsize=28767316 memory=1804 CPUtime=75.13 cores=0-7
/proc/22232/task/22748/stat : 22748 (java) R 22230 22230 14667 0 -1 4202560 740 0 0 0 7513 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476725132856 140477194911264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22749] ppid=22230 vsize=28767316 memory=916 CPUtime=74.64 cores=0-7
/proc/22232/task/22749/stat : 22749 (java) R 22230 22230 14667 0 -1 4202560 469 0 0 0 7464 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476729344040 140477195766964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22750] ppid=22230 vsize=28767316 memory=4496 CPUtime=75.25 cores=0-7
/proc/22232/task/22750/stat : 22750 (java) R 22230 22230 14667 0 -1 4202560 698 0 0 0 7525 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476726185992 140477195584612 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22751] ppid=22230 vsize=28767316 memory=4100 CPUtime=75.03 cores=0-7
/proc/22232/task/22751/stat : 22751 (java) R 22230 22230 14667 0 -1 4202560 599 0 0 0 7503 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476731449224 140477194911298 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22752] ppid=22230 vsize=28767316 memory=1412 CPUtime=75.28 cores=0-7
/proc/22232/task/22752/stat : 22752 (java) R 22230 22230 14667 0 -1 4202560 981 0 0 0 7526 2 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476728291320 140477195103724 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22753] ppid=22230 vsize=28767316 memory=3296 CPUtime=74.5 cores=0-7
/proc/22232/task/22753/stat : 22753 (java) R 22230 22230 14667 0 -1 4202560 1062 0 0 0 7448 2 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476732503816 140477197612255 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22754] ppid=22230 vsize=28767316 memory=1452 CPUtime=75.27 cores=0-7
/proc/22232/task/22754/stat : 22754 (java) R 22230 22230 14667 0 -1 4202560 18461 0 0 0 7471 56 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476724083432 140477195424446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22755] ppid=22230 vsize=28767316 memory=3382708 CPUtime=75.21 cores=0-7
/proc/22232/task/22755/stat : 22755 (java) R 22230 22230 14667 0 -1 4202560 1044 0 0 0 7521 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476727239048 140477195601484 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
Current children cumulated CPU time: 619.45 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 3384244 KiB

[startup+78.6021 s]
/proc/loadavg: 8.14 8.08 8.05 9/219 22767
/proc/meminfo: memFree=15049628/32770624 swapFree=66986244/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476615795 115843072 363 33554432000 4194304 5098028 140725108602640 140725108600744 140538477412988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23801856 140725108605819 140725108606062 140725108606062 140725108608970 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=28767316 memory=3382792 CPUtime=621.04 cores=0-7
/proc/22232/stat : 22232 (java) S 22230 22230 14667 0 -1 1077944320 75347 0 0 0 61971 133 0 0 20 0 28 0 476615795 29457731584 845698 33554432000 4194304 4196468 140731577255472 140731577238016 140477567770359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
/proc/22232/statm: 7191829 845698 3538 1 0 7152929 0
[pid=22232/tid=22233] ppid=22230 vsize=28767316 memory=3616 CPUtime=0.83 cores=0-7
/proc/22232/task/22233/stat : 22233 (java) S 22230 22230 14667 0 -1 1077944384 9272 0 0 0 78 5 0 0 20 0 28 0 476615795 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477572011136 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22234] ppid=22230 vsize=28767316 memory=1112 CPUtime=0.15 cores=0-7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 14667 0 -1 1077944384 267 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477520391312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22235] ppid=22230 vsize=28767316 memory=6048 CPUtime=0.14 cores=0-7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 14667 0 -1 1077944384 381 0 0 0 9 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477519338512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22236] ppid=22230 vsize=28767316 memory=7552 CPUtime=0.17 cores=0-7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 14667 0 -1 1077944384 1335 0 0 0 12 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477518285712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22237] ppid=22230 vsize=28767316 memory=2832 CPUtime=0.15 cores=0-7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 14667 0 -1 1077944384 645 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477517232912 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22238] ppid=22230 vsize=28767316 memory=1084 CPUtime=0.16 cores=0-7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 14667 0 -1 1077944384 1205 0 0 0 11 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477516180112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22239] ppid=22230 vsize=28767316 memory=14012 CPUtime=0.15 cores=0-7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 14667 0 -1 1077944384 607 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477515127312 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22240] ppid=22230 vsize=28767316 memory=14048 CPUtime=0.15 cores=0-7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 14667 0 -1 1077944384 287 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477514074512 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22241] ppid=22230 vsize=28767316 memory=29624 CPUtime=0.15 cores=0-7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 14667 0 -1 1077944384 887 0 0 0 10 5 0 0 20 0 28 0 476615796 29457731584 845698 33554432000 4194304 4196468 140731577255472 140477513021712 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22242] ppid=22230 vsize=28767316 memory=1452 CPUtime=0.02 cores=0-7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 14667 0 -1 1077944384 3205 0 0 0 1 1 0 0 20 0 28 0 476615798 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476751194992 140477567781506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22243] ppid=22230 vsize=28767316 memory=3382708 CPUtime=0 cores=0-7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 14667 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476615798 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476750140960 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22244] ppid=22230 vsize=28767316 memory=1564 CPUtime=0 cores=0-7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476615798 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476749088112 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22245] ppid=22230 vsize=28767316 memory=924 CPUtime=0 cores=0-7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476748036432 140477567788955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22246] ppid=22230 vsize=28767316 memory=1680 CPUtime=1.34 cores=0-7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 14667 0 -1 1077944384 6281 0 0 0 133 1 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476746983792 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22247] ppid=22230 vsize=28767316 memory=1440 CPUtime=1.45 cores=0-7
/proc/22232/task/22247/stat : 22247 (java) S 22230 22230 14667 0 -1 1077944384 4427 0 0 0 145 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476745930992 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22248] ppid=22230 vsize=28767316 memory=912 CPUtime=1.41 cores=0-7
/proc/22232/task/22248/stat : 22248 (java) S 22230 22230 14667 0 -1 1077944384 6115 0 0 0 141 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476744878192 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22249] ppid=22230 vsize=28767316 memory=1984 CPUtime=0.68 cores=0-7
/proc/22232/task/22249/stat : 22249 (java) S 22230 22230 14667 0 -1 1077944384 5608 0 0 0 67 1 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476743825392 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22250] ppid=22230 vsize=28767316 memory=2480 CPUtime=0 cores=0-7
/proc/22232/task/22250/stat : 22250 (java) S 22230 22230 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476742773856 140477567780565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22251] ppid=22230 vsize=28767316 memory=1768 CPUtime=0.02 cores=0-7
/proc/22232/task/22251/stat : 22251 (java) S 22230 22230 14667 0 -1 1077944384 607 0 0 0 0 2 0 0 20 0 28 0 476615801 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476741721136 140477567781506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22748] ppid=22230 vsize=28767316 memory=111632 CPUtime=75.33 cores=0-7
/proc/22232/task/22748/stat : 22748 (java) R 22230 22230 14667 0 -1 4202560 740 0 0 0 7533 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476725132856 140477195103852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22749] ppid=22230 vsize=28767316 memory=6791534058613427641 CPUtime=74.84 cores=0-7
/proc/22232/task/22749/stat : 22749 (java) R 22230 22230 14667 0 -1 4202560 469 0 0 0 7484 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476729344040 140477195103769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22750] ppid=22230 vsize=28767316 memory=1452 CPUtime=75.45 cores=0-7
/proc/22232/task/22750/stat : 22750 (java) R 22230 22230 14667 0 -1 4202560 698 0 0 0 7545 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476726185992 140477195425226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22751] ppid=22230 vsize=28767316 memory=1452 CPUtime=75.23 cores=0-7
/proc/22232/task/22751/stat : 22751 (java) R 22230 22230 14667 0 -1 4202560 599 0 0 0 7523 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476731449224 140477196090807 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22752] ppid=22230 vsize=28767316 memory=3382708 CPUtime=75.48 cores=0-7
/proc/22232/task/22752/stat : 22752 (java) R 22230 22230 14667 0 -1 4202560 981 0 0 0 7546 2 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476728291320 140477195750525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22753] ppid=22230 vsize=28767316 memory=56 CPUtime=74.7 cores=0-7
/proc/22232/task/22753/stat : 22753 (java) R 22230 22230 14667 0 -1 4202560 1063 0 0 0 7468 2 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476732503816 140477197556947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22754] ppid=22230 vsize=28767316 memory=-7966001967374371424 CPUtime=75.47 cores=0-7
/proc/22232/task/22754/stat : 22754 (java) R 22230 22230 14667 0 -1 4202560 18465 0 0 0 7491 56 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476724083432 140477195766467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
[pid=22232/tid=22755] ppid=22230 vsize=28767316 memory=-6876588461455810464 CPUtime=75.41 cores=0-7
/proc/22232/task/22755/stat : 22755 (java) R 22230 22230 14667 0 -1 4202560 1044 0 0 0 7541 0 0 0 20 0 28 0 476616082 29457731584 845698 33554432000 4194304 4196468 140731577255472 140476727239048 140477195187194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9887744 140731577263088 140731577263259 140731577263259 140731577266127 0
Current children cumulated CPU time: 621.04 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 3384244 KiB

Child status: 0
Real time (s): 78.6804
CPU time (s): 621.464
CPU user time (s): 620.101
CPU system time (s): 1.36334
CPU usage (%): 789.859
Max. virtual memory (cumulated for all children) (KiB): 28880444
Max. memory (cumulated for all children) (KiB): 3384844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 620.101
system time used= 1.36334
maximum resident set size= 3383820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10043
involuntary context switches= 7246


# summary of solver processes directly reported to runsolver:
#   pid: 22230
#   total CPU time (s): 621.464
#   total CPU user time (s): 620.101
#   total CPU system time (s): 1.36334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.791801 second user time and 0.851051 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-20 19:09:28
IDJOB=4404971
IDBENCH=122932
IDSOLVER=2866
FILE ID=node104/4404971-1569003589
RUNJOBID= node104-1568989783-14694
PBS_JOBID= 21704713
Free space on /tmp= 9832 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-04-350-100.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404971-1569003589/watcher-4404971-1569003589 -o /tmp/evaluation-result-4404971-1569003589/solver-4404971-1569003589 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1644665672 HOME/instance-4404971-1569003589.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 05a37308653f1418d8a9d31e27700b02
RANDOM SEED=1644665672

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        18423676 kB
MemAvailable:   31827152 kB
Buffers:           95044 kB
Cached:         13233176 kB
SwapCached:        22652 kB
Active:          6646704 kB
Inactive:        6708348 kB
Active(anon):       3152 kB
Inactive(anon):    73004 kB
Active(file):    6643552 kB
Inactive(file):  6635344 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986244 kB
Dirty:             26248 kB
Writeback:             4 kB
AnonPages:        115312 kB
Mapped:            52196 kB
Shmem:             40708 kB
Slab:             583216 kB
SReclaimable:     553040 kB
SUnreclaim:        30176 kB
KernelStack:        3408 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9804 MiB
End job on node104 at 2019-09-20 19:10:47