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