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