(1,16) (2,18) (3,27) (4,25) (5,28) (6,29) (7,22) (9,19) (10,26) (11,21) (12,23) (13,30) (14,17) (15,20) 
nodes: 1973  conflicts: 38  modelTime: 682  solveTime: 3366  totalTime: 4055  modelSize: 41298  readTime: 7 size: 14