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