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