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