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