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