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