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