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