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