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