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 5a (2017-07-26)	SAT (TO)	236	253.45599	240.017

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255080-1501620878.xml"  -tl '264s' -p 1 -x 3
0.00/0.29	c [HOME/instance-4255080-1501620878.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.35	c simple solver
0.00/0.42	c parse instance...
0.00/0.92	c solve instance...
0.00/1.05	o 440 
3.35/1.48	o 404 
4.27/1.78	o 344 
5.50/2.11	o 320 
5.50/2.16	o 308 
6.72/2.54	o 296 
7.02/2.63	o 284 
9.32/3.92	o 236 
253.43/240.00	s SATISFIABLE
253.43/240.00	v <instantiation>
253.43/240.00	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>
253.43/240.00	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>
253.43/240.00	v </instantiation>
253.43/240.00	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255080-1501620878/watcher-4255080-1501620878 -o /tmp/evaluation-result-4255080-1501620878/solver-4255080-1501620878 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1332783105 HOME/instance-4255080-1501620878.xml 

pid=15013
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 15016
/proc/meminfo: memFree=31720432/32770624 swapFree=0/169664
[pid=15016] ppid=15013 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (runsolver) D 15013 15016 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3998387 24240128 107 18446744073709551615 4194304 4338465 140736014791552 140736014789192 140643013362391 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25296896 140736014798942 140736014799431 140736014799431 140736014802890 0
/proc/15016/statm: 5918 107 54 36 0 2156 0

[startup+0.100202 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 15016
/proc/meminfo: memFree=31720432/32770624 swapFree=0/169664
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 15016
/proc/meminfo: memFree=31720432/32770624 swapFree=0/169664
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300262 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 15016
/proc/meminfo: memFree=31720432/32770624 swapFree=0/169664
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700195 s]
/proc/loadavg: 1.96 1.89 1.81 3/200 15016
/proc/meminfo: memFree=31720432/32770624 swapFree=0/169664
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50087 s]
/proc/loadavg: 1.96 1.89 1.81 5/216 15032
/proc/meminfo: memFree=31622936/32770624 swapFree=0/169620
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13980732 CPUtime=3.66 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 27523 0 0 0 359 7 0 0 20 0 15 0 3998394 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495183 34832 3189 1 0 3483484 0
[pid=15018/tid=15019] ppid=15016 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 10058 0 0 0 128 4 0 0 20 0 15 0 3998394 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306562473400 140306202613172 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3998396 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3998396 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306035716896 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3998397 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306034664560 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 5557 0 0 0 84 0 0 0 20 0 15 0 3998399 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306032547536 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) R 15016 15016 3187 0 -1 4202560 6535 0 0 0 83 1 0 0 20 0 15 0 3998399 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306031500440 140306542589024 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 4062 0 0 0 63 1 0 0 20 0 15 0 3998399 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998409 14316269568 34832 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13990244

[startup+3.10074 s]
/proc/loadavg: 1.96 1.89 1.81 5/216 15032
/proc/meminfo: memFree=31564380/32770624 swapFree=0/169620
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13980732 CPUtime=7.9 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 30350 0 0 0 781 9 0 0 20 0 15 0 3998394 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495183 50269 3191 1 0 3483484 0
[pid=15018/tid=15019] ppid=15016 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 10437 0 0 0 287 5 0 0 20 0 15 0 3998394 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306562470904 140306203468830 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3998395 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 3998396 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3998396 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306035716896 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3998397 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306034664560 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13980732 CPUtime=2.09 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 6823 0 0 0 209 0 0 0 20 0 15 0 3998399 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306032560752 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13980732 CPUtime=2.11 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) S 15016 15016 3187 0 -1 1077944384 7237 0 0 0 210 1 0 0 20 0 15 0 3998399 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306031507952 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 4503 0 0 0 73 1 0 0 20 0 15 0 3998399 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 3998409 14316269568 50269 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 13990244

[startup+6.30079 s]
/proc/loadavg: 1.97 1.89 1.81 3/216 15032
/proc/meminfo: memFree=31491224/32770624 swapFree=0/169632
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13982780 CPUtime=13.87 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 34499 0 0 0 1375 12 0 0 20 0 15 0 3998394 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495695 57905 3218 1 0 3483996 0
[pid=15018/tid=15019] ppid=15016 vsize=13982780 CPUtime=6.11 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 10657 0 0 0 605 6 0 0 20 0 15 0 3998394 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306562470488 140306206270895 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 3998395 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 3998395 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 578 0 0 0 1 0 0 0 20 0 15 0 3998395 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13982780 CPUtime=0.01 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 3998395 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 3998396 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3998396 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306035716896 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3998397 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306034664560 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13982780 CPUtime=3.3 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 8191 0 0 0 329 1 0 0 20 0 15 0 3998399 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306032560752 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13982780 CPUtime=3.5 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) S 15016 15016 3187 0 -1 1077944384 7724 0 0 0 349 1 0 0 20 0 15 0 3998399 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306031507952 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13982780 CPUtime=0.86 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 5419 0 0 0 85 1 0 0 20 0 15 0 3998399 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 3998409 14318366720 57905 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 13.87
Current children cumulated vsize (KiB) 13992292

[startup+12.7008 s]
/proc/loadavg: 1.97 1.89 1.81 3/216 15032
/proc/meminfo: memFree=31425680/32770624 swapFree=0/169644
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13982780 CPUtime=21.57 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 48287 0 0 0 2138 19 0 0 20 0 15 0 3998394 14318366720 73292 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495695 73292 3226 1 0 3483996 0
[pid=15018/tid=15019] ppid=15016 vsize=13982780 CPUtime=12.45 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 11941 0 0 0 1239 6 0 0 20 0 15 0 3998394 14318366720 73292 18446744073709551615 4194304 4196468 140726964024944 140306562470592 140306206272631 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13982780 CPUtime=0.05 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 139 0 0 0 4 1 0 0 20 0 15 0 3998395 14318366720 73292 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13982780 CPUtime=0.05 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 355 0 0 0 4 1 0 0 20 0 15 0 3998395 14318366720 73292 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0

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

/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 79186 0 0 0 11320 63 0 0 20 0 15 0 3998394 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495695 152427 3229 1 0 3483996 0
[pid=15018/tid=15019] ppid=15016 vsize=13982780 CPUtime=101.6 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 17323 0 0 0 10153 7 0 0 20 0 15 0 3998394 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306562474080 140306206271035 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13982780 CPUtime=0.49 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 2349 0 0 0 38 11 0 0 20 0 15 0 3998395 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13982780 CPUtime=0.49 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 2185 0 0 0 38 11 0 0 20 0 15 0 3998395 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13982780 CPUtime=0.5 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 1404 0 0 0 38 12 0 0 20 0 15 0 3998395 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13982780 CPUtime=0.49 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 1537 0 0 0 38 11 0 0 20 0 15 0 3998395 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13982780 CPUtime=0.02 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 1217 0 0 0 2 0 0 0 20 0 15 0 3998396 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3998396 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306035716960 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3998397 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306034664576 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13982780 CPUtime=4.78 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 23911 0 0 0 476 2 0 0 20 0 15 0 3998399 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306032560752 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13982780 CPUtime=4.41 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) S 15016 15016 3187 0 -1 1077944384 19306 0 0 0 439 2 0 0 20 0 15 0 3998399 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306031507952 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13982780 CPUtime=0.91 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 7160 0 0 0 90 1 0 0 20 0 15 0 3998399 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13982780 CPUtime=0.04 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 1442 0 0 0 1 3 0 0 20 0 15 0 3998409 14318366720 152427 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 113.83
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.91 1.88 1.82 3/215 15036
/proc/meminfo: memFree=30876268/32770624 swapFree=0/169724
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13982780 CPUtime=174.6 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 85228 0 0 0 17380 80 0 0 20 0 15 0 3998394 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495695 167545 3229 1 0 3483996 0
[pid=15018/tid=15019] ppid=15016 vsize=13982780 CPUtime=161.41 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 18252 0 0 0 16134 7 0 0 20 0 15 0 3998394 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306562471592 140306206272654 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13982780 CPUtime=0.67 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 2720 0 0 0 52 15 0 0 20 0 15 0 3998395 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13982780 CPUtime=0.68 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 2633 0 0 0 54 14 0 0 20 0 15 0 3998395 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13982780 CPUtime=0.68 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 1761 0 0 0 52 16 0 0 20 0 15 0 3998395 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13982780 CPUtime=0.68 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 1688 0 0 0 53 15 0 0 20 0 15 0 3998395 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 1448 0 0 0 3 0 0 0 20 0 15 0 3998396 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3998396 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306035716960 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3998397 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306034664576 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13982780 CPUtime=4.93 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 26151 0 0 0 491 2 0 0 20 0 15 0 3998399 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306032560752 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13982780 CPUtime=4.44 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) S 15016 15016 3187 0 -1 1077944384 20034 0 0 0 442 2 0 0 20 0 15 0 3998399 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306031507952 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13982780 CPUtime=0.92 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 7719 0 0 0 91 1 0 0 20 0 15 0 3998399 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13982780 CPUtime=0.06 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 1470 0 0 0 2 4 0 0 20 0 15 0 3998409 14318366720 167545 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 174.6
Current children cumulated vsize (KiB) 13992292

[startup+222.307 s]
/proc/loadavg: 2.02 1.91 1.83 3/215 15116
/proc/meminfo: memFree=31182912/32770624 swapFree=0/169812
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13982780 CPUtime=235.41 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 88410 0 0 0 23445 96 0 0 20 0 15 0 3998394 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495695 169744 3229 1 0 3483996 0
[pid=15018/tid=15019] ppid=15016 vsize=13982780 CPUtime=221.14 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 19598 0 0 0 22107 7 0 0 20 0 15 0 3998394 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306562473728 140306206271196 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13982780 CPUtime=0.94 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 3002 0 0 0 75 19 0 0 20 0 15 0 3998395 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13982780 CPUtime=0.94 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 2858 0 0 0 75 19 0 0 20 0 15 0 3998395 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13982780 CPUtime=0.94 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 2018 0 0 0 75 19 0 0 20 0 15 0 3998395 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13982780 CPUtime=0.94 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 2471 0 0 0 75 19 0 0 20 0 15 0 3998395 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 1708 0 0 0 3 0 0 0 20 0 15 0 3998396 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3998396 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306035716960 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3998397 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306034664576 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13982780 CPUtime=4.93 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 26154 0 0 0 491 2 0 0 20 0 15 0 3998399 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306032560752 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13982780 CPUtime=4.44 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) S 15016 15016 3187 0 -1 1077944384 20036 0 0 0 442 2 0 0 20 0 15 0 3998399 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306031507952 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13982780 CPUtime=0.92 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 7722 0 0 0 91 1 0 0 20 0 15 0 3998399 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13982780 CPUtime=0.09 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 1491 0 0 0 4 5 0 0 20 0 15 0 3998409 14318366720 169744 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 235.41
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.95 1.90 1.83 3/215 15117
/proc/meminfo: memFree=31170364/32770624 swapFree=0/169820
[pid=15016] ppid=15013 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/15016/stat : 15016 (xcsp3-exec) S 15013 15016 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3998387 9740288 345 18446744073709551615 4194304 5098028 140730517477808 140730517475912 140127621010044 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 24711168 140730517479836 140730517480040 140730517480040 140730517483499 0
/proc/15016/statm: 2378 345 289 221 0 87 0
[pid=15018] ppid=15016 vsize=13982780 CPUtime=253.43 cores=0,2,4,6
/proc/15018/stat : 15018 (java) S 15016 15016 3187 0 -1 1077944320 89367 0 0 0 25243 100 0 0 20 0 15 0 3998394 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140726964007488 140306558234359 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
/proc/15018/statm: 3495695 172443 3229 1 0 3483996 0
[pid=15018/tid=15019] ppid=15016 vsize=13982780 CPUtime=238.72 cores=0,2,4,6
/proc/15018/task/15019/stat : 15019 (java) R 15016 15016 3187 0 -1 4202560 20348 0 0 0 23865 7 0 0 20 0 15 0 3998394 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306562473728 140306206270911 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15020] ppid=15016 vsize=13982780 CPUtime=1.04 cores=0,2,4,6
/proc/15018/task/15020/stat : 15020 (java) S 15016 15016 3187 0 -1 1077944384 3038 0 0 0 84 20 0 0 20 0 15 0 3998395 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306519133072 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15021] ppid=15016 vsize=13982780 CPUtime=1.04 cores=0,2,4,6
/proc/15018/task/15021/stat : 15021 (java) S 15016 15016 3187 0 -1 1077944384 2892 0 0 0 85 19 0 0 20 0 15 0 3998395 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306518080272 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15022] ppid=15016 vsize=13982780 CPUtime=1.04 cores=0,2,4,6
/proc/15018/task/15022/stat : 15022 (java) S 15016 15016 3187 0 -1 1077944384 2112 0 0 0 84 20 0 0 20 0 15 0 3998395 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306517027984 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15023] ppid=15016 vsize=13982780 CPUtime=1.05 cores=0,2,4,6
/proc/15018/task/15023/stat : 15023 (java) S 15016 15016 3187 0 -1 1077944384 2512 0 0 0 85 20 0 0 20 0 15 0 3998395 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306154974224 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15024] ppid=15016 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/15018/task/15024/stat : 15024 (java) S 15016 15016 3187 0 -1 1077944384 1710 0 0 0 3 0 0 0 20 0 15 0 3998396 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306036770928 140306558245506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15025] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15025/stat : 15025 (java) S 15016 15016 3187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 3998396 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306035716960 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15026] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15026/stat : 15026 (java) S 15016 15016 3187 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 3998397 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306034664576 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15027] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15027/stat : 15027 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306033612880 140306558252955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15028] ppid=15016 vsize=13982780 CPUtime=4.93 cores=0,2,4,6
/proc/15018/task/15028/stat : 15028 (java) S 15016 15016 3187 0 -1 1077944384 26154 0 0 0 491 2 0 0 20 0 15 0 3998399 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306032560752 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15029] ppid=15016 vsize=13982780 CPUtime=4.44 cores=0,2,4,6
/proc/15018/task/15029/stat : 15029 (java) S 15016 15016 3187 0 -1 1077944384 20036 0 0 0 442 2 0 0 20 0 15 0 3998399 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306031507952 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15030] ppid=15016 vsize=13982780 CPUtime=0.92 cores=0,2,4,6
/proc/15018/task/15030/stat : 15030 (java) S 15016 15016 3187 0 -1 1077944384 7722 0 0 0 91 1 0 0 20 0 15 0 3998399 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306030455664 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15031] ppid=15016 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/15018/task/15031/stat : 15031 (java) S 15016 15016 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3998399 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306029403104 140306558244565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
[pid=15018/tid=15032] ppid=15016 vsize=13982780 CPUtime=0.11 cores=0,2,4,6
/proc/15018/task/15032/stat : 15032 (java) S 15016 15016 3187 0 -1 1077944384 1491 0 0 0 5 6 0 0 20 0 15 0 3998409 14318366720 172443 18446744073709551615 4194304 4196468 140726964024944 140306028349872 140306558245506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10047488 140726964027861 140726964028036 140726964028036 140726964031439 0
Current children cumulated CPU time (s) 253.43
Current children cumulated vsize (KiB) 13992292

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15018 sig 9
??? kill 15016 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.017
CPU time (s): 253.456
CPU user time (s): 252.444
CPU system time (s): 1.01289
CPU usage (%): 105.599
Max. virtual memory (cumulated for all children) (KiB): 13992544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.444
system time used= 1.01289
maximum resident set size= 703600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9386
involuntary context switches= 322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4682 second user time and 1.1774 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 4255080

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