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