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