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