(1,17) (2,19) (3,11) (4,20) (5,12) (6,21) (8,30) (9,22) (13,18) (14,23) (15,16) (24,28) (25,26) (27,29) 
nodes: 1407  conflicts: 77  modelTime: 925  solveTime: 3688  totalTime: 4625  modelSize: 72262  readTime: 12 size: 14