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