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