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