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