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