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