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