(1,30) (2,27) (3,20) (4,22) (5,24) (6,18) (7,21) (8,19) (9,17) (10,16) (11,26) (13,29) (14,23) (15,28) 
nodes: 2541  conflicts: 24  modelTime: 657  solveTime: 3112  totalTime: 3775  modelSize: 41298  readTime: 6 size: 14