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