(1,23) (2,15) (3,11) (4,21) (5,29) (6,12) (7,26) (8,13) (9,24) (10,30) (14,18) (16,22) (17,28) 
nodes: 2423  conflicts: 78  modelTime: 1594  solveTime: 10483  totalTime: 12096  modelSize: 72262  readTime: 19 size: 13