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