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