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