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