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