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