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