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