2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	212	2520.03	2514.02

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306742-1534109097.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.17	c [HOME/instance-4306742-1534109097.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
1.96/0.85	c solve instance...
2.28/0.95	o 448 
2.28/0.95	o 436 
2.28/0.98	o 420 
2.93/1.13	o 364 
2.93/1.13	o 360 
10.29/6.02	o 296 
20.22/15.77	o 288 
22.84/18.34	o 280 
31.06/26.55	o 276 
44.88/40.28	o 224 
1110.01/1104.62	o 212 
2520.00/2514.01	s SATISFIABLE
2520.00/2514.01	v <instantiation>
2520.00/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.00/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 -1 -4 1 0 1 2 1 0 -3 -2 -3 2 5 0 1 0 1 0 1 0 3 0 3 -4 3 0 3 2 -5 2 -1 -4 3 2 -1 4 -1 0 1 1 16 1 0 1 4 1 0 9 4 9 4 25 0 1 0 1 0 1 0 9 0 9 16 9 0 9 4 25 4 1 16 9 4 1 16 1 0 1 </values>
2520.00/2514.01	v </instantiation>
2520.00/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 (1210 MiB free)
  memory of node 1: 16384 MiB (1743 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306742-1534109097/watcher-4306742-1534109097 -o /tmp/evaluation-result-4306742-1534109097/solver-4306742-1534109097 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1425134110 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306742-1534109097.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=27042, runsolver pid=27039

[startup+0.100151 s]*
/proc/loadavg: 1.79 1.69 1.65 4/218 27058
/proc/meminfo: memFree=3008372/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14082940 memory=28592 CPUtime=0.12 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 5502 0 0 0 11 1 0 0 20 0 15 0 228472891 14420930560 7148 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3520735 7148 3027 1 0 3483012 0
[pid=27044/tid=27045] ppid=27042 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 3519 0 0 0 8 0 0 0 20 0 15 0 228472892 14420930560 7148 33554432000 4194304 4196468 140732760260224 140111088296192 140111076301630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 7213 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14082940 memory=140236174730880 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 7213 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 7213 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 7213 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14082940 memory=140236174730880 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472894 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228472894 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228472895 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 228472897 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14082940 memory=140236174730880 CPUtime=0.01 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) R 27042 27042 24451 0 -1 4202560 297 0 0 0 1 0 0 0 20 0 15 0 228472897 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110258366576 140111062990214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14082940 memory=140236174730880 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472897 14420930560 7213 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30048 KiB

[startup+0.210512 s]*
/proc/loadavg: 1.79 1.69 1.65 4/218 27058
/proc/meminfo: memFree=2995748/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14082940 memory=41416 CPUtime=0.34 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 8334 0 0 0 32 2 0 0 20 0 15 0 228472891 14420930560 10354 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3520735 10354 3229 1 0 3483012 0
[pid=27044/tid=27045] ppid=27042 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 5440 0 0 0 18 1 0 0 20 0 15 0 228472892 14420930560 10354 33554432000 4194304 4196468 140732760260224 140111088288488 140111076742517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 10354 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14082940 memory=140236175953169 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 10354 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 10354 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14420930560 10354 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14082940 memory=140236174730880 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228472894 14420930560 10354 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228472894 14420930560 10354 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228472895 14420930560 10354 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14420930560 10354 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 15 0 228472897 14420930560 10354 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 15 0 228472897 14420930560 10354 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14082972 memory=140236174730880 CPUtime=0.07 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 789 0 0 0 7 0 0 0 20 0 15 0 228472897 14420963328 10354 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14420963328 10354 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472897 14420963328 10354 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42872 KiB

[startup+0.310535 s]*
/proc/loadavg: 1.79 1.69 1.65 4/218 27058
/proc/meminfo: memFree=2989420/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14087196 memory=48496 CPUtime=0.53 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 9249 0 0 0 50 3 0 0 20 0 15 0 228472891 14425288704 12124 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3521799 12124 3273 1 0 3483012 0
[pid=27044/tid=27045] ppid=27042 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 6154 0 0 0 27 2 0 0 20 0 15 0 228472892 14425288704 12124 33554432000 4194304 4196468 140732760260224 140111088295616 140111068144990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14425288704 12124 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14425288704 12124 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14425288704 12124 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14425288704 12124 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228472894 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228472894 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228472895 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 579 0 0 0 5 0 0 0 20 0 15 0 228472897 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 343 0 0 0 4 0 0 0 20 0 15 0 228472897 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 228472897 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472897 14425288704 12124 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49952 KiB

[startup+0.701351 s]
/proc/loadavg: 1.79 1.69 1.65 4/218 27058
/proc/meminfo: memFree=2974096/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14089320 memory=86804 CPUtime=1.61 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 12862 0 0 0 156 5 0 0 20 0 15 0 228472891 14427463680 21701 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3522330 21701 3362 1 0 3483524 0
[pid=27044/tid=27045] ppid=27042 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 7006 0 0 0 64 3 0 0 20 0 15 0 228472892 14427463680 21701 33554432000 4194304 4196468 140732760260224 140111088302768 140111068587866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14427463680 21701 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14427463680 21701 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14089320 memory=62000 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228472893 14427463680 21701 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472893 14427463680 21701 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228472894 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228472894 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228472895 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14089320 memory=5408 CPUtime=0.24 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) R 27042 27042 24451 0 -1 4202560 1317 0 0 0 24 0 0 0 20 0 15 0 228472897 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110260453192 140111067475398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14089320 memory=876 CPUtime=0.25 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) R 27042 27042 24451 0 -1 4202560 1081 0 0 0 25 0 0 0 20 0 15 0 228472897 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110259419376 140111068034279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14089320 memory=10096 CPUtime=0.43 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 2148 0 0 0 42 1 0 0 20 0 15 0 228472897 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228472897 14427463680 21701 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 88260 KiB

[startup+1.50086 s]
/proc/loadavg: 1.79 1.69 1.65 5/218 27058
/proc/meminfo: memFree=2919252/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0

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

/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228472895 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14091368 memory=165356 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14091368 memory=165356 CPUtime=2.22 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 16566 0 0 0 220 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14091368 memory=165356 CPUtime=2.23 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 16415 0 0 0 221 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14091368 memory=1456 CPUtime=0.77 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 10412 0 0 0 75 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.48 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 2163 0 0 0 20 28 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 2388.24 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 166812 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.75 1.77 3/218 27250
/proc/meminfo: memFree=12384988/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14091368 memory=165356 CPUtime=2448.27 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 84523 0 0 0 244784 43 0 0 20 0 15 0 228472891 14429560832 41339 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3522842 41339 3420 1 0 3484036 0
[pid=27044/tid=27045] ppid=27042 vsize=14091368 memory=165356 CPUtime=2441.85 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 21170 0 0 0 244178 7 0 0 20 0 15 0 228472892 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111088304048 140110714964521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 2855 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14091368 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2157 0 0 0 11 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 4668 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 2788 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14091368 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 3931 0 0 0 8 2 0 0 20 0 15 0 228472894 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14091368 memory=165356 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 228472894 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14091368 memory=165356 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228472895 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14091368 memory=165356 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14091368 memory=165356 CPUtime=2.22 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 16569 0 0 0 220 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14091368 memory=165356 CPUtime=2.23 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 16417 0 0 0 221 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14091368 memory=1456 CPUtime=0.77 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 10414 0 0 0 75 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14091368 memory=1456 CPUtime=0.49 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 2184 0 0 0 20 29 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 2448.27 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 166812 KiB

[startup+2502.3 s]
/proc/loadavg: 1.72 1.73 1.77 3/217 27251
/proc/meminfo: memFree=11291412/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14091368 memory=165356 CPUtime=2508.29 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 84574 0 0 0 250785 44 0 0 20 0 15 0 228472891 14429560832 41339 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3522842 41339 3420 1 0 3484036 0
[pid=27044/tid=27045] ppid=27042 vsize=14091368 memory=165356 CPUtime=2501.83 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 21190 0 0 0 250176 7 0 0 20 0 15 0 228472892 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111088303936 140110715747978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 2863 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2161 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 4673 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14091368 memory=51 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 2792 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41339 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14091368 memory=165356 CPUtime=0.1 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 3937 0 0 0 8 2 0 0 20 0 15 0 228472894 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14091368 memory=165356 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 228472894 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228472895 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14091368 memory=165356 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14091368 memory=165356 CPUtime=2.22 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 16569 0 0 0 220 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14091368 memory=4128 CPUtime=2.23 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 16417 0 0 0 221 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14091368 memory=62092 CPUtime=0.77 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 10414 0 0 0 75 2 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14091368 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14091368 memory=1456 CPUtime=0.51 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 2188 0 0 0 21 30 0 0 20 0 15 0 228472897 14429560832 41339 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 2508.29 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 166812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514 s]*
/proc/loadavg: 1.78 1.75 1.77 3/217 27251
/proc/meminfo: memFree=11289364/32770624 swapFree=67108860/67108860
[pid=27042] ppid=27039 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27042/stat : 27042 (xcsp3-exec) S 27039 27042 24451 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 228472891 115843072 364 33554432000 4194304 5098028 140732485273280 140732485271384 139737888117372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22228992 140732485280826 140732485281028 140732485281028 140732485283786 0
/proc/27042/statm: 28282 364 306 221 0 87 0
[pid=27044] ppid=27042 vsize=14091368 memory=167404 CPUtime=2520 cores=1,3,5,7
/proc/27044/stat : 27044 (java) S 27042 27042 24451 0 -1 1077944320 84580 0 0 0 251956 44 0 0 20 0 15 0 228472891 14429560832 41851 33554432000 4194304 4196468 140732760260224 140732760242768 140111084064503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
/proc/27044/statm: 3522842 41851 3420 1 0 3484036 0
[pid=27044/tid=27045] ppid=27042 vsize=14091368 memory=6791534058613427641 CPUtime=2513.54 cores=1,3,5,7
/proc/27044/task/27045/stat : 27045 (java) R 27042 27042 24451 0 -1 4202560 21191 0 0 0 251347 7 0 0 20 0 15 0 228472892 14429560832 41851 33554432000 4194304 4196468 140732760260224 140111088304096 140110715688922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27046] ppid=27042 vsize=14091368 memory=4126316290023845779 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27046/stat : 27046 (java) S 27042 27042 24451 0 -1 1077944384 2863 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41851 33554432000 4194304 4196468 140732760260224 140111036684944 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27047] ppid=27042 vsize=14091368 memory=3852 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27047/stat : 27047 (java) S 27042 27042 24451 0 -1 1077944384 2162 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41851 33554432000 4194304 4196468 140732760260224 140111035632144 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27048] ppid=27042 vsize=14091368 memory=2588 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27048/stat : 27048 (java) S 27042 27042 24451 0 -1 1077944384 4673 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41851 33554432000 4194304 4196468 140732760260224 140111034579344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27049] ppid=27042 vsize=14091368 memory=2588 CPUtime=0.13 cores=1,3,5,7
/proc/27044/task/27049/stat : 27049 (java) S 27042 27042 24451 0 -1 1077944384 2792 0 0 0 12 1 0 0 20 0 15 0 228472893 14429560832 41851 33554432000 4194304 4196468 140732760260224 140111033526544 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27050] ppid=27042 vsize=14091368 memory=4104 CPUtime=0.1 cores=1,3,5,7
/proc/27044/task/27050/stat : 27050 (java) S 27042 27042 24451 0 -1 1077944384 3939 0 0 0 8 2 0 0 20 0 15 0 228472894 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110264683376 140111084075650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27051] ppid=27042 vsize=14091368 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27051/stat : 27051 (java) S 27042 27042 24451 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 228472894 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110263629344 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27052] ppid=27042 vsize=14091368 memory=3268 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27052/stat : 27052 (java) S 27042 27042 24451 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228472895 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110262576496 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27053] ppid=27042 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27053/stat : 27053 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110261524816 140111084083099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27054] ppid=27042 vsize=14091368 memory=167404 CPUtime=2.22 cores=1,3,5,7
/proc/27044/task/27054/stat : 27054 (java) S 27042 27042 24451 0 -1 1077944384 16569 0 0 0 220 2 0 0 20 0 15 0 228472897 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110260472176 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27055] ppid=27042 vsize=14091368 memory=1408 CPUtime=2.23 cores=1,3,5,7
/proc/27044/task/27055/stat : 27055 (java) S 27042 27042 24451 0 -1 1077944384 16417 0 0 0 221 2 0 0 20 0 15 0 228472897 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110259419376 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27056] ppid=27042 vsize=14091368 memory=3312 CPUtime=0.77 cores=1,3,5,7
/proc/27044/task/27056/stat : 27056 (java) S 27042 27042 24451 0 -1 1077944384 10414 0 0 0 75 2 0 0 20 0 15 0 228472897 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110258366576 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27057] ppid=27042 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/task/27057/stat : 27057 (java) S 27042 27042 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228472897 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110257314016 140111084074709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
[pid=27044/tid=27058] ppid=27042 vsize=14091368 memory=1812648 CPUtime=0.51 cores=1,3,5,7
/proc/27044/task/27058/stat : 27058 (java) S 27042 27042 24451 0 -1 1077944384 2190 0 0 0 21 30 0 0 20 0 15 0 228472897 14429560832 41851 33554432000 4194304 4196468 140732760260224 140110256262320 140111084075650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29175808 140732760265862 140732760266033 140732760266033 140732760268751 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 168860 KiB

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

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.451122
maximum resident set size= 249844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85342
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59542
involuntary context switches= 1178


# summary of solver processes directly reported to runsolver:
#   pid: 27042,27044
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.58
#   total CPU system time (s): 0.451122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2127 second user time and 22.6224 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-040_c18.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	160
Best CPU time to get the best result obtained on this benchmark	2520.04
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 4306742

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