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