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