(1,18) (2,26) (3,27) (4,21) (5,16) (6,19) (7,25) (8,30) (9,23) (10,17) (11,29) (13,20) (14,24) (15,22) 
nodes: 1954  conflicts: 38  modelTime: 665  solveTime: 2554  totalTime: 3226  modelSize: 41299  readTime: 7 size: 14