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