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