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