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-07-26)	SAT (TO)	188	2520.1001	2450.9099

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272085-1502791483.xml"  -tl '2520s' -p 1 -x 3
0.19/0.23	c [HOME/instance-4272085-1502791483.xml, -tl, 2520s, -p, 1, -x, 3]
0.19/0.29	c simple solver
0.36/0.35	c parse instance...
1.66/0.86	c solve instance...
1.94/0.99	o 440 
3.24/1.39	o 404 
4.17/1.64	o 344 
5.09/1.95	o 320 
5.09/1.99	o 308 
6.23/2.35	o 296 
6.51/2.44	o 284 
8.87/3.71	o 236 
1601.49/1554.35	o 220 
1923.21/1868.09	o 188 
2520.07/2450.90	s SATISFIABLE
2520.07/2450.90	v <instantiation>
2520.07/2450.90	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.07/2450.90	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.07/2450.90	v </instantiation>
2520.07/2450.90	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 (15170 MiB free)
  memory of node 1: 16384 MiB (14806 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272085-1502791483/watcher-4272085-1502791483 -o /tmp/evaluation-result-4272085-1502791483/solver-4272085-1502791483 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 785766531 HOME/instance-4272085-1502791483.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=30290, runsolver pid=30287
Current StackSize limit: 8192 KiB


[startup+0.100197 s]*
/proc/loadavg: 1.80 1.59 1.52 3/210 30300
/proc/meminfo: memFree=30687868/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13840740 memory=19976 CPUtime=0.05 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 4390 0 0 0 4 1 0 0 20 0 13 0 33030912 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3460185 4994 2378 1 0 3449682 0
[pid=30292/tid=30293] ppid=30290 vsize=13840740 memory=-6082230505803190631 CPUtime=0.04 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 2788 0 0 0 4 0 0 0 20 0 13 0 33030912 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140357355118872 140357350904989 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13840740 memory=5767625798832130441 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 33030913 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13840740 memory=140646817224320 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 33030913 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 33030913 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13840740 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 33030913 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 33030915 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 33030915 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356926436896 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 33030915 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356925384048 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 33030918 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) R 30290 30290 7968 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 13 0 33030918 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356923267144 140357329274873 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) R 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 33030918 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356922226624 140357350893269 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) S 30290 30290 7968 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 13 0 33030918 14172917760 4994 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 21356 KiB

[startup+0.21185 s]*
/proc/loadavg: 1.80 1.59 1.52 5/216 30306
/proc/meminfo: memFree=30679156/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13974352 memory=31372 CPUtime=0.19 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 6289 0 0 0 18 1 0 0 20 0 15 0 33030912 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3493588 7843 2965 1 0 3482964 0
[pid=30292/tid=30293] ppid=30290 vsize=13974352 memory=7824050459788614560 CPUtime=0.13 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 3525 0 0 0 12 1 0 0 20 0 15 0 33030912 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140357355119936 140357334963550 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13974352 memory=5767625798832130441 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13974352 memory=140646817224320 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33030913 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030915 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 33030915 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356926436896 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 33030915 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356925384048 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) R 30290 30290 7968 0 -1 4202560 437 0 0 0 1 0 0 0 20 0 15 0 33030918 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356923279728 140357331583360 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) R 30290 30290 7968 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 33030918 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356922226928 140357350894210 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13974352 memory=140646817224320 CPUtime=0.04 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) R 30290 30290 7968 0 -1 4202560 718 0 0 0 4 0 0 0 20 0 15 0 33030918 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356921173312 140357329840763 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13974352 memory=140646817224320 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33030921 14309736448 7843 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32752 KiB

[startup+0.311035 s]*
/proc/loadavg: 1.80 1.59 1.52 4/216 30306
/proc/meminfo: memFree=30667960/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13978608 memory=40292 CPUtime=0.36 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 9382 0 0 0 33 3 0 0 20 0 15 0 33030912 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3494652 10073 3013 1 0 3482964 0
[pid=30292/tid=30293] ppid=30290 vsize=13978608 memory=7824050459788614560 CPUtime=0.22 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 6481 0 0 0 20 2 0 0 20 0 15 0 33030912 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140357355105088 140357343561077 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13978608 memory=5767625798832130441 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13978608 memory=140646817254101 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33030913 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13978608 memory=140646690210705 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13978608 memory=281293380395808 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030915 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13978608 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 33030915 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356926436896 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13978608 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 33030915 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356925384048 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13978608 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) S 30290 30290 7968 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 33030918 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356923279728 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13978608 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) S 30290 30290 7968 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 33030918 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356922226928 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13978608 memory=281293507430720 CPUtime=0.08 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) S 30290 30290 7968 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 33030918 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13978608 memory=140646817224319 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13978608 memory=140646817224320 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33030921 14314094592 10073 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41672 KiB

[startup+0.700712 s]
/proc/loadavg: 1.80 1.59 1.52 6/216 30306
/proc/meminfo: memFree=30656896/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13980732 memory=72624 CPUtime=1.31 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 13239 0 0 0 125 6 0 0 20 0 15 0 33030912 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3495183 18156 3185 1 0 3483476 0
[pid=30292/tid=30293] ppid=30290 vsize=13980732 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 8511 0 0 0 56 3 0 0 20 0 15 0 33030912 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140357355118824 140356994689340 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33030913 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33030913 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 33030915 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 33030915 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356926436896 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 33030915 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356925384048 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13980732 memory=8704 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14316269568 18156 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13980732 memory=1440 CPUtime=0.15 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) R 30290 30290 7968 0 -1 4202560 1077 0 0 0 15 0 0 0 20 0 15 0 33030918 14316269568 18222 18446744073709551615 4194304 4196468 140725910019328 140356923269200 140357331583360 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13980732 memory=9916 CPUtime=0.18 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) R 30290 30290 7968 0 -1 4202560 744 0 0 0 18 0 0 0 20 0 15 0 33030918 14316269568 18222 18446744073709551615 4194304 4196468 140725910019328 140356922207944 140357331583360 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13980732 memory=4639098309541127526 CPUtime=0.34 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) R 30290 30290 7968 0 -1 1077944384 1663 0 0 0 34 0 0 0 20 0 15 0 33030918 14316269568 18222 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13980732 memory=7885635084775281009 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14316269568 18222 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13980732 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33030921 14316269568 18222 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 74004 KiB

[startup+1.50144 s]
/proc/loadavg: 1.80 1.59 1.52 6/216 30306
/proc/meminfo: memFree=30606068/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13980732 memory=141004 CPUtime=3.87 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 26283 0 0 0 378 9 0 0 20 0 15 0 33030912 14316269568 35251 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3495183 35251 3196 1 0 3483476 0
[pid=30292/tid=30293] ppid=30290 vsize=13980732 memory=1380 CPUtime=1.38 cores=0,2,4,6

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

/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356925384064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13982780 memory=1380 CPUtime=4.63 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) S 30290 30290 7968 0 -1 1077944384 28714 0 0 0 458 5 0 0 20 0 15 0 33030918 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356923279728 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13982780 memory=980592 CPUtime=4.75 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) S 30290 30290 7968 0 -1 1077944384 31630 0 0 0 472 3 0 0 20 0 15 0 33030918 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356922226928 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13982780 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) S 30290 30290 7968 0 -1 1077944384 10766 0 0 0 95 3 0 0 20 0 15 0 33030918 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13982780 memory=1016632 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13982780 memory=2796 CPUtime=1.05 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1723 0 0 0 53 52 0 0 20 0 15 0 33030921 14318366720 254158 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 2450.13 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1018012 KiB

[startup+2442.3 s]
/proc/loadavg: 1.58 1.58 1.64 3/217 30634
/proc/meminfo: memFree=29762336/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13982780 memory=1064672 CPUtime=2511.36 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 238080 0 0 0 250766 370 0 0 20 0 15 0 33030912 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3495695 266168 3258 1 0 3483988 0
[pid=30292/tid=30293] ppid=30290 vsize=13982780 memory=1064672 CPUtime=2421.1 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 58725 0 0 0 242097 13 0 0 20 0 15 0 33030912 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140357355122560 140357000834139 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13982780 memory=1016536 CPUtime=19.55 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 16563 0 0 0 1881 74 0 0 20 0 15 0 33030913 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13982780 memory=1063828 CPUtime=19.47 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 15989 0 0 0 1874 73 0 0 20 0 15 0 33030913 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13982780 memory=1380 CPUtime=19.48 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 14782 0 0 0 1876 72 0 0 20 0 15 0 33030913 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13982780 memory=1380 CPUtime=19.43 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 17004 0 0 0 1871 72 0 0 20 0 15 0 33030913 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0.78 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 40803 0 0 0 66 12 0 0 20 0 15 0 33030915 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356926436960 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356925384064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13982780 memory=1380 CPUtime=4.63 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) S 30290 30290 7968 0 -1 1077944384 28716 0 0 0 458 5 0 0 20 0 15 0 33030918 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356923279728 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13982780 memory=1064672 CPUtime=4.75 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) S 30290 30290 7968 0 -1 1077944384 31632 0 0 0 472 3 0 0 20 0 15 0 33030918 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356922226928 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13982780 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) S 30290 30290 7968 0 -1 1077944384 10768 0 0 0 95 3 0 0 20 0 15 0 33030918 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13982780 memory=1064672 CPUtime=1.08 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1748 0 0 0 54 54 0 0 20 0 15 0 33030921 14318366720 266168 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 2511.36 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1066052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.9 s]
/proc/loadavg: 1.56 1.57 1.64 3/217 30634
/proc/meminfo: memFree=29763080/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13982780 memory=1052872 CPUtime=2520.07 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 238103 0 0 0 251637 370 0 0 20 0 15 0 33030912 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3495695 263218 3258 1 0 3483988 0
[pid=30292/tid=30293] ppid=30290 vsize=13982780 memory=1052872 CPUtime=2429.66 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 58733 0 0 0 242953 13 0 0 20 0 15 0 33030912 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140357355122384 140356992351223 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13982780 memory=1064672 CPUtime=19.59 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 16563 0 0 0 1885 74 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13982780 memory=1064672 CPUtime=19.51 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 15992 0 0 0 1878 73 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13982780 memory=1064672 CPUtime=19.52 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 14788 0 0 0 1880 72 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13982780 memory=1380 CPUtime=19.47 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 17008 0 0 0 1875 72 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13982780 memory=1063828 CPUtime=0.78 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 40803 0 0 0 66 12 0 0 20 0 15 0 33030915 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13982780 memory=1016536 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356926436960 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356925384064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13982780 memory=1380 CPUtime=4.63 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) S 30290 30290 7968 0 -1 1077944384 28716 0 0 0 458 5 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356923279728 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13982780 memory=1052872 CPUtime=4.75 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) S 30290 30290 7968 0 -1 1077944384 31632 0 0 0 472 3 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356922226928 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13982780 memory=1052872 CPUtime=0.98 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) S 30290 30290 7968 0 -1 1077944384 10768 0 0 0 95 3 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13982780 memory=1380 CPUtime=1.09 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1750 0 0 0 54 55 0 0 20 0 15 0 33030921 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1054252 KiB

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

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

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

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

[startup+2450.9 s]
/proc/loadavg: 1.56 1.57 1.64 3/217 30634
/proc/meminfo: memFree=29763080/32770624 swapFree=67108860/67108860
[pid=30290] ppid=30287 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30290/stat : 30290 (xcsp3-exec) S 30287 30290 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33030907 9740288 345 18446744073709551615 4194304 5098028 140728442433360 140728442431464 139950066541180 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 25497600 140728442442106 140728442442310 140728442442310 140728442445803 0
/proc/30290/statm: 2378 345 289 221 0 87 0
[pid=30292] ppid=30290 vsize=13982780 memory=1052872 CPUtime=2520.07 cores=0,2,4,6
/proc/30292/stat : 30292 (java) S 30290 30290 7968 0 -1 1077944320 238103 0 0 0 251637 370 0 0 20 0 15 0 33030912 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140725910001872 140357350883063 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
/proc/30292/statm: 3495695 263218 3258 1 0 3483988 0
[pid=30292/tid=30293] ppid=30290 vsize=13982780 memory=1052872 CPUtime=2429.66 cores=0,2,4,6
/proc/30292/task/30293/stat : 30293 (java) R 30290 30290 7968 0 -1 4202560 58733 0 0 0 242953 13 0 0 20 0 15 0 33030912 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140357355122384 140356992351223 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30294] ppid=30290 vsize=13982780 memory=1064672 CPUtime=19.59 cores=0,2,4,6
/proc/30292/task/30294/stat : 30294 (java) S 30290 30290 7968 0 -1 1077944384 16563 0 0 0 1885 74 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140357318441616 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30295] ppid=30290 vsize=13982780 memory=1064672 CPUtime=19.51 cores=0,2,4,6
/proc/30292/task/30295/stat : 30295 (java) S 30290 30290 7968 0 -1 1077944384 15992 0 0 0 1878 73 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356949723664 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30296] ppid=30290 vsize=13982780 memory=1064672 CPUtime=19.52 cores=0,2,4,6
/proc/30292/task/30296/stat : 30296 (java) S 30290 30290 7968 0 -1 1077944384 14788 0 0 0 1880 72 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356948670864 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30297] ppid=30290 vsize=13982780 memory=1380 CPUtime=19.47 cores=0,2,4,6
/proc/30292/task/30297/stat : 30297 (java) S 30290 30290 7968 0 -1 1077944384 17008 0 0 0 1875 72 0 0 20 0 15 0 33030913 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356947618064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30298] ppid=30290 vsize=13982780 memory=1063828 CPUtime=0.78 cores=0,2,4,6
/proc/30292/task/30298/stat : 30298 (java) S 30290 30290 7968 0 -1 1077944384 40803 0 0 0 66 12 0 0 20 0 15 0 33030915 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356927490928 140357350894210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30299] ppid=30290 vsize=13982780 memory=1016536 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30299/stat : 30299 (java) S 30290 30290 7968 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356926436960 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30300] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30300/stat : 30300 (java) S 30290 30290 7968 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 33030915 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356925384064 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30301] ppid=30290 vsize=13982780 memory=1064672 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30301/stat : 30301 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356924332368 140357350901659 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30302] ppid=30290 vsize=13982780 memory=1380 CPUtime=4.63 cores=0,2,4,6
/proc/30292/task/30302/stat : 30302 (java) S 30290 30290 7968 0 -1 1077944384 28716 0 0 0 458 5 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356923279728 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30303] ppid=30290 vsize=13982780 memory=1052872 CPUtime=4.75 cores=0,2,4,6
/proc/30292/task/30303/stat : 30303 (java) S 30290 30290 7968 0 -1 1077944384 31632 0 0 0 472 3 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356922226928 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30304] ppid=30290 vsize=13982780 memory=1052872 CPUtime=0.98 cores=0,2,4,6
/proc/30292/task/30304/stat : 30304 (java) S 30290 30290 7968 0 -1 1077944384 10768 0 0 0 95 3 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356921174128 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30305] ppid=30290 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30292/task/30305/stat : 30305 (java) S 30290 30290 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33030918 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356920121568 140357350893269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
[pid=30292/tid=30306] ppid=30290 vsize=13982780 memory=1380 CPUtime=1.09 cores=0,2,4,6
/proc/30292/task/30306/stat : 30306 (java) S 30290 30290 7968 0 -1 1077944384 1750 0 0 0 54 55 0 0 20 0 15 0 33030921 14318366720 263218 18446744073709551615 4194304 4196468 140725910019328 140356919069872 140357350894210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 36380672 140725910024626 140725910024802 140725910024802 140725910028239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 1054252 KiB

Child status: 143
Real time (s): 2450.91
CPU time (s): 2520.1
CPU user time (s): 2516.38
CPU system time (s): 3.71628
CPU usage (%): 102.823
Max. virtual memory (cumulated for all children) (KiB): 13992312
Max. memory (cumulated for all children) (KiB): 1073364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.71628
maximum resident set size= 1084756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65268
involuntary context switches= 5386


# summary of solver processes directly reported to runsolver:
#   pid: 30290,30292
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.38
#   total CPU system time (s): 3.71628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2143 second user time and 23.2354 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 4272085

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