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