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 4.0.5 seq (2017-08-18)	SAT (TO)	216	2520.04	2514.02

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281895-1503130089.xml"  -tl '2520s' -p 1 -x 0
0.07/0.29	c [HOME/instance-4281895-1503130089.xml, -tl, 2520s, -p, 1, -x, 0]
0.25/0.35	c simple solver
0.25/0.41	c parse instance...
1.51/0.90	c solve instance...
2.14/1.01	o 440 
2.14/1.04	o 404 
2.14/1.06	o 344 
2.14/1.09	o 320 
2.14/1.10	o 308 
2.46/1.13	o 296 
2.46/1.14	o 284 
2.74/1.27	o 236 
1785.95/1780.49	o 220 
1825.51/1819.89	o 216 
2520.02/2514.01	s SATISFIABLE
2520.02/2514.01	v <instantiation>
2520.02/2514.01	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.02/2514.01	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 -2 -3 0 1 0 -3 -4 1 2 -3 2 -1 -4 5 4 -1 -2 3 -2 1 2 1 4 -1 0 -3 2 -1 -2 3 0 3 0 3 0 -1 -2 -1 9 4 9 0 1 0 9 16 1 4 9 4 1 16 25 16 1 4 9 4 1 4 1 16 1 0 9 4 1 4 9 0 9 0 9 0 1 4 1 </values>
2520.02/2514.01	v </instantiation>
2520.02/2514.01	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 (14651 MiB free)
  memory of node 1: 16384 MiB (15760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281895-1503130089/watcher-4281895-1503130089 -o /tmp/evaluation-result-4281895-1503130089/solver-4281895-1503130089 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15587 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1321035094 HOME/instance-4281895-1503130089.xml 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB

solver pid=22228, runsolver pid=22225

[startup+0.100142 s]*
/proc/loadavg: 2.11 2.08 1.98 3/197 22230
/proc/meminfo: memFree=31141596/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 2403 0 0 0 0 0 0 0 20 0 6 0 11416923 13677060096 2599 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3339126 2664 1203 1 0 3329096 0
[pid=22230/tid=22231] ppid=22228 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 1176 0 0 0 0 0 0 0 20 0 6 0 11416923 13677060096 2664 18446744073709551615 4194304 4196468 140732803859168 140244629383272 140244606947325 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 11416924 13677060096 2664 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13356504 memory=140174073857664 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 11416924 13677060096 2664 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 11416924 13677060096 2664 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 11416924 13677060096 2664 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB

[startup+0.209925 s]*
/proc/loadavg: 2.11 2.08 1.98 3/211 22244
/proc/meminfo: memFree=31130276/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13974352 memory=22784 CPUtime=0.07 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 5141 0 0 0 6 1 0 0 20 0 15 0 11416923 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3493588 5696 2716 1 0 3482964 0
[pid=22230/tid=22231] ppid=22228 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 3302 0 0 0 5 0 0 0 20 0 15 0 11416923 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244629367184 140244625163421 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13974352 memory=8941 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13974352 memory=3616589181719217824 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13974352 memory=140174073857664 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416925 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11416926 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11416926 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) S 22228 22228 15523 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 11416928 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13974352 memory=140174073857664 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) S 22228 22228 15523 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 11416928 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13974352 memory=140174073857664 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416934 14309736448 5696 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24164 KiB

[startup+0.310551 s]*
/proc/loadavg: 2.11 2.08 1.98 3/211 22244
/proc/meminfo: memFree=31119408/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13974352 memory=36580 CPUtime=0.25 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 8745 0 0 0 23 2 0 0 20 0 15 0 11416923 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3493588 9145 2934 1 0 3482964 0
[pid=22230/tid=22231] ppid=22228 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 6062 0 0 0 14 2 0 0 20 0 15 0 11416923 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244629343472 140244609221982 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416925 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11416926 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11416926 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) S 22228 22228 15523 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 11416928 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) S 22228 22228 15523 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 11416928 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13974352 memory=140174073857664 CPUtime=0.05 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) S 22228 22228 15523 0 -1 1077944384 698 0 0 0 5 0 0 0 20 0 15 0 11416928 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13974352 memory=140174073857664 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416934 14309736448 9145 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37960 KiB

[startup+0.702396 s]
/proc/loadavg: 2.11 2.08 1.98 4/211 22244
/proc/meminfo: memFree=31106052/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13980732 memory=64932 CPUtime=1.17 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 12347 0 0 0 112 5 0 0 20 0 15 0 11416923 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3495183 16233 3162 1 0 3483476 0
[pid=22230/tid=22231] ppid=22228 vsize=13980732 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 8506 0 0 0 50 3 0 0 20 0 15 0 11416923 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244629360256 140244625153430 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13980732 memory=83396 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13980732 memory=280347950620096 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11416925 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13980732 memory=8458433173657106229 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13980732 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13980732 memory=4420 CPUtime=0.16 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) R 22228 22228 15523 0 -1 4202560 826 0 0 0 16 0 0 0 20 0 15 0 11416928 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244609566384 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13980732 memory=6628 CPUtime=0.12 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) R 22228 22228 15523 0 -1 4202560 370 0 0 0 12 0 0 0 20 0 15 0 11416928 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244605842506 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13980732 memory=8836 CPUtime=0.31 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) R 22228 22228 15523 0 -1 1077944384 1337 0 0 0 31 0 0 0 20 0 15 0 11416928 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13980732 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416934 14316269568 16233 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66312 KiB

[startup+1.50086 s]
/proc/loadavg: 2.11 2.08 1.98 6/211 22244
/proc/meminfo: memFree=31049748/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13980732 memory=116296 CPUtime=3.65 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 23483 0 0 0 358 7 0 0 20 0 15 0 11416923 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3495183 29074 3194 1 0 3483476 0
[pid=22230/tid=22231] ppid=22228 vsize=13980732 memory=2756 CPUtime=1.33 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 9919 0 0 0 129 4 0 0 20 0 15 0 11416923 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244629380528 140244260469139 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13980732 memory=7235708367049615976 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13980732 memory=5787504188646319192 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13980732 memory=7378985683981527653 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13980732 memory=7590369036796979025 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11416924 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13980732 memory=107504 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11416925 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13980732 memory=105256 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 29074 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13980732 memory=4124 CPUtime=2.33 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) S 22228 22228 15523 0 -1 1077944384 18277 0 0 0 231 2 0 0 20 0 15 0 11416928 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) S 22228 22228 15523 0 -1 1077944384 17039 0 0 0 244 2 0 0 20 0 15 0 11416928 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13980732 memory=1380 CPUtime=0.71 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) S 22228 22228 15523 0 -1 1077944384 9510 0 0 0 70 1 0 0 20 0 15 0 11416928 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13980732 memory=167704 CPUtime=0.47 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1581 0 0 0 22 25 0 0 20 0 15 0 11416934 14316269568 42438 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 2388.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 171132 KiB

[startup+2442.3 s]
/proc/loadavg: 1.62 1.66 1.79 3/211 22489
/proc/meminfo: memFree=28250948/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13980732 memory=169896 CPUtime=2448.3 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 88136 0 0 0 244790 40 0 0 20 0 15 0 11416923 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3495183 42474 3237 1 0 3483476 0
[pid=22230/tid=22231] ppid=22228 vsize=13980732 memory=169896 CPUtime=2441.67 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 22997 0 0 0 244161 6 0 0 20 0 15 0 11416923 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244629381328 140244261347435 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 2406 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 4687 0 0 0 10 1 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13980732 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2753 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 3040 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 4451 0 0 0 9 2 0 0 20 0 15 0 11416925 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13980732 memory=169896 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13980732 memory=1380 CPUtime=2.33 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) S 22228 22228 15523 0 -1 1077944384 18279 0 0 0 231 2 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) S 22228 22228 15523 0 -1 1077944384 17041 0 0 0 244 2 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.71 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) S 22228 22228 15523 0 -1 1077944384 9512 0 0 0 70 1 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.49 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1602 0 0 0 23 26 0 0 20 0 15 0 11416934 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 2448.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 171276 KiB

[startup+2502.3 s]
/proc/loadavg: 1.67 1.66 1.79 3/211 22491
/proc/meminfo: memFree=27832600/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13980732 memory=169896 CPUtime=2508.3 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 88162 0 0 0 250790 40 0 0 20 0 15 0 11416923 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3495183 42474 3237 1 0 3483476 0
[pid=22230/tid=22231] ppid=22228 vsize=13980732 memory=169896 CPUtime=2501.66 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 23008 0 0 0 250160 6 0 0 20 0 15 0 11416923 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244629381056 140244260797553 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.12 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 2406 0 0 0 10 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 4687 0 0 0 10 1 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2759 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 3041 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13980732 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 4455 0 0 0 9 2 0 0 20 0 15 0 11416925 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13980732 memory=169896 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13980732 memory=169896 CPUtime=2.33 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) S 22228 22228 15523 0 -1 1077944384 18279 0 0 0 231 2 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) S 22228 22228 15523 0 -1 1077944384 17041 0 0 0 244 2 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13980732 memory=1380 CPUtime=0.71 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) S 22228 22228 15523 0 -1 1077944384 9512 0 0 0 70 1 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13980732 memory=169896 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13980732 memory=169896 CPUtime=0.49 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1606 0 0 0 23 26 0 0 20 0 15 0 11416934 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 2508.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 171276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514 s]*
/proc/loadavg: 1.72 1.68 1.79 3/211 22492
/proc/meminfo: memFree=27331876/32770624 swapFree=67108860/67108860
[pid=22228] ppid=22225 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22228/stat : 22228 (xcsp3-exec) S 22225 22228 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11416913 9740288 345 18446744073709551615 4194304 5098028 140731867456048 140731867454152 140670137594492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 34705408 140731867459961 140731867460166 140731867460166 140731867463659 0
/proc/22228/statm: 2378 345 289 221 0 87 0
[pid=22230] ppid=22228 vsize=13980732 memory=169896 CPUtime=2520.02 cores=1,3,5,7
/proc/22230/stat : 22230 (java) S 22228 22228 15523 0 -1 1077944320 88339 0 0 0 251961 41 0 0 20 0 15 0 11416923 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140732803841712 140244625141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
/proc/22230/statm: 3495183 42474 3237 1 0 3483476 0
[pid=22230/tid=22231] ppid=22228 vsize=13980732 memory=-8774313645642428999 CPUtime=2513.36 cores=1,3,5,7
/proc/22230/task/22231/stat : 22231 (java) R 22228 22228 15523 0 -1 4202560 23156 0 0 0 251330 6 0 0 20 0 15 0 11416923 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244629381056 140244260877161 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22232] ppid=22228 vsize=13980732 memory=4126316290023845779 CPUtime=0.12 cores=1,3,5,7
/proc/22230/task/22232/stat : 22232 (java) S 22228 22228 15523 0 -1 1077944384 2406 0 0 0 10 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244582107536 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22233] ppid=22228 vsize=13980732 memory=3216 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22233/stat : 22233 (java) S 22228 22228 15523 0 -1 1077944384 4687 0 0 0 10 1 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244581054736 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22234] ppid=22228 vsize=13980732 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22234/stat : 22234 (java) S 22228 22228 15523 0 -1 1077944384 2759 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244580002448 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22235] ppid=22228 vsize=13980732 memory=15872 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22235/stat : 22235 (java) S 22228 22228 15523 0 -1 1077944384 3041 0 0 0 9 2 0 0 20 0 15 0 11416924 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244578949648 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22236] ppid=22228 vsize=13980732 memory=18448 CPUtime=0.11 cores=1,3,5,7
/proc/22230/task/22236/stat : 22236 (java) S 22228 22228 15523 0 -1 1077944384 4460 0 0 0 9 2 0 0 20 0 15 0 11416925 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244102929008 140244625152642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22237] ppid=22228 vsize=13980732 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22237/stat : 22237 (java) S 22228 22228 15523 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244101874976 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22238] ppid=22228 vsize=13980732 memory=7488 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22238/stat : 22238 (java) S 22228 22228 15523 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11416926 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244100822640 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22239] ppid=22228 vsize=13980732 memory=1244 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22239/stat : 22239 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244099770960 140244625160091 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22240] ppid=22228 vsize=13980732 memory=644 CPUtime=2.33 cores=1,3,5,7
/proc/22230/task/22240/stat : 22240 (java) S 22228 22228 15523 0 -1 1077944384 18281 0 0 0 231 2 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244098717808 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22241] ppid=22228 vsize=13980732 memory=1792 CPUtime=2.46 cores=1,3,5,7
/proc/22230/task/22241/stat : 22241 (java) S 22228 22228 15523 0 -1 1077944384 17043 0 0 0 244 2 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244097665008 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22242] ppid=22228 vsize=13980732 memory=956 CPUtime=0.71 cores=1,3,5,7
/proc/22230/task/22242/stat : 22242 (java) S 22228 22228 15523 0 -1 1077944384 9515 0 0 0 70 1 0 0 20 0 15 0 11416928 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244096612720 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22243] ppid=22228 vsize=13980732 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/22230/task/22243/stat : 22243 (java) S 22228 22228 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11416929 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244095560160 140244625151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
[pid=22230/tid=22244] ppid=22228 vsize=13980732 memory=1380 CPUtime=0.5 cores=1,3,5,7
/proc/22230/task/22244/stat : 22244 (java) S 22228 22228 15523 0 -1 1077944384 1623 0 0 0 23 27 0 0 20 0 15 0 11416934 14316269568 42474 18446744073709551615 4194304 4196468 140732803859168 140244094507952 140244625152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22896640 140732803862962 140732803863138 140732803863138 140732803866575 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 171276 KiB

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

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

[startup+2514.02 s]
# the end of solver process 22230 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.62 s, system=0.415909 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): 2514.02
CPU time (s): 2520.04
CPU user time (s): 2519.62
CPU system time (s): 0.415909
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 13992200
Max. memory (cumulated for all children) (KiB): 230996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.415909
maximum resident set size= 235776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59396
involuntary context switches= 1151


# summary of solver processes directly reported to runsolver:
#   pid: 22228,22230
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.62
#   total CPU system time (s): 0.415909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5971 second user time and 15.3354 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 4281895

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