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