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