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