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