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