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