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