(1,7) (2,15) (3,28) (4,12) (5,18) (6,16) (8,14) (9,26) (10,24) (11,29) (13,22) (17,19) (20,30) (21,25) (23,27) 
nodes: 283219  conflicts: 37  modelTime: 1731  solveTime: 1363916  totalTime: 1365665  modelSize: 72262  readTime: 18 size: 15