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