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