(1,16) (2,5) (3,13) (4,10) (7,19) (8,24) (11,14) (12,22) (15,18) (17,23) (20,25) (21,28) (26,29) (27,30) 
nodes: 928  conflicts: 56  modelTime: 1474  solveTime: 4805  totalTime: 6331  modelSize: 72262  readTime: 51 size: 14