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