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