(1,21) (2,27) (3,28) (4,22) (5,11) (7,23) (8,18) (9,10) (12,29) (13,15) (14,25) (16,19) (17,20) (24,30) 
nodes: 1484  conflicts: 34  modelTime: 1719  solveTime: 7149  totalTime: 8904  modelSize: 72270  readTime: 36 size: 14