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