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