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