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