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