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