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