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