(2,17) (3,9) (4,6) (5,16) (7,21) (8,27) (10,12) (11,25) (13,29) (14,24) (15,22) (18,26) (19,23) (28,30) 
nodes: 1130  conflicts: 60  modelTime: 1909  solveTime: 5571  totalTime: 7503  modelSize: 72262  readTime: 23 size: 14