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