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