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