2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	236	245.765	240.02299

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270135-1502622111.xml"  -tl '264s' -p 1 -x 0
0.11/0.14	c [HOME/instance-4270135-1502622111.xml, -tl, 264s, -p, 1, -x, 0]
0.11/0.20	c simple solver
0.33/0.27	c parse instance...
1.58/0.76	c solve instance...
1.88/0.88	o 440 
2.20/0.91	o 404 
2.20/0.93	o 344 
2.20/0.97	o 320 
2.20/0.97	o 308 
2.20/1.00	o 296 
2.54/1.01	o 284 
2.86/1.17	o 236 
245.74/240.01	s SATISFIABLE
245.74/240.01	v <instantiation>
245.74/240.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>
245.74/240.01	v 	<values>1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -3 -4 -1 0 -1 2 3 0 -7 0 -3 0 1 -2 1 -2 1 -2 1 0 3 -2 -1 -2 -1 -2 3 -4 3 0 3 0 -7 2 1 0 1 0 -1 9 16 1 0 1 4 9 0 49 0 9 0 1 4 1 4 1 4 1 0 9 4 1 4 1 4 9 16 9 0 9 0 49 4 1 0 1 0 1 </values>
245.74/240.01	v </instantiation>
245.74/240.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 (15389 MiB free)
  memory of node 1: 16384 MiB (15277 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270135-1502622111/watcher-4270135-1502622111 -o /tmp/evaluation-result-4270135-1502622111/solver-4270135-1502622111 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502619962-4171 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1611748036 HOME/instance-4270135-1502622111.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=5572, runsolver pid=5569

[startup+0.100165 s]*
/proc/loadavg: 1.96 1.99 1.79 4/217 5588
/proc/meminfo: memFree=31386576/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13978596 memory=28628 CPUtime=0.11 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 5476 0 0 0 10 1 0 0 20 0 15 0 95298832 14314082304 7157 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3494649 7157 2882 1 0 3482966 0
[pid=5574/tid=5575] ppid=5572 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 3470 0 0 0 8 1 0 0 20 0 15 0 95298832 14314082304 7157 33554432000 4194304 4196468 140720610020880 140703233197872 140703213045086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13978596 memory=139724404131456 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298833 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13978596 memory=139724404131456 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298835 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95298835 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95298835 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 95298838 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) R 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13978596 memory=139724404131456 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5572 29331 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 95298838 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702134741360 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13978596 memory=139724404131456 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298838 14314082304 7157 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30012 KiB

[startup+0.21081 s]*
/proc/loadavg: 1.96 1.99 1.79 3/217 5588
/proc/meminfo: memFree=31374828/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13982852 memory=40804 CPUtime=0.33 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 8258 0 0 0 31 2 0 0 20 0 15 0 95298832 14318440448 10201 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3495713 10201 3075 1 0 3482966 0
[pid=5574/tid=5575] ppid=5572 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 5242 0 0 0 18 2 0 0 20 0 15 0 95298832 14318440448 10201 33554432000 4194304 4196468 140720610020880 140703233176304 140703213045086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13982852 memory=9541 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13982852 memory=4049919359400042213 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298835 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95298835 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13982852 memory=139724404131456 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95298835 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 624 0 0 0 3 0 0 0 20 0 15 0 95298838 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5572 29331 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 95298838 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13982852 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) R 5572 5572 29331 0 -1 4202560 852 0 0 0 8 0 0 0 20 0 15 0 95298838 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702134741360 140703214105456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298838 14318440448 10201 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42188 KiB

[startup+0.312882 s]*
/proc/loadavg: 1.96 1.99 1.79 4/217 5588
/proc/meminfo: memFree=31367860/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13982852 memory=48208 CPUtime=0.52 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 9225 0 0 0 48 4 0 0 20 0 15 0 95298832 14318440448 12052 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3495713 12052 3106 1 0 3482966 0
[pid=5574/tid=5575] ppid=5572 vsize=13982852 memory=-7246141791699957949 CPUtime=0.3 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 5917 0 0 0 27 3 0 0 20 0 15 0 95298832 14318440448 12052 33554432000 4194304 4196468 140720610020880 140703233202464 140703228986525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13982852 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13982852 memory=2110074885937060 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13982852 memory=139724278835647 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298833 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13982852 memory=279448682967072 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298835 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13982852 memory=139724278770663 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95298835 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13982852 memory=279448557680496 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95298835 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13982852 memory=279448557685104 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 630 0 0 0 3 0 0 0 20 0 15 0 95298838 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13982852 memory=67 CPUtime=0.03 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5572 29331 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 95298838 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13982852 memory=139724404131456 CPUtime=0.13 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) R 5572 5572 29331 0 -1 4202560 1051 0 0 0 13 0 0 0 20 0 15 0 95298838 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702134737728 140703207973187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13982852 memory=67 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13982852 memory=139724404131456 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298838 14318440448 12052 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49592 KiB

[startup+0.702693 s]
/proc/loadavg: 1.96 1.99 1.79 6/217 5588
/proc/meminfo: memFree=31351480/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13984976 memory=84292 CPUtime=1.58 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 12693 0 0 0 152 6 0 0 20 0 15 0 95298832 14320615424 21073 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3496244 21073 3212 1 0 3483478 0
[pid=5574/tid=5575] ppid=5572 vsize=13984976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 6614 0 0 0 63 4 0 0 20 0 15 0 95298832 14320615424 21073 33554432000 4194304 4196468 140720610020880 140703233201408 140703210816568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13984976 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13984976 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13984976 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13984976 memory=796 CPUtime=0.23 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) R 5572 5572 29331 0 -1 4202560 1370 0 0 0 23 0 0 0 20 0 15 0 95298838 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702136837008 140703228976534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13984976 memory=1424 CPUtime=0.23 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) R 5572 5572 29331 0 -1 4202560 1060 0 0 0 23 0 0 0 20 0 15 0 95298838 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702135776000 140703210485990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13984976 memory=7014751519583589713 CPUtime=0.41 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) R 5572 5572 29331 0 -1 1077944384 2343 0 0 0 41 0 0 0 20 0 15 0 95298838 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702134741488 140703228974805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13984976 memory=7453282923461502565 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 21073 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 85676 KiB

[startup+1.50087 s]
/proc/loadavg: 1.96 1.99 1.79 5/217 5588
/proc/meminfo: memFree=31307616/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0

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

/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13984976 memory=164 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13984976 memory=297300248525799715 CPUtime=2.45 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 19384 0 0 0 242 3 0 0 20 0 15 0 95298838 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13984976 memory=279448558909472 CPUtime=2.38 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5572 29331 0 -1 1077944384 17567 0 0 0 236 2 0 0 20 0 15 0 95298838 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13984976 memory=7594587674001172330 CPUtime=0.68 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5572 29331 0 -1 1077944384 6914 0 0 0 67 1 0 0 20 0 15 0 95298838 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702134741360 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13984976 memory=15058155342575 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13984976 memory=590019935660565996 CPUtime=0.02 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1147 0 0 0 1 1 0 0 20 0 15 0 95298838 14320615424 56388 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 107.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226936 KiB

[startup+162.301 s]
/proc/loadavg: 2.04 2.02 1.83 3/218 5598
/proc/meminfo: memFree=31141268/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13984976 memory=233872 CPUtime=167.95 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 63952 0 0 0 16778 17 0 0 20 0 15 0 95298832 14320615424 58468 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3496244 58468 3263 1 0 3483478 0
[pid=5574/tid=5575] ppid=5572 vsize=13984976 memory=233872 CPUtime=162.24 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 11893 0 0 0 16217 7 0 0 20 0 15 0 95298832 14320615424 58468 33554432000 4194304 4196468 140720610020880 140703233203400 140702871704218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13984976 memory=233872 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1143 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13984976 memory=233872 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13984976 memory=233872 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 687 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13984976 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 15 0 95298835 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13984976 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13984976 memory=233872 CPUtime=2.45 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 19552 0 0 0 242 3 0 0 20 0 15 0 95298838 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13984976 memory=4132 CPUtime=2.43 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5572 29331 0 -1 1077944384 19190 0 0 0 241 2 0 0 20 0 15 0 95298838 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13984976 memory=27528 CPUtime=0.68 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5572 29331 0 -1 1077944384 7085 0 0 0 67 1 0 0 20 0 15 0 95298838 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702134741360 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1182 0 0 0 2 3 0 0 20 0 15 0 95298838 14320615424 58468 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 167.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235256 KiB

[startup+222.301 s]
/proc/loadavg: 1.89 1.99 1.83 3/218 5828
/proc/meminfo: memFree=31330220/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13984976 memory=233892 CPUtime=228.01 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 64970 0 0 0 22782 19 0 0 20 0 15 0 95298832 14320615424 58473 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3496244 58473 3263 1 0 3483478 0
[pid=5574/tid=5575] ppid=5572 vsize=13984976 memory=1384 CPUtime=222.23 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 11982 0 0 0 22216 7 0 0 20 0 15 0 95298832 14320615424 58473 33554432000 4194304 4196468 140720610020880 140703233201232 140702872433439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13984976 memory=233892 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1143 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13984976 memory=233892 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 687 0 0 0 0 0 0 0 20 0 15 0 95298833 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13984976 memory=233892 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 15 0 95298835 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13984976 memory=16352 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13984976 memory=18444 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13984976 memory=1384 CPUtime=2.48 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 20333 0 0 0 245 3 0 0 20 0 15 0 95298838 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13984976 memory=1384 CPUtime=2.44 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5572 29331 0 -1 1077944384 19296 0 0 0 242 2 0 0 20 0 15 0 95298838 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13984976 memory=233892 CPUtime=0.68 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5572 29331 0 -1 1077944384 7085 0 0 0 67 1 0 0 20 0 15 0 95298838 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702134741360 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13984976 memory=27528 CPUtime=0.07 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1188 0 0 0 2 5 0 0 20 0 15 0 95298838 14320615424 58473 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 228.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235276 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.92 1.99 1.84 3/218 5828
/proc/meminfo: memFree=31322152/32770624 swapFree=67108860/67108860
[pid=5572] ppid=5569 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (xcsp3-exec) S 5569 5572 29331 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95298832 9740288 346 33554432000 4194304 5098028 140735971951264 140735971949368 140055537185404 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24121344 140735971955828 140735971956032 140735971956032 140735971958763 0
/proc/5572/statm: 2378 346 289 221 0 87 0
[pid=5574] ppid=5572 vsize=13984976 memory=233944 CPUtime=245.74 cores=0,2,4,6
/proc/5574/stat : 5574 (java) S 5572 5572 29331 0 -1 1077944320 67657 0 0 0 24555 19 0 0 20 0 15 0 95298832 14320615424 58486 33554432000 4194304 4196468 140720610020880 140720610003424 140703228964599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
/proc/5574/statm: 3496244 58486 3263 1 0 3483478 0
[pid=5574/tid=5575] ppid=5572 vsize=13984976 memory=6935054825532540783 CPUtime=239.93 cores=0,2,4,6
/proc/5574/task/5575/stat : 5575 (java) R 5572 5572 29331 0 -1 4202560 12316 0 0 0 23986 7 0 0 20 0 15 0 95298832 14320615424 58486 33554432000 4194304 4196468 140720610020880 140703233203296 140702872433284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5576] ppid=5572 vsize=13984976 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5576/stat : 5576 (java) S 5572 5572 29331 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702824462736 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5577] ppid=5572 vsize=13984976 memory=15872 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5577/stat : 5577 (java) S 5572 5572 29331 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702823409936 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5578] ppid=5572 vsize=13984976 memory=4052 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5578/stat : 5578 (java) S 5572 5572 29331 0 -1 1077944384 1111 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702822357648 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5579] ppid=5572 vsize=13984976 memory=16352 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5579/stat : 5579 (java) S 5572 5572 29331 0 -1 1077944384 1431 0 0 0 1 0 0 0 20 0 15 0 95298833 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702821304848 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5580] ppid=5572 vsize=13984976 memory=18444 CPUtime=0.01 cores=0,2,4,6
/proc/5574/task/5580/stat : 5580 (java) S 5572 5572 29331 0 -1 1077944384 732 0 0 0 1 0 0 0 20 0 15 0 95298835 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702141057648 140703228975746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5581] ppid=5572 vsize=13984976 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5581/stat : 5581 (java) S 5572 5572 29331 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702140003616 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5582] ppid=5572 vsize=13984976 memory=279448558853552 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5582/stat : 5582 (java) S 5572 5572 29331 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 95298835 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702138951280 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5583] ppid=5572 vsize=13984976 memory=576460758198939444 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5583/stat : 5583 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702137899600 140703228983195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5584] ppid=5572 vsize=13984976 memory=288284497907286801 CPUtime=2.48 cores=0,2,4,6
/proc/5574/task/5584/stat : 5584 (java) S 5572 5572 29331 0 -1 1077944384 20733 0 0 0 245 3 0 0 20 0 15 0 95298838 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702136846448 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5585] ppid=5572 vsize=13984976 memory=386951 CPUtime=2.44 cores=0,2,4,6
/proc/5574/task/5585/stat : 5585 (java) S 5572 5572 29331 0 -1 1077944384 19298 0 0 0 242 2 0 0 20 0 15 0 95298838 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702135793648 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5586] ppid=5572 vsize=13984976 memory=7306916055891837009 CPUtime=0.68 cores=0,2,4,6
/proc/5574/task/5586/stat : 5586 (java) S 5572 5572 29331 0 -1 1077944384 7785 0 0 0 67 1 0 0 20 0 15 0 95298838 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702134741360 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5587] ppid=5572 vsize=13984976 memory=288293281132201052 CPUtime=0 cores=0,2,4,6
/proc/5574/task/5587/stat : 5587 (java) S 5572 5572 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95298838 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702133688800 140703228974805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
[pid=5574/tid=5588] ppid=5572 vsize=13984976 memory=4007810771681280032 CPUtime=0.07 cores=0,2,4,6
/proc/5574/task/5588/stat : 5588 (java) S 5572 5572 29331 0 -1 1077944384 1229 0 0 0 2 5 0 0 20 0 15 0 95298838 14320615424 58486 33554432000 4194304 4196468 140720610020880 140702132636592 140703228975746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26664960 140720610022557 140720610022732 140720610022732 140720610025423 0
Current children cumulated CPU time: 245.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235328 KiB

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

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

[startup+240.023 s]
# the end of solver process 5574 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.563 s, system=0.202151 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): 240.023
CPU time (s): 245.765
CPU user time (s): 245.563
CPU system time (s): 0.202151
CPU usage (%): 102.392
Max. virtual memory (cumulated for all children) (KiB): 13998628
Max. memory (cumulated for all children) (KiB): 235328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.563
system time used= 0.202151
maximum resident set size= 234316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8257
involuntary context switches= 352


# summary of solver processes directly reported to runsolver:
#   pid: 5572,5574
#   total CPU time (s): 245.765
#   total CPU user time (s): 245.563
#   total CPU system time (s): 0.202151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25996 second user time and 2.33606 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	168
Best CPU time to get the best result obtained on this benchmark	1987.84
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 4270135

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