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