(1,29) (2,27) (3,19) (5,28) (6,25) (7,17) (8,20) (9,23) (11,21) (12,18) (13,30) (14,24) (15,22) 
nodes: 11814  conflicts: 36  modelTime: 660  solveTime: 19356  totalTime: 20022  modelSize: 41293  readTime: 6 size: 13