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