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