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