(1,22) (2,24) (3,27) (4,18) (5,30) (7,16) (8,25) (9,17) (10,26) (11,28) (12,21) (13,19) (14,23) (15,29) 
nodes: 1769  conflicts: 38  modelTime: 658  solveTime: 2945  totalTime: 3610  modelSize: 41299  readTime: 7 size: 14