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