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