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