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