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