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