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