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