(1,27) (2,22) (3,16) (4,19) (5,23) (6,21) (7,18) (8,24) (9,29) (11,20) (12,26) (13,25) (14,28) (15,30) 
nodes: 2984  conflicts: 43  modelTime: 660  solveTime: 4752  totalTime: 5418  modelSize: 41298  readTime: 6 size: 14