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