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