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