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