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