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