Trace number 4246298

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
R1: OscaR - ALNS 2017-06-30SAT (TO)2389 2400.1 2303.34

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n48-k7.xml
MD5SUM45202abbf2fd4260704b0005edccc47f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1130
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2352
Number of constraints2303
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}]
Minimum variable degree0
Maximum variable degree93
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}]
Minimum constraint arity1
Maximum constraint arity47
Distribution of constraint arities[{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}]
Number of extensional constraints0
Number of intensional constraints47
Distribution of constraint types[{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

0.26/0.29	c version: 2017-06-30
0.26/0.29	c seed: 1735761402
0.26/0.29	c timeout: 2400
0.26/0.29	c memlimit: 15500
0.26/0.29	c nbcore: 8
0.44/0.32	c Parsing instance...
3.85/1.32	c Parsing done, starting search...
4.23/1.40	o 3170
38.02/30.91	o 3129
51.54/44.19	o 3019
183.80/175.05	o 2878
256.64/246.70	o 2869
422.14/406.79	o 2559
955.00/919.33	o 2533
1063.29/1022.32	o 2521
1148.27/1102.89	o 2510
1170.62/1124.11	o 2477
1373.16/1317.27	o 2474
1428.20/1369.54	o 2389
2400.03/2303.30	s SATISFIABLE
2400.03/2303.31	v <instantiation>
2400.03/2303.31	v 	<list>
2400.03/2303.31	v 		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[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[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[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[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47]
2400.03/2303.31	v 	</list>
2400.03/2303.31	v 	<values>
2400.03/2303.31	v 		0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 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 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 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 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 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 1 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 34 74 78 13 100 100 52 100 76 100 22 100 56 56 56 31 15 41 60 82 44 53 27 100 75 68 37 100 36 66 73 59 47 50 71 78 75 45 92 58 45 49 18 48 91 31 47 
2400.03/2303.31	v 	</values>
2400.03/2303.31	v </instantiation>

Verifier Data

OK	2389

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246298-1500708303/watcher-4246298-1500708303 -o /tmp/evaluation-result-4246298-1500708303/solver-4246298-1500708303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500682578-15630 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1735761402 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246298-1500708303.xml 

pid=18649
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.75 1.50 1.48 4/261 18652
/proc/meminfo: memFree=28479056/32770624 swapFree=5952/263564
[pid=18652] ppid=18649 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 2135 0 0 0 0 0 0 0 20 0 2 0 6099299 10889764864 2366 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 2658634 2366 1188 1 0 2647545 0
[pid=18652/tid=18653] ppid=18649 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 902 0 0 0 0 0 0 0 20 0 2 0 6099300 10889764864 2432 33554432000 4194304 4196468 140728335136848 140491650029984 140491626897480 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0

[startup+0.100098 s]
/proc/loadavg: 1.75 1.50 1.48 4/261 18652
/proc/meminfo: memFree=28479056/32770624 swapFree=5952/263564
[pid=18652] ppid=18649 vsize=13261040 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 6006 0 0 0 9 1 0 0 20 0 20 0 6099299 13579304960 5782 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3315260 5782 2614 1 0 3303698 0
[pid=18652/tid=18653] ppid=18649 vsize=13261040 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 4076 0 0 0 7 1 0 0 20 0 20 0 6099300 13579304960 5782 33554432000 4194304 4196468 140728335136848 140491650025904 140491645809821 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13261040

[startup+0.200414 s]
/proc/loadavg: 1.75 1.50 1.48 4/261 18652
/proc/meminfo: memFree=28479056/32770624 swapFree=5952/263564
[pid=18652] ppid=18649 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 9186 0 0 0 24 2 0 0 20 0 20 0 6099299 13582245888 9124 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3315978 9124 3539 1 0 3303698 0
[pid=18652/tid=18653] ppid=18649 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 6884 0 0 0 17 1 0 0 20 0 20 0 6099300 13582245888 9124 33554432000 4194304 4196468 140728335136848 140491649996016 140491631156039 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300331 s]
/proc/loadavg: 1.75 1.50 1.48 4/261 18652
/proc/meminfo: memFree=28479056/32770624 swapFree=5952/263564
[pid=18652] ppid=18649 vsize=13263912 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 10212 0 0 0 41 3 0 0 20 0 20 0 6099299 13582245888 11497 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3315978 11497 3663 1 0 3303698 0
[pid=18652/tid=18653] ppid=18649 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 7571 0 0 0 26 2 0 0 20 0 20 0 6099300 13582245888 11497 33554432000 4194304 4196468 140728335136848 140491650009600 140491629868382 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912

[startup+0.700248 s]
/proc/loadavg: 1.75 1.50 1.48 4/261 18652
/proc/meminfo: memFree=28479056/32770624 swapFree=5952/263564
[pid=18652] ppid=18649 vsize=13265980 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 14337 0 0 0 150 5 0 0 20 0 20 0 6099299 13584363520 22654 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3316495 22654 3772 1 0 3304210 0
[pid=18652/tid=18653] ppid=18649 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 8480 0 0 0 64 3 0 0 20 0 20 0 6099300 13584363520 22654 33554432000 4194304 4196468 140728335136848 140491650023712 140491285573472 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13265980

[startup+1.50108 s]
/proc/loadavg: 1.75 1.50 1.48 9/281 18672
/proc/meminfo: memFree=28374008/32770624 swapFree=5952/264592
[pid=18652] ppid=18649 vsize=13270076 CPUtime=4.64 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 27729 0 0 0 456 8 0 0 20 0 20 0 6099299 13588557824 48631 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3317519 48631 3798 1 0 3305234 0
[pid=18652/tid=18653] ppid=18649 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 11641 0 0 0 142 4 0 0 20 0 20 0 6099300 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491649996416 140491645799830 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18654] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18654/stat : 18654 (java) S 18649 18652 15599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491244632720 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18656] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18656/stat : 18656 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491243579920 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18657] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18657/stat : 18657 (java) S 18649 18652 15599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491242527120 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18658] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18658/stat : 18658 (java) S 18649 18652 15599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491241474320 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18659] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18659/stat : 18659 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491240422544 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18660] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18660/stat : 18660 (java) S 18649 18652 15599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491239369744 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18661] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18661/stat : 18661 (java) S 18649 18652 15599 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491238316944 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18662] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18662/stat : 18662 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099301 13588557824 48631 33554432000 4194304 4196468 140728335136848 140491237264144 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18663] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18663/stat : 18663 (java) S 18649 18652 15599 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 6099303 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490907224432 140491645799042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18664] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18664/stat : 18664 (java) S 18649 18652 15599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490906170400 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18665] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18665/stat : 18665 (java) S 18649 18652 15599 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490905117552 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18666] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18666/stat : 18666 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490904065872 140491645806491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18667] ppid=18649 vsize=13270076 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18667/stat : 18667 (java) R 18649 18652 15599 0 -1 4202560 3749 0 0 0 82 0 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490903014272 140491627310810 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18668] ppid=18649 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18668/stat : 18668 (java) R 18649 18652 15599 0 -1 4202560 3079 0 0 0 73 0 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490901961456 140491625026304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18669] ppid=18649 vsize=13270076 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18669/stat : 18669 (java) S 18649 18652 15599 0 -1 1077944384 2933 0 0 0 78 1 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490900908656 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18670] ppid=18649 vsize=13270076 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18670/stat : 18670 (java) S 18649 18652 15599 0 -1 1077944384 4912 0 0 0 78 0 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490899855856 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18671] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18671/stat : 18671 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490898803296 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18672] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18672/stat : 18672 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 48631 33554432000 4194304 4196468 140728335136848 140490897750576 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 13270076

[startup+3.10087 s]
/proc/loadavg: 1.75 1.50 1.48 3/281 18672
/proc/meminfo: memFree=28252228/32770624 swapFree=5952/264212
[pid=18652] ppid=18649 vsize=13270076 CPUtime=7.69 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 33078 0 0 0 727 42 0 0 20 0 20 0 6099299 13588557824 71211 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3317519 71211 3824 1 0 3305234 0
[pid=18652/tid=18653] ppid=18649 vsize=13270076 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 12578 0 0 0 293 5 0 0 20 0 20 0 6099300 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491650023128 140491291778552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18654] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18654/stat : 18654 (java) S 18649 18652 15599 0 -1 1077944384 62 0 0 0 3 4 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491244632720 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18656] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18656/stat : 18656 (java) S 18649 18652 15599 0 -1 1077944384 106 0 0 0 4 3 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491243579920 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18657] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18657/stat : 18657 (java) S 18649 18652 15599 0 -1 1077944384 229 0 0 0 3 4 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491242527120 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18658] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18658/stat : 18658 (java) S 18649 18652 15599 0 -1 1077944384 59 0 0 0 3 4 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491241474320 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18659] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18659/stat : 18659 (java) S 18649 18652 15599 0 -1 1077944384 67 0 0 0 3 4 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491240422544 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18660] ppid=18649 vsize=13270076 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18660/stat : 18660 (java) S 18649 18652 15599 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491239369744 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18661] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18661/stat : 18661 (java) S 18649 18652 15599 0 -1 1077944384 72 0 0 0 3 4 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491238316944 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18662] ppid=18649 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18662/stat : 18662 (java) S 18649 18652 15599 0 -1 1077944384 921 0 0 0 4 3 0 0 20 0 20 0 6099301 13588557824 71211 33554432000 4194304 4196468 140728335136848 140491237264144 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18663] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18663/stat : 18663 (java) S 18649 18652 15599 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 6099303 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490907224432 140491645799042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18664] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18664/stat : 18664 (java) S 18649 18652 15599 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490906170464 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18665] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18665/stat : 18665 (java) S 18649 18652 15599 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490905117568 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18666] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18666/stat : 18666 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490904065872 140491645806491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18667] ppid=18649 vsize=13270076 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18667/stat : 18667 (java) S 18649 18652 15599 0 -1 1077944384 3883 0 0 0 102 0 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490903014256 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18668] ppid=18649 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18668/stat : 18668 (java) S 18649 18652 15599 0 -1 1077944384 3461 0 0 0 96 0 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490901961456 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18669] ppid=18649 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18669/stat : 18669 (java) S 18649 18652 15599 0 -1 1077944384 4186 0 0 0 115 1 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490900908656 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18670] ppid=18649 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18670/stat : 18670 (java) S 18649 18652 15599 0 -1 1077944384 5630 0 0 0 89 1 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490899855856 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18671] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18671/stat : 18671 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490898803296 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18672] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18672/stat : 18672 (java) S 18649 18652 15599 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 71211 33554432000 4194304 4196468 140728335136848 140490897750576 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 13270076

[startup+6.3008 s]
/proc/loadavg: 1.85 1.52 1.49 4/281 18672
/proc/meminfo: memFree=28067912/32770624 swapFree=5952/264232
[pid=18652] ppid=18649 vsize=13270076 CPUtime=11.87 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 34284 0 0 0 1114 73 0 0 20 0 20 0 6099299 13588557824 167789 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3317519 167789 3830 1 0 3305234 0
[pid=18652/tid=18653] ppid=18649 vsize=13270076 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) S 18649 18652 15599 0 -1 1077944384 12882 0 0 0 598 11 0 0 20 0 20 0 6099300 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491650025552 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18654] ppid=18649 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18654/stat : 18654 (java) R 18649 18652 15599 0 -1 4202560 92 0 0 0 8 6 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491244632608 140491630815778 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18656] ppid=18649 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18656/stat : 18656 (java) R 18649 18652 15599 0 -1 4202560 130 0 0 0 7 5 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491243580120 140491630810016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18657] ppid=18649 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18657/stat : 18657 (java) R 18649 18652 15599 0 -1 4202560 255 0 0 0 7 7 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491242527320 140491638884596 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18658] ppid=18649 vsize=13270076 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18658/stat : 18658 (java) R 18649 18652 15599 0 -1 4202560 125 0 0 0 7 8 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491241474320 140491630815778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18659] ppid=18649 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18659/stat : 18659 (java) R 18649 18652 15599 0 -1 4202560 97 0 0 0 7 7 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491240422744 140491638887595 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18660] ppid=18649 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18660/stat : 18660 (java) R 18649 18652 15599 0 -1 4202560 109 0 0 0 7 7 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491239369944 140491627413680 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18661] ppid=18649 vsize=13270076 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18661/stat : 18661 (java) R 18649 18652 15599 0 -1 4202560 133 0 0 0 7 7 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491238317144 140491638887595 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18662] ppid=18649 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18662/stat : 18662 (java) R 18649 18652 15599 0 -1 4202560 943 0 0 0 7 6 0 0 20 0 20 0 6099301 13588557824 167789 33554432000 4194304 4196468 140728335136848 140491237264344 140491638884368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18663] ppid=18649 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18663/stat : 18663 (java) S 18649 18652 15599 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 6099303 13588557824 167789 33554432000 4194304 4196468 140728335136848 140490907222944 140491645798101 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18664] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18664/stat : 18664 (java) S 18649 18652 15599 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 167789 33554432000 4194304 4196468 140728335136848 140490906170464 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18665] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18665/stat : 18665 (java) S 18649 18652 15599 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 167789 33554432000 4194304 4196468 140728335136848 140490905117568 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18666] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=18652/tid=18668] ppid=18649 vsize=13270076 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18668/stat : 18668 (java) S 18649 18652 15599 0 -1 1077944384 25729 0 0 0 185 2 0 0 20 0 20 0 6099308 13588557824 364612 33554432000 4194304 4196468 140728335136848 140490901961456 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18669] ppid=18649 vsize=13270076 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18669/stat : 18669 (java) S 18649 18652 15599 0 -1 1077944384 23712 0 0 0 201 3 0 0 20 0 20 0 6099308 13588557824 364612 33554432000 4194304 4196468 140728335136848 140490900908656 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18670] ppid=18649 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18670/stat : 18670 (java) S 18649 18652 15599 0 -1 1077944384 40108 0 0 0 118 4 0 0 20 0 20 0 6099308 13588557824 364612 33554432000 4194304 4196468 140728335136848 140490899855856 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18671] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18671/stat : 18671 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 364612 33554432000 4194304 4196468 140728335136848 140490898803296 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18672] ppid=18649 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18672/stat : 18672 (java) S 18649 18652 15599 0 -1 1077944384 1642 0 0 0 55 55 0 0 20 0 20 0 6099308 13588557824 364612 33554432000 4194304 4196468 140728335136848 140490897750576 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 49 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 2294.54
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.60 1.64 1.58 3/282 18851
/proc/meminfo: memFree=30133808/32770624 swapFree=5952/266644
[pid=18652] ppid=18649 vsize=13270076 CPUtime=2357.21 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 424864 0 0 0 235197 524 0 0 20 0 20 0 6099299 13588557824 363985 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3317519 363985 3860 1 0 3305234 0
[pid=18652/tid=18653] ppid=18649 vsize=13270076 CPUtime=2245.25 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 126499 0 0 0 224459 66 0 0 20 0 20 0 6099300 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491650025616 140491291912165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18654] ppid=18649 vsize=13270076 CPUtime=12.87 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18654/stat : 18654 (java) S 18649 18652 15599 0 -1 1077944384 13596 0 0 0 1242 45 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491244632720 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18656] ppid=18649 vsize=13270076 CPUtime=12.62 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18656/stat : 18656 (java) S 18649 18652 15599 0 -1 1077944384 17339 0 0 0 1218 44 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491243579920 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18657] ppid=18649 vsize=13270076 CPUtime=12.78 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18657/stat : 18657 (java) S 18649 18652 15599 0 -1 1077944384 17278 0 0 0 1230 48 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491242527120 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18658] ppid=18649 vsize=13270076 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18658/stat : 18658 (java) S 18649 18652 15599 0 -1 1077944384 15431 0 0 0 1220 48 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491241474320 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18659] ppid=18649 vsize=13270076 CPUtime=12.84 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18659/stat : 18659 (java) S 18649 18652 15599 0 -1 1077944384 18006 0 0 0 1236 48 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491240422544 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18660] ppid=18649 vsize=13270076 CPUtime=12.72 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18660/stat : 18660 (java) S 18649 18652 15599 0 -1 1077944384 17031 0 0 0 1227 45 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491239369744 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18661] ppid=18649 vsize=13270076 CPUtime=12.87 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18661/stat : 18661 (java) S 18649 18652 15599 0 -1 1077944384 17034 0 0 0 1240 47 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491238316944 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18662] ppid=18649 vsize=13270076 CPUtime=12.85 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18662/stat : 18662 (java) S 18649 18652 15599 0 -1 1077944384 16806 0 0 0 1236 49 0 0 20 0 20 0 6099301 13588557824 363985 33554432000 4194304 4196468 140728335136848 140491237264144 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18663] ppid=18649 vsize=13270076 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18663/stat : 18663 (java) S 18649 18652 15599 0 -1 1077944384 54545 0 0 0 125 32 0 0 20 0 20 0 6099303 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490907224432 140491645799042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18664] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18664/stat : 18664 (java) S 18649 18652 15599 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490906170464 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18665] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18665/stat : 18665 (java) S 18649 18652 15599 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490905117568 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18666] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18666/stat : 18666 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490904065872 140491645806491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18667] ppid=18649 vsize=13270076 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18667/stat : 18667 (java) S 18649 18652 15599 0 -1 1077944384 16380 0 0 0 168 2 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490903014256 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18668] ppid=18649 vsize=13270076 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18668/stat : 18668 (java) S 18649 18652 15599 0 -1 1077944384 27725 0 0 0 188 3 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490901961456 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18669] ppid=18649 vsize=13270076 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18669/stat : 18669 (java) S 18649 18652 15599 0 -1 1077944384 23714 0 0 0 201 3 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490900908656 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18670] ppid=18649 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18670/stat : 18670 (java) S 18649 18652 15599 0 -1 1077944384 40284 0 0 0 118 4 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490899855856 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18671] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18671/stat : 18671 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490898803296 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18672] ppid=18649 vsize=13270076 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18672/stat : 18672 (java) S 18649 18652 15599 0 -1 1077944384 1679 0 0 0 57 57 0 0 20 0 20 0 6099308 13588557824 363985 33554432000 4194304 4196468 140728335136848 140490897750576 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 49 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 2357.21
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2303.3 s]
/proc/loadavg: 1.55 1.62 1.58 3/282 18851
/proc/meminfo: memFree=30138604/32770624 swapFree=5952/266676
[pid=18652] ppid=18649 vsize=13270076 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 430076 0 0 0 239459 544 0 0 20 0 20 0 6099299 13588557824 364732 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3317519 364732 3860 1 0 3305234 0
[pid=18652/tid=18653] ppid=18649 vsize=13270076 CPUtime=2285.9 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 128000 0 0 0 228524 66 0 0 20 0 20 0 6099300 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491650025616 140491291827637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18654] ppid=18649 vsize=13270076 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18654/stat : 18654 (java) S 18649 18652 15599 0 -1 1077944384 13807 0 0 0 1266 47 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491244632720 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18656] ppid=18649 vsize=13270076 CPUtime=12.89 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18656/stat : 18656 (java) S 18649 18652 15599 0 -1 1077944384 17591 0 0 0 1243 46 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491243579920 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18657] ppid=18649 vsize=13270076 CPUtime=13.04 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18657/stat : 18657 (java) S 18649 18652 15599 0 -1 1077944384 17447 0 0 0 1254 50 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491242527120 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18658] ppid=18649 vsize=13270076 CPUtime=12.95 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18658/stat : 18658 (java) S 18649 18652 15599 0 -1 1077944384 16159 0 0 0 1244 51 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491241474320 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18659] ppid=18649 vsize=13270076 CPUtime=13.1 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18659/stat : 18659 (java) S 18649 18652 15599 0 -1 1077944384 18326 0 0 0 1260 50 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491240422544 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18660] ppid=18649 vsize=13270076 CPUtime=13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18660/stat : 18660 (java) S 18649 18652 15599 0 -1 1077944384 17374 0 0 0 1252 48 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491239369744 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18661] ppid=18649 vsize=13270076 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18661/stat : 18661 (java) S 18649 18652 15599 0 -1 1077944384 17202 0 0 0 1263 50 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491238316944 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18662] ppid=18649 vsize=13270076 CPUtime=13.11 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18662/stat : 18662 (java) S 18649 18652 15599 0 -1 1077944384 17139 0 0 0 1260 51 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491237264144 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18663] ppid=18649 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18663/stat : 18663 (java) S 18649 18652 15599 0 -1 1077944384 54802 0 0 0 127 32 0 0 20 0 20 0 6099303 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490907224432 140491645799042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18664] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18664/stat : 18664 (java) S 18649 18652 15599 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490906170464 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18665] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18665/stat : 18665 (java) S 18649 18652 15599 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490905117568 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18666] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18666/stat : 18666 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490904065872 140491645806491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18667] ppid=18649 vsize=13270076 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18667/stat : 18667 (java) S 18649 18652 15599 0 -1 1077944384 16390 0 0 0 168 2 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490903014256 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18668] ppid=18649 vsize=13270076 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18668/stat : 18668 (java) S 18649 18652 15599 0 -1 1077944384 27728 0 0 0 188 3 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490901961456 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18669] ppid=18649 vsize=13270076 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18669/stat : 18669 (java) S 18649 18652 15599 0 -1 1077944384 23717 0 0 0 201 3 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490900908656 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18670] ppid=18649 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18670/stat : 18670 (java) S 18649 18652 15599 0 -1 1077944384 41166 0 0 0 118 4 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490899855856 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18671] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18671/stat : 18671 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490898803296 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18672] ppid=18649 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18672/stat : 18672 (java) S 18649 18652 15599 0 -1 1077944384 1711 0 0 0 59 57 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490897750576 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18652 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2303.3 s]
/proc/loadavg: 1.55 1.62 1.58 3/282 18851
/proc/meminfo: memFree=30138604/32770624 swapFree=5952/266676
[pid=18652] ppid=18649 vsize=13270076 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/18652/stat : 18652 (java) S 18649 18652 15599 0 -1 1077944320 430076 0 0 0 239459 544 0 0 20 0 20 0 6099299 13588557824 364732 33554432000 4194304 4196468 140728335136848 140728335119392 140491645787895 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
/proc/18652/statm: 3317519 364732 3860 1 0 3305234 0
[pid=18652/tid=18653] ppid=18649 vsize=13270076 CPUtime=2285.9 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18653/stat : 18653 (java) R 18649 18652 15599 0 -1 4202560 128000 0 0 0 228524 66 0 0 20 0 20 0 6099300 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491650025616 140491291827637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18654] ppid=18649 vsize=13270076 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18654/stat : 18654 (java) S 18649 18652 15599 0 -1 1077944384 13807 0 0 0 1266 47 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491244632720 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18656] ppid=18649 vsize=13270076 CPUtime=12.89 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18656/stat : 18656 (java) S 18649 18652 15599 0 -1 1077944384 17591 0 0 0 1243 46 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491243579920 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18657] ppid=18649 vsize=13270076 CPUtime=13.04 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18657/stat : 18657 (java) S 18649 18652 15599 0 -1 1077944384 17447 0 0 0 1254 50 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491242527120 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18658] ppid=18649 vsize=13270076 CPUtime=12.95 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18658/stat : 18658 (java) S 18649 18652 15599 0 -1 1077944384 16159 0 0 0 1244 51 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491241474320 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18659] ppid=18649 vsize=13270076 CPUtime=13.1 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18659/stat : 18659 (java) S 18649 18652 15599 0 -1 1077944384 18326 0 0 0 1260 50 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491240422544 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18660] ppid=18649 vsize=13270076 CPUtime=13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18660/stat : 18660 (java) S 18649 18652 15599 0 -1 1077944384 17374 0 0 0 1252 48 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491239369744 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18661] ppid=18649 vsize=13270076 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18661/stat : 18661 (java) S 18649 18652 15599 0 -1 1077944384 17202 0 0 0 1263 50 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491238316944 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18662] ppid=18649 vsize=13270076 CPUtime=13.11 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18662/stat : 18662 (java) S 18649 18652 15599 0 -1 1077944384 17139 0 0 0 1260 51 0 0 20 0 20 0 6099301 13588557824 364732 33554432000 4194304 4196468 140728335136848 140491237264144 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18663] ppid=18649 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18663/stat : 18663 (java) S 18649 18652 15599 0 -1 1077944384 54802 0 0 0 127 32 0 0 20 0 20 0 6099303 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490907224432 140491645799042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18664] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18664/stat : 18664 (java) S 18649 18652 15599 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490906170464 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18665] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18665/stat : 18665 (java) S 18649 18652 15599 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 20 0 6099304 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490905117568 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18666] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18666/stat : 18666 (java) S 18649 18652 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490904065872 140491645806491 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18667] ppid=18649 vsize=13270076 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18667/stat : 18667 (java) S 18649 18652 15599 0 -1 1077944384 16390 0 0 0 168 2 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490903014256 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18668] ppid=18649 vsize=13270076 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18668/stat : 18668 (java) S 18649 18652 15599 0 -1 1077944384 27728 0 0 0 188 3 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490901961456 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18669] ppid=18649 vsize=13270076 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18669/stat : 18669 (java) S 18649 18652 15599 0 -1 1077944384 23717 0 0 0 201 3 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490900908656 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18670] ppid=18649 vsize=13270076 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18670/stat : 18670 (java) S 18649 18652 15599 0 -1 1077944384 41166 0 0 0 118 4 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490899855856 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18671] ppid=18649 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18671/stat : 18671 (java) S 18649 18652 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490898803296 140491645798101 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
[pid=18652/tid=18672] ppid=18649 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/18652/task/18672/stat : 18672 (java) S 18649 18652 15599 0 -1 1077944384 1711 0 0 0 59 57 0 0 20 0 20 0 6099308 13588557824 364732 33554432000 4194304 4196468 140728335136848 140490897750576 140491645799042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 24813568 140728335144079 140728335144260 140728335144260 140728335146959 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2303.34
CPU time (s): 2400.1
CPU user time (s): 2394.64
CPU system time (s): 5.46141
CPU usage (%): 104.201
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.64
system time used= 5.46141
maximum resident set size= 3493712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106698
involuntary context switches= 132890

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0965 second user time and 19.1605 second system time

The end

Launcher Data

Begin job on node113 at 2017-07-22 09:25:03
IDJOB=4246298
IDBENCH=124397
IDSOLVER=2627
FILE ID=node113/4246298-1500708303
RUNJOBID= node113-1500682578-15630
PBS_JOBID= 20623330
Free space on /tmp= 61976 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246298-1500708303/watcher-4246298-1500708303 -o /tmp/evaluation-result-4246298-1500708303/solver-4246298-1500708303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500682578-15630 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1735761402 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246298-1500708303.xml

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

MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f
RANDOM SEED=1735761402

node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28479476 kB
MemAvailable:   28752636 kB
Buffers:          121536 kB
Cached:           433232 kB
SwapCached:            0 kB
Active:          3575188 kB
Inactive:         272160 kB
Active(anon):    3296676 kB
Inactive(anon):     8596 kB
Active(file):     278512 kB
Inactive(file):   263564 kB
Unevictable:        5952 kB
Mlocked:            5952 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42316 kB
Writeback:             8 kB
AnonPages:       3301664 kB
Mapped:            45564 kB
Shmem:              8848 kB
Slab:             127504 kB
SReclaimable:      93840 kB
SUnreclaim:        33664 kB
KernelStack:        4512 kB
PageTables:        11616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4221304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3164160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      148864 kB
DirectMap2M:    33396736 kB

Free space on /tmp at the end= 61936 MiB
End job on node113 at 2017-07-22 10:03:27