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