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