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