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