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