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