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