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