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