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