(3,6) (4,24) (5,27) (7,13) (8,12) (9,16) (10,18) (11,22) (15,19) (17,25) (20,21) (23,30) (28,29) 
nodes: 1364  conflicts: 92  modelTime: 932  solveTime: 4606  totalTime: 5549  modelSize: 72262  readTime: 11 size: 13