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