(1,26) (2,23) (3,28) (4,16) (5,15) (6,10) (7,25) (8,29) (9,13) (11,20) (12,19) (14,21) (17,22) (18,27) (24,30) 
nodes: 18968  conflicts: 36  modelTime: 1726  solveTime: 92397  totalTime: 94142  modelSize: 72262  readTime: 19 size: 15