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