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