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