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