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