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