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