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