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