(2,15) (3,14) (4,18) (5,19) (6,10) (7,13) (8,28) (9,21) (12,20) (16,26) (17,24) (23,29) (27,30) 
nodes: 1484  conflicts: 92  modelTime: 979  solveTime: 6397  totalTime: 7387  modelSize: 72262  readTime: 11 size: 13