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