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