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