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