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