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