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