(1,22) (3,21) (4,19) (5,23) (7,17) (8,18) (9,26) (10,28) (11,29) (12,24) (13,20) (14,30) (15,25) 
nodes: 3602  conflicts: 40  modelTime: 657  solveTime: 5428  totalTime: 6092  modelSize: 41292  readTime: 6 size: 13