(1,16) (2,22) (3,29) (4,20) (5,19) (6,26) (7,30) (8,27) (9,17) (10,28) (11,24) (12,25) (13,21) (14,18) (15,23) 
nodes: 2959  conflicts: 4  modelTime: 1084  solveTime: 7158  totalTime: 8249  modelSize: 41292  readTime: 7 size: 15