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