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