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