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