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