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