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