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