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