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