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