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