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