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