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