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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	216	2520.0901	2513.51

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269145-1502793050.xml"  -tl '2520s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4269145-1502793050.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.59/0.75	c solve instance...
1.89/0.86	o 440 
2.55/1.01	o 404 
2.55/1.01	o 344 
2.55/1.01	o 320 
2.55/1.01	o 308 
2.55/1.01	o 296 
2.55/1.01	o 284 
2.87/1.11	o 236 
1784.09/1778.12	o 220 
1823.34/1817.26	o 216 
2520.06/2513.50	s SATISFIABLE
2520.06/2513.50	v <instantiation>
2520.06/2513.50	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.06/2513.50	v 	<values>1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -3 -2 -3 0 1 0 -3 -4 1 2 -3 2 -1 -4 5 4 -1 -2 3 -2 1 2 1 4 -1 0 -3 2 -1 -2 3 0 3 0 3 0 -1 -2 -1 9 4 9 0 1 0 9 16 1 4 9 4 1 16 25 16 1 4 9 4 1 4 1 16 1 0 9 4 1 4 9 0 9 0 9 0 1 4 1 </values>
2520.06/2513.50	v </instantiation>
2520.06/2513.50	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 (11586 MiB free)
  memory of node 1: 16384 MiB (14875 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269145-1502793050/watcher-4269145-1502793050 -o /tmp/evaluation-result-4269145-1502793050/solver-4269145-1502793050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10016 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 584623491 HOME/instance-4269145-1502793050.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
solver pid=10054, runsolver pid=10051
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 7.69 8.26 8.04 4/217 10076
/proc/meminfo: memFree=27069824/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13978596 memory=27868 CPUtime=0.12 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 5326 0 0 0 11 1 0 0 20 0 15 0 112386124 14314082304 6967 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3494649 6967 2870 1 0 3482966 0
[pid=10056/tid=10057] ppid=10054 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 3327 0 0 0 9 0 0 0 20 0 15 0 112386124 14314082304 7033 33554432000 4194304 4196468 140736600615840 140407069512768 140406658545018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13978596 memory=140304539907712 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13978596 memory=140304539907712 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386126 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112386127 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112386127 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) S 10054 10054 9984 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 112386129 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) S 10054 10054 9984 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 112386129 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406534118128 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13978596 memory=140304539907712 CPUtime=0.01 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) R 10054 10054 9984 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 112386129 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406533065328 140407043992180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13978596 memory=140304539907712 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386130 14314082304 7033 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29252 KiB

[startup+0.210574 s]*
/proc/loadavg: 7.69 8.26 8.04 5/217 10076
/proc/meminfo: memFree=27046820/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13982852 memory=40756 CPUtime=0.34 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 8159 0 0 0 32 2 0 0 20 0 15 0 112386124 14318440448 10189 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3495713 10189 3091 1 0 3482966 0
[pid=10056/tid=10057] ppid=10054 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 5256 0 0 0 19 1 0 0 20 0 15 0 112386124 14318440448 10189 33554432000 4194304 4196468 140736600615840 140407069501240 140407049360734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13982852 memory=9010 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13982852 memory=140304540421727 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13982852 memory=140304539907712 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386126 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112386127 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112386127 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) S 10054 10054 9984 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 112386129 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) S 10054 10054 9984 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 15 0 112386129 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406534118128 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13982852 memory=140304539907712 CPUtime=0.07 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) R 10054 10054 9984 0 -1 4202560 798 0 0 0 7 0 0 0 20 0 15 0 112386129 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406533065328 140407065301594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386130 14318440448 10189 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42140 KiB

[startup+0.315706 s]*
/proc/loadavg: 7.69 8.26 8.04 5/217 10076
/proc/meminfo: memFree=27035104/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13982852 memory=47804 CPUtime=0.53 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 9100 0 0 0 51 2 0 0 20 0 15 0 112386124 14318440448 11951 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3495713 11951 3105 1 0 3482966 0
[pid=10056/tid=10057] ppid=10054 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 5922 0 0 0 29 1 0 0 20 0 15 0 112386124 14318440448 11951 33554432000 4194304 4196468 140736600615840 140407069515856 140407050975379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13982852 memory=6945503147187019673 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386126 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112386127 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112386127 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) R 10054 10054 9984 0 -1 1077944384 626 0 0 0 3 0 0 0 20 0 15 0 112386129 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) R 10054 10054 9984 0 -1 4202560 285 0 0 0 4 0 0 0 20 0 15 0 112386129 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406534118128 140407048667062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) R 10054 10054 9984 0 -1 4202560 972 0 0 0 13 0 0 0 20 0 15 0 112386129 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406533064512 140407044195745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386130 14318440448 11951 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49188 KiB

[startup+0.700816 s]
/proc/loadavg: 7.69 8.26 8.04 5/217 10076
/proc/meminfo: memFree=27004768/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13984976 memory=86672 CPUtime=1.59 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 12816 0 0 0 155 4 0 0 20 0 15 0 112386124 14320615424 21668 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3496244 21668 3212 1 0 3483478 0
[pid=10056/tid=10057] ppid=10054 vsize=13984976 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 6656 0 0 0 64 2 0 0 20 0 15 0 112386124 14320615424 21668 33554432000 4194304 4196468 140736600615840 140407069517312 140407065292182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13984976 memory=32080 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386125 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112386125 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13984976 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112386126 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13984976 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13984976 memory=5700 CPUtime=0.25 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) R 10054 10054 9984 0 -1 4202560 1575 0 0 0 25 0 0 0 20 0 15 0 112386129 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406535156808 140407046823970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13984976 memory=4616 CPUtime=0.23 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) R 10054 10054 9984 0 -1 4202560 1039 0 0 0 23 0 0 0 20 0 15 0 112386129 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406534106800 140407045652293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13984976 memory=792 CPUtime=0.42 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) R 10054 10054 9984 0 -1 1077944384 2238 0 0 0 41 1 0 0 20 0 15 0 112386129 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406533065328 140407065291394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13984976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112386130 14320615424 21668 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 88056 KiB

[startup+1.50081 s]
/proc/loadavg: 7.69 8.26 8.04 4/200 10076
/proc/meminfo: memFree=27013676/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0

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

/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13984976 memory=167512 CPUtime=2.33 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) S 10054 10054 9984 0 -1 1077944384 21718 0 0 0 230 3 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13984976 memory=1384 CPUtime=2.56 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) S 10054 10054 9984 0 -1 1077944384 19432 0 0 0 254 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406534118128 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.69 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) S 10054 10054 9984 0 -1 1077944384 8622 0 0 0 67 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406533065328 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13984976 memory=167512 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.49 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1630 0 0 0 21 28 0 0 20 0 15 0 112386130 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 2448.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 168896 KiB

[startup+2502.3 s]
/proc/loadavg: 1.91 1.90 2.35 3/217 10308
/proc/meminfo: memFree=26555204/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13984976 memory=167512 CPUtime=2508.86 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 85712 0 0 0 250841 45 0 0 20 0 15 0 112386124 14320615424 41878 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3496244 41878 3258 1 0 3483478 0
[pid=10056/tid=10057] ppid=10054 vsize=13984976 memory=1384 CPUtime=2502.15 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 20045 0 0 0 250209 6 0 0 20 0 15 0 112386124 14320615424 41878 33554432000 4194304 4196468 140736600615840 140407069519744 140406664100012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2158 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 3336 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 2205 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 1726 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 3477 0 0 0 7 4 0 0 20 0 15 0 112386126 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13984976 memory=167512 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13984976 memory=167512 CPUtime=2.33 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) S 10054 10054 9984 0 -1 1077944384 21718 0 0 0 230 3 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13984976 memory=1384 CPUtime=2.56 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) S 10054 10054 9984 0 -1 1077944384 19432 0 0 0 254 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406534118128 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.69 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) S 10054 10054 9984 0 -1 1077944384 8622 0 0 0 67 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406533065328 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.5 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1634 0 0 0 21 29 0 0 20 0 15 0 112386130 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 2508.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 168896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.5 s]
/proc/loadavg: 1.92 1.90 2.34 3/217 10308
/proc/meminfo: memFree=26554776/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13984976 memory=167512 CPUtime=2520.06 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 85715 0 0 0 251961 45 0 0 20 0 15 0 112386124 14320615424 41878 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3496244 41878 3258 1 0 3483478 0
[pid=10056/tid=10057] ppid=10054 vsize=13984976 memory=167512 CPUtime=2513.35 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 20046 0 0 0 251329 6 0 0 20 0 15 0 112386124 14320615424 41878 33554432000 4194304 4196468 140736600615840 140407069519744 140406664100625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2158 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 3336 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 2205 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 1726 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 3477 0 0 0 7 4 0 0 20 0 15 0 112386126 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13984976 memory=167512 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13984976 memory=1384 CPUtime=2.33 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) S 10054 10054 9984 0 -1 1077944384 21718 0 0 0 230 3 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13984976 memory=1384 CPUtime=2.56 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) S 10054 10054 9984 0 -1 1077944384 19432 0 0 0 254 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406534118128 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.69 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) S 10054 10054 9984 0 -1 1077944384 8622 0 0 0 67 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406533065328 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.5 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1636 0 0 0 21 29 0 0 20 0 15 0 112386130 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 168896 KiB

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

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

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

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

[startup+2513.5 s]
/proc/loadavg: 1.92 1.90 2.34 3/217 10308
/proc/meminfo: memFree=26554776/32770624 swapFree=67108860/67108860
[pid=10054] ppid=10051 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10054/stat : 10054 (xcsp3-exec) S 10051 10054 9984 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112386124 9740288 346 33554432000 4194304 5098028 140721617040848 140721617038952 139976299799164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9928704 140721617048687 140721617048891 140721617048891 140721617051627 0
/proc/10054/statm: 2378 346 289 221 0 87 0
[pid=10056] ppid=10054 vsize=13984976 memory=167512 CPUtime=2520.06 cores=1,3,5,7
/proc/10056/stat : 10056 (java) S 10054 10054 9984 0 -1 1077944320 85715 0 0 0 251961 45 0 0 20 0 15 0 112386124 14320615424 41878 33554432000 4194304 4196468 140736600615840 140736600598384 140407065280247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
/proc/10056/statm: 3496244 41878 3258 1 0 3483478 0
[pid=10056/tid=10057] ppid=10054 vsize=13984976 memory=167512 CPUtime=2513.35 cores=1,3,5,7
/proc/10056/task/10057/stat : 10057 (java) R 10054 10054 9984 0 -1 4202560 20046 0 0 0 251329 6 0 0 20 0 15 0 112386124 14320615424 41878 33554432000 4194304 4196468 140736600615840 140407069519744 140406664100625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10058] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10058/stat : 10058 (java) S 10054 10054 9984 0 -1 1077944384 2158 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406980349072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10059] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10059/stat : 10059 (java) S 10054 10054 9984 0 -1 1077944384 3336 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406979296272 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10060] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10060/stat : 10060 (java) S 10054 10054 9984 0 -1 1077944384 2205 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406658427792 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10061] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10061/stat : 10061 (java) S 10054 10054 9984 0 -1 1077944384 1726 0 0 0 10 1 0 0 20 0 15 0 112386125 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406657374992 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10068] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.11 cores=1,3,5,7
/proc/10056/task/10068/stat : 10068 (java) S 10054 10054 9984 0 -1 1077944384 3477 0 0 0 7 4 0 0 20 0 15 0 112386126 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406539381104 140407065291394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10069] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10069/stat : 10069 (java) S 10054 10054 9984 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406538327072 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10070] ppid=10054 vsize=13984976 memory=167512 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10070/stat : 10070 (java) S 10054 10054 9984 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 112386127 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406537274224 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10071] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10071/stat : 10071 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406536222544 140407065298843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10072] ppid=10054 vsize=13984976 memory=1384 CPUtime=2.33 cores=1,3,5,7
/proc/10056/task/10072/stat : 10072 (java) S 10054 10054 9984 0 -1 1077944384 21718 0 0 0 230 3 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406535170928 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10073] ppid=10054 vsize=13984976 memory=1384 CPUtime=2.56 cores=1,3,5,7
/proc/10056/task/10073/stat : 10073 (java) S 10054 10054 9984 0 -1 1077944384 19432 0 0 0 254 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406534118128 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10074] ppid=10054 vsize=13984976 memory=167512 CPUtime=0.69 cores=1,3,5,7
/proc/10056/task/10074/stat : 10074 (java) S 10054 10054 9984 0 -1 1077944384 8622 0 0 0 67 2 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406533065328 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10075] ppid=10054 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10056/task/10075/stat : 10075 (java) S 10054 10054 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112386129 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406532012768 140407065290453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
[pid=10056/tid=10076] ppid=10054 vsize=13984976 memory=1384 CPUtime=0.5 cores=1,3,5,7
/proc/10056/task/10076/stat : 10076 (java) S 10054 10054 9984 0 -1 1077944384 1636 0 0 0 21 29 0 0 20 0 15 0 112386130 14320615424 41878 33554432000 4194304 4196468 140736600615840 140406530960048 140407065291394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6586368 140736600618135 140736600618311 140736600618311 140736600621007 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 168896 KiB

Child status: 143
Real time (s): 2513.51
CPU time (s): 2520.09
CPU user time (s): 2519.62
CPU system time (s): 0.462961
CPU usage (%): 100.262
Max. virtual memory (cumulated for all children) (KiB): 13998632
Max. memory (cumulated for all children) (KiB): 244128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.462961
maximum resident set size= 248896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59445
involuntary context switches= 3844


# summary of solver processes directly reported to runsolver:
#   pid: 10054,10056
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.62
#   total CPU system time (s): 0.462961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.36 second user time and 23.6458 second system time

The end

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

Trace number 4269145

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