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