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