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