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