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