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