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