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