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