(1,27) (2,25) (3,22) (4,26) (5,17) (6,19) (7,21) (8,16) (9,29) (10,23) (11,18) (12,20) (13,30) (14,28) (15,24) 
nodes: 4994  conflicts: 36  modelTime: 656  solveTime: 7029  totalTime: 7693  modelSize: 41298  readTime: 7 size: 15