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