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