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