0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389737-1568334425.xml
0.00/0.01 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 41tuples
0.00/0.07 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 39tuples
0.00/0.07 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 37tuples
0.00/0.07 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 35tuples
0.00/0.07 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 33tuples
0.00/0.07 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 31tuples
0.00/0.07 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 29tuples
0.00/0.07 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 27tuples
0.00/0.07 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 25tuples
0.00/0.08 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 23tuples
0.00/0.08 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 21tuples
0.00/0.08 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 19tuples
0.00/0.08 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 17tuples
0.00/0.08 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 15tuples
0.00/0.08 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 13tuples
0.00/0.08 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 11tuples
0.00/0.08 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 9tuples
0.00/0.08 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 7tuples
0.00/0.08 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 5tuples
0.00/0.08 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 3tuples
0.00/0.08 c enable optimization
0.00/0.08 c ========================================[ Problem Statistics ]===========================================
0.00/0.08 c |
0.00/0.08 c | Parse time : 0.08 s
0.00/0.08 c |
0.00/0.08 c | Variables: 461
0.00/0.08 c | Domain Sizes: 2..41
0.00/0.08 c |
0.00/0.08 c | Constraints: 251
0.00/0.08 c | Arity: 2..21 -- Binary: 21 -- Ternary: 211
0.00/0.08 c |
0.00/0.08 c | Types:
0.00/0.08 c | Extension: 230 (nb tuples: 3..41) -- (shared: 209)
0.00/0.08 c | Sum: 21
0.00/0.08 c |
0.00/0.08 c | Objective: Minimize Sum
0.00/0.08
0.00/0.08 c =========================================================================================================
0.00/0.08 o 582
0.00/0.08 c 1 calls to solver(id=0): best=582 lower=0 upper=581
0.00/0.08 o 458
0.00/0.09 o 230
0.00/0.09 c 3 calls to solver(id=0): best=230 lower=0 upper=229
0.00/0.09 o 206
0.00/0.09 o 158
0.00/0.09 c 5 calls to solver(id=0): best=158 lower=0 upper=157
0.00/0.10 o 86
0.00/0.10 o 82
0.00/0.10 c 7 calls to solver(id=0): best=82 lower=0 upper=81
0.00/0.10 o 78
0.10/0.17 o 66
0.10/0.17 c 9 calls to solver(id=0): best=66 lower=0 upper=65
0.21/0.25 o 62
0.31/0.32 o 54
0.31/0.32 c 11 calls to solver(id=0): best=54 lower=0 upper=53
0.51/0.60 o 50
0.60/0.66 o 42
0.60/0.66 c 13 calls to solver(id=0): best=42 lower=0 upper=41
3.10/40.38 o 34
173.99/174.08 o 26
173.99/174.08 c 15 calls to solver(id=0): best=26 lower=0 upper=25
383.89/383.94 s OPTIMUM FOUND
383.89/383.94 c call to solver : 16
383.89/383.94 c
383.89/383.94 c restarts : 237
383.89/383.94 c conflicts : 1634532 (4257 /sec)
383.89/383.94 c decisions : 28420327 (74024 /sec)
383.89/383.94 c propagations : 407172780 (1060535 /sec)
383.89/383.94 c root propagations : 1111
383.89/383.94 c filter calls : 451335926 (1175564 /sec)
383.89/383.94 c useless filter calls : 229585887 (50 %)
383.89/383.94 c Memory used : 29.80 MB
383.89/383.94 c Best bound time (wc) : 174.079 s
383.89/383.94 c CPU time : 383.931 s
383.89/383.94 c real time : 383.94 s
383.89/383.94
383.89/383.94
383.89/383.94 v <instantiation type='solution' cost='26'>
383.89/383.94 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[2] 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[2] 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[2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][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][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][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][2] 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][2] 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][2] 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][2] 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][2] 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][2] 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][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
383.89/383.94 v <values>0 0 1 0 1 0 1 0 -3 0 1 1 0 1 0 -3 0 1 0 1 0 0 1 0 1 0 1 0 9 0 1 1 0 1 0 9 0 1 0 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 * * * * * * * * * * -1 -1 1 -1 1 -1 1 1 1 -1 * * * * * * * * * * 1 1 -1 1 -1 1 1 -1 * 1 * * * * * * * * * * -1 -1 1 -1 1 1 -1 * * -1 * * * * * * * * * * 1 1 -1 1 1 -1 * * * 1 * * * * * * * * * * -1 -1 1 1 -1 * * * * -1 * * * * * * * * * * 1 1 1 -1 * * * * * 1 * * * * * * * * * * -1 1 -1 * * * * * * -1 * * * * * * * * * * -1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 1 1 1 -1 -1 * -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 * * -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 * * * -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 * * * * -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * 1 -1 1 1 -1 1 -1 1 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>
383.89/383.94 v </instantiation>
383.89/383.94
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13085 MiB free)
memory of node 1: 16384 MiB (13742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389737-1568334425/watcher-4389737-1568334425 -o /tmp/evaluation-result-4389737-1568334425/solver-4389737-1568334425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389737-1568334425.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4442, runsolver pid=4439
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.18 2.30 2.17 3/200 4443
/proc/meminfo: memFree=27468732/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30380 memory=7012 CPUtime=0.1 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 1944 0 0 0 10 0 0 0 20 0 1 0 409711402 31109120 1753 33554432000 4194304 6210612 140729988632336 140729988628872 5034915 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7595 1753 897 493 0 900 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30380 KiB
Current children cumulated memory: 7012 KiB
[startup+0.209824 s]*
/proc/loadavg: 2.18 2.30 2.17 3/200 4443
/proc/meminfo: memFree=27468732/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7012 CPUtime=0.21 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 1954 0 0 0 21 0 0 0 20 0 1 0 409711402 31244288 1753 33554432000 4194304 6210612 140729988632336 140729988628872 5249715 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1753 897 493 0 933 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7012 KiB
[startup+0.309557 s]*
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27468732/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7012 CPUtime=0.31 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 1955 0 0 0 31 0 0 0 20 0 1 0 409711402 31244288 1753 33554432000 4194304 6210612 140729988632336 140729988628872 5148866 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1753 897 493 0 933 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7012 KiB
[startup+0.700382 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27468732/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7012 CPUtime=0.69 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 1955 0 0 0 69 0 0 0 20 0 1 0 409711402 31244288 1753 33554432000 4194304 6210612 140729988632336 140729988620216 5157652 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1753 897 493 0 933 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7012 KiB
[startup+1.50038 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27468496/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7012 CPUtime=1.49 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 1956 0 0 0 148 1 0 0 20 0 1 0 409711402 31244288 1753 33554432000 4194304 6210612 140729988632336 140729988620216 5148824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1753 897 493 0 933 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7012 KiB
[startup+3.10964 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27460100/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=3.1 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 2618 0 0 0 309 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5034915 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+54.4498 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27460100/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=54.44 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 5923 0 0 0 5443 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988630472 5397056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 54.44 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+54.5003 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27460100/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=54.49 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 5923 0 0 0 5448 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988630472 5149093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 54.49 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+54.6003 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27460100/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=54.59 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 5923 0 0 0 5458 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988630472 5149306 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 54.59 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+54.7003 s]
/proc/loadavg: 2.01 2.26 2.16 3/200 4443
/proc/meminfo: memFree=27460100/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=54.69 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 5923 0 0 0 5468 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988630472 5249890 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 54.69 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+102.309 s]
/proc/loadavg: 3.58 2.99 2.45 3/200 4454
/proc/meminfo: memFree=28426500/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=102.3 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 6577 0 0 0 10229 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988630472 5380107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+162.309 s]
/proc/loadavg: 2.58 2.81 2.42 3/200 4460
/proc/meminfo: memFree=28426840/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=162.3 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 7231 0 0 0 16229 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988630472 5149314 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+222.309 s]
/proc/loadavg: 2.21 2.66 2.39 3/200 4532
/proc/meminfo: memFree=28382128/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=222.3 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 7912 0 0 0 22229 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5038412 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+282.309 s]
/proc/loadavg: 2.08 2.54 2.37 3/200 4536
/proc/meminfo: memFree=28382248/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=282.3 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 8566 0 0 0 28229 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5148345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+342.309 s]
/proc/loadavg: 2.03 2.44 2.35 3/200 4542
/proc/meminfo: memFree=28381260/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=342.3 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9220 0 0 0 34229 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5249890 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+383.946 s]
# the end of solver process 4442 was just reported to runsolver
# cumulated CPU time of all completed processes: user=383.932 s, system=0.017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 2.02 2.42 2.34 3/199 4543
/proc/meminfo: memFree=28381236/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=358.39 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 35838 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5148876 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 358.39 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+371.2 s]*
/proc/loadavg: 2.02 2.40 2.33 3/199 4543
/proc/meminfo: memFree=28381068/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=371.2 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 37119 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5156681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 371.2 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+377.6 s]
/proc/loadavg: 2.02 2.39 2.33 3/199 4543
/proc/meminfo: memFree=28381400/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=377.59 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 37758 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5409293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 377.59 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+380.8 s]
/proc/loadavg: 2.02 2.39 2.33 3/200 4545
/proc/meminfo: memFree=28381400/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=380.79 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 38078 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5008895 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 380.79 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+382.4 s]
/proc/loadavg: 2.01 2.39 2.33 3/200 4545
/proc/meminfo: memFree=28381500/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=382.39 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 38238 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 382.39 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+383.2 s]*
/proc/loadavg: 2.01 2.39 2.33 3/199 4545
/proc/meminfo: memFree=28381160/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=383.2 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 38319 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5034848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 383.2 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+383.6 s]
/proc/loadavg: 2.01 2.39 2.33 3/199 4545
/proc/meminfo: memFree=28381160/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=383.59 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 38358 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5396516 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 383.59 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+383.8 s]
/proc/loadavg: 2.01 2.39 2.33 3/199 4545
/proc/meminfo: memFree=28381160/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=383.79 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 38378 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5249899 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 383.79 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
[startup+383.9 s]
/proc/loadavg: 2.01 2.39 2.33 3/199 4545
/proc/meminfo: memFree=28381160/32770624 swapFree=66998520/67108860
[pid=4442] ppid=4439 vsize=30512 memory=7180 CPUtime=383.89 cores=1,3,5,7
/proc/4442/stat : 4442 (cosoco) R 4439 4442 3464 0 -1 4202496 9874 0 0 0 38388 1 0 0 20 0 1 0 409711402 31244288 1795 33554432000 4194304 6210612 140729988632336 140729988620216 5034915 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 25726976 140729988633611 140729988633713 140729988633713 140729988636622 0
/proc/4442/statm: 7628 1795 897 493 0 933 0
Current children cumulated CPU time: 383.89 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 7180 KiB
Child status: 0
Real time (s): 383.946
CPU time (s): 383.949
CPU user time (s): 383.932
CPU system time (s): 0.017
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 30512
Max. memory (cumulated for all children) (KiB): 7180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.932
system time used= 0.017
maximum resident set size= 7248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9926
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= 14
involuntary context switches= 105
# summary of solver processes directly reported to runsolver:
# pid: 4442
# total CPU time (s): 383.949
# total CPU user time (s): 383.932
# total CPU system time (s): 0.017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22055 second user time and 2.14023 second system time
The end