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