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