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