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