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