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