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