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