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