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