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-18)	SAT (TO)	236	245.14301	240.022

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282885-1503212704.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4282885-1503212704.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.63/0.74	c solve instance...
1.91/0.86	o 440 
1.91/0.88	o 404 
2.24/0.91	o 344 
2.24/0.94	o 320 
2.24/0.95	o 308 
2.24/0.97	o 296 
2.24/0.98	o 284 
2.89/1.11	o 236 
245.11/240.01	s SATISFIABLE
245.11/240.01	v <instantiation>
245.11/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.11/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.11/240.01	v </instantiation>
245.11/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 (12857 MiB free)
  memory of node 1: 16384 MiB (12918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282885-1503212704/watcher-4282885-1503212704 -o /tmp/evaluation-result-4282885-1503212704/solver-4282885-1503212704 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21036 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2101200605 HOME/instance-4282885-1503212704.xml 

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

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=24169, runsolver pid=24166

[startup+0.100096 s]*
/proc/loadavg: 2.07 1.98 1.89 3/218 24185
/proc/meminfo: memFree=26376464/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13978596 memory=29064 CPUtime=0.12 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 5127 0 0 0 11 1 0 0 20 0 15 0 154358280 14314082304 7266 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3494649 7266 2892 1 0 3482966 0
[pid=24171/tid=24172] ppid=24169 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 3065 0 0 0 9 0 0 0 20 0 15 0 154358280 14314082304 7266 33554432000 4194304 4196468 140727549315648 140646449480352 140646445270173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13978596 memory=3472468083599004880 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14314082304 7266 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13978596 memory=139954703853184 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14314082304 7266 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14314082304 7266 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358281 14314082304 7266 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358282 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154358283 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154358283 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) S 24169 24169 21004 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 154358285 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645914188400 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13978596 memory=139954703853184 CPUtime=0.01 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 15 0 154358285 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13978596 memory=139954703853184 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358286 14314082304 7266 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30444 KiB

[startup+0.211058 s]*
/proc/loadavg: 2.07 1.98 1.89 3/218 24185
/proc/meminfo: memFree=26364368/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13982852 memory=40308 CPUtime=0.34 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 7694 0 0 0 32 2 0 0 20 0 15 0 154358280 14318440448 10077 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3495713 10077 3054 1 0 3482966 0
[pid=24171/tid=24172] ppid=24169 vsize=13982852 memory=5855082630820233377 CPUtime=0.2 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 4933 0 0 0 19 1 0 0 20 0 15 0 154358280 14318440448 10077 33554432000 4194304 4196468 140727549315648 140646449474912 140646429328734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13982852 memory=3472468083599004880 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 10077 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13982852 memory=139954703853184 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 10077 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 10077 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 10077 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13982852 memory=139954703853184 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358282 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154358283 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154358283 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) S 24169 24169 21004 0 -1 1077944384 639 0 0 0 2 0 0 0 20 0 15 0 154358285 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) S 24169 24169 21004 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 15 0 154358285 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645914188400 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13982852 memory=139954703853184 CPUtime=0.07 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 684 0 0 0 7 0 0 0 20 0 15 0 154358285 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13982852 memory=139954703853184 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358286 14318440448 10077 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41688 KiB

[startup+0.311334 s]*
/proc/loadavg: 2.07 1.98 1.89 4/218 24185
/proc/meminfo: memFree=26357172/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13982852 memory=47404 CPUtime=0.52 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 8431 0 0 0 49 3 0 0 20 0 15 0 154358280 14318440448 11851 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3495713 11851 3117 1 0 3482966 0
[pid=24171/tid=24172] ppid=24169 vsize=13982852 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 5453 0 0 0 28 2 0 0 20 0 15 0 154358280 14318440448 11851 33554432000 4194304 4196468 140727549315648 140646449487392 140646035847760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13982852 memory=3472468083599004880 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 11851 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13982852 memory=139954703874188 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 11851 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13982852 memory=139954596480310 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 11851 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13982852 memory=139954596461519 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358281 14318440448 11851 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13982852 memory=139954703874219 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358282 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13982852 memory=139954596470735 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154358283 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13982852 memory=279909192939152 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154358283 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13982852 memory=279909192946032 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) R 24169 24169 21004 0 -1 1077944384 679 0 0 0 3 0 0 0 20 0 15 0 154358285 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13982852 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) R 24169 24169 21004 0 -1 4202560 199 0 0 0 4 0 0 0 20 0 15 0 154358285 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645914188496 140646425844411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13982852 memory=139954703853184 CPUtime=0.12 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) R 24169 24169 21004 0 -1 4202560 798 0 0 0 12 0 0 0 20 0 15 0 154358285 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645913133648 140646437485374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13982852 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13982852 memory=139954703853184 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358286 14318440448 11851 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48784 KiB

[startup+0.700763 s]
/proc/loadavg: 2.07 1.98 1.89 3/218 24185
/proc/meminfo: memFree=26342840/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13984976 memory=87480 CPUtime=1.63 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 11998 0 0 0 158 5 0 0 20 0 15 0 154358280 14320615424 21870 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3496244 21870 3210 1 0 3483478 0
[pid=24171/tid=24172] ppid=24169 vsize=13984976 memory=1224 CPUtime=0.67 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 6203 0 0 0 64 3 0 0 20 0 15 0 154358280 14320615424 21870 33554432000 4194304 4196468 140727549315648 140646449485088 140646445260182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 21870 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 21870 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 21870 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13984976 memory=279909193020736 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 21870 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13984976 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154358282 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13984976 memory=2319529175523313317 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13984976 memory=51 CPUtime=0.24 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) R 24169 24169 21004 0 -1 4202560 1393 0 0 0 24 0 0 0 20 0 15 0 154358285 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645915239344 140646429488352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13984976 memory=5 CPUtime=0.27 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) R 24169 24169 21004 0 -1 4202560 983 0 0 0 27 0 0 0 20 0 15 0 154358285 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645914174496 140646430371839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13984976 memory=9911 CPUtime=0.42 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 2112 0 0 0 41 1 0 0 20 0 15 0 154358285 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13984976 memory=463 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154358286 14320615424 21870 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 88860 KiB

[startup+1.50087 s]
/proc/loadavg: 2.22 2.01 1.90 5/218 24185
/proc/meminfo: memFree=26299660/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0

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

/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13984976 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13984976 memory=4468 CPUtime=2.23 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) S 24169 24169 21004 0 -1 1077944384 14329 0 0 0 222 1 0 0 20 0 15 0 154358285 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13984976 memory=217308 CPUtime=2.15 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) S 24169 24169 21004 0 -1 1077944384 15674 0 0 0 214 1 0 0 20 0 15 0 154358285 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645914188400 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13984976 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 6646 0 0 0 65 2 0 0 20 0 15 0 154358285 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13984976 memory=217288 CPUtime=0.02 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 979 0 0 0 1 1 0 0 20 0 15 0 154358286 14320615424 54327 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 107.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218688 KiB

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.90 3/218 24187
/proc/meminfo: memFree=26073792/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13984976 memory=225612 CPUtime=167.34 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 55646 0 0 0 16720 14 0 0 20 0 15 0 154358280 14320615424 56403 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3496244 56403 3255 1 0 3483478 0
[pid=24171/tid=24172] ppid=24169 vsize=13984976 memory=225612 CPUtime=162.1 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 11196 0 0 0 16206 4 0 0 20 0 15 0 154358280 14320615424 56403 33554432000 4194304 4196468 140727549315648 140646449487064 140646041527436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13984976 memory=225612 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56403 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13984976 memory=225612 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 669 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56403 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 962 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56403 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13984976 memory=164 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 953 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56403 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13984976 memory=4134955804197662752 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 861 0 0 0 0 0 0 0 20 0 15 0 154358282 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13984976 memory=225612 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13984976 memory=1380 CPUtime=2.28 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) S 24169 24169 21004 0 -1 1077944384 15662 0 0 0 227 1 0 0 20 0 15 0 154358285 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13984976 memory=225612 CPUtime=2.15 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) S 24169 24169 21004 0 -1 1077944384 15819 0 0 0 214 1 0 0 20 0 15 0 154358285 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645914188400 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13984976 memory=1380 CPUtime=0.67 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 7016 0 0 0 65 2 0 0 20 0 15 0 154358285 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13984976 memory=225612 CPUtime=0.02 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1005 0 0 0 1 1 0 0 20 0 15 0 154358286 14320615424 56403 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 167.34 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226992 KiB

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/218 24188
/proc/meminfo: memFree=26078900/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13984976 memory=225648 CPUtime=227.39 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 57405 0 0 0 22724 15 0 0 20 0 15 0 154358280 14320615424 56412 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3496244 56412 3255 1 0 3483478 0
[pid=24171/tid=24172] ppid=24169 vsize=13984976 memory=1380 CPUtime=222.1 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 11628 0 0 0 22206 4 0 0 20 0 15 0 154358280 14320615424 56412 33554432000 4194304 4196468 140727549315648 140646449484672 140646042216414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13984976 memory=225648 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56412 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13984976 memory=225648 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 669 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56412 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 962 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56412 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13984976 memory=225648 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 953 0 0 0 0 0 0 0 20 0 15 0 154358281 14320615424 56412 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13984976 memory=225648 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 907 0 0 0 0 0 0 0 20 0 15 0 154358282 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13984976 memory=1380 CPUtime=2.28 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) S 24169 24169 21004 0 -1 1077944384 15817 0 0 0 227 1 0 0 20 0 15 0 154358285 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13984976 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) S 24169 24169 21004 0 -1 1077944384 16907 0 0 0 217 1 0 0 20 0 15 0 154358285 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645914188400 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13984976 memory=1380 CPUtime=0.67 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 7021 0 0 0 65 2 0 0 20 0 15 0 154358285 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13984976 memory=225648 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13984976 memory=1004 CPUtime=0.04 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1038 0 0 0 2 2 0 0 20 0 15 0 154358286 14320615424 56412 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 227.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 227028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.93 1.97 1.91 3/218 24266
/proc/meminfo: memFree=26218188/32770624 swapFree=67108860/67108860
[pid=24169] ppid=24166 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (xcsp3-exec) S 24166 24169 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154358280 9740288 345 33554432000 4194304 5098028 140726542031776 140726542029880 139977058067068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34066432 140726542038132 140726542038336 140726542038336 140726542041067 0
/proc/24169/statm: 2378 345 289 221 0 87 0
[pid=24171] ppid=24169 vsize=13984976 memory=225672 CPUtime=245.11 cores=1,3,5,7
/proc/24171/stat : 24171 (java) S 24169 24169 21004 0 -1 1077944320 59418 0 0 0 24496 15 0 0 20 0 15 0 154358280 14320615424 56418 33554432000 4194304 4196468 140727549315648 140727549298192 140646445248247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
/proc/24171/statm: 3496244 56418 3255 1 0 3483478 0
[pid=24171/tid=24172] ppid=24169 vsize=13984976 memory=8612 CPUtime=239.8 cores=1,3,5,7
/proc/24171/task/24172/stat : 24172 (java) R 24169 24169 21004 0 -1 4202560 11880 0 0 0 23976 4 0 0 20 0 15 0 154358280 14320615424 56418 33554432000 4194304 4196468 140727549315648 140646449485752 140646042216248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24173] ppid=24169 vsize=13984976 memory=1224 CPUtime=0.01 cores=1,3,5,7
/proc/24171/task/24173/stat : 24173 (java) S 24169 24169 21004 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 15 0 154358281 14320615424 56418 33554432000 4194304 4196468 140727549315648 140646360316688 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24174] ppid=24169 vsize=13984976 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/24171/task/24174/stat : 24174 (java) S 24169 24169 21004 0 -1 1077944384 938 0 0 0 1 0 0 0 20 0 15 0 154358281 14320615424 56418 33554432000 4194304 4196468 140727549315648 140646359264144 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24175] ppid=24169 vsize=13984976 memory=15876 CPUtime=0.01 cores=1,3,5,7
/proc/24171/task/24175/stat : 24175 (java) S 24169 24169 21004 0 -1 1077944384 1004 0 0 0 1 0 0 0 20 0 15 0 154358281 14320615424 56418 33554432000 4194304 4196468 140727549315648 140646358211600 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24176] ppid=24169 vsize=13984976 memory=18448 CPUtime=0.01 cores=1,3,5,7
/proc/24171/task/24176/stat : 24176 (java) S 24169 24169 21004 0 -1 1077944384 1795 0 0 0 1 0 0 0 20 0 15 0 154358281 14320615424 56418 33554432000 4194304 4196468 140727549315648 140646357159056 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24177] ppid=24169 vsize=13984976 memory=23992 CPUtime=0.01 cores=1,3,5,7
/proc/24171/task/24177/stat : 24177 (java) S 24169 24169 21004 0 -1 1077944384 1061 0 0 0 1 0 0 0 20 0 15 0 154358282 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645919451120 140646445259394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24178] ppid=24169 vsize=13984976 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24178/stat : 24178 (java) S 24169 24169 21004 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645918397344 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24179] ppid=24169 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24179/stat : 24179 (java) S 24169 24169 21004 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154358283 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645917344752 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24180] ppid=24169 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24180/stat : 24180 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645916293328 140646445266843 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24181] ppid=24169 vsize=13984976 memory=956 CPUtime=2.29 cores=1,3,5,7
/proc/24171/task/24181/stat : 24181 (java) S 24169 24169 21004 0 -1 1077944384 15828 0 0 0 228 1 0 0 20 0 15 0 154358285 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645915240944 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24182] ppid=24169 vsize=13984976 memory=225672 CPUtime=2.18 cores=1,3,5,7
/proc/24171/task/24182/stat : 24182 (java) S 24169 24169 21004 0 -1 1077944384 16943 0 0 0 217 1 0 0 20 0 15 0 154358285 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645914188400 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24183] ppid=24169 vsize=13984976 memory=956 CPUtime=0.67 cores=1,3,5,7
/proc/24171/task/24183/stat : 24183 (java) S 24169 24169 21004 0 -1 1077944384 7342 0 0 0 65 2 0 0 20 0 15 0 154358285 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645913135856 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24184] ppid=24169 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24171/task/24184/stat : 24184 (java) S 24169 24169 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154358285 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645912083552 140646445258453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
[pid=24171/tid=24185] ppid=24169 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/24171/task/24185/stat : 24185 (java) S 24169 24169 21004 0 -1 1077944384 1045 0 0 0 2 2 0 0 20 0 15 0 154358286 14320615424 56418 33554432000 4194304 4196468 140727549315648 140645911030064 140646445259394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 18051072 140727549322397 140727549322572 140727549322572 140727549325263 0
Current children cumulated CPU time: 245.11 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 227052 KiB

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

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

[startup+240.022 s]
# the end of solver process 24171 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.979 s, system=0.16408 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.022
CPU time (s): 245.143
CPU user time (s): 244.979
CPU system time (s): 0.16408
CPU usage (%): 102.134
Max. virtual memory (cumulated for all children) (KiB): 13998340
Max. memory (cumulated for all children) (KiB): 227052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.979
system time used= 0.16408
maximum resident set size= 226220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8201
involuntary context switches= 134


# summary of solver processes directly reported to runsolver:
#   pid: 24169,24171
#   total CPU time (s): 245.143
#   total CPU user time (s): 244.979
#   total CPU system time (s): 0.16408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26587 second user time and 2.23973 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 4282885

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