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