(1,28) (2,20) (3,17) (4,18) (5,21) (6,27) (7,22) (8,23) (9,26) (10,30) (11,29) (12,24) (13,19) (14,16) (15,25) 
nodes: 2600  conflicts: 4  modelTime: 713  solveTime: 3930  totalTime: 4650  modelSize: 41293  readTime: 7 size: 15