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