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