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