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