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