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