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