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