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