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