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