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