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