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