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