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