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