(1,27) (2,23) (3,18) (4,22) (5,28) (6,24) (7,19) (8,25) (9,20) (11,16) (12,29) (13,30) (14,17) (15,26) 
nodes: 1433  conflicts: 33  modelTime: 659  solveTime: 1536  totalTime: 2202  modelSize: 41292  readTime: 7 size: 14