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