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