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