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