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