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