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

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 1.12	SAT (TO)	500	2519.5901	2520

0.90/1.01	c best=?? lower=-20540 upper=0 
0.90/1.03	c
0.90/1.03	c This is cosoco 1.12 --  
0.90/1.03	c
0.90/1.03	c command line: cosoco -lc -model -restarts HOME/instance-4267675-1502533073.xml 
0.90/1.03	c enable optimization
0.90/1.03	c ========================================[ Problem Statistics ]===========================================
0.90/1.03	c |                                                                                                       
0.90/1.03	c |  Parse time        :         0.91 s 
0.90/1.03	c |
0.90/1.03	c |               Variables: 1639
0.90/1.03	c |            Domain Sizes: 2..79
0.90/1.03	c |
0.90/1.03	c |             Constraints: 859
0.90/1.03	c |                   Arity: 2..40  -- Binary: 40  -- Ternary: 781
0.90/1.03	c | 
0.90/1.03	c |                   Types: 
0.90/1.03	c |                          Intension: 819
0.90/1.03	c |                          Sum: 40
0.90/1.03	c |                          
0.90/1.03	c =========================================================================================================
0.90/1.03	o -9900
0.90/1.03	c    1 calls to solver: best=-9900 lower=-9899 upper=0 
0.90/1.04	o -5756
0.90/1.06	o -5576
0.90/1.06	c    3 calls to solver: best=-5576 lower=-5575 upper=0 
0.90/1.07	o -3068
0.90/1.09	o -1332
0.90/1.09	c    5 calls to solver: best=-1332 lower=-1331 upper=0 
1.00/1.11	o -1324
1.00/1.13	o -900
1.00/1.13	c    7 calls to solver: best=-900 lower=-899 upper=0 
1.00/1.16	o -780
1.29/1.44	o -772
1.29/1.44	c    9 calls to solver: best=-772 lower=-771 upper=0 
1.39/1.54	o -640
1.39/1.56	o -576
1.39/1.56	c   11 calls to solver: best=-576 lower=-575 upper=0 
1.39/1.57	o -512
1.59/1.77	o -500
1.59/1.77	c   13 calls to solver: best=-500 lower=-499 upper=0 
2519.58/2520.00	
2519.58/2520.00	c *** INTERRUPTED ***
2519.58/2520.00	c restarts              : 71          
2519.58/2520.00	c conflicts             : 905449       (359 /sec)
2519.58/2520.00	c decisions             : 4784429      (1899 /sec)
2519.58/2520.00	c propagations          : 1628262612  (646247 /sec)
2519.58/2520.00	c root propagations     : 4015        
2519.58/2520.00	c filter calls          : 2393205502     (949848 /sec)
2519.58/2520.00	c useless filter calls  : 1347765740     (56 %)
2519.58/2520.00	c Memory used           : 43.41 MB
2519.58/2520.00	c CPU time              : 2519.57 s
2519.58/2520.00	
2519.58/2520.00	c nb Solutions = 13
2519.58/2520.00	s SATISFIABLE
2519.58/2520.00	c Best value found: -500
2519.58/2520.00	
2519.58/2520.00	
2519.58/2520.00	v <instantiation type='solution' cost='-500'>
2519.58/2520.00	v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] 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][1] 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][2] 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[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] 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][1] 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[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] 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][1] 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[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] 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][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] 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][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] 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][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] 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][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] 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][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] 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][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] 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][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] 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[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] 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][1] 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][2] 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[1][38] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] 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[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] 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[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] 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][1] 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][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[3][0] 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][1] 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][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] 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][1] 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][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] 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][1] 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][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] 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][1] 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][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] 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][1] 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][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] 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][1] 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][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] 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][1] 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[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
2519.58/2520.00	v <values>-7 3 2 -1 0 1 2 -1 2 -3 8 2 -1 2 5 -6 -1 0 1 2 1 2 -7 -5 6 -5 4 -3 2 -1 2 -1 -2 3 4 1 -6 1 6 49 9 4 1 0 1 4 1 4 9 64 4 1 4 25 36 1 0 1 4 1 4 49 25 36 25 16 9 4 1 4 1 4 9 16 1 36 1 36 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 * 1 * * * * * * * * * -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 * * -1 * * * * * * * * * -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 * * * -1 * * * * * * * * * -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 * * * * -1 * * * * * * * * * 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 * * * * * 1 * * * * * * * * * 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 * * * * * * 1 * * * * * * * * * -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 * * * * * * * -1 * * * * * * * * * -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 * * * * * * * * -1 * * * * * * * * * 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 * * * * * * * * * 1 * * * * * * * * * 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 * 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * 1 1 1 -1 -1 1 1 1 -1 1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 1 1 1 -1 -1 1 1 -1 1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * 1 1 1 1 1 -1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 * * -1 -1 1 1 1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 -1 -1 -1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 1 1 1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 -1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 * * * 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 * * * * 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 * * * * * -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 * * * * * * 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 * * * * * * * 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 * * * * * * * * 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 * * * * * * * * * 1 1 -1 1 1 1 1 </values>
2519.58/2520.00	v </instantiation>
2519.58/2520.00

Verifier Data

Watcher Data

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-4267675-1502533073/watcher-4267675-1502533073 -o /tmp/evaluation-result-4267675-1502533073/solver-4267675-1502533073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267675-1502533073.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9039
/proc/meminfo: memFree=30718804/32770624 swapFree=0/324368
[pid=9039] ppid=9036 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9039/stat : 9039 (runsolver) D 9036 9039 1785 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 55502789 24240128 108 18446744073709551615 4194304 4338465 140727008591824 140727008589464 139804438188759 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18849792 140727008596162 140727008596553 140727008596553 140727008600010 0
/proc/9039/statm: 5918 108 54 36 0 2156 0

[startup+0.106311 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9039
/proc/meminfo: memFree=30718804/32770624 swapFree=0/324368
[pid=9039] ppid=9036 vsize=28308 CPUtime=0.01 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 1283 0 0 0 1 0 0 0 20 0 1 0 55502789 28987392 1078 18446744073709551615 4194304 5972588 140723915443808 140723915439016 5406361 0 0 1 0 0 0 0 17 6 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 7077 1078 711 435 0 440 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28308

[startup+0.200349 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9039
/proc/meminfo: memFree=30718804/32770624 swapFree=0/324368
[pid=9039] ppid=9036 vsize=29492 CPUtime=0.1 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 1642 0 0 0 10 0 0 0 20 0 1 0 55502789 30199808 1473 18446744073709551615 4194304 5972588 140723915443808 140723915435576 139792826262918 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 7373 1473 788 435 0 736 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29492

[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9039
/proc/meminfo: memFree=30718804/32770624 swapFree=0/324368
[pid=9039] ppid=9036 vsize=30800 CPUtime=0.2 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 1972 0 0 0 20 0 0 0 20 0 1 0 55502789 31539200 1780 18446744073709551615 4194304 5972588 140723915443808 140723915437608 139792834877375 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 7700 1780 788 435 0 1063 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30800

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 9039
/proc/meminfo: memFree=30718804/32770624 swapFree=0/324368
[pid=9039] ppid=9036 vsize=36036 CPUtime=0.6 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 3303 0 0 0 60 0 0 0 20 0 1 0 55502789 36900864 3122 18446744073709551615 4194304 5972588 140723915443808 140723915437608 5095376 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 9009 3122 788 435 0 2372 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 36036

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 9040
/proc/meminfo: memFree=30702704/32770624 swapFree=0/324372
[pid=9039] ppid=9036 vsize=44308 CPUtime=1.39 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 5419 0 0 0 139 0 0 0 20 0 1 0 55502789 45371392 5239 18446744073709551615 4194304 5972588 140723915443808 140723915437208 5041212 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11077 5239 846 435 0 4440 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 44308

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 9040
/proc/meminfo: memFree=30701588/32770624 swapFree=0/324372
[pid=9039] ppid=9036 vsize=44444 CPUtime=3 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 7297 0 0 0 299 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5071840 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 44444

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 9040
/proc/meminfo: memFree=30700744/32770624 swapFree=0/324372
[pid=9039] ppid=9036 vsize=44444 CPUtime=6.2 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 9124 0 0 0 619 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5328649 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 44444

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 9040
/proc/meminfo: memFree=30699944/32770624 swapFree=0/324364
[pid=9039] ppid=9036 vsize=44444 CPUtime=12.59 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 10931 0 0 0 1258 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5139319 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 44444

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 9040
/proc/meminfo: memFree=30700304/32770624 swapFree=0/324352
[pid=9039] ppid=9036 vsize=44444 CPUtime=25.39 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 14547 0 0 0 2538 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5328649 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 44444

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 9041
/proc/meminfo: memFree=30700304/32770624 swapFree=0/324352
[pid=9039] ppid=9036 vsize=44444 CPUtime=50.98 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 16356 0 0 0 5097 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5040162 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 44444

[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/183 9044
/proc/meminfo: memFree=30700428/32770624 swapFree=0/324360
[pid=9039] ppid=9036 vsize=44444 CPUtime=102.18 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 18164 0 0 0 10217 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5039912 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 44444

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 9046
/proc/meminfo: memFree=30700560/32770624 swapFree=0/324360
[pid=9039] ppid=9036 vsize=44444 CPUtime=162.16 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 19971 0 0 0 16215 1 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4909584 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 44444

[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 9048
/proc/meminfo: memFree=30700808/32770624 swapFree=0/324376
[pid=9039] ppid=9036 vsize=44444 CPUtime=222.16 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 21778 0 0 0 22214 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5039528 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 44444

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9050
/proc/meminfo: memFree=30699692/32770624 swapFree=0/324380
[pid=9039] ppid=9036 vsize=44444 CPUtime=282.13 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 23593 0 0 0 28211 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4909624 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 44444

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9052
/proc/meminfo: memFree=30700156/32770624 swapFree=0/324384
[pid=9039] ppid=9036 vsize=44444 CPUtime=342.12 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 23826 0 0 0 34210 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4965428 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 44444

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 9068
/proc/meminfo: memFree=30695124/32770624 swapFree=0/324404
[pid=9039] ppid=9036 vsize=44444 CPUtime=402.1 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 24059 0 0 0 40208 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5071825 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 44444

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 9070
/proc/meminfo: memFree=30695020/32770624 swapFree=0/324420
[pid=9039] ppid=9036 vsize=44444 CPUtime=462.09 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 24292 0 0 0 46207 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5040154 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 44444

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9072
/proc/meminfo: memFree=30699124/32770624 swapFree=0/324424
[pid=9039] ppid=9036 vsize=44444 CPUtime=522.07 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 24525 0 0 0 52205 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4966144 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 44444

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9074
/proc/meminfo: memFree=30698752/32770624 swapFree=0/324444
[pid=9039] ppid=9036 vsize=44444 CPUtime=582.06 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 24757 0 0 0 58204 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5053094 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 44444


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


[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/184 9137
/proc/meminfo: memFree=30694940/32770624 swapFree=0/324640
[pid=9039] ppid=9036 vsize=44444 CPUtime=1601.96 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 28706 0 0 0 160194 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5139324 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 44444

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 9139
/proc/meminfo: memFree=30694816/32770624 swapFree=0/324652
[pid=9039] ppid=9036 vsize=44444 CPUtime=1661.96 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 28939 0 0 0 166194 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5139499 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 44444

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 9141
/proc/meminfo: memFree=30698460/32770624 swapFree=0/324664
[pid=9039] ppid=9036 vsize=44444 CPUtime=1721.95 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 29169 0 0 0 172193 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4965729 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 44444

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 9143
/proc/meminfo: memFree=30698088/32770624 swapFree=0/324676
[pid=9039] ppid=9036 vsize=44444 CPUtime=1781.95 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 29402 0 0 0 178193 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5099664 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 44444

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9145
/proc/meminfo: memFree=30698312/32770624 swapFree=0/324676
[pid=9039] ppid=9036 vsize=44444 CPUtime=1841.94 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 29635 0 0 0 184192 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4909639 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 44444

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9208
/proc/meminfo: memFree=31324884/32770624 swapFree=0/324760
[pid=9039] ppid=9036 vsize=44444 CPUtime=1901.94 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 29868 0 0 0 190192 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5041592 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1901.94
Current children cumulated vsize (KiB) 44444

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9210
/proc/meminfo: memFree=31325008/32770624 swapFree=0/324748
[pid=9039] ppid=9036 vsize=44444 CPUtime=1961.93 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 30098 0 0 0 196191 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5053097 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 1961.93
Current children cumulated vsize (KiB) 44444

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9212
/proc/meminfo: memFree=31325256/32770624 swapFree=0/324760
[pid=9039] ppid=9036 vsize=44444 CPUtime=2021.93 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 30331 0 0 0 202191 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5071785 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2021.93
Current children cumulated vsize (KiB) 44444

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9214
/proc/meminfo: memFree=31324760/32770624 swapFree=0/324744
[pid=9039] ppid=9036 vsize=44444 CPUtime=2081.92 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 30564 0 0 0 208190 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5139319 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2081.92
Current children cumulated vsize (KiB) 44444

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9216
/proc/meminfo: memFree=31325188/32770624 swapFree=0/324756
[pid=9039] ppid=9036 vsize=44444 CPUtime=2141.91 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 30797 0 0 0 214189 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5338173 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2141.91
Current children cumulated vsize (KiB) 44444

[startup+2202.31 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 9233
/proc/meminfo: memFree=31320208/32770624 swapFree=0/324784
[pid=9039] ppid=9036 vsize=44444 CPUtime=2201.91 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 31030 0 0 0 220189 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 4965238 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 44444

[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 9235
/proc/meminfo: memFree=31320412/32770624 swapFree=0/324788
[pid=9039] ppid=9036 vsize=44444 CPUtime=2261.9 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 31261 0 0 0 226188 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5328649 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2261.9
Current children cumulated vsize (KiB) 44444

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 9237
/proc/meminfo: memFree=31323684/32770624 swapFree=0/324796
[pid=9039] ppid=9036 vsize=44444 CPUtime=2321.9 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 31492 0 0 0 232188 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5039902 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2321.9
Current children cumulated vsize (KiB) 44444

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 9239
/proc/meminfo: memFree=31323976/32770624 swapFree=0/324804
[pid=9039] ppid=9036 vsize=44444 CPUtime=2381.89 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 31725 0 0 0 238187 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5099668 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2381.89
Current children cumulated vsize (KiB) 44444

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9241
/proc/meminfo: memFree=31323976/32770624 swapFree=0/324808
[pid=9039] ppid=9036 vsize=44444 CPUtime=2441.89 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 31958 0 0 0 244187 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5040162 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2441.89
Current children cumulated vsize (KiB) 44444

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9243
/proc/meminfo: memFree=31324244/32770624 swapFree=0/324812
[pid=9039] ppid=9036 vsize=44444 CPUtime=2501.88 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 32191 0 0 0 250186 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5039159 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2501.88
Current children cumulated vsize (KiB) 44444



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9244
/proc/meminfo: memFree=31324244/32770624 swapFree=0/324804
[pid=9039] ppid=9036 vsize=44444 CPUtime=2519.58 cores=0,2,4,6
/proc/9039/stat : 9039 (cosoco) R 9036 9039 1785 0 -1 4202496 32419 0 0 0 251956 2 0 0 20 0 1 0 55502789 45510656 5313 18446744073709551615 4194304 5972588 140723915443808 140723915431000 5071499 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 33206272 140723915448814 140723915448909 140723915448909 140723915452366 0
/proc/9039/statm: 11111 5313 846 435 0 4474 0
Current children cumulated CPU time (s) 2519.58
Current children cumulated vsize (KiB) 44444

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 9039 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.59
CPU user time (s): 2519.57
CPU system time (s): 0.026996
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 44444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.026996
maximum resident set size= 21320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 3038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.84659 second user time and 11.7257 second system time

The end

Launcher Data

Begin job on node126 at 2017-08-12 12:03:52
IDJOB=4267675
IDBENCH=127041
IDSOLVER=2658
FILE ID=node126/4267675-1502533073
RUNJOBID= node126-1502500311-1848
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267675-1502533073/watcher-4267675-1502533073 -o /tmp/evaluation-result-4267675-1502533073/solver-4267675-1502533073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267675-1502533073.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e
RANDOM SEED=307279706

node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30718804 kB
MemAvailable:   31345472 kB
Buffers:          302248 kB
Cached:           596312 kB
SwapCached:          524 kB
Active:          1195988 kB
Inactive:         395952 kB
Active(anon):     647028 kB
Inactive(anon):    71324 kB
Active(file):     548960 kB
Inactive(file):   324628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2344 kB
Writeback:             4 kB
AnonPages:        692224 kB
Mapped:            45248 kB
Shmem:             25248 kB
Slab:             163888 kB
SReclaimable:     137832 kB
SUnreclaim:        26056 kB
KernelStack:        3216 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     953904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    645120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-12 12:45:52

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

Trace number 4267675

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