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