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