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