2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	188	2520.1201	2450.4099

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283365-1503206512.xml"  -tl '2520s' -p 1 -x 3
0.08/0.29	c [HOME/instance-4283365-1503206512.xml, -tl, 2520s, -p, 1, -x, 3]
0.25/0.35	c simple solver
0.25/0.41	c parse instance...
1.79/0.92	c solve instance...
2.11/1.05	o 440 
3.38/1.48	o 404 
4.32/1.75	o 344 
5.27/2.09	o 320 
5.57/2.14	o 308 
6.79/2.53	o 296 
7.10/2.63	o 284 
9.71/3.95	o 236 
1611.79/1562.05	o 220 
1933.18/1876.30	o 188 
2520.09/2450.40	s SATISFIABLE
2520.09/2450.40	v <instantiation>
2520.09/2450.40	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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] </list>
2520.09/2450.40	v 	<values>-1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -3 4 -1 -4 -1 0 -3 0 1 0 1 0 -3 -6 3 2 -1 0 -1 0 1 4 1 2 -3 -2 -1 0 -5 0 3 0 -1 0 1 0 1 0 -1 9 16 1 16 1 0 9 0 1 0 1 0 9 36 9 4 1 0 1 0 1 16 1 4 9 4 1 0 25 0 9 0 1 0 1 0 1 0 1 </values>
2520.09/2450.40	v </instantiation>
2520.09/2450.40	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283365-1503206512/watcher-4283365-1503206512 -o /tmp/evaluation-result-4283365-1503206512/solver-4283365-1503206512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 567208419 HOME/instance-4283365-1503206512.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7736, runsolver pid=7733
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 4.20 3.12 2.28 3/196 7737
/proc/meminfo: memFree=31496260/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.214341 s]*
/proc/loadavg: 4.20 3.12 2.28 3/211 7752
/proc/meminfo: memFree=31484512/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13974352 memory=24840 CPUtime=0.08 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 5169 0 0 0 7 1 0 0 20 0 15 0 19060325 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3493588 6210 2698 1 0 3482964 0
[pid=7738/tid=7739] ppid=7736 vsize=13974352 memory=1404226546251833994 CPUtime=0.05 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 3321 0 0 0 5 0 0 0 20 0 15 0 19060326 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140529299220880 140529295017117 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13974352 memory=140215000659584 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19060326 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13974352 memory=140215000659584 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19060328 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19060328 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528772412192 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19060328 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528771359856 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) S 7736 7736 17292 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) S 7736 7736 17292 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13974352 memory=140215000659584 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13974352 memory=140215000659584 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060335 14309736448 6210 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26220 KiB

[startup+0.310219 s]*
/proc/loadavg: 4.20 3.12 2.28 3/211 7752
/proc/meminfo: memFree=31473080/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13975376 memory=37672 CPUtime=0.25 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 8758 0 0 0 23 2 0 0 20 0 15 0 19060325 14310785024 9418 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3493844 9418 2979 1 0 3483220 0
[pid=7738/tid=7739] ppid=7736 vsize=13975376 memory=6933928925625698159 CPUtime=0.15 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 6064 0 0 0 13 2 0 0 20 0 15 0 19060326 14310785024 9418 18446744073709551615 4194304 4196468 140724966632560 140529299206432 140529287674909 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14310785024 9418 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14310785024 9418 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14310785024 9418 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19060326 14310785024 9418 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19060328 14310785024 9221 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19060328 14310785024 9221 18446744073709551615 4194304 4196468 140724966632560 140528772412192 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19060328 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528771359856 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) S 7736 7736 17292 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 19060331 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) S 7736 7736 17292 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 19060331 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 706 0 0 0 5 0 0 0 20 0 15 0 19060331 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060335 14309736448 9221 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 39052 KiB

[startup+0.701385 s]
/proc/loadavg: 4.20 3.12 2.28 7/211 7752
/proc/meminfo: memFree=31459696/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13980732 memory=65116 CPUtime=1.14 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 12361 0 0 0 109 5 0 0 20 0 15 0 19060325 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3495183 16279 3163 1 0 3483476 0
[pid=7738/tid=7739] ppid=7736 vsize=13980732 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 8516 0 0 0 49 4 0 0 20 0 15 0 19060326 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140529299228632 140529277218145 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13980732 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13980732 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19060328 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19060328 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528772412192 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13980732 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19060328 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528771359856 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13980732 memory=8708 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13980732 memory=792 CPUtime=0.14 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) R 7736 7736 17292 0 -1 4202560 541 0 0 0 14 0 0 0 20 0 15 0 19060331 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295016538 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13980732 memory=1200 CPUtime=0.13 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) R 7736 7736 17292 0 -1 4202560 721 0 0 0 13 0 0 0 20 0 15 0 19060331 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529274650522 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13980732 memory=15876 CPUtime=0.31 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) R 7736 7736 17292 0 -1 4202560 1277 0 0 0 31 0 0 0 20 0 15 0 19060331 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529288092027 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13980732 memory=8480 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13980732 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060335 14316269568 16279 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66496 KiB

[startup+1.50079 s]
/proc/loadavg: 4.20 3.12 2.28 4/211 7752
/proc/meminfo: memFree=31344616/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13980732 memory=143812 CPUtime=3.7 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 29221 0 0 0 361 9 0 0 20 0 15 0 19060325 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3495183 35953 3196 1 0 3483476 0
[pid=7738/tid=7739] ppid=7736 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 9879 0 0 0 128 5 0 0 20 0 15 0 19060326 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140529299230800 140528937230836 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19060326 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13980732 memory=66529043430528 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 19060328 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19060328 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528772412192 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19060328 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528771359856 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13980732 memory=7680170660397595203 CPUtime=0.84 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) R 7736 7736 17292 0 -1 4202560 8032 0 0 0 83 1 0 0 20 0 15 0 19060331 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528769241784 140529276539409 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13980732 memory=6656426216303648864 CPUtime=0.85 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) R 7736 7736 17292 0 -1 4202560 5677 0 0 0 85 0 0 0 20 0 15 0 19060331 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528768189272 140529276540793 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13980732 memory=6944656575208382560 CPUtime=0.64 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 4316 0 0 0 64 0 0 0 20 0 15 0 19060331 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13980732 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060335 14316269568 35953 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0

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

/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528771359872 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13982780 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13982780 memory=1380 CPUtime=5.43 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) S 7736 7736 17292 0 -1 1077944384 31941 0 0 0 539 4 0 0 20 0 15 0 19060331 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13982780 memory=1380 CPUtime=5.03 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) S 7736 7736 17292 0 -1 1077944384 28002 0 0 0 500 3 0 0 20 0 15 0 19060331 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13982780 memory=1380 CPUtime=1 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 11839 0 0 0 98 2 0 0 20 0 15 0 19060331 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13982780 memory=600084 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13982780 memory=1380 CPUtime=1.06 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 2421 0 0 0 54 52 0 0 20 0 15 0 19060335 14318366720 150023 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 2388.61 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 601472 KiB

[startup+2382.3 s]
/proc/loadavg: 1.80 1.79 1.86 3/211 7891
/proc/meminfo: memFree=30530332/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13982780 memory=751924 CPUtime=2450.35 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 262838 0 0 0 244697 338 0 0 20 0 15 0 19060325 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3495695 187981 3258 1 0 3483988 0
[pid=7738/tid=7739] ppid=7736 vsize=13982780 memory=717188 CPUtime=2362.08 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 69196 0 0 0 236194 14 0 0 20 0 15 0 19060326 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140529299234672 140528938318939 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13982780 memory=717188 CPUtime=18.72 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 17827 0 0 0 1807 65 0 0 20 0 15 0 19060326 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13982780 memory=1380 CPUtime=18.73 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 18823 0 0 0 1807 66 0 0 20 0 15 0 19060326 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13982780 memory=751924 CPUtime=18.71 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 17055 0 0 0 1807 64 0 0 20 0 15 0 19060326 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13982780 memory=751924 CPUtime=18.71 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 20951 0 0 0 1806 65 0 0 20 0 15 0 19060326 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13982780 memory=3288 CPUtime=0.76 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 43425 0 0 0 62 14 0 0 20 0 15 0 19060328 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528772412256 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13982780 memory=280429689200512 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528771359872 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13982780 memory=717180 CPUtime=5.43 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) S 7736 7736 17292 0 -1 1077944384 31941 0 0 0 539 4 0 0 20 0 15 0 19060331 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13982780 memory=4198373884061773715 CPUtime=5.03 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) S 7736 7736 17292 0 -1 1077944384 28002 0 0 0 500 3 0 0 20 0 15 0 19060331 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13982780 memory=16444 CPUtime=1 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 11839 0 0 0 98 2 0 0 20 0 15 0 19060331 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13982780 memory=13824 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13982780 memory=1292 CPUtime=1.08 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 2425 0 0 0 55 53 0 0 20 0 15 0 19060335 14318366720 187981 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 2450.35 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 753304 KiB

[startup+2442.3 s]
/proc/loadavg: 1.83 1.80 1.86 4/209 7924
/proc/meminfo: memFree=30957760/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13982780 memory=730524 CPUtime=2511.9 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 265363 0 0 0 250849 341 0 0 20 0 15 0 19060325 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3495695 182631 3258 1 0 3483988 0
[pid=7738/tid=7739] ppid=7736 vsize=13982780 memory=730524 CPUtime=2421.54 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 69593 0 0 0 242140 14 0 0 20 0 15 0 19060326 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140529299234688 140528937239430 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13982780 memory=735140 CPUtime=19.23 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 18088 0 0 0 1857 66 0 0 20 0 15 0 19060326 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13982780 memory=735140 CPUtime=19.23 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 19024 0 0 0 1857 66 0 0 20 0 15 0 19060326 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13982780 memory=1380 CPUtime=19.22 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 17249 0 0 0 1858 64 0 0 20 0 15 0 19060326 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13982780 memory=730524 CPUtime=19.21 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 21618 0 0 0 1856 65 0 0 20 0 15 0 19060326 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13982780 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 44209 0 0 0 63 14 0 0 20 0 15 0 19060328 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528772412256 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13982780 memory=730524 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528771359872 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13982780 memory=1380 CPUtime=5.43 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) S 7736 7736 17292 0 -1 1077944384 31943 0 0 0 539 4 0 0 20 0 15 0 19060331 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13982780 memory=742836 CPUtime=5.03 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) S 7736 7736 17292 0 -1 1077944384 28004 0 0 0 500 3 0 0 20 0 15 0 19060331 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13982780 memory=1380 CPUtime=1 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 11841 0 0 0 98 2 0 0 20 0 15 0 19060331 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13982780 memory=1380 CPUtime=1.11 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 2440 0 0 0 56 55 0 0 20 0 15 0 19060335 14318366720 182631 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 2511.9 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 731904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.4 s]
/proc/loadavg: 1.93 1.82 1.86 3/211 7971
/proc/meminfo: memFree=30744260/32770624 swapFree=67108860/67108860
[pid=7736] ppid=7733 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7736/stat : 7736 (xcsp3-exec) S 7733 7736 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19060315 9740288 345 18446744073709551615 4194304 5098028 140731295524224 140731295522328 139864839381628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 24535040 140731295527290 140731295527494 140731295527494 140731295530987 0
/proc/7736/statm: 2378 345 289 221 0 87 0
[pid=7738] ppid=7736 vsize=13982780 memory=722828 CPUtime=2520.09 cores=0,2,4,6
/proc/7738/stat : 7738 (java) S 7736 7736 17292 0 -1 1077944320 265455 0 0 0 251668 341 0 0 20 0 15 0 19060325 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140724966615104 140529294995191 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
/proc/7738/statm: 3495695 180707 3258 1 0 3483988 0
[pid=7738/tid=7739] ppid=7736 vsize=13982780 memory=7680170660397595203 CPUtime=2429.61 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (java) R 7736 7736 17292 0 -1 4202560 69667 0 0 0 242947 14 0 0 20 0 15 0 19060326 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140529299234512 140528938230461 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7740] ppid=7736 vsize=13982780 memory=1292 CPUtime=19.26 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (java) S 7736 7736 17292 0 -1 1077944384 18089 0 0 0 1860 66 0 0 20 0 15 0 19060326 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140529251961744 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7741] ppid=7736 vsize=13982780 memory=2432 CPUtime=19.26 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (java) S 7736 7736 17292 0 -1 1077944384 19031 0 0 0 1860 66 0 0 20 0 15 0 19060326 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140529250908944 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7742] ppid=7736 vsize=13982780 memory=1728 CPUtime=19.25 cores=0,2,4,6
/proc/7738/task/7742/stat : 7742 (java) S 7736 7736 17292 0 -1 1077944384 17251 0 0 0 1861 64 0 0 20 0 15 0 19060326 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528893226128 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7743] ppid=7736 vsize=13982780 memory=1228 CPUtime=19.25 cores=0,2,4,6
/proc/7738/task/7743/stat : 7743 (java) S 7736 7736 17292 0 -1 1077944384 21624 0 0 0 1859 66 0 0 20 0 15 0 19060326 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528892173328 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7744] ppid=7736 vsize=13982780 memory=12980 CPUtime=0.77 cores=0,2,4,6
/proc/7738/task/7744/stat : 7744 (java) S 7736 7736 17292 0 -1 1077944384 44209 0 0 0 63 14 0 0 20 0 15 0 19060328 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528773466224 140529295006338 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7745] ppid=7736 vsize=13982780 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7745/stat : 7745 (java) S 7736 7736 17292 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528772412256 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7746] ppid=7736 vsize=13982780 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7746/stat : 7746 (java) S 7736 7736 17292 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 19060328 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528771359872 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7747] ppid=7736 vsize=13982780 memory=722828 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7747/stat : 7747 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528770308176 140529295013787 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7748] ppid=7736 vsize=13982780 memory=288230604624101684 CPUtime=5.43 cores=0,2,4,6
/proc/7738/task/7748/stat : 7748 (java) S 7736 7736 17292 0 -1 1077944384 31943 0 0 0 539 4 0 0 20 0 15 0 19060331 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528769256048 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7749] ppid=7736 vsize=13982780 memory=14408207351153925 CPUtime=5.03 cores=0,2,4,6
/proc/7738/task/7749/stat : 7749 (java) S 7736 7736 17292 0 -1 1077944384 28004 0 0 0 500 3 0 0 20 0 15 0 19060331 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528768203248 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7750] ppid=7736 vsize=13982780 memory=1584 CPUtime=1.01 cores=0,2,4,6
/proc/7738/task/7750/stat : 7750 (java) S 7736 7736 17292 0 -1 1077944384 11841 0 0 0 98 3 0 0 20 0 15 0 19060331 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528767150960 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7751] ppid=7736 vsize=13982780 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7751/stat : 7751 (java) S 7736 7736 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19060331 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528766098400 140529295005397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
[pid=7738/tid=7752] ppid=7736 vsize=13982780 memory=844 CPUtime=1.11 cores=0,2,4,6
/proc/7738/task/7752/stat : 7752 (java) S 7736 7736 17292 0 -1 1077944384 2442 0 0 0 56 55 0 0 20 0 15 0 19060335 14318366720 180707 18446744073709551615 4194304 4196468 140724966632560 140528765045168 140529295006338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140724966633906 140724966634082 140724966634082 140724966637519 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 724208 KiB

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

[startup+2450.41 s]
# the end of solver process 7736 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001858 s

[startup+2450.41 s]
# the end of solver process 7738 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.7 s, system=3.42542 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

Child status: 143
Real time (s): 2450.41
CPU time (s): 2520.12
CPU user time (s): 2516.7
CPU system time (s): 3.42542
CPU usage (%): 102.845
Max. virtual memory (cumulated for all children) (KiB): 13992604
Max. memory (cumulated for all children) (KiB): 1006568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.7
system time used= 3.42542
maximum resident set size= 1008832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65162
involuntary context switches= 3865


# summary of solver processes directly reported to runsolver:
#   pid: 7736,7738
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.7
#   total CPU system time (s): 3.42542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9082 second user time and 22.7001 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	136
Best CPU time to get the best result obtained on this benchmark	19993
Satisfiable
(Un)Satisfiability was proved
Number of variables	1639
Number of constraints	858
Number of domains	79
Minimum domain size	2
Maximum domain size	79
Distribution of domain sizes	[{"size":2,"count":821},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}]
Minimum variable degree	0
Maximum variable degree	39
Distribution of variable degrees	[{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":40},{"arity":3,"count":781},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	819
Distribution of constraint types	[{"type":"intension","count":819},{"type":"sum","count":39}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4283365

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data