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