(1,23) (2,18) (3,29) (4,16) (5,19) (6,20) (7,24) (8,21) (9,30) (12,27) (13,25) (14,22) (15,28) 
nodes: 2403  conflicts: 41  modelTime: 660  solveTime: 3909  totalTime: 4575  modelSize: 41298  readTime: 6 size: 13