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