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