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