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