(1,23) (2,21) (4,8) (5,11) (6,9) (7,25) (12,20) (14,18) (15,16) (19,26) (22,27) (24,28) (29,30) 
nodes: 134605  conflicts: 52  modelTime: 1693  solveTime: 385892  totalTime: 387604  modelSize: 72262  readTime: 19 size: 13