(2,22) (3,16) (4,21) (5,26) (6,10) (7,8) (9,27) (12,25) (13,23) (14,20) (15,19) (17,18) (28,30) 
nodes: 1139  conflicts: 106  modelTime: 949  solveTime: 4389  totalTime: 5350  modelSize: 72262  readTime: 12 size: 13