Trace number 4297515

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)50633 19392.9 2520.18

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko81_c18.xml
MD5SUM7967f0a5d6026ea184db99fec624e08d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark50633
Best CPU time to get the best result obtained on this benchmark19392.9
Satisfiable
(Un)Satisfiability was proved
Number of variables6642
Number of constraints3241
Number of domains2
Minimum domain size8
Maximum domain size81
Distribution of domain sizes[{"size":8,"count":3240},{"size":81,"count":81}]
Minimum variable degree0
Maximum variable degree81
Distribution of variable degrees[{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}]
Minimum constraint arity3
Maximum constraint arity81
Distribution of constraint arities[{"arity":3,"count":3240},{"arity":81,"count":1}]
Number of extensional constraints3240
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3240},{"type":"allDifferent","count":1}]
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.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297515-1532712292.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297515-1532712292.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
426.09/123.12	c solve instance...
478.41/130.20	o 54281 
481.70/131.08	o 54246 
481.95/131.16	o 54186 
489.44/137.55	o 54144 
489.44/137.59	o 54134 
489.63/137.68	o 54121 
489.92/137.76	o 54111 
491.14/137.96	o 54093 
491.46/138.04	o 54086 
491.80/138.12	o 54076 
492.44/138.22	o 53796 
502.64/139.59	o 53790 
556.25/147.24	o 53789 
636.09/157.34	o 52941 
10787.62/1431.52	o 52939 
10978.36/1456.00	o 52886 
11010.67/1465.25	o 52884 
14441.95/1896.19	o 52869 
15942.20/2086.61	o 50947 
15942.54/2086.72	o 50911 
15943.13/2086.88	o 50878 
15943.35/2086.99	o 50796 
15945.07/2087.29	o 50745 
15945.56/2087.34	o 50744 
15947.65/2087.63	o 50705 
15950.78/2088.11	o 50685 
15956.67/2089.12	o 50657 
16872.47/2204.02	o 50654 
16873.84/2204.23	o 50647 
16875.97/2204.54	o 50633 
19392.00/2520.09	s SATISFIABLE
19392.00/2520.09	v <instantiation>
19392.00/2520.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][77] d[76][78] d[76][79] d[76][80] d[77][78] d[77][79] d[77][80] d[78][79] d[78][80] d[79][80] </list>
19392.00/2520.09	v 	<values>56 0 67 65 72 26 1 32 2 36 14 22 75 73 11 15 66 25 55 7 9 45 16 31 12 33 68 49 38 41 71 44 78 17 3 80 8 53 51 59 74 70 29 24 64 47 6 18 63 37 30 13 39 50 52 42 61 27 21 58 19 60 10 48 40 69 28 54 79 57 34 77 35 43 23 76 46 62 4 20 5 2 10 5 2 4 0 0 0 5 5 2 10 2 5 1 0 5 2 0 2 2 5 0 0 0 1 0 2 2 5 0 0 2 0 0 1 0 2 2 0 1 0 0 1 10 5 0 5 0 2 0 0 0 0 1 10 1 5 1 4 1 5 1 10 10 2 0 0 4 2 5 2 4 2 5 2 2 1 2 0 0 0 10 2 0 1 5 0 2 5 3 2 1 10 0 0 2 10 0 1 10 10 2 2 0 10 2 5 1 10 1 1 0 5 2 2 0 2 10 6 0 4 1 4 10 2 1 1 0 1 2 5 5 10 10 0 5 5 5 2 6 2 1 5 4 2 1 5 5 2 10 5 2 4 0 0 10 0 0 5 5 10 5 0 0 0 1 0 0 0 0 3 2 0 3 2 0 5 5 10 10 5 2 6 0 3 3 10 1 1 0 0 2 0 4 10 5 3 2 5 2 0 5 0 6 0 10 1 0 5 0 10 5 0 0 4 0 2 0 2 2 2 0 0 1 2 3 5 5 5 3 2 0 1 0 2 0 0 2 5 5 10 2 2 4 0 10 5 0 1 2 10 0 2 4 10 2 0 0 2 2 0 0 5 5 0 1 1 4 4 4 0 0 0 0 2 1 2 5 2 2 1 0 0 0 5 2 0 0 0 0 5 6 1 2 4 2 5 5 0 5 0 0 0 0 4 5 0 0 0 6 1 2 1 2 3 10 2 5 6 0 0 0 0 2 2 5 1 4 10 3 0 5 5 2 5 0 0 4 5 1 4 2 0 1 1 5 0 0 10 3 5 4 3 4 5 5 2 3 5 2 3 4 5 5 10 2 5 6 1 5 1 0 0 0 2 2 10 5 2 5 5 0 5 2 1 2 3 0 5 5 4 5 1 0 4 1 6 1 0 1 1 2 1 5 5 2 0 5 0 2 1 1 0 3 10 0 10 3 0 10 5 0 5 1 2 2 1 0 2 5 5 0 1 1 0 0 10 1 1 10 0 0 5 5 0 0 1 2 2 10 5 5 10 2 5 1 0 2 0 0 5 1 4 1 10 5 2 10 0 0 0 5 4 5 10 0 0 0 10 0 2 2 0 5 0 0 0 2 5 5 5 1 0 5 3 0 0 2 5 5 5 0 0 5 1 5 1 2 5 3 0 5 0 0 5 0 5 5 1 5 0 0 5 0 5 5 0 5 0 5 10 0 2 4 0 10 0 0 5 5 5 2 2 2 10 0 5 2 1 0 0 2 5 4 10 5 1 6 0 3 0 0 5 5 5 0 0 2 0 5 1 2 5 5 10 10 1 5 1 10 1 0 2 5 0 3 2 2 1 1 2 0 6 5 10 0 0 0 0 0 2 5 1 2 0 0 0 2 0 5 0 0 1 2 0 6 0 3 0 6 10 0 0 1 0 5 6 1 5 2 1 0 4 0 3 0 5 1 2 0 0 2 5 0 1 5 3 5 2 5 0 1 5 1 5 4 1 1 2 2 1 0 1 5 2 5 6 5 2 1 2 0 0 2 1 0 0 1 5 0 6 10 5 2 10 10 0 3 5 2 0 10 5 10 4 4 10 1 10 5 1 4 0 2 1 1 10 5 0 1 2 5 10 5 2 6 3 1 5 2 0 0 1 1 1 0 10 0 5 10 4 3 5 5 1 0 5 6 5 5 1 3 10 0 2 5 5 0 1 2 10 0 1 2 10 2 5 1 5 0 0 4 2 0 0 10 10 1 5 4 2 10 5 0 1 0 5 0 3 0 5 4 0 5 2 0 0 0 5 2 10 5 0 0 5 1 0 0 5 3 5 3 0 1 5 1 5 4 5 2 5 0 0 5 0 6 3 5 0 1 0 0 10 1 2 5 3 1 10 0 0 2 0 2 2 2 0 0 10 1 5 10 5 5 2 0 5 2 2 0 2 10 2 2 0 5 4 0 0 10 0 0 0 1 2 1 0 0 5 0 5 0 5 0 2 5 5 5 0 2 5 0 5 0 0 0 2 5 3 0 0 0 2 0 0 10 0 0 0 1 0 0 5 1 5 10 2 0 4 1 3 0 2 2 5 0 2 0 5 10 5 2 4 1 0 10 2 0 10 2 1 2 2 5 2 0 5 6 0 5 4 0 0 0 5 0 2 2 0 1 3 0 6 2 0 10 2 0 2 2 0 10 0 0 5 5 5 0 1 2 10 0 2 2 1 5 0 1 10 5 0 0 2 0 0 0 0 2 2 4 5 2 0 0 10 1 0 2 5 0 5 0 0 5 0 0 0 5 3 0 2 2 0 2 2 5 0 0 5 1 5 1 3 1 1 2 2 1 0 0 5 2 1 0 10 0 5 2 0 4 0 0 2 5 5 10 1 5 2 0 5 0 5 0 6 1 1 0 2 0 4 5 3 3 5 5 10 0 4 2 5 0 0 2 4 1 1 1 5 5 2 6 1 5 2 0 10 1 2 2 10 2 5 2 2 2 5 5 0 10 0 0 2 5 2 1 0 1 0 2 10 5 0 0 0 5 0 2 1 0 0 0 1 0 2 0 5 3 1 3 0 0 3 1 0 1 0 4 10 5 2 5 0 5 0 2 1 1 2 2 10 10 3 1 5 2 5 1 5 1 6 0 1 0 0 3 5 5 5 2 2 0 0 1 2 2 3 10 5 5 0 0 5 0 2 2 5 0 0 0 1 0 2 2 3 2 5 0 2 0 0 0 3 1 0 0 2 2 0 5 5 10 4 2 5 0 4 1 0 4 0 5 5 2 1 0 0 2 6 0 10 0 2 5 5 0 1 5 5 5 10 5 10 0 1 2 1 0 10 5 2 0 5 5 0 5 2 0 10 0 0 0 0 5 5 10 0 4 1 2 5 0 1 1 1 1 2 5 2 1 2 2 2 3 4 2 0 2 10 3 0 1 1 5 2 0 10 5 0 0 5 5 0 0 0 10 0 4 2 1 0 0 10 5 1 4 2 10 2 2 5 3 1 0 0 6 2 1 5 1 3 5 0 0 4 3 2 0 0 0 2 5 4 0 5 0 1 5 5 5 2 10 0 1 0 0 1 1 10 2 0 2 0 2 10 2 2 5 5 0 0 2 2 0 0 3 2 2 0 4 0 5 0 2 0 2 0 0 2 2 2 0 0 5 1 0 0 2 0 2 1 6 2 0 0 2 2 2 0 2 2 2 0 0 0 0 10 1 3 5 0 5 5 5 0 5 5 3 5 10 1 5 1 0 0 10 0 0 2 5 5 0 10 5 1 10 0 1 5 0 5 10 5 0 0 1 4 2 5 0 1 5 5 0 10 5 0 0 2 5 5 10 0 1 0 4 1 10 0 0 0 0 3 2 2 10 5 1 0 5 5 0 0 2 5 10 2 0 0 5 10 5 3 1 10 0 0 1 0 10 2 0 2 10 3 0 1 0 1 0 1 0 0 0 0 1 2 0 3 3 0 10 10 1 10 1 10 0 0 0 6 6 0 5 10 0 5 0 5 3 10 2 5 1 5 0 2 1 0 2 0 5 2 0 2 0 1 4 3 0 5 4 2 1 0 2 0 3 4 2 1 1 0 5 4 10 10 2 0 0 5 5 2 0 4 1 3 10 2 0 5 0 10 1 5 4 0 0 2 2 0 3 0 2 0 0 0 0 0 0 1 5 1 5 6 6 2 0 0 0 1 5 2 0 0 2 10 2 0 4 4 3 0 2 3 1 5 5 1 5 3 5 4 4 0 3 10 3 5 5 0 3 2 0 1 0 10 2 4 0 0 0 10 2 10 0 1 5 2 10 3 1 10 0 0 2 0 10 1 0 2 2 1 5 2 5 5 10 0 5 0 0 5 2 0 2 10 2 1 5 5 1 4 5 0 2 6 10 0 0 0 0 0 2 2 5 5 2 0 0 0 1 0 0 2 5 2 0 10 10 1 3 1 0 0 0 3 0 1 0 5 2 5 2 0 0 0 0 5 0 0 6 0 0 0 2 0 1 0 10 2 5 0 6 1 0 0 0 10 2 10 0 2 4 0 0 0 0 5 5 4 0 0 0 1 0 5 2 2 2 0 5 10 3 6 2 10 2 0 2 0 5 2 5 1 5 10 5 2 1 4 0 5 5 2 10 4 4 3 0 0 0 0 5 1 1 4 0 0 0 4 2 1 2 5 0 3 0 0 5 0 2 1 1 3 4 0 2 5 5 5 5 5 0 3 5 5 5 0 1 0 2 5 0 5 2 0 2 10 0 3 5 1 5 2 3 0 3 1 2 0 0 2 5 5 1 0 10 0 2 2 0 2 10 0 3 2 1 2 2 2 1 5 2 4 10 10 5 0 0 5 10 1 5 2 1 0 5 5 1 0 2 0 4 2 2 0 2 2 2 5 6 2 1 5 4 2 2 5 0 1 0 2 5 5 2 0 4 0 1 0 5 1 0 10 2 5 1 0 5 0 0 1 10 5 1 4 2 3 0 5 0 2 2 2 3 0 2 0 4 10 5 0 2 5 2 0 2 2 5 3 1 5 2 2 0 3 2 2 0 3 5 5 0 1 2 0 0 1 2 10 0 5 1 2 0 3 2 5 5 0 2 4 1 0 5 2 2 10 3 10 0 5 0 0 1 0 5 2 4 0 2 5 10 3 5 1 0 1 0 5 0 3 5 5 0 1 2 1 3 10 5 1 0 5 2 5 2 0 2 2 5 1 10 2 5 0 4 5 0 1 2 0 1 5 2 6 0 5 10 5 0 0 0 1 5 0 1 10 0 2 3 0 1 0 0 1 10 2 0 1 2 0 10 10 5 0 5 2 1 10 1 5 3 0 0 2 10 2 1 0 5 1 0 5 0 5 5 5 2 0 0 2 1 10 4 0 5 2 0 5 0 5 1 5 2 0 2 5 5 2 5 10 0 2 2 0 2 0 4 2 5 0 2 2 5 10 5 4 0 0 2 1 0 1 0 0 5 1 0 3 0 1 10 0 2 0 5 1 0 0 1 2 2 1 0 1 5 5 10 2 5 2 0 1 10 1 0 2 0 1 2 4 5 6 2 5 6 5 5 0 1 2 0 0 0 5 4 10 1 0 0 0 2 1 5 3 10 5 5 3 3 10 10 1 0 1 0 5 0 0 5 0 5 10 10 1 2 0 2 0 0 1 10 0 2 0 0 2 0 5 2 5 0 5 10 1 3 0 5 0 2 2 0 5 1 0 0 4 10 5 6 3 0 5 2 0 1 0 0 1 1 0 0 5 0 1 5 4 5 0 2 2 0 4 0 0 5 0 0 0 0 1 1 1 1 4 2 10 1 0 5 3 10 0 0 0 0 5 6 2 0 4 2 2 0 10 3 1 1 6 3 2 3 5 2 4 5 0 2 0 0 0 0 0 10 5 5 0 0 3 1 3 0 5 1 0 1 5 0 0 2 0 2 1 2 2 0 2 0 0 2 0 0 5 2 0 0 5 10 3 2 2 0 5 5 5 5 0 1 0 2 5 6 5 2 10 10 0 0 0 1 0 0 5 1 5 10 10 1 0 0 0 5 10 1 1 0 0 0 2 2 0 3 0 2 0 2 0 10 1 6 1 0 2 5 5 0 0 10 0 0 6 5 10 5 5 0 1 5 0 2 4 1 1 10 5 2 5 10 0 0 2 1 10 5 2 2 0 0 0 0 0 0 0 1 10 1 2 5 0 10 0 10 5 2 2 5 1 0 0 5 5 1 3 0 0 5 0 0 0 4 0 5 1 0 0 0 1 6 5 5 5 5 0 2 3 0 5 0 4 2 0 0 2 0 5 1 1 10 0 2 0 2 2 5 3 1 1 6 3 4 1 0 0 5 0 2 10 4 10 0 2 5 0 5 1 5 0 5 1 5 0 2 0 2 0 4 2 2 1 2 2 2 5 0 0 3 0 5 3 0 5 0 2 1 2 2 10 2 5 0 0 2 0 10 0 0 1 1 1 5 0 6 5 3 5 10 0 0 0 1 5 5 10 0 10 0 1 1 4 10 2 0 0 0 0 0 2 2 0 5 0 10 4 0 10 5 4 5 5 10 5 0 5 5 1 0 2 5 2 2 5 5 5 6 0 0 5 1 1 0 4 5 0 1 2 3 0 0 0 0 6 5 3 5 1 1 2 5 5 3 5 0 5 0 0 0 2 0 1 0 5 0 0 2 10 5 0 5 2 0 2 10 2 1 2 1 5 0 1 4 2 0 5 2 10 10 5 0 5 6 10 5 5 2 5 1 6 5 2 1 0 1 5 0 1 0 1 5 5 0 5 5 4 0 2 2 5 4 5 2 0 5 2 6 4 0 4 2 0 5 0 5 10 2 5 5 0 2 0 5 10 0 2 2 3 0 0 5 0 3 10 2 5 2 0 0 0 1 3 2 5 0 0 1 3 2 0 10 10 0 2 5 2 2 6 2 5 0 1 1 0 0 5 5 6 5 0 5 2 0 0 1 2 0 10 4 5 5 10 0 0 2 1 2 5 2 2 1 5 10 2 1 2 2 5 2 5 0 6 1 4 1 3 0 6 1 0 1 2 2 0 2 5 2 1 4 6 0 0 2 5 2 2 0 10 10 5 3 1 0 5 10 1 2 2 2 1 2 0 0 10 1 0 5 10 5 0 0 2 5 5 2 1 5 2 5 3 10 0 1 0 5 4 2 10 0 0 10 10 4 0 0 3 5 4 2 2 5 1 5 0 3 2 3 5 10 0 0 2 1 2 1 0 10 5 5 4 0 10 10 0 10 10 0 4 5 5 2 0 2 3 1 2 0 5 1 2 1 5 5 2 0 0 4 10 1 0 10 5 5 10 2 5 2 2 2 2 5 2 5 1 4 1 0 0 5 0 10 0 5 5 5 2 1 0 0 0 2 2 1 1 0 2 1 2 2 0 0 0 5 5 0 0 1 5 3 2 0 5 3 10 5 5 0 1 6 10 4 2 0 0 5 2 5 5 6 0 5 3 3 5 1 5 10 5 10 0 0 1 5 3 3 5 0 1 0 4 1 5 10 1 2 0 0 5 5 10 5 3 5 2 10 5 3 0 2 2 1 5 4 5 5 10 5 5 2 3 4 2 5 1 1 5 0 0 5 1 0 0 2 10 2 0 5 1 5 5 0 2 1 5 2 0 2 0 5 0 6 5 0 0 5 5 2 10 5 10 2 10 10 5 5 2 5 1 6 0 0 5 1 3 5 2 10 2 1 2 2 2 1 6 0 5 0 6 0 2 10 10 5 5 0 0 0 10 5 10 10 10 5 0 1 10 2 4 5 1 5 2 5 1 2 2 2 1 10 10 </values>
19392.00/2520.09	v </instantiation>
19392.00/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	50633

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7849 MiB free)
  memory of node 1: 16384 MiB (13449 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297515-1532712292/watcher-4297515-1532712292 -o /tmp/evaluation-result-4297515-1532712292/solver-4297515-1532712292 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532704456-1227 --watchdog 2580 HOME/xcsp3-exec -seed 588301778 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297515-1532712292.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6733, runsolver pid=6730

[startup+0.102859 s]*
/proc/loadavg: 7.97 8.23 8.23 2/205 6754
/proc/meminfo: memFree=21795460/32770624 swapFree=67108860/67108860
[pid=6733] ppid=6730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6733/stat : 6733 (xcsp3-exec) S 6730 6733 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88792392 115843072 363 33554432000 4194304 5098028 140730036649744 140730036647848 140025379119740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39755776 140730036655158 140730036655360 140730036655360 140730036658122 0
/proc/6733/statm: 28282 363 305 221 0 87 0
[pid=6735] ppid=6733 vsize=26104152 memory=27040 CPUtime=0.12 cores=0-7
/proc/6735/stat : 6735 (java) S 6733 6733 1200 0 -1 1077944320 5671 0 0 0 11 1 0 0 20 0 20 0 88792392 26730651648 6760 33554432000 4194304 4196468 140722028888320 140722028870864 140041819942647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
/proc/6735/statm: 6526038 6760 3003 1 0 6488315 0
[pid=6735/tid=6736] ppid=6733 vsize=26104152 memory=4355432131773756316 CPUtime=0.09 cores=0-7
/proc/6735/task/6736/stat : 6736 (java) R 6733 6733 1200 0 -1 4202560 3669 0 0 0 9 0 0 0 20 0 20 0 88792392 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041824175920 140041819954582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6737] ppid=6733 vsize=26104152 memory=732370051032808421 CPUtime=0 cores=0-7
/proc/6735/task/6737/stat : 6737 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041772562704 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6738] ppid=6733 vsize=26104152 memory=139912695355008 CPUtime=0 cores=0-7
/proc/6735/task/6738/stat : 6738 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041376889232 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6739] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6739/stat : 6739 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041375836688 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6740] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6740/stat : 6740 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041374784144 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6741] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6741/stat : 6741 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041373731600 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6742] ppid=6733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6735/task/6742/stat : 6742 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041372679056 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6743] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6743/stat : 6743 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041371626512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6744] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6744/stat : 6744 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 6825 33554432000 4194304 4196468 140722028888320 140041370573968 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6745] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6745/stat : 6745 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792395 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040813066224 140041819953794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6746] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6746/stat : 6746 (java) S 6733 6733 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88792395 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040812012448 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6747] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6747/stat : 6747 (java) S 6733 6733 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88792395 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040810959856 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6748] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6748/stat : 6748 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040809908432 140041819961243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6749] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6749/stat : 6749 (java) S 6733 6733 1200 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040808856048 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6750] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6750/stat : 6750 (java) S 6733 6733 1200 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040807803504 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6751] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6751/stat : 6751 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040806750960 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6752] ppid=6733 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/6735/task/6752/stat : 6752 (java) R 6733 6733 1200 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040805698416 140041798884226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6753] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6753/stat : 6753 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040804645088 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6754] ppid=6733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6735/task/6754/stat : 6754 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 6825 33554432000 4194304 4196468 140722028888320 140040803592624 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28492 KiB

[startup+0.210646 s]*
/proc/loadavg: 7.97 8.23 8.23 3/205 6754
/proc/meminfo: memFree=21784296/32770624 swapFree=67108860/67108860
[pid=6733] ppid=6730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6733/stat : 6733 (xcsp3-exec) S 6730 6733 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88792392 115843072 363 33554432000 4194304 5098028 140730036649744 140730036647848 140025379119740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39755776 140730036655158 140730036655360 140730036655360 140730036658122 0
/proc/6733/statm: 28282 363 305 221 0 87 0
[pid=6735] ppid=6733 vsize=26104152 memory=39176 CPUtime=0.34 cores=0-7
/proc/6735/stat : 6735 (java) S 6733 6733 1200 0 -1 1077944320 8446 0 0 0 32 2 0 0 20 0 20 0 88792392 26730651648 9794 33554432000 4194304 4196468 140722028888320 140722028870864 140041819942647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
/proc/6735/statm: 6526038 9794 3158 1 0 6488315 0
[pid=6735/tid=6736] ppid=6733 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/6735/task/6736/stat : 6736 (java) R 6733 6733 1200 0 -1 4202560 5560 0 0 0 19 1 0 0 20 0 20 0 88792392 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041824177632 140041804023134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6737] ppid=6733 vsize=26104152 memory=732370051032808421 CPUtime=0 cores=0-7
/proc/6735/task/6737/stat : 6737 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041772562704 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6738] ppid=6733 vsize=26104152 memory=139912695355008 CPUtime=0 cores=0-7
/proc/6735/task/6738/stat : 6738 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041376889232 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6739] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6739/stat : 6739 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041375836688 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6740] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6740/stat : 6740 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041374784144 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6741] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6741/stat : 6741 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041373731600 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6742] ppid=6733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6735/task/6742/stat : 6742 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041372679056 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6743] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6743/stat : 6743 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041371626512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6744] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6744/stat : 6744 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26730651648 9794 33554432000 4194304 4196468 140722028888320 140041370573968 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6745] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6745/stat : 6745 (java) S 6733 6733 1200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88792395 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040813066224 140041819953794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6746] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6746/stat : 6746 (java) S 6733 6733 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88792395 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040812012448 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6747] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6747/stat : 6747 (java) S 6733 6733 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88792395 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040810959856 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6748] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6748/stat : 6748 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040809908432 140041819961243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6749] ppid=6733 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/6735/task/6749/stat : 6749 (java) S 6733 6733 1200 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040808856048 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6750] ppid=6733 vsize=26104152 memory=0 CPUtime=0.03 cores=0-7
/proc/6735/task/6750/stat : 6750 (java) S 6733 6733 1200 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040807803504 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6751] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6751/stat : 6751 (java) S 6733 6733 1200 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040806750960 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6752] ppid=6733 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/6735/task/6752/stat : 6752 (java) S 6733 6733 1200 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040805698416 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6753] ppid=6733 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6753/stat : 6753 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040804645088 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6754] ppid=6733 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6735/task/6754/stat : 6754 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792398 26730651648 9794 33554432000 4194304 4196468 140722028888320 140040803592624 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40628 KiB

[startup+0.310712 s]*
/proc/loadavg: 7.97 8.23 8.23 5/205 6754
/proc/meminfo: memFree=21777472/32770624 swapFree=67108860/67108860
[pid=6733] ppid=6730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6733/stat : 6733 (xcsp3-exec) S 6730 6733 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88792392 115843072 363 33554432000 4194304 5098028 140730036649744 140730036647848 140025379119740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39755776 140730036655158 140730036655360 140730036655360 140730036658122 0
/proc/6733/statm: 28282 363 305 221 0 87 0
[pid=6735] ppid=6733 vsize=26108408 memory=46540 CPUtime=0.51 cores=0-7
/proc/6735/stat : 6735 (java) S 6733 6733 1200 0 -1 1077944320 9375 0 0 0 49 2 0 0 20 0 20 0 88792392 26735009792 11635 33554432000 4194304 4196468 140722028888320 140722028870864 140041819942647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
/proc/6735/statm: 6527102 11635 3208 1 0 6488315 0
[pid=6735/tid=6736] ppid=6733 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6735/task/6736/stat : 6736 (java) R 6733 6733 1200 0 -1 4202560 6252 0 0 0 28 1 0 0 20 0 20 0 88792392 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041824173760 140041819964573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6737] ppid=6733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6737/stat : 6737 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041772562704 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6738] ppid=6733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6738/stat : 6738 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041376889232 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6739] ppid=6733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6739/stat : 6739 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041375836688 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6740] ppid=6733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6740/stat : 6740 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041374784144 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6741] ppid=6733 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/6735/task/6741/stat : 6741 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041373731600 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6742] ppid=6733 vsize=26108408 memory=139912586294191 CPUtime=0 cores=0-7
/proc/6735/task/6742/stat : 6742 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041372679056 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6743] ppid=6733 vsize=26108408 memory=139912586296496 CPUtime=0 cores=0-7
/proc/6735/task/6743/stat : 6743 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041371626512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6744] ppid=6733 vsize=26108408 memory=139912586298800 CPUtime=0 cores=0-7
/proc/6735/task/6744/stat : 6744 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26735009792 11648 33554432000 4194304 4196468 140722028888320 140041370573968 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6745] ppid=6733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6745/stat : 6745 (java) S 6733 6733 1200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88792395 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040813066224 140041819953794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6746] ppid=6733 vsize=26108408 memory=279825172604560 CPUtime=0 cores=0-7
/proc/6735/task/6746/stat : 6746 (java) S 6733 6733 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88792395 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040812012448 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6747] ppid=6733 vsize=26108408 memory=279825172611472 CPUtime=0 cores=0-7
/proc/6735/task/6747/stat : 6747 (java) S 6733 6733 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88792395 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040810959856 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6748] ppid=6733 vsize=26108408 memory=279825172552752 CPUtime=0 cores=0-7
/proc/6735/task/6748/stat : 6748 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040809908432 140041819961243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6749] ppid=6733 vsize=26108408 memory=279825172625296 CPUtime=0.03 cores=0-7
/proc/6735/task/6749/stat : 6749 (java) R 6733 6733 1200 0 -1 4202560 438 0 0 0 3 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040808842592 140041801460187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6750] ppid=6733 vsize=26108408 memory=279825172632208 CPUtime=0.03 cores=0-7
/proc/6735/task/6750/stat : 6750 (java) S 6733 6733 1200 0 -1 1077944384 383 0 0 0 3 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040807803504 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6751] ppid=6733 vsize=26108408 memory=279825172629904 CPUtime=0.01 cores=0-7
/proc/6735/task/6751/stat : 6751 (java) S 6733 6733 1200 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040806750960 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6752] ppid=6733 vsize=26108408 memory=279825172646064 CPUtime=0.12 cores=0-7
/proc/6735/task/6752/stat : 6752 (java) S 6733 6733 1200 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040805698416 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6753] ppid=6733 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6753/stat : 6753 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040804645088 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6754] ppid=6733 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/6735/task/6754/stat : 6754 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792398 26735009792 11648 33554432000 4194304 4196468 140722028888320 140040803592624 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47992 KiB

[startup+0.70097 s]
/proc/loadavg: 7.97 8.23 8.23 3/205 6754
/proc/meminfo: memFree=21753048/32770624 swapFree=67108860/67108860
[pid=6733] ppid=6730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6733/stat : 6733 (xcsp3-exec) S 6730 6733 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88792392 115843072 363 33554432000 4194304 5098028 140730036649744 140730036647848 140025379119740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39755776 140730036655158 140730036655360 140730036655360 140730036658122 0
/proc/6733/statm: 28282 363 305 221 0 87 0
[pid=6735] ppid=6733 vsize=26110532 memory=111832 CPUtime=2.01 cores=0-7
/proc/6735/stat : 6735 (java) S 6733 6733 1200 0 -1 1077944320 14399 0 0 0 197 4 0 0 20 0 20 0 88792392 26737184768 27958 33554432000 4194304 4196468 140722028888320 140722028870864 140041819942647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
/proc/6735/statm: 6527633 27958 3358 1 0 6488827 0
[pid=6735/tid=6736] ppid=6733 vsize=26110532 memory=279825172940992 CPUtime=0.67 cores=0-7
/proc/6735/task/6736/stat : 6736 (java) R 6733 6733 1200 0 -1 4202560 6824 0 0 0 65 2 0 0 20 0 20 0 88792392 26737184768 27958 33554432000 4194304 4196468 140722028888320 140041824181296 140041454755413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6737] ppid=6733 vsize=26110532 memory=1948 CPUtime=0 cores=0-7
/proc/6735/task/6737/stat : 6737 (java) S 6733 6733 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88792393 26737184768 27958 33554432000 4194304 4196468 140722028888320 140041772562704 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6738] ppid=6733 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/6735/task/6738/stat : 6738 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88792393 26737184768 27958 33554432000 4194304 4196468 140722028888320 140041376889232 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6739] ppid=6733 vsize=26110532 memory=1716 CPUtime=0 cores=0-7
/proc/6735/task/6739/stat : 6739 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88792393 26737184768 27958 33554432000 4194304 4196468 140722028888320 140041375836688 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0

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

/proc/meminfo: memFree=9660608/32770624 swapFree=67108860/67108860
[pid=6733] ppid=6730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6733/stat : 6733 (xcsp3-exec) S 6730 6733 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88792392 115843072 363 33554432000 4194304 5098028 140730036649744 140730036647848 140025379119740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39755776 140730036655158 140730036655360 140730036655360 140730036658122 0
/proc/6733/statm: 28282 363 305 221 0 87 0
[pid=6735] ppid=6733 vsize=26645092 memory=12143248 CPUtime=19250.8 cores=0-7
/proc/6735/stat : 6735 (java) S 6733 6733 1200 0 -1 1077944320 3868921 0 0 0 1918781 6296 0 0 20 0 28 0 88792392 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140722028870864 140041819942647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
/proc/6735/statm: 6661273 3035812 3468 1 0 6622467 0
[pid=6735/tid=6736] ppid=6733 vsize=26645092 memory=1452 CPUtime=77.4 cores=0-7
/proc/6735/task/6736/stat : 6736 (java) S 6733 6733 1200 0 -1 1077944384 17984 0 0 0 7727 13 0 0 20 0 28 0 88792392 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041824183424 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6737] ppid=6733 vsize=26645092 memory=12143248 CPUtime=61.8 cores=0-7
/proc/6735/task/6737/stat : 6737 (java) S 6733 6733 1200 0 -1 1077944384 214233 0 0 0 5725 455 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041772562704 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6738] ppid=6733 vsize=26645092 memory=12143248 CPUtime=62.07 cores=0-7
/proc/6735/task/6738/stat : 6738 (java) S 6733 6733 1200 0 -1 1077944384 238675 0 0 0 5741 466 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041376889232 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6739] ppid=6733 vsize=26645092 memory=1796 CPUtime=61.51 cores=0-7
/proc/6735/task/6739/stat : 6739 (java) S 6733 6733 1200 0 -1 1077944384 232818 0 0 0 5699 452 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041375836688 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6740] ppid=6733 vsize=26645092 memory=0 CPUtime=61.94 cores=0-7
/proc/6735/task/6740/stat : 6740 (java) S 6733 6733 1200 0 -1 1077944384 234769 0 0 0 5748 446 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041374784144 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 54 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6741] ppid=6733 vsize=26645092 memory=25912 CPUtime=61.94 cores=0-7
/proc/6735/task/6741/stat : 6741 (java) S 6733 6733 1200 0 -1 1077944384 220743 0 0 0 5731 463 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041373731600 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6742] ppid=6733 vsize=26645092 memory=1452 CPUtime=62.01 cores=0-7
/proc/6735/task/6742/stat : 6742 (java) S 6733 6733 1200 0 -1 1077944384 275416 0 0 0 5748 453 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041372679056 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6743] ppid=6733 vsize=26645092 memory=4132 CPUtime=61.86 cores=0-7
/proc/6735/task/6743/stat : 6743 (java) S 6733 6733 1200 0 -1 1077944384 223013 0 0 0 5732 454 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041371626512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6744] ppid=6733 vsize=26645092 memory=2340 CPUtime=61.59 cores=0-7
/proc/6735/task/6744/stat : 6744 (java) S 6733 6733 1200 0 -1 1077944384 234028 0 0 0 5714 445 0 0 20 0 28 0 88792393 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140041370573968 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6745] ppid=6733 vsize=26645092 memory=1584 CPUtime=3.13 cores=0-7
/proc/6735/task/6745/stat : 6745 (java) S 6733 6733 1200 0 -1 1077944384 60224 0 0 0 277 36 0 0 20 0 28 0 88792395 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040813066224 140041819953794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6746] ppid=6733 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6746/stat : 6746 (java) S 6733 6733 1200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 88792395 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040812012512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6747] ppid=6733 vsize=26645092 memory=7884208000404777760 CPUtime=0 cores=0-7
/proc/6735/task/6747/stat : 6747 (java) S 6733 6733 1200 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 88792395 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040810959872 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6748] ppid=6733 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/6735/task/6748/stat : 6748 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040809908432 140041819961243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6749] ppid=6733 vsize=26645092 memory=8387223549236478041 CPUtime=4.12 cores=0-7
/proc/6735/task/6749/stat : 6749 (java) S 6733 6733 1200 0 -1 1077944384 34284 0 0 0 406 6 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040808856048 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6750] ppid=6733 vsize=26645092 memory=1452 CPUtime=4.11 cores=0-7
/proc/6735/task/6750/stat : 6750 (java) S 6733 6733 1200 0 -1 1077944384 35134 0 0 0 404 7 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040807803504 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6751] ppid=6733 vsize=26645092 memory=12143248 CPUtime=4.25 cores=0-7
/proc/6735/task/6751/stat : 6751 (java) S 6733 6733 1200 0 -1 1077944384 40468 0 0 0 420 5 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040806750960 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6752] ppid=6733 vsize=26645092 memory=1452 CPUtime=1.2 cores=0-7
/proc/6735/task/6752/stat : 6752 (java) S 6733 6733 1200 0 -1 1077944384 38172 0 0 0 114 6 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040805698416 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6753] ppid=6733 vsize=26645092 memory=12143248 CPUtime=0 cores=0-7
/proc/6735/task/6753/stat : 6753 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040804645088 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6754] ppid=6733 vsize=26645092 memory=4132 CPUtime=1.03 cores=0-7
/proc/6735/task/6754/stat : 6754 (java) S 6733 6733 1200 0 -1 1077944384 4660 0 0 0 62 41 0 0 20 0 28 0 88792398 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040803592624 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7063] ppid=6733 vsize=26645092 memory=12143248 CPUtime=296.12 cores=0-7
/proc/6735/task/7063/stat : 7063 (java) R 6733 6733 1200 0 -1 4202560 31411 0 0 0 29605 7 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040789543808 140041458606881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7064] ppid=6733 vsize=26645092 memory=1452 CPUtime=294.12 cores=0-7
/proc/6735/task/7064/stat : 7064 (java) R 6733 6733 1200 0 -1 4202560 11250 0 0 0 29366 46 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040793755656 140041458603382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7065] ppid=6733 vsize=26645092 memory=12143248 CPUtime=294.63 cores=0-7
/proc/6735/task/7065/stat : 7065 (java) R 6733 6733 1200 0 -1 4202560 12573 0 0 0 29462 1 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040792703096 140041460124527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7066] ppid=6733 vsize=26645092 memory=12143248 CPUtime=294.23 cores=0-7
/proc/6735/task/7066/stat : 7066 (java) R 6733 6733 1200 0 -1 4202560 39827 0 0 0 29406 17 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040791652688 140041458605480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7067] ppid=6733 vsize=26645092 memory=1452 CPUtime=296.12 cores=0-7
/proc/6735/task/7067/stat : 7067 (java) R 6733 6733 1200 0 -1 4202560 15901 0 0 0 29610 2 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040788492920 140041454320780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7068] ppid=6733 vsize=26645092 memory=12143248 CPUtime=296.09 cores=0-7
/proc/6735/task/7068/stat : 7068 (java) R 6733 6733 1200 0 -1 4202560 15054 0 0 0 29600 9 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040787440184 140041454323191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7069] ppid=6733 vsize=26645092 memory=8112282956445269571 CPUtime=296.14 cores=0-7
/proc/6735/task/7069/stat : 7069 (java) R 6733 6733 1200 0 -1 4202560 24640 0 0 0 29552 62 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040790597240 140041458605196 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7070] ppid=6733 vsize=26645092 memory=1292 CPUtime=295.06 cores=0-7
/proc/6735/task/7070/stat : 7070 (java) R 6733 6733 1200 0 -1 4202560 119812 0 0 0 29487 19 0 0 20 0 28 0 89012847 27284574208 3035812 33554432000 4194304 4196468 140722028888320 140040794808328 140041459945106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
Current children cumulated CPU time: 19250.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 12144700 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.60 8.43 8.34 9/212 7072
/proc/meminfo: memFree=9658624/32770624 swapFree=67108860/67108860
[pid=6733] ppid=6730 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6733/stat : 6733 (xcsp3-exec) S 6730 6733 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88792392 115843072 363 33554432000 4194304 5098028 140730036649744 140730036647848 140025379119740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39755776 140730036655158 140730036655360 140730036655360 140730036658122 0
/proc/6733/statm: 28282 363 305 221 0 87 0
[pid=6735] ppid=6733 vsize=26645092 memory=12145304 CPUtime=19392 cores=0-7
/proc/6735/stat : 6735 (java) S 6733 6733 1200 0 -1 1077944320 3871535 0 0 0 1932903 6297 0 0 20 0 28 0 88792392 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140722028870864 140041819942647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
/proc/6735/statm: 6661273 3036326 3468 1 0 6622467 0
[pid=6735/tid=6736] ppid=6733 vsize=26645092 memory=-6733704525061579059 CPUtime=77.4 cores=0-7
/proc/6735/task/6736/stat : 6736 (java) S 6733 6733 1200 0 -1 1077944384 17984 0 0 0 7727 13 0 0 20 0 28 0 88792392 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041824183424 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6737] ppid=6733 vsize=26645092 memory=-7003737579269690708 CPUtime=61.93 cores=0-7
/proc/6735/task/6737/stat : 6737 (java) S 6733 6733 1200 0 -1 1077944384 214259 0 0 0 5738 455 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041772562704 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6738] ppid=6733 vsize=26645092 memory=1792 CPUtime=62.2 cores=0-7
/proc/6735/task/6738/stat : 6738 (java) S 6733 6733 1200 0 -1 1077944384 238693 0 0 0 5754 466 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041376889232 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6739] ppid=6733 vsize=26645092 memory=1236 CPUtime=61.64 cores=0-7
/proc/6735/task/6739/stat : 6739 (java) S 6733 6733 1200 0 -1 1077944384 232833 0 0 0 5712 452 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041375836688 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6740] ppid=6733 vsize=26645092 memory=648 CPUtime=62.07 cores=0-7
/proc/6735/task/6740/stat : 6740 (java) S 6733 6733 1200 0 -1 1077944384 234788 0 0 0 5761 446 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041374784144 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6741] ppid=6733 vsize=26645092 memory=1796 CPUtime=62.06 cores=0-7
/proc/6735/task/6741/stat : 6741 (java) S 6733 6733 1200 0 -1 1077944384 220867 0 0 0 5743 463 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041373731600 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6742] ppid=6733 vsize=26645092 memory=912 CPUtime=62.13 cores=0-7
/proc/6735/task/6742/stat : 6742 (java) S 6733 6733 1200 0 -1 1077944384 275432 0 0 0 5760 453 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041372679056 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6743] ppid=6733 vsize=26645092 memory=4432 CPUtime=61.99 cores=0-7
/proc/6735/task/6743/stat : 6743 (java) S 6733 6733 1200 0 -1 1077944384 223145 0 0 0 5745 454 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041371626512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6744] ppid=6733 vsize=26645092 memory=1452 CPUtime=61.71 cores=0-7
/proc/6735/task/6744/stat : 6744 (java) S 6733 6733 1200 0 -1 1077944384 234039 0 0 0 5726 445 0 0 20 0 28 0 88792393 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140041370573968 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6745] ppid=6733 vsize=26645092 memory=12143256 CPUtime=3.13 cores=0-7
/proc/6735/task/6745/stat : 6745 (java) S 6733 6733 1200 0 -1 1077944384 60245 0 0 0 277 36 0 0 20 0 28 0 88792395 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040813066224 140041819953794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6746] ppid=6733 vsize=26645092 memory=12136 CPUtime=0 cores=0-7
/proc/6735/task/6746/stat : 6746 (java) S 6733 6733 1200 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 88792395 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040812012512 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6747] ppid=6733 vsize=26645092 memory=1008 CPUtime=0 cores=0-7
/proc/6735/task/6747/stat : 6747 (java) S 6733 6733 1200 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 88792395 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040810959872 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6748] ppid=6733 vsize=26645092 memory=4620 CPUtime=0 cores=0-7
/proc/6735/task/6748/stat : 6748 (java) S 6733 6733 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040809908432 140041819961243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6749] ppid=6733 vsize=26645092 memory=15872 CPUtime=4.12 cores=0-7
/proc/6735/task/6749/stat : 6749 (java) S 6733 6733 1200 0 -1 1077944384 34284 0 0 0 406 6 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040808856048 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6750] ppid=6733 vsize=26645092 memory=15228 CPUtime=4.11 cores=0-7
/proc/6735/task/6750/stat : 6750 (java) S 6733 6733 1200 0 -1 1077944384 35134 0 0 0 404 7 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040807803504 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6751] ppid=6733 vsize=26645092 memory=18276 CPUtime=4.25 cores=0-7
/proc/6735/task/6751/stat : 6751 (java) S 6733 6733 1200 0 -1 1077944384 40468 0 0 0 420 5 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040806750960 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6752] ppid=6733 vsize=26645092 memory=12143256 CPUtime=1.2 cores=0-7
/proc/6735/task/6752/stat : 6752 (java) S 6733 6733 1200 0 -1 1077944384 38172 0 0 0 114 6 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040805698416 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6753] ppid=6733 vsize=26645092 memory=4132 CPUtime=0 cores=0-7
/proc/6735/task/6753/stat : 6753 (java) S 6733 6733 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040804645088 140041819952853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=6754] ppid=6733 vsize=26645092 memory=1452 CPUtime=1.03 cores=0-7
/proc/6735/task/6754/stat : 6754 (java) S 6733 6733 1200 0 -1 1077944384 4662 0 0 0 62 41 0 0 20 0 28 0 88792398 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040803592624 140041819953794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7063] ppid=6733 vsize=26645092 memory=12143256 CPUtime=313.7 cores=0-7
/proc/6735/task/7063/stat : 7063 (java) R 6733 6733 1200 0 -1 4202560 32036 0 0 0 31363 7 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040789543624 140041458607035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7064] ppid=6733 vsize=26645092 memory=12143256 CPUtime=311.69 cores=0-7
/proc/6735/task/7064/stat : 7064 (java) R 6733 6733 1200 0 -1 4202560 11252 0 0 0 31123 46 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040793755784 140041459296476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7065] ppid=6733 vsize=26645092 memory=1408 CPUtime=312.19 cores=0-7
/proc/6735/task/7065/stat : 7065 (java) R 6733 6733 1200 0 -1 4202560 12848 0 0 0 31218 1 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040792703096 140041454320848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7066] ppid=6733 vsize=26645092 memory=4060 CPUtime=311.44 cores=0-7
/proc/6735/task/7066/stat : 7066 (java) R 6733 6733 1200 0 -1 4202560 39827 0 0 0 31127 17 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040791650552 140041458603480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7067] ppid=6733 vsize=26645092 memory=8112282956445269571 CPUtime=313.7 cores=0-7
/proc/6735/task/7067/stat : 7067 (java) R 6733 6733 1200 0 -1 4202560 15905 0 0 0 31368 2 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040788495024 140041454320286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7068] ppid=6733 vsize=26645092 memory=-7003737579269690708 CPUtime=313.66 cores=0-7
/proc/6735/task/7068/stat : 7068 (java) R 6733 6733 1200 0 -1 4202560 15086 0 0 0 31357 9 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040787439648 140041458605196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7069] ppid=6733 vsize=26645092 memory=-7673225154500992928 CPUtime=313.72 cores=0-7
/proc/6735/task/7069/stat : 7069 (java) R 6733 6733 1200 0 -1 4202560 25285 0 0 0 31310 62 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040790597240 140041456744816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
[pid=6735/tid=7070] ppid=6733 vsize=26645092 memory=1316 CPUtime=312.63 cores=0-7
/proc/6735/task/7070/stat : 7070 (java) R 6733 6733 1200 0 -1 4202560 120459 0 0 0 31243 20 0 0 20 0 28 0 89012847 27284574208 3036326 33554432000 4194304 4196468 140722028888320 140040794807896 140041454320848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18997248 140722028897409 140722028897581 140722028897581 140722028900303 0
Current children cumulated CPU time: 19392 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 12146756 KiB

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

[startup+2520.04 s]
# the end of solver process 6733 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001159 s, system=0.001159 s

[startup+2520.18 s]
# the end of solver process 6735 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19329.8 s, system=63.0411 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]*
/proc/loadavg: 8.60 8.43 8.34 2/185 7074
/proc/meminfo: memFree=14598272/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002318 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.18
CPU time (s): 19392.9
CPU user time (s): 19329.8
CPU system time (s): 63.0411
CPU usage (%): 769.504
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 12146756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19329.8
system time used= 63.0411
maximum resident set size= 12145644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3873009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126988
involuntary context switches= 220734


# summary of solver processes directly reported to runsolver:
#   pid: 6733,6735
#   total CPU time (s): 19392.9
#   total CPU user time (s): 19329.8
#   total CPU system time (s): 63.0411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.264 second user time and 32.3548 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-27 19:24:52
IDJOB=4297515
IDBENCH=141258
IDSOLVER=2760
FILE ID=node132/4297515-1532712292
RUNJOBID= node132-1532704456-1227
PBS_JOBID= 21022307
Free space on /tmp= 52044 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko81_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297515-1532712292/watcher-4297515-1532712292 -o /tmp/evaluation-result-4297515-1532712292/solver-4297515-1532712292 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532704456-1227 --watchdog 2580  HOME/xcsp3-exec -seed 588301778 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297515-1532712292.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=588301778

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21811576 kB
MemAvailable:   31926364 kB
Buffers:          221212 kB
Cached:         10087552 kB
SwapCached:            0 kB
Active:          2957384 kB
Inactive:        7405980 kB
Active(anon):       4628 kB
Inactive(anon):    77916 kB
Active(file):    2952756 kB
Inactive(file):  7328064 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22048 kB
Writeback:             0 kB
AnonPages:         61120 kB
Mapped:            42020 kB
Shmem:             25248 kB
Slab:             289668 kB
SReclaimable:     262428 kB
SUnreclaim:        27240 kB
KernelStack:        3312 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52020 MiB
End job on node132 at 2018-07-27 20:06:53