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