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