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