(1,26) (2,28) (4,27) (5,20) (6,23) (7,29) (9,19) (10,22) (11,25) (12,16) (13,17) (14,30) (15,21) 
nodes: 1415  conflicts: 36  modelTime: 658  solveTime: 2043  totalTime: 2707  modelSize: 41292  readTime: 6 size: 13