(1,18) (2,8) (3,29) (4,20) (5,17) (6,16) (7,11) (9,24) (10,21) (12,22) (13,23) (14,28) (15,26) (19,25) (27,30) 
nodes: 775  conflicts: 1  modelTime: 1696  solveTime: 4666  totalTime: 6373  modelSize: 72264  readTime: 11 size: 15