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