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