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