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