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