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