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