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