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