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