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