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